表面上看似复杂,其实一个分部积分法就搞点啦!
x=tant, (1+x^2)^(1/2) = sect, dx = (sect)^2 dt
原式 = ∫ ln(tant + sect) * cost dt = ∫ ln(tant + sect) d(sint)
= sint ln(tant + sect) - ∫ sint * [ ( sect)^2 + sect tant ] / ( tant + sect) dt
= sint ln(tant + sect) - ∫ sint * sect dt
= sint ln(tant + sect) - ∫ tant dt
= sint ln(tant + sect) + ln cost + C
= ......