Primitive of Reciprocal of x by x squared plus a squared/Partial Fraction Expansion

Lemma for Primitive of Reciprocal of $x \paren {x^2 + a^2}$

 * $\dfrac 1 {x \paren {x^2 + a^2} } \equiv \dfrac 1 {a^2 x} - \dfrac x {a^2 \paren {x^2 + a^2} }$

Proof
Setting $x = 0$ in $(1)$:

Equating coefficients of $x^2$ in $(1)$:

Equating coefficients of $x$ in $(1)$:

Summarising:

Hence the result.