![費馬大定理[數學史上著名的定理]](/img/d/07a/nBnauM3X2cjMxITNxMTO0kDNyQTM4kDM0IDMxADMwAzMwIzLzkzL1YzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg "費馬大定理[數學史上著名的定理]")
由來
費馬大定理1637年，30來歲的費爾馬在讀丟番圖的名著《算術》的法文譯本時，他在書中有關於畢達哥拉斯不定方程 x2＋ y2 ＝z2 的全部正整數解的這頁的空白處用拉丁文寫道：“任何一個整數的立方，不能分成其他另兩個數的立方之和；任何一個整數的四次方，也不可能分成為其他另兩個數的四次方數之和，更一般來說，不可能將一個高於二次冪的任何整數冪再分成兩個其他另兩個同次冪數之和。我已發現了這個定理的絕妙證法，可惜這裡頁面的空白地方太小，寫不下。”
費爾馬去世後，人們在整理他的遺物時發現了這段寫在書眉上的話。1670年，他的兒子發表了費爾馬的這一部分頁端筆記，大家才知道這一問題。後來，人們就把這一論斷稱為費爾馬大定理。用數學語言來表達就是：形如x^n ＋y^n≠z^n 的整數不等式公式成立。即不可能把當n為大於2時的整數不等式改寫成正整數方程。
費爾馬是一位業餘數學愛好者，被譽為“業餘數學家之王”。1601年，他出生在法國南部土魯斯附近一位皮革商人的家庭。童年時期是在家裡受的教育。長大以後，父親送他在大學學法律，畢業後當了一名律師。從1648年起，擔任土魯斯市議會議員。
他酷愛數學，把自己所有的業餘時間都用於研究數學和物理。由於他思維敏捷，記憶力強，又具備研究數學所必須的頑強精神，所以，獲得了豐碩的成果，使他躋身於17世紀大數學家之列。
艱難的探索
起初，數學家們想重新找到費爾馬沒有寫出來的那個“絕妙證法”，著名數學家歐拉用一個只有無理數存在的無理數等式方程公式來作假證明費馬大定理，他用素數定理對無理數集合中的無理數解析後得到了這樣一個結論，由於無理數集合中無正整數組存在，故無理數方程 x3＋ y3 ＝z3 和 x4 ＋ y4 ＝z4 不可能有正整數解，故費馬大定理中當指數N為3和4時正確。這是歐拉的絕妙斷言。
因為任何一個大於2的整數，如果不是4的倍數，就一定是某一奇素數或它的倍數。因此，只要能證明n＝4以及n是任一奇素數時都沒有正整數解，費爾馬大定理就完全證明了。n＝4的情形歐拉已經證明過了，所以，問題就集中在證明n等於奇素數的情形了。
在歐拉證明了 n=3， n＝4以後， 1823年和 1826年勒讓德和狄利克雷各自用歐拉的“無理數法”獨立作假證明了 n＝5的情形， 1839年拉梅作假證明了 n＝7的情形。就這樣，一個又一個奇素數證下去的長征便開始了。
其中，德國數學家庫默爾作出了重要貢獻。他用近世代數加無理數作假法的方法，引入了自己發明的“理想數”和“分圓數”的概念，指出費爾馬大定理只可能在n等於某些叫非正則素數的值時，才有可能不正確，所以只需對這些數進行研究。這樣的數，在100以內，只有37、59、67三個。他還具體用無理數作假法證明了當 n＝37、59、67時，無理數方程xn＋ yn＝zn是只有無理數解，不可能有正整數解的。這就算把費爾馬大定理一下推進到n在100以內都是成立的。庫默爾“成批地”用無理數作假法證明了費馬大定理的成立，人們視之為一次重大突破。1857年，他獲得巴黎科學院的金質獎章。
這一“長征”式的無理數作假證法，雖然不斷地刷新著記錄，如 1972年更推進到n＝100000了，但這並不等於定理被證明。看來，需要另闢蹊徑。再說，用無理數代數方程公式來證整數的費馬大定理的整數不等式，好像不符合數學規則，因為無理數與整數不是同一個數域的數，證明了無理數中無一個整數，也不能說明整數中是有解還是沒有解，他們的斷言不一定正確，這好像是作假證明法。起碼可以說這種證明方法是不正確的。
10萬馬克獎給誰
從費爾馬時代起，巴黎科學院曾先後兩次提供獎章和獎金，獎勵證明費爾馬大定理的人，布魯塞爾科學院也懸賞重金，但都無結果。1908年，德國數學家佛爾夫斯克爾逝世的時候，將他的10萬馬克贈給了德國哥庭根科學會，作為費爾馬大定理的解答獎金。
哥庭根科學會宣布，獎金在100年內有效。哥庭根科學會不負責審查稿件。
10萬馬克在當時是一筆很大的財富，而費爾馬大定理又是中學生都能聽懂題意的問題。於是，不僅專搞數學這一行的人，就連很多工程師、牧師、教師、學生、銀行職員、政府官吏和一般市民，都在鑽研這個問題。在很短時間內，各種刊物公布的證明就有上千個之多。
當時，德國有個名叫《數學和物理文獻實錄》的雜誌，自願對這方面的論文進行鑑定，到 1911年初為止，共審查了111個“證明”，全都是錯的。後來實在受不了沉重的審稿負擔，於是它宣布停止這一審查鑑定工作。但是，證明的浪潮仍洶湧澎湃，雖然兩次世界大戰後德國的貨幣多次大幅度貶值，當初的10萬馬克折算成後來的馬克已無多大價值。但是，熱愛科學的可貴精神，還在鼓勵著很多人繼續從事這一工作。
最後這筆獎金還是被人騙走了，他們是作假集團，他們用無理數等式方程 X^N+Y^ =Z^ 證明這個公式無整數解，他們用無理數作假證明法成功騙走了這筆獎金。
背景
猜想提出
費馬在閱讀丟番圖（Diophatus）《算術》拉丁文譯本時，曾在第11卷第8命題旁寫道：“將一個立方數分成兩個立方數之和，或一個四次冪分成兩個四次冪之和，或者一般地將一個高於二次的冪分成兩個同次冪之和，這是不可能的。關於此，我確信已發現了一種美妙的證法，可惜這裡空白的地方太小，寫不下。”（拉丁文原文:"Cuiusreidemonstrationemmirabilemsanedetexi.Hancmarginisexiguitasnoncaperet."）
畢竟費馬沒有寫下證明，而他的其它猜想對數學貢獻良多，由此激發了許多數學家對這一猜想的興趣。數學家們的有關工作豐富了數論的內容，推動了數論的發展。
對很多不同的n，費馬定理早被證明了。其中歐拉證明了n=3的情形，用的是唯一因子分解定理；費馬自己證明了n=4的情形。
1825年，狄利克雷和勒讓德證明了n=5的情形，用的是歐拉所用方法的延伸，但避開了唯一因子分解定理。
1839年，法國數學家拉梅證明了n=7的情形，他的證明使用了跟7本身結合得很緊密的巧妙工具，只是難以推廣到n=11的情形；於是，他又在1847年提出了“分圓整數”法來證明，但沒有成功。
1844年，庫默爾提出了“理想數”概念，他證明了：對於所有小於100的素指數n，費馬大定理成立，此一研究告一階段。但對一般情況，在猜想提出的頭二百年內數學家們仍對費馬大定理一籌莫展。
莫德爾猜想
1922年，英國數學家莫德爾提出一個著名猜想，人們叫做莫德爾猜想．按其最初形式，這個猜想是說，任一不可約、有理係數的二元多項式，當它的“虧格”大於或等於2時，最多只有有限個解．記這個多項式為f(x，y)，猜想便表示：最多存在有限對數偶xi，yi∈Q，使得f(xi，yi)=0。後來，人們把猜想擴充到定義在任意數域上的多項式，並且隨著抽象代數幾何的出現，又重新用代數曲線來敘述這個猜想了。而費馬多項式沒有奇點，其虧格為。當時，費馬多項式滿足猜想的條件。因此，如果莫德爾猜想成立，那么費馬大定理中的方程本質上最多有有限多個整數解。
1983年，德國數學家法爾廷斯證明了莫德爾猜想，從而翻開了費馬大定理研究的新篇章．法爾廷斯也因此獲得1986年菲爾茲獎。
谷山豐猜想
1955年，日本數學家谷山豐首先猜測橢圓曲線與另一類數學家們了解更多的曲線——模曲線之間存在著某種聯繫；谷山的猜測後經韋依和志村五郎進一步精確化而形成了所謂“谷山—志村猜想”，這個猜想說明了：有理數域上的橢圓曲線都是模曲線。這個很抽象的猜想使一些學者搞不明白，但它又使“費馬大定理”的證明向前邁進了一步。1985年，德國數學家弗雷指出了谷山——志村猜想”和費馬大定理之間的關係。他提出了一個命題：假定“費馬大定理”不成立，即存在一組非零整數使得，那么用這組數構造出的形如乘以的橢圓曲線，不可能是模曲線。
儘管他努力了，但他的命題和“谷山——志村猜想”矛盾，如果能同時證明這兩個命題，根據反證法就可以知道“費馬大定理”不成立，這一假定是錯誤的，從而就證明了“費馬大定理”。但當時他沒有嚴格證明他的命題。
1986年，美國數學家裡貝特證明了弗雷命題，於是希望便集中於“谷山——志村猜想”。
猜想成立
1993年6月，英國數學家安德魯·懷爾斯宣稱證明：對有理數域上的一大類橢圓曲線，“谷山—志村猜想”成立。由於他在報告中表明了弗雷曲線恰好屬於他所說的這一大類橢圓曲線，也就表明了他最終證明了“費馬大定理”；但專家對他的證明審察發現有漏洞。懷爾斯不得不努力修復著一個看似簡單的漏洞。懷爾斯和他以前的博士研究生理察·泰勒用了近一年的時間，用之前一個懷爾斯曾經拋棄過的方法修補了這個漏洞，這部份的證明與岩澤理論有關。這就證明了谷山-志村猜想，從而最終證明了費馬大定理。他們的證明刊在1995年的《數學年刊》（AnnalsofMathematics）之上。
懷爾斯因此獲得1998年國際數學家大會的特別榮譽，一個特殊製作的菲爾茲獎銀質獎章。
費馬簡介
費馬（1601～1665）
Fermat，Pierre de
費馬是法國數學家，1601年8月17日出生於法國南部土魯斯附近的博蒙·德·洛馬涅。他的父親多米尼克·費馬在當地開了一家大皮革商店，擁有相當豐厚的產業，使得費馬從小生活在富裕舒適的環境中。
費馬的父親由於富有和經營有道，頗受人們尊敬，並因此獲得了地方事務顧問的頭銜，但費馬小的時候並沒有因為家境的富裕而產生多少優越感。費馬的母親名叫克拉萊·德·羅格，出身穿袍貴族。多米尼克的大富與羅格的大貴族構築了費馬極富貴的身價。
費馬小時候受教於他的叔叔皮埃爾，受到了良好的啟蒙教育，培養了他廣泛的興趣和愛好，對他的性格也產生了重要的影響。直到14歲時，費馬才進入博蒙·德·洛馬涅公學，畢業後先後在奧爾良大學和土魯斯大學學習法律。
17世紀的法國，男子最講究的職業是當律師，因此，男子學習法律成為時髦，也使人敬羨。有趣的是，法國為那些有產的而缺少資歷的“準律師”儘快成為律師創造了很好的條件。1523年，佛朗期瓦一世組織成立了一個專門鬻賣官爵的機關，公開出售官職。這種官職鬻賣的社會現象一經產生，便應時代的需要而一發不可收拾，且彌留今日。
鬻賣官職，一方面迎合了那些富有者，使其獲得官位從而提高社會地位，另一方面也使政府的財政狀況得以好轉。因此到了17世紀，除宮廷官和軍官以外的任何官職都可以買賣了。直到今日，法院的書記官、公證人、傳達人等職務，仍沒有完全擺脫買賣性質。法國的買官特產，使許多中產階級從中受惠，費馬也不例外。費馬尚沒有大學畢業，便在博蒙·德·洛馬涅買好了“律師”和“參議員”的職位。等到費馬畢業返回家鄉以後，他便很容易地當上了土魯斯議會的議員，時值1631 年。
儘管費馬從步入社會直到去世都沒有失去官職，而且逐年得到提升，但是據記載，費馬並沒有什麼政績，應付官場的能力也極普通，更談不上什麼領導才能。不過，費馬並未因此而中斷升遷。在費馬任了七年地方議會議員之後，升任了調查參議員，這個官職有權對行政當局進行調查和提出質疑。
1642年，有一位權威人士叫勃里斯亞斯，他是最高法院顧問。勃里斯亞斯推薦費馬進入了最高刑事法庭和法國大理院主要法庭，這使得費馬以後得到了更好的升遷機會。1646年，費馬升任議會首席發言人，以後還當過天主教聯盟的主席等職。費馬的官場生涯沒有什麼突出政績值得稱道，不過費馬從不利用職權向人們勒索、從不受賄、為人敦厚、公開廉明，贏得了人們的信任和稱讚。
費馬的婚姻使費馬躋身於穿袍貴族的行列，費馬娶了他的舅表妹露伊絲·德·羅格。原本就為母親的貴族血統而感驕傲的費馬，如今乾脆在自己的姓名上加上了貴族姓氏的標誌“de”。
費馬生有三女二男，除了大女兒克拉萊出嫁之外，四個子女都使費馬感到體面。兩個女兒當上了牧師，次子當上了菲瑪雷斯的副主教。尤其是長子克萊曼特·薩摩爾，他不僅繼承了費馬的公職，在1665年當上了律師，而且還整理了費馬的數學論著。如果不是費馬長子積極出版費馬的數學論著，很難說費馬能對數學產生如此重大的影響，因為大部分論文都是在費馬死後，由其長子負責發表的。從這個意義上說，薩摩爾也稱得上是費馬事業上的繼承人。
對費馬來說，真正的事業是學術，尤其是數學。費馬通曉法語、義大利語、西班牙語、拉丁語和希臘語，而且還頗有研究。語言方面的博學給費馬的數學研究提供了語言工具和便利，使他有能力學習和了解阿拉伯和義大利的代數以及古希臘的數學。正是這些，可能為費馬在數學上的造詣莫定了良好基礎。在數學上，費馬不僅可以在數學王國里自由馳騁，而且還可以站在數學天地之外鳥瞰數學。這也不能絕對歸於他的數學天賦，與他的博學多才多少也是有關係的。
費馬生性內向，謙抑好靜，不善推銷自己，不善展示自我。因此他生前極少發表自己的論著，連一部完整的??埋名。《數學論集》還是費馬去世後由其長子將其筆記、批註及書信整理成書而出版的。我們現在早就認識到時間性對於科學的重要，即使在l7世紀，這個問題也是突出的。費馬的數學研究成果不及時發表，得不到傳播和發展，並不完全是個人的名譽損失，而是影響了那個時代數學前進的步伐。
費馬一生身體健康，只是在1652年的瘟疫中險些喪命。1665年元旦一過，費馬開始感到身體有變，因此於1月l0日停職。第三天，費馬去世。費馬被安葬在卡斯特雷斯公墓，後來改葬在土魯斯的家族墓地中。
費馬一生從未受過專門的數學教育，數學研究也不過是業餘之愛好。然而，在17世紀的法國還找不到哪位數學家可以與之匹敵：他是解析幾何的發明者之一；對於微積分誕生的貢獻僅次於牛頓、萊布尼茨，機率論的主要創始人，以及獨承17世紀數論天地的人。此外，費馬對物理學也有重要貢獻。一代數學大才費馬堪稱是 17世紀法國最偉大的數學家。
17世紀伊始，就預示了一個頗為壯觀的數學前景。而事實上，這個世紀也正是數學史上一個輝煌的時代。幾何學首先成了這一時代最引入注目的引玉之明珠，由於幾何學的新方法—代數方法在幾何學上的套用，直接導致了解析幾何的誕生；射影幾何作為一種嶄新的方法開闢了新的領域；由古代的求積問題導致的極微分割方法引入幾何學，使幾何學產生了新的研究方向，並最終促進了微積分的發明。幾何學的重新崛起是與一代勤于思考、富於創造的數學家是分不開的，費馬就是其中的一位。
對解析幾何的貢獻
費馬獨立於笛卡兒發現了解析幾何的基本原理。
1629年以前，費馬便著手重寫公元前三世紀古希臘幾何學家阿波羅尼奧斯失傳的《平面軌跡》一書。他用代數方法對阿波羅尼奧斯關於軌跡的一些失傳的證明作了補充，對古幾何學，尤其是阿波羅尼奧斯圓錐曲線論進行了總結和整理，對曲線作了一般研究。並於1630年用拉丁文撰寫了僅有八頁的論文《平面與立體軌跡引論》。
費馬於1636年與當時的大數學家梅森、羅貝瓦爾開始通信，對自己的數學工作略有言及。但是《平面與立體軌跡引論》的出版是在費馬去世14年以後的事，因而1679年以前，很少有人了解到費馬的工作，而現在看來，費馬的工作卻是開創性的。
《平面與立體軌跡引論》》中道出了費馬的發現。他指出：“兩個未知量決定的—個方程式，對應著一條軌跡，可以描繪出一條直線或曲線。”費馬的發現比笛卡爾發現解析幾何的基本原理還早七年。費馬在書中還對一般直線和圓的方程、以及關於雙曲線、橢圓、拋物線進行了討論。
笛卡兒是從一個軌跡來尋找它的方程的，而費馬則是從方程出發來研究軌跡的，這正是解析幾何基本原則的兩個相反的方面。
在1643年的一封信里，費馬也談到了他的解析幾何思想。他談到了柱面、橢圓拋物面、雙葉雙曲面和橢球面，指出：含有三個未知量的方程表示一個曲面，並對此做了進一步地研究。
對微積分的貢獻
16、17世紀，微積分是繼解析幾何之後的最璀璨的明珠。人所共知，牛頓和萊布尼茨是微積分的締造者，並且在其之前，至少有數十位科學家為微積分的發明做了奠基性的工作。但在諸多先驅者當中，費馬仍然值得一提，主要原因是他為微積分概念的引出提供了與現代形式最接近的啟示，以致於在微積分領域，在牛頓和萊布尼茨之後再加上費馬作為創立者，也會得到數學界的認可。
曲線的切線問題和函式的極大、極小值問題是微積分的起源之一。這項工作較為古老，最早可追溯到古希臘時期。阿基米德為求出一條曲線所包任意圖形的面積，曾藉助於窮竭法。由於窮竭法繁瑣笨拙，後來漸漸被人遺忘、直到16世紀才又被重視。由於克卜勒在探索行星運動規律時，遇到了如何確定橢圓形面積和橢圓弧長的問題，無窮大和無窮小的概念被引入並代替了繁瑣的窮竭法。儘管這種方法並不完善，但卻為自卡瓦列里到費馬以來的數學家開闢廠一個十分廣闊的思考空間。
費馬建立了求切線、求極大值和極小值以及定積分方法，對微積分做出了重大貢獻。
對機率論的貢獻
早在古希臘時期，偶然性與必然性及其關係問題便引起了眾多哲學家的興趣與爭論，但是對其有數學的描述和處理卻是15世紀以後的事。l6世紀早期，義大利出現了卡爾達諾等數學家研究骰子中的博弈機會，在博弈的點中探求賭金的劃分問題。到了17世紀，法國的帕斯卡和費馬研究了義大利的帕喬里的著作《摘要》，建立了通信聯繫，從而建立了機率學的基礎。
費馬考慮到四次賭博可能的結局有2×2×2×2＝16種，除了一種結局即四次賭博都讓對手贏以外，其餘情況都是第一個賭徒獲勝。費馬此時還沒有使用機率一詞，但他卻得出了使第一個賭徒贏得機率是15／16，即有利情形數與所有可能情形數的比。這個條件在組合問題中一般均能滿足，例如紙牌遊戲，擲銀子和從罐子裡模球。其實，這項研究為機率的數學模型一機率空間的抽象奠定了博弈基礎，儘管這種總結是到了1933年才由柯爾莫戈羅夫作出的。
費馬和帕斯卡在相互通信以及著作中建立了機率論的基本原則——數學期望的概念。這是從點的數學問題開始的：在一個被假定有同等技巧的博弈者之間，在一個中斷的博弈中，如何確定賭金的劃分，已知兩個博弈者在中斷時的得分及在博弈中獲勝所需要的分數。費馬這樣做出了討論：一個博弈者A需要4分獲勝，博弈者B需要3分獲勝的情況，這是費馬對此種特殊情況的解。因為顯然最多四次就能決定勝負。
一般機率空間的概念，是人們對於概念的直觀想法的徹底公理化。從純數學觀點看，有限機率空間似乎顯得平淡無奇。但一旦引入了隨機變數和數學期望時，它們就成為神奇的世界了。費馬的貢獻便在於此。
對數論的貢獻
17世紀初，歐洲流傳著公元三世紀古希臘數學家丟番圖所寫的《算術》一書。l621年費馬在巴黎買到此書，他利用業餘時間對書中的不定方程進行了深入研究。費馬將不定方程的研究限制在整數範圍內，從而開始了數論這門數學分支。
費馬在數論領域中的成果是巨大的，其中主要有：
(1)全部素數可分為4n+1和4n+3兩種形式。
(2)形如4n+1的素數能夠，而且只能夠以一種方式表為兩個平方數之和。
(3)沒有一個形如4n+3的素數，能表示為兩個平方數之和。
(4)形如4n+1的素數能夠且只能夠作為一個直角邊為整數的直角三角形的斜邊；4n+1的平方是且只能是兩個這種直角三角形的斜邊；類似地，4n+1的m次方是且只能是m個這種直角三角形的斜邊。
(5)邊長為有理數的直角三角形的面積不可能是一個平方數。
(6)4n+1形的素數與它的平方都只能以一種方式表達為兩個平方數之和；它的3次和4次方都只能以兩種表達為兩個平方數之和；5次和6次方都只能以3種方式表
對光學的貢獻
費馬在光學中突出的貢獻是提出最小作用原理，也叫最短時間作用原理。這個原理的提出源遠流長。早在古希臘時期，歐幾里得就提出了光的直線傳播定律相反射定律。後由海倫揭示了這兩個定律的理論實質——光線取最短路徑。經過若干年後，這個定律逐漸被擴展成自然法則，並進而成為一種哲學觀念。—個更為一般的“大自然以最短捷的可能途逕行動”的結論最終得出來，並影響了費馬。費馬的高明之處則在於變這種的哲學的觀念為科學理論。
費馬同時討論了光在逐點變化的介質中行徑時，其路逕取極小的曲線的情形。並用最小作用原理解釋了一些問題。這給許多數學家以很大的鼓舞。尤其是歐拉，競用變分法技巧把這個原理用於求函式的極值。這直接導致了拉格朗日的成就，給出了最小作用原理的具體形式：對一個質點而言，其質量、速度和兩個固定點之間的距離的乘積之積分是一個極大值和極小值；即對該質點所取的實際路徑來說，必須是極大或極小。
費馬大定理是否存在初等數學證明的問題
費馬在提出費馬大定理猜想後曾經說他對這個猜想有一個簡單的證明，但由於他閱讀的一本書空白處太小，寫不下這個證明，因此費馬的那個證明沒有流傳下來。費馬的證明如果真的存在，那應該是一個初等數學證明。大數學家歐拉也很想解決費馬大定理問題，但他在給出n=3的證明後 ，試圖給出一般性的證明即n趨向無窮大的證明時卻遭遇失敗，這使歐拉這樣絕頂聰明的數學天才在費馬大定理問題面前也敗下陣來。在無奈之下，歐拉只好請他的法國朋友在費馬居住過的房間尋找一下費馬閱讀過的書籍，看看能不能找到費馬聲稱已經解決了費馬大定理問題的一點線索，但歐拉的法國朋友一點蛛絲馬跡都沒有找到，因此費馬大定理問題究竟存不存在初等數學證明就成了數學史上的懸案。時間到了1993年，美國普林斯頓大學的數學家懷爾斯聲稱解決了費馬大定理問題，而懷爾斯使用的方法是現代社會才剛剛創立的橢圓曲線理論、模形式等高深莫測的數學知識，據說全世界能掌握這種超前數學知識的人只有屈指可數的五六個人，因此懷爾斯給出的證明當然就不屬於大多數人能看懂的初等數學證明了。已故著名數學家陳省身堅決支持懷爾斯，陳大師在《中國的數學》演講中以懷爾斯的證明為例說費馬大定理問題不存在初等證明，尋找初等證明是徒勞的，至此，數學權威已經完全否定了費馬大定理問題存在初等數學證明的可能性。不過事物往往不是絕對的，解決問題的方法也絕對不是唯一的，武斷的斷言往往會得出錯誤的判斷。昆明市富民縣永定街道辦劉坤就給出了費馬大定理的初等證明，也就是大多數數學愛好者都能看懂的證明。
社會評價
史上最精彩的一個數學謎題。
證明費馬大定理的過程是一部數學史。
費馬大定理起源於三百多年前，挑戰人類3個世紀，多次震驚全世界，耗盡人類眾多最傑出大腦的精力，也讓千千萬萬業餘者痴迷。
這是“20世紀最輝煌的數學成就”。（中科院院士、北大數學院教授姜伯駒，評價安德魯·懷爾斯對費馬大定理的證明）
世界三大數學猜想
| 名詞 | 圖片 | 簡介 |
|---|---|---|
| 費馬大定理 |  費馬猜想 | 費馬大定理，又被稱為“費馬最後的定理”，由17世紀法國數學家皮耶·德·費瑪提出。它斷言當整數n >2時，關於x, y, z的方程 x^n + y^n = z^n 沒有正整數解。1995年被英國數學家安德魯·懷爾斯徹底證明。 |
| 四色定理 |  四色定理 | 四色問題的內容是：“任何一張平面地圖只用四種顏色就能使具有共同邊界的國家著上不同的顏色。”用數學語言表示，即“將平面任意地細分為不相重疊的區域，每一個區域總可以用1，2，3，4這四個數字之一來標記，而不會使相鄰的兩個區域得到相同的數字。”1852年由弗南西斯·格思里提出。 |
| 哥德巴赫猜想 |  哥德巴赫猜想 | 1742年6月7日，德國數學家哥德巴赫在寫給著名數學家歐拉的一封信中，提出了兩個大膽的猜想： 1、任何不小於4的偶數，都可以是兩個質數之和（如：4=2+2）； 2、任何不小於7的奇數，都可以是三個質數之和（如：7=2+2+3）。 |
