设定义在(-∞,3]上的减函数f(x)满足f(a^2-x)