数学上の難問として名高いフェルマーの最終定理が証明されるまでの歴史。百年単位で解けなかった難問のうち、問題を理解すること自体はおそらく一番単純である(ピタゴラスの定理を知っていればなおさら)。それだけに、多くの数学者を惑わした。
年表
1637頃:フェルマー、最終定理を記述する。
同時期:フェルマー、n=4の証明
X^n+Y^n=Z^n
nが2より大きい時、これを満たす3つの整数は存在しない。
フェルマー
私はこの命題の真に驚くべき証明を持っているが、余白が少ないのでここには書けない。
1670:フェルマーの書き込みのある「算術」、発行される。
1730代:オイラー、n=3の場合を証明
19世紀:ソフィージェルマン、2p+1が素数の場合の研究
1825:ディリクレ、ルジャンドル、5の場合の証明
1839:ラメ、7の場合の証明
19世紀半ば:ラメ、コーシーの挫折・・・ラメやコーシーは完全な証明をできたと主張するも、誤りを修正できなかった。
1908:ヴォルフスケール、賞金をかける
1955:谷山=志村予想・・・楕円方程式とモジュラーの関係
1984:フライの楕円方程式・・・最終定理が間違っていると、谷山志村予想は不成立
1990代:ワイルズ、 屋根裏にこもって谷山志村予想からの証明の試み
1994:ワイルズ、完全な証明に成功
豆知識
・ガウスは、「自分ならこのような問題はいくらでも作ることができる」といって、証明にかかわろうとしなかった。なのでこの問題の歴史には出てこないが、ケプラー予想では重要な貢献をしている。
・ワイルズはこの問題を少年時代から知っていた。その時も頑張って解こうとしたがさすがにできなかった。
・現代でも、フェルマーの時代の知識のみで証明しようとする人がいるらしい。
おすすめ
- スメイルの問題全部解説するまで帰れま18記事一覧
- 微分同相写像とリー群モデルの関係とは?スメイルの問題全部解説するまで帰れま18(番外編3)
- 三次元球面は最小集合?スメイルの問題全部解説するまで帰れま18(番外編2)
- 平均値問題とは?スメイルの問題全部解説するまで帰れま18(番外編1)
- 人間と人工知能の知能の限界とは?スメイルの問題全部解説するまで帰れま18(18)
- 多項式を平均多項式時間で解くとは?スメイルの問題全部解説するまで帰れま18(17)
- ヤコビアン予想とは?スメイルの問題全部解説するまで帰れま18(16)
- ローレンツアトラクターの特性とは?スメイルの問題全部解説するまで帰れま18(14)
- 微分同相写像の中心化群とは?スメイルの問題全部解説するまで帰れま18(12)
- 1次元力学系は一般に双曲型?スメイルの問題全部解説するまで帰れま18(11)
- Pughの閉補題とは?日本の研究者も活躍!スメイルの問題全部解説するまで帰れま18(10)
- 線形計画問題とは?スメイルの問題全部解説するまで帰れま18(9)
- 経済学理論への力学の導入とは?スメイルの問題全部解説するまで帰れま18(8)
- 2-球面上の点の分布とは?スメイルの問題全部解説するまで帰れま18(7)
- 天体力学における相対平衡数の有限性とは?スメイルの問題全部解説するまで帰れま18(6)
- ディオファントス曲線の高さ境界とは?スメイルの問題全部解説するまで帰れま18(5)
- 1変数多項式の整数零点についてのτ予想とは?スメイルの問題全部解説するまで帰れま18(4)
- ヒルベルトの23の問題全部解説するまで帰れま23記事一覧
- ヒルベルトの24番目の問題とは?隠された謎とその内容に迫る!
- 変分法の研究の展開とは?ヒルベルトの23の問題全部解説するまで帰れま23(23)
- 保型関数による解析関数の一意化とは?ヒルベルトの23の問題全部解説するまで帰れま23(22)
- モノドロミー群をもつ線型微分方程式とは?ヒルベルトの23の問題全部解説するまで帰れま23(21)
- 一般境界値問題とは?ヒルベルトの23の問題全部解説するまで帰れま23(20)
- 正則な変分問題の解は常に解析的?ヒルベルトの23の問題全部解説するまで帰れま23(19)
- 合同な多面体で空間を埋めろ?ヒルベルトの23の問題全部解説するまで帰れま23(18)
- 定符号の式を完全平方式で表すとは?ヒルベルトの23の問題全部解説するまで帰れま23(17)
- 代数曲線と曲面の位相の問題とは?ヒルベルトの23の問題全部解説するまで帰れま23(16)
- シューベルトの数え上げ計算とは?ヒルベルトの23の問題全部解説するまで帰れま23(15)
- 不変式系の有限性の証明とは?日本人が解決!ヒルベルトの23の問題全部解説するまで帰れま23(14)
- 7次方程式は2変数の関数で解ける?ヒルベルトの23の問題全部解説するまで帰れま23(13)
- 類体の構成問題とは?ヒルベルトの23の問題全部解説するまで帰れま23(12)
- 代数体上の二次形式の分類とは?ヒルベルトの23の問題全部解説するまで帰れま23(11)
- ディオファントス方程式に整数解があるか判別できる?ヒルベルトの23の問題全部解説するまで帰れま23(10)
- 数体の一般相互法則とは?ヒルベルトの23の問題全部解説するまで帰れま23(9)
- リーマン予想とは?ヒルベルトの23の問題全部解説するまで帰れま23(8)
- 種々の数の無理性と超越性とは?ヒルベルトの23の問題全部解説するまで帰れま23(7)
- 物理学の諸公理の数学的扱いとは?ヒルベルトの23の問題全部解説するまで帰れま23(6)
- 位相群がリー群となるための条件とは?ヒルベルトの23の問題全部解説するまで帰れま23(5)
- 二点間の最小距離は直線?ヒルベルトの23の問題全部解説するまで帰れま23(4)
- 等底・等高な2つの四面体の等積性とは?ヒルベルトの23の問題全部解説するまで帰れま23(3)
- 算術の公理間の整合性をわかりやすく解説!ヒルベルトの23の問題全部解説するまで帰れま23(2)
- 連続体仮説とは?ヒルベルトの23の問題全部解説するまで帰れま23(1)
- ミレニアム懸賞問題全部解説するまで帰れま7記事一覧!順番の意味も解説!
- バーチ・スウィンナートン=ダイアー予想とは?ミレニアム懸賞問題全部解説するまで帰れま7(7)
- ポアンカレ予想とは?ミレニアム懸賞問題全部解説するまで帰れま7(6)
- ホッジ予想とは?ミレニアム懸賞問題全部解説するまで帰れま7(5)
- ナビエ–ストークス方程式の解の存在と滑らかさとは?ミレニアム懸賞問題全部解説するまで帰れま7(4)
- P≠NP予想とは?ミレニアム懸賞問題全部解説するまで帰れま7(3)
- リーマン予想とは?ミレニアム懸賞問題全部解説するまで帰れま7(2)
- ヤン–ミルズ方程式と質量ギャップ問題とは?ミレニアム懸賞問題全部解説するまで帰れま7(1)
- プリヒタの素数円とは?描き方や歴史も解説!
- スライドパズルの解けない配置!サムロイドの14-15パズル
- オイラーの公式の中学生でもわかる証明!美しいvs美しくない!?
- 【図解】円周率はなぜ終わらない?無理数の証明!中学生でもわかる!
- ハノイの塔64枚で世界滅亡?漸化式&最短手数・歴史を解説!
- フィールズ賞2022年の受賞者の理由・業績を紹介!
- フィールズ賞2022年の候補を大胆予想!女性、日本人候補は?
- 素数に1は入る?これだけの理由があった!
- 四色問題の立体版はなぜ考えられない?立体は2色で塗れる?
- ケンプ鎖を簡単に解説!ケンプの失敗と功績は?【しくじり科学者4】
- 非ユークリッド幾何学の歴史を解説!-クラインモデルの解説!
- 公理と公準の違いを詳しく解説!
- 結び目理論とDNAの関係について解説!-面白い応用例・遊び
- ネウシス作図!定規・コンパスのみで角の三等分【動画】-作図可能な具体例
- P≠NP予想 証明への歴史
- 非推移的サイコロ3種!ジッヒャーマンダイス-確率論のサイコロ
- 3次元の接吻数が12であることを図で証明!接吻数論争の歴史
- ブルバキのモデル!実在のブルバキ将軍の生涯を解説!ブルバキに娘がいた?
- 4色問題(四色問題)の反例が発見された?!
- 点予想 証明の歴史-フェルマーの最終定理との関係
- 解の公式の歴史!作った人・誰が発見者?解の公式の呪い?
- ファジィ理論の歴史
- 角の3等分の方法が発見された?!
- リーマン予想 証明への歴史
- ポアンカレ予想 証明の歴史
- フェルマーの最終定理 証明の歴史
- ケプラー予想 証明の歴史
- 四色問題の証明の歴史!地図と150年をめぐる大冒険!コンピュータによる証明で波乱も?
- 数学者たちのエイプリルフール
- ガウス『数学日記』における発見と謎
考察
・結局、フェルマーは証明できていたのか?
この疑問については、以下の説があると思われる。
・無限降下法(彼が得意だった背理法)によりとけたと勘違いした。
・ラメ、コーシーらと同じ間違いをおかした。
・とけなかったので、メモに意味深な嘘をかいた。
さすがに、最先端の数学を駆使したワイルズの方法をフェルマーが編み出すのは無理であっただろう。かといって、彼は法律家で、ほかの数学の証明は多くの正しい回答を得ていることから、解けずに嘘やジョークを書いたというのも考えにくい。
そこで、勘違い説が有力になってくる。おそらく、無限降下法について考えを進めていたらすべての場合に適用できると早とちりしてしまい、余白がないので書かずに満足してしまったなどが考えられる。
・挫折後のタイムラグ
19世紀には、コーシーの挫折後、大きなタイムラグがあり、あまりこの問題が顧みられなかったことがうかがえる。この時代は過去の問題に目を向けるよりも数学の構築を進める方に関心が向いていたのだろう。あるいは、挫折者が出たのでおそれの方が大きかったか。