Mostrar que $\int_0^1\frac{\ln(1+x)}{1+x^2}\mathrm dx=\frac{\pi}8\ln 2$ con el cambio de la variable $x=\tan y$.
Sugerencia: $1+\tan x=\sqrt 2\sin(x+\pi/4)/\cos x$.
Con el cambio de variable sugerido que obtener
$$\int_0^1\frac{\ln(1+x)}{1+x^2}\mathrm dx=\int_0^{\pi/4}\ln(1+\tan y)\mathrm dy$$
pero no sé exactamente qué hacer o qué hacer con la identidad $1+\tan x=\sqrt 2\sin(x+\pi/4)/\cos x$.
He intentado algunos cambios de variables o integración por las piezas pero nada funciona. He intentado escribir el logaritmo como una serie pero los elementos $\tan^k x$ se complican para integrar. Alguna ayuda será apreciada, gracias.