ｘ，ｙが実数のときｘ−ｙは実数だから（ｘ−ｙ）＾２は０以上。

（ｘ−ｙ）＾２が０以上のときｘ−ｙは実数だから
ｘ＋ｙが実数ならｘ，ｙは実数。