已知不等式x^2+ax+1