>>693
ピタゴラスの定理が自明である訳ないでしょアンポンタン
現代数学的には「正方形」だけを既知とすれば
三角関数の無限級数による定式化の過程で自然に証明されるはず
初等的にも3行くらいで済む簡潔な証明もある（ユークリッドの公理は既知として）