信息安全数学基础第02章.ppt

2.5 完全数 完全数的概念 由上述定理我们看到，要找到完全数，必须找到形如2s-1的素数（称之为梅森素数），即我们已经将偶完全数的研究归结到了梅森素数的研究。 但是这里我们需要注意的是完全数和完美无缺的人一样是十分罕见的。从欧几里得开始起，几千年的研究仍然没有搞清楚有没有奇完全数。现在只知道如果奇完全数存在，则它们一定具有一定的性质：例如，没有小于100300的奇完全数，奇完全数至少要有8个不同的素因子，最大的素因子至少为1020。 2.5 完全数 梅森数、费马数 梅森曾经研究过形如2p-1的素数，并得到结论：当p=2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937时，2p-1都是素数。 2.5 完全数 梅森数、费马数 定理2.5.2：如果m是正整数，且2m-1是素数，则m必为素数。 证明：假设则m不为素数，则m=ab，1am，1bm，（2m-1是素数，所以m1），因而 2m-1=2ab-1=(2a-1)(2a(b-1)+2a(b-2)+…+2a+1) 由于等式右边的两个因子都大于1，因而若m不为素数，则2m-1是合数。与假设矛盾，故2m-1是素数时，m必为素数。 2.5 完全数 梅森数、费马数 定义2.5.2：如果m是正整数，则 Mm=2m-1 称为第m个梅森(Mersenne)数。若p为素数，且2p-1也是素数，则称Mp为梅森(Mersenne)素数。 2.5 完全数 梅森数、费马数 定理2.5.3：如果p为奇素数，k是正整数，则梅森(Mersenne)数Mp的任意一个因子都具有形式2kp+1。 证明：设素数q|Mp=2p-1。由费马小定理，有 q|(2q-1-1) 同时， (2p-1, 2q-1-1)=2(p,q-1)-1 (1) 由于素数q是2p-1与2q-1-1的公因子，于是 (2p-1,2q-1-1)1 2.5 完全数 梅森数、费马数 因此(p, q-1)=p。否则若(p, q-1)=1，则由(1)有 (2p-1, 2q-1-1)=1 矛盾，故 (p, q-1)=p 即 p|(q-1) 进而存在整数m使得 q-1=mp 由于q是奇数，且p为奇素数，因而m为偶数，即存在整数k，使得m=2k。 2.5 完全数 梅森数、费马数 因而 q=mp+1=2kp+1 由于Mp的每一个因子都是Mp的素因子的乘积，设素数 q|Mp=2p-1 而Mp的每一个素因子都具有形式2kp+1，多个这种形式的素因子的乘积也具有这种形式，因而结论得证。 2.5 完全数 梅森数、费马数 例2.5.1：判断一下M13=213-1=8191是否为素数。 解：只需看一下是否能找到一个不大于 的素数即可； 再者，M13的每一个素因子都具有形式26k+1，满足这两个条件的素数只有53与79，由试除法容易排除这两种情况，因而M13为素数。 2.5 完全数 梅森数、费马数 下面介绍一个由Edouard Lucas于1870年提出并由Derrick H. Lehmer于1930年予以简化的用于测试梅森数素性的测试算法：Lucas-Lehmer测试算法。 2.5 完全数 梅森数、费马数 定理2.5.4（Lucas-Lehmer测试）：设p为素数，Mp为第p个梅森数。递归定义如下整数序列 则Mp是素数当且仅当 rp-1≡0 (mod p) 2.5 完全数 梅森数、费马数 例2.5.2：判断梅森数M5=25-1=31是否为素数，M11=211-1=2047是否为素数。 解：利用Lucas-Lehmer测试， 首先对于梅森数M5=25-1=31，由于 r1=4 r2≡42-2≡14(mod 31) r3≡142-2≡8 (mod 31) r4≡82-2≡0 (mod 31) 因而由r4≡0 (mod 31)，知M5为素数。 2.5 完全数 梅森数、费马数 而对于梅森数M11=211-1=2047，由于 r1=4，r2≡42-2≡14(mod 2047)， r3≡142-2≡194 (mod 2047)， r4≡1942-2≡790 (mod 2047)，