フェルマーの最終定理の証明を読んでみる

背景

今まで勉強した結果からフェルマーの最終定理を読み解いてみる。

証明の内容

wikipediaの内容以上のことは書きません。（書けません）
やはり証明にはフレイ曲線の判別式が大きな役割を果たしています。

フレイ曲線の判別式は

$$
\Delta = -2^{-8} \left(a^n b^n c^n\right)^2
$$

まあ判別式の導出は合っているとして、この判別式が証明にも使われています。

実際の証明は100ページ以上だそうです。それを全て読み解くのは無理ですが今までの調査から、内容はなんとなく分かってきました。（自己満足）
内容はwikiの通り

Wiles's proof of Fermat's Last Theorem - Wikipedia

1. フェルマーの最終定理が間違っていると仮定します。

2. n=3とn=5のフレイ曲線がモジュラーであることを証明します。

3. n=5がモジュラーなら、それ以上のnでもモジュラーになると証明

4. リベットの定理 ( nが素数である場合、そのような楕円曲線はモジュラー形式を持たず、したがってフェルマー方程式に対する奇素数の反例は存在しないと述べている) と矛盾

5. 全ての3以上のnで証明できました！

所感

これ以上
数学の沼にハマるのは止めておきましょう。

大学院レベルの数学が分かりました。