二次函数至少有一个负根的充要条件