Constructible number


In geometry and algebra, a real number is constructible if and only if, given a line segment of unit length, a line segment of length || can be constructed with compass and straightedge in a finite number of steps. Equivalently, is constructible if and only if there is a closed-form expression for using only the integers 0 and 1 and the operations for addition, subtraction, multiplication, division, and square roots.
The geometric definition of constructible numbers motivates a corresponding definition of constructible points, which can again be described either geometrically or algebraically. A point is constructible if it can be produced as one of the points of a compass and straight edge construction, starting from a given unit length segment. Alternatively and equivalently, taking the two endpoints of the segments to be the points and of a Cartesian coordinate system, a point is constructible if and only if its Cartesian coordinates are both constructible numbers.
The set of constructible numbers forms a field: applying any of the four basic arithmetic operations to members of this set produces another constructible number.
This field is a field extension of the rational numbers and in turn is contained in the field of algebraic numbers. It is the real quadratic closure of the rational numbers, the smallest field extension of the rationals that includes the square roots of all of its positive numbers.
The proof of the equivalence between the algebraic and geometric definitions of constructible numbers has the effect of transforming geometric questions about compass and straightedge constructions into algebra. This transformation leads to the solutions of many famous mathematical problems, which defied centuries of attack.

Geometric definitions

Geometrically constructible points

Let and be two given distinct points in the Euclidean plane, and define S to be the set of points that can be constructed with compass and straightedge starting with and. Then the points of S are called constructible points. and are, by definition, elements of. To more precisely describe the remaining elements of, make the following two definitions:
Then, the points of, besides and are:
As an example, the midpoint of constructed segment is a constructible point. One construction for it is to construct two circles with as radius, and the line through the two crossing points of these two circles. Then the midpoint of segment is the point where this segment is crossed by the constructed line.

Geometrically constructible numbers

This geometric formulation can be used to define a Cartesian coordinate system in which the point is associated to the origin having coordinates and in which the point is associated with the coordinates. The points of may now be used to link the geometry and algebra by defining a constructible number to be a coordinate of a constructible point.
An equivalent definition is that a constructible number is the length of a constructible line segment. If a constructible number is represented as the -coordinate of a constructible point, then the segment from to the perpendicular projection of onto line is a constructible line segment with length. And conversely, if is the length of a constructible line segment, then the intersection of line and a circle centered at with radius equal to the length of this segment gives a point whose first Cartesian coordinate is.
Given any two constructible numbers and, one can construct the points and as above, as the points at distances and from along line and its perpendicular axis through. Then, the point can be constructed as the intersection of two lines perpendicular to the axes through and. Therefore, the constructible points are exactly the points whose Cartesian coordinates are constructible numbers.

Geometric representation of algebraic numbers

If and are the non-zero lengths of constructed segments then elementary compass and straightedge constructions can be used to obtain constructed segments of lengths, , and. The latter two can be done with a construction based on the intercept theorem. A slightly less elementary construction using these tools is based on the geometric mean theorem and will construct a segment of length from a constructed segment of length. It follows from these considerations that the numbers defined as constructible in this geometric way include all of the numbers in the quadratic closure of the rationals.

Transformation into algebra

If and are constructible numbers with, then ,,, and, for non-negative, are constructible. Thus, the set of constructible real numbers form a field. Furthermore, since 1 is a constructible number, all rational numbers are constructible and is a subfield of the field of constructible numbers. Also, any constructible number is an algebraic number. More precisely, if is a constructible real number and, then there is a finite sequence of real numbers such that is an extension of of degree 2. In particular, for some integer. Using slightly different terminology, a real number is constructible if and only if it lies in a field at the top of a finite tower of quadratic extensions, starting with the rational field. More precisely, is constructible if and only if there exists a tower of fields
where is in and for all,.
For yet another formulation of this result, this time using the geometric definition of a constructible point, let be a non-empty set of points in and the subfield of generated by all the coordinates of points in. If a point is constructible from the points of, then the degrees and are powers of 2.
Using the natural correspondence between points of and complex numbers, some authors prefer to phrase results in the complex setting by defining:a complex number to be constructible if and only if its real and imaginary parts are constructible real numbers. It can then be shown, in a manner analogous to the real case, that a complex number is constructible if and only if it lies in a field at the top of a finite tower of complex quadratic extensions, starting with the field. More precisely, is constructible if and only if there exists a tower of complex fields
where is in, and for all,. Consequently, if a complex number is constructible, then is a power of two.
This algebraic characterization of constructible numbers provides an important condition for constructibility: if is constructible, then it is algebraic, and its minimal irreducible polynomial has degree a power of 2, which is equivalent to the statement that the field extension has dimension a power of 2. However, the converse is false - this is not a condition for constructibility as there are non-constructible numbers with.

