用万能代换
∫1/1+cosx dx
=∫1/(2cos^2(x/2) )dx
=1/2∫sec^2(x/2) dx
=tanx/2+C