上海典当行收购古钱币:已知二次函数 y=ax^2+bx+c,且a<0,a-b+c>0,求证:b^2-4ac>0