実数条件(a-b)^2>=0が使えるのはa,bが二次方程式の解である場合だけですか？