2次方程式が実数解をもつ条件