>>212

そんなこと>>195には書いてありませんよ。

> (4)の解x,yは、(3)の解x,yのa^{1/(p-1)}倍となる

のだったら、m/(a^{1/(p-1)}、n/(a^{1/(p-1)}がく(3)の解なら
(4)の解はm、nでともに有理数です。