Primitive of Root of a squared minus x squared/Arccosine Form

Theorem

 * $\ds \int \sqrt {a^2 - x^2} \rd x = \frac {x \sqrt {a^2 - x^2} } 2 - \frac {a^2} 2 \arccos \frac x a + C$

Proof
Let:

Also see

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