To construct an equilateral triangle on a given finite straight line. It is a collection of definitions, postulates, propositions theorems and constructions, and mathematical proofs of the propositions. This is the third proposition in euclids first book of the elements. Hence i have, for clearness sake, adopted the other order throughout the book. Now, since the point a is the center of the circle def, therefore ae equals ad. But c also equals ad, therefore each of the straight lines ae and c equals ad. Euclid uses the method of proof by contradiction to obtain propositions 27 and 29. The goal of euclid s first book is to prove the remarkable theorem of pythagoras about the squares that are constructed of the sides of a right triangle. Euclids elements, book i, proposition 3 proposition 3 to cut off from the greater of two given unequal straight lines a straight line equal to the less. Leon and theudius also wrote versions before euclid fl. Definitions from book iii byrnes edition definitions 1, 2, 3, 4. If the circumcenter the blue dots lies inside the quadrilateral the. But euclid doesnt accept straight angles, and even if he did, he hasnt proved that all straight angles are equal.
Let ab, c be the two unequal straight lines, and let ab be the greater of them. To cut off from the greater of two given unequal straight lines a straight line equal to the less. Let ab and c be the two given unequal straight lines, and let ab be the greater of them. A fter stating the first principles, we began with the construction of an equilateral triangle. Book iv main euclid page book vi book v byrnes edition page by page. At the point a let ad be placed equal to the straight line c. 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. Lecture 6 euclid propositions 2 and 3 patrick maher. Proposition 3, book xii of euclids elements states.
Even in solid geometry, the center of a circle is usually known so that iii. Introduction main euclid page book ii book i byrnes edition page by page 1 2 3 45 67 89 1011 12 1415 1617 1819 2021 2223 2425 2627 2829 3031 3233 3435 3637 3839 4041 4243 4445 4647 4849 50 proposition by proposition with links to the complete edition of euclid with pictures in java by david joyce, and the well known comments from heaths. The lines from the center of the circle to the four vertices are all radii. Introductory david joyces introduction to book iii. Euclid, elements of geometry, book i, proposition 1 edited by sir thomas l. 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. Use of proposition 5 this proposition is used in book i for the proofs of several propositions starting with i. Indeed, that is the case whenever the center is needed in euclid s books on solid geometry see xi. Any pyramid which has a triangular base is divided into two pyramids equal and similar to one another, similar to the whole and having triangular bases, and into two equal prisms. Euclid s elements is the oldest mathematical and geometric treatise consisting of books written by euclid in alexandria c. And from the point g, in which the circles cut one another, to the points a, b, let the straight lines ga, gb be joined. Purchase a copy of this text not necessarily the same edition from. Proposition by proposition with links to the complete edition of euclid with pictures in java by david joyce, and the well known comments from heaths edition at the perseus collection of greek classics.
Stoicheia is a mathematical treatise consisting of books attributed to the ancient greek mathematician euclid in alexandria, ptolemaic egypt c. Proposition 16 is an interesting result which is refined in proposition 32. This and the next six propositions deal with volumes of pyramids. 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 theorems, but it is simpler to separate those into two sub procedures. Given two unequal straight lines, to cut off from the greater a straight line equal to the less.
Prop 3 is in turn used by many other propositions through the entire work. There is a free pdf file of book i to proposition 7. The proof relies on basic properties of triangles and parallel lines developed in book i along with the result of the previous proposition vi. Euclid s 2nd proposition draws a line at point a equal in length to a line bc. 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 look similar to. It is a collection of definitions, postulates, axioms, 467 propositions theorems and constructions, and mathematical proofs of the propositions. Built on proposition 2, which in turn is built on proposition 1. Thus it is required to cut off from ab the greater a straight line equal to c the less. The parallel line ef constructed in this proposition is the only one passing through the point a. It uses proposition 1 and is used by proposition 3. He uses postulate 5 the parallel postulate for the first time in his proof of proposition 29. Learn this proposition with interactive stepbystep here. Heath, 1908, on on a given finite straight line to construct an equilateral triangle.
Tap on the button with the yellow indicator to begin. Definitions from book xi david joyces euclid heaths comments on definition 1 definition 2. Heath, 1908, on given two unequal straight lines, to cut off from the greater a straight line equal to the less. The national science foundation provided support for entering this text. Use of this proposition this proposition is not used in the remainder of the elements. Euclid, book 3, proposition 22 wolfram demonstrations. Book 1 outlines the fundamental propositions of plane geometry, including the three cases in which triangles are congruent, various theorems involving parallel lines, the theorem regarding the sum of the angles in a triangle, and the pythagorean theorem. Add a oneline explanation of what this file represents. Euclid, elements, book i, proposition 3 heath, 1908.
Let a be the given point, and bc the given straight line. If any number of magnitudes be equimultiples of as many others, each of each. Now it is clear that the purpose of proposition 2 is to effect the construction in this proposition. To place a straight line equal to a given straight line with one end at a given point.
Euclid, elements, book i, proposition 1 lardner, 1855. English text of all books of the elements, plus a critical apparatus which analyzes each definition, postulate, and proposition in great detail. The first two of these lay the foundations for xii. Proposition 3 looks simple, but it uses proposition 2 which uses proposition 1. The second part of the statement of the proposition is the converse of the first part of the statement. Euclid, elements of geometry, book i, proposition 3 edited by sir thomas l. Euclid, elements, book i, proposition 1 heath, 1908.
339 356 710 144 1104 520 112 571 166 361 971 144 397 1430 653 1512 1352 1030 1469 1128 330 1172 974 15 1232 1142 798 520 1032