初等数学によるフェルマーの最終定理の証明２

n=2のとき、X^n+Y^n=Z^nは自然数解を持つ。
X^2+Y^2=Z^2を、X^2+Y^2=(Y+m)^2…(1)とおく。X,Y,mは整数とする。
X^2=(Y+1)^2-Y^2…(2)が整数解を持つならば、(1)も整数解を持つ。
(2)を(X^2-1)(1/2)=Y…(3)と変形する。
(3)のXに任意の奇数を代入すると、Yは偶数となる。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を持つ。