一個(gè)法官的隨手筆記，讓數(shù)學(xué)家折騰了350年

你有沒(méi)有想過(guò)，一個(gè)從未打算發(fā)表的數(shù)學(xué)猜想，能困住人類(lèi)最聰明的大腦長(zhǎng)達(dá)三個(gè)半世紀(jì)？

1637年，法國(guó)法官皮埃爾·德·費(fèi)馬在讀一本古希臘數(shù)學(xué)書(shū)時(shí)，在頁(yè)邊空白處隨手寫(xiě)了幾句話。他沒(méi)料到，這幾行字會(huì)成為數(shù)學(xué)史上最著名的懸案——費(fèi)馬大定理。更諷刺的是，他聲稱(chēng)自己"確實(shí)發(fā)現(xiàn)了一個(gè)真正美妙的證明"，但"這里空白太小，寫(xiě)不下"。

結(jié)果？整整350年，無(wú)數(shù)數(shù)學(xué)家前赴后繼，有人耗盡畢生心血，有人為此精神崩潰，還有人差點(diǎn)在決斗中喪命。直到1994年，英國(guó)數(shù)學(xué)家安德魯·懷爾斯才終于補(bǔ)上這個(gè)證明。

西蒙·辛格1997年出版的《費(fèi)馬大定理》，講的就是這段漫長(zhǎng)的追逐。近30年過(guò)去，這本書(shū)依然值得一讀——不僅因?yàn)槟莻€(gè)最終答案，更因?yàn)樗沂玖藬?shù)學(xué)證明的本質(zhì)：一種比任何其他學(xué)科都更絕對(duì)的知識(shí)。

但問(wèn)題來(lái)了：費(fèi)馬真的有過(guò)那個(gè)證明嗎？還是這只是一場(chǎng)跨越世紀(jì)的誤會(huì)？

正方：費(fèi)馬大概真的以為自己證出來(lái)了

辛格在書(shū)中為費(fèi)馬辯護(hù)的一個(gè)重要依據(jù)是：這位法官的數(shù)學(xué)聲譽(yù)無(wú)可挑剔。

費(fèi)馬不是那種喜歡虛張聲勢(shì)的人。他證明過(guò)26是唯一一個(gè)夾在平方數(shù)和立方數(shù)之間的數(shù)字——25是5的平方，27是3的立方，而26卡在中間。關(guān)鍵不在于"我們沒(méi)找到其他例子"，而在于"我們確定不存在其他例子"。這種"證明不存在"的思維方式，正是費(fèi)馬最擅長(zhǎng)的。

此外，費(fèi)馬確實(shí)留下過(guò)不少完整證明。他一生發(fā)表的成果雖然不多，但經(jīng)后人整理，發(fā)現(xiàn)他在數(shù)論、概率論、解析幾何等領(lǐng)域都有奠基性貢獻(xiàn)。用辛格的話說(shuō)，費(fèi)馬是那種"用業(yè)余時(shí)間的邊角料做出專(zhuān)業(yè)級(jí)突破"的人。

最支持"費(fèi)馬有證明"這一方的證據(jù)，是費(fèi)馬本人的性格。辛格描述他是個(gè)極度自信、甚至有點(diǎn)傲慢的數(shù)學(xué)家。他給朋友的信中經(jīng)常帶著"這題太簡(jiǎn)單，不值得詳細(xì)寫(xiě)"的語(yǔ)氣。頁(yè)邊筆記那種"我證了但懶得寫(xiě)"的調(diào)調(diào)，完全符合他的風(fēng)格。

但這里有個(gè)關(guān)鍵細(xì)節(jié)：費(fèi)馬寫(xiě)下那句話時(shí)，數(shù)學(xué)界還沒(méi)有發(fā)展出"無(wú)窮遞降法"之外的系統(tǒng)工具。而懷爾斯的最終證明，用到了20世紀(jì)才成熟的橢圓曲線、模形式、谷山-志村猜想——這些概念在17世紀(jì)根本不存在。

所以支持方退一步說(shuō)：費(fèi)馬可能有一個(gè)針對(duì)n=4或某些特殊情況的證明，他誤以為可以推廣到所有情況。或者，他有一個(gè)有漏洞的思路，但自己沒(méi)發(fā)現(xiàn)。

