(修正1)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+rとおくと、x^n+y^n=(x+r)^n…(1)となる。
(1)はr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)となる。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyを有理数とすると、xは無理数となるので、x,yは自明な解を除いて整数比とならない。
(3)のyが無理数で、x,yが整数比となる場合は、s^n+t^n=(s+1)^nとなる、(s,tは有理数）
(3)(4)の解の比は同じなので、(4)のzが有理数のとき、整数比とならない。
よって、(3)のyが有理数でも、無理数でも、x,yは、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。