>207
それは説明になっていません。(3)のx,yが無理数で自然数比をなすことがありえると日高さんも認めたではありませんか。

(3)のx,yが無理数で整数比をなすならば、x,yが有理数で、整数比をなします。