∫0π/4πx−4x2log1+tanxdx=
Let I=∫0π/4 4xπ4−xlog(1+tanx)dx→ (1). Apply ∫ab f(x)dx=∫ab f(a+b−x)dx ⇒I=∫0π/4 4π4−xxlog1+tanπ4−xdx→(2)(1)+(2)⇒2I=(log2)⋅4∫0π/4 xπ4−xdx⇒I=2log2π4⋅x22−x330π/4 =2log2π8π216−13π364
=π3192.log2