>>429
> 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は、無理数となる。
... ...
> u=uより、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は自然数解を持たない。

日高流の考え方では
z^n-x^n=Z^n-X^nであるとき
z^n=Z^n,x^n=X^nであるので2^n=s^n-r^n (r,sは有理数)が成立する
ことになる

r,sを有理数としk=1にするためにy=2とする
以下の式が任意の有理数r,sで成立する
2^n=z^n-x^n
x^n=r^n, z^n=2^n+r^n…(お豆)
2^n=Z^n-X^n
Z^n=s^n, X^n=s^n-2^n…(お味噌)
(お豆)=(お味噌), z^n-x^n=Z^n-X^nであるとき
z^n=Z^n,x^n=X^nであるので2^n=s^n-r^n (r,sは有理数)が成立する