Compass & Straightedge Construction and the Impossible Constructions
From Math Images
Line 4: | Line 4: | ||
|ImageIntro=This image shows the step by step construction of a hexagon inscribed in the circle using a compass and a unmarked straightedge. | |ImageIntro=This image shows the step by step construction of a hexagon inscribed in the circle using a compass and a unmarked straightedge. | ||
|ImageDescElem= | |ImageDescElem= | ||
- | Let's assume we only have a compass and a unmarked straightedge. What can we construct and how can we construct them? That were the problems that Euclid pondered not only because those were probably the only instruments that he had at his time but also he wanted to build his theorems with as few assumptions, or {{EasyBalloon|Link=axioms|Balloon=In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evident, or subject to necessary decision. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths.}}, as possible.<font color=red>citation needed</font> In the main image of this page, we want to divide the circle into six equal arcs and then connect consecutive points to form the hexagon. It seems to be a fairly simple construction but you should be prompted to ask two questions: Are other polygons constructible and is every polygon constructible, that is able to be constructed using only compass and straightedge? To extend the question, what are constructible and what are not? That is the problem that is resolved in this page. | + | Let's assume we only have a compass and a unmarked straightedge. What can we construct and how can we construct them? That were the problems that Euclid pondered not only because those were probably the only instruments that he had at his time but also he wanted to build his theorems with as few assumptions, or {{EasyBalloon|Link=axioms|Balloon=In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evident, or subject to necessary decision. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths.}}, as possible.<font color=red>citation needed</font> With these two simple tools, he managed to build myriad of theorems in both plane and solid geometry. These theorem are as good as they were some 2000 years ago and it is this enduring quality of Euclid's work that inspired this page. In the main image of this page, we want to divide the circle into six equal arcs and then connect consecutive points to form the hexagon. It seems to be a fairly simple construction but you should be prompted to ask two questions: Are other polygons constructible and is every polygon constructible, that is able to be constructed using only compass and straightedge? To extend the question, what are constructible and what are not? That is the problem that is resolved in this page. |
|ImageDesc===What is Compass & Straightedge Constructions== | |ImageDesc===What is Compass & Straightedge Constructions== |
Revision as of 22:08, 12 July 2010
- This image shows the step by step construction of a hexagon inscribed in the circle using a compass and a unmarked straightedge.
Creating a regular hexagon with a ruler and compass |
---|
Contents |
Basic Description
Let's assume we only have a compass and a unmarked straightedge. What can we construct and how can we construct them? That were the problems that Euclid pondered not only because those were probably the only instruments that he had at his time but also he wanted to build his theorems with as few assumptions, or axioms , as possible.citation needed With these two simple tools, he managed to build myriad of theorems in both plane and solid geometry. These theorem are as good as they were some 2000 years ago and it is this enduring quality of Euclid's work that inspired this page. In the main image of this page, we want to divide the circle into six equal arcs and then connect consecutive points to form the hexagon. It seems to be a fairly simple construction but you should be prompted to ask two questions: Are other polygons constructible and is every polygon constructible, that is able to be constructed using only compass and straightedge? To extend the question, what are constructible and what are not? That is the problem that is resolved in this page.A More Mathematical Explanation
- Note: understanding of this explanation requires: *A little Geometry and Some Abstract Algebra
What is Compass & Straightedge Constructions
Introduction
We start by familiarizing ourselves with Euclid's three Postulates in his books Elements.
Let it be granted 1. that a straight line may be drawn from any one point to any other point; 2. that a line segment may be extended into a straight line; 3. that given any straight line segment, a circle may be described having the segment as radius and one endpoint as center.citation needed. Also, all the translations seem to say "a circle with any radius and any center" which is not right.
It should be carefully noted that Euclid started with two given points and produced a line segment, from where he could extend into a straight line if he pleased. Then ONLY from the original two points, he could use one point as center and ONLY spread the legs of compass the distance of the line segment to produce a circle. He could not specify any points and lengths other than what was already given, that is to say he could not claim "I wanted to spread the legs of the compass centimeters apart (or any specified denominations) with the center of the circle half way between the two given points". In all, Compass and Straightedge Constructions only allow us to start with points (and hence lengths) we have been given(or constructed from given points), and create the ones we don't. |
Thus, we define Compass & Straightedge Construction as the construction of points, lengths, angles, and circles using only ideal straightedge and compass. A straightedge is infinite in length, has no markings on it and only one edge. A compass has two legs, one end of which is fixed on the plane of construction and the other end is of given distance away and maintains the distance throughout the construction. It collapses when lifted from the page, so may not be directly used to transfer distances.citation needed However, it turns out that this restriction makes no difference due to the Compass Equivalence Theorem which was stated as Proposition II of Book I of Euclid's Elements. It stated that from a given point, it was possible to construct a line segment equal to a given line segment using collapsible compass in any desirable direction. Euclid's proof for the Compass Equivalence Theorem will be presented after the section of Basic Construction. Since Euclid has proven this using only the three postulates, then he did not have to use a collapsible compass any more.citation needed |
Some Basic Constructions
The constructions below are some basic ones from where many more constructions are possible and they are by no means exhaustive. In the figures below, what we are given are in blue; intermediate steps are in dotted black; the resulting products are in red. The proofs for these constructions are relatively simple and only require the knowledge of congruent triangles. Euclid derived the theories on congruency and congruent triangles directly from his Postulates. Try proving the theorems yourself!
Line Segment Bisection
Angle Bisection
Perpendicular Through a Point
Parallel Line
Tangent Line to a Circle
Euclid's Proof of Compass Equivalence Theorem
This part refers back to the previous section about the issue of compass being collapsible. Euclid's original proof is presented. Additional comments are contained in the parenthesis.
Algebraicization of Compass & Straightedge Constructions
What is Algebraicization?
From the few basic constructions, you would have probably realized that the different possibilities seems infinite. Hence, mathematician are curious to find out what are constructible and what aren't and for this purpose, the language of pure geometry seems to have "limited vocabulary"citation needed. Back in ancient times, mathematicians had limited algebraic knowledge and were more familiar with geometry. But in modern times, the reverse is true. Hence, today's mathematicians go back to their familiar realm of Algebra and try to find the link between geometry and algebra.
Algebraicization is the translation of any problem statements into algebraic problems. In the case of Compass & Straightedge construction, we algebraicize each step of a straightedge and compass construction, and consequently obtaining general results about the nature of constructibility. Hilda P. Hudson put it aptly in his lecture Ruler & Compasses,
"each step of a ruler and compass construction is equivalent to a certain analytical process; it is found that the power to use a ruler corresponds exactly to the power to solve linear equations, and the power to use compasses to the power to solve quadratics...... Since each step of a ruler and compass construction is equivalent to the solution of an equation of the first or second degree, we consider that these algebraic processes can lead to , when combined in every possible way, and that enables us to answer the question before us......"citation needed
Hudson lectured on this in the early 20th century and certain phrases of his could potentially cause confusion. The take-away from this paragraph is that in order to algebraicize straightedge and compass construction, we begin by designating a given point as the origin and the coordinates of another given point (we are given two points at least) as or . Thus we have established the Cartesian Coordinates. Then, every time we construct a straight line or a circle, we think of it instead as adding a new equation into a system of equations. These equations represent the coordinates of all the points on the line or circle, but that is easy since we all know the expression for a line and a circle as and . However, the only times we can pinpoint a point (and find its coordinates as a result) is when a line intersects with a line, or a circle, or a circle intersects with another circle in which case we can pinpoint 2 points. We then conclude that only those coordinates of the points of intersections are constructible. In this way, a geometric process is translated into an algebraic process.
A Simple Derivation
Firstly, we define "1" on a straight line as stated previously. Then, once you have chosen that length to be "1", you have to stick to this specification throughout your construction. Next, it is very obvious that we could construct all the integers, that is (or = ). How so? Well, once we have the "1", all we have to do is to use the Compass Equivalence Theorem finite number of times to duplicate the length "1" that we previously defined. Now, that means that we could have any two random integers, and , and for the sake of this discussion and clarity, we are talking about positive integers here. Next, it is shown that from and , we could construct , , and .
To construct , we will use as the center and use as radius. The two points of intersection with the line will be and . | To construct , we have , , and on the straight line.
The distance between and that point is . |
To construct , we have , , and on the straight line.
The distance between and that point is . |
Therefore, it has been proven that we could construction all the rational numbers since and are any arbitrary integers. The natural question to ask right now is that what else is possible to construct? It is not hard to think of numbers that are not rational. For example, is constructible. Construct a unit square and the diagonal is of length . So is it possible to construct given any constructible number ? It turns out that we could. See below for method. To construct , we start with , , .
.Again, I will leave the proof to you as well using similar triangles. |
I will leave the proofs to you since they are very simple using similar triangles.
Next, we moved to the general solution of the problem.
Assume we have two points and with coordinates and . Take an arbitrary point on the line.
By similar triangle, .
Rearranging the above we have
.
Since , , and are constant we can express this as which is the general expression of a straight line.
Now, if we have two lines specified by four given points, ,...., with coordinates . The intersection of the two lines, will satisfy two equations
You may say that the there might not be a solution. True the two lines do not have to intersect. But if they do, we only need the operations of addition, subtraction, multiplication and division to find the point.
Now, we move onto circle. Say we have circle centered at some point with coordinates and radius . We know that the explicit expression for a circle is . Hence, if that circle intersects with one of the straight lines, then the points of intersection will satisfy
To solve for the points of intersection, we only need the operations of addition, subtraction, multiplication and division along with the extraction of square roots. Therefore, from this analysis, we have turned geometric problem into algebraic problem and come to the conclusion that a number is constructible if and only if it may be obtained from the integers by repeated use of addition, subtraction, multiplication, division and the extraction of square roots.citation needed
A Rigorous Proof
What I have presented above is a simplified version of the derivation towards the theorem. To see a rigorous proof of this theorem at a college level, refer to the text below which is mainly taken from I. N. Herstein's Topics in Algebra, Second Edition. You need some knowledge in Linear Algebra and/or Abstract Algebra. Also see Constructible Numbers. You should not be discouraged should you find it hard to understand. Instead, you should be marveled by the simplicity and elegance of the algebraic proof.
citation neededWhy is it interesting?
What is Impossible to Construct (of course, using compass and straightedge alone)?
Below is the brief introduction of a few of the impossible constructions. Remember that a number is constructible if and only if it may be obtained from the integers by repeated use of addition, subtraction, multiplication, division and the extraction of square roots.
- cannot be obtained from the integers by repeated use of addition, subtraction, multiplication, division and the extraction of square roots. In fact, belongs to a special class of numbers called the transcendental number that does not satisfy any rational polynomials. In other words, is not a solution of any polynomials with rational coefficients. Too see complete proof that is transcendental, see Transcendental number and The 15 Most Famous Transcendental Numbers.
- From the above impossible construction, it follows that it is impossible to "square the circle (that is to construct a square that has the same area as a given circle)" because given a circle with radius 1, which is constructible, the area of the circle will be and we have to construct square with sides equal to which is not constructible. Due to this exception, there is no general method to square the circle.
- We could not double the volume of a given cube. Say we start with cube of volume 1, which is constructible. Then we have to construct cube of volume 2, which means we have to construct sides of which is impossible to construct. So we can double the cube.
- We generally can not trisect any given angle because the process involves taking cube root. For example, it is impossible to trisect . See below for proof. For more, refer to Trisection of an Anglefor explanation in great detail. Proof of is impossible to trisect.
- There are certain polygons that are impossible to construct. See Constructible polygon for more detail.
Number 2, 3 and 4 are the so-called Geometric Problems of Antiquity. Though they have been proven impossible to construct with straightedge and compass, it does not deter amateur mathematicians to come up with false proofs even today.
Teaching Materials
- There are currently no teaching materials for this page. Add teaching materials.
About the Creator of this Image
Wikipedia, Powerpoint and Flash
Related Links
Additional Resources
- ):http://planetmath.org/
- ):http://hptgn.tripod.com/
- ):http://en.wikipedia.org/wiki/Compass_and_straightedge_constructions
- ):http://www.mathopenref.com/tocs/constructionstoc.html
- ):http://mathforum.org/library/drmath/view/66052.html
- ):http://mathforum.org/library/drmath/view/52601.html
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.