現在と未来の何処か、惑星、宇宙

フェルマーの最終定理（フェルマーのさいしゅうていり、英: Fermat's Last Theorem）とは、 $3$ 以上の自然数 $n$ について、 $x n + y n = z n$ となる自然数の組 $(x, y, z)$ は存在しない、という定理である^{[注釈 1]}。

フェルマーの大定理（フェルマーのだいていり）とも呼ばれる。ピエール・ド・フェルマーが「真に驚くべき証明を見つけた」と書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、フェルマーの死後330年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理またはフェルマー・ワイルズの定理とも呼ばれるようになった^[1]。

概要

17世紀、フランスの裁判官ピエール・ド・フェルマー（1607年 - 1665年）は、古代ギリシアの数学者ディオファントスの著作『算術』を読み、本文中の記述に関連した着想を得ると、それを余白に書き残しておくという習慣を持っていた。それらは数学的な定理あるいは予想であったが、限られた余白への書き込みであるため、また充分な余白がある場合にも、フェルマーはその証明をしばしば省略した（たとえば、フェルマーの小定理として知られる書き込みを実際に証明したのは、ゴットフリート・ライプニッツである）。

48か所に及ぶこれらの書き込みが知られるようになったのは、フェルマーの没後の1670年に彼の息子サミュエルによってフェルマーの書き込み入りの『算術』が刊行されてからである^{[注釈 2]}^{[注釈 3]}。

第2巻第8問「平方数を2つの平方数の和に表せ^{[注釈 4]}」の欄外余白に、フェルマーは

Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.^[4]

立方数を2つの立方数の和に分けることはできない。4乗数を2つの4乗数の和に分けることはできない。一般に、冪が2より大きいとき、その冪乗数を2つの冪乗数の和に分けることはできない。この定理に関して、私は真に驚くべき証明を見つけたが、この余白はそれを書くには狭すぎる。

とラテン語で書き残した。彼の残した他の書き込みは、全て真か偽かの決着がつけられた（証明された・反例が挙げられた）が、最後まで残ったこの予想だけは誰も証明することも反例を挙げることもできなかった。そのため「フェルマーの最終定理」^{[注釈 5]}と呼ばれるようになった。内容自体は三平方の定理程度の知識があれば理解できるものであったため、プロ、アマチュアを問わず多くの者がその証明に挑んだ。見事に証明した者には賞金を与えるという話も出てきて、フェルマーの最終定理の存在が一般にも徐々に知られるようになっていった。

個別研究

$n$ が具体的な値を取るいくつかの場合についてはさまざまな証明が与えられた。

$n = 4$ ：フェルマー

フェルマー自身の証明は、ディオファントスの『算術』に記された45番目の書き込みに含まれている^[5]。フェルマーは以下の手法、法則、定理を使い証明した^[6]。

指数法則に従って $x 4 + y 4 = z 4$ を $(x 2) 2 + (y 2) 2 = (z 2) 2$ に変換し、ピタゴラス数の性質を利用する。
$x, y, z$ は互いに素であるとする。
定理「互いに素である2つの数の積が平方数であるならば、2つの数もそれぞれ平方数である。」
$x$ を偶数、 $z, y$ を奇数とする。
偶数と奇数の性質
無限降下法

フェルマーによる証明は後にレオンハルト・オイラーによって簡潔な形で直される^[7]。

$n = 4$ の場合がフェルマーによって証明された後は、残りの証明は $n$ が奇素数の場合のみを考えればよいことになる^[8]。なぜなら、 $n$ が奇数の場合は、 $n = pq\dotsr$ のように奇素数の積で表すことができて、奇素数 $p$ のときに成り立てば、 $(x q\dotsr) p + (y q\dotsr) p = (z q\dotsr) p$ より $n = pq\dotsr$ のときも成り立つことが示される。さらに、 $n$ が偶数の場合は、4で割った余りが0または2となるので、余りが0すなわち $n = 4m$ の場合は $(x m) 4 + (y m) 4 = (z m) 4$ より成り立ち、余りが2すなわち $n = 4m+2$ の場合は $n = 2(2m+1)$ より $n$ が奇数の因数 $2m+1$ を持つことになり $2m+1$ を素因数分解したときの奇素数について成り立つからである。

$n = 3$ ：オイラー

