r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x},
r^(p-1)=pとすると、r=p^{1/(p-1)}となります。

ここが理解できない。
r^(p-1)=pとなぜ仮定しちゃってるんですか？？

r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x}
の左辺は有理数×有理数という形になっているので、掛け合わしてる数のいずれかは素数の倍数になるという整数の性質は使えないと思うのですが。
違う論法なんですかね。

ちょっと解説を。