>442
rが有理数の時、a=1、r^(n-1)=nは絶対に成り立たないので、(1)は(3)に絶対になりません。

(修正24)において、
(1)(3)は成立しないということです。
つまり、x,yは有理数とならないということです。