跳至內容

費馬大定理

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

費馬大定理(亦名費馬最後定理,法語:Le dernier théorème de Fermat,英語:Fermat's Last Theorem),其概要為:

整數時,關於, , 不定方程

正整數解。

以上陳述由17世紀法國數學家費馬提出,被稱為「費馬猜想」,直到英國數學家安德魯·懷爾斯及其學生理查·泰勒於1995年將他們的證明出版後,才稱為「費馬最後定理」。這個猜想最初出現費馬的《頁邊筆記》中。儘管費馬表明他已找到一個精妙的證明而頁邊沒有足夠的空位寫下,但仍然經過數學家們三個多世紀的努力,猜想才變成定理。在衝擊這個數論世紀難題的過程中,無論是不完全的還是最後完整的證明,都給數學界帶來很大的影響;很多的數學結果、甚至數學分支在這個過程中誕生,包括代數幾何中的橢圓曲線模形式,以及伽羅瓦理論赫克代數等。這也令人懷疑當初費馬是否真的找到正確證明。而安德魯·懷爾斯由於成功證明此定理,獲得包括邵逸夫獎在內的數十個獎項。

歷史

丟番圖拉丁文譯本第11卷第8命題

1637年,費馬在閱讀丟番圖《算術》拉丁文譯本時,曾在第11卷第8命題旁寫道:

畢竟費馬沒有寫下證明,而他的其它猜想對數學貢獻良多,由此激發許多數學家對這一猜想的興趣。數學家們的有關工作豐富數論的內容,推動數論的發展。

歐拉在1770年的時候,證明n=3時定理成立。[1]

1825年,高斯和熱爾曼同時獨立證明費馬定理5次冪。

費馬大定理提出之後的二百年內,對很多不同的特定的,費馬大定理被證明。但對於一般情況,人們仍一籌莫展。

1908年,德國人「保羅·弗里德里希·沃爾夫斯凱爾英語Paul Wolfskehl」宣布以10萬馬克作為獎金獎給在他逝世後一百年內,第一個證明該定理的人,吸引不少人嘗試並遞交他們的「證明」。在一戰之後,馬克大幅貶值,該獎金的吸引力也大幅下降。

1983年,格爾德·法爾廷斯證明莫德爾猜想。作為推論,對於給定的整數,至多存在有限組互素使得

1986年,格哈德·弗賴(Gerhard Frey)提出「ε-猜想」:若存在使得,即如果費馬大定理是錯的,則橢圓曲線

會是谷山-志村猜想的一個反例。格哈德·弗賴的猜想隨即被肯尼斯·阿蘭·黎貝證實。此猜想顯示費馬大定理與橢圓曲線及模形式的密切關係。

1995年,安德魯·懷爾斯理查·泰勒在一特例範圍內證明谷山志村猜想,弗賴的橢圓曲線剛好在這一特例範圍內,從而證明費馬大定理。

懷爾斯證明費馬大定理的過程亦甚具戲劇性。他用七年時間,在不為人知的情況下,得出證明的大部分;然後於1993年6月在一個學術會議上宣佈他的證明,並瞬即成為世界頭條。但在審查證明的過程中,專家發現一個極為嚴重的錯誤。懷爾斯和泰勒之後用近一年時間嘗試補救,終在1994年9月以一個之前懷爾斯拋棄過的方法得到成功,這部分的證明與岩澤理論有關。他們的證明刊在1995年的《數學年刊》(Annals of Mathematics)之上。

在懷爾斯證明之前,沃爾夫斯凱爾委員會(Wolfskehl committee)收到數千個不正確的證明,所有紙張疊加達到約10英尺(3米)的高度[2](p. 295)。僅在第一年(1907—1908年)就提出621個證明,但到了20世紀70年代,各家證明方法的提出已經降至每個月大約3-4個。根據沃爾夫斯凱爾委員會評論家施里希廷(F. Schlichting)的說法,大多數證明都是基於學校教授的基本方法,並且提交證明的人大多「有技術教育但職業生涯失敗」[2](pp. 120–125、131–133、295–296)[3]。用數學歷史學家霍華德·伊夫斯英語Howard Eves的話來說,「費馬大定理在數學裡有一個特殊的現象,即在於它是錯誤證明數量最多的數學題。」[4]

參見

註釋

  1. ^ 拉丁文原文:Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.

參考資料

  1. ^ 用戶1915054266. 怀尔斯用7年时间证明费马大定理,杀死一只会下金蛋的鹅. 快資訊. 2019-04-29 [2019-05-21]. (原始內容存檔於2019-06-10) (中文(中國大陸)). 
  2. ^ 2.0 2.1 Singh 1997.
  3. ^ Aczel 1996,第70頁.
  4. ^ Koshy T. Elementary number theory with applications. New York: Academic Press. 2001: 544. ISBN 978-0-12-421171-1. 

書籍

論文

外部連結