展开 证明方程最多有一个实根