From the same point two straight lines cannot be set up at right angles to the same plane on the same side. It is often said that euclid who devoted books vii xi of his elements to number theory recognized the importance of unique factorization into primes and established it by a theorem proposition 14 of book ix. Jan 14, 2016 the elements of euclid for the use of schools and collegesbook xi. Use of proposition 4 of the various congruence theorems, this one is the most used. It is a collection of definitions, postulates, propositions theorems and constructions, and mathematical proofs of the propositions. Definitions from book xi david joyces euclid heaths comments on definition 1 definition 2. We personally assess every books quality and offer rare, outofprint treasures. 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. Let a be the given point, and bc the given straight line. We have just given very strong evidence that billingsleys english elements was the original source for the first chinese translation of the last nine books of euclid s elements. Euclids method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions from these. Definitions from book xi david joyces euclid heaths comments on definition 1. Also in book iii, parts of circumferences of circles, that is, arcs, appear as magnitudes.
Introductory david joyces introduction to book xii. The rest of the proof usually the longer part, shows that the proposed construction actually satisfies the goal of the proposition. The elements of euclid for the use of schools and collegesbook xi. Definition 2 straight lines are commensurable in square when the squares on them are measured by the same area, and.
Now we are ready for euclids theorem on the angle sum of triangles. With an emphasis on the elements melissa joan hart. Although many of euclids results had been stated by earlier mathematicians, euclid was the first to show. 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. Euclids elements, book xi clay mathematics institute. 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.
Then, since ke equals kh, and the angle ekh is right, therefore the square on he is double the square on ek. 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. Definitions from book xi david joyces euclid heaths comments on definition 1 definition 2 definition 3 definition 4. This proposition is used frequently in book i starting with the next two propositions, and it is often used in the rest of the books on geometry, namely, books ii, iii, iv, vi, xi, xii, and xiii. Planes to which the same straight line is at right angles are parallel. Book xi is about parallelepipeds, book xii uses the method of exhaustion to study areas and volumes for circles, cones, and spheres, and book.
The history of mathematical proof in ancient traditions. Euclid presents a proof based on proportion and similarity in the lemma for proposition x. Purchase a copy of this text not necessarily the same edition from. Incidentally, proclus explains in his commentary on book i that the problem of constructing the perpendicular was investigated by oenopides of chios who lived sometime in the middle of the fifth century b. He is much more careful in book iii on circles in which the first dozen or so propositions lay foundations. No other book except the bible has been so widely translated and circulated. Let ab be the given straight line, and c the given point on it. Clay mathematics institute historical archive euclids elements, book xii. A digital copy of the oldest surviving manuscript of euclid s elements. Heath, 1908, on to a given infinite straight line, from a given point which is not on it, to draw a perpendicular straight line.
Euclids method of proving unique prime factorisatioon. Home geometry euclids elements post a comment proposition 1 proposition 3 by antonio gutierrez euclids elements book i, proposition 2. Beginning in book xi, solids are considered, and they form. It is equivalent to proving that a right line cannot be produced through its extremity in more than one direction, or. Draw any straight line bc at random in the plane of reference, and draw ad from the point a perpendicular to bc i. It is equivalent to proving that a right line cannot be produced through its extremity in more than one direction, or that it has but one production. On a given finite straight line to construct an equilateral triangle. Cut off kl and km from the straight lines kl and km respectively equal to one of the straight lines ek, fk, gk, or hk. Classification of incommensurables definitions i definition 1 those magnitudes are said to be commensurable which are measured by the same measure, and those incommensurable which cannot have any common measure. To place at a given point as an extremity a straight line equal to a given straight line. This archive contains an index by proposition pointing to the digital images, to a greek transcription heiberg, and an english translation heath.
However, euclid s original proof of this proposition, is general, valid, and does not depend on the. Euclidean geometry is a mathematical system attributed to alexandrian greek mathematician euclid, which he described in his textbook on geometry. Book xi main euclid page book xiii book xii with pictures in java by david joyce, and the well known comments from heaths edition at the perseus collection of greek classics. The corollary to this proposition is useless, and is omitted in some editions. If a parallelepipedal solid be cut by a plane which is parallel to the opposite planes, then, as the base is to the base, so will the solid be to the solid. Stoicheia is a mathematical treatise consisting of books attributed to the ancient greek mathematician euclid in alexandria, ptolemaic egypt c. Book xii formally proves the theorem of hippocrates not the practitioner of healing for the area of a circlepi times the radius squared. To draw a straight line at right angles to a given straight line from a given point on it.
The national science foundation provided support for entering this text. Euclid is known to almost every high school student as the author of the elements, the long studied text on geometry and number theory. We may ask ourselves one final question related to the chinese translation, namely, where is the book wylie and li used. Book v introduces a theory of proportion, which we would find more familiar in an.
Although many of euclids results had been stated by earlier mathematicians, euclid was the first to. To draw a straight line perpendicular to a given infinite straight line from a given point not on it. Straight lines parallel to the same straight line are also parallel to one another. Euclid, elements, book i, proposition 12 heath, 1908. To a given infinite straight line, from a given point which is not on it, to draw a perpendicular straight line. 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. Project gutenbergs first six books of the elements of euclid. Th e history of mathematical proof in ancient traditions th is radical, profoundly scholarly book explores the purposes and. In the first proposition of book x, euclid gives the theorem that serves as the basis of the method of exhaustion credited to eudoxus.
The elements of euclid for the use of schools and colleges. Cut off kl and km from the straight lines kl and km respectively equal to one of the straight lines ek, fk, gk, or hk, and join le, lf, lg, lh, me, mf, mg, and mh i. To set up a straight line at right angles to a give plane from a given point in it. May 10, 2014 euclid s elements book 2 proposition 12 sandy bultena. Proposition 12 in obtuseangled triangles the square on the side opposite the obtuse angle is greater than the sum of 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. The first part of a proof for a constructive proposition is how to perform the construction.
Elements is definitely plane geometry, but books xi xiii in volume 3 do expand things into 3d geometry solid geometry. Full text of elements of geometry, containing books i. Through a given point to draw a straight line parallel to a given. Given two unequal straight lines, to cut off from the greater a straight line equal to the less. We have just given very strong evidence that billingsleys english elements was the original source for the first chinese translation of the last nine books of euclids elements. Eudoxus made a major discovery in arithmetic when he showed how they can be handled, and euclid elaborated on this work. The books cover plane and solid euclidean geometry. In book ii euclid extends his treatment to rectangles, in book iii circles, and in book iv polygons. Proposition 29 is also true, and euclid already proved it as proposition 27.
Euclid does not precede this proposition with propositions investigating how lines meet circles. May 08, 2008 a digital copy of the oldest surviving manuscript of euclid s elements. To draw a straight line perpendicular to a given plane from a given elevated point. Euclids elements book 2 proposition 12 sandy bultena. Project gutenberg s first six books of the elements of euclid, by john casey. Use of this proposition the construction in this proposition is used frequently in the last three books of the elements. Definitions from book xii david joyces euclid heaths comments on proposition xii. Proposition 29 is also true, and euclid already proved it as proposition. Thriftbooks sells millions of used books at the lowest everyday prices. In the list of propositions in each book, the constructions are displayed in red. It appears that euclid devised this proof so that the proposition could be placed in book i. To construct an octahedron and comprehend it in a sphere, as in the preceding case. The first chinese translation of the last nine books of. Part of the clay mathematics institute historical archive.
1323 641 793 704 1239 405 1482 775 1346 1036 1401 1299 860 1260 102 121 1507 1249 543 1171 1166 1232 872 1021 750 318 1431 987 1441 1448 990 151