n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3=(Y+m)^3-Y^3…(1)とおく。X,Y,mは整数とする。
X^3=(Y+1)^3-Y^3…(2)を検討する。
(2)を(X^3-1)/3=Y(Y+1)…(3)と変形する。
(3)のXに任意の整数を代入すると、Yは無理数となる。
よって、(2)は成立しない。(1)は(2)の組み合わせによってできる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。