Trigonometric numbers

s are irrational cosines or sines of angles that are rational multiples of. Such a number is constructible if and only if the denominator of the fully reduced multiple is a power of or the product of a power of with the product of one or more distinct Fermat primes. Thus, for example, Is constructible because is the product of two Fermat primes, and.
See here a list of trigonometric numbers expressed in terms of square roots.

Impossible constructions

The ancient Greeks thought that certain problems of straightedge and compass construction they could not solve were simply obstinate, not unsolvable. However, the non-constructibility of certain numbers proves them to be logically impossible to perform.
In the following chart, each table represents a specific ancient construction problem. The left column gives the name of the problem. The second column gives an equivalent algebraic formulation of the problem. In other words, the solution to the problem is affirmative if and only if each number in the given set of numbers is constructible. Finally, the last column provides a simple counterexample. In other words, the number in the last column is an element of the set in the same row, but is not constructible.
Construction problemAssociated set of numbersCounterexample
Doubling the cube is not constructible, because its minimal polynomial has degree 3 over Q
Trisecting the angle is not constructible, because has minimal polynomial of degree 3 over Q
Squaring the circle is not constructible, because it is not algebraic over Q
Constructing regular polygons is not constructible, because 7 is not a Fermat prime, nor is 7 the product of and one or more distinct Fermat primes

History

The birth of the concept of constructible numbers is inextricably linked with the history of the three impossible compass and straightedge constructions: duplicating the cube, trisecting an angle, and squaring the circle. The restriction of using only compass and straightedge in geometric constructions is often credited to Plato due to a passage in Plutarch. According to Plutarch, Plato gave the duplication of the cube problem to Eudoxus and Archytas and Menaechmus, who solved the problem using mechanical means, earning a rebuke from Plato for not solving the problem using pure geometry. However, this attribution is challenged, due, in part, to the existence of another version of the story that says that all three found solutions but they were too abstract to be of practical value. Since Oenopides is credited with two ruler and compass constructions, by Proclus- citing Eudemus -when other methods were available to him, has led some authors to hypothesize that Oenopides originated the restriction.
The restriction to compass and straightedge is essential in making these constructions impossible. Angle trisection, for instance, can be done in many ways, several known to the ancient Greeks. The Quadratrix of Hippias of Elis, the conics of Menaechmus, or the marked straightedge construction of Archimedes have all been used and we can add a more modern approach via paper folding to the list.
Although not one of the classic three construction problems, the problem of constructing regular polygons with straightedge and compass is usually treated alongside them. The Greeks knew how to construct regular -gons with or the product of any two or three of these numbers, but other regular -gons eluded them. Then, in 1796, an eighteen-year-old student named Carl Friedrich Gauss announced in a newspaper that he had constructed a regular 17-gon with straightedge and compass. Gauss's treatment was algebraic rather than geometric; in fact, he did not actually construct the polygon, but rather showed that the cosine of a central angle was a constructible number. The argument was generalized in his 1801 book Disquisitiones Arithmeticae giving the sufficient condition for the construction of a regular -gon. Gauss claimed, but did not prove, that the condition was also necessary and several authors, notably Felix Klein, attributed this part of the proof to him as well.
proved algebraically that the problems of doubling the cube and trisecting the angle
are impossible to solve if one uses only compass and straightedge. In the same paper he also solved the problem of determining which regular polygons are constructible:
a regular polygon is constructible if and only if the number of its sides is the product of a power of two and any number of distinct Fermat primes
An attempted proof of the impossibility of squaring the circle was given by James Gregory in Vera Circuli et Hyperbolae Quadratura in 1667. Although his proof was faulty, it was the first paper to attempt to solve the problem using algebraic properties of. It was not until 1882 that Ferdinand von Lindemann rigorously proved its impossibility, by extending the work of Charles Hermite and proving that is a transcendental number.
The study of constructible numbers, per se, was initiated by René Descartes in La Géométrie, an appendix to his book Discourse on the Method published in 1637. Descartes associated numbers to geometrical line segments in order to display the power of his philosophical method by solving an ancient straightedge and compass construction problem put forth by Pappus.