郭紅軍

提起哥德巴赫猜想,很多人都聽說過,因?yàn)槲覈?guó)數(shù)學(xué)家曾對(duì)這個(gè)猜想作出過杰出的貢獻(xiàn), 特別是數(shù)學(xué)家陳景潤(rùn)的結(jié)果到現(xiàn)在還是最好的.在數(shù)學(xué)界,哥德巴赫猜想被稱為“皇冠上的明珠”.由于證明這個(gè)猜想的難度很高,以至于有人斷言,證明哥德巴赫猜想所需要的工具現(xiàn)在還沒有發(fā)明出來!

如果有人問起上世紀(jì)數(shù)學(xué)界最重要的結(jié)果是什么,相信很多人都會(huì)說是費(fèi)馬大定理.這個(gè)懸置長(zhǎng)達(dá)350多年?比哥德巴赫猜想更著名的難題,在1995年被英國(guó)數(shù)學(xué)家懷爾斯徹底解決.同年,懷爾斯因此榮膺數(shù)學(xué)界著名的沃爾夫獎(jiǎng).

學(xué)過平面幾何的人都知道,設(shè)a?b為直角三角形的兩條直角邊邊長(zhǎng),則斜邊長(zhǎng)c跟a?b滿足關(guān)系式c2=a2+b2. 中國(guó)人稱它為“商高定理”,因?yàn)樵诠糯臄?shù)學(xué)書籍《周髀算經(jīng)》里記載,古代數(shù)學(xué)家商高談到過這個(gè)關(guān)系式.但人們更普遍地稱其為勾股定理,這是因?yàn)樵凇吨荀滤憬?jīng)》中記載著“勾三股四弦五”.在西方,上述關(guān)系式稱為畢達(dá)哥拉斯定理,這是因?yàn)槲鞣降臄?shù)學(xué)及科學(xué)來源于古希臘,古希臘流傳下來的最古老的著作之一便是歐幾里得的《幾何原本》,而其中許多定理再往前追溯,自然就落在畢達(dá)哥拉斯的頭上了.畢達(dá)哥拉斯被西方推崇為“數(shù)論的始祖”.

如果把勾股定理c2=a2+b2中的 a ,b ,c視為未知數(shù),則它就變成了一個(gè)不定方程(即未知數(shù)的個(gè)數(shù)多于方程個(gè)數(shù)的方程).方程c2=a2+b2也是最早得出比較完整解答的不定方程,因?yàn)槊恳唤M勾股數(shù)即是這個(gè)方程的一組正整數(shù)解,而勾股數(shù)的規(guī)律和構(gòu)造方法古人早已發(fā)現(xiàn).

法國(guó)人費(fèi)馬(Pierre de Fermat, 1601-1665)雖然學(xué)的是法律,從事的也是律師的職業(yè),但他對(duì)數(shù)學(xué)卻有濃厚的興趣.他在業(yè)余時(shí)間常閱讀各類數(shù)學(xué)書,并且自己也從事一些數(shù)學(xué)研究,鉆研一些數(shù)學(xué)問題.他在閱讀古希臘數(shù)學(xué)家丟番圖的《算術(shù)》一書中關(guān)于方程x2 + y2 = z2的一般解的論述時(shí),在書的空白處,用筆寫下這樣的心得:“反過來說,不可能把一個(gè)立方數(shù)分拆為兩個(gè)立方數(shù)的和,一個(gè)四方數(shù)分拆為兩個(gè)四方數(shù)之和.更一般地, 任何大于二的方數(shù)不能分拆為兩個(gè)同樣方數(shù)之和.我已發(fā)現(xiàn)了一個(gè)絕妙的證明,但因?yàn)榭瞻滋?寫不下整個(gè)證明”.用數(shù)學(xué)語(yǔ)言來表達(dá),費(fèi)馬的結(jié)論是:

當(dāng)n≥3時(shí), 方程xn+yn=zn 沒有正整數(shù)解.

這個(gè)方程的形式與勾股定理很相似,仿佛是勾股定理的一種延伸,只是字母的次數(shù)由2變?yōu)榱薾(當(dāng)然,還選擇用不同的字母來表示,但這不是實(shí)質(zhì)性的區(qū)別).費(fèi)馬的結(jié)論中,當(dāng)n=2時(shí),就是勾股定理的情形,這時(shí)方程有無數(shù)組正整數(shù)解,每組勾股數(shù)都是它的解.

雖然只是指數(shù)由2變?yōu)榱薾(n≥3),但問題的難度卻陡然升高了許多許多.人們費(fèi)盡了心血,包括最杰出的數(shù)學(xué)家和數(shù)不清的業(yè)余數(shù)學(xué)愛好者,但很長(zhǎng)時(shí)間一直找不到費(fèi)馬大定理的證明方法.后來,人們已經(jīng)不相信費(fèi)馬是真的找到了這個(gè)結(jié)論的證明,推測(cè)他可能如成千上萬(wàn)的后來人一樣,自以為證明出來而實(shí)際上搞錯(cuò)了.然而,費(fèi)馬確實(shí)創(chuàng)造了一種獨(dú)特的方法,證明了n=4 的情況.n=3 的情況則是大名鼎鼎的數(shù)學(xué)家歐拉在1753年給出的.19世紀(jì)初,實(shí)際上只有n=3,n=4兩種情況得到了證明.而n=5的情況則是在經(jīng)歷了半個(gè)多世紀(jì),一直到 1823年才首次完全證明.費(fèi)馬大定理對(duì)當(dāng)時(shí)的數(shù)學(xué)家是一個(gè)最大的挑戰(zhàn).為了表示學(xué)術(shù)界對(duì)它的重視,1816年法國(guó)科學(xué)院首次為費(fèi)馬大定理設(shè)立了大獎(jiǎng).許多大數(shù)學(xué)家,其中包括當(dāng)時(shí)頂尖的數(shù)學(xué)家,如高斯和柯西,都曾熱衷于這個(gè)問題.然而,他們并沒有實(shí)質(zhì)性的突破.

在早期嘗試解決費(fèi)馬大定理的英雄豪杰里,還有一位巾幗英雄,她是德國(guó)的蘇菲·日爾曼.小時(shí)候她是一個(gè)很害羞?膽怯的女孩,靠自學(xué)?閱讀來研究數(shù)學(xué).由于當(dāng)時(shí)女性在數(shù)學(xué)界受到歧視,她就用一個(gè)男性化名同一些大數(shù)學(xué)家通信,其中包括高斯和勒讓德.她的才能使這些一流的數(shù)學(xué)家大為驚訝.

隨著數(shù)學(xué)各分支的不斷發(fā)展,各種數(shù)學(xué)工具涌現(xiàn)了出來,數(shù)學(xué)家們手中的武器越來越多.進(jìn)入20世紀(jì),在許多代數(shù)學(xué)家前仆后繼的努力之下,1983年,德國(guó)數(shù)學(xué)家法爾廷斯證明了一個(gè)定理.他的證明用到了多位數(shù)學(xué)家的成果.這個(gè)定理表明,如果xn+yn=zn有一些互質(zhì)的正整數(shù)解,那么解的個(gè)數(shù)最多也只有有限多個(gè).另一位數(shù)學(xué)家希斯·布朗則證明了,對(duì)于幾乎所有的質(zhì)數(shù),費(fèi)馬大定理都成立.

1985年,德國(guó)數(shù)學(xué)家符萊又把費(fèi)馬大定理的研究向前推進(jìn)了一步.

英國(guó)數(shù)學(xué)家懷爾斯正是沿著前面許多數(shù)學(xué)家開辟的道路,在經(jīng)過漫長(zhǎng)的7年探索后,終于在1993年6月取得了突破,并最終在1995年完全證明了費(fèi)馬大定理,為這個(gè)世界難題徹底畫上了句號(hào).

注:本文中所涉及到的圖表?注解?公式等內(nèi)容請(qǐng)以PDF格式閱讀原文