Primitive of Reciprocal of x squared plus a squared/Arctangent Form/Proof 2

Proof
We have that $x^2 + a^2$ is in the form $a x^2 + b x + c$, where $b^2 - 4 a c < 0$.

Thus from Primitive of $\dfrac 1 {a x^2 + b x + c}$ for $b^2 - 4 a c > 0$:
 * $\displaystyle \int \frac {\d x} {a x^2 + b x + c} = \frac 2 {\sqrt {4 a c - b^2} } \map \arctan {\frac {2 a x + b} {\sqrt {4 a c - b^2} } } + C$

setting $a := 1, b := 0, c := a^2$: