(3)式の場合。
xが有理数、yが無理数ならば、A=C と B=D が成立します。(B-D=0)
x,yが有理数ならば、A=C としたとき、B-Dは、0以外の有理数となります。
私の言っていることは、これ以外には、ありません。