【定理】p=2のとき、x^p+y^p=z^pは自然数解を持つ。
x^2+y^2=z^2を、x^2+y^2=(y+1)^2…(1)とおく。(x,yは有理数)
(1)を(x-1)(x+1)=2y…(2)と変形する。
(2)は(x-1)=2のとき、(x+1)=yとなる。
∴p=2のとき、x^p+y^p=z^pは自然数解を持つ。