フェルマーの最終定理

他の数学との関係

フェルマーの最後の定理は、次の式のより一般的な形式である： a 2 + b 2 = c 2 {displaystyle a^{2}+b^{2}=c^{2}}}。.これはピタゴラスの定理から来ています）。特別なケースとして、a, b, c が整数の場合があります。そして、それらは"ピタゴラスの三重"と名付けられます。例えば3, 4, 5は9+16=25として3^2 + 4^2 = 5^2を与え、5, 12, 13は25+144=169を与える。これらは無限にある（永遠に続く）。フェルマーの最終定理は，2がより大きな整数に変わるとどうなるかについて述べています．これは、a,b,cが1以上の整数であるとき、3つ子は存在しないと言っています（つまり、nが2以上の場合、a,b,cは自然数にはなりえないということです）。

証明

証明は、いくつかのnの値(n=3, n=4, n=5, n=7など)に対して行われました。フェルマー、オイラー、ソフィー・ジェルマンなどが行った。

しかし、完全な証明は、この方程式がすべてのnの値（nが2よりも大きい整数の場合）に対して解を持たないことを示さなければなりません。この証明は非常に難しく、フェルマーの最終定理は解くのに多くの時間を必要としました。

アンドリュー・ワイルズというイギリスの数学者がフェルマーが書いてから358年後の1995年に解を発見した．リチャード・テイラーは彼が解を見つけるのを手伝った[]。証明には8年の研究期間を要した。彼は最初にモジュラー性定理を証明することでこの定理を証明したが，これはその後谷山・志村予想と呼ばれるようになった．リベットの定理を用いてフェルマーの最終定理を証明した。1997年6月、ゲッティンゲン・アカデミーからウルフスケール賞を受賞。

数年の議論の後、人々はアンドリュー・ワイルズが問題を解決したことに同意しました。アンドリュー・ワイルズは現代数学を多用し、解を作る際には新しい数学を作ったことさえあった。フェルマーが彼の有名なノートを書いた時には、この数学は知られていなかったので、フェルマーはこの数学を使うことはできなかった。このことから、フェルマーは実際にはこの問題の完全な解を持っていなかったと考えられます。