费马大定理 目录 歷史 参见 參考資料 外部連結 导航菜单
数论数学定理
整數不定方程法国数学家费马英國數學家安德魯·懷爾斯理查·泰勒頁邊筆記数论數學代數幾何橢圓曲線模形式伽羅瓦理論赫克代數邵逸夫獎费马丢番图拉丁文德国馬克一戰格尔德·法尔廷斯互素ε-猜想谷山-志村猜想安德鲁·怀尔斯理查·泰勒岩澤理論数学年刊
费马大定理，也称費馬最後定理（法语：Le dernier théorème de Fermat）；（英语：Fermat's Last Theorem），其概要為：
.mw-parser-output .templatequote{margin-top:0;overflow:hidden}.mw-parser-output .templatequote .templatequotecite{line-height:1em;text-align:left;padding-left:2em;margin-top:0}.mw-parser-output .templatequote .templatequotecite cite{font-size:small}
当整數n>2{displaystyle n>2}时，关于x{displaystyle x}, y{displaystyle y}, z{displaystyle z}的不定方程
- xn+yn=zn{displaystyle x^{n}+y^{n}=z^{n}}
没有正整数解。
以上陳述由17世纪法国数学家费马提出，一直被稱為「费马猜想」，直到英國數學家安德魯·懷爾斯（Andrew John Wiles）及其學生理查·泰勒（Richard Taylor）於1995年將他們的證明出版後，才稱為「費馬大定理」（又稱為：費馬最後定理）。這個猜想最初出現費馬的《頁邊筆記》中。儘管費馬表明他已找到一個精妙的證明而頁邊没有足夠的空位寫下，但仍然經過數學家們三個多世紀的努力，猜想才變成了定理。在衝擊這個数论世紀难题的過程中，無論是不完全的還是最後完整的證明，都給數學界帶來很大的影響；很多的數學結果、甚至數學分支在這個過程中誕生了，包括代數幾何中的橢圓曲線和模形式，以及伽羅瓦理論和赫克代數等。這也令人懷疑當初費馬是否真的找到了正確證明。而安德魯·懷爾斯由於成功證明此定理，獲得了包括邵逸夫獎在内的数十个奖项。
目录
1 歷史
2 参见
3 參考資料
4 外部連結
歷史
丢番圖拉丁文譯本第11卷第8命题
1637年，费马在阅读丢番图《算术》拉丁文译本时，曾在第11卷第8命题旁写道：
| “ | 将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信我发现了一种美妙的证法，可惜这里的空白處太小，写不下[1]。 | ” |
畢竟費馬沒有寫下证明，而他的其它猜想對數學貢獻良多，由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的发展。
费马大定理提出之后的二百年內，對很多不同的特定的n{displaystyle n}，費馬定理早被證明了。但对于一般情況，人们仍一籌莫展。
1908年，德国佛尔夫斯克宣布以10万馬克作为奖金奖给在他逝世後一百年內，第一个证明该定理的人，吸引了不少人嘗試並遞交他們的「證明」。在一戰之後，馬克大幅貶值，該奖金的吸引力也大幅下降。
1983年，格尔德·法尔廷斯證明了莫德尔猜想。作为推论，对于给定的整数n>2{displaystyle n>2}，至多存在有限组互素的a,b,c{displaystyle a,b,c}使得an+bn=cn{displaystyle a^{n}+b^{n}=c^{n}}。
1986年，格哈德·弗賴（Gerhard Frey）提出了“ε-猜想”：若存在a,b,c{displaystyle a,b,c}使得an+bn=cn{displaystyle a^{n}+b^{n}=c^{n}}，即如果費馬大定理是錯的，則橢圓曲線
- y2=x(x−an)(x+bn){displaystyle y^{2}=xleft(x-a^{n}right)left(x+b^{n}right)}
會是谷山-志村猜想的一個反例。格哈德·弗賴（Gerhard Frey）的猜想隨即被Kenneth Ribet證實。此猜想顯示了費馬大定理与橢圓曲線及模形式的密切關係。
1995年，安德鲁·怀尔斯和理查·泰勒在一特例範圍内證明了谷山志村猜想，弗賴的橢圓曲線剛好在這一特例範圍内，從而證明了費馬大定理。
懷爾斯證明費馬大定理的過程亦甚具戲劇性。他用了七年時間，在不為人知的情況下，得出了證明的大部分；然後於1993年6月在一個學術會議上宣佈了他的證明，並瞬即成為世界頭條。但在審批證明的過程中，專家發現了一個極嚴重的錯誤。懷爾斯和泰勒之後用了近一年時間嘗試補救，終在1994年9月以一個之前懷爾斯拋棄過的方法得到成功，這部分的證明與岩澤理論有關。他們的證明刊在1995年的《数学年刊》（Annals of Mathematics）之上。
在怀尔斯证明之前，沃尔夫凯勒（Wolfskehl）委员会受到了数千个不正确的证明，所有纸张叠加达到约10英尺（3米）的高度。[2] 仅在第一年（1907-1908），有621份证明被提交了，但到了20世纪70年代，提交率已降至每月大约3-4次。 根据沃尔夫凯勒评论家施里希廷（F. Schlichting）的说法，大多数证明都是基于学校教授的基本方法，并且提交证明的人大多“有技术教育但职业生涯失败”。[3] 用数学历史学家霍华德·伊夫斯（Howard Eves）的话来说，“费马大定理在数学里有一个特殊的现象，即在于它是错误证明数量最多的数学题。”[4]
参见
- 索菲熱爾曼素數
- 沃尔-孙-孙素数
參考資料
^ 拉丁文原文：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.
^ Singh, p.295.
^ Singh, pp.295-296.
^ Koshy T. Elementary number theory with applications. New York: Academic Press. 2001: 544. ISBN 978-0-12-421171-1.
Fermat's Enigma (previously published under the title Fermat's Last Theorem), by Simon Singh; Bantam Books; ISBN 0-8027-1331-9 (hardcover, September 1998)
外部連結
- Andrew Wiles: Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics 141 (1995), pp. 443–551, online at http://math.stanford.edu/~lekheng/flt/wiles.pdf
- R.Taylor and A.Wiles: Ring theoretic properties of certain Hecke algebras, Annals of Mathematics 141 (1995), pp. 553–572, online at https://web.archive.org/web/20041204213133/http://abel.math.harvard.edu/~rtaylor/
- Gerd Faltings: The Proof of Fermat's Last Theorem by R. Taylor and A. Wiles, Notices of the AMS July 1995, http://www.ams.org/notices/199507/faltings.pdf
- Charles Daney: The Mathematics of Fermat's Last Theorem, https://web.archive.org/web/20040803221632/http://cgd.best.vwh.net/home/flt/flt01.htm
- J J O'Connor and E F Robertson: Fermat's last theorem, https://web.archive.org/web/20040804045854/http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Fermat%27s_last_theorem.html. The history of the problem.
- David Shay: Fermat's last theorem, http://fermat.workjoke.com/. The story and the history of the problem.
