换元z=x-π/2,secx=1/cosx=1/sin(π/2-x)=-1/sinz,tanx=cot(π/2-x)=cot(-z)=-cotz=-1/tanz,分母化为-1/2×1/z^2.
右边式子的负号貌似是错误的