>>40
> rが無理数の時にyを無理数とした場合は、1で説明しています。
していないよ

>>1
> (3)の右辺を二項展開すると、yが有理数のとき
> (p^{1/(p-1)})/wが無理数の場合は、(3)と同じとなるので、tが有理数のとき