Springer verlag, 1986 includes information on euclid s surface loci, data, and porisms. To construct an equilateral triangle on a given finite straight line. Now it is clear that the purpose of proposition 2 is to effect the construction in this proposition. The books cover plane and solid euclidean geometry. Perpendiculars being drawn through the extremities of the base of a given parallelogram or triangle, and. Euclid book 1 proposition 1 appalachian state university.
A proof of euclids 47th proposition using the figure of the point within a circle and with the kind assistance of president james a. Euclids method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions from these. The only basic constructions that euclid allows are those described in postulates 1, 2, and 3. It is a collection of definitions, postulates, propositions theorems and constructions, and mathematical proofs of the propositions. Law of cosines for obtuse angles proposition 12 from book 2 of euclid s elements in obtuseangled triangles, the square on the side subtending the obtuse angle is greater than the. In the book, he starts out from a small set of axioms that is, a group of things that. His elements is the main source of ancient geometry. Book vii, propositions 30, 31 and 32, and book ix, proposition 14 of euclid s elements are essentially the statement and proof of the fundamental theorem. The fragment was originally dated to the end of the third century or the beginning of the fourth century, although more recent scholarship suggests a date of 75125 ce. William thompson and gustav junge, the commentary of pappus on book x of euclid s elements cambridge. If there were another, then the interior angles on one side or the other of ad it makes with bc would be less than two right angles, and therefore by the parallel postulate post. For example, proposition 16 says in any triangle, if one of the sides be extended, the exterior angle is greater than either of the interior and opposite angles.
This sequence demonstrates the developmental nature of mathematics. An introduction to the works of euclid with an emphasis on the elements by donald lancon, jr. We have accomplished the basic constructions, we have proved the basic relations between the sides and angles of a triangle, and in particular we have found conditions for triangles to be congruent. Some scholars have tried to find fault in euclid s use of figures in his proofs, accusing him of writing proofs that depended on the specific figures drawn rather than the general underlying logic, especially concerning proposition ii of book i. Book v is one of the most difficult in all of the elements. Stoicheia is a mathematical treatise consisting of books attributed to the ancient greek mathematician euclid in alexandria, ptolemaic egypt c. Its interesting that although euclid delayed any explicit use of the 5th postulate until proposition 29, some of the earlier propositions tacitly rely on it. The parallel line ef constructed in this proposition is the only one passing through the point a. It was even called into question in euclid s time why not prove every theorem by superposition. Whether proposition of euclid is a proposition or an axiom. Even the most common sense statements need to be proved. In obtuseangled triangles bac the square on the side opposite the obtuse angle bc is greater than the sum of the squares on the sides containing the obtuse angle ab and ac by twice the rectangle contained by one of the sides about the obtuse angle ac, namely that on which the perpendicular falls, and the stra. No book vii proposition in euclid s elements, that involves multiplication, mentions addition.
It appears that euclid devised this proof so that the proposition could be placed in book i. Learn vocabulary, terms, and more with flashcards, games, and other study tools. A web version with commentary and modi able diagrams. To place at a given point as an extremity a straight line equal to a given straight line let a be the given point, and bc the given straight line. Section 2 consists of step by step instructions for all of the compass and straightedge constructions the students will. Proclus explains that euclid uses the word alternate or, more exactly, alternately. Euclid s method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions theorems from these. To a given straight line to apply a parallelogram equal to a given rectilineal figure and deficient by a parallelogrammic figure similar to a given one. Jul 27, 2016 even the most common sense statements need to be proved.
Euclids first proposition why is it said that it is an. Consider the proposition two lines parallel to a third line are parallel to each other. Definitions from book i byrnes definitions are in his preface david joyces euclid heaths comments on the definitions. Section 1 introduces vocabulary that is used throughout the activity. Textbooks based on euclid have been used up to the present day. In obtuseangled triangles bac the square on the side opposite the obtuse angle bc is greater than the sum of the squares on the sides containing.
Euclidean geometry is a mathematical system attributed to alexandrian greek mathematician euclid, which he described in his textbook on geometry. Proposition 12 from book 2 of euclids elements in obtuseangled triangles, the square on the side subtending the obtuse angle is greater than the sum of the squares on the sides containing the obtuse angle by twice the contained by one of the sides around the obtuse angle, to which a perpendicular straight line falls, and the straight line cut off outside the triangle by the. Euclids elements definition of multiplication is not. Let a be the given point, and bc the given straight line. Propositions used in euclids book 1, proposition 47. This proposition essentially proves the distributive property, though in a. His constructive approach appears even in his geometrys postulates, as the first and third. Lecture 6 euclid propositions 2 and 3 patrick maher scienti c thought i fall 2009. Book x main euclid page book xii book xi with pictures in java by david joyce, and the well known comments from heaths edition at the perseus collection of greek classics. The problem is to draw an equilateral triangle on a given straight line ab. Euclid s axiomatic approach and constructive methods were widely influential. Definitions from book xi david joyces euclid heaths comments on definition 1. These does not that directly guarantee the existence of that point d you propose.
Book i, propositions 9,10,15,16,27, and proposition 29 through pg. To cut off from the greater of two given unequal straight lines a straight line equal to the less. Law of cosines for obtuse angles proposition 12 from book 2 of euclids elements in obtuseangled triangles, the square on the side subtending the obtuse angle is greater than the. The visual constructions of euclid book i 63 through a given point to draw a straight line parallel to a given straight line.
Many of euclid s propositions were constructive, demonstrating the existence of some figure by detailing the steps he used to construct the object using a compass and straightedge. The verification that this construction works is also short with the help of proposition ii. This is the second proposition in euclid s first book of the elements. On a given straight line and a point on it to construct a rectilineal angle equal to a given rectilineal angle. Euclid s method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions from these. I suspect that at this point all you can use in your proof is the postulates 15 and proposition 1. To construct a square equal to a given rectilineal figure. That if you have a straight line and a point not on it, there is one line through the point that never crosses the line. Byrnes treatment reflects this, since he modifies euclid s treatment quite a bit.
Shormann algebra 1, lessons 67, 98 rules euclids propositions 4 and 5 are your new rules for lesson 40, and will be discussed below. Thus it is required to place at the point a as an extremity a straight line equal to the given straight line bc. I say that the rectangle contained by ab, bc together with the rectangle contained by ba, ac is equal to the square on ab. In obtuseangled triangles the square on the side subtending the obtuse angle is greater than the squares on the sides containing the obtuse angle by twice the rectangle contained by one of the sides about the obtuse angle, namely that on which the perpendicular falls, and the straight line cut off outside by the perpendicular towards the obtuse angle. This work is licensed under a creative commons attributionsharealike 3. I tried to make a generic program i could use for both the primary job of illustrating the theorem and for the purpose of being used by subsequent. Euclid presents a proof based on proportion and similarity in the lemma for proposition x. Euclids elements book 1 propositions flashcards quizlet. Postulate 3 assures us that we can draw a circle with center a and radius b. Start studying propositions used in euclids book 1, proposition 47. Many of euclids propositions were constructive, demonstrating the existence of some figure by detailing the steps he used to construct the object using a compass and straightedge.
Apr 23, 2014 this feature is not available right now. For example, you can interpret euclids postulates so that they are true in q 2, the twodimensional plane consisting of only those points whose x and ycoordinates are both rational numbers. If a straight line be cut at random, the rectangle contained by the whole and both of the segments is equal to the square on the whole for let the straight line ab be cut at random at the point c. The point d is in fact guaranteed by proposition 1 that says that given a line ab which is guaranteed by postulate 1 there is a equalateral triangle abd. From the time it was written it was regarded as an extraordinary work and was studied by all mathematicians, even the. Euclid then builds new constructions such as the one in this proposition out of previously described constructions. May 12, 2014 how to construct a square, equal in area to a given polygon. Perseus provides credit for all accepted changes, storing new additions in a versioning system. This is the same as proposition 20 in book iii of euclids elements although euclid didnt prove it this way, and seems not to have considered the application to angles greater than from this we immediately have the. The construction of a square equal to a given rectilinear figure is short as described in the proof. It is required to place a straight line equal to the given straight line bc with one end at the point a. Definitions superpose to place something on or above something else, especially so that they coincide. If there be two straight lines, and one of them be cut into any number of segments whatever, the rectangle contained by the two straight lines is equal to the rectangles contained by the uncut line and each of the segments. It is possible to interpret euclids postulates in many ways.
An xml version of this text is available for download, with the additional restriction that you offer perseus any modifications you make. In this plane, the two circles in the first proposition do not intersect, because their intersection point, assuming the endpoints of the. With an emphasis on the elements melissa joan hart. The activity is based on euclids book elements and any reference like \p1. Euclid collected together all that was known of geometry, which is part of mathematics. No other book except the bible has been so widely translated and circulated. Well, theres the parallel postulate, the idea that two parallel lines will never meet. In this plane, the two circles in the first proposition do not intersect, because their intersection point, assuming the endpoints of the line segment are 0, 0 and 1, 1, is 12, v32, which is not a rational point and therefore does not exist in q 2. Although many of euclids results had been stated by earlier mathematicians, euclid was the first to show. This is the second proposition in euclids first book of the elements. Euclids axiomatic approach and constructive methods were widely influential.
List of multiplicative propositions in book vii of euclid s elements. If superposition, then, is the only way to see the truth of a proposition, then that proposition ranks with our basic understanding. To place a straight line equal to a given straight line with one end at a given point. Elliptic geometry there are geometries besides euclidean geometry. So, in q 2, all of euclids five postulates hold, but the first proposition does. This is the essential construction here, as far as geometric algebra is concerned. It was discovered by grenfell and hunt in 1897 in oxyrhynchus. Euclids 2nd proposition draws a line at point a equal in length to a line bc. However, euclid s original proof of this proposition, is general, valid, and does not depend on the. Their construction is the burden of the first proposition of book 1 of the thirteen books of euclid s elements. If two numbers by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers. This is the first proposition in euclids second book of the elements. Pappus of alexandria, book 7 of the collection, 2 vols.
As we discuss each of the various parts of the textde. Euclid is known to almost every high school student as the author of the elements, the long studied text on geometry and number theory. To place at a given point as an extremity a straight line equal to a given straight line. For debugging it was handy to have a consistent not random pair of given lines, so i made a definite parameter start procedure, selected to. Leon and theudius also wrote versions before euclid fl. This is euclids proposition for constructing a square with the same area as a given rectangle. Proposition 3 looks simple, but it uses proposition 2 which uses proposition 1. From this and the preceding propositions may be deduced the following corollaries.
Two of the more important geometries are elliptic geometry and hyperbolic geometry, which were developed in the nineteenth. David joyces introduction to book i heath on postulates heath on axioms and common notions. W e now begin the second part of euclids first book. Using the postulates and common notions, euclid, with an ingenious construction in proposition 2, soon verifies the important sideangleside congruence relation proposition 4. There are many ways known to modern science whereby this can be done, but the most ancient, and perhaps the simplest, is by means of the 47th proposition of the first book of euclid. It focuses on how to construct a line at a given point equal to a given line. Prop 3 is in turn used by many other propositions through the entire work. To place at a given point asan extremitya straight line equal to a given straight line with one end at a given point. Euclid simple english wikipedia, the free encyclopedia. Book vii, propositions 30, 31 and 32, and book ix, proposition 14 of euclids elements are essentially the statement and proof of the fundamental theorem if two numbers by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers. Euclid readingeuclid before going any further, you should take some time now to glance at book i of the ele ments, which contains most of euclids elementary results about plane geometry. Its an axiom in and only if you decide to include it in an axiomatization. Is the proof of proposition 2 in book 1 of euclids. One recent high school geometry text book doesnt prove it.
1317 768 394 802 1081 349 255 695 883 1084 614 448 1353 138 1111 989 1262 1202 78 565 1037 139 239 146 160 200 841 556 701 31 751 1380 247 1251 919 1375 233 604 1431 1293