>686
> p=2のとき、
> x^p+y^p=(x+2)^pは有理数解を持ちます。
だからおまえの証明は間違いなんだよ
p=2のとき
> (3)が有理数解を持つので、(4)は自然数解を持つ。

p=2のとき、(3)(4)は有理数解を持ちます。
と
(4)が有理数解を持たないので(3)も有理数解を持たない
は矛盾するから