一元二次方程有实数根的充要条件