フェルマーの最終定理

フェルマーの最終定理（フェルマーのさいしゅうていり、）とは、 以上の自然数 について、 となる自然数の組 は存在しない、という定理である。
フェルマーの大定理とも呼ばれる。ピエール・ド・フェルマーが「驚くべき証明を得た」と書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、フェルマーの死後330年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理またはフェルマー・ワイルズの定理とも呼ばれるようになった。
概要.
17世紀、フランスの裁判官ピエール・ド・フェルマー（1607年 - 1665年）は、古代ギリシアの数学者ディオファントスの著作『算術』を読み、本文中の記述に関連した着想を得ると、それを余白に書き残しておくという習慣を持っていた。それらは数学的な定理あるいは予想であったが、限られた余白への書き込みであるため、また充分な余白がある場合にも、フェルマーはその証明をしばしば省略した（たとえば、フェルマーの小定理として知られる書き込みを実際に証明したのは、ゴットフリート・ライプニッツである）。
48か所に及ぶこれらの書き込みが知られるようになったのは、フェルマーの没後の1670年に彼の息子サミュエルによってフェルマーの書き込み入りの『算術』が刊行されてからである。
第2巻第8問「平方数を2つの平方数の和に表せ」の欄外余白に、フェルマーは
とラテン語で書き残した。彼の残した他の書き込みは、全て真か偽かの決着がつけられた（証明された・反例が挙げられた）が、最後まで残ったこの予想だけは誰も証明することも反例を挙げることもできなかった。そのため「フェルマーの最終定理」と呼ばれるようになった。内容自体は三平方の定理程度の知識があれば理解できるものであったため、プロ、アマチュアを問わず多くの者がその証明に挑んだ。見事に証明した者には賞金を与えるという話も出てきて、フェルマーの最終定理の存在が一般にも徐々に知られるようになっていった。
個別研究の時代.
 が具体的な値を取るいくつかの場合についてはさまざまな証明が与えられた。
：フェルマー.
フェルマー自身の証明は、ディオファントスの『算術』に記された45番目の書き込みに含まれている。フェルマーは以下の手法、法則、定理を使い証明した。
フェルマーによる証明は後にレオンハルト・オイラーによって簡潔な形で直される。
 の場合がフェルマーによって証明された後は、残りの証明は が奇素数の場合のみを考えればよいことになる。なぜなら、 が奇数の場合は、 のように奇素数の積で表すことができて、奇素数 のときに成り立てば、 より のときも成り立つことが示される。さらに、 が偶数の場合は、4で割った余りが0または2となるので、余りが0すなわち の場合は より成り立ち、余りが2すなわち の場合は より が奇数の因数 を持つことになり を素因数分解したときの奇素数について成り立つからである。
：オイラー.
レオンハルト・オイラーは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年に続き1850年に設けたまま受賞者の出なかった「フェルマー予想の証明者」のための懸賞金（金メダルと3000フラン）を（最終的解決でないことを承知の上で）クンマーに与えた。1874年、クンマーは 101 から 163 までの指数について計算を実行し、新たに 101, 103, 131, 149, 157 の 5 個が非正則素数であることを示した。
その後、クンマーの理想数を発展させた代数的整数論による判定法をコンピューターで計算させることにより、1994年の初めには
の場合にフェルマー予想が成り立つことが証明された。
近代的アプローチへ.
モジュラー形式.
アンリ・ポアンカレは上半平面上の関数についての研究から、モジュラー形式を案出する。
モーデル予想.
ゲルト・ファルティングスによるモーデル予想の解決（1983年）により、3以上の"n"に対するフェルマー方程式 が整数解をもつならば（つまりフェルマー予想が誤りならば）その解の個数は本質的に（自明な場合を除いて）有限個しかないことが証明される。この「有限個」が「実は 0 個」であることが示されればフェルマー予想は証明できたことになるが、この方向からの絞り込みには行き詰まりが指摘されていた。ともあれ、この時点でフェルマー予想が「ほとんど全ての場合について正しい（各"n"に対して非自明な解は高々有限個である）」ことが判明したと言うことはできた。
谷山–志村予想.
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年に渡る歴史に決着を付けた。
フィクション.
偽の反例.
1998年のアニメ『ザ・シンプソンズ』シーズン10第2話「発明は反省のパパ」にて、ホーマー・シンプソンが次の反例であるように見える等式を書く場面がある;
（注：もちろんこれは指数"n"が4の倍数である時点で，フェルマー自身が証明したように解ではありえない）。
formula_5(a=3987,b=4365,c=4472,n=12)
しかし、この等式は偽であり、厳密に計算すると以下のようになる。
一方、
最初の10桁までが同じ数字列である。その差は、
これは約1.212×1033ほどの差である。
また、
これは1.58×10-12ほどの差である。