关于梅森素数定理(网上收集)

一、梅森素数

    我们把一个大于1的自然数叫作素数，如果只有1和它本身可以整除它。如果一个比1大的自然数不是素数，我们就叫它合数。1既不是素数，也不是合数。 

比如说，你很容易就可以验证7是一个素数；而15是一个合数，因为除了1和15外，3和5都可以整除15。根据定义，2是一个素数，它是唯一的偶素数。早在公元前三百年的古希腊时代，伟大的数学家欧几里德就证明了存在着无穷多个素数。 

关于素数，有许多既简单又美丽，但是极为困难的，到现在还没有答案的问题。其中有著名的哥德巴赫猜想，它是说任何一个大于6的偶数，都能表示为两个奇素数之和。还有孪生素数问题。象5和7，41和43这样相差2的素数对，被称为孪生素数。孪生素数问题是说：是不是有无穷多对孪生素数？这里要顺便提一下的是，这些看起来很简单的数学问题，它们的解决方法将一定是极其复杂的，需要最先进的数学工具。如果你不是狂妄到认为几百甚至几千年来所有在这些问题上耗费了无数聪明才智的数学家（有许多是非常伟大的）和数学爱好者加起来都不如你聪明，就不要试图用初等方法去解决这些问题，徒费时间和精力。 

古希腊人还对另一种数感兴趣。他们将它称为完美数。一个大于1的自然数叫完美数，如果它的所有因子（包括1，但不包括本身）之和等于它本身。比如说6=1+2+3就是最小的完美数，古希腊人把它看作维纳斯也就是爱情的象征。28=1+2+4+7+14是另一个完美数。欧几里德证明了：一个偶数是完美数，当且仅当它具有如下形式：

                   2^p-1 * (2^p-1)

其中2^p-1是素数。上面的6和28对应着p=2和3的情况。我们只要找到了一个形如2p-1的素数，也就知道了一个偶完美数；我们只要找到所有形如2^p-1的素数，也就找到了所有偶完美数。所以哈吉拉特瓦拉先生不但找到了世界上已知的最大的素数，还找到了世界上已知的最大的偶完美数。嗯，你要问，关于奇完美数又是怎么样的情况？回答是：我们现在连一个奇完美数也没有找到过，我们甚至根本不知道是不是有奇完美数存在。我们只知道，要是有奇完美数存在的话，它一定是非常非常大的！奇完美数是否存在这个问题，也是一个上面所说的既简单又美丽，但是极为困难的著名数学问题。 

有很长一段时间人们以为对于所有素数p，

                       M_p=2^p-1 

都是素数（注意到要使2^p-1是一个素数，p本身必须是一个素数）但是在1536年雷吉乌斯(Hudalricus Regius)指出，M₁₁=2¹¹-1=2047=23*89不是素数。 

皮特罗·卡塔尔迪(Pietro Cataldi)首先对这类数进行了系统的研究。他在1603年宣布的结果中说，对于p=17，19，23，29，31和37，2^p-1是素数。但是1640年费尔马使用著名的费尔马小定理（不要和那个费尔马大定理混淆起来）证明了卡塔尔迪关于p=23和37的结果是错误的，欧拉在1738年证明了p=29的结果也是错的，过后他又证明了关于p=31的结论是正确的。值得指出的是，卡塔尔迪是用手工一个一个验算取得他的结论的；而费尔马和欧拉则是使用了在他们那时最先进的数学知识，避免了许多复杂的计算和因此可能造成的错误。 

马林·梅森（Marin Mersenne,1588–1648）是17世纪法国著名的数学家和修道士，也是当时欧洲科学界一位独特的中心人物。他与大科学家伽利略、笛卡尔、费马、帕斯卡、罗伯瓦、迈多治等是密友。虽然梅森致力于宗教，但他却是科学的热心拥护者，在教会中为了保卫科学事业做了很多工作。他捍卫笛卡儿的哲学思想，反对来自教会的批评；也翻译过伽里略的一些著作，并捍卫了他的理论；他曾建议用单摆来作为时计以测量物体沿斜面滚下所需时间，从而使惠更斯发明了钟摆式时钟。 