反方：費(fèi)馬不可能有完整證明，這是明顯的歷史誤判

反對(duì)者的論點(diǎn)更直接：以17世紀(jì)的數(shù)學(xué)水平，費(fèi)馬根本不可能完成這個(gè)證明。

懷爾斯的證明長(zhǎng)達(dá)100多頁(yè)，動(dòng)用了20世紀(jì)數(shù)學(xué)最前沿的工具。1993年他首次公開(kāi)時(shí)，還發(fā)現(xiàn)了一個(gè)關(guān)鍵漏洞，又花了一年多才補(bǔ)上。如果費(fèi)馬真有"美妙的證明"，它要么極其簡(jiǎn)短卻包含了某種被后世遺忘的天才洞察——這種可能性微乎其微；要么費(fèi)馬根本不知道自己錯(cuò)在哪里。

辛格在書(shū)中也承認(rèn)，數(shù)學(xué)史上有大量"我以為我證了"的案例。19世紀(jì)的數(shù)學(xué)家拉梅、柯西都曾宣布證明費(fèi)馬大定理，結(jié)果被同行發(fā)現(xiàn)漏洞。費(fèi)馬本人也有記錄：他曾聲稱(chēng)證明了所有費(fèi)馬數(shù)都是素?cái)?shù)，后來(lái)歐拉發(fā)現(xiàn)第5個(gè)費(fèi)馬數(shù)就能被641整除。

更有力的反證來(lái)自費(fèi)馬自己的行為。他一生留下了大量書(shū)信和筆記，但從未在其他地方提及這個(gè)"美妙的證明"。如果真有，以他的性格，為什么不寫(xiě)？為什么不讓朋友知道？最合理的解釋是：他后來(lái)發(fā)現(xiàn)自己錯(cuò)了，或者至少發(fā)現(xiàn)推廣到一般情況比想象中困難得多。

反對(duì)方還指出，"頁(yè)邊空白太小"這個(gè)借口本身就可疑。費(fèi)馬完全可以在另一張紙上寫(xiě)，或者寫(xiě)信告訴朋友。17世紀(jì)的數(shù)學(xué)家通信頻繁，這種"我證了但不說(shuō)"的姿態(tài)，更像是一種自我保護(hù)——既保住了面子，又不用承擔(dān)被推翻的風(fēng)險(xiǎn)。

判斷：重要的不是費(fèi)馬有沒(méi)有證出來(lái)

辛格的書(shū)最終沒(méi)有站隊(duì)。他的真正意圖，是借這個(gè)懸案展示數(shù)學(xué)證明的獨(dú)特價(jià)值。

書(shū)中最精彩的段落，是辛格對(duì)比數(shù)學(xué)與其他學(xué)科的知識(shí)確定性。科學(xué)依賴(lài)觀察和實(shí)驗(yàn)，永遠(yuǎn)有"黑天鵝"的可能；哲學(xué)依賴(lài)思辨，結(jié)論往往因人而異；歷史依賴(lài)文獻(xiàn)，總有解讀空間。但數(shù)學(xué)證明一旦完成，就是絕對(duì)的、永恒的、不依賴(lài)于任何物理現(xiàn)實(shí)的。

費(fèi)馬大定理的價(jià)值，恰恰在于它"難證"。350年間，數(shù)學(xué)家為了攻克它，發(fā)明了無(wú)數(shù)新工具：理想數(shù)、分圓域、橢圓曲線、模形式……這些工具后來(lái)成為現(xiàn)代數(shù)學(xué)的支柱。懷爾斯的證明本身，更是統(tǒng)一了數(shù)論與幾何兩大領(lǐng)域，開(kāi)啟了"朗蘭茲綱領(lǐng)"的新篇章。

換句話說(shuō)，如果費(fèi)馬真的在1637年就給出了完整證明，數(shù)學(xué)史反而會(huì)失去這350年的豐富發(fā)展。那個(gè)"空白太小"的遺憾，成了數(shù)學(xué)史上最 productive 的誤會(huì)。

至于費(fèi)馬本人，辛格給出了一個(gè)溫柔的結(jié)論：他或許有一個(gè)針對(duì)n=4的證明（這確實(shí)可以用初等方法完成），并樂(lè)觀地以為可以推廣。這種樂(lè)觀在數(shù)學(xué)史上并不罕見(jiàn)——真正罕見(jiàn)的是，一個(gè)如此簡(jiǎn)單的猜想，竟能抵抗人類(lèi)智慧長(zhǎng)達(dá)三個(gè)半世紀(jì)。

為什么今天還要讀這本書(shū)

《費(fèi)馬大定理》的持久魅力，在于它把數(shù)學(xué)寫(xiě)成了偵探小說(shuō)。辛格不是數(shù)學(xué)家出身（他是粒子物理學(xué)博士，后來(lái)轉(zhuǎn)行做科學(xué)傳播），這種"外行"視角反而成了優(yōu)勢(shì)。他知道普通讀者在哪里會(huì)卡殼，于是用大量類(lèi)比和故事鋪平道路。

比如解釋"證明"的概念時(shí)，他從畢達(dá)哥拉斯講起。這位古希臘數(shù)學(xué)家不僅發(fā)現(xiàn)了直角三角形的邊長(zhǎng)關(guān)系，更重要的是，他證明了這對(duì)所有直角三角形都成立——不是靠量幾百個(gè)三角形，而是靠不可辯駁的邏輯。辛格寫(xiě)道："尋找數(shù)學(xué)證明，就是尋找一種比任何其他學(xué)科積累的知識(shí)都更絕對(duì)的知識(shí)。"

書(shū)中還穿插了大量數(shù)學(xué)家的私人故事。畢達(dá)哥拉斯創(chuàng)辦了一個(gè)秘密兄弟會(huì)，成員要宣誓保密，結(jié)果有人泄密后被追殺；18世紀(jì)的歐拉在失明后依然高產(chǎn)，靠心算完成大量工作；19世紀(jì)的女?dāng)?shù)學(xué)家熱爾曼，因?yàn)樾詣e無(wú)法進(jìn)入大學(xué)，只能用男性化名與大師通信；懷爾斯則在閣樓里秘密工作了七年，連妻子都不知道他在做什么。

這些故事讓數(shù)學(xué)有了溫度。它不是抽象符號(hào)的堆砌，而是人類(lèi)好奇心、執(zhí)念與創(chuàng)造力的產(chǎn)物。

當(dāng)然，這本書(shū)也有局限。辛格對(duì)20世紀(jì)數(shù)學(xué)的描寫(xiě)明顯變薄，懷爾斯證明的技術(shù)細(xì)節(jié)被大量省略——這不是批評(píng)，而是承認(rèn)科普的邊界。正如辛格自己說(shuō)的，他的目標(biāo)是"把讀者帶到能欣賞證明之美的門(mén)口"，而不是"把證明本身塞進(jìn)去"。

近30年后重讀，另一個(gè)感受是時(shí)代變遷。1997年，互聯(lián)網(wǎng)尚未普及，懷爾斯的證明通過(guò)學(xué)術(shù)會(huì)議和郵件傳播；今天，數(shù)學(xué)論文預(yù)印本平臺(tái)arXiv讓成果即時(shí)公開(kāi)，AI輔助證明工具正在興起。但費(fèi)馬大定理的故事提醒我們：有些問(wèn)題需要的時(shí)間，不是計(jì)算速度能壓縮的。350年的等待，本身就是數(shù)學(xué)文化的一部分。

最后，關(guān)于那個(gè)頁(yè)邊筆記的真相，我們可能永遠(yuǎn)不會(huì)知道。費(fèi)馬的手稿早已散佚，那句"空白太小"是后人抄錄的。但正是這種不確定性，讓這個(gè)故事保持開(kāi)放——就像數(shù)學(xué)本身，永遠(yuǎn)有下一個(gè)問(wèn)題在等著。

辛格在書(shū)末引用了一段懷爾斯的話。當(dāng)被問(wèn)及為什么要花七年時(shí)間賭在一個(gè)可能無(wú)解的問(wèn)題上時(shí)，懷爾斯說(shuō)："這是一種挑戰(zhàn)，一種美麗的挑戰(zhàn)。"

或許這就是數(shù)學(xué)最迷人的地方：它不在乎你有沒(méi)有證出來(lái)，只在乎你愿不愿意開(kāi)始。