y=x^2+2ax+1在(-无穷大,1)上为减函数