展开 证明方程存在两个实根