Primitive of Function of Root of x squared minus a squared

Theorem

 * $\ds \int \map F {\sqrt {x^2 - a^2} } \rd x = a \int \map F {a \tan u} \sec u \tan u \rd u$

where $x = a \sec u$.

Proof
First note that:

Then: