展开 证明方程有实根