一元二次方程有实数解的推导方式是什么