フェルマーの最終定理の真実|360年の謎とワイルズ完全証明の全貌

フェルマーの最終定理の真実|360年の謎とワイルズ完全証明の全貌

フェルマーの最終定理の真実|360年の謎とワイルズ完全証明の全貌の全体像を丁寧に掘り下げてご紹介します。

17世紀フランスの裁判官であり、余暇に数学を楽しんでいた「アマチュア数学の王」ピエール・ド・フェルマーは、古代ギリシャの数学者ディオファントスの著作『算術』の余白に、数多くの着想を書き残しました。フェルマーの死後、息子がそれらのメモを注釈付きで出版すると、世界中の数学者が証明に乗り出し、次々と彼の主張が正しいことを証明していきました。

しかし、たった1つだけ、誰一人として証明も反証もできないまま残されたのが、第2巻第8問の横に書かれたこの命題でした。それが「フェルマーの最終定理」と呼ばれる所以です。

なぜ解けなかったのか。その理由は、整数論の古典的なアプローチでは、特定の指数($n=3, 4, 5, 7$ など)ごとに個別の証明を構築するのが限界であり、無限に存在する「3以上のすべての$n$」を一網打尽にする包括的な数学的言語が人類に存在しなかったためです。

時代・数学者到達した成果直面した壁・限界現代数学史での評価ピエール・ド・フェルマー(17世紀)$n=4$ の場合の証明(無限降下法)一般化の手段を持たず余白にメモのみ残す問題提起者として後世に絶大な影響レオンハルト・オイラー(18世紀)$n=3$ の場合の証明に成功虚数を用いたが他の指数への応用が困難解析的整数論の端緒を開く金字塔ソフィ・ジェルマン(19世紀)特殊な素数(ジェルマン素数)に対する定理確立女性差別の時代背景と体系化の障壁個別証明から一般論へのパラダイムシフトエルンスト・クンマー(19世紀)「正則素数」に関する広範な証明「非正則素数」の例外を処理できず挫折イデアル論の創出により現代代数学の基礎にアンドリュー・ワイルズ(20世紀末)すべての自然数 $n \ge 3$ で完全証明達成1993年の発表後に欠陥発覚、1年の苦闘1995年論文受理、360年の宿題に終止符
中村 さくら
著者

中村 さくら

エンタメ・カルチャー業界の深掘り取材を得意とし、現場のリアルな声をお伝えします。