如何证明方程有两个实根