費馬大定理（（Fermat's Last Theorem）又被稱為“費馬猜想”，是指：不存在三個正整數x,y,z使得n大于2時，方程x^n + y^n = z^n（即費馬方程）有解。這是法國數學家彼埃爾·德·費馬(Pierre de Fermat)于1637年提出的著名數學難題。
費馬被稱為近代數論之父，他一生都在鉆研古代的經典著作，表述了許多數學定理。這些定理于1840年左右相繼被證明，其中僅剩下費馬大定理還未被證明，所以，該定理也被稱為費馬最后定理。
無數數學家嘗試證明該命題但都以失敗告終，直到命題提出358年后的1994年，英國數學家安德魯·懷爾斯(Andrew Wiles)才成功完成證明，并于1995年在《數學年刊》上發表了論文《模橢圓曲線與費馬大定理》，為這一數學難題畫上句號。
費馬大定理引導和促進了理想素數論、代數幾何等學科的創立與發展。在費馬大定理的證明過程中，為數學研究提供了很多有價值的思路和方法，它的相關理論也被廣泛應用于其他數學領域和科學領域。
定理內容
一般地講，當時，一個整數的次冪不可能表示為兩個整數的同冪次之和。即對于，當時，除平凡解外，不定方程無全正整數解。
費馬大定理包含兩層意義：
（1）當（為任意奇素數時），中一定有一個不為整數；
（2）當時，出現兩個方程，，若為正整數，則必須不為整數，因此不為整數。
這兩層含義也給出了費馬大定理的證明思路，即只要證明當時，不為整數即可。
歷史
1637年，費馬在研讀古希臘數學家丟番圖（Diophantus）的《算術》拉丁文譯本時，在書空白處寫下了一句話："一般地，一個次數大于2的方冪不可能表為兩個同次方冪之和"。他還聲稱自己已經找到一個"真正奇妙的證明"，但因為頁邊空白太窄而無法寫下，后來被稱為費馬大定理。
1832年左右，德國數學家庫默爾（德語：Ernst Eduard Kummer）引入理想數和分圓數，開創理想數域論，使費馬大定理的證明取得了突飛猛進的發展。
1955年，在東京舉辦的國際學術討論會上，日本人谷山（Taniyama）和志村（Shimura）提出一個猜想：有理數域上的橢圓曲線都是模曲線。
1986年，德國數學家符萊(G.Frey)把費馬大定理與橢圓曲線聯起來，按照符萊所作的對應，從谷山志村猜想（Taniyama-Shimura theorem）可以推出費馬大定理，而1990年李貝(K.Ribet)證明了符萊的這一想法。
1993年，英國數學家安德魯·懷爾斯（Andrew Wiles）公布了一套關于費馬大定理的證明，但因報告長達二百多頁，在送交審查時，人們發現證明中存在漏洞。1994年9月，他補上了全部漏洞，并通過了權威部門的嚴格審查。懷爾斯的證明中使用了形變環與赫克代數等同起來的方法（現稱為R=T定理），這一方法可以證明模性提升定理，并有力推動了代數數論的發展。1995年5月，美國《數學年刊》的41卷第3期全面登載了懷爾斯關于費馬大定理的兩篇論文，自此費馬大定理終于獲得圓滿證明，懷爾斯本人也因此成就獲得沃爾夫獎，并在1998年柏林國際數學大會上被授予特別獎。
費馬大定理指的是：當時不定方程其中為自由未知量，除平凡解外，沒有正整數解。
當 時，費馬大定理公式具有無窮多的解，即：這個方程叫做勾股定理。勾股定理是平面幾何中的一個重要定理，它描述了直角三角形中三邊之間的關系。
費馬小定理（Fermat's Little Theorem）是一條數論定理，由法國數學家費馬在17世紀提出，它表述為：如果p是一個質數而a是p的整數倍數，則：
費馬小定理指出，在模p意義下，a的p次方與a本身同余。這個定理雖然看起來比費馬大定理簡單，但其實在數論和密碼學中有著廣泛的應用，利用費馬小定理，可以快速求出一個數的模p意義下的倒數、冪和階等性質。同時，在密碼學中，費馬小定理被用于實現一些非對稱算法中的加密和解密操作。比如，RSA加密算法中，密鑰的生成就依賴于兩個較大質數的費馬小定理性質。
歐拉定理（Euler's Theorem）是由瑞士數學家萊昂哈德·歐拉（Leonhard Euler）在18世紀提出的，它表述為：如果a、n是正整數且互質，則。其中，是n的歐拉函數，表示小于等于n的所有正整數中與n互質的數的個數。
舉個例子，假設a=3，n=7，那么a和n互質，因為它們沒有共同的質因子。接下來，我們需要通過歐拉函數計算出φ(7)的值。小于等于7且與7互質的正整數有{1,2,3,4,5,6}，因此φ(7)=6。帶入歐拉定理公式，得到。
歐拉定理的意義在于它提供了一種快速計算 的方法，其中k是一個大的正整數。通過歐拉定理，我們可以先求出φ(n)，再計算出 ，這樣就可以利用模重復平方的方法快速計算 的值，最后我們可以利用歐拉定理的無窮遞降法得出存在整數解的矛盾，從而證明費馬大定理。
費馬大定理的公式中，如果當n取負數時，費馬大定理無法適用，但當n為負整數時，同樣不存在正整數解，至于n為其他有理數的情況，比如當n=0時，也是無解的。
證明
代數證明
證明：當n大于2時，n是2的冪或能被奇數p整除，當n是2的冪時，n=4k ，方程無正整數解，當n=pk時，可化為因為p是奇數，所以只須證明n=奇數。
設x，y 是任意正整數，x >y ，n>2 奇數，設
將兩邊開n次方得：
因為x，y是任意正整數所以是正有理小數。
因為無理數，所以無理數。
所以無正整數解。費馬大定理證明完成。
幾何證明
費馬大定理幾何證明的基本思路是構造一個滿足“最短網絡”條件的三角形，從而證明費馬大定理成立。
首先，我們需要明確費馬大定理所斷言的問題：對于給定的三個點 A、B、C，假設它們的連線長度分別為a、b、c，要找到一個點 P，使得AP、BP、CP相加的長度最小。即，AP+BP+CP的值最小。
我們在三角形ABC的內部構造一條直線，使得直線上每一點到點A、點B的距離之和等于它到點C的距離。這條直線被稱為斯特里克蘭線。
在斯特里克蘭線上找到點P，使得AP、BP、CP相加的長度最小。這里需要采用數學計算方法，利用極值的概念求解。
對比費馬大定理的問題和我們構造的問題，可以發現它們的形式是一樣的。我們只需要證明斯特里克蘭線上的點P就是費馬點，即AP+BP+CP的值最小。
利用反證法，假設在斯特里克蘭線上有一點P'，使得AP'+BP'+CP'的值比AP+BP+CP的值更小。我們將P' 在斯特里克蘭線上的投影點記為Q。
因為P'在斯特里克蘭線上，所以AQ=AP'+P'Q，BQ=BP'+P'Q，CQ=CP'-P'Q。
對于AP'+BP'+CP'的值比AP+BP+CP的值更小這個假設來說，AQ+BQ+CQ的值也必須更小，即
AQ+BQ+CQ < AP+BP+CP
將AQ、BQ、CQ分別展開，用AP'、BP'、CP'表示出來，并利用勾股定理和余弦定理推導出矛盾。
模論證明
費馬大定理的模論證明是在模p下進行的，其中p是一個不為2或5的素數，利用反證法，假設費馬大定理不成立，即存在整數解：
，其中且。然后我們就可以用反證法證明費馬大定理在模p的情況下成立。
其中且。
即a是b在模p下的逆元。此時我們將分別乘以次方。這樣有：
其中，, ，。
同理有
其中 。因為 n > 2，所以 s≥1，即n-1的二進制表示中至少有兩個1。
其中，最后一步是通過展開，然后通過遞歸展開得到的。
把a=xyz代入
這樣就出現了矛盾，因此假設不成立，費馬大定理在模p的情況下成立。
相關定理
勾股定理
當 時，費馬大定理公式具有無窮多的解，即：這個方程叫做勾股定理。勾股定理是平面幾何中的一個重要定理，它描述了直角三角形中三邊之間的關系。
費馬小定理
費馬小定理（Fermat's Little Theorem）是一條數論定理，由法國數學家費馬在17世紀提出，它表述為：如果p是一個質數而a是p的整數倍數，則：
費馬小定理指出，在模p意義下，a的p次方與a本身同余。這個定理雖然看起來比費馬大定理簡單，但其實在數論和密碼學中有著廣泛的應用，利用費馬小定理，可以快速求出一個數的模p意義下的倒數、冪和階等性質。同時，在密碼學中，費馬小定理被用于實現一些非對稱算法中的加密和解密操作。比如，RSA加密算法中，密鑰的生成就依賴于兩個較大質數的費馬小定理性質。
歐拉定理
歐拉定理（Euler's Theorem）是由瑞士數學家萊昂哈德·歐拉（Leonhard Euler）在18世紀提出的，它表述為：如果a、n是正整數且互質，則。其中，是n的歐拉函數，表示小于等于n的所有正整數中與n互質的數的個數。
舉個例子，假設a=3，n=7，那么a和n互質，因為它們沒有共同的質因子。接下來，我們需要通過歐拉函數計算出φ(7)的值。小于等于7且與7互質的正整數有{1,2,3,4,5,6}，因此φ(7)=6。帶入歐拉定理公式，得到。
歐拉定理的意義在于它提供了一種快速計算 的方法，其中k是一個大的正整數。通過歐拉定理，我們可以先求出φ(n)，再計算出 ，這樣就可以利用模重復平方的方法快速計算 的值，最后我們可以利用歐拉定理的無窮遞降法得出存在整數解的矛盾，從而證明費馬大定理。
費馬方程的推廣
廣義費馬方程
廣義費馬方程考慮滿足以下條件的正整數解
與費馬大定理不同的是，此處可以不全相等。費馬大定理考慮的是的情況。
比爾猜想指出，當時，不存在滿足方程的正整數解。
Fermat–Catalan猜想指出，廣義費馬方程只有有限多個解且具有不同的三重值,其中和為正整數且滿足
該猜想已知解有十個，體現了解集的有限性。
反費馬方程
對于費馬大定理中的方程，當指數是一個整數的倒數時，即對于某個整數，，就可以得到反費馬方程.該方程的所有解均由亨德里克-倫斯特拉（Hendrik Lenstra）于 1992 年計算得出。在第 m 次根必須為實數且為正數的情況下，所有解均由以下公式給出
，其中均為正整數，且互素。
指數為有理數的情況
對于丟番圖方程，Bennett, Glass, 和Székely在2004年證明了時，如果和互素，方程存在整數解。
負整數指數的情況
n=-1
光學方程的所有整數解（沒有共有的質因子）可寫成如下形式
其中，為互質的正整數。
n=-2
的情況有無窮多個解，這些解的幾何解釋為整數邊，到斜邊高為整數的直角三角形。正整數解可表示為
其中，為互質整數，且.幾何解釋為和是直角三角形的整數邊，是斜邊的整數高。那么斜邊就是整數.
n<-2
對于，方程沒有整數解。假設方程有解，方程乘以得到，與費馬大定理矛盾。
應用
在費馬大定理的證明過程中，為數學研究提供了很多有價值的思路和方法。此外，它的相關理論也被廣泛應用于其他數學領域和科學領域。
素數判定
費馬大定理具有素數判定的功能。對于某個自然數 和任意整數 ，如果 ，那么 是素數的概率很高。這個方法被稱為費馬小定理。
密碼學中的應用
橢圓曲線加密算法和RSA加密算法都使用了費馬大定理相關的數學理論和方法，這些算法在計算機網絡安全領域得到了廣泛應用，比如，車聯網安全通信方案，利用費馬定理的非對稱加密技術，采用ECC和AES結合的混合加密方案，信道編碼部分采用QR碼，使之對于短碼通信有著比LDPC更高的編碼效率和更加安全。
數學其他領域的應用
費馬大定理的相關理論在代數幾何、代數、模形式等領域得到了應用。例如，安德魯·懷爾斯證明費馬大定理時使用的模橢圓曲線理論就是在研究這個問題時發展起來的。
意義
費馬大定理的證明過程展示了數學思想的創新和發展，它不僅僅是為了得出新的結論，更為重要的是對數學的發展產生了巨大的推動作用。1816年和1850年，法國科學院都為費馬大定理的普遍證明頒發獎金。
例如，在費馬大定理的證明過程中，數學家庫默爾受費馬問題的啟發，引入了理想數的概念，并創造了理想質數的惟一分解定理。這個定理在任意代數數域中都占有重要的中心地位，推動了近代數論的發展。另外，英國數學家安德魯·懷爾斯也通過證明費馬大定理，推動了模橢圓曲線理論中的研究，拓展了數學領域的邊界。
證明費馬大定理還需要進行學術交流和合作。懷爾斯證明費馬大定理時是在與泰勒一起的基礎上完成的，這也表明學術交流與合作是非常重要的，常常是創新思維的產生或突破難點的催產素。學科之間的交叉也至關重要。創造良好的學術交流環境同樣是值得重視的。
費馬大定理的證明體現了數學家追求真理、嚴謹科學的理性態度，同時也蘊含著數學本身就是一種鍥而不舍、勇于創新的探索精神。因此，在今天的數學教育中，我們需要從數學的角度逐漸融入數學人文價值觀，使數學教育為整個民族承擔起提升實事求是科學態度和勇于探索創新意識的重任。
參考資料 >