证明方程有三个实根