>26
「rが無理数の場合yを有理数とするとxは有理数とならない」が成り立つ

はい。その通りです。