>>898つづき
> (3)でx、y、zが無理数で、整数比となるならば、共通の無理数で割ると商は、
> 有理数となります。
891より
有理数の時、r=(ap)^{1/(p-1)}になって、x、y、zは(5)を満たすんですよね？
じゃあ(5)を調べないといけません。

(5)を満たす有理数x、y、zが存在するとき
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、
a^{1/(p-1)}は無理数なので、(3)のx,y,zは無理数のはずですね。
じゃあ(3)を調べないといけません。

> (3)でx、y、zが無理数で、整数比となるならば、共通の無理数で割ると商は、
> 有理数となります。
891より
有理数の時、r=(ap)^{1/(p-1)}になって、x、y、zは(5)を満たすんですよね？
じゃあ(5)を調べないといけません。

(5)を満たす有理数x、y、zが存在するとき
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、
a^{1/(p-1)}は無理数なので、(3)のx,y,zは無理数のはずですね。
じゃあ(3)を調べないといけません。

> (3)でx、y、zが無理数で、整数比となるならば、共通の無理数で割ると商は、
> 有理数となります。
891より
有理数の時、r=(ap)^{1/(p-1)}になって、x、y、zは(5)を満たすんですよね？
じゃあ(5)を調べないといけません。

(5)を満たす有理数x、y、zが存在するとき
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、
a^{1/(p-1)}は無理数なので、(3)のx,y,zは無理数のはずですね。
じゃあ(3)を調べないといけません。