Primitive of Reciprocal of a x squared plus b x plus c/Negative Discriminant

Theorem
Let $a \in \R_{\ne 0}$.

Let $b^2 - 4 a c < 0$.

Then:


 * $\ds \int \frac {\d x} {a x^2 + b x + c} = \frac 2 {\sqrt {4 a c - b^2} } \map \arctan {\dfrac {2 a x + b} {\sqrt {4 a c - b^2} } } + C$

Proof
First:

Put:

Let $D = b^2 - 4 a c$.

Thus:

Let $b^2 - 4 a c < 0$.

Then:

Thus: