梅森数

梅森数和梅森素数的性质

。

q ≡ 3 mod 4为素数。则 2q+1是素数 的充分必要条件是 2q+1整除Mq 。

拉马努金-南哥尔方程（Ramanujan–Nagell Equation）：Mq = 6+x2。当q为3、5和7时，Mq为梅森素数，方程有整数解；q为合数4和15时，方程亦有整数解；q为其它自然数时，方程没有整数解。

如果p是奇素数，那么任何能整除2p − 1的素数q都一定是1加上一个2p的倍数。例如，211 − 1 = 23×89，而23 = 1 + 2×11，89 = 1 + 8×11。

如果p是奇素数，那么任何能整除的素数q都一定与同余。

梅森数和梅森素数的关系

下面的命题关注什么样的梅森数是梅森素数。

由知：q是素数是Mq是素数的必要条件。但这不是充分的。M11 = 211 − 1 = 23 × 89是个反例。

对Mq（q是素数）有：

若a是Mq的因数，则a有如下性质：

a ≡ 1 mod 2q

a ≡ ±1 mod 8

欧拉的一个关于形如1+6k的数的理论表明：Mq是素数当且仅当存在数对（x,y）使得Mq = (2x)2 + 3(3y)2，其中q ≥ 5。

最近，Bas jansen研究了等式Mq = x2 + dy2（0≤d≤48），得出了一个对于d=3情况下的新的证明方法。

Reix发现q > 3时，Mq可以写成：Mq = (8x)2 - (3qy)2 = (1+Sq)2 - (Dq)2。显然，若存在一个数对（x,y），那么Mq是素数。

梅森数的素数检验

卢卡斯-莱默检验法是现在已知的检测梅森数素数的最好的方法。

该方法由爱德华·卢卡斯于1878年发现，并由德里克·亨利·莱默于1930年代作了改进，因此得名。

该方法基于循环数列的计算，其原理是：

Mn为素数当且仅当Mn整除Sn-2（S0=4，Sk = S 2k − 1 − 2，k > 0）。

与完全数的关系

梅森素数与偶完全数有一一对应的关系。这个结果称为欧几里得－欧拉定理。

前4世纪，欧几里得（Euclid）证明如果M是梅森素数，那么M(M+1)/2是完全数。

18世纪，欧拉（Euler）证明所有的偶完全数都有这种形式。

是否有无穷多个梅森素数。

梅森素数如何分布。

头四个梅森素数M2、M3、M5、M7在古代就已经知道。

第五个梅森素数M13在1461年之前被发现；

随后的两个（M17和M19）在1588年由Cataldi发现。

17世纪法国数学家马兰·梅森列出了他认为的幂小于257的梅森素数，其中错误地包括了不是素数的M67和M257，遗漏了M61、M89和M107。这也是“梅森素数”这个名字的由来。

一个多世纪后的1750年，才由欧拉证实M31是第8个梅森素数。

下一个被发现的梅森素数是由卢卡斯在1876年证明的M127；

1883年，Pervushin证实M61。

M89和M107是在20世纪早期由Powers分别在1911年和1914年发现的。

电子计算机的发明革命化的改进了梅森素数的寻找。第一个成功的例子是M521的证明，它是在莱默指导下，使用拉斐尔·米切尔·罗宾逊教授编写的软件，利用坐落在洛杉矶加利福尼亚大学的数据分析协会的，属于美国国家标准局的西部自动计算机（SWAC）于1952年1月30日晚上10:00获得。并且在随后不到两小时，下一个梅森素数M607被发现。在随后的几个月里，使用同样的程序发现了另外三个梅森素数M1279、M2203和M2281。

随着素数P值的增大，每一个梅森素数MP的产生都艰辛无比；而各国科学家及业余研究者们仍乐此不疲，激烈竞争。1979年2月23日，当美国克雷研究公司的计算机专家史洛温斯基和纳尔逊宣布他们找到第26个梅森素数M23209时，人们告诉他们：在两个星期前诺尔已得到这一结果。

为此，史洛温斯基潜心发愤，花了一个半月的时间，使用CRAY-1型计算机找到了新的梅森素数M44497。这个记录成了当时不少美国报纸的头版新闻。

之后，这位计算机专家乘胜前进，使用经过改进的CRAY-XMP型计算机在1983年至1985年间找到了3个梅森素数：M86243、M132049和M216091。但他未能确定M86243和M216091之间是否有异于M132049的梅森素数。而到了1988年，科尔魁特和韦尔什使用NEC-FX2型超高速并行计算机果然捕捉到了一条“漏网之鱼”——M110503。

沉寂4年之后，1992年3月25日，英国原子能技术权威机构——哈威尔实验室的一个研究小组宣布他们找到了新的梅森素数M756839。

1994年1月14日，史洛温斯基和盖奇为其公司再次夺回发现“已知最大素数”的桂冠——这一素数是M859433。而下一个梅森素数M1257787仍是他们的成果。这一素数是使用CRAY-794超级计算机在1996年取得的。

史洛温斯基由于发现7个梅森素数，而被人们誉为“素数大王”。

到2018年1月，我们知道了50个梅森素数；现在已知最大的素数是梅森素数M77232917。像前几个一样，都是由因特网梅森素数大搜索（GIMPS）分布式计算项目发现的。

2010年7月11日GIMPS项目确认M20,996,011是第40个梅森素数。

2011年12月1日GIMPS项目确认M24,036,583是第41个梅森素数。

2012年12月20日GIMPS项目确认M25,964,951是第42个梅森素数。

2013年1月25日GIMPS项目发现M57,885,161

2014年2月23日GIMPS项目确认M30,402,457是第43个梅森素数。

2014年11月8日GIMPS项目确认M32,582,657是第44个梅森素数。

2016年1月7日GIMPS项目发现M74,207,281

2018年1月3日GIMPS项目发现的M77232917，共有23249425位数。

梅森素数列表

      梅森遗漏的梅森素数

      GIMPS发现的梅森素数

      古代知道的梅森素数

      以试除法发现的梅森素数

      拉斐尔·米切尔·罗宾逊发现的梅森素数

      亚历山大·赫维兹发现的梅森素数

      Donald B. Gillies发现的梅森素数

      Walt Colquitt & Luke Welsh发现的梅森素数

下面表中列出了所有已知的梅森素数： A000668

注：现在还不知道在第47个梅森素数（M43112609）和第50个（M77232917）之间是否还存在未知梅森素数，所以在其序号之前用*标出。