n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。x,yは有理数。
{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)と変形する。
x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。
右辺はyの増加につれて、y+0.5に近づく。
左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。