レオンハルト・オイラーは1753年にクリスティアン・ゴールドバッハへ宛てた書簡の中で $n = 3$ の場合の証明法について言及し^[9]、1760年に純初等的で完全な証明を得た^[10]。さらに、1770年に刊行した著書『代数学』（Vollständige Anleitung zur Algebra）ではその証明とは異なり（複素数を用いる）エレガントながら不完全な証明を公開した。ただし、この2番目の証明は虚数のレベル、具体的には $a + b \sqrt-3$ の形の数まで因数分解を行ったもので、現代の言葉で言えば、整数環

ℤ [\sqrt{- 3}]

で因数分解を行うものであったが、この整数環では素因数分解の一意性が成立しない（一意分解環ではない）という不備があった^[11]ので、のちに

\sqrt-3

の代わりに 1の原始3乗根

ζ_{3} = (- 1 \pm \sqrt{- 3}) / 2

を付加した整数環

ℤ [ζ_{3}]

（これは円分体

ℚ [ζ_{3}]

の整数環でもあり、素因数分解の一意性が成り立つ）を使うことで修正された。

$n = 5$ ;ジェルマン、ディリクレ、ルジャンドル

1823年に当時ほとんどいなかった女性数学者であったソフィ・ジェルマンは、フェルマー予想を奇素数 $p$ に対して、 $x p + y p = z p$ において、

ケース1: $x, y, z$ のいずれも $p$ で割り切れない
ケース2: $x, y, z$ のいずれかが $p$ で割り切れる

という2つのケースに分類し、 $p$ と $2 p +1$ が共に素数の場合について、フェルマー予想のケース1が正しいことを証明した^[12]：

ソフィ・ジェルマンの定理 ―

p

を

2 p +1

も素数であるような奇素数とする．このとき

n = p

の場合のフェルマー予想のケース1は正しい．

例えば、 $p = 5$ のとき、 $2 p +1 = 11$ は素数なので、ソフィ・ジェルマンの定理（英語版）よりフェルマー予想のケース1は指数 $n = 5$ に対して正しい。

1825年に $n = 5$ のケース2を完全に証明したのはペーター・グスタフ・ディリクレとアドリアン＝マリ・ルジャンドルである^[13]。

ケース2は更に、ディリクレによって1825年に2つのケース（ケースII(i)とII(ii)）に分けられた。ケースII(i)は $x$ , $y$ , $z$ の1つが5または2で割られる場合である。ケースII(ii)は $x$ , $y$ , $z$ の1つが5で割られ、もう1つが2で割られる場合である。1825年7月、ディリクレは $n = 5$ の場合のケースII(i)を証明した。1825年9月、ルジャンドルは $n = 5$ の場合のケースII(ii)を証明した。ルジャンドルの証明の後、ディリクレはケースII(i)の拡張された議論を用いて $n = 5$ の場合のケースII(ii)の証明を完成させた。

$n = 5$ の証明の年代順表
日付	ケースI/II	ケースII(i/ii)	名前
1823年	ケースI		ソフィ・ジェルマン
1825年7月	ケースII	ケースII(i)	ペーター・グスタフ・ディリクレ
1825年9月		ケースII(ii)	アドリアン＝マリ・ルジャンドル
1825年9月以降		ケースII(ii)	ディリクレ

ジェルマンまでは（そしてジェルマン以降も当面は）「 $n = 3$ のとき」あるいは「 $n = 4$ のとき」といった個別研究の域を出なかったこの問題に対し、解の条件がケース1に限られているとはいえ包括的な証明を与えようとした点において、ジェルマンの研究成果の意義はきわめて大きい。

$n = 14$ ：ディリクレおよび $n = 7$ ：ラメ、ルベーグ

1832年にディリクレは $n = 14$ の場合を証明した^[14]が、上述の通り $n$ が素数である場合の方が肝要なので、これは $n = 7$ の場合を証明するための途中経過であった。しかし実際に $n = 7$ の場合を証明したのはガブリエル・ラメ（1839年）と、ラメの証明に含まれていた誤りを訂正したヴィクトル＝アメデ・ルベーグ（英語版）（1840年）であった^[13]。

1847年、ラメは「フェルマー予想の一般的解法を発見した」と発表し、同じ解法を自分の方が先に発見していたと主張するオーギュスタン＝ルイ・コーシーとの間で論争にまでなった。しかしこの解法とは $x n + y n = z n$ の左辺を複素数で素因子分解するというものであり、この分解は一意的なものでないためこの問題に関する解法たりえていないことが指摘される^[15]。

