Primitive of Function of Root of a squared plus x squared

Theorem

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

where $x = a \tan u$.

Proof
First note that:

Then: