原式=∫dt/cost=∫cost/[(1-sint)(1+sint)]dt=1/2∫d(sint)/(1-sint)+1/2∫d(sint)/(1+sint)=1/2ln(1+sint)-1/2ln(1-sint)+C=1/2ln[(1+sint)/(1-sint)]+C