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

n>2のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nを移項してy^n=z^n-x^n…(1)とする。yは整数とする。
(1)を3^n=(t+1)^n-t^nとすると、tは無理数となる。
(1)は(3^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/3)^n,uは無理数。
u=M^n-(t^n)kとおくと、(3^n)k={(t+1)^n}k-(t^n)kとなる。Mは有理数。
それ以外のuの場合は、(2)となる。
∴n>2のとき、x^n+y^n=z^nは自然数解を持たない。