陳德建

（黎明職業(yè)大學(xué)，福建泉州 362000）

1 序 言

定義：形如2p-1的素數(shù)稱為梅森素數(shù)，記為Mp.

梅森（Mersrnne Marin 1588—1648），法國數(shù)學(xué)家、自然哲學(xué)家、宗教家.他在1644年提出了梅森素數(shù)，梅森素數(shù)的提出是探索表素數(shù)公式的開始，在數(shù)論史上具有開拓性的意義.

但尋找梅森素數(shù)依然很難，從歐幾里德時代至今的2 300多年，人類只找到46個梅森素數(shù).它們是：

243112609-1，這個在普通人看起來頗為奇特的數(shù)字，近來（2008年）正讓國際數(shù)學(xué)界乃至科學(xué)界為之欣喜若狂.這是人類發(fā)現(xiàn)的第46個也是最大的梅森素數(shù).它有12 978 189位數(shù)，如果用普通字號將這個巨數(shù)連續(xù)寫下去，長度可達50km!這一發(fā)現(xiàn)被著名的《時代周刊》評為“2008年度50項最佳發(fā)現(xiàn)”之一，排名29位.

為了激勵人們尋找梅森素數(shù)，設(shè)在美國的電子新領(lǐng)域基金會（EFF）不久前向全世界宣布了為通過GIMPS項目來探尋梅森素數(shù)而設(shè)立的獎金.規(guī)定第一個找到超過1 000萬位數(shù)的個人或機構(gòu)頒發(fā)10萬美元；超過一億位數(shù)，15萬美元；超過10億位數(shù)，25萬美元.絕大多數(shù)研究者并不是為了金錢，而是出于樂趣，榮譽感和探索精神.

梅森素數(shù)是否有無窮多個，梅森素數(shù)有什么樣的分布規(guī)律等問題都是強烈吸引一代又一代研究者的世界著名問題.

梅森素數(shù)的難尋不僅在與梅森數(shù)MP隨素數(shù)p的增大而迅速增至巨大，還在于梅森合數(shù)的因子也難于尋找.1867年，人們已經(jīng)知道M67是合數(shù)，但對于它的因子一無所知.直到1903年10月在美國數(shù)學(xué)會上數(shù)學(xué)家科爾（Freidric Nelson Cole）提交了一篇論文《大數(shù)的因子分解》.當(dāng)科爾自在黑板上寫上 267-1 = 19370771× 761838257287時，會場上爆發(fā)了強烈的掌聲.

現(xiàn)在我們知道不大于257的素數(shù)有55個，梅森素數(shù)有12個，梅森宣告的10個梅森素數(shù)錯了2個，而43個梅森合數(shù)僅錯了4個，依然十分了不起.

從第13個梅森素數(shù)開始，即從M521開始，都是在1952年以后，借助電子計算機而陸續(xù)發(fā)現(xiàn)的.

傳統(tǒng)的探尋方法有二：一是心算筆算，二是借助電子計算機搜索.令人不解的是臺式電子計算機在檢查梅森研究結(jié)果時居然漏掉了M19這個梅森素數(shù).由此可推斷雖然電子計算機在尋找梅森素數(shù)時有一定的或然性.換句話說，在已知的梅森素數(shù)之間還可能找到新的梅森素數(shù).

數(shù)學(xué)史上有個故事，有一個人排出六角形幻方，后來忘記了，他花了47年時間才第二次找到，另一個人用證明的方法花了一年也排出了這唯一的六角形幻方.

2 證 明

定理 2：設(shè)p是一個奇素數(shù)，q是Mp的一個素因數(shù)，則q形如： q= 2 kp+ 1[2].

例如：211-1=2 047=23×89，223-1=8 388 607=47 ×178 481，229-1=536 870 911=233×1 103×2 089，237-1=137 438 953 471=233×616 318 177.

若不然，必有

其中m，n∈N.

2T p +1= 4 mnp2+ 2(m + n)p+1，兩邊同減去1后除以2p，得

因為 2q-1= 2sq +1= p，

由于2p-1非平方數(shù)，m≠n，不妨設(shè)m＜n.

2Mq- 1= M127是梅森素數(shù).

整理得

約去p，得

（3）式左邊首項

（3）兩邊同減 22sq-q得

即

也即

m＞x2，而 n＞x1.

m0為正整數(shù).則

整理得

由綜合除法

0.292893218 ×2(s-1)q＜m＜ 2(s-1)q,0.292893218 ×2sq+1＜2sq-1+m＜2sq+1

0，即

綜之有

從（11）式到（17）式，m0的下限不變，上限不斷下降，n0則上限不變，下限不斷上升.這樣的過程可以無限進行下去，其極限情況是m0、n0的上下限合而為一.此時，

[1]王元.談?wù)勊財?shù)[M].上海：上海教育出版社，1983.

[2]柯召，孫琦.數(shù)學(xué)講義（上）[M].北京：高等教育出版社，1990.

[3]張四保.有關(guān)梅森素數(shù)的預(yù)測[J].重慶工商大學(xué)學(xué)報：自然科學(xué)版，2009（5）.