已知不等式x2+ax-2