Primitive of x over Root of x squared plus a squared

Theorem

 * $\displaystyle \int \frac {x \ \mathrm d x} {\sqrt {x^2 + a^2} } = \sqrt {x^2 + a^2} + C$

Proof
Let: