>165
> n=2のときも「rが無理数の場合yを有理数とするとxは有理数とならない」が成り立つだろ

(修正1)で、(aは有理数)としているので、(4)のrは無理数となりません。