Primitive of Function of Root of a squared minus x squared

Theorem

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

where $x = a \sin u$.

Proof
First note that:

Then: