# A Property of Cubic Equations

Wantzel's approach to solving the Angle trisection problem works with other two problems: Doubling the cube and Constructing a regular heptagon. All three, in algebraic terms, reduce to an algebraic equation of degree three. Cubic equations possess a pertinent property which constitutes the contents of a lemma below. After proving the lemma, I shall derive cubic equations for the three problems and show that they satisfy the conditions of the lemma.

### Lemma

Consider a cubic polynomial equation with integer coefficients _{3}x^{3} + a_{2}x^{2} + a_{1}x + a_{0} = 0.

### Proof

Assume the equation P(x) = 0 has no rational roots. The lemma then asserts that the equation has no constructible roots. Assume on the contrary that the equation has a constructible root. As we know, every constructible number belongs to an extension field _{N} = Q[√m_{1},√m_{2}, ...,√m_{N}]_{N-1} = Q[√m_{1},√m_{2},...,√m_{N-1}].*a* = a + b√m_{N},_{N}∈F_{N-1}, satisfies P(*a*) = 0.*a*) = A + B√m_{N},_{N-1}.

But P(a + b√m_{N}) = A + B√m_{N} implies _{N}) = A - B√m_{N}._{N}_{N}.

For a polynomial equation _{3}x^{3} + a_{2}x^{2} + a_{1}x + a_{0} = 0,_{2}/a_{3}, a rational number. Let *u* denote the third root. Then, *u* + (a + b√m_{N}) + (a - b√m_{N}) = -a_{2}/a_{3}.*u* = -a_{2}/a_{3} - 2a∈F_{N-1}.

### Doubling the cube

The volume of a cube with the unit side is 1. The problem is to construct a cube whose volume is 2. Algebraically, the question is reduced to finding a constructible solution to the equation

(1)

x^{3} = 2

According to Lemma, to show that the task is impossible, we only have to demonstrate that (1) has no rational solutions. Assume the opposite, and let x = p/q be a rational solution of (1). Then p^{3} = 2q^{3}. The number of prime factors on the left side of the latter equation is divisible by 3. The number of prime factors on the right side of the equation, when divided by three, leaves a remainder of 1. Therefore, the equality is impossible indeed. A contradiction. The problem of doubling the cube is not solvable with ruler and compass.

(There is an interesting construction that seems to solve the Delian problem. See if you can find a flaw there.)

### Trisecting an angle

To reduce the problem of trisecting an angle to an algebraic equation, let's first agree to consider only acute angles. Since we intend to show that the problem is not solvable *in general*, all we need is a single *counterexample*. Following Wantzel, I'll show that a 60° angle (which is, of course, acute) is not trisectable.

Another important observation is that the problem of constructing an acute angle is equivalent to that of constructing a right triangle with a given angle. By definition, the sides of a right triangle are expressed in terms of trigonometric functions of its angles. We are especially interested in the cosine. With the help of addition formulas for sine and cosine we get,

cos(3a) | = cos(a)cos(2a) - sin(a)sin(2a) |

^{2}(a) - sin^{2}(a)) - 2sin^{2}(a)cos(a) | |

^{2}(a) - 1) - 2(1 - cos^{2}(a))cos(a) | |

= 4cos^{3}(a) - 3cos(a) |

For a = 20°, cos(3a) = cos(60°) = 1/2 and the equation becomes 8cos^{3}(a) - 6cos(a) - 1 = 0. Replacing cos(a) with x we finally get

(2)

8x^{3} - 6x - 1 = 0

The substitution v = 2x transforms (2) into

(3)

v^{3} - 3v - 1 = 0

By Lemma, we only have to show that this equation has no rational roots. Assume on the contrary that ^{3} - 3pq^{2} - q^{3} = 0.^{2} - 3q^{2}) = q^{3}.^{3}. If p were not a unity (i.e. ±1) then any prime factor of p would divide q. Since the fraction p/q is irreducible, p ought to be a unity. On the other hand, we may also write ^{2}) = p^{3},

It appears that the only rational solution equation (3) might have is either +1 or -1. By direct inspection, neither satisfies (3). By Lemma, (3) has no constructible solutions and neither does (2).

### Constructing a regular heptagon

The simplest way to tackle this problem is with the help of complex numbers. Vertices of a regular heptagon divide the circumscribed circle into 7 equal parts corresponding. On the unit circle, the same property is shared by the 7 roots of the *cyclotomic* equation ^{7} = 1.

(4)

(z^{7} - 1)/(z - 1) = z^{6} + z^{5} + z^{4} + z^{3} + z^{2} + z + 1

Among the roots of this equation is

After the substitution

(5)

x^{3} + x^{2} - 2x - 1 = 0

Were (5) to have a rational root ^{2} + pq - 2q^{2}) = q^{3};^{2} - p^{2} + 2pq) = p^{3}.

If, nonetheless, (4) had a constructible root z, then

**Note**: there is an alternative treatment of cubic polynomials that employs the notion of *dimension* of field expansions.

### References

- R. Courant and H. Robbins,
*What is Mathematics?*, Oxford University Press, NY, 1996. - M. Lascovitch,
*Conjecture and Proof*, MAA, 2001 - I. Stewart,
*Concepts of Modern Mathematics*, Dover, 1995

|Contact| |Front page| |Contents| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny