>それは r=p^{1/(p-1)} という追加の仮定が入ってるからでしょ。
rが有理数の場合は成り立たないから関係ない。

rが有理数の場合は、r=(pa)^{1/(p-1)}となります。