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.
Consider a cubic polynomial equation with integer coefficients
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
But P(a + b√mN) = A + B√mN implies
For a polynomial equation
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
x3 = 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 p3 = 2q3. 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)|
|= 4cos3(a) - 3cos(a)|
For a = 20°, cos(3a) = cos(60°) = 1/2 and the equation becomes 8cos3(a) - 6cos(a) - 1 = 0. Replacing cos(a) with x we finally get
8x3 - 6x - 1 = 0
The substitution v = 2x transforms (2) into
v3 - 3v - 1 = 0
By Lemma, we only have to show that this equation has no rational roots. Assume on the contrary that
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
(z7 - 1)/(z - 1) = z6 + z5 + z4 + z3 + z2 + z + 1
Among the roots of this equation is
After the substitution
x3 + x2 - 2x - 1 = 0
Were (5) to have a rational root
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.
- 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
Constructible Numbers, Geometric Construction, Gauss' and Galois' Theories
- Integral Domains: Strange Integers
- Reduction: Constructible Numbers