Primitive of Reciprocal of a squared minus x squared/Inverse Hyperbolic Tangent Form

Theorem

 * $\displaystyle \int \frac {\mathrm d x} {a^2 - x^2} = \frac 1 a \tanh^{-1} {\frac x a} + C$

where $x^2 < a^2$.

Proof
Let:

Also see

 * Primitive of Reciprocal of $x^2 + a^2$
 * Primitive of Reciprocal of $x^2 - a^2$ for the case $x^2 > a^2$