Definite Integral from 0 to 1 of Logarithm of x by Logarithm of One plus x

Theorem

 * $\displaystyle \int_0^1 \ln x \map \ln {1 + x} \rd x = 2 - 2 \ln 2 - \frac {\pi^2} {12}$