Many years ago, while in high school, I tried my hand at solving cubic and quartic formulas. Although there are entirely systematic approaches, using Galois theory, this was not something that I was familiar with at the time. I had just heard that it is possible. Here, ‘solving’ means to find an expression for the roots of the polynomial in terms of its coefficients, involving the standard arithmetical operations of addition, subtraction, multiplication and division, as well as extracting square roots, cube roots, etc.

The solution for cubics went very well. In class one day, the teacher wrote a specific example of a quartic on the blackboard, and proceeded to solve it by reducing to two easy quadratics. The reason that his example worked so easily is because the coefficients formed a palindrome. That is, they were the same when written in reverse order. As an example, consider the equation,

If we divide through by then, with a little rearranging, this gives,

As a quadratic in , this is easily solved. One solution is . Multiplying by *x* and rearranging gives a new quadratic,

By the standard formula for quadratics, we obtain

It can be checked that this does give two real solutions to the original quartic.

Now, the approach that I attempted for the general quartic was to apply a substitution in order to simplify it, so that a similar method can be applied. Unfortunately, this resulted in a very messy equation, which seemed to be giving a *sextic*. That is, I went from the original fourth order polynomial, to what was looking like a sixth order one. This was complicating the problem, and getting further away from the goal than where I had started. I am not sure why I did not give up at that point, but I continued. Then, something amazing happened. Computing the coefficients of the sixth, fifth and fourth powers in this sextic, they all vanished! In fact, I had succeeded in reducing the quartic to a cubic, which can be solved. This still seems surprising, that such a messy looking expression should cancel out like this, in just the way that was needed. See equation (2) below for what I am talking about. As this was such a surprise at the time, and is still so now, I have decided to write it up in this post. It just demonstrates that, even if something seems hopeless, if you continue regardless then everything might just fall into place.

To be complete, I include the solutions for all polynomials up to order 4, although it really gets interesting for the general quartics. As linear equations of the form are immediately solved by , we start with the familiar quadratics.

#### Quadratics

The solution of a quadratic of the form

for coefficients *a*, *b* and *c* with , is standard high school maths, so hardly needs describing. I will still briefly go over one method of solving this, as it can be done in a very similar way as for higher degree polynomials, where we simplify it by a simple substitution. If the coefficient *b* was zero, then it would be a linear equation in , so would have the solutions . More generally, try substituting for some number *k* to be chosen in a moment. This gives a new quadratic for *y*,

The coefficient of *y* gives a linear equation in *k*, and can be set to zero by taking . So, solving gives and substituting back gives the usual quadratic formula

#### Depressed cubics

Moving up a degree, cubic equations are considerably more complicated than quadratics. However, *depressed* cubics, despite the name, are actually pleasantly straightforward. These have no term so, after dividing through by the leading coefficient, can be written as

I extract out the factors 2 and 3 from the coefficients now, as this will simplify the formulas. Consider solutions of the form , with *u* and *v* to be chosen. We can make use of the identity to express the cubic as,

There is some freedom in how this can be solved, since adding any amount to *u* and subtracting the same amount from *v* changes nothing. I will try and make the coefficient of *x* and the constant term both zero, which is equivalent to solving the simultaneous equations,

It follows that and are the two solutions of the quadratic,

Applying the standard formula for quadratics solves the depressed cubic,

This is Cardano’s formula. In the case where is positive, then we can take the real cube roots and obtain a real solution to the cubic. More generally, any complex number has three cube roots. If we were to allow any of these cube roots, then there are nine possible values for *x*, which is too many. In fact, given any value for *u*, the value of *v* is fixed by the identity , so we obtain the three roots of the cubic.

#### General cubics

Given an arbitrary cubic of the form

then, consider making a substitution of the form , for a number *k* to be chosen. We obtain a cubic equation for *y*,

This will be a depressed cubic so long as the coefficient of is zero. As this is a linear equation for *k*, it is easily solved as . Hence, we can solve for *y* using the depressed cubic formula above, then obtain .

#### Palindromic quartics

Back in school, the teacher wrote an example of a fourth order polynomial on the blackboard. He proceeded to solve it by some simple rearrangements, which reduced to solving two quadratics. The reason that this worked, is because the coefficients formed a palindrome. That is, they were the same in reverse order as in the original order. Consider the general case,

Dividing through by gives an equation which is unchanged under replacing *x* by 1/*x*,

This reduces to a quadratic in ,

As it is quadratic, this can be solved by the standard formula so, supposing that is one solution, we have or, after multiplying by *x*,

This gives a quadratic for , which is solved by the standard formula.

#### Quasi-palindromic quartics

Palindromic quartics reduce to a couple of quadratics, by the simple trick described above. We ask, for which general quartics of the form

does the trick still work? It turns out that it is sufficient for the coefficients to satisfy

The edge case with also has , and the the quartic is actually just a quadratic in . So, suppose that . As before, divide through by ,

This gives a quadratic in ,

which can be solved by the standard formula. If is a solution then . Multiplying through by *bx* gives another quadratic

which, again, can be solved for *x* with the standard formula.

#### General quartics

Starting with the general quartic equation

we try substituting in for some choice of *k*. This gives a new quartic for *y*,

(1) |

whose coefficients are polynomials in *k*,

From the treatment of quasi-palindromic quartics above, we know that the equation for *y* can be solved, so long as we choose *k* such that . Let’s try this. We just need to solve for *k* such that

is zero. This is starting to look a bit messy. Even worse, notice that expanding out will result in powers of *k* up to degree six. The attempt to simplify our quartic, seems to be giving a rather messy sextic. Hardly a simplification, and we seem to be getting further away from the goal than where we started!

Let’s plough on regardless. Expanding out the squares above, we obtain the following even messier looking expression,

(2) |

Now, let’s extract out the coefficients of powers of *k*. The coefficient of is,

Great! Now, the coefficient of is,

Fantastic! The coefficient of is,

Wow! This reduces the equation for *k* to a cubic, at most. Despite how unlikely it was looking a few moments ago, this works, and we obtain a solution to the general quartic. Computing the remaining coefficients gives

which, admittedly, is still a bit messy. I will not try directly substituting this back into the formulas given above for cubics. Instead, just note that, for any coefficients of a quartic in *x*, we obtain at most a cubic in *k*. This can be solved using the methods above. Then, solve the quasi-palindromic quartic (1) by reducing it to a couple of quadratics, and we obtain the solution of the original quartic as .