Mathematics

Mathematics

Problem

Prove that ∫01tan⁡−1xxdx=12∫0π2xsin⁡xdx\int_{0}^{1} \frac{\tan^{-1} x}{x} dx = \frac{1}{2} \int_{0}^{\frac{\pi}{2}} \frac{x}{\sin x} dx .

Browse the problem library