>632
> (3)でyが無理数で、整数比になるならば、有理数で、整数比になります。

が，理由になると考えるなら，その成否はともかく【証明】に入れておくことは絶対に必要です。

これは、等式の性質により、自明です。