かんたんなフェルマーの最終定理の証明

s,t,uを有理数、wを無理数としたとき、
(sw)^n+(tw)^n=(uw)^nと、s^n+t^n=u^nは、同値となる。

(3)のx,yが無理数で、x,y,x+n^{1/(n-1)}が整数比となるならば、x,yが有理数で、x,y,x+n^{1/(n-1)}が整数比となる。
(3)は、x,yが有理数で、x,y,x+n^{1/(n-1)}が整数比とならないので、x,yが無理数で、x,y,x+n^{1/(n-1)}が整数比となることはない。