判别方程有无实数根的式子