>624
(x/q)^p + (y/q)^p=(x/q+p^{1/(p-1)}/q)^pとならないでしょうか?

すみません。間違えました。
(x/q)^p + (y/q)^p=(x/q+p^{1/(p-1)}/q)^pです。

当然,(x/q+p^{1/(p-1)}/q)も有理化されてしまうんですよ。

どういう意味でしょうか?