Unityゲーム開発スタジオ スタジオしまづ

初心者向けUnity講座・ 統計・機械学習関係についてつらつらと

やっとここまできた!Ribetによるフェルマーの最終定理の証明

はじめに

ここ3週間フェルマーの最終定理を証明することに時間を使っていますが,やっと前に進めました。Ribetの証明の流れがわかったからです!!

解説動画

動画はニコニコとYouTubeで公開しています。

Ribetによるフェルマーの最終定理の証明(1/2) ‐ ニコニコ動画:GINZA

Ribetによるフェルマーの最終定理の証明#1 - YouTube

(ニコニコの方がコメントされやすいので好きです)

Ribetの証明とは?

フェルマーの最終定理が成り立たないと仮定

   ↓

フライ曲線をつくる

   ↓

谷山=志村予想を使ってモジュラー形式をつくる

   ↓

このモジュラー形式がレベル2となり矛盾

   ↓

フェルマーの最終定理は正しい

 

のことです。Ribetのおかげでフェルマーの最終定理を証明したければ,谷山=志村予想を証明すればよいってことになりました。そして,その谷山=志村予想を証明したのがワイルズです。

今後

やりたいことは

ワイルズの証明を調べる

・今回の証明の流れを厳密化する

の2つです。やっとワイルズの証明に取り掛かることができます。おそらくですが,ワイルズの証明を理解する中で,今回の流れの厳密化が行えると思います。

関連記事&参考資料

 

フェルマーの最終定理 (新潮文庫)

フェルマーの最終定理 (新潮文庫)