質問＜２７９１＞に対して追加の質問です。

KINOさんの回答の中の
「一方，x，y は実数ですから (x-y\()^{2}\)≧0 です。」という部分なんですがこのとき、
ｘとｙが実数となるための必要十分条件とは何なのでしょうか？？
x，y は実数⇒(x-y\()^{2}\)≧0が成り立つのはわかりますが
x，y は実数⇔(x-y\()^{2}\)≧0 ではないんですよね..。
たとえば、x=2+i,y=3+iのときとか...
問題の解答に直接関係ない気もしますが、教えていただければ
ありがたいです。

★希望★完全解答★