方程mx2 2x 1=0至少有一个负根的充要条件