已知函数f(x)=x^2+2x(a-1)+2在区间(-∞,4]上是减函数