根据未达定理,两个根为x,y:
x+y=-b/a
xy=c/a
如果两个根为一正一负,则c/a<0.同时满足判别式大于0.