>627
> (3)はyを有理数とすると、xは無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
> (3)はyを有理数とすると、xは無理数となる。(4)の解は(3)の解の√a倍となる。

(3)のyを有理数とした時点でyとrの比が整数比にならないから証明になっていない

間違いでしょうか？