Primitive of x over x squared minus a squared

Theorem

 * $\displaystyle \int \frac {x \ \mathrm d x} {x^2 - a^2} = \frac 1 2 \ln \left\vert{x^2 - a^2}\right\vert + C$

Proof
Let: