郭紅軍

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

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

學(xué)過(guò)平面幾何的人都知道,設(shè)a?b為直角三角形的兩條直角邊邊長(zhǎng),則斜邊長(zhǎng)c跟a?b滿足關(guān)系式c2 = a2 + b2. 中國(guó)人稱它為“商高定理”,因?yàn)樵诠糯臄?shù)學(xué)書(shū)籍《周髀算經(jīng)》里記載,古代數(shù)學(xué)家商高談到過(guò)這個(gè)關(guān)系式.但人們更普遍地稱其為勾股定理,這是因?yàn)樵凇吨荀滤憬?jīng)》中記載著“勾三股四弦五”.在西方,上述關(guān)系式稱為畢達(dá)哥拉斯定理,這是因?yàn)槲鞣降臄?shù)學(xué)及科學(xué)來(lái)源于古希臘,古希臘流傳下來(lái)的最古老的著作之一便是歐幾里得的《幾何原本》,而其中許多定理再往前追溯,自然就落在畢達(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ū),并且自己也從事一些數(shù)學(xué)研究,鉆研一些數(shù)學(xué)問(wèn)題.他在閱讀古希臘數(shù)學(xué)家丟番圖的《算術(shù)》一書(shū)中關(guān)于方程x2 + y2 = z2的一般解的論述時(shí),在書(shū)的空白處,用筆寫(xiě)下這樣的心得:“反過(guò)來(lái)說(shuō),不可能把一個(gè)立方數(shù)分拆為兩個(gè)立方數(shù)的和,一個(gè)四方數(shù)分拆為兩個(gè)四方數(shù)之和.更一般地, 任何大于二的方數(shù)不能分拆為兩個(gè)同樣方數(shù)之和.我已發(fā)現(xiàn)了一個(gè)絕妙的證明,但因?yàn)榭瞻滋?寫(xiě)不下整個(gè)證明.”用數(shù)學(xué)語(yǔ)言來(lái)表達(dá),費(fèi)馬的結(jié)論是:

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

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

雖然只是指數(shù)由2變?yōu)榱薾(n≥3),但問(wèn)題的難度卻陡然升高了許多許多.人們費(fèi)盡了心血,包括最杰出的數(shù)學(xué)家和數(shù)不清的業(yè)余數(shù)學(xué)愛(ài)好者,但很長(zhǎng)時(shí)間一直找不到費(fèi)馬大定理的證明方法.后來(lái),人們已經(jīng)不相信費(fèi)馬真地找到了這個(gè)結(jié)論的證明,推測(cè)他可能如成千上萬(wàn)的后來(lái)人一樣,自以為證明出來(lái)而實(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è)問(wèn)題.然而,他們并沒(méi)有實(shí)質(zhì)性的突破.

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

隨著數(shù)學(xué)各分支的不斷發(fā)展,各種數(shù)學(xué)工具涌現(xiàn)出來(lái),數(shù)學(xué)家們手中的武器越來(lái)越多.進(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é)家開(kāi)辟的道路,在經(jīng)過(guò)漫長(zhǎng)的7年探索后,終于在1993年6月取得了突破,并最終在1995年完全證明了費(fèi)馬大定理,為這個(gè)世界難題徹底畫(huà)上了句號(hào).

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