x=tant, 则 dx=d(tant)=(sect)^2dt,与原式子(1+(tanx)^2)约掉了。
注意:1+(tanx)^2=(sect)^2
∫(0,π/4) ln2dx -∫(0,π/4) ln(1+tanx)dx
因为该式子就是∫(0,π/4) ln(1+tanx)dx转化而来,所以,
∫(0,π/4) ln2dx -∫(0,π/4) ln(1+tanx)dx=∫(0,π/4) ln(1+tanx)dx
那么:∫(0,π/4) ln2dx =2∫(0,π/4) ln(1+tanx)dx
则:∫(0,π/4) ln(1+tanx)dx=1/2*∫(0,π/4) ln2dx =1/2*ln2*(π/4-0)=π/8*ln2