# Gowers's Weblog

Mathematics related discussions

## Discovering a formula for the cubic

In this post I want to revisit a topic that I first discussed on my web page here. My aim was to present a way in which one might discover a solution to the cubic without just being told it. However, the solution that arose was not very nice, and at the end I made the comment that I did not know a way of removing the rabbit-out-of-a-hat feeling that the usual much neater formula for the cubic (together with its derivation) left me with.

A couple of years ago, I put that situation right by stumbling on a very simple idea about quadratic equations that generalizes easily to cubics. More to the point, the stumble wasn’t completely random, so the entire approach can be justified as the result of standard and easy research strategies. I am no historian, but I would imagine that this idea is pretty similar to the idea (in some equivalent form) that first led to this solution.

I shall assume familiarity with solving quadratics—the problem here is to find the right way of generalizing this solution. (If you want to see how one might discover a solution to the quadratic then I cover that in the earlier discussion of cubics.) Given that, then the first step in a natural discovery of a solution of the cubic is the observation, which one can hardly help making, that solutions to quadratics take the form $u\pm\sqrt{v}$. If we now turn things round and just assume that solutions will take this form then we can get a very quick derivation of the quadratic formula, which, for simplicity, I will do just for quadratics of the form $x^2+bx+c$. (Of course, it is very easy to reduce the general case to this case, so this is not a serious loss of generality.)

The derivation comes from the well-known fact that the roots of such a quadratic must add up to $-b$ and must multiply to give $c$. The first fact tells us that $u=-b/2$ and the second tells us that $(u+\sqrt{v})(u-\sqrt{v})=c$, which in turn tells us that $u^2-v=c$, so that $v=u^2-c$. By our earlier computation, this is $b^2/4-c$. This gives the usual quadratic formula in the case $a=1$.

Was that a fully justified argument? Yes, because once you are looking for roots of the form $u\pm\sqrt{v}$ there is no mystery behind the idea of looking at what you know about the two roots, converting that into some equations for $u$ and $v$ and trying to solve those equations. You can’t tell in advance that the equations will have a nice solution, but it’s very natural to give the approach a try.

Now let us ask ourselves the following question: what would be the most blindingly obvious way of generalizing the above approach to cubics? There are two ideas we might have in connection with this. The first is to try to get the cubic into as simple a form as possible, and the second is to make a guess about the general form of the roots. Let us take each of these in turn, beginning with the second.

