Quartic equation
In mathematics, a quartic equation is the result of setting a quartic function equal to zero. An example of a quartic equation is the equation
the general form is
 where .
Contents
Solving the quartic equation
According to the fundamental theorem of algebra, a quartic equation always has four solutions (roots). They may be complex and there may be duplicate solutions.
Much effort has been turned to finding these roots. As with other polynomials, it is sometimes possible to factor a quartic equation directly; but more often such a feat is Herculean, especially when the roots are irrational or complex. Hence it would be useful to have a general formula or algorithm (analogous to the quadratic equation, which solves all quadratics). After much effort, such a formula was indeed found for quartics — but since then it has been proven (by Evariste Galois) that such an approach deadends with quartics; they are the highestdegree polynomial equations whose roots can be expressed in a formula using a finite number of arithmetic operators and nth roots. From quintics on up, one requires more powerful methods if a general algebraic solution is sought, as explained under quintic equations.
Given the complexity of the quartic formulae (see below), they are not often used. If only the real rational roots are needed, they can be found (as is true for polynomials of any degree) via trial and error, using Ruffini's rule (so long as all the polynomial coefficients are rational). In the modern age of computers, furthermore, good numerical approximations for the roots are rapidly obtainable via Newton's method. But if the quartic must be solved entirely and precisely, the procedures are outlined below.
Special cases
Quartics in name only
If a_{4} = 0, then one of the roots is x = 0, and the other roots can be found by dividing by x, and solving the resulting cubic equation,
Biquadratic equations
A quartic equation where a_{3} and a_{1} are equal to 0 takes the form
and thus is a biquadratic equation, very easy to solve. Let , so our equation turns to
which is a simple quadratic equation, whose solutions are easily found using the quadratic formula:
When we've solved it (i.e. found these two z values), we can extract x from them
If any of the z solutions were negative or complex numbers, some of the x solutions are complex numbers.
The general case, along Ferrari's lines
To begin, the quartic must first be converted to a depressed quartic.
Converting to a depressed quartic
Let
be the general quartic equation which it is desired to solve. Divide both sides by A,
The first step should be to eliminate the x^{3} term. To do this, change variables from x to u, such that
 .
Then
Expanding the powers of the binomials produces
Collecting the same powers of u yields
Now rename the coefficients of u. Let
The resulting equation is
which is a depressed quartic equation.
If then we have a Biquadratic equation, which (as explained above) is easily solved; using reverse substitution we can find our values for .
Ferrari's solution
Otherwise, the depressed quartic can be solved by means of a method discovered by Ferrari. Once the depressed quartic has been obtained, the next step is to add the valid identity
to equation (1), yielding
The effect has been to fold up the u^{4} term into a perfect square: (u^{2} + α)^{2}. The second term, α u^{2} did not disappear, but its sign has changed and it has been moved to the right side.
The next step is to insert a variable y into the perfect square on the left side of equation (2), and a corresponding 2y into the coefficient of u^{2} in the right side. To accomplish these insertions, the following valid formulas will be added to equation (2),
and
These two formulas, added together, produce
which added to equation (2) produces
This is equivalent to
The objective now is to choose a value for y such that the right side of equation (3) becomes a perfect square. This can be done by letting the discriminant of the quadratic function become zero. To explain this, first expand a perfect square so that it equals a quadratic function:
The quadratic function on the right side has three coefficients. It can be verified that squaring the second coefficient and then subtracting four times the product of the first and third coefficients yields zero:
Therefore to make the right side of equation (3) into a perfect square, the following equation must be solved:
Multiply the binomial with the polynomial,
Divide both sides by −4, and move the −β^{2}/4 to the right,
This is a cubic equation for y. Divide both sides by 2,
Conversion of the nested cubic into a depressed cubic
Equation (4) is a cubic equation nested within the quartic equation. It must be solved in order to solve the quartic. To solve the cubic, first transform it into a depressed cubic by means of the substitution
Equation (4) becomes
Expand the powers of the binomials,
Distribute, collect like powers of v, and cancel out the pair of v^{2} terms,
This is a depressed cubic equation.
Relabel its coefficients,
The depressed cubic now is
Solving the nested depressed cubic
The solutions (any solution will do, so pick any of the three complex roots) of equation (5) are
 let
 (taken from Cubic equation)
 let
therefore the solution of the original nested cubic is
 Remember 1:
 Remember 2:
Folding the second perfect square
With the value for y given by equation (6), it is now known that the right side of equation (3) is a perfect square of the form

 This is correct for both signs of square root, as long as the same sign is taken for both square roots. A ± is redundant, as it would be absorbed by another ± a few equations further down this page.
so that it can be folded:
 .
 Note: If β ≠ 0 then α + 2y ≠ 0. If β = 0 then this would be a biquadratic equation, which we solved earlier.
Therefore equation (3) becomes
 .
Equation (7) has a pair of folded perfect squares, one on each side of the equation. The two perfect squares balance each other.
If two squares are equal, then the sides of the two squares are also equal, as shown by:
 .
Collecting like powers of u produces
 .
 Note: The subscript s of and is to note that they are dependent.
Equation (8) is a quadratic equation for u. Its solution is
Simplifying, one gets
This is the solution of the depressed quartic, therefore the solutions of the original quartic equation are

 Remember: The two come from the same place in equation (7'), and should both have the same sign, while the sign of is independent.
Summary of Ferrari's method
Given the quartic equation
its solution can be found by means of the following calculations:

 if solve and substitute finding the roots
 .
 if solve and substitute finding the roots
 , (either sign of the square root will do, as long as does not disappear unnecessarily; in the case of we want )
 , (there are 3 complex roots, any one of them will do)

 The two ±_{s} must have the same sign, the ±_{t} is independent. To get all roots, find x for ±_{s},±_{t} = +,+ and for +,− and for −,+ and for −,−. Double roots will be given twice, triple roots 3 times and quadruple roots would be given 4 times (although then β = 0, which is a special case). The order of the roots depends on which cubic root U one chose. (see note for (8) visàvis (8'))
Quod Erat Faciendum.
There are other methods of solving the quartic equations, perhaps more optimal. Ferrari was the first to discover one of these labyrinthine solutions. The equation which he solved was
which was already in depressed form. It has a pair of solutions which can be found with the set of formulas shown above.
Obtaining alternative solutions the hard way
It could happen that one only obtained one solution through the seven formulae above, because one doesn't like trying all four sign patterns to get all four solutions, and the solution one obtained is complex. It may also be the case that one is only looking for a real solution. Let x_{1} denote the complex solution. If all the original coefficients A, B, C, D and E are real  which should be the case when one desires only real solutions  then there is another complex solution x_{2} which is the complex conjugate of x_{1}. If the other two roots are denoted as x_{3} and x_{4} then the quartic equation can be expressed as
but this quartic equation is equivalent to the product of two quadratic equations:
and
Since
then
Let
so that equation (9) becomes
Also let there be (unknown) variables w and v such that equation (10) becomes
Multiplying equations (11) and (12) produces
Comparing equation (13) to the original quartic equation, it can be seen that
and
Therefore
Equation (12) can be solved for x yielding
One of these two solutions should be the desired real solution.
Alternative methods
Reduction to a biquadratic
We may find the roots of
by converting it to a biquadratic equation by means of a Tschirnhaus transformation.
If , we may set to be a root of
 (see Cubic equation)
and
 to be .
This transforms the equation to
which is biquadratic and can be solved using square roots. Solving for in terms of entails solving a quadratic equation, also via square roots.
Hence we have a solution in terms of square roots and a root of a cubic polynomial.
This can result in four 's and consequently in eight 's; the four roots of (1) can then be determined by trial and error.
Galois theory and factorization
The symmetric group S_{4} on four elements has the Klein fourgroup as a normal subgroup. This suggests using a resolvent whose roots may be variously described as a discrete Fourier transform or a Hadamard matrix transform of the roots. Suppose r_{i} for i from 0 to 3 are roots of
If we now set
then since the transformation is an involution we may express the roots in terms of the four s_{i} in exactly the same way. Since we know the value s_{0} = b/2, we really only need the values for s_{1}, s_{2} and s_{3}. These we may find by expanding out the polynomial
which if we make the simplifying assumption that b=0, is equal to
This polynomial is of degree six, but only of degree three in z^{2}, and so the corresponding equation is solvable. By trial we can determine which three roots are the correct ones, and hence find the solutions of the quartic.
We can remove any requirement for trial by using a root of the same resolvent polynomial for factoring; if w is any root of (3), and if then
We therefore can solve the quartic by solving for w and then solving for the roots of the two factors using the quadratic formula.
See also
 Linear equation
 Quadratic equation
 Cubic equation
 Quintic equation
 Polynomial
 Lodovico Ferrari
 Girolamo Cardano
Reference
es:Ecuación de cuarto grado he:משוואה ממעלה רביעית ja:四次方程式 pt:Equação biquadrática ru:Биквадратное уравнение