>167
> s,tが有理数のとき、成り立ちません。
どうしてでしょうか。

根拠は、
(4)のrが有理数のとき、x,yは、(3)のx,yのa^{1/(p-1)}倍となるので、整数比とならない。
です。