SOLVING THE CUBIC AND QUARTIC - Harvard University
SOLVING THE CUBIC AND QUARTIC
AARON LANDESMAN
1. INTRODUCTION
Likely you are familiar with how to solve a quadratic equation. Given a quadratic of the form
ax2 + bx + c, one can find the two roots in terms of radicals as
-b ? b2 - 4ac
2a
.
On the other hand, the cubic formula is quite a bit messier. The polynomial ax3 + bx2 + cx + d
has roots
. And the quartic formula is messier still. The polynomial ax4 + bx3 + cx2 + dx + e has roots
b
1
x1 = - 4a - 2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e +
2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
3 3 2a
b2 + 4a2
2c
3 2 c2 - 3bd + 12ae
-
+
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
1 -
2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
-
3 3 2a
b2 + 2a2
4c
3 2 c2 - 3bd + 12ae
-
-
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
- 4
-
b3 a3
+
3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3 3 32a
+
b2 4a2
4cb a2
-
-
2c 3a
8d a
+
32(c2 -3bd+12ae)
3a 3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3
b
1
x2 = - 4a - 2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e +
2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
3 3 2a
b2 + 4a2
2c
3 2 c2 - 3bd + 12ae
-
+
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
1 +
2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
-
3 3 2a
b2 + 2a2
4c
3 2 c2 - 3bd + 12ae
-
-
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
- 4
-
b3 a3
+
3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3 3 32a
+
b2 4a2
4cb a2
-
-
2c 3a
8d a
+
32(c2 -3bd+12ae)
3a 3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3
b
1
x3 = - 4a + 2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e +
2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
3 3 2a
b2 + 4a2
2c
3 2 c2 - 3bd + 12ae
-
+
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
1 -
2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
-
3 3 2a
b2 + 2a2
4c
3 2 c2 - 3bd + 12ae
-
-
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
+ 4
-
b3 a3
+
3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3 3 32a
+
b2 4a2
4cb a2
-
-
2c 3a
8d a
+
32(c2 -3bd+12ae)
3a 3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3
b
1
x4 = - 4a + 2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e +
2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
3 3 2a
b2 + 4a2
2c
3 2 c2 - 3bd + 12ae
-
+
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
1 +
2
3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
-
3 3 2a
b2 + 2a2
4c
3 2 c2 - 3bd + 12ae
-
-
3a
3a 3 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e + 2c3 - 9bdc - 72aec + 27ad2 + 27b2 e 2 - 4 c2 - 3bd + 12ae 3
+ 4
-
b3 a3
+
3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3 3 32a
+
b2 4a2
4cb a2
-
-
2c 3a
8d a
+
32(c2 -3bd+12ae)
3a 3 2c3 -9bdc-72aec+27ad2 +27b2 e+ (2c3 -9bdc-72aec+27ad2 +27b2 e)2 -4(c2 -3bd+12ae)3
.
Whew! That was a mouthful! No one could possibly be expected to memorize such a monstrosity. And indeed, no one needs to. We will now explain how you can solve the cubic and quartic equations without the mess. Given a cubic or quartic equation, we will explain how to solve it with pure thought. This should convince you that you could write down the solution in radicals if you wanted to.
1
2
AARON LANDESMAN
2. THE CUBIC EQUATION
To start, we explain how one might solve the cubic equation. Suppose we start with an equation of the form
x3 + x2 + x + .
We would like to find the roots of this equation. Suppose that over the complex numbers, this factors as
(x - a)(x - b)(x - c),
and we are looking for values of a, b, and c. Then, we can re-express our above equation as
x3 + (-a - b - c)x2 + (ab + bc + ca)x - abc.
That is, = -a - b - c, = ab + bc + ca, = -abc. Observe that , , are simply the symmetric polynomials in a, b, and c.
Let be a primitive cube root of unity, i.e., 3 = 1, = 1. The key to finding a, b, c in terms of
radicals is to consider the quantity
y := a + b + 2c.
It may seem somewhat unmotivated to consider this quantity, but we will explain in section 4 why one would be naturally let to consider this.
For the moment, just bear with us. Let be the permutation of the roots sending
a b, b c, c a
Observe that y satisfies the property that
(y) := (a) + (b) + 2(c) = b + c + 2a = 2(a + b + 2c) = 2 ? y.
Therefore, (y3) = (2)3y3 = y3, and so y3 is fixed by . Let be the permutation of the roots sending
a b, b a, c c.
Observe that
y6 - (y3 + (y3))y3 + (y3)y3 = 0,
and further that (y3 + (y3)) and (y3)y3 are both fixed by . In particular, these are symmetric polynomials, and hence can be expressed in terms of , , . Therefore, we can express the above equation as
(y3)2 - f(, , )y3 - g(, , ) = 0.
Therefore, y3 satisfies a quadratic equation, and we can use the usual quadratic formula to solve for y3. Then, but taking a cube root, we obtain y.
Completely analogously, we can solve for
a + 2b + c
SOLVING THE CUBIC AND QUARTIC
3
via radicals in terms of , , . Since = a + b + c, we obtain all three of
a+b+c a + b + 2c a + 2b + c
in terms of radicals. Subtracting the latter two equations from the first, we obtain (1 - )b + (1 - 2)c (1 - 2)b + (1 - )c.
Then, we can solve for b and c in terms of the above two equations. In some more detail, if we subtract (1 - ) times the second equation from the (1 - 2) times the first, we get
(1 - 2)((1 - )b + (1 - 2)c) - (1 - )((1 - 2)b + (1 - )c) = (1 - 2)2c - (1 - )2 c = (-22 + + 2 - 2)c = (-32 + 3)c
So, dividing this by 3 - 32 yields c. Then, plugging this into the above equations yields a and b. This gives a solution to the cubic equation.
3. THE QUARTIC EQUATION
We now explain how to solve the quartic equation, assuming we know how to solve the cubic equation. As above, suppose we have a quartic equation of the form
x4 + x3 + x2 + x +
Suppose we could hypothetically factor this as
(x - a) (x - b)(x - c)(x - d).
Then, we can again write , , , as the symmetric polynomials in a, b, c, d. To start, we show that we can find the pairwise products ab + cd, ac + bd, ad + bc in terms of
, , , . To find these, the key is to consider the resolvent cubic
(x - (ab + cd)) (x - (ac + bd)) (x - (ad + bc)) .
One can observe that this polynomial is symmetric in a, b, c, d and therefore its coefficients can be expressed in terms of , , , . For a Galois-theoretic motivation for why we would consider this resolvent cubic, see section 4.
Now, we can use the cubic formula to solve for ab + cd, ac + bd, ad + bc in terms of radicals. We next explain how to find ab, ac, ad, bc, bd, cd in terms of radicals. Let's say we want to find ab. Then, we know ab + cd and we also know abcd = . Therefore, ab is a root of the equation
z2 + (ab + cd)z + abcd.
So, we can use the quadratic equation to find ab and cd. Similarly, we can find ac, bd, ad, bc in terms of radicals (where ab, cd, ac, bd can be uniquely determined up to reordering, and we may have to guess and check which of ad and bc is which).
So, we may assume we have all pairwise products of roots. But now, if we know ab, ac, ad, since we also know = abcd, we can compute ab ? ac ? ad/ = a2 in terms of radicals, and hence we can find a in terms of radicals. Similarly, we can find b, c, d in terms of radicals, as we wanted.
4
AARON LANDESMAN
4. A GALOIS THEORETIC PERSPECTIVE
We now explain how to motivate the above solutions in terms of Galois theory.
4.1. Cubic motivation. For solving the cubic, we may observe that the extension of fields Q(a, b, c) over Q(a + b + c, ab + ac + bc, abc) is a Galois extension with Galois group S3. We want to be able to find the values of a, b, c in terms of those of the symmetric polynomials in a, b, c. We are motivated to look for simpler subextensions. From Galois theory, these correspond to the fixed fields of subgroups of S3. If we look for the fixed field K of A3 inside S3, we are looking for elements fixed by the action of the permutation := (123). Any such element y not in Q will satisfy the property that y/(y) = for a cube root of unity. Then, by the proof of Hilbert's theorem 90, we can find such an element y, and explicitly take it to be y := a + b + 2c, as is easily checked to satisfy y/(y) = . One can check y is a generator of Q(a, b, c) over Q(a + b + c, ab + ac + bc, abc) because it is not fixed by any permutation of a, b, c. Then, we can use that the fixed field of A3 is a quadratic extension to solve for y3, and use that Q(a, b, c) over K is cyclic of degree 3 to solve for y (taking the cube root). Since y generates Q(a, b, c) over Q(a + b + c, ab + ac + bc, abc), we can solve for a, b, c in terms of y.
One can ask why A3 was the natural subgroup to choose. Indeed, if we are looking for a canonical subgroup of S3, we can take the commutator [S3, S3] = A3. The other nontrivial proper subgroups are isomorphic to Z/2Z and one cannot be canonically chosen as there are three such which are all conjugate.
4.2. Quartic motivation. Let L = Q(a, b, c, d) and K be the field generated over Q by the symmetric polynomials in a, b, c, d. Then, L/K is Galois with Galois group S4. As in the cubic case, we would like to find some subfield intermediate between K and L so that we can solve for a generator of that subfield in terms of radicals. In this case, we seek a canonical subextension. Indeed, take [S4, S4] = A4. If we were to take the fixed field of this, we would get an A4 extension, which we cannot yet solve with the cubic formula. So, let's take the commutator again! We then get [A4, A4] = K4, where K4 is the Klein-4 group. The fixed field of K4 can be identified explicitly with
M := Q (ab + cd, ac + bd, ad + bc) .
We may observe that M/K has Galois group S3 S4/K4. So, we can use the cubic formula to find ab + cd, ac + bd, ad + bc in terms of , , , .
Remark 4.1. Another way to realize K4 canonically as a subgroup of S4 is to view S4 as the (non orientation preserving) automorphisms of the cube by identifying automorphisms of a cube with permutations of the four main diagonals, A4 as the orientation preserving automorphisms, and K4 as those automorphisms corresponding to 180 degree rotations about a center of any of the six faces.
The cubic formula is used to find ab + cd, ac + bd, ad + bc, which is an S3 extension of K. Then, S4 is a further extension of S3 by K4 Z/2 ? Z/2, which we can then further solve using the quadratic formula twice.
5. EXERCISES
Doing the following exercises is a sure way to understand the above methods, but it is probably harder to solve them than to understand how to solve them.
Exercise 5.1 (Only for the most hardcore). Using the above method to solve the cubic, find explicit roots to the equation y3 - 4y - 1.
Exercise 5.2 (Not for the faint of heart). Using the above method to solve the quartic, find explicit roots to the equation x4 + x + 1.
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related download
- the cubic formula john kerl
- the notion of a derivative and cubic functions dartmouth
- the cubic formula university of utah
- symmetry and the cubic formula http uk masda
- math 4552 cubic equations and cardano s formulae ohio state university
- solving the cubic and quartic harvard university
- the cubic formula
- a study of cubic spline interpolation rivier university
- practical algorithm for solving the cubic equation
- cardano and the solution of the cubic university of kentucky
Related searches
- harvard university annual budget
- harvard university financial statements 2018
- harvard university medical school
- harvard university operating budget
- harvard university annual report
- harvard university school of medicine
- harvard university med school requirements
- harvard university medical articles
- harvard university cost calculator
- harvard university citation pdf
- harvard university sign
- harvard university 2020 2021