二平方和定理をたった一文で証明する｜Don Zagier の一文証明

Twitter(現X)： @ metachick_2021

＜動画概要＞
Don Zagier によるFermatの二平方和定理の一文証明と、その風車による視覚化です。

＜目次＞
00:00 導入
00:57 証明を眺める
02:18 対合の性質
03:31 二平方和定理と集合Sの関係
05:06 二つの対合と風車による視覚化

＜manimについて＞
この動画は主に、Pythonのmanim(math anime)ライブラリで作成されています。3blue1brownさんが無料公開している数学に特化したアニメーションライブラリです。

manim：https://github.com/3b1b/manim
導入方法(私の記事)：https://meta-perceptio.vercel.app/pag...

＜参考文献＞
・D. Zagier, "A One-Sentence Proof That Every Prime p≡1 (mod 4) Is a Sum of Two
Squares", The American Mathematical Monthly, Vol.97,No.2,pp.144,1990.

・Hing Lun Chan, "Windmills of the minds: an algorithm for Fermat's Two Squares
Theorem", Proceedings of the 11th ACM SIGPLAN International Conference on Certified

＜BGM＞
四度堆積和音がオシャレです。
・@SUGUtonari0：Congruence