梅森素数MersennePrime.doc.docVIP

梅森素数Mersenne Prime 梅森素数(Mersenne Prime)是指形如2^p－1的正整数，其中指数p是素数，常记为Mp。若Mp是素数，则称为梅森素数。p=2，3，5，7时，Mp都是素数，但M11=2047=23×89不是素数，是否有无穷多个梅森素数是数论中未解决的难题之一。截止2012年7月累计发现47个梅森素数，最大的是p=43,112,609，此时Mp是一个12,978,189位数。素数是在大于1的整数中只能被1和其自身整除的数(如2、3、5、7等等)，素数有无穷多个。而形如“2^P－1”(P为素数)的正整数，其中指数P是素数，常记为Mp。若Mp是素数，则称为梅森素数。以17世纪法国数学家马林·梅森的名字命名。梅森素数是数论研究的一项重要内容，也是当今科学探索的热点和难点之一。截止2012年7月人类仅发现47个梅森素数。 梅森素数由来早在公元前300多年，古希腊数学家欧几里得就开创了研究2^P－1的先河，他在名著《几何原本》第九章中论述完美数时指出：如果2^P－1是素数，则(2^p－1)2^(p－1)是完美数。 1640年6月，费马在给马林·梅森的一封信中写道：“在艰深的数论研究中，我发现了三个非常重要的性质。我相信它们将成为今后解决素数问题的基础”。这封信讨论了形如2^P－1的数其中p为素数。梅森在欧几里得、费马等人的有关研究的基础上对2^P－1作了大量的计算、验证工作，并于1644年在他的《物理数学随感》一书中断言：对于p=2，3，5，7，13，17，19，31，67，127，257时，2^P－1是素数；而对于其他所有小于257的数时，2^P－1是合数。前面的7个数即2，3，5，7，13，17和19属于被证实的部分，是他整理前人的工作得到的；而后面的4个数即31，67，127和257属于被猜测的部分。不过，人们对其断言仍深信不疑。虽然梅森的断言中包含着若干错误，但他的工作极大地激发了人们研究2^P－1型素数的热情，使其摆脱作为“完美数”的附庸地位。梅森的工作是素数研究的一个转折点和里程碑。由于梅森学识渊博，才华横溢，为人热情以及最早系统而深入地研究2^P－1型的数，为了纪念他，数学界就把这种数称为“梅森数”；并以Mp记之其中M为梅森姓名的首字母，即Mp=2^P－1。如果梅森数为素数，则称之为“梅森素数”即2^P－1型素数。2300多年来，人类仅发现47个梅森素数。由于这种素数珍奇而迷人，因此被人们誉为“数海明珠”。自梅森提出其断言后，人们发现的已知最大素数几乎都是梅森素数；因此，寻找新的梅森素数的历程也就几乎等同于寻找新的最大素数的历程。梅森素数的研究难度极大，它不仅需要高深的理论和纯熟的技巧，而且需要进行艰苦的计算。 1772年，瑞士数学家欧拉在双目失明的情况下，靠心算证明了M31是一个素数，它共有10位数，堪称当时世界上已知的最大素数。欧拉还证明了欧几里得关于完美数的定理的逆定理，即：每个偶完美数都具有形式(2^p－1)2^(p－1)，其中2^p－1是素数。100年后，法国数学家鲁卡斯提出了一个用来判别Mp是否是素数的重要定理—鲁卡斯定理。鲁卡斯的工作为梅森素数的研究提供了有力的工具。1883年，数学家波佛辛利用鲁卡斯定理证明了M61也是素数—这是梅森漏掉的。梅森还漏掉另外两个素数：M89和M107，它们分别在1911年与1914年被数学家鲍尔斯发现。1903年，数学家柯尔第一个否定了“M67为素数”这一自梅森断言以来一直被人们相信的结论。算出2^67－1，等于193707721×761838257287。1922年，数学家克莱契克进一步验证了M257并不是素数，而是合数。1930年，美国数学家雷默改进了鲁卡斯的工作，给出了一个针对Mp的新的素性测试方法，即鲁卡斯-雷默方法：Mp3是素数的充分必要条件是Lp-2=0，其中L0=4，Ln+1=(Ln－2) Mod Mp。这一方法直到今天的“计算机时代”仍发挥重要作用。 1952年，数学家鲁滨逊等人将鲁卡斯-雷默方法编译成计算机程序，使用SWAC型计算机在几个月内，就找到了5个梅森素数：M521、M607、M1279、M2203和M2281。1957年，数学家黎塞尔证明M3217是素数1961年，数学家赫维兹证明M4253和M4423是素数。1963年，美国数学家吉里斯证明M9689和M9941是素数。1963年9月6日晚上8点，第23个梅森素数M11213通过大型计算机被找到。发现这一素数的美国伊利诺伊大学数学系全体师生感到无比骄傲，以致于把所有从系里发出的信件都敲上了“2^11213－1是个素数”的邮戳。1971年3月4日晚，塔可曼使用IBM360-91型计算机找到新的梅森素数M19937。而到1978年10月，世界几乎所有的大新闻机构包括中国的