>644
>583についてコメントをお願いします。
読めますよね？

652と思いますが、
ｒが有理数、ｘが有理数、ｙが有理数の時、x,yをa^{1/(p-1)}で割ればxが無理数、ｙが無理数となって無限に存在する(※)の場合のうちのどれかになる。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数の解を持たないとはいえない。

p=3のとき、x,yを√3で割ると、
(x/√3)^3+(y/√3)^3=(x/√3+r)^3
両辺に、√3^3を、かけると、
x^3+y^3=(x+√3*r)^3となるので、
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数の解を持たない。
となります。