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