程序员的数学思维修炼（趣味解读）梅森素数

我们知道，在自然数中素数较少，10000以内的自然数中只有1229个素数，而孪生素 数就更少，10000以内的孪生素数只有205对 (510个) 。在素数中还有更稀少的一个种  类，那就是梅森素数，截止2013年2月，人们仅发现48个梅森素数。

2.5.1    什么是梅森素数

那么，什么是梅森素数呢？

马林·梅森是17世纪法国著名的数学家和修道士，也是当时欧洲科学界一位独特的中 心人物。梅森在欧几里得、费马等人的有关研究的基础上对2P－1作了大量的计算、验证 工作，并于1644年在他的《物理数学随感》一书中断言：对于P＝2 、3 、5 、7 、13 、17、 19 、31 、67 、127 、257时，2P－1是素数；而对于其他所有小于257的数时，2P－1是合  数。前面的7个数 (即2 、3 、5 、7 、13 、17和19) 属于被证实的部分，是他整理前人的工 作得到的；而后面的4个数 (即31 、67 、127和257) 属于被猜测的部分。不过，人们对其

断言仍深信不疑，连大数学家莱布尼兹和哥德巴赫都认为它是对的。

梅森的猜测中遗漏了61 、89 、107 ，而将67和257被错误地包含了进来。

虽然梅森的断言中包含错误，但他的工作极大地激发了人们研究2P－1型素数的热

情，使其摆脱作为“完美数”的附庸的地位。由于梅森最早系统而深入地研究2P－1型的 数，为了纪念他，数学界就把这种数称为“梅森数”；并以Mp来标记梅森数，即Mp＝2P－ 1 。如果梅森数为素数，则称之为“梅森素数”  (即2P－1型素数) 。

总结一下，梅森素数是指形如2P－1的正整数，其中指数P是素数，常记为MP 。若MP 是素数，则称为梅森素数。

当P＝2 、3 、5 、7时，MP都是素数，但P＝11时，M11不是素数，因此M11不是梅森素

数，如图2-13所示。

 

图2-13

2.5.2    已知的梅森素数列表

是否有无穷多个梅森素数？这是数论中未解决的难题之一。截止2013年2月累计发现 48个梅森素数，最大的是P＝57885161  (即M57885161＝257885161－1) ，此时MP是一个   17,425,170位的非常大的整数。

如表2-1所示是目前为止已发现的梅森素数列表。

表2-1    梅森素数列表

 

续表

 

续表

 

由于现在还不知道在第42个梅森素数 (M25,964,951) 至第48个梅森素数 (M57,885,161) 之间是否还存在未知梅森素数，所以在其序号之前用*标出。