Transformando a coordenadas polares, demuestre que
$$\int_{0}^{1} \int_{0}^{x}\frac{1}{(1+x^2)(1+y^2)} \,dy\,dx$$
Es igual a
$$ \int_{0}^{\pi/4}\frac{\log(\sqrt{2}\cos(\theta))}{\cos(2\theta)} d\theta$$
He probado el estándar $x=r\cos(\theta)$ etc. Y puede ver fácilmente que los límites para theta son $0,\pi/4$ con un boceto. Sin embargo, me cuesta calcular la integral que sale, que oscila $r$ de $r=0$ a $r=\frac{1}{\cos{\theta}}$ . Además, puedo integrar esto explícitamente usando la sustitución de tan, pero ¿eso ayuda?