展开 二元一次方程至少有一个负实根