关于x的方程ax的平方+x+1=0至少有一个负实根旳充要条件