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.