最短フェルマーの最終定理の証明

n=4のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^4+Y^4=Z^4をy^4=(x+1)^4-x^4…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^3+y^2+y+1)=4(x^3+(3/2)x^2+x)…(2)とおく。
(2)は(y-1)=4のとき、xに4および、6を代入しても、成り立たない。
よって、(y-1)=k4のとき、(y^3+y^2+y+1)=(x^3+(3/2)x^2+x)/kとならない。
∴n=4のとき、X^n+Y^n=Z^nは自然数解を持たない。