Primitive of Reciprocal of Root of x squared minus a squared/Logarithm Form

Theorem

 * $\displaystyle \int \frac {\d x} {\sqrt {x^2 - a^2} } = \map \ln {x + \sqrt {x^2 - a^2} } + C$

Proof
We have that $\sqrt {x^2 - a^2}$ is defined only when $x^2 > a^2$, that is, either:
 * $x > a$

or:
 * $x < -a$

where it is assumed that $a > 0$.

Consider the arcsecant substitution:


 * $u = \arcsec {\dfrac x a}$

which is defined for all $x$ such that $\size {\dfrac x a} \ge 1$.

That is:
 * $\size x \ge a$

Hence from Shape of Secant Function, this substitution is valid for all for all $x$ such that $\size {\dfrac x a} \ge 1$.

Let $x > 1$.

Then:

Now suppose $x < -1$.

Let $z = -x$.

Then:
 * $\d x = -\d z$

and we then have:

The result follows.

Also see

 * Primitive of Reciprocal of $\sqrt {x^2 + a^2}$: Logarithm Form
 * Primitive of Reciprocal of $\sqrt {a^2 - x^2}$