また、 $n = 7$ の場合についてのラメの証明があまりにも複雑なものだったため、同様の手法で $n = 11$ や $13$ の場合について研究してみようと思う者はいなくなり、個別研究の時代は終わる^[13]。

クンマーの理想数

コーシーとラメが争っていたのと同じ頃、エルンスト・クンマーが自ら打ち立てた理想数の理論（後にリヒャルト・デーデキントがイデアルの理論として発展させる）を導入する^[16]。これにより、多くの素数において一意的な因数分解が可能となり、 $n$ が正則素数である（もしくは正則素数で割り切れる）全ての場合については証明がなされた^[17]。虚数レベルでの一意的な因数分解が不可能な非正則素数も無限に存在する^{[注釈 6]}が、クンマーは $100$ 以下の非正則素数（ $37, 59, 67$ の 3 個しかない）についてはそれぞれ個別に研究して解決した^[19]。その結果、 $100$ までの全ての奇素数 $n$ について（当然 $100$ 以下の奇素数を約数に持つ全ての $n$ についても）フェルマー予想が成り立つことが証明され、それまでの個別研究からこの問題は大きく飛躍した。

1857年、フランス科学アカデミーは、1816年に続き1850年に設けたまま受賞者の出なかった「フェルマー予想の証明者」のための懸賞金（金メダルと3000フラン）を（最終的解決でないことを承知の上で）クンマーに与えた^[20]。1874年、クンマーは 101 から 163 までの指数について計算を実行し、新たに 101, 103, 131, 149, 157 の 5 個が非正則素数であることを示した^[21]。

その後、クンマーの理想数を発展させた代数的整数論による判定法をコンピューターで計算させることにより、1994年の初めには

第一の場合: 奇素数 $p < 8.8\times10 20$
第二の場合: 奇素数 $p < 4000000$

の場合にフェルマー予想が成り立つことが証明された^[22]。

フェルマーの最終定理につながる予想

モーデル予想

→詳細は「ファルティングスの定理」および「モーデルの定理」を参照

ゲルト・ファルティングスによるモーデル予想の解決（1983年）により、3以上のnに対するフェルマー方程式 $x n + y n = z n$ が整数解をもつならば（つまりフェルマー予想が誤りならば）その解の個数は本質的に（自明な場合を除いて）有限個しかないことが証明される。この「有限個」が「実は 0 個」であることが示されればフェルマー予想は証明できたことになるが、この方向からの絞り込みには行き詰まりが指摘されていた。ともあれ、この時点でフェルマー予想が「ほとんど全ての場合について正しい（各nに対して非自明な解は高々有限個である）」ことが判明したと言うことはできた。

モジュラー予想（谷山-志村予想）

→詳細は「モジュラー定理」を参照

1881年、アンリ・ポアンカレは上半平面上の関数についての研究から、モジュラー形式を案出する。

1955年9月、日光で開催された整数論に関する国際会議で、谷山豊が提出した幾つかの「問題」を原型とする数学の予想が谷山–志村予想である。そこでは楕円曲線とモジュラー形式の間の深い関係が示唆されており、後に志村五郎によって定式化された。「すべての楕円曲線はモジュラーである」という、発表当時は注目を引かなかったこの谷山–志村予想が、のちにフェルマー予想の証明に大きな役割を果たすこととなる。

実はこの前年の1954年、ある保型形式に関するラマヌジャン予想の一部をマルティン・アイヒラー（英語版）が証明していた。そこでは「解析的ゼータ＝代数的ゼータ」が示されており、谷山–志村予想の最初の実例と呼べるものだった。

このラマヌジャン予想→モジュラー予想→ラングランズ予想→超ラングランズ予想という一連の流れ（ゼータの統一）は数論の中心的テーマの一つとなっている。

フライ・セール予想

1984年にゲルハルト・フライはフェルマーの最終定理に対する反例 $a n + b n = c n$ からはモジュラーでない楕円曲線（フライ曲線）：

y 2 = x (x - a n)(x + b n)

が得られ、これはモジュラー予想に対する反例を与えることになるというアイディアを提示。ジャン＝ピエール・セールによって定式化されたこの予想はフライ・セールのイプシロン予想と呼ばれ、1986年にケン・リベットによって証明された。

これらの経過は以下のように整理することができる。

まず、フェルマー予想が偽である（フェルマー方程式が自然数解をもつ）と仮定する。
この自然数解からは、モジュラーでない楕円曲線を作ることができる。
しかし、モジュラー予想が正しいならば、モジュラーでない楕円曲線は存在しない。
矛盾が導かれたので、当初の仮定が誤っていることとなる。
したがって、フェルマー予想は真である。（背理法）

つまり、モジュラー予想が証明されたならば、それはフェルマーの最終定理が証明されたことをも意味するのである(=完全証明への道がつながった)。しかし、当時の数学者たちのほとんどが「モジュラー予想は証明不可能」と考えており、ここまでアプローチできてもフェルマー予想を解決しようと取り組む数学者は皆無に等しかった。つまりケン・リベットによるイプシロン予想の解決は、多くの数学者にとっては『証明不可能なフェルマーの最終定理』が『証明不可能なモジュラー予想』に置き換わったにすぎなかったのである。

ワイルズによるフェルマーの最終定理の証明

→詳細は「ワイルズによるフェルマーの最終定理の証明」を参照

プリンストン大学にいたイギリス生まれの数学者アンドリュー・ワイルズは岩澤主予想 (Iwasawa main conjecture) を解決するなどして、元々数論の研究者として有名な人物であった。彼は10歳の時に触れたフェルマー予想に憧れて数学者となったが、数学者となってからは自身の生活も危惧して子供時代の夢は封印し、フェルマー予想のような孤立した骨董品ではなく主流数学の研究に勤しんでいた。ところが1986年、ケン・リベットがフライ・セール予想を解決したことにより、フェルマー予想に挑むことは、主流数学の一大予想に挑むことと同義になってしまった。かつての憧れだったものが、今や骨董品どころか解かずには済まされない中心課題の一つになったのである。ワイルズはこのことに強い衝撃を受け発奮、正にフェルマー予想の解決を目的として、他の研究を全て止めて谷山–志村予想に取り組むこととなった。ただしこの際、彼は人々の耳目を集め過ぎることを懸念して、表面的には未発表の研究成果を小出しにすることで偽装し、谷山–志村予想の研究を秘密裏に行うこととした。

ワイルズは、代数幾何学（特に楕円曲線と群スキーム（英語版））や数論（モジュラー形式やガロア表現、ヘッケ環、岩澤理論）の高度な道具立てを用いて証明を試みたが、類数公式の導出に当たり岩澤理論を用いる方向では行き詰まってしまった。そこでコリヴァギン＝フラッハ法（ヴィクター・コリヴァギンとマティアス・フラッハ（英語版）の方法）に基づくよう方針転換し、最後のレビュー段階で自分のコリヴァギン＝フラッハ法の運用に誤りがないか確認を依頼するためプリンストンの同僚ニック・カッツに「谷山-志村が証明できそうだ」と打ち明け、助けを得るまで、細部に至るまでの証明を完璧な秘密のうちにほぼすべて独力で成し遂げた（ここまでで7年が経過していた）。彼がケンブリッジ大学で1993年の6月21日から23日にかけて3つの講義からなるコースで証明を発表したとき、聴衆は証明に使われた数々の発想と構成に驚愕した。

ただし、その後の査読において、ワイルズの証明には1箇所致命的な誤りがあることが判明した。この修正は難航したが、ワイルズは彼の教え子リチャード・テイラーの助けを借りつつ、約1年後の1994年9月、障害を回避することに成功した。ワイルズはその瞬間を「研究を始めて以来、最も大事な一瞬」と語っている。1994年 10月に新しい証明を発表。1995年のAnnals of Mathematics誌において出版し、その証明は、1995年 2月13日に誤りがないことが確認され^[23]、360年にわたる歴史に決着を付けた。

証明した論文

Andrew Wiles (May 1995). “Modular elliptic curves and Fermat's Last Theorem（モジュラー楕円曲線とフェルマーの最終定理）” (PDF). Annals of Mathematics 141 (3): 443-551.
Richard Taylor and Andrew Wiles (May 1995). “Ring-theoretic properties of certain Hecke algebras（ある種のヘッケ代数の環論的性質）” (PDF). Annals of Mathematics 141 (3): 553-572.

エピソード

現在も未解決の問題の大多数は、問題自体が難解な用語を用いなければ表現できないものであるのに対し、本定理の言わんとするところは中学生程度の知識さえあれば理解できるため、数多くのアマチュア数学ファンがこれを解決しようと熱中し、数学を志す者も輩出された。最終的に解決に導いたワイルズ自身もそうした者の一人であった。
フェルマーはこの定理の証明に関して「真に驚くべき証明を見つけた」と記述を残している。しかし、現在知られている証明は、分野ごとの壁が厚くなったことで、半ば独自に進化と発展を遂げた各数学分野の最新理論を巧妙に組み合わせ、駆使することで構成されている。いかに「数論の父」と呼ばれるフェルマーであっても、400年前に独自にこの証明を成し遂げたとは考え難いため、フェルマーが $n = 4$ の場合に用いた無限降下法による証明が全ての自然数に対して適用可能であるとの勘違いによるものとも考えられる。また、小山信也は科学雑誌「Newton」中でこう語っている。

その後フェルマーは， $n = 3$ の場合を研究した形跡があります。完全な証明を得たのなら，個別の $n$ について研究する必要がありません。完全な証明を見つけたというのは間違いだったと，フェルマー自身も気づいていたのではないでしょうか^[24]。
最終的な証明で重要な役割を果たした谷山–志村予想に関して、ワイルズとテイラーが証明したのは「半安定」と呼ばれる特殊な場合であり、一般的な場合に関しては証明を与えることはできなかったが、フェルマーの最終定理（の反例）からくるであろう反例の可能性を排除するにはこれで十分だった。ちなみに、後に谷山–志村予想に完全な証明を与えたのはワイルズの弟子であるブライアン・コンラッドとフレッド・ダイアモンドらであり、今では数論の1つの到達点とされて「モジュラー性定理」とよばれることもある。
1988年に当時西ドイツのマックス・プランク数学研究所にいた、宮岡洋一が証明できそうだというニュースが報道された。ただし実際には不備があり、完全な証明には至らなかった。
1908年、ドイツの富豪パウル・ヴォルフスケールは2007年9月13日までの期限付きでフェルマー予想の証明者に対して10万金マルクの懸賞金を設けた (Wolfskehl-Preis)。当然のことながらワイルズが受賞し、その賞金は約500万円程度であるが、第一次世界大戦後のハイパーインフレーションがなければ、十数億円であったといわれる。授賞式は1997年6月、ゲッティンゲン大学の大ホールにて、500人の数学者が列席する中、執り行われた。
解決以前に書かれたSFなどの文芸作品における「未来」において、未解決の問題として言及されていることがしばしばある^[25]など、解決以前は「未解決問題」の代表的な存在であった。
解決以前において、サイコップのメンバーだったカール・セーガンは、「人類より高度な文明を持つ知的生命体と意思のみで交信できる」というチャネラーに対し、その知的生命体への質問として「フェルマーの最終定理」の解法を訊いてみるが、ことごとく無視された^{[注釈 7]}。
2020年11月、望月新一らのグループがプレプリントを発表し、望月が提唱する宇宙際タイヒミュラー理論の応用により、フェルマーの最終定理の別証明を与えたと主張している^[26]（ABC定理を利用すれば、フェルマーの最終定理の証明は数行でできてしまう）。

　AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表した。^[27]^[28]。

フィクション

偽の反例

1998年のアニメ『ザ・シンプソンズ』シーズン10第2話「発明は反省のパパ」にて、ホーマー・シンプソンが次の反例であるように見える等式を書く場面がある^[29]; （注：もちろんこれは指数nが4の倍数である時点で、フェルマー自身が証明したように解ではありえない）。

398 7^{12} + 436 5^{12} = 447 2^{12}

(a=3987,b=4365,c=4472,n=12)

しかし、この等式は偽であり、厳密に計算すると以下のようになる。

3987¹² = 16134474609751291283496491970515151715346481
4365¹² = 47842181739947321332739738982639336181640625
3987¹² + 4365¹² = 63976656349698612616236230953154487896987106 （約6.4×10⁴³）

一方、

4472¹² = 63976656348486725806862358322168575784124416　　（約6.4×10⁴³）

最初の10桁までが同じ数字列である。その差は、

3987¹² + 4365¹² - 4472¹² = 1211886809373872630985912112862690

これは約1.212×10³³ほどの差である。

また、

(3987¹² + 4365¹²)^1/12 = 4472.000000007059290738213529241449409・・・
4472.000000007059290738213529241449409/ 4472 = 1.000000000001578553

これは1.58×10^-12ほどの差である。

脚注

[脚注の使い方]

注釈

これに対して $n = 2$ のとき、 $x 2 + y 2 = z 2$ を満たす自然数の組 $(x, y, z)$ は無数に存在し、ピタゴラス数と呼ばれる。
フェルマーの書き込み入りの『算術』原本は、今日では失われている。フェルマーが当時読んでいた『算術』は、1621年にフランスの貴族バシェがギリシア語の原文にラテン語の翻訳を追加した対訳版である^[2]^[3]。
48個の書き込みの全訳は足立 (1986)に収録されている。
ここで、平方数とは有理数の平方を意味する。他の冪も同様。よって、『算術』の元の問題を現代風に表現すれば、有理数 $a$ に対し、 $x 2 + y 2 = a 2$ の正の有理数解を（1つ）求めよ、ということである。
定理の証明がなされた1995年よりも前からこの予想を「定理」と呼んでいたことには無理があるが、反例も挙げられておらず、予想自体は「真であろう」と誰もが予測したため、「定理」と呼ばれるようになった。
非正則素数が無限に存在することは1915年にヨハン・イェンセンによって証明された^[18]。
カール・セーガンは以下のように述べている。

　私はときどき、宇宙人と「コンタクト」しているという人から手紙をもらうことがある。「宇宙人に何でも質問してください」と言われるので、ここ数年はあらかじめ短い質問リストを用意している。聞くところによると、宇宙人はとても進歩しているそうだ。そこでこんな質問をしてみる――「フェルマーの最終定理を簡単に証明してください」。あるいは、ゴルトバッハの予想でもいい。もちろん宇宙人は、「フェルマーの最終定理」という呼び方はしないだろうから、その内容を説明しなくてはならない。そこで例の、冪（べき）指数つきのごく簡単な式を書いておくのだが、返事をもらったことはただの一度もない。— カール・セーガン、『カール・セーガン　科学と悪霊を語る』青木薫訳、新潮社、1997年9月20日。ISBN 4-10-519203-5。pp. 108ff

出典

Newton 2019年2月号 p86
足立 1995, pp. 40f
足立 2006, pp. 17, 87–95
Panchishkin & Manin 2007, p. 341
足立 2006, pp. 93–95
足立 2006, pp. 99–101
足立 2006, pp. 137–139
足立 2006, pp. 139–140
足立 2006, p. 140
足立 2006, p. 148
足立 2006, pp. 140–148
足立 2006, pp. 150–156
足立 2006, p. 150
足立 2006, p. 231
足立 2006, pp. 156–165
足立 2006, pp. 166–218
足立 2006, p. 215
足立 2006, pp. 217, 227
足立 2006, pp. 223–224
足立 2006, p. 220
足立 2006, pp. 215, 226
足立 1995, pp. 17, 128
1995年2月の毎日新聞縮小版より
『Newton別冊　数学の世界[増補第3版]』ニュートンプレス、2019年11月5日、156頁。
『新スタートレック』38話「ホテル・ロイヤルの謎」など
SHINICHI MOCHIZUKI; IVAN FESENKO, YUICHIRO HOSHI, ARATA MINAMIDE, AND WOJCIECH POROWSKI (2020年11月30日). Explicit Estimates in Inter-universal Teichm¨uller Theory (PDF) (Report). 京都大学数理解析研究所. 2020年12月5日閲覧.
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 (GIGAZINE, 2026年9月7日)
Formalizing Fermat's Last Theorem ¥ Anthropic
Singh, Simon (2013) (英語). The Simpsons and Their Mathematical Secrets. A&C Black. pp. 35–36. ISBN 978-1-4088-3530-2

参考文献

足立恒雄『フェルマーの大定理　整数論の源流』日本評論社〈数セミ・ブックス12〉、1984年8月。
- 足立恒雄『フェルマーの大定理　整数論の源流』（第2版）日本評論社、1994年6月。ISBN 4-535-78207-5。
- 足立恒雄『フェルマーの大定理　整数論の源流』（第3版）日本評論社、1996年5月。ISBN 4-535-78231-8。
- 足立恒雄『フェルマーの大定理　整数論の源流』筑摩書房〈ちくま学芸文庫ア24‐1 Math ＆ Science〉、2006年9月。ISBN 978-4-480-09012-6。
足立恒雄『フェルマーの大定理が解けた！　オイラーからワイルズの証明まで』講談社〈ブルーバックスB-1074〉、1995年6月。ISBN 978-4-06-257074-9。
Panchishkin, Alexei A.; Manin (April 2007), Introduction to Modern Number Theory: Fundamental Problems, Ideas and Theories, Springer, ISBN 978-3-540-20364-3

