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

結局x^2+y^2=(y+3)^2が互いに素な整数解を持つことが示されないので間違い。

x^2+y^2=(y+3)^2が互いに素な整数解を持たない理由は、
√3が無理数だからです。