展开 证明方程至少有一负实根