>とりあえず n^p は直そうよ

失礼しました。ご指摘ありがとうございます。

ピタゴラスの定理の証明

【定理】n=2のとき、x^n+y^p=z^nは自然数解を持つ。
x^2+y^2=z^2を、x^2+y^2=(x+r)^2…(1)とおく。
(1)をr{(y/r)^2-1}=2(x)…(2)と変形する。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はr=3のとき、x^2+y^2=(x+3)^2…(4)となる。(mは有理数)
(3)はyが1のとき、xは-3/4となるので、有理数解を持つ。
(4)のx,yは(3)のx,yの3/2倍となるので、(4)も有理数解を持つ。
∴n=2のとき、x^n+n^p=z^nは自然数解を持つ。