一元二次方程里的判别式是不是公式法里的公式?