フェルマーの最終定理とは? 「余白が狭すぎる」から358年、決め手は日本人数学者の予想だった

読む前に予想してみよう!
フェルマーの最終定理の証明には、日本の数学者が考えた予想が重要な役割を果たした
ワイルズは「谷山・志村予想」の一部を証明することで、フェルマーの最終定理を導いた。
- 対象
- 整数論の定理
- 規模
- 数学的証明(約350年の研究の積み重ね)
- 研究の種類
- 数学的証明
- 確かさ
- ★★★★★
「3乗以上では xⁿ+yⁿ=zⁿ を満たす正の整数はない」という定理。1995年、ワイルズが日本発の「谷山・志村予想」を経由して証明した。
ひとことで言うと3乗以上の「足して同じ形になる数」はない。その証明に350年以上かかった!
フェルマーの最終定理とは、
nが3以上の整数のとき、xⁿ + yⁿ = zⁿ を満たす正の整数 x, y, z は存在しない
という定理です。2乗なら 3² + 4² = 5²(9+16=25)のように答えがいくらでもあるのに、3乗以上になると、とたんに1つも存在しないというのです。
17世紀のフランスの数学者フェルマーが「驚くべき証明を見つけたが、この余白は狭すぎて書けない」と書き残してから、約350年。1995年に英国の数学者アンドリュー・ワイルズがついに証明しました。そして、その決め手になったのは、日本の若い数学者2人が考えた予想でした。
01「余白が狭すぎる」――350年続いた数学界の宿題
1637年ごろ、ピエール・ド・フェルマーは古代ギリシャの数学書『算術』を読みながら、その余白にこの主張と「証明を書くには余白が狭すぎる」という言葉を書き込みました。本人の死後、息子がこの書き込み入りの本を出版したことで、世界に知られます。
フェルマーは趣味で数学をしていた法律家で、ほかにもたくさんの主張を証明なしで書き残していました。それらは後の数学者たちによって次々と証明(または否定)され、最後まで残ったのがこの主張。だから「最終定理」と呼ばれるのです。
その後、オイラーなど名だたる数学者が n=3 や n=4 など特定の場合を証明しましたが、すべての nについて証明することは、誰にもできませんでした。
02カギは日本発の「谷山・志村予想」
話は20世紀の日本に飛びます。1950年代、谷山豊と志村五郎という若い数学者たちが、まったく別々に見える2つの数学の世界――楕円曲線とモジュラー形式――が、実は1対1で対応しているのではないか、という大胆な予想を立てました。これが谷山・志村予想です。
一見、フェルマーの最終定理とは関係なさそうなこの予想が、1980年代に急に主役に躍り出ます。

