>>1
> nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
> x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
> 2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。
> (1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは無理数。
> u=L^n-{(t+1)^n}k,u=M^n-(t^n)kとしたとき、(2)はy^n=L^n-M^nとなるが、
> L^n-{(t+1)^n}k=M^n-(t^n)kなので、L^n-M^n={(t+1)^n}k-(t^n)kとなる。
> L^n={(t+1)^n}k,M^n=(t^n)kとすると、L,Mは無理数となる。よって、xも無理数。
> ∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

L=(t+1)k^(1/n),M=tk^(1/n)なのでz:x=(t+1):tと定数比になります。
そういう場合しか考えていないので、まったく無意味な証明です。