一個法官的隨手筆記，讓數學家折騰了350年

你有沒有想過，一個從未打算發表的數學猜想，能困住人類最聰明的大腦長達三個半世紀？

1637年，法國法官皮埃爾·德·費馬在讀一本古希臘數學書時，在頁邊空白處隨手寫了幾句話。他沒料到，這幾行字會成為數學史上最著名的懸案——費馬大定理。更諷刺的是，他聲稱自己"確實發現了一個真正美妙的證明"，但"這里空白太小，寫不下"。

結果？整整350年，無數數學家前赴后繼，有人耗盡畢生心血，有人為此精神崩潰，還有人差點在決斗中喪命。直到1994年，英國數學家安德魯·懷爾斯才終于補上這個證明。

西蒙·辛格1997年出版的《費馬大定理》，講的就是這段漫長的追逐。近30年過去，這本書依然值得一讀——不僅因為那個最終答案，更因為它揭示了數學證明的本質：一種比任何其他學科都更絕對的知識。

但問題來了：費馬真的有過那個證明嗎？還是這只是一場跨越世紀的誤會？

正方：費馬大概真的以為自己證出來了

辛格在書中為費馬辯護的一個重要依據是：這位法官的數學聲譽無可挑剔。

費馬不是那種喜歡虛張聲勢的人。他證明過26是唯一一個夾在平方數和立方數之間的數字——25是5的平方，27是3的立方，而26卡在中間。關鍵不在于"我們沒找到其他例子"，而在于"我們確定不存在其他例子"。這種"證明不存在"的思維方式，正是費馬最擅長的。

此外，費馬確實留下過不少完整證明。他一生發表的成果雖然不多，但經后人整理，發現他在數論、概率論、解析幾何等領域都有奠基性貢獻。用辛格的話說，費馬是那種"用業余時間的邊角料做出專業級突破"的人。

最支持"費馬有證明"這一方的證據，是費馬本人的性格。辛格描述他是個極度自信、甚至有點傲慢的數學家。他給朋友的信中經常帶著"這題太簡單，不值得詳細寫"的語氣。頁邊筆記那種"我證了但懶得寫"的調調，完全符合他的風格。

但這里有個關鍵細節：費馬寫下那句話時，數學界還沒有發展出"無窮遞降法"之外的系統工具。而懷爾斯的最終證明，用到了20世紀才成熟的橢圓曲線、模形式、谷山-志村猜想——這些概念在17世紀根本不存在。

所以支持方退一步說：費馬可能有一個針對n=4或某些特殊情況的證明，他誤以為可以推廣到所有情況。或者，他有一個有漏洞的思路，但自己沒發現。

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

反對者的論點更直接：以17世紀的數學水平，費馬根本不可能完成這個證明。

懷爾斯的證明長達100多頁，動用了20世紀數學最前沿的工具。1993年他首次公開時，還發現了一個關鍵漏洞，又花了一年多才補上。如果費馬真有"美妙的證明"，它要么極其簡短卻包含了某種被后世遺忘的天才洞察——這種可能性微乎其微；要么費馬根本不知道自己錯在哪里。

辛格在書中也承認，數學史上有大量"我以為我證了"的案例。19世紀的數學家拉梅、柯西都曾宣布證明費馬大定理，結果被同行發現漏洞。費馬本人也有記錄：他曾聲稱證明了所有費馬數都是素數，后來歐拉發現第5個費馬數就能被641整除。

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

反對方還指出，"頁邊空白太小"這個借口本身就可疑。費馬完全可以在另一張紙上寫，或者寫信告訴朋友。17世紀的數學家通信頻繁，這種"我證了但不說"的姿態，更像是一種自我保護——既保住了面子，又不用承擔被推翻的風險。

判斷：重要的不是費馬有沒有證出來

辛格的書最終沒有站隊。他的真正意圖，是借這個懸案展示數學證明的獨特價值。

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

費馬大定理的價值，恰恰在于它"難證"。350年間，數學家為了攻克它，發明了無數新工具：理想數、分圓域、橢圓曲線、模形式……這些工具后來成為現代數學的支柱。懷爾斯的證明本身，更是統一了數論與幾何兩大領域，開啟了"朗蘭茲綱領"的新篇章。

換句話說，如果費馬真的在1637年就給出了完整證明，數學史反而會失去這350年的豐富發展。那個"空白太小"的遺憾，成了數學史上最 productive 的誤會。

至于費馬本人，辛格給出了一個溫柔的結論：他或許有一個針對n=4的證明（這確實可以用初等方法完成），并樂觀地以為可以推廣。這種樂觀在數學史上并不罕見——真正罕見的是，一個如此簡單的猜想，竟能抵抗人類智慧長達三個半世紀。

為什么今天還要讀這本書

《費馬大定理》的持久魅力，在于它把數學寫成了偵探小說。辛格不是數學家出身（他是粒子物理學博士，后來轉行做科學傳播），這種"外行"視角反而成了優勢。他知道普通讀者在哪里會卡殼，于是用大量類比和故事鋪平道路。

比如解釋"證明"的概念時，他從畢達哥拉斯講起。這位古希臘數學家不僅發現了直角三角形的邊長關系，更重要的是，他證明了這對所有直角三角形都成立——不是靠量幾百個三角形，而是靠不可辯駁的邏輯。辛格寫道："尋找數學證明，就是尋找一種比任何其他學科積累的知識都更絕對的知識。"

書中還穿插了大量數學家的私人故事。畢達哥拉斯創辦了一個秘密兄弟會，成員要宣誓保密，結果有人泄密后被追殺；18世紀的歐拉在失明后依然高產，靠心算完成大量工作；19世紀的女數學家熱爾曼，因為性別無法進入大學，只能用男性化名與大師通信；懷爾斯則在閣樓里秘密工作了七年，連妻子都不知道他在做什么。

這些故事讓數學有了溫度。它不是抽象符號的堆砌，而是人類好奇心、執念與創造力的產物。

當然，這本書也有局限。辛格對20世紀數學的描寫明顯變薄，懷爾斯證明的技術細節被大量省略——這不是批評，而是承認科普的邊界。正如辛格自己說的，他的目標是"把讀者帶到能欣賞證明之美的門口"，而不是"把證明本身塞進去"。

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

最后，關于那個頁邊筆記的真相，我們可能永遠不會知道。費馬的手稿早已散佚，那句"空白太小"是后人抄錄的。但正是這種不確定性，讓這個故事保持開放——就像數學本身，永遠有下一個問題在等著。

辛格在書末引用了一段懷爾斯的話。當被問及為什么要花七年時間賭在一個可能無解的問題上時，懷爾斯說："這是一種挑戰，一種美麗的挑戰。"

或許這就是數學最迷人的地方：它不在乎你有沒有證出來，只在乎你愿不愿意開始。