やっとここまできた!Ribetによるフェルマーの最終定理の証明
はじめに
ここ3週間フェルマーの最終定理を証明することに時間を使っていますが,やっと前に進めました。Ribetの証明の流れがわかったからです!!
解説動画
動画はニコニコとYouTubeで公開しています。
・Ribetによるフェルマーの最終定理の証明(1/2) ‐ ニコニコ動画:GINZA
・Ribetによるフェルマーの最終定理の証明#1 - YouTube
(ニコニコの方がコメントされやすいので好きです)
Ribetの証明とは?
フェルマーの最終定理が成り立たないと仮定
↓
フライ曲線をつくる
↓
谷山=志村予想を使ってモジュラー形式をつくる
↓
このモジュラー形式がレベル2となり矛盾
↓
フェルマーの最終定理は正しい
のことです。Ribetのおかげでフェルマーの最終定理を証明したければ,谷山=志村予想を証明すればよいってことになりました。そして,その谷山=志村予想を証明したのがワイルズです。
今後
やりたいことは
・ワイルズの証明を調べる
・今回の証明の流れを厳密化する
の2つです。やっとワイルズの証明に取り掛かることができます。おそらくですが,ワイルズの証明を理解する中で,今回の流れの厳密化が行えると思います。
関連記事&参考資料