Primitive of Root of x squared minus a squared

Theorem

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

Proof
Let:

Also:

and:

Thus:

Also see

 * Primitive of $\sqrt{x^2 + a^2}$
 * Primitive of $\sqrt{a^2 - x^2}$