フェルマーの最終定理の簡単な証明11

>39
なので、B. では (3) を使っていないです。
「s^2+t^2=(s+√3)^2」を使っています。

「s^2+t^2=(s+√3)^2」が、x^2+y^2=(x+√3)^2ならば、
(4)となります。