>>68
> >56
> >z^p/a=x+y, a={x^(p-1)-x^(p-2)y+…+y^(p-1)} と
> z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> の解の関係はどうなると思っていますか？
>
> z^p/a=x+y, a={x^(p-1)-x^(p-2)y+…+y^(p-1)}の解と、
> z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}の解の比は、
> 同じです。

z^p/a=x+y, a={x^(p-1)-x^(p-2)y+…+y^(p-1)} (aは1以外の自然数) …(1)
を満たす有理数解が存在する場合
z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} …(2)
(2)の解で(1)の解と比が同じになるものを考えると、(2)の解は(1)の解の1/a^{1/(p-1)}倍になります。
pは奇素数なので、これは一般的には有理数ではありません。

ですから、(1)の有理数解が存在する場合に(2)の有理数解が必ず存在するとは言えません。

結論としては、、
z^p=（x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
に有理数解があるかどうか判断するのに
z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の有理数解だけを考えればよいことにはなりません。