nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nを移項してy^n=z^n-x^n…(1)とする。yは整数とする。
2^n=(t+1)^n-t^nのtは無理数となる。これより、
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは無理数。
(2)はu-u=0なので、y^n={(t+1)^n}k-(t^n)kを考えると、x,zは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。