外部リンク

Weisstein, Eric W. “Fermat's Last Theorem”. mathworld.wolfram.com (英語).

[1] これに対して $n = 2$ のとき、 $x 2 + y 2 = z 2$ を満たす自然数の組 $(x, y, z)$ は無数に存在し、ピタゴラス数と呼ばれる。

[5] フェルマーの書き込み入りの『算術』原本は、今日では失われている。フェルマーが当時読んでいた『算術』は、1621年にフランスの貴族バシェがギリシア語の原文にラテン語の翻訳を追加した対訳版である^[2]^[3]。

[6] 48個の書き込みの全訳は足立 (1986)に収録されている。

[7] ここで、平方数とは有理数の平方を意味する。他の冪も同様。よって、『算術』の元の問題を現代風に表現すれば、有理数 $a$ に対し、 $x 2 + y 2 = a 2$ の正の有理数解を（1つ）求めよ、ということである。

[9] 定理の証明がなされた1995年よりも前からこの予想を「定理」と呼んでいたことには無理があるが、反例も挙げられておらず、予想自体は「真であろう」と誰もが予測したため、「定理」と呼ばれるようになった。

[24] 非正則素数が無限に存在することは1915年にヨハン・イェンセンによって証明された^[18]。

[32] カール・セーガンは以下のように述べている。

　私はときどき、宇宙人と「コンタクト」しているという人から手紙をもらうことがある。「宇宙人に何でも質問してください」と言われるので、ここ数年はあらかじめ短い質問リストを用意している。聞くところによると、宇宙人はとても進歩しているそうだ。そこでこんな質問をしてみる――「フェルマーの最終定理を簡単に証明してください」。あるいは、ゴルトバッハの予想でもいい。もちろん宇宙人は、「フェルマーの最終定理」という呼び方はしないだろうから、その内容を説明しなくてはならない。そこで例の、冪（べき）指数つきのごく簡単な式を書いておくのだが、返事をもらったことはただの一度もない。— カール・セーガン、『カール・セーガン　科学と悪霊を語る』青木薫訳、新潮社、1997年9月20日。ISBN 4-10-519203-5。pp. 108ff

[2] Newton 2019年2月号 p86

[3] 足立 1995, pp. 40f

[4] 足立 2006, pp. 17, 87–95

[8] Panchishkin & Manin 2007, p. 341

[10] 足立 2006, pp. 93–95

[11] 足立 2006, pp. 99–101

[12] 足立 2006, pp. 137–139

[13] 足立 2006, pp. 139–140

[14] 足立 2006, p. 140

[15] 足立 2006, p. 148

[16] 足立 2006, pp. 140–148

[17] 足立 2006, pp. 150–156

[足立2006.p=150-18] 足立 2006, p. 150

[19] 足立 2006, p. 231

[20] 足立 2006, pp. 156–165

[21] 足立 2006, pp. 166–218

[22] 足立 2006, p. 215

[23] 足立 2006, pp. 217, 227

[25] 足立 2006, pp. 223–224

[26] 足立 2006, p. 220

[27] 足立 2006, pp. 215, 226

[28] 足立 1995, pp. 17, 128

[29] 1995年2月の毎日新聞縮小版より

[30] 『Newton別冊　数学の世界[増補第3版]』ニュートンプレス、2019年11月5日、156頁。

[31] 『新スタートレック』38話「ホテル・ロイヤルの謎」など

[33] SHINICHI MOCHIZUKI; IVAN FESENKO, YUICHIRO HOSHI, ARATA MINAMIDE, AND WOJCIECH POROWSKI (2020年11月30日). Explicit Estimates in Inter-universal Teichm¨uller Theory (PDF) (Report). 京都大学数理解析研究所. 2020年12月5日閲覧.

[34] Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 (GIGAZINE, 2026年9月7日)

[35] Formalizing Fermat's Last Theorem ¥ Anthropic

[36] Singh, Simon (2013) (英語). The Simpsons and Their Mathematical Secrets. A&C Black. pp. 35–36. ISBN 978-1-4088-3530-2

[注釈 1]

[1]

[注釈 2]

[注釈 3]

[注釈 4]

[4]

