>>367
> x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。

そうおけるってことは解があると認めてしまうことでは。