> x,yが有理数ならば、A=C としたとき、B-Dは、0以外の有理数となります。
これが証明されていない

数字を入れて計算してみて下さい。