What is the most natural way of generalizing our choice above for the form of the roots? To ask this question another way: we are trying to find XXX, where XXX is to the number 3 as $u+\sqrt{v}$ and $u-\sqrt{v}$ are to the number 2. There is a very obvious guess: we should take $u+r$, $u+s$ and $u+t$, where $r$, $s$ and $t$ are the three cube roots of some number $v$. If we write $\omega$ for the cube root of 1 (or, to be more specific, the number $e^{2\pi i/3}$, then we can write this guess as $u+v^{1/3}$, $u+\omega v^{1/3}$ and $u+\omega^2v^{1/3}$ (where $v^{1/3}$ is some cube root of $v$—it doesn’t matter which).

By analogy with the quadratic case, we are hoping that this will be the general form of a solution to the equation $x^3+bx^2+cx+d=0$. But a moment’s thought shows that it cannot be. Let us see this in two different ways.

The first is that if that is the general form of the roots, then we have two degrees of freedom—the choice of $u$ and the choice of $v$. But we are looking at a three-dimensional set of equations (since we are free to choose $b$, $c$ and $d$). It is a good exercise to prove rigorously that our guess is guaranteed to be wrong for this reason, but for now let us be satisfied with the observation that it looks very worrying. Indeed, if life were that simple then it is hardly likely that solving the cubic would have been as hard a problem as it was.

A second way to see that the guess is wrong is to consider what happens if $b=0$. Now we are looking at a cubic of the form $x^3+cx+d$, and if the roots take the form stated then, since their sum is now zero, we find that $u=0$. But then the three roots are just the cube roots of $v$, so they are the roots of the equation $x^3-v=0$. In other words, the guess is wrong unless $c=0$. (This is of course an instance of the fact that we do not have enough degrees of freedom.)

So, with this small extra insight into the problem, let us try to come up with a better guess. How do we generalize a pair such as $u+\sqrt{v}$ and $u-\sqrt v$? We want a triple of roots, but we also want each component of the triple to have three degrees of freedom. In other words, we want each root to be made out of a $u$, a $v$ and a $w$.

Since we don’t quite know how we will build the roots, a helpful idea at this point is to lose some information in the quadratic case. This is a slightly subtle point that I will discuss more in a moment. First let us merely observe that I could have represented the two roots of a quadratic as $u+v$ and $u-v$, and it would still have been very easy to solve for $u$ and $v$. Then the fact that a square root was involved would not have been a guess (however natural) but something that one actually derived, in a very easy and natural way.

Since this slight modification of the quadratic guess will turn out to be very helpful, it is important to establish that it could be justified. That is, I am not drawing a rabbit out of a hat at this point. The justification is as follows. In the cubic case we do not know exactly what the form of our guess would take. We could just make some wild guesses and hope to hit the right answer. But much better is to make more general guesses and then work out what their more precise forms must be. We can do that in the quadratic case, so it is a very sensible strategy to try to do the same for cubics.

Having established this point, let us see what happens. We are now trying to find the natural analogue for the number 3, built out of three variables $u$, $v$ and $w$, of the pair $(u+v,u-v)$ in the degree-2 case. The pair $(u+v,u-v)$ consists of a couple of linear combinations of $u$ and $v$, so it is natural (though not essential to the discovery of the argument) to think of it as a linear transformation of the pair $(u,v)$. That draws our attention to the matrix $\begin{pmatrix} 1&1\\ 1&-1\\ \end{pmatrix}$, and it is then very natural to wonder if this matrix has an obvious generalization to a $3\times 3$ matrix.

It does! This is the $2\times 2$ case of the well-known circulant matrix, but even if you don’t know that, you do know that the numbers 1 and -1 are the two square roots of 1. Moreover, this is not just a coincidence but the reason that they occur in our discussion of quadratics. So it is natural to try to build a $3\times 3$ matrix out of the three cube roots of 1, which are $1$, $\omega$ and $\omega^2$. In the end there is only one sensible choice to make (give or take the odd symmetry). It is the matrix $\begin{pmatrix} 1&1&1\\ 1&\omega&\omega^2\\ 1&\omega^2&\omega\\ \end{pmatrix}$. Thus, our guess for the forms of the three roots is $u+v+w$, $u+\omega v+\omega^2 w$ and $u+\omega^2 v+\omega w$.

This seems a very satisfactory guess (even if we don’t have a compelling reason to suppose that it will work). So now we are left with the task of solving for $u$, $v$ and $w$ on the assumption that they are the roots of the cubic $x^3+bx^2+cx+d$. At this point one could just plunge in, but it helps a lot to simplify the cubic first by “completing the cube”. This is the familiar idea (described in my other cubics discussion) that by substituting $y=x+b/3$ for $x$ you get a cubic in $y$ where the coefficient of $y^2$ is zero. So let’s just assume, as we may, that $b=0$, so that we are looking for roots of $x^3+cx+d$. Since the roots add up to 0 and $1+\omega+\omega^2=0$, this tells us that $u=0$, so the three roots are now of the form $v+w$, $\omega v+\omega^2w$ and $\omega^2v+\omega w$. (We are therefore down to two degrees of freedom, but so is the cubic we are trying to solve.)

The information we know about these three roots is that their product is $-d$ and that the sum of all the products of two of them is $c$. So the next task is clear: expand out these expressions and see if we can solve the resulting equations in $u$ and $v$. The details of this are not particularly important: you could stop reading now and just take on trust that we end up needing to solve quadratics and take cube roots, both of which we are allowed to assume that we can do. However, it’s nice to see that it really does work.

The product of the three numbers $v+w$, $\omega v+\omega^2 w$ and $\omega^2v+\omega w$ works out to be $v^3+w^3$. (It’s instructive to do this calculation for yourself and see how the fact that $1+\omega+\omega^2=0$ makes the other two possible terms cancel. Then one can see that the fact that rather simple expressions come out of these calculations is not a coincidence.) As for the sum of the three products of two of them, it comes out to be $(\omega+\omega^2)vw$, which equals $-vw$. So we need $-vw$ and $v^3+w^3$ to take the values $c$ and $d$, respectively. This tells us that $v^3$ and $w^3$ are the two roots of the equation $x^2-dx-c^3=0$, so, as claimed, we can solve for $v$ and $w$ by solving a quadratic and taking cube roots.

A small extra point is that one must think a bit about which cube roots to take, but that I will gloss over here.

An obvious question: what happens if one tries to generalize this approach to quartics and quintics? The answer is that in both cases it is obvious how to generalize the guess about the form that the roots should take. In the case of the quartic, when one guesses that they are of the form $u+v+w+t$, $u+iv-w-it$, $u-v+w-t$ and $u-iv-w+it$, everything works out nicely, if you get rid of the $x^3$ term and hence of $u$. You get some equations in $v,$ $w$ and $t$ and they aren’t too hard to solve. If you try it for the quintic then, not too surprisingly, you end up with some equations that are more complicated than the quintic you started with.

Apologies for the matrices not coming out: I’ll repair that as soon as I can work out how to do so. [Now sorted out, with help from comments below: many thanks.]

### Like this:

This entry was posted on September 15, 2007 at 6:01 pm and is filed under Demystifying proofs. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

### 20 Responses to “Discovering a formula for the cubic”

1. Maurizio Says:
September 15, 2007 at 7:49 pm | Reply

Dear Timothy, let me praise your effort in “demystifying proofs”, i think that it is one of the most important roles of mathematics and we (mathematicians or just students like me) should try to spread a wider conscience of its importance.
This is a more “human” aspect of mathematics, since it concerns more “who is studing” rather than “what is being studied”.
I feel often tempted to try to learn proofs and to make proofs just by blindly applying magic tricks, trying to produce a proof that may be checked by a computer, but that would give no insight about what is being proved. I’m now learning to recognize such tendency as missing trust in what can be understood (while instead i’m blindly relying on my intuitive skills to “set up the mess”), and i’m trying to correct it by all means.
When (if) i will be a professor, i will be very careful while saying someone to “work hard”, to avoid people trying to do so by just studying theorems without sufficient awareness (instead of trying to develop it).
I’m just trying to express my thoughts, and i’d be happy to listen the advice of more experienced people. Thanks for your post!

2. echoone Says:
September 15, 2007 at 8:03 pm | Reply

Check out this post. It helped figure out how to get matrices working properly on WordPress.com

3. Terence Tao Says:
September 15, 2007 at 8:41 pm | Reply

Dear Tim,

For matrices in wordpress, I find that \begin{pmatrix} … \\ … \end{pmatrix} works nicely, e.g. $\begin{pmatrix} a & b \\ -b & a \end{pmatrix}$. (If you “edit” this comment you will be able to steal the latex code.)

It is amusing to recast your above discussion through the lens of Fourier analysis. One can view solving a polynomial as solving a system of symmetrised equations. For instance, by the factor theorem, the task of finding the three roots x,y,z of the cubic $x^3 + bx^2 + cx + d = 0$ is equivalent to solving the system of equations

$x+y+z = -b$
$xy + yz + xz = c$
$xyz = -d$.

Now these equations are invariant under cyclic shift of the x,y,z. One of the key insights of Fourier analysis is that any mathematical problem which enjoys a translation invariance symmetry is likely to be clarified by use of the Fourier transform. This would motivate the Fourier substitution $x = u+v+w$, $y = u + \omega v + \omega^2 w$, $z = u + \omega^2 v + \omega w$, which leads to

$3u = -b$
$3u^2 + 3vw = c$
$u^3 + v^3 + w^3 - 3 uvw = -d$.

This lets one solve for u; to solve for v and w one can then observe a residual cyclic symmetry between v and w, prompting another Fourier transform $v = s+t$, $w = s-t$, which soon lets one solve for everything.

Presumably this can all be interpreted nicely in terms of the Galois group $S_3$, and in particular to the solvability of that group, especially given that solvable groups can be “built up” from abelian groups such as ${\Bbb Z}/3{\Bbb Z}$ and ${\Bbb Z}/2{\Bbb Z}$, which are precisely the groups which enjoy nice Fourier transforms. My Galois theory is incredibly rusty, though, so I don’t see the connection clearly.

4. gowers Says:
September 15, 2007 at 9:07 pm | Reply

Terry: I didn’t have the “p” in “\pmatrix” and my slashes were the wrong way round: thanks for the tip. I idly wondered about Fourier analysis when the circulant matrix came up (of course) but didn’t get further than that “idly”. It is indeed a nice way of looking at it, and gives me some hope of carrying out a further project, possibly with the help of suggestions on this blog, of arriving at a completely demystified proof of the insolubility of the quintic. My Galois theory is also very rusty — in fact, I never really understood it properly as an undergraduate — which I regard as an essential qualification for carrying out such a project, since what I’d really like to do is end up with a proof that doesn’t use the language of group theory. Alternatively, I’d like to make enough elementary observations (all by following natural problem-solving techniques) that the idea of looking at automorphisms of number fields emerges of its own accord. The second approach is probably more tempting to anybody who does know their Galois theory well, but it is a challenge to do it if you aren’t allowed to draw rabbits out of hats. But your idea of not doing the initial simplification by getting rid of the quadratic term and seeing two symmetries in operation is a big help, since, as you say, it leads to the notion of solvability of a group (not that I have fully worked out the connection either, and one has to try to find the connection in a way that doesn’t rely on knowing that it is there to be found).

5. Gaspard Says:
September 15, 2007 at 9:53 pm | Reply

About a demystified proof of the insolubility of the quintic: I heard (but haven’t checked myself) that a nice book about this is the one by Alekseev which explains a topological approach due to Arnold which is meant to be understandable by high school students. Here’s the amazon entry http://www.amazon.com/Abels-Theorem-Problems-Solutions-International/dp/1402021860 and here is a related note of Arnold about it http://www.institut.math.jussieu.fr/seminaires/singularites/abel.pdf

6. Phil G Says:
September 15, 2007 at 10:54 pm | Reply

Thanks for the nice post. Give us more like this please
I think you have a typo where you have written x3 – dx – c 3 instead of x2 – dx – c 3

7. gowers Says:
September 16, 2007 at 12:05 am | Reply

Phil: thanks — typo fixed.

8. gregknese Says:
September 16, 2007 at 8:34 pm | Reply

I really enjoyed this post and the discussions afterwards. It seems many people are rusty on Galois theory. Every time I have learned Galois theory (and then promptly forgotten it) I always left feeling that it is an amazing theory but I would never know how to use it to solve a concrete question. For example: If one knows that a given quintic is solvable by radicals, how does one go from there and actually find the roots? Any thoughts?

9. Terence Tao Says:
September 17, 2007 at 5:33 am | Reply

By some coincidence, there is another blog post on the solvability of the cubic, this time from the perspective of classical invariant theory, at

http://rigtriv.wordpress.com/2007/08/29/invariants-and-solving-polynomials/

Basically, the philosophy here is to only permit yourself to write down expressions (such as the discriminant) which transform nicely under projective changes of coordinates. There are relatively few of these expressions, and so you have a smaller “search space” in which to find the invariants that factorise the original polynomial into linear factors.

10. JOHN SMITH Says:
September 18, 2007 at 1:27 pm | Reply

Hi Tim,

It was stated on your home page that any reasonable person wouldn’t be expected to solve the cubic in a few hours or so. However, how long would you expect say a cambridge undergraduate with no knowledge of solving the cubic to discover the solution?

And I wondered if it would be a good idea if you were to write a similar article on finding the closed form sum of 1+(2^m)+(3^m)…+n^m where n and m are positive integers, to offer some insight into how one might discover the formula for that?

Thanks,
John

11. davidspeyer Says:
September 18, 2007 at 11:15 pm | Reply

JOHN SMITH:

There is a discussion in section 6.5 of Concrete Mathematics, by Graham, Knuth and Patashnik, of how one might discover and prove the formula for this sum by nothing but sheer obstinancy. Later, in section 7.3, they describe how the problem becomes easier when armed with the tool of generating functions. I’ll sketch the latter attack here, because generating functions are a great tool. Set S(m,n)=1+2^m+3^m+..+n^m. There are four approaches you might try in a generating function attack: you could define any of the four functions

A_m(w)=sum_n S(m,n) w^n, B_m(w)=sum_n S(m,n) w^n/n!, C_n(z)=sum_m S(m,n) z^m, or D_n(z)=sum_m S(m,n) z^m/m!

and try to get this function into a simple form. With A, B and C, we strike out. But, if we come back for a fourth swing, D_n has the nice closed form

(e^{nz}-1)/(e^z-1)=(sum_{k>=1} n^k z^k/k! ) (1/z-1/2+z/6-z^3/30+…)

and we get the closed formula immediately. So one approach to this sum comes down to knowing about generating functions, being willing to try again when the first attack fails, and some basic comfort manipulating series.

12. One way of looking at Cauchy’s theorem « Gowers’s Weblog Says:
September 20, 2007 at 9:30 am | Reply

[...] this? The reason is rather similar to the reason that I got rid of the square root round in my post about cubics. In both cases I wanted to generalize something that was a bit too complicated for it to be obvious [...]

13. gowers Says:
September 21, 2007 at 3:43 pm | Reply

My answer to JOHN SMITH’s first question of September 18th is that I would expect most Cambridge undergraduates not to manage to find a solution to the cubic unaided. However, that is not because they would be incapable of it. My post tries to demonstrate that by showing that you don’t have to have flashes of genius to solve the cubic — just the wish to generalize the quadratic solution in as natural a way as you can. Rather, it is because only a smallish proportion of Cambridge undergraduates (or indeed, mathematics undergraduates anywhere) start out with the belief that they could ever solve a mathematics problem that wasn’t carefully constructed to be solvable in a fairly routine way. There’s a simple way of getting this belief, which is to solve one hard problem. It may take a few hours, or a week, or a month, or six months, or even longer, but once someone has done it they understand from their own experience that it is possible. Then they start to have positive thoughts like, “What strategy will maximize my chances of solving this problem?” or “I seem to keep having the same difficulty — what could I do differently?” rather than negative ones like, “Maths is hard, and I haven’t been taught how to do this, so there’s no chance of my managing.” And then they find that solving difficult problems is just like many other activities: hard, yes, but not impossible and something that gets easier with practice.

14. JOHN SMITH Says:
September 21, 2007 at 4:47 pm | Reply

Thanks for that Tim. What you say is encouraging to me. I have deliberately Not read this post on the cubic in its entirety because I wanted to discover it without being told how which is I presume, the whole idea of the post.
At first I tried ‘completing the cube’, which seemed a natural thing to try but I was heading in the wrong direction..

15. Nick Krempel Says:
December 5, 2007 at 5:57 pm | Reply

Sorry for this somewhat late post – I just discovered your blog and am playing catch-up! Re: your “arriving at a completely demystified proof of the insolubility of the quintic”, I would recommend looking at Galois theory by the route through which it was originally discovered, rather than the more modern abstract point of view. Or more accurately, the various attempts at it (e.g. by Lagrange) which were subsequently refined (Galois) and what ideas led them at each stage. I haven’t yet read much about this myself, but as far as I remember the book “Pioneers of Representation Theory” has a nice section on this early on, including the sorts of explicit calculations gregknese was enquiring about – how do I actually “solve” this supposedly solvable equation?

On an unrelated note, when you say “we end up needing to solve quadratics and take cube roots, both of which we are allowed to assume that we can do”, I wonder how many people would actually consider cube roots of a complex number something basic they “can calculate”, as, unlike in the square root case, you can’t find the real and imaginary parts in terms of roots of only real numbers, so presumably would resort to using transcendental functions (in which case you could of course solve the quintic too.) Utlimately you have to make a choice of “numbers I can deal with” – something you’ve talked about before in other places.

16. Ricardo S Says:
December 27, 2007 at 7:25 am | Reply

When Mark Kac was young he solved the cubic in a different way if a, b, and c are the roots and w^3 = 1 where w is not 1.

Let s = a + b + c, t = a + wb +w^2c, u = a + w^2b + wc

Then express t^3 + u^3 and t^3 * u^3 in terms of the symmetric terms.

There is a nice story to that solution you can find it in Mark Kac’s autobiography “Enigmas of Chance”.

It seems to me that this solution is related to Terence Tao’s solution as a sort of inverse transformation.

Since someone cited sums of powers I remembered finding a nice “geometrical” solution to the sum of squares 1^2 + 2^2 + 3^2 +…+ n^2. Organize one 1, two 2′s, three 3′s, …., and n n’s into an equilateral triangle in the natural way, then add the corresponding elements of the three versions of this triangle (the original and the rotated by 120 and 240 degrees) it nice to see that the sum is constant and equal to 2n+1. Since there are n(n+1)/2 elements in the triangle the total sum is n(n+1)/2*(2n+1) and the sum of the elements in the original triangle n(n+1)(2n+1)/6 which is the sum of the squares.

I would like to present this in a motivated way but I am afraid that is somewhat longer. I also tried to generalize this idea to get the sum of cubes but failed. Since it has such a nice sum I suppose that it could also have a nice geometrical method to it. Anyone has an idea?

17. Heinrich Says:
December 30, 2007 at 9:32 pm | Reply

As Nick already pointed out, the historical route to Galois theory is the most illuminating. According to the marvelous read

Jörg Bewersdorff. Galois Theory for Beginners: A Historical Perspective
http://tinyurl.com/2u6k52

Lagrange came up with the sum-of-roots-of-unity ansatz while trying to understand what’s going on with the quintic.

In fact, I find the usual “modern” presentation of Galois theory utterly incomprehensible. I mean, it’s not so bad and quite simple after knowing the historical approach of permuting the roots. But why, why is the easy way pretty much forgotten? Why struggle months with something abstract-nonsensical and void of motivation when there’s a dead simple and even more illuminating approach to understand it in hours? As Feynman (?) put it: “If you can’t explain it to a six year old, you don’t really understand it.” But I’m preaching to the choir

18. Heinrich Says:
December 30, 2007 at 9:47 pm | Reply

Oh, and concerning the sum \$1^k + 2^k + \dots + n^k\$, there is a simple way for finding a formula for any given \$k\$: the simple observation is that in the cases \$k=1,2,3\$, the formula is a polynomial of degree \$k+1\$ and the idea is to make exactly this ansatz in the general case.

This is further simplified by changing coordinates, i.e. by using a different basis than \$n^j\$ for the vector space of polynomials. A better basis is \$n, n(n-1), n(n-1)(n-2), \dots, n(n-1)\cdots(n-k)\$ since these functions have nice sums. In other words, try to find an explicit formula for \$\sum_{a=0}^n a(a-1)(a-2)\$ and be delighted

19. John Armstrong Says:
December 30, 2007 at 10:16 pm | Reply

Heinrich: or you could use Faulhaber’s Fabulous Formula.

20. Geometry of a Polynomial « Rigorous Trivialities Says:
January 11, 2008 at 11:26 pm | Reply

[...] of equations involving (because it contains a cubic, which is not good, see this post of mine and this one of Gowers’s which show how hard a single variable cubic is), we can instead homogenize and solve the system [...]

%d bloggers like this:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 129, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.956365704536438, "perplexity_flag": "head"}