037年間の秘密の研究、そして見つかった「穴」
このニュースを聞いたワイルズは、子どものころ図書館で出会ったこの問題に挑むことを決意します。英国生まれで、当時は米プリンストン大学の教授。彼は約7年間、ほとんど誰にも言わずに研究を続けました。
1993年6月、英ケンブリッジでの講演で、ワイルズは証明を発表。黒板にフェルマーの最終定理を書き、「ここで終わりにしたいと思います」と締めくくった瞬間、会場は拍手に包まれ、世界中のニュースになりました。
ところが、論文を細かくチェックする段階で、証明の重要な部分に穴が見つかります。ワイルズは1年以上苦しみ、かつての教え子リチャード・テイラーとともに修正に取り組みました。そして1994年9月、別の方向からのアプローチで穴を埋めることに成功。1995年、2本の論文としてAnnals of Mathematics 誌に掲載されました。
04どんでん返し:フェルマーは本当に証明していた?
では、フェルマーは本当に「驚くべき証明」を持っていたのでしょうか?
ワイルズの証明は、20世紀の最先端の数学を総動員した100ページを超える大作です。フェルマーの時代の数学でたどり着けたとは考えにくく、多くの数学者は「フェルマーは勘違いしていた(どこかに誤りのある証明だった)」と考えています。真相は、余白の向こうに消えてしまいました。
その後、谷山・志村予想は2001年にすべての場合で証明され、現在は「モジュラー性定理」と呼ばれています。ワイルズは2016年、数学のノーベル賞とも呼ばれるアーベル賞を受賞しました。
05まとめ
フェルマーの最終定理とは、「3乗以上では xⁿ+yⁿ=zⁿ を満たす正の整数は存在しない」という定理。中学生でも意味がわかる問題が、350年以上も人類を悩ませ、最後は日本の数学者の予想を経由して解かれました。
問題文がシンプルでも、答えにたどり着く道は、ときに数学の歴史そのものを巻き込むほど長い。そこに数学のロマンがあります。
この研究を英語で読もう原田英語の English CornerFermat's Last Theorem says that when n is greater than 2, no positive whole numbers x, y and z can make xⁿ…
音声
4択クイズ9問A2・B1・B2タップして開く
原田英語の English Corner
この研究を英語で読もう
You can find many numbers like 3² + 4² = 5². But with cubes or higher powers, no such numbers exist. This is called Fermat's Last Theorem.
In the 1600s, Fermat wrote in a book that his proof was too big for the margin. For about 350 years, nobody could prove it. In 1995, Andrew Wiles finally did it. An idea from two young Japanese mathematicians was the key.
69 words ・ CEFR A2
和訳を見る
3² + 4² = 5² のような数はたくさん見つけられます。しかし3乗以上になると、そのような数は存在しません。これはフェルマーの最終定理と呼ばれています。
1600年代、フェルマーは本に「証明は余白に書くには大きすぎる」と書きました。約350年のあいだ、誰もそれを証明できませんでした。1995年、アンドリュー・ワイルズがついにそれを成しとげました。カギとなったのは、2人の若い日本人数学者の考えでした。
4択リーディングクイズ
Q1. What is the passage mainly about?
約350年かかって証明された有名な数学の問題(フェルマーの最終定理)の話なので B。
Q2. Who finally proved the theorem?
In 1995, Andrew Wiles finally did it. とあるので D。日本人数学者の考えはカギになったが、証明したのはワイルズ。
Q3. In the passage, "margin" means ...
margin は「(ページの)余白」。本の端の書き込みスペースのことなので A。
Fermat's Last Theorem says that when n is greater than 2, no positive whole numbers x, y and z can make xⁿ + yⁿ = zⁿ true. Around 1637, Pierre de Fermat wrote this idea in the margin of a book and added that the margin was too small for his proof.
For more than 300 years, mathematicians proved only special cases, such as n = 3 and n = 4. In the 1950s, Yutaka Taniyama and Goro Shimura suggested a deep link between two areas of math. In the 1980s, it became clear that proving part of their idea would also prove Fermat's theorem. Andrew Wiles worked on it in secret for about seven years and published the full proof in 1995.
123 words ・ CEFR B1
和訳を見る
フェルマーの最終定理は、nが2より大きいとき、xⁿ + yⁿ = zⁿ を成り立たせる正の整数 x, y, z は存在しない、というものです。1637年ごろ、ピエール・ド・フェルマーはこの考えを本の余白に書き、証明を書くには余白が狭すぎると書き添えました。
300年以上のあいだ、数学者たちは n = 3 や n = 4 のような特別な場合しか証明できませんでした。1950年代、谷山豊と志村五郎は、数学の2つの分野の間に深いつながりがあると提案しました。1980年代になると、彼らの考えの一部を証明すれば、フェルマーの定理も証明できることが明らかになりました。アンドリュー・ワイルズは約7年間ひそかにこれに取り組み、1995年に完全な証明を発表しました。
4択リーディングクイズ
Q1. What is the passage mainly about?
フェルマーの書き込みから谷山・志村の考え、ワイルズの証明までの長い歴史を述べているので C。
Q2. What did Fermat write in the margin?
added that the margin was too small for his proof とあるので A。
Q3. Why was the idea of Taniyama and Shimura important?
proving part of their idea would also prove Fermat's theorem とあるので B。
Fermat's Last Theorem states that the equation xⁿ + yⁿ = zⁿ has no solutions in positive integers when n exceeds 2. Pierre de Fermat noted it around 1637 in the margin of an ancient Greek text, claiming a marvelous proof that the margin was too narrow to contain. Over the following centuries, mathematicians such as Euler settled individual exponents, but a general proof remained out of reach.
The breakthrough came by an unexpected route. In the 1950s, the Japanese mathematicians Yutaka Taniyama and Goro Shimura conjectured that elliptic curves and modular forms, two seemingly unrelated mathematical objects, correspond to each other. In the mid-1980s, the German mathematician Frey pointed out that a counterexample to Fermat would produce a very strange elliptic curve, and in 1986 Ribet proved that such a curve would contradict the Taniyama–Shimura conjecture.
Andrew Wiles then worked largely in secret for about seven years. His 1993 announcement made headlines, but checking revealed a serious gap. Working with his former student Richard Taylor, he repaired it in 1994, and the proof was published in 1995. Because it relies on twentieth-century tools, most mathematicians doubt that Fermat really had a valid proof.
194 words ・ CEFR B2
和訳を見る
フェルマーの最終定理は、nが2を超えるとき、方程式 xⁿ + yⁿ = zⁿ には正の整数の解がない、と述べています。ピエール・ド・フェルマーは1637年ごろ、古代ギリシャの書物の余白にこれを書き留め、驚くべき証明を見つけたが余白が狭すぎて書けないと主張しました。その後の数世紀、オイラーなどの数学者が個々の指数の場合を解決しましたが、一般的な証明には手が届きませんでした。
突破口は思いがけない道筋からやって来ました。1950年代、日本の数学者の谷山豊と志村五郎は、楕円曲線とモジュラー形式という一見無関係な2つの数学的対象が、互いに対応していると予想しました。1980年代半ば、ドイツの数学者フライは、フェルマーの定理に反例があれば非常に奇妙な楕円曲線が作れることを指摘し、1986年にはリベットが、そのような曲線は谷山・志村予想に反することを証明しました。
その後アンドリュー・ワイルズは、約7年間ほぼ秘密のうちに研究を続けました。1993年の発表は大ニュースになりましたが、検証の過程で重大な穴が見つかりました。彼はかつての教え子リチャード・テイラーとともに1994年にそれを修正し、証明は1995年に出版されました。この証明は20世紀の道具に頼っているため、ほとんどの数学者は、フェルマーが本当に正しい証明を持っていたことを疑っています。
4択リーディングクイズ
Q1. What is the passage mainly about?
谷山・志村予想という別の分野のつながりを経由して最終定理が証明された経緯が中心なので A。
Q2. What did Ribet prove in 1986?
Ribet proved that such a curve would contradict the Taniyama–Shimura conjecture とあるので D。
Q3. Why do most mathematicians doubt that Fermat had a valid proof?
Because it relies on twentieth-century tools, most mathematicians doubt ... とあるので C。
重要単語
- theoremB2名詞定理Fermat's Last Theorem was finally proved in 1995.
発音は /ˈθɪərəm/(シアラム)。証明済みの主張が theorem、未証明は conjecture。the Pythagorean theorem「三平方の定理」。 - marginB2名詞余白He wrote a note in the margin of the book.
「差・利ざや」の意味もある。by a narrow margin「僅差で」、profit margin「利益率」。 - integerB2名詞整数Three, five, and seven are integers.
発音は /ˈɪntɪdʒər/(インティジャー)。positive integer「正の整数」、whole number とも言う。integrity(誠実さ・完全さ)と同語源。 - elliptic curveC1名詞(句)楕円曲線Elliptic curves are also used in cryptography.
ellipse(楕円)の形容詞 elliptic。名前に反して楕円そのものではない。スマホの暗号技術にも使われている。 - flawC1名詞欠陥、穴A flaw was found in the first proof.
flawless は「完璧な・欠点のない」。gap(すき間・穴)も証明の不備を言うときに使う。 - breakthroughB2名詞大発見、突破口The link between two fields was a major breakthrough.
break through(突き破る)の名詞化。make a breakthrough「大発見をする」は科学ニュースの定番。
公式・一次情報をチェック
- 2016: Sir Andrew J. Wiles(The Abel Prize)abelprize.no
4コマでわかる

このネタ、誰かに教えたくなった?
フェルマーの最終定理は「3乗以上では a³+b³=c³ のような整数の組は存在しない」という主張。「証明を書くには余白が狭すぎる」と書き残してから358年。最後のカギは、日本の若い数学者2人が出した予想だった。
押すと「マジかリスト」に保存されます
出典・参考文献(4件)タップで表示
- Wiles (1995) Modular Elliptic Curves and Fermat's Last Theorem, Annals of Mathematicsdoi.org
- Taylor & Wiles (1995) Ring-Theoretic Properties of Certain Hecke Algebras, Annals of Mathematicsdoi.org
- Ribet (1990) On modular representations of Gal(Q̄/Q) arising from modular forms, Inventiones Mathematicaedoi.org
- Breuil, Conrad, Diamond & Taylor (2001) On the modularity of elliptic curves over Q: Wild 3-adic exercises, Journal of the American Mathematical Societydoi.org
※本記事は上記の研究・公開資料をもとに、原田英語が独自の言葉で解説したものです。引用は著作権法第32条の範囲で行い、出典を明記しています。画像はすべてオリジナルのイメージです。研究結果には限界や個人差があります。誤りのご指摘は原田英語のお問い合わせフォームから。












