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

n=3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3…(1)とおく。x,yは有理数。
(1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
(2)の解はx=1,y=0のみである。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。