b^-4ac＞0
∵a＜0
∴二次函数开口向下
∵当x=-1时
y=a-b+c＞0
∴二次函数必与x轴有两个交点
∴ax^2+bx+c=0必有两个不相同实数根
∴△=b^-4ac＞0