- Thread starter
- #1

- Jan 17, 2013

- 1,667

Prove the following integral

This is not too challenging and could be solved by elementary functions .

\(\displaystyle \int^1_0 \frac{\mathrm{arctan}(x)}{1+x}\,dx = \frac{\pi}{8} \log(2) \)

This is not too challenging and could be solved by elementary functions .

Last edited: