【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)