>649
>【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高氏式証明】1×(x^p+y^p)=(-z^p)×(-1)となる。

上記の方法は、p=2の場合も通用するはずですが、
1=(-z^p)、x^p+y^p)=(-1)は、x,y,zが有理数のとき、式を満たしません。