>995
>>985の証明のどこにyに有理数を代入すると書いてあるの？
> (3)はrが有理数なので、有理数解を持つ。
としか書いてないが

rが有理数の場合、yに有理数を代入すると、xは必ず有理数となります。