可以直接算,不用换元
详情如图所示,有任何疑惑,欢迎追问
换元π/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)dx2∫[0,π/4]ln(1+tanx)dx=πln2/4所以∫[0,π/4]ln(1+tanx)dx=πln2/8