歷史上那些成功裝逼的事件Vol.2 費馬的“美妙的證法”

先來看一下百度百科中的這一段說明:17世紀是歐洲數學復興的重要時期,以解析幾何、微積分、概率論、射影幾何為代表的新興領域直接影響、決定了之後幾個世紀的數學發展方向。在此期間,誕生了許多數學大家,其中最具代表性的有:牛頓、費馬、笛卡爾、萊布尼茨、帕斯卡、惠更斯、卡瓦列裡、沃利斯、笛沙格。

你看的沒錯,費馬的排名僅次於微積分創始人牛頓,位居第二。

費馬(Fermat,Pierre de Fermat) (1601~1665)法國數學家,對現代微積分的建立有所貢獻,被譽為“業餘數學家之王。”為什麼頭銜上會有“業餘”兩字呢,因為費馬本身是有律師的全職工作的,是一名律師。

歷史上那些成功裝逼的事件Vol.2 費馬的“美妙的證法”

費馬(Pierre de Fermat,1601-1665)

公元1637年,費馬提出了著名的猜想:

當整數n >2時,關於x, y, z的方程 x^n + y^n = z^n 沒有正整數解。

費馬提出這個猜想的時候,正在閱讀丟番圖(Diophatus)《算術》拉丁文譯本,所以他就在這本書的第11卷第8命題旁寫下了這個猜想。

然後,費馬又在自己的猜想旁邊寫下了一句十分著(裝)名(逼)的話:“關於此,我確信已發現了一種美妙的證法,可惜這裡空白的地方太小,寫不下。”

歷史上那些成功裝逼的事件Vol.2 費馬的“美妙的證法”

費馬的手稿

雖然費馬沒有寫下證明,但由於他之前提出的其他猜想對數學貢獻良多,所以激發了許多數學家對這一猜想的興趣。造成的直接結果就是,一群數學家開始投入漫漫征程,尋找費馬所說的“美妙的證法”。

從1753年開始,歐拉、熱耳曼、拉梅、庫默爾、勒貝格、莫德爾、法爾廷斯、谷山豐等一批數學家前赴後繼,但都無法完美證明費馬的猜想。

直到1993年,英國數學家安德魯·懷爾斯才宣佈終於完美證明了費馬的猜想。費馬寫在他的猜想旁邊的一句裝逼的話,數學家們用了356年來證明。

歷史上那些成功裝逼的事件Vol.2 費馬的“美妙的證法”

英國數學家安德魯·懷爾斯

最關鍵的是,安德魯·懷爾斯把他對費馬猜想的證明發表在了數學界的頂級學刊《數學年刊》(Annals of Mathematics)第141捲上,包括了兩篇文章,一共130頁,並且證明過程中運用了大量20世紀才出現的數學研究成果。

看到這裡,大家估計都想問費馬一個問題:1637年的時候,您真的發現了“美妙的證法”麼?您確定您不是在裝逼?


分享到:


相關文章: