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 let the two numbers a, b by multiplying one another make c, and let any prime number d measure c. Discovering universal truth in logic and math on free shipping on qualified orders. Euclid simple english wikipedia, the free encyclopedia. Euclid, book iii, proposition 31 proposition 31 of book iii of euclids elements is to be considered. Book 1 outlines the fundamental propositions of plane geometry, includ. Consider the proposition two lines parallel to a third line are parallel to each other. However, in the elements, a plethos is any collection that can be put into 11. Straight lines parallel to the same straight line are also parallel to one another. Recently, david pengelley and fred richman 8 published a readable paper entitled did euclid need the euclidean algorithm to prove unique factorization. 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. Book 7 deals strictly with elementary number theory.
However, euclid s original proof of this proposition, is general, valid, and does not depend on the. And unlike most other proofs of the theorem, it does not require proposition 30 of elements sometimes called euclid s lemma that states. Euclid collected together all that was known of geometry, which is part of mathematics. The national science foundation provided support for entering this text. Euclid s elements book 7 proposition 31 by sandy bultena. To place at a given point as an extremity a straight line equal to a given straight line. I find euclid s mathematics by no means crude or simplistic. Introductory david joyces introduction to book i heath on postulates heath on axioms and common notions. Euclidean geometry is a mathematical system attributed to alexandrian greek mathematician euclid, which he described in his textbook on geometry. If an arithmos is a part of an arithmos, just the part that an arithmos. The elements is a mathematical treatise consisting of books attributed to the ancient greek mathematician euclid in alexandria, ptolemaic egypt c. Hardy and wright 4 called proposition 30 book 7 euclids first theo rem which is.
Euclid s elements book 7 proposition 30 by sandy bultena. Mar 15, 2014 how to draw a straight line through a given point, parallel to another given line. Proposition 25 has as a special case the inequality of arithmetic and geometric means. In the book, he starts out from a small set of axioms that is, a group of things that. Euclid s elements, in the later books, goes well beyond elementaryschool geometry, and in my view this is a book clearly aimed at adult readers, not children.
Given two unequal straight lines, to cut off from the greater a straight line equal to the less. This result is incorrectly termed gausss lemma, which is an entirely different result. Euclid presents a proof based on proportion and similarity in the lemma for proposition x. Proposition 7 if a number is that part of a number which a subtracted number is of a subtracted number, then the remainder is also the same part of the remainder that the whole is of the whole. Any prism which has a triangular base is divided into three pyramids equal to one another which have triangular bases. Euclid, book iii, proposition 30 proposition 30 of book iii of euclids elements is to be considered.
Purchase a copy of this text not necessarily the same edition from. This work is licensed under a creative commons attributionsharealike 3. 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. In the first proposition, proposition 1, book i, euclid shows that, using only the postulates and common notions, it is possible to construct an equilateral triangle on a given straight line. The parallel line ef constructed in this proposition is the only one passing through the point a. Heaths translation of the thirteen books of euclid s elements. One recent high school geometry text book doesnt prove it. More recent scholarship suggests a date of 75125 ad.
On a given finite straight line to construct an equilateral triangle. Definition 6 an even number is that which is divisible into two equal parts. This is not unusual as euclid frequently treats only one case. This results appeared in euclids elements, book vii, proposition 30. Its of course clear that mathematics has expanded very substantially beyond euclid since the 1700s and 1800s for example. Proposition 29 is also true, and euclid already proved it as proposition 27. Euclid s method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions from these. An xml version of this text is available for download, with the additional restriction that you offer perseus any modifications you make. Euclid, book i, proposition 30 using the results of propositions 27, 28 and 29 of book i of euclids elements, prove that if straight lines ab and cd are both parallel to.
Use of proposition 30 this proposition is used in i. His elements is the main source of ancient geometry. In keeping with green lions design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs. It contains a collection of results from geometric algebra. During ones journey through the rituals of freemasonry, it is nearly impossible to escape exposure to euclids 47 th proposition and the masonic symbol which depicts the proof of this amazing element of geometry. Euclids 47 th proposition of course presents what we commonly call the pythagorean theorem. No other book except the bible has been so widely translated and circulated. In the hundred fifteenth proposition, proposition 16, book iv, he shows that it is possible to inscribe a regular 15gon in a circle.
In this proposition for the case when d lies inside triangle abc, the second conclusion of i. Proposition 7, book xii of euclid s elements states. Propositions 30 and 32 together are essentially equivalent to the fundamental theorem of arithmetic. Textbooks based on euclid have been used up to the present day. Through a given point to draw a straight line parallel to a given. If a number is that part of a number which a subtracted number is of a. Perseus provides credit for all accepted changes, storing new additions in a versioning system.
Commentators over the centuries have inserted other cases in this and other propositions. Definition 7 an odd number is that which is not divisible into two equal parts, or that which differs by a unit from an even number. 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. Green lion press has prepared a new onevolume edition of t. It may well be that euclid chose to make the construction an assumption of his parallel postulate rather rather than choosing some other equivalent statement for his postulate. Even the most common sense statements need to be proved. Euclid shows that if d doesnt divide a, then d does divide b, and similarly, if d doesnt divide b, then d does divide a.
Did euclid need the euclidean algorithm to prove unique. A geometry where the parallel postulate does not hold is known as a noneuclidean geometry. Book 2 proposition in an acute angled traingle, the square on the length opposite of the acute angle is less than the sum of the squares of the other two lengths by the rectangle made by one of the lengths and the cut segment making it right. The expression here and in the two following propositions is. Book 9 contains various applications of results in the previous two books, and includes. The statements and proofs of this proposition in heaths edition and caseys edition are to be compared. If two numbers, multiplied by one another make some number, and any prime number measures the product, then it also measures one of the. Euclid gave the definition of parallel lines in book i, definition 23 just before the five postulates. It is a collection of definitions, postulates, propositions theorems and. The greater number is a multiple of the less when it is measured by the less. Euclidean geometry is the study of geometry that satisfies all of euclid s axioms, including the parallel postulate.
If two numbers, multiplied by one another make some number, and. Constructs the incircle and circumcircle of a triangle, and constructs regular polygons with 4, 5, 6, and 15 sides. The theory of the circle in book iii of euclids elements. Euclid s conception of ratio and his definition of proportional magnitudes as criticized by arabian commentators including the text in facsimile with translation of the commentary on ratio of abuabd allah muhammed ibn muadh aldjajjani. It appears that euclid devised this proof so that the proposition could be placed in book i. Here we could take db to simplify the construction, but following euclid, we regard d as an approximation to the point on bc closest to a.
431 941 806 685 1236 313 947 581 1038 1256 699 577 548 151 147 1079 1205 332 430 241 343 1546 588 903 609 1150 216 199 436 1093 1097 977 1096 1018 110 967 1426