[注釈 5]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[注釈 6]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[注釈 7]

[26]

[27]

[28]

[29]

[2]

[3]

[18]

典拠管理データベース
国立図書館	ドイツアメリカフランス BnF data チェコラトビアイスラエル
その他	Yale LUX

2026年11月13日金曜日

トーナメントに、よくある、シード権、とは、種、シード、から、来ているんですよね？、雑学や業界話を交えながら、解説してください、

なぜ「種」なのか？

実はテニスから広まった

「シード権」と「Bye」は少し違う

あなたの好きそうな比喩

LLMとも少し似ています

将棋の場合

囲碁も似ています

チェスは少し違う

雑学：AI時代との共通点

業界話：なぜシードが必要なのか

あなたが好きそうな見方

パンドラの箱、と、除夜の鐘、

実は「箱」ではなく「大きな壺」

「99個の災いと1個の希望」は？

最大の謎は「希望」

解釈① 希望は人類への最後の贈り物

解釈② 希望まで閉じ込められた

業界話：なぜこの神話は今でも使われるのか

あなたが以前話していた「ニュートン」と少し重なるところ

なぜ108回なのか？

108という数字はどう出てきたの？

パンドラの箱との共通点

雑学：実は鐘は「時計」でもあった

業界話：心理学的にも面白い

あなたとのこれまでの話につなげると

2026年11月12日木曜日

晩年のニュートンは、自分について、 「私は、真理の大海を前にして、まだ知られていないものが多い海岸で、小石や貝殻を拾んで遊ぶ子供のようなものだ」

理論家の危険は「地図を現実と思うこと」

逆に、優れた理論家ほど観察する

「受け売り」と「学ぶ」の違い

現場改善の考え方にも近い

ヘーゲル的に言えば

2026年11月10日火曜日

フェルマーの最終定理 part8 ～真の解決へ…ワイルズ後編～ - - YouTube動画の紹介と、解説、その他、

フェルマーの最終定理 part8 ～真の解決へ…ワイルズ後編～

言及されている人物

ピエール・ド・フェルマー

アンドリュー・ワイルズ

ヴィクター・コリヴァギン

① 実は「証明が間違っていた」は珍しくない

② Kolyvagin–Flach法とは何だったのか

③ だから全然違う道へ行った

④ 日本人数学者が世界の歴史を変えていた

⑤ Taylor–Wiles法は数学界の大発明

⑥ 可換環論が突然主役になる

⑦ リチャード・テイラーの貢献

⑧ 「偶然ひらめいた」のではない

⑨ 2001年で本当に完成した

⑩ 数学業界では「フェルマー」はもう過去のテーマ

1. 1993年の「穴」はどこにあったのか

2. Kolyvagin–Flach法とは何だったか

3. イワサワ理論への転換とTaylor–Wiles法

4. 1995年のAnnals論文

5. 谷山–志村予想の完全解決

6. 業界の裏話

補足

1. 1993年夏：世界を揺るがした「幻の証明」と致命的な欠陥

2. 暗闇の1年間と、元教え子リチャード・テイラーの参戦

3. 1994年9月：イワサワ理論による「起死回生の一撃」

4. そして「谷山–志村予想」の完全解決へ

1993年の発表とその衝撃

欠陥の発見 ― Kolyvagin–Flach法の限界

突破口 ― 1994年9月19日の「啓示」

1994〜95年の完全証明

動画のラスト ― 谷山–志村予想の完全解決（2001年）

全体を通しての味わい

📜 1993年の証明と「穴」：Kolyvagin–Flach法の限界

💡 突破口：岩澤理論との「予期せぬ融合」

⚙️ 解決の鍵：Taylor–Wiles法と可換環論

🏁 その後の展開：モジュラリティ定理の完成

コリブァン・フラッハ理論、ワイルズ、数学者も、参考にしたんですか？、

どんな流れだったの？

数学業界では有名な話

「巨人の肩の上に立つ」

面白い雑学

概要

個別研究

n = 4：フェルマー

晩年のニュートンは、自分について、「私は、真理の大海を前にして、まだ知られていないものが多い海岸で、小石や貝殻を拾んで遊ぶ子供のようなものだ」

$n = 4$ ：フェルマー

$n = 3$ ：オイラー

$n = 5$ ;ジェルマン、ディリクレ、ルジャンドル

$n = 14$ ：ディリクレおよび $n = 7$ ：ラメ、ルベーグ