我们知道,在自然数中素数较少,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) 之间是否还存在未知梅森素数,所以在其序号之前用*标出。