梅森对科学所作的主要贡献是他起了一个极不平常的思想通道作用。17世纪时，科学刊物和国际会议等还远远没有出现，甚至连科学研究机构都没有创立，交往广泛、热情诚挚和德高望众的梅森就成了欧洲科学家之间的联系的桥梁。许多科学家都乐于将成果寄给他，然后再由他转告给更多的人。因此，他被人们誉为“有定期学术刊物之前的科学信息交换站”。梅森和巴黎数学家笛卡儿、费马、罗伯瓦、迈多治等曾每周一次在梅森住所聚会，轮流讨论数学、物理等问题，这种民间学术组织被誉为“梅森学院”，它就是法兰西科学院的前身。

1640年6月，费马在给梅森的一封信中写道：“在艰深的数论研究中，我发现了三个非常重要的性质。我相信它们将成为今后解决素数问题的基础”。这封信讨论了形如2^P-1的数（其中p为素数）。早在公元前300多年，古希腊数学家欧几里得就开创了研究2^P-1的先河，他在名著《几何原本》第九章中论述完美数时指出：如果2^P-1是素数，则2^P-1（2^P-1）是完美数。 

梅森在欧几里得、费马等人的有关研究的基础上对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）属于被猜测的部分。不过，人们对其断言仍深信不疑，连大数学家莱布尼兹和哥德巴赫都认为它是对的。 

用手工来判断一个很大的数是否素数是相当困难的，梅森神父自己也承认他的计算并不一定准确。一直要等到一个世纪以后，在1750年，欧拉宣布说找到了梅森神父的错误：M₄₁和M₄₇也是素数。可是伟大如欧拉也会犯计算错误——事实上M₄₁和M₄₇都不是素数。不过这可不是说梅森神父的结果就是对的。要等到1883年，也就是梅森神父的结果宣布了两百多年后，第一个错误才被发现：M₆₁是一个素数。然后其它四个错误也被找了出来：M₆₇和M₂₅₇不是素数，而M₈₉和M₁₀₇是素数。直到1947年，对于p<=257的梅森素数M_p的正确结果才被确定，也就是当p=2，3，5，7，13，17，19，31，61，89，107和127时，M_p是素数。现在这个表已经被反复验证，一定不会有错误了。 

虽然梅森的断言中包含着若干错误，但他的工作极大地激发了人们研究2^P-1型素数的热情，使其摆脱作为“完美数”的附庸的地位。可以说，梅森的工作是素数研究的一个转折点和里程碑。由于梅森学识渊博，才华横溢，为人热情以及最早系统而深入地研究2P－1型的数，为了纪念他，数学界就把这种数称为“梅森数”；并以Mp记之（其中M为梅森姓名的首字母），即Mp=2^P-1。如果梅森数为素数，则称之为“梅森素数”（即2^P-1型素数）。 

梅森素数貌似简单，而研究难度却很大。它不仅需要高深的理论和纯熟的技巧，而且需要进行艰巨的计算。即使属于“猜测”部分中最小的M₃₁=2³¹－1=2147483647，也具有10位数。可以想象，它的证明是十分艰巨的。正如梅森推测：“一个人，使用一般的验证方法，要检验一个15位或20位的数字是否为素数，即使终生的时间也是不够的。”是啊，枯燥、冗长、单调、刻板的运算会耗尽一个人的毕生精力，谁愿让生命的风帆永远在黑暗中颠簸！人们多么想知道梅森猜测的根据和方法啊，然而年迈力衰的他来不及留下记载，四年之后就去世了；人们的希望与梅森的生命一起泯灭在流逝的时光之中。看来，伟人的“猜测”只有等待后来的伟人来解决了。 

下面是我们现在知道的所有梅森素数的列表：

序号	梅森素数	位数	发现时间
1	M2	1	公元前300
2	M3	1	公元前300
3	M5	2	公元前100
4	M7	3	公元前100
5	M13