The three classical construction problems of antiquity are known as ``squaring the circle'', ``trisecting an angle'', and ``doubling a cube''. Here is a short description of each of these three problems:
It is beyond the scope of this paper to prove that these three problems are impossible to solve, but given the ideas that were presented in Section 5, we can at least indicate how the formal proofs work.
The easiest to show (to be impossible) is the problem of doubling the
cube. Clearly if the volume of the required cube is double the volume
of the original cube, if the length of the side of the original cube
is , the desired length is
.
In other words, from an algebraic point of view, we can construct the
cube root of 2, or equivalently, we can solve the following equation:
The problem of trisecting an angle is similar, but what is usually
done is to show that there is a particular angle that cannot be
trisected, and that angle is typically chosen to be . If
we can't trisect this particular one, then we know that not all angles
can be trisected. (Remember that a solution to the problem requires a general
method that will work for any angle. Certain angles, such as
angles, can obviously be trisected, since we can construct a
angle from scratch. Also, we can construct a
angle from scratch,
so if this one cannot be trisected, the general problem of trisection is
clearly unsolvable.)
If we can trisect a angle, that is equivalent to constructing
a
angle from scratch, which is equivalent to constructing the
cosine of
.
Now the cosine of is
, so
Much more difficult is to show that a circle cannot be squared. If
the original circle has radius 1, its area will be , so squaring
a circle is equivalent to the construction of a length equal to
. It turns out (but is not easy to prove) that
is
transcendental--it is not the solution to any polynomial equation,
so it is surely not the solution to any combination of quadratic
polynomials.