【定理】n=3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3…(1)とおく。(x,yは有理数)
2元方程式が有理数解を持つならば、必ず整数解を持つので、x,yは整数とする。
(1)を(x^3-1)/3=y^2+y…(2)と変形する。
(2)の左辺をA,右辺をBとおく。A=Bならば、A^(1/2)=B^(1/2)となる。
B^(1/2)は、yの増加につれて、y+0.5に近づく。
A^(1/2)は、xの増加につれて、y+0.5に近づかない。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。