>475
>以下の証明を読んでおかしい部分が分かりますか？
【定理】p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在する。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、x^2=(z+y)(z-y)…(1)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のyにどんな偶数を代入しても、xは、偶数とならない。
∴p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。

(3)のyにどんな偶数を代入しても、xは、偶数とならない。
∴p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。
がおかしいです。