フェルマーの大定理（読み）フェルマーのだいていり（英語表記）Fermat's last theorem

改訂新版　世界大百科事典

フェルマーの大定理 (フェルマーのだいていり)
Fermat's last theorem

P.deフェルマーはバシェBachet版のディオファントス著作集の余白に，次の命題〈nが3以上の自然数のときには，不定方程式，

　xⁿ＋yⁿ＝zⁿ

はxyz≠0であるような整数解をもたない〉の驚くべき証明を発見したが，その証明を記すにはこの余白は狭いという意味のことを書いた（1637年ころ）。この命題は，フェルマーの大定理，あるいは最終定理と呼ばれる。この不定方程式のn＝2の場合の解はピタゴラス数と呼ばれ，ギリシア時代から無限に存在することが知られており，この命題とは著しい対比をなしている。

　この命題はその単純さとフェルマーの謎めいた記述のため多くの人々の興味をひいてきた。多くの優れた数学者たちの努力にもかかわらず，近年まで未解決のままで，フェルマーの問題と呼ばれていた。しかし1994年，アメリカのワイルスAndrew Wiles（1954-　）によりついに350年来の問題に終止符が打たれた。

　定理の証明は，容易にn＝4の場合とnが奇素数の場合に帰着される。n＝4の場合はフェルマー自身が証明を書き残しており，n＝3，5，7については，それぞれ，L.オイラー，A.M.ルジャンドル，ラメG.Laméにより証明された。その後，多くの試みがなされたが，もっとも重要な寄与をしたのは，E.E.クンマーである。有理数体に1のべき根を添加して得られる体を円分体というが，クンマーはこの問題と円分体の整数論との関係を見いだし，多くの重要な結果を示した。その一つとして，素数pがベルヌーイ数B₂，B₄，……，B_p-1の分子を割らなければ，n＝pについて定理は正しいことを示した。この結果を改良することにより，1980年ころ，12500より小さい素数については正しいことが分かっていたが，一般的な証明の見通しはなかった。

　1985年，G.フライはこれまで用いられたものとまったく異なった方法を提示した。nが奇素数pのとき，フライは方程式x^p＋y^p＝z^pが整数解（u，v，w）を持ったとして，それから楕円曲線

　Y²＝X（X－u^p）（X＋v^p）

を考え，これが，奇妙な性質を持つことを注意した。さらに，谷山・志村予想によればこの楕円曲線に対応する保型形式が存在するが，そのような保型形式は存在しそうもない，従って，フェルマー予想が示されるのではないかという提案をした。その後，このプログラムの谷山・志村予想を除いた部分はK.リベットにより証明され，問題は谷山・志村予想に帰着された。

　谷山・志村予想は楕円曲線（Y²＝aX³＋bX²＋cX＋dで与えらる曲線は楕円曲線と呼ばれる）と，保型形式（複素上半平面上の正則関数で合同部分群に関してある不変性を持つもの）という，一見関係のない二つのものが，ゼータ関数を媒介として精密に対応しているというものである。1955年ころ，谷山豊（1927-1958）がその端緒を見いだし，志村五郎（1930-　）が正確に定式化した。深く重要な予想であるが，証明の手がかりさえ見いだされていなかった。

　ワイルスは，楕円曲線と保型形式を比較するのに，それらから得られるガロア群の表現およびその変形を比較するという画期的アイデアを考えだし，それまで数十年にわたり発展してきた保型形式論における多くの重要な結果を用いて，半安定semi-stableな楕円曲線に対して，谷山・志村予想を証明することに成功した。フェルマーの問題に現れる楕円曲線は半安定であり，これによりワイルスはフェルマーの大定理の証明を完成した。
→代数体の整数論
執筆者：斎藤 裕

出典　株式会社平凡社「改訂新版　世界大百科事典」

世界大百科事典（旧版）内のフェルマーの大定理の言及

【三平方の定理】より

…明治維新後は，ユークリッド《ストイケイア》にある方法がよく知られ，そのほかの面積移動や比例による方法はあまり知られなくなった。この定理に関連して，ピタゴラス数を見つける方法，例えば，プラトンの2n,n²－1,n²＋1，ユークリッドやディオファントスの2mn,m²－n²,m²＋n²などや，フェルマーの大定理のようにx,y,zを自然数とするとき3以上の整数nにおいてxⁿ＋yⁿ＝zⁿとなることはない，あるいは中根元圭によるn,n＋1,n＋2を3辺とする三角形で面積で有理数となる三角形の見つけ方(1720ころ)，安島直円によるx₁²＋x₂²＋……＋x_n²＝y²となる整数x_i,yの見つけ方(1790ころ)など，いろいろな研究がなされている。【下平 和夫】。…

【不定方程式】より

…ディオファントス方程式Diophantine equationともいう。方程式3X＋5Y＝1やX²＋Y²＝Z²のような，整数係数の代数方程式の整数解を求めることを不定方程式を解くという。整数解が無限に存在して定まらないことがあるので，不定ということばが用いられている。今日では，方程式の係数や解に関して整数であるという条件のほかに，有理数である，またはある代数体の整数環に含まれるなどの条件を考えることもある。…

※「フェルマーの大定理」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」