Descartes's Solution to Quartic Equation
Theorem
Let $P$ be the quartic equation:
- $a x^4 + b x^3 + c x^2 + d x + e = 0$
such that $a \ne 0$.
Then $P$ has solutions:
| Work In Progress In particular: Work to be done to complete this You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{WIP}} from the code. |
Proof
First we render the quartic into monic form:
- $x^4 + \dfrac b a x^3 + \dfrac c a x^2 + \dfrac d a x + \dfrac e a = 0$
Using a Tschirnhaus transformation, $x = y - \dfrac b {4 a}$, we convert $P$ into the reduced quartic:
- $y^4 + p y^2 + q y + r = 0$
This is set identically equal to:
- $\paren {y^2 + \lambda y + m} \paren {y^2 - \lambda y + n}$
Equating coefficients and eliminating $m$ and $n$ we obtain the following cubic in $\lambda^2$:
- $\lambda^6 + 2 p \lambda^4 + \paren {p^2 - 4 r} \lambda^2 - q^2 = 0$
which can be solved using Cardano's Method, for example.
Hence by solving the two quadratic equations:
| \(\ds y^2 + \lambda y + m\) | \(=\) | \(\ds 0\) | ||||||||||||
| \(\ds y^2 - \lambda y + n\) | \(=\) | \(\ds 0\) |
the solution to the reduced quartic is found.
$\blacksquare$
Also see
Source of Name
This entry was named for René Descartes.
Historical Note
René Descartes came up with his in $1637$.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): quartic (biquadratic)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): quartic (biquadratic)