梅森素数：千年不休的探寻之旅
发布时间：1714120779 来源：文档文库
小
中
大
字号：
还记得年少时的梦吗？
还记得你小学时背诵的素数表吗？那时候它还叫做质数表“2、3、5、7„„”如今你是否已经真正理解了老师说过的话：这些只能被1和本身整除的数，具有着无穷的魅力。
还记得你中学时计算的2的整数幂吗？计算机时代，作为二进制的体现，它们正大行其道。“2、4、8、16、32、64、128、256„„”十多年来，电脑内存的容量正是经历了这些熟悉的数字，直到现在的2048M（2G）以及更多。
现在，让我们从这些2的整数幂中挑出以素数为指数的，再把它减1，试试看会发现什么？2－1＝3、2－1＝7、2－1＝31、2－1＝127„„
嗯，你的心是不是激动起来了？一个伟大的发现似乎就在眼前„„ 别急别急，你的发现很妙，只是有些儿惋惜„„你已经迟到了二千年。
在2300多年前，古希腊的数学家，那位写出不朽的《几何原本》的欧几里得在证明了素数有无穷多个之后，就顺便指出：有许多素数可以写成2－1的形式，其中指数P也是素数。很容易想到，刚才你所发现的2－1、2－1、2－1、2－1正是其中排列最前的4个！
当P＝11、13、17、19、23„„的时候，2－1还是素数吗？到底有多少这种2－1型的素数呢？在计算能力低下的公元前，这个关于素数的探寻之旅就已经吸引了无数的人。
人们唯独对素数如此着迷不是没有理由的，它有着许多简单而又美丽的猜想，有的已经成为定理，而有的则至今还没有答案。例如著名的哥德巴赫猜想，让人们苦苦追索：是否任何一个大于6的素数，都可以表示为两个奇素数的和？再比如孪生素数问题所提出的：象5和7、41和43这样相差2的素数，到底有多少对呢？
在数学史上起个大早的古希腊人还有许多关于素数的发现，完美数就是其中之一。毕达哥拉斯学派指出，如果一个数的所有因数（包括1但不包括它本身）的和正好等于它本身，则这个数就叫做完美数。很容易PP357P25723
找到，6＝1＋2＋3是第一个完美数，28＝1＋2＋4＋7＋14则是第二个完美数。他们认为，上帝用6天创造了世界，因此6是最理想和完美的数字，而和6具有相同性质的数都堪称完美数。 欧几里得在《几何原本》中证明了如果2－1是一个素数，那么2PP－1（2－1）一定是一个完美数（你会发P现，当P分别等于2、3时，它就对应着前两个完美数6、28）。
再后来，欧拉进一步证明，每一个偶完美数也必定是欧几里得所给出的形式。（不要问我奇完美数呢？就连它是否存在，本身也是无数个关于素数的难题中至今未解的一个。） 很容易看到，找到了2－1形式的素数，也就发现了新的完美数。
形如2－1的素数还长期占据了人们寻找到的最大素数的光荣榜（仅在1989年后被39158×2216193－1夺走三年），因为判断这样一个数是素数的方法比判断一个差不多大小的其他类型数是素数的方法要简单得多。
对2－1型素数的搜寻之旅就这样出发了，先后投入这个漫漫长途的就有数学大师费马、笛卡尔、莱布尼兹、哥德巴赫、欧拉、高斯、哈代、图灵„„这一个个闪光的名字正如暗夜前行的火炬手，照亮了人类通往未知的道路。 历史的天空闪烁几颗星
让我们将坐上时间机器，回到过去，重新浏览这来路风光吧。
1456年，又一个没有留下姓名的人发现了第5个2－1型的素数：2－1。若是你就降生在十四世纪，或许这次发现的光荣将归属于你。只是，你更有可能犯下和这个时代的人们一样的错误，以为对于所有的素数P，2－1都是素数。要知道，这个错误是一百年之后，直到1536年，才由雷吉乌斯(Hudalricus Regius打破的。他指出，2-1＝2047＝23×89，不是素数。
不过你的莽撞完全可以得到谅解，在黑暗中寻找的数学家正如年轻人一样，犯下的错误连上帝都会原谅。第一个对这种类型的素数进行整理的皮特罗卡塔尔迪(Pietro Cataldi在他在1603年宣布的结果中就言之凿凿地说：对于p=17，19，23，29，31和37，2－1是素数。只可惜，37年后，他的六个结果就被推翻了两个，费尔马使用著名的小费尔马（不是那个更著名的大费尔马定理）证明了卡塔尔迪关于P＝23和37 