积分1/cos^2xdx主意分母是是cos平方x还有一道