x^2+ax+1>0 (a为常数)