フェルマーの最終定理
フェルマーの最終定理（フェルマーのさいしゅうていり、Fermat's Last Theorem）とは、 以上の自然数 について、 となる自然数の組 は存在しない、という定理のことである。フェルマーの大定理とも呼ばれる。フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、360年後にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理あるいはフェルマー・ワイルズの定理とも呼ばれるようになった。
17世紀フランスの数学者ピエール・ド・フェルマー（1601年 - 1665年）は、古代ギリシアの数学者ディオファントスの著作『算術』を読み、本文中の記述に関連した着想を得ると、それを余白に書き残しておくという習慣を持っていた。それらは数学的な定理あるいは予想であったが、限られた余白への書き込みであるため、また充分な余白がある場合にも、フェルマーはその証明をしばしば省略した（たとえばフェルマーの小定理として知られる書き込みを実際に証明したのはライプニッツである）。
48か所に及ぶこれらの書き込みが知られるようになったのは、フェルマーの没後、彼の息子サミュエルによって、フェルマーの書き込み入りの『算術』が刊行されてからである。
第2巻第8問「平方数を2つの平方数の和に表せ」の欄外余白に、フェルマーは
と書き残した。彼の残した他の書き込みは、全て真か偽かの決着がつけられたが、最後まで残ったこの予想だけは、誰も証明することも反例を挙げることもできなかった。そのため「フェルマーの最終定理」と呼ばれるようになった。内容自体は三平方の定理程度の知識があれば理解できるものであったため、プロ・アマチュアを問わず、無数の数学者がその証明に挑んだ。見事に証明した者には、賞金を与えるという話も出てきて、フェルマーの最終定理の存在が、一般にも徐々に知られるようになっていった。
が具体的な値を取るいくつかの場合についてはさまざまな証明が与えられた。
フェルマー自身の証明は、ディオファントスの『算術』に記された45番目の書き込みに含まれている。フェルマーは以下の手法、法則、定理を使い証明した。
フェルマーによる証明は後にオイラーによって簡潔な形で直される。
オイラーは1753年にゴールドバッハへ宛てた書簡の中で の場合の証明法について言及し、1760年に純初等的で完全な証明を得た。さらに、1770年に刊行した著書『代数学』（"Vollständige Anleitung zur Algebra"）ではその証明とは異なり（複素数を用いる）エレガントながら不完全な証明を公開した。ただし、この2番目の証明は虚数のレベル、具体的には の形の数まで因数分解を行ったもので、現代の言葉で言えば、整数環 formula_1 で因数分解を行うものであったが、この整数環では素因数分解の一意性が成立しない（一意分解環ではない）という不備があったので、のちに の代わりに 1の原始3乗根 formula_2 を付加した整数環 formula_3 （これは円分体 formula_4 の整数環でもあり、素因数分解の一意性が成り立つ）を使うことで修正された。
1823年にソフィ・ジェルマンは、フェルマー予想を奇素数 に対して、 において、
という2つのケースに分類し、 と が共に素数の場合について、「第一の場合」に関してはフェルマー予想が正しいことを証明した：
例えば、 のとき、 は素数なので、ソフィ・ジェルマンの定理よりフェルマー予想の「第一の場合」は指数 に対して正しい。
1825年に「第二の場合」も含めて の場合を完全に証明したのはディリクレとルジャンドルである。
ジェルマンまでは（そしてジェルマン以降も当面は）「 のとき」あるいは「 のとき」といった個別研究の域を出なかったこの問題に対し、解の条件が「第一の場合」に限られているとはいえ包括的な証明を与えようとした点において、ジェルマンの研究成果の意義はきわめて大きい。
1832年にディリクレは の場合を証明したが、上述の通り が素数である場合の方が肝要なので、これは の場合を証明するための途中経過であった。しかし実際に の場合を証明したのはラメ（1839年）と、ラメの証明に含まれていた誤りを訂正したヴィクトル・ルベーグ（1840年）であった。
1847年、ラメは「フェルマー予想の一般的解法を発見した」と発表し、同じ解法を自分の方が先に発見していたと主張するコーシーとの間で論争にまでなった。しかしこの解法とは の左辺を複素数で素因子分解するというものであり、この分解は一意的なものでないためこの問題に関する解法たりえていないことが指摘される。
また、 の場合についてのラメの証明があまりにも複雑なものだったため、同様の手法で や の場合について研究してみようと思う者はいなくなり、個別研究の時代は終わる。
コーシーとラメが争っていたのと同じ頃、エルンスト・クンマーが自ら打ち立てた理想数の理論（後にデデキントがイデアルの理論として発展させる）を導入する。これにより、多くの素数において一意的な因数分解が可能となり、 が正則素数である（もしくは正則素数で割り切れる）全ての場合については証明がなされた。虚数レベルでの一意的な因数分解が不可能な非正則素数も無限に存在するが、クンマーは 以下の非正則素数（ の 3 個しかない）についてはそれぞれ個別に研究して解決した。その結果、 までの全ての奇素数 について（当然 以下の奇素数を約数に持つ全ての についても）フェルマー予想が成り立つことが証明され、それまでの個別研究からこの問題は大きく飛躍した。
1857年、フランス科学アカデミーは、1816年に設けたまま受賞者の出なかった「フェルマー予想の証明者」のための懸賞金を（最終的解決でないことを承知の上で）クンマーに与えた。1874年、クンマーは 101 から 163 までの指数について計算を実行し、新たに 101, 103, 131, 149, 157 の 5 個が非正則素数であることを示した。
ポアンカレは複素平面上の関数についての研究から、保型形式およびそのアイディアをさらに展開したモジュラー形式を案出する。
ファルティングスによるモーデル予想の解決（1983年）により、フェルマー方程式 が整数解をもつならば（つまりフェルマー予想が誤りならば）その解の個数は本質的に有限個しかないことが証明される。この「有限個」が「実は 0 個」であることが示されればフェルマー予想は証明できたことになるが、この方向からの絞り込みには行き詰まりが指摘されていた。ともあれ、この時点でフェルマー予想が「ほとんど全ての場合について正しい」ことが判明したと言うことはできた。
1955年9月、日光で開催された整数論に関する国際会議で、谷山豊が提出した幾つかの「問題」を原型とする数学の予想が谷山・志村予想である。そこでは楕円曲線とモジュラー形式の間の深い関係が示唆されており、後に志村五郎によって定式化された。「すべての楕円曲線はモジュラーである」という、発表当時は注目を引かなかったこの谷山–志村予想（今となっては証明されているが）が、のちにフェルマー予想の証明に大きな役割を果たすこととなる。
実はこの前年の1954年、ある保型形式に関するラマヌジャン予想の一部をアイヒラーが証明していた。そこでは「解析的ゼータ＝代数的ゼータ」が示されており、谷山・志村予想の最初の実例と呼べるものだった。
このラマヌジャン予想→谷山–志村予想→ラングランズ予想→超ラングランズ予想という一連の流れ（ゼータの統一）は数論の中心的テーマの一つとなっている。
1984年にフライはフェルマーの最終定理に対する反例 からはモジュラーでない楕円曲線（フライ曲線）：
が得られ、これは谷山–志村予想に対する反例を与えることになるというアイディアを提示。セールによって定式化されたこの予想はフライ・セールのイプシロン予想と呼ばれ、1986年にケン・リベットによって証明された。
これらの経過は以下のように整理することができる。
つまり、谷山・志村予想が証明されたならば、それはフェルマーの最終定理が証明されたことをも意味するのである。
プリンストン大学にいたイギリス生まれの数学者アンドリュー・ワイルズは岩澤主予想 () を解決するなどして、元々数論の研究者として有名な人物であった。彼は10歳当時に触れたフェルマー予想に憧れて数学者となったが、プロとなってからは子供時代の夢は封印し、フェルマー予想のような孤立した骨董品ではなく主流数学の研究に勤しんでいた。ところが1986年、ケン・リベットがフライ・セール予想を解決したことにより、フェルマー予想に挑むことは、主流数学の一大予想に挑むことと同義になってしまった。かつての憧れだったものが、今や骨董品どころか解かずには済まされない中心課題の一つになったのである。ワイルズはこのことに強い衝撃を受け発奮、正にフェルマー予想の解決を目的として、他の研究を全て止めて谷山–志村予想に取り組むこととなった。ただしこの際、彼は人々の耳目を集め過ぎることを懸念して、表面的には未発表の研究成果を小出しにすることで偽装し、谷山・志村予想の研究は秘密裏に遂行することとした。
ワイルズは、代数幾何学（特に楕円曲線と）や数論（モジュラー形式やガロア表現、ヘッケ環、岩澤理論）の高度な道具立てを用いて証明を試みたが、類数公式の導出に当たり岩澤理論を用いる方向では行き詰まってしまった。そこでコリヴァギン＝フラッハ法（ヴィクター・コリヴァギンとマティアス・フラッハの方法）に基づくよう方針転換し、最後のレビュー段階でプリンストンの同僚ニック・カッツの助けを得るまで、細部に至るまでの証明を完璧な秘密のうちにほぼすべて独力で成し遂げた（ここまでで7年が経過していた）。彼がケンブリッジ大学で1993年の6月21日から23日にかけて3つの講義からなるコースで証明を発表したとき、聴衆は証明に使われた数々の発想と構成に驚愕した。
ただし、その後の査読において、ワイルズの証明には1箇所致命的な誤りがあることが判明した。この修正は難航したが、ワイルズは彼の教え子リチャード・テイラーの助けを借りつつ、約1年後の1994年9月、障害を回避することに成功した。ワイルズ自身、その時の瞬間を「研究を始めて以来、最も大事な一瞬」と語っている。1994年10月に新しい証明を発表。1995年の"Annals of Mathematics"誌において出版し、その証明は、1995年2月13日に誤りがないことが確認され、360年に渡る歴史に決着を付けた。