>697
>【日高氏風・定理】pが奇素数のとき、x^p+y^p=z^2は、自然数解を持たない。
【日高氏風・証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
したがって、z^2×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
(左辺の右側)=(右辺の右側)となるので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)とおく。
(2)の有理数解は、x=1、y=1のみである。z^2=(x+y)にx=1、y=1を代入する。
z^2=1+1=2となる。z^2=2を満たす有理数zはない。
∴pが奇素数のとき、x^p+y^p=z^2は、自然数解を持たない。

3^2*1=(x+y)(x^2-xy+y^2)にx=1、y=1を代入すると、
3^2=(x+y)式は成り立ちません。
3^2*1=(x+y)(x^2-xy+y^2)にx=1、y=2を代入すると、
3^2*1=(1+2)(1^3-1*2+2^2)式は成り立ちます。
pが奇素数のとき、x^p+y^p=z^2は、自然数解を持たない。が間違いです。