我们将求
∫ 0 π / 4 ln ( 1 + tan x ) d x . \int_0^{\pi/4} \ln(1+\tan x){\rm d}x. ∫0π/4ln(1+tanx)dx.
考虑换元,置 x = : π / 4 − t x=:\pi/4-t x=:π/4−t,则 d x = − d t {\rm d}x=-{\rm d}t dx=−dt, x = 0 , π / 4 x=0,\pi/4 x=0,π/4相当于 t = π / 4 , 0 t=\pi/4,0 t=π/4,0. 于是
I : = ∫ 0 π / 4 ln ( 1 + tan x ) d x = − ∫ π / 4 0 ln [