你有沒有想過,一個(gè)從未打算發(fā)表的數(shù)學(xué)猜想,能困住人類最聰明的大腦長達(dá)三個(gè)半世紀(jì)?
1637年,法國法官皮埃爾·德·費(fèi)馬在讀一本古希臘數(shù)學(xué)書時(shí),在頁邊空白處隨手寫了幾句話。他沒料到,這幾行字會(huì)成為數(shù)學(xué)史上最著名的懸案——費(fèi)馬大定理。更諷刺的是,他聲稱自己"確實(shí)發(fā)現(xiàn)了一個(gè)真正美妙的證明",但"這里空白太小,寫不下"。
![]()
結(jié)果?整整350年,無數(shù)數(shù)學(xué)家前赴后繼,有人耗盡畢生心血,有人為此精神崩潰,還有人差點(diǎn)在決斗中喪命。直到1994年,英國數(shù)學(xué)家安德魯·懷爾斯才終于補(bǔ)上這個(gè)證明。
![]()
西蒙·辛格1997年出版的《費(fèi)馬大定理》,講的就是這段漫長的追逐。近30年過去,這本書依然值得一讀——不僅因?yàn)槟莻€(gè)最終答案,更因?yàn)樗沂玖藬?shù)學(xué)證明的本質(zhì):一種比任何其他學(xué)科都更絕對(duì)的知識(shí)。
但問題來了:費(fèi)馬真的有過那個(gè)證明嗎?還是這只是一場(chǎng)跨越世紀(jì)的誤會(huì)?
正方:費(fèi)馬大概真的以為自己證出來了
辛格在書中為費(fèi)馬辯護(hù)的一個(gè)重要依據(jù)是:這位法官的數(shù)學(xué)聲譽(yù)無可挑剔。
費(fèi)馬不是那種喜歡虛張聲勢(shì)的人。他證明過26是唯一一個(gè)夾在平方數(shù)和立方數(shù)之間的數(shù)字——25是5的平方,27是3的立方,而26卡在中間。關(guān)鍵不在于"我們沒找到其他例子",而在于"我們確定不存在其他例子"。這種"證明不存在"的思維方式,正是費(fèi)馬最擅長的。
此外,費(fèi)馬確實(shí)留下過不少完整證明。他一生發(fā)表的成果雖然不多,但經(jīng)后人整理,發(fā)現(xiàn)他在數(shù)論、概率論、解析幾何等領(lǐng)域都有奠基性貢獻(xiàn)。用辛格的話說,費(fèi)馬是那種"用業(yè)余時(shí)間的邊角料做出專業(yè)級(jí)突破"的人。
最支持"費(fèi)馬有證明"這一方的證據(jù),是費(fèi)馬本人的性格。辛格描述他是個(gè)極度自信、甚至有點(diǎn)傲慢的數(shù)學(xué)家。他給朋友的信中經(jīng)常帶著"這題太簡單,不值得詳細(xì)寫"的語氣。頁邊筆記那種"我證了但懶得寫"的調(diào)調(diào),完全符合他的風(fēng)格。
但這里有個(gè)關(guān)鍵細(xì)節(jié):費(fèi)馬寫下那句話時(shí),數(shù)學(xué)界還沒有發(fā)展出"無窮遞降法"之外的系統(tǒng)工具。而懷爾斯的最終證明,用到了20世紀(jì)才成熟的橢圓曲線、模形式、谷山-志村猜想——這些概念在17世紀(jì)根本不存在。
所以支持方退一步說:費(fèi)馬可能有一個(gè)針對(duì)n=4或某些特殊情況的證明,他誤以為可以推廣到所有情況。或者,他有一個(gè)有漏洞的思路,但自己沒發(fā)現(xiàn)。
反方:費(fèi)馬不可能有完整證明,這是明顯的歷史誤判
反對(duì)者的論點(diǎn)更直接:以17世紀(jì)的數(shù)學(xué)水平,費(fèi)馬根本不可能完成這個(gè)證明。
懷爾斯的證明長達(dá)100多頁,動(dòng)用了20世紀(jì)數(shù)學(xué)最前沿的工具。1993年他首次公開時(shí),還發(fā)現(xiàn)了一個(gè)關(guān)鍵漏洞,又花了一年多才補(bǔ)上。如果費(fèi)馬真有"美妙的證明",它要么極其簡短卻包含了某種被后世遺忘的天才洞察——這種可能性微乎其微;要么費(fèi)馬根本不知道自己錯(cuò)在哪里。
辛格在書中也承認(rèn),數(shù)學(xué)史上有大量"我以為我證了"的案例。19世紀(jì)的數(shù)學(xué)家拉梅、柯西都曾宣布證明費(fèi)馬大定理,結(jié)果被同行發(fā)現(xiàn)漏洞。費(fèi)馬本人也有記錄:他曾聲稱證明了所有費(fèi)馬數(shù)都是素?cái)?shù),后來歐拉發(fā)現(xiàn)第5個(gè)費(fèi)馬數(shù)就能被641整除。
更有力的反證來自費(fèi)馬自己的行為。他一生留下了大量書信和筆記,但從未在其他地方提及這個(gè)"美妙的證明"。如果真有,以他的性格,為什么不寫?為什么不讓朋友知道?最合理的解釋是:他后來發(fā)現(xiàn)自己錯(cuò)了,或者至少發(fā)現(xiàn)推廣到一般情況比想象中困難得多。
反對(duì)方還指出,"頁邊空白太小"這個(gè)借口本身就可疑。費(fèi)馬完全可以在另一張紙上寫,或者寫信告訴朋友。17世紀(jì)的數(shù)學(xué)家通信頻繁,這種"我證了但不說"的姿態(tài),更像是一種自我保護(hù)——既保住了面子,又不用承擔(dān)被推翻的風(fēng)險(xiǎn)。
判斷:重要的不是費(fèi)馬有沒有證出來
辛格的書最終沒有站隊(duì)。他的真正意圖,是借這個(gè)懸案展示數(shù)學(xué)證明的獨(dú)特價(jià)值。
![]()
書中最精彩的段落,是辛格對(duì)比數(shù)學(xué)與其他學(xué)科的知識(shí)確定性。科學(xué)依賴觀察和實(shí)驗(yàn),永遠(yuǎn)有"黑天鵝"的可能;哲學(xué)依賴思辨,結(jié)論往往因人而異;歷史依賴文獻(xiàn),總有解讀空間。但數(shù)學(xué)證明一旦完成,就是絕對(duì)的、永恒的、不依賴于任何物理現(xiàn)實(shí)的。
費(fèi)馬大定理的價(jià)值,恰恰在于它"難證"。350年間,數(shù)學(xué)家為了攻克它,發(fā)明了無數(shù)新工具:理想數(shù)、分圓域、橢圓曲線、模形式……這些工具后來成為現(xiàn)代數(shù)學(xué)的支柱。懷爾斯的證明本身,更是統(tǒng)一了數(shù)論與幾何兩大領(lǐng)域,開啟了"朗蘭茲綱領(lǐng)"的新篇章。
換句話說,如果費(fèi)馬真的在1637年就給出了完整證明,數(shù)學(xué)史反而會(huì)失去這350年的豐富發(fā)展。那個(gè)"空白太小"的遺憾,成了數(shù)學(xué)史上最 productive 的誤會(huì)。
至于費(fèi)馬本人,辛格給出了一個(gè)溫柔的結(jié)論:他或許有一個(gè)針對(duì)n=4的證明(這確實(shí)可以用初等方法完成),并樂觀地以為可以推廣。這種樂觀在數(shù)學(xué)史上并不罕見——真正罕見的是,一個(gè)如此簡單的猜想,竟能抵抗人類智慧長達(dá)三個(gè)半世紀(jì)。
為什么今天還要讀這本書
《費(fèi)馬大定理》的持久魅力,在于它把數(shù)學(xué)寫成了偵探小說。辛格不是數(shù)學(xué)家出身(他是粒子物理學(xué)博士,后來轉(zhuǎn)行做科學(xué)傳播),這種"外行"視角反而成了優(yōu)勢(shì)。他知道普通讀者在哪里會(huì)卡殼,于是用大量類比和故事鋪平道路。
比如解釋"證明"的概念時(shí),他從畢達(dá)哥拉斯講起。這位古希臘數(shù)學(xué)家不僅發(fā)現(xiàn)了直角三角形的邊長關(guān)系,更重要的是,他證明了這對(duì)所有直角三角形都成立——不是靠量幾百個(gè)三角形,而是靠不可辯駁的邏輯。辛格寫道:"尋找數(shù)學(xué)證明,就是尋找一種比任何其他學(xué)科積累的知識(shí)都更絕對(duì)的知識(shí)。"
書中還穿插了大量數(shù)學(xué)家的私人故事。畢達(dá)哥拉斯創(chuàng)辦了一個(gè)秘密兄弟會(huì),成員要宣誓保密,結(jié)果有人泄密后被追殺;18世紀(jì)的歐拉在失明后依然高產(chǎn),靠心算完成大量工作;19世紀(jì)的女?dāng)?shù)學(xué)家熱爾曼,因?yàn)樾詣e無法進(jìn)入大學(xué),只能用男性化名與大師通信;懷爾斯則在閣樓里秘密工作了七年,連妻子都不知道他在做什么。
這些故事讓數(shù)學(xué)有了溫度。它不是抽象符號(hào)的堆砌,而是人類好奇心、執(zhí)念與創(chuàng)造力的產(chǎn)物。
當(dāng)然,這本書也有局限。辛格對(duì)20世紀(jì)數(shù)學(xué)的描寫明顯變薄,懷爾斯證明的技術(shù)細(xì)節(jié)被大量省略——這不是批評(píng),而是承認(rèn)科普的邊界。正如辛格自己說的,他的目標(biāo)是"把讀者帶到能欣賞證明之美的門口",而不是"把證明本身塞進(jìn)去"。
近30年后重讀,另一個(gè)感受是時(shí)代變遷。1997年,互聯(lián)網(wǎng)尚未普及,懷爾斯的證明通過學(xué)術(shù)會(huì)議和郵件傳播;今天,數(shù)學(xué)論文預(yù)印本平臺(tái)arXiv讓成果即時(shí)公開,AI輔助證明工具正在興起。但費(fèi)馬大定理的故事提醒我們:有些問題需要的時(shí)間,不是計(jì)算速度能壓縮的。350年的等待,本身就是數(shù)學(xué)文化的一部分。
最后,關(guān)于那個(gè)頁邊筆記的真相,我們可能永遠(yuǎn)不會(huì)知道。費(fèi)馬的手稿早已散佚,那句"空白太小"是后人抄錄的。但正是這種不確定性,讓這個(gè)故事保持開放——就像數(shù)學(xué)本身,永遠(yuǎn)有下一個(gè)問題在等著。
辛格在書末引用了一段懷爾斯的話。當(dāng)被問及為什么要花七年時(shí)間賭在一個(gè)可能無解的問題上時(shí),懷爾斯說:"這是一種挑戰(zhàn),一種美麗的挑戰(zhàn)。"
或許這就是數(shù)學(xué)最迷人的地方:它不在乎你有沒有證出來,只在乎你愿不愿意開始。
特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺(tái)“網(wǎng)易號(hào)”用戶上傳并發(fā)布,本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.