令t=cosx,
则∫1/(1-t^2)dt
=1/2∫[1/(1+t)+1/(1-t)]dt
=1/2[ln│1+t│-ln│1-t│]+C
=1/2[ln│1+cosx│-ln│1-cosx│]+C