令g(x)=f(x)-2=x-tanx
则g(x)为奇函数,有g(-x)=-g(x)
不等式化为:
g(a^2-1)+2+g(1-a)+2>4
g(a^2-1)>-g(1-a)
g(a^2-1)>g(a-1)
因为g'(x)=1-(secx)^2