【定理】p=3のとき、x^p+y^p=z^pは自然数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3…(1)とおいて、有理数解を求める。
(1)を(x-1)(x^2+x+1)=3(y^2+y)…(2)と変形する。
(2)が成立するならば、(x-1)=3のとき、(x^2+x+1)=(y^2+y)…(3)となる。
(3)はx=4のとき、左辺は奇数、右辺は偶数となる。
よって、(3)(2)(1)は有理数解を持たない。
∴p=3のとき、x^p+y^p=z^pは自然数解を持たない。