n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数と仮定する。
y=2,x=t,m=1とおいて、2^n=(t+1)^n-t^n…(2)とする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは有理数。
(2)は成立するので、(2^n)k={(t+1)^n}k-(t^n)k及び(3),(1)も成立する。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。