Primitive of x over x squared plus a squared

Theorem

 * $\ds \int \frac {x \rd x} {x^2 + a^2} = \frac 1 2 \map \ln {x^2 + a^2} + C$

where $a$ is a non-zero constant.