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=y(y+1)とする。両辺の分母を1に揃える。
(x^3-1)/3-y(y+1)はxの増加につれて値が大きくなる。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。