Straightedge and compass construction
Compass and straightedge or ruler-and-compass construction is the construction of lengths or angles using only an idealized ruler and compass.
The ruler to be used is assumed to be infinite in length, has no markings on it and only one edge, and is known as a straightedge. The compass is assumed to collapse when lifted from the page, so may not be directly used to transfer distances. (This is an unimportant restriction, as this may be achieved indirectly).
Every point constructible using straightedge and compass may be constructed using compass alone. A number of ancient problems in plane geometry impose this restriction.
The most famous ruler-and-compass problems have been proven impossible in several cases by Pierre Wantzel, using the mathematical theory of fields. In spite of these impossibility proofs, some mathematical novices persist in trying to solve these problems. Many of them fail to understand that many of these problems are trivially solvable provided that other geometric transformations are allowed: for example, doubling the cube is possible using geometric constructions, but not possible using ruler and compass alone.
Mathematician Underwood Dudley has made a sideline of collecting false ruler-and-compass proofs, as well as other work by mathematical cranks, and has collected them into several books.
Compass and straightedge tools
The "compass" and "straightedge" of compass and straightedge constructions is an idealization of rulers and compasses in the real world:
- The compass can be opened arbitrarily wide, but (unlike most real compasses) it has no markings on it. It can only be opened to widths that have already been constructed, and it collapses when not used for drawing.
- The straightedge is infinitely long, but it has no markings on it and has only one edge, unlike ordinary rulers. It can only be used to draw a line segment between two points or to extend an existing line.
Each construction must be exact. "Eyeballing" it (essentially looking at the construction and guessing at its accuracy, or using some form of measurement, such as the units of measure on a ruler) and getting close does not count as a solution.
Stated this way, compass and straightedge constructions appear to be a parlor game, rather than a serious practical problem. Figuring out how to do any particular construction is an interesting puzzle, but the persistent interest is in the problems derived from what one can't do this way.
The three classical unsolved construction problems were:
- Squaring the circle: Drawing a square the same area as a given circle.
- Doubling the cube: Drawing a cube with twice the volume of a given cube.
- Trisecting the angle: Dividing a given angle into three smaller angles all of the same size.
For 2000 years people tried to find constructions within the limits set above, and failed. All three have now been proven under mathematical rules to be impossible.
The basic constructions
All compass and straightedge constructions consist of repeated application of five basic constructions using the points, lines and circles that have already been constructed. These are:
- Creating the line through two existing points
- Creating the circle through one point with centre another point
- Creating the point which is the intersection of two existing, non-parallel lines
- Creating the one or two points in the intersection of a line and a circle (if they intersect)
- Creating the one or two points in the intersection of two circles (if they intersect)
For example, starting with the minimal state of a drawing, with just two distinct points, we can create a line or either of two circles. From the two circles, two new points are created at their intersections. Drawing lines between the two original points and one of these new points completes the construction of an equilateral triangle.
Constructible points and lengths
There are many different ways to prove something is impossible. In this particular problem we carefully demarcate the limit of the possible, and show that to solve these problems one must transgress that limit.
Using a ruler and compass, one can impose coordinates on the plane. Draw two points, and draw the line through them. Call that the x-axis, and define the length between the two points to be one. One construction that one can do is draw perpendiculars, so draw a perpendicular to the x-axis, and call it the y-axis. This results in a Cartesian coordinate system on the plane.
One can identify a point (x,y) in the Euclidean plane with the complex number x + y i. In ruler and compass construction, one starts with a line segment of length one. If one can construct a given point on the complex plane, then one says that the point is constructible. By standard constructions of Euclidean geometry one can construct the complex numbers in the form x + yi with x and y rational numbers. More generally, using the same constructions, one can, given complex numbers a and b, construct a + b, a − b, a × b, and a/b. This shows that the constructible points form a field, a subfield of the complex numbers. Moreover, one can show that given a constructible length one can construct its complex conjugate and square root.
The only way to construct points is as the intersection of two lines, of a line and a circle, or of two circles. Using the equations for lines and circles, one can show that the points at which they intersect lie in a quadratic extension of the smallest field F containing two points on the line, the center of the circle, and the radius of the circle. That is, they are of the form x + y√k, where x, y, and k are in F.
Since the field of constructible points is closed under square roots, it contains all points that can be obtained by a finite sequence of quadratic extensions of the field of complex numbers with rational coefficients. By the above paragraph, one can show that any constructible point can be obtained by such a sequence of extensions. As a corollary of this, one finds that the degree of the minimal polynomial for a constructible point (and therefore of any constructible length) is a power of 2. In particular, any constructible point (or length) is an algebraic number.
Constructible angles
There is a bijection between the angles that are constructible and the points that are constructible on any constructible circle. The angles that are constructible form an abelian group under addition modulo (which corresponds to multiplication of the points on the unit circle viewed as complex numbers). The angles that are constructible are exactly those whose tangent (or equivalently, sine or cosine) is constructible as a number. For example the regular heptadecagon is constructible because
The group of constructible angles is closed under the operation that halves angles (which corresponds to taking square roots). The only angles of finite order that may be constructed starting with two points are those whose order is a product of a power of two and a set of distinct Fermat primes. In addition there is a dense set of constructible angles of infinite order.
Compass and straightedge constructions as complex arithmetic
Given a set of points in the Euclidean plane, selecting any one of them to call 0 and another to be called 1, together with an arbitrary choice of orientation allows us to consider the points as a set of complex numbers.
Given any such interpretation of a set of points as complex numbers, the points constructible using valid compass and straightedge constructions alone are precisely the elements of the smallest field containing the original set of points and closed under the complex conjugate and square root operations (to avoid ambiguity, we can specify the square root with complex argument less than ). The elements of this field are precisely those that may be expressed as a formula in the original points using only the operations of addition, subtraction, multiplication, division, complex conjugate, and square root, which is easily seen to be a countable dense subset of the plane. Each of these six operations corresponding to a simple compass and straightedge construction. From such a formula it is straightforward to produce a construction of the corresponding point by combining the constructions for each of the arithmetic operations. More efficient constructions of a particular set of points correspond to shortcuts in such calculations.
Equivalently (and with no need to arbitrarily choose two points) we can say that, given an arbitrary choice of orientation, a set of points determines a set of complex ratios given by the ratios of the differences between any two pairs of points. The set of ratios constructible using compass and straightedge from such a set of ratios is precisely the smallest field containing the original ratios and closed under taking complex conjugates and square roots.
For example the real part, imaginary part and modulus of a point or ratio (taking one of the two viewpoints above) are constructible as these may be expressed as
Doubling the cube and trisection of an angle (except for special angles such as any such that is a rational number with denominator the product of a power of two and a set of distinct Fermat primes) require ratios which are the solution to cubic equations, while squaring the circle requires a transcendental ratio. None of these are in the fields described, hence no compass and straightedge construction for these exists.
Impossible constructions
Squaring the circle
The most famous of these problems, "squaring the circle", involves constructing a square with the same area as a given circle using only ruler and compass.
Squaring the circle has been proved impossible, as it involves generating a transcendental ratio, namely . Only algebraic ratios can be constructed with ruler and compass alone. The phrase "squaring the circle" is often used to mean "doing the impossible" for this reason.
Without the constraint of requiring solution by ruler and compass alone, the problem is easily solvable by a wide variety of geometric and algebraic means, and has been solved many times in antiquity.
Doubling the cube
Doubling the cube: using only a straight-edge and compass, construct the side of a cube that has twice the volume of a cube with a given side. This is impossible because the cube root of 2, though algebraic, cannot be computed from integers by addition, subtraction, multiplication, division, and taking square roots. This follows because its minimal polynomial over the rationals has degree 3. This construction is possible using a ruler with two marks on it and a compass.
Angle trisection
Angle trisection: using only a ruler and a compass, construct an angle that is one-third of a given arbitrary angle. This requires taking the cube root of an arbitrary complex number with absolute value 1, and is likewise impossible.
Specifically, one can show that the angle of 60° cannot be trisected. If it could be trisected, then the minimal polynomial of cos 20° would have to have a power-of-two degree.
Using the trigonometric identity cos(3α) = 4cos³(α) − 3cos(α), one sees that, letting cos 20° = y, that 8y³ − 6y − 1 = 0, so, substituting x = 2y, x³ − 3x − 1 = 0. The minimal polynomial for x is a factor of this, but if it were not irreducible, then it would have a rational root which, by the rational root theorem, must be 1 or −1, which are clearly not roots. Therefore the minimal polynomial for cos 20° is of degree 3, so cos 20° is not constructible and 60° cannot be trisected.
Trisection, like many constructions impossible by ruler and compass, can easily be accomplished by the more powerful (but physically easy) operations of paper folding, or origami. Huzita's axioms (types of folding operations) can construct cubic extensions (cube roots) of given lengths, whereas ruler-and-compass can construct only quadratic extensions (square roots). See mathematics of paper folding.
Constructing regular polygons
Some regular polygons (e.g. a pentagon) are easy to construct with ruler and compass; others are not. This led to the question: Is it possible to construct all regular polygons with ruler and compass?
Carl Friedrich Gauss in 1796 showed that a regular n-sided polygon can be constructed with ruler and compass if the odd prime factors of n are distinct Fermat primes. Gauss conjectured that this condition was also necessary, but he offered no proof of this fact, which was proved by Pierre Wantzel in 1837. See constructible polygon.
Constructing with only ruler or only compass
It is possible (according to the Mohr-Mascheroni theorem) to construct anything with just a compass that can be constructed with a ruler and compass. It is impossible to take a square root with just a ruler, so some things cannot be constructed with a ruler that can be constructed with a compass; but (by the Poncelet-Steiner theorem) given a single circle and its center, they can be constructed.
Extended constructions
Markable rulers
Archimedes and Apollonius gave constructions involving the use of a markable ruler. This would permit him, for example, to take a line segment, two lines (or circles), and a point; and then draw a line which passes through the given point and intersects both lines, and such that the distance between the points of intersection equals the given segment. This he called neusis ("inclination", "tendency" or "verging"), because the new line tends to the point.
This extends geometry beyond the reach of Euclid's Elements. Euclid has no axiom, and can prove no theorem, that such verging lines even exist, so he cannot use them for constructions. In this expanded geometry, any distance whose ratio to an existing distance is the solution of a cubic or a quartic equation is constructible. It follows that, if markable rulers and neusis are permitted, the trisection of the angle (see Archimedes' trisection) and the duplication of the cube can be achieved; the quadrature of the circle is still impossible. Some regular polygons, like the heptagon, become constructible; and John H. Conway gives constructions for several of them[2]; but the 11-sided polygon, the hendecagon, is still impossible, and infinitely many others.
Origami
Similarly, the mathematical theory of origami (i.e. paper folding without any equipment) is more powerful than the compass and staightedge, for the same reasons. It can also be used to solve cubic equations (and hence quartic equations), and thus solve two of the classical problems.
Origami can construct exactly the same set of points as the extended constructions using a compass and a marked ruler.
The extension field
In abstract terms, using these more powerful tools of either neusis using a markable ruler or the constructions of origami extends the field of constructible numbers to a larger subfield of the complex numbers, which contains not only the square root, but also the cube root, of every element. (Again, we can avoid ambiguity as to which cube root by calling the one with complex argument less than the cube root). The arithmetic formulae for constructible points described above have analogies in this larger field, allowing formulae that include cube roots as well. The field extension generated by any additional point constructible in this larger field has degree a multiple of a power of two and a power of three, and may be broken into a tower of extensions of degree 2 and 3.
Recent research
Simon Plouffe has written a paper showing how ruler and compass can be used as a simple computer with unexpected power to compute binary digits of certain numbers. [3]
References
- ^ Weisstein, Eric W. "Trigonometry Angles--Pi/17". MathWorld.
- ^ Conway, John H. and Richard Guy: The Book of Numbers
- ^ Simon Plouffe. "The Computation of Certain Numbers Using a Ruler and Compass." Journal of Integer Sequences, Vol. 1 (1998), Article 98.1.3.
See also
- Constructible polygon
- Interactive geometry software may allow the user to create and manipulate ruler-and-compass constructions.
- Mohr-Mascheroni theorem
- Poncelet-Steiner theorem
External links
- Online ruler-and-compass construction tool
- Squaring the circle
- Impossibility of squaring the circle
- Doubling the cube
- Angle trisection
- Trisection of an Angle
- Regular polygon constructions
- Simon Plouffe's use of ruler and compass as a computer
- Why Gauss could not have proved necessity of constructible regular polygons
- Construction with the Compass Only at cut-the-knot
- Archimedes' neusis construction by Antonio Gutierrez from Geometry Step by Step from the Land of the Incas.
- Angle Trisection by Hippocrates
- Weisstein, Eric W. "Angle Trisection". MathWorld.
- Various constructions using compass and straightedge With interactive animated step-by-step instructions