Lemmata for Euler's Third Substitution/Lemma 4

Theorem
Let Euler's third substitution be employed in order to evaluate a primitive of the form:
 * $\ds \map R {x, \sqrt {a x^2 + b x + c} } \rd x$

where $R$ is a rational function of $x$ and $\sqrt {a x^2 + b x + c}$.

Thus:
 * $\ds \sqrt {a x^2 + b x + c} = \sqrt {a \paren {x - \alpha} \paren {x - \beta} } = \paren {x - \alpha} t$

Then we have:
 * $t = \pm \sqrt {\dfrac {a \paren {x - \beta} } {x - \alpha} }$

Also see

 * Definition:Euler's Third Substitution