>558
> (3)はrが無理数なので、x,yが整数比のときは、成立しない。

ここまでの議論で、これ、証明できているんですか？

x,yが有理数のとき、成立しないので、x,yが整数比のときは、成立しません。