Primitive of x over x squared plus a squared

Theorem

 * $\displaystyle \int \frac {x \ \mathrm d x} {x^2 + a^2} = \frac 1 2 \ln \left ({x^2 + a^2}\right) + C$

where $a$ is a non-zero constant.

Proof
Let: