验证此函数单调性f(x)=tanx-(1/cosx)^2 在(0,pi/2)区间内好像是先增后减 求验证