【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はxを有理数とすると、z,yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。