对一元二次方程公式法的验证