展开 方程至少有一个负根的充要条件