費瑪定理

費馬定理，由法國數學家費馬提出。它斷言當整數n >2時，關於x, y, z的方程 x^n + y^n = z^n 沒有正整數解。被提出後，經歷多人猜想辯證，歷經三百多年的歷史，最終在1995年被英國數學家安德魯·懷爾斯證明。

1993年6月，英國數學家安德魯·懷爾斯宣稱證明：對有理數域上的一大類橢圓曲線，“谷山—志村猜想”成立。由於他在報告中表明了弗雷曲線恰好屬於他所說的這一大類橢圓曲線，也就表明了他最終證明了“費馬大定理”；但專家對他的證明審察發現有漏洞。懷爾斯不得不努力修復著一個看似簡單的漏洞。

懷爾斯和他以前的博士研究生理察·泰勒用了近一年的時間，用之前一個懷爾斯曾經拋棄過的方法修補了這個漏洞，這部份的證明與岩澤理論有關。這就證明了谷山-志村猜想，從而最終證明了費馬大定理。他們的證明刊在1995年的《數學年刊》（Annals of Mathematics）之上。懷爾斯因此獲得1998年國際數學家大會的特別榮譽，一個特殊製作的菲爾茲獎銀質獎章。