>z=x+rなんだから、

r=p^{1/(p-1)}ならば、rは無理数だから「xを有理数とすると、zは無理数となる」よって、x:zは整数比になり得ない……④

rが有理数になるようにaを決めてr=(ap)^{1/(p-1)}としたならば、xを有理数とすると、zは必ず有理数となる。だから、x:zは必ず整数比になる……⑤

この場合、ｙはどうなるでしょうか？