Primitive of Reciprocal of Root of a x squared plus b x plus c/a less than 0

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

Then for $x \in \R$ such that $a x^2 + b x + c > 0$:


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

given that $b^2 \ne 4 a c$.

Zero Discriminant
In summary:


 * For $b^2 - 4 a c > 0: \ds \int \frac {\d x} {\sqrt {a x^2 + b x + c} } = \frac {-1} {\sqrt {-a} } \map \arcsin {\frac {2 a x + b} {\sqrt {b^2 - 4 a c} } } + C$


 * For $b^2 - 4 a c < 0: \ds \int \frac {\d x} {\sqrt {a x^2 + b x + c} } = \frac {-1} {\sqrt {-a} } \map \arcsin {\frac {2 a x + b} {\sqrt {-\paren {b^2 - 4 a c} } } } + C$

and so by definition of absolute value:


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