【人類が360年かけて解いた定理】フェルマー(本人)と一緒に証明する、フェルマーの最終定理（n=4)

[@pacho731]

潤沢な余白がありますので、こちらに補足を書かせていただきます。 ・平方数を4で割った余りが1or0になる事の証明。 　これはa=4n+1,4n+2.4n+3の場合を考えて、それぞれ 　(4n+1)²=4(4n²+2n)+1 (4n+2)²=4(4n²+4n+1) 　(4n+3)²=4(4n²+6n)+1 となりますので、余りが2,3などになることはありません。 ・奇数の二重平方数を4で割った余りが1になることの証明。 　これはa=2n+1と置いて4乗することで簡単に導けます。 　（2n+1)⁴=4(4n⁴+8n³+6n²+2n)+1となりますので、4で割った余りは1になると言えます。 ●原始ピタゴラス数の性質について。 　まず原始ピタゴラス数というのは、「x²＋y²=z²を満たすx,y,zの組のうち、x,y,zが互いに素でx,yの偶奇が異なるなもの」を指します。 例えば(3,4,5)とかですね。 　ちなみに、動画でも軽く触れていましたが、x,yが両方奇数の場合、x²＋y²=z²という式を成り立たせる(x,y,z)は存在しません ──────────────────────────────────────────────────── ・x,yが両方奇数の場合、x²＋y²=z²を満たす(x,y,z)が存在しないことの証明 　x,yが奇数だとすると、x²≡y²≡1(mod4)より、x²＋y²≡2。またz²≡0or1(mod4) しかし左辺と右辺で4で割った余りが一致しないのでx,yが両方奇数の場合は不適。 ──────────────────────────────────────────────────── そして、この原始ピタゴラス数の性質として、偶奇の異なるm,n(m＞n)を用いて次のように表すことができます。 　　x=2mn y=m²-n² z=m²＋n² この式のm,nに互いに素でかつ偶奇の異なる数を代入していくと原始ピタゴラス数を簡単に特定することができるのですが、何だか不思議ですよね。 　どういった仮定でこの性質が導かれるかについては、とても綺麗にまとめられた記事がありましたのでぜひともそちらをご覧ください。 (自分でコメント欄に詳しい説明を書こうかと思ったのですが、どうしてもうまくまとめられた記事の方が分かりやすいので申し訳ありません。) ・数学の景色様 mathlandscape.com/pythagoras-triple/ 【追記】 申し訳ございません..6:25の字幕に誤字がありました。 　今後こういった見落としがないように気を付けていきます。

[@unshuuLEMON324]

xとyが両方奇数の場合が存在しない証明で、x≡y≡1(mod4)ではなくx²≡y²≡1(mod4)ではないですか？

[@pacho731]

@@unshuuLEMON324 ありがとうございます。 修正しておきます

[@Llllllllllllll227]

潤沢な余白笑

[@randomokeke]

そもそも公開するはずも無いイキり黒歴史ノートを死後息子が晒したのだから本人も不本意だったかも知れない。

[@平清盛-x8b]

黒歴史ノートにしてはレベル高い

[@ぶっち-q8k]

毎度満足度が高い

[@haruharu949]

この中学生優秀すぎて草

[@naomifukui6884]

お待ちしていました‼️

[@James-f6u9x]

お疲れ様でした！

[@120t-j1b]

証明そのものも大事だけどそれまでの道筋の積み重ねの功罪が凄まじいのよね

[@eijig4]

罪ってなんだ？

[@Edgar-Konan]

3:38 tomato なのいいね

[@gggddd481]

息子さんが公開してしまったばっかりに数々の数学者の運命が……！

[@クワロッサン]

きちんとインドに修行行ってたことと繋がってるの草

[@ホゲータ-u1w]

分かりやすくてめーっちゃ面白かった！ 最後ドッと笑った 言うの忘れてたの気付かなかったw

[@Inglez_te-koku]

私はこの問題に対する真に驚くべき証明を見つけたが、それを示すには尺がすくなすぎる

[@クズのきら]

久しぶりの動画嬉しいよ。浪人生には。

[@K_H-db8gi]

フェルマーの小定理を出す日も近いな

[@ramanu.1729]

結構分かりやすい解説で笑った

[@数学好き-b7s]

ありがとうございます！

[@メゲル]

このまま谷村志村予想もわかりやすく解説していただくと非常に嬉しいです！()

[@pacho731]

いつかやります（） 4年後とかになるかもしれないですが…

[@メゲル]

@@pacho731 それでもすげぇや… 4年後を楽しみにしていますね

[@pacho731]

@@メゲル 大学では人文学や社会学、デザイン系の勉強、コンピューター科学を主軸としていく予定なのですが、恐らく数学も並行してやると思いますので、そういった話も解説できるように頑張ります！

[@あい-y4n7v]

@@メゲル谷村志村予想→谷山志村予想

[@mit2-wwdkgo]

インドでの修行が気になりすぎるが

[@米油]

2:02 鳥だからな（

[@妖刀]

カカポは飛べないんだ...

[@米油]

@@妖刀 たしかにｗ

[@BitaChoco]

お久しぶりです

[@中谷克己]

最高だ

[@tricker_Zeon]

コンカイモカミカイ

[@mssh-mssh]

360年をすっ飛ばして10分で理解する中学生草

[@のな-o5p]

動画の最後でも言われてるけど、 この動画の内容で証明できれば、 x^n+y^n=z^nで、n＝3以上の時にこれを満たすx y zがない事を証明するのに360年も掛ってない。 と言われてる。 因むと動画と同じ内容の証明は割と早い段階にされていて、その後360年かけて、元の命題を証明したらしい。 数学の先生とかある程度知識ある人に聞くとそう言うから、人間からするとかなり昔のことで、その記録が正確かは分からないけど、そう言われてる。 ってことで、本当かどうか知らないけど、フェルマーは動画の内容で元の命題を証明できると思っていたが、実際は、命題自体は正しい事が証明されたけど、フェルマーが思っていた以上に証明が難しかった、とも言われる。

[@sengokusaksak]

フェルマーのセリフの原文投稿してほしい

[@jqjdjsdjwkd5373]

ハイデガー読むのも大概きついだろw

[@ほこりん]

珍しく賢い鳥さん(?)

[@gomamiso_R]

画面切り替え多すぎて文字が全然頭に入ってこねぇｗ

[@pacho731]

申し訳ございません... これでもうまいこと解説しようとしたのですが、どうしても難しかったもので.. 　ちょっと解説のスタイルを見直そうと思います。

[@algenphex]

この鳥タナトフォビアから逃れようとしてる

[@Zeon_0330]

ya

[@your-c7p]

8:50 ヤジュセン⁈

[@1484ishi]

無理すぎて草

[@lukijoke]

yay