ln(1+tanx)=lngen2+lnsin(x+pai/4)-lncosx
lnsin(x+pai/4)在0到pai/4上的积分等于lnsinx在pai/4到pai/2的积分
用pai/2减积分的上下限可得lnsin(pai/2-x)从0到pai/4的积分即lncosx从0到pai/4的积分,第一行式子后两项积分为0故有
原式=pai/8ln2
∫[0,π/4]ln(1+tanx)dx
换元π/4-t=x
=-∫[π/4,0]ln[1+(1-tant)/(tant+1)]dt=
=∫[0,π/4]ln[2/(tant+1)]dt=∫[0,π/4]ln2-∫[0,π/4]ln(tant+1)dt=πln2/4-∫[0,π/4]ln(tanx+1)dx
2∫[0,π/4]ln(1+tanx)dx=πln2/4
所以∫[0,π/4]ln(1+tanx)dx=πln2/8