阿基米德的報復(第三章)
歐拉公式1963年,曾在洛斯阿拉莫斯從事早期原子彈研製性工作的卓越數學家斯坦尼斯勞·烏拉姆在一片紙上隨意寫出一串數字,它們是連續的整數,從1開始呈方形螺旋地向外擴展:
烏拉姆的小草箋使他震驚的是,草箋中的素數——我已用線標了出來——都落在了對角紙上。烏拉姆受到這種偶然發現的鼓舞便與兩個助手馬克·韋爾斯和邁倫·斯坦一起研究從除了1之外的整數開始的方形螺線。從41到44的整數也構成了一個螺線。同樣,素數也常常落在對角線上。從421至383這條長對角線與由歐拉的n2+n+41的公式所得出的素數是相對應的。
烏拉姆的大草箋1963年,洛斯阿拉莫斯的馬尼艾克二型主機儲存了前9,000萬個素數。「在洛斯阿拉莫斯我們也有一台第一流的圖解計算設備,」韋爾斯回憶說,「因此我們對用計算機繪出素數圖式感到異常激動。」馬尼艾克二型為1,000萬以下的所有素數都繪出方形螺線圖。果然,許多數都神奇地出現在對角線上。歐拉公式n2+n+41在n為大數值時證明有令人震驚之效。馬尼艾克二型計算出,在1,00O萬以下的所有素數中,該公式可得出佔總素數的47.5%。而當n值較低時,該公式工作得更有成效。當n值小於2,398時,得素數的機會一半對一半。而當n值小於100時,該公式得出86個素數,合成數只有14個。烏拉姆和助手們還發現了其他幾乎與歐拉公式同樣有效的生成素數的公式。公式4n2+170n+1,847計算1,000萬以下素數的成功率為46.6%,並得出760個歐拉公式所不能推出的素數。公式4n2+4n+59的成功率為43.7%,同時得出大約1,500個不能由其他兩個公式推出的素數。最奇怪的是,雖然這些公式都有很高的成功率,雖然在方形螺線中存在明顯的對角線規則,但數理論家已證明與歐拉公式相仿的公式無一能生成全部的素數,或除素數外別無他物。但這一證明並未阻止浪漫主義者尋找素數的模式。在100以內的數字中有25個素數:2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89和97。這些連續的素數(以及隨後無限多的素數)之間的間隔並無明顯的範式可循。由於2是惟一的偶數素數,2與3也是惟一一對只相差1個的素數。相差2的素數——被稱為孿生素數——又如何呢?在前25個素數中有8對孿生素數:(3,5),(5,7),(11,13),(17,19),(29,31),(41,43),(59,61)和(71,73)。大約150年來,數字理論家就推測過,孿生素數就像素數本身一樣是無限多的,但還沒有人能證明這一點。在1966年,研究取得進展,那時,中國數學家陳景潤證明:在只相隔兩個的無窮對數字中:第一個數為素數,第二個數也是素數或是兩個素數的積。(為兩個素數之積的數被稱為「殆素數」,這一叫法既表明了數學家們不可抑制的樂觀主義,又證明了真正素數的發現之難。)樂觀主義的另一表現是:陳先生證明了哥德巴赫猜想的較無力那一面的說法:每個「充分大」的偶數是一個素數和一個殆素數之和。「充分大」是素數文獻中對「我知道我的證明對比某數Q大的所有數都有效,但我不知道Q是多少」的婉語。雖然短語「充分大」一詞模糊不清,數學家們仍然認為陳的證明是過去30年來對素數理論意義最為重大的發現。人們對素數之間離得多開比素數如何相互靠近知道得更多一些。的確,很容易證明存在任意長的非素數的連續數列。讓n!表示1到n的所有整數的乘積。這樣,n!就可以被從2到n的每個整數整除。試想一下n!+2,n!+3,n!+4……n!+n的連續數列。這時,數列中的第一項n!+2則可被2整除;第二項n!+3可被3整除;第三項n!+4可被4整除;等等。在這個數列中有n—1個數,沒有一個是素數。通過任意選擇n的大小,你可以得出你想要的無素數的連續整數數列。但也有大量的長串素數數列。事實上,數理論家認為素數可以形成漫長的等差級數(由同樣差分開的素數數列)。較短的等差級數是容易發現的。例如,素數3,5和7構成3項差額同為2的等差級數。(1944年,有人證明有無限組等差級數的3個素數。)素數199,409,619,829,1039,1249,1,459,1,669,1,879和2,089構成一個10項共同差額為210的等差級數。至於更長的級數,由於初始的素數和共同差額急劇上升,因而難於發現它們。然而,1983年,保羅·普里查德在康奈爾發現了19個呈等差級數的素數;初始素數為8,297,644,387,共同差額為4,180,566,390。一些數學家甚至推測存在任意長連續素數的等差級數。例如,連續素數1,741,1,747,1,753和1,759構成4項差為6的等差級數。然而,現在還沒人能證明這一猜想,更不必說素數不必是連續的等差級數這一根據相對不足的猜想了。對於素數,我們知道什麼又不知道什麼?對此可寫一篇長篇論文。再舉一個簡單例子就足已。有人已證明在比1大的任何數和其倍數之間至少有一個素數。(這個證明的一個令人震驚的後果是:在n位數中至少有3個素數——n可為任何正整數。)但無人知道在任何比1大的數的平方和其相鄰數平方之間是否有一個素數。既然素數本身沒有已知的模式可循,那麼數學家在努力證明它們時明顯顯示出雜亂無章也許是惟一合適的做法。某些基本定理——如有無限多的素數,它們之間有任意長的間隔——已簡單明了地得以證明。其他定理,如哥德巴赫猜想依然有待證明。雖然沒有一個自重的數學家對其正確性表示懷疑。為取得進展,數理論家採用了證明關於「殆素數」和「足夠大的數」的辦法。這一領域需要出現另一個歐幾里得或歐拉。在那之前,我們可能依然處於這種奇妙的狀態:依賴於秘密通訊的政府和工業繼續從數學家的無知中獲利。對數理論有興趣的讀者不妨對這些未被證明的猜想動動手和計算器。如果猜想是正確的,證明工作可能會採用技術數學的成果,這是門外漢所做不到的。但如果與所期望的相反,它們碰巧是錯的,全部所需要的則是一個反例。據歷史記載,那些最具數學頭腦的人也會出錯。歐拉聲稱,1個5次方的數決不會等於兩個5次方的數、3個5次方的數或4個5次方的數之和。(換句話說,不存在滿足等式x5=y5+z5條件的整數x、y和z;不存在滿足等式a5=b5+c5+d5條件的整數a,b,c和d;也沒有滿足等式m5=n5+o5+p5+q5條件的整數m,n,o,p和q。)兩個世紀後的1966年,這一斷言受到駁斥,因為發現了一個反例:144的5次方正是另外4個5次方的數——即27,84,110和133——之和。如果推斷未獲證明的猜想不是你的事,考慮考慮某些數也許是。但不要再犯哈迪的錯誤:早早地就把計程車號斥為無趣的。前不久我乘機遠行。當我為一本小說所吸引住時,鄰座那位坐卧不安的同伴笨嘴拙舌地試圖激起談興:「我們乘坐的是407號飛機。對我來說,這個數似乎很枯燥,我希望它不是個凶兆。」「胡說,」我從書中抬起頭來答道,「這個數字一點也不枯燥,相反,它非常有趣。它是等於其各位數3次方之和的最大的3位數。」那人直盯著我,好像我是個瘋子,但他拿出一張便條開始不停地草算起來。他做了一路的計算,而我卻可以不受打擾地讀完我的小說。
推薦閱讀:
※這五種女人心腸最狠,自私薄情,報復心極強,一定不能得罪!
※[心理]古代男人為報復老婆紅杏出牆竟干出這種事
※結婚5年老公像換了個人|報復| 男人
※女人報復男人8狠招
※丈夫聽說妻子有外遇,設計報復一夜乘妻熟睡....很黃,很暴力少兒勿進!
TAG:報復 |