Proposition 9 if a straight line is cut into equal and unequal segments, then the sum of the squares on the unequal segments of the whole is double the sum of the square on the half and the square on the straight line between the points of section. It is a collection of definitions, postulates, axioms, 467 propositions theorems and constructions, and mathematical proofs of the propositions. For example, the diagonal of a square and the side of the square are not commensurable since the squares on them are in the ratio 2. Prop 3 is in turn used by many other propositions through the entire work. Definition 2 straight lines are commensurable in square when the squares on them are measured by the. For one thing, the elements ends with constructions of the five regular solids in book xiii, so it is a nice aesthetic touch to begin with the construction of a regular triangle. Euclid a quick trip through the elements references to euclids elements on the web subject index book i. Euclids elements is the oldest mathematical and geometric treatise consisting of books written by euclid in alexandria c. Proposition 3 looks simple, but it uses proposition 2 which uses proposition 1. Heath, 1908, on to bisect a given finite straight line. The main subjects of the work are geometry, proportion, and. Book 1 outlines the fundamental propositions of plane geometry, includ ing the. Definition 3 a number is a part of a number, the less of the greater, when it measures the greater. Euclid, elements, book i, proposition 10 heath, 1908.
Euclids elements book i, proposition 1 trim a line to be the same as another line. This proof is a construction that allows us to bisect angles. In the hundred fifteenth proposition, proposition 16, book iv, he shows that it is possible to inscribe a regular 15gon in a circle. When teaching my students this, i do teach them congruent angle construction with straight. I say that the angle bac has been bisected by the straight line af. If two similar plane numbers by multiplying one another make some number, the product will be square.
W e will now solve the problem of bisecting an angle, that is, dividing it into two equal angles, and of bisecting a straight line bisecting an angle. Euclidean geometry is a mathematical system attributed to alexandrian greek mathematician euclid, which he described in his textbook on geometry. According to joyce commentary, proposition 2 is only used in proposition 3 of euclids elements, book i. Stoicheia is a mathematical treatise consisting of books attributed to the ancient greek mathematician euclid in alexandria, ptolemaic egypt c.
Built on proposition 2, which in turn is built on proposition 1. The squares on straight lines commensurable in length have to one another the ratio which a square number has to a square number. 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. Introduction main euclid page book ii book i byrnes edition page by page 1 23 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 edition. To place a straight line equal to a given straight line with one end at a given point. One side of the law of trichotomy for ratios depends on it as well as propositions 8, 9, 14, 16, 21, 23, and 25. Place the point of the compass on a, and swing an arc ed. Let a, b be two similar plane numbers, and let a by multiplying b make c.
Euclids elements of geometry university of texas at austin. Book iv main euclid page book vi book v byrnes edition page by page. The books cover plane and solid euclidean geometry. It will be shown that at least one additional prime number not in this list exists. If a cubic number multiplied by itself makes some number, then the product is a cube. Little is known about the author, beyond the fact that he lived in alexandria around 300 bce. In euclids the elements, book 1, proposition 4, he makes the assumption that one can create an angle between two lines and then construct the same angle from two different lines. Euclids elements of geometry euclids elements is by far the most famous mathematical work of classical antiquity, and also has the distinction of being the worlds oldest continuously used mathematical textbook. In any triangle, if one of the sides is produced, then the exterior angle is greater than either of the interior and. Euclids method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions from these. Each proposition falls out of the last in perfect logical progression. Out of three straight lines, which are equal to three given straight lines, to construct a triangle. If two numbers multiplied by one another make a square number, then they are similar plane numbers. Definition 2 a number is a multitude composed of units.
Some of the propositions in book v require treating definition v. The problem here is to divide a line ab into some given number n of equal parts, or actually, to to find just one of these parts. If on the circumference of a circle two points be take at random, the straight line joining the points will fall within the circle. Up until this proposition, euclid has only used cutandpaste proofs, and such a proof can. Definitions 23 postulates 5 common notions 5 propositions 48 book ii.
Euclids elements is one of the most beautiful books in western thought. Also, line bisection is quite easy see the next proposition i. 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. Definition 4 but parts when it does not measure it. Fundamentals of number theory definitions definition 1 a unit is that by virtue of which each of the things that exist is called one. If a straight line is cut into equal and unequal segments, then the sum of the squares on the unequal segments of the whole is double the sum of the square on the half and the square on the straight line between the points of section. Did euclids elements, book i, develop geometry axiomatically. The incremental deductive chain of definitions, common notions, constructions. Although many of euclids results had been stated by earlier mathematicians, euclid was. If a straight line falling on two straight lines make the alternate angles equal to one another, the. The book contains a mass of scholarly but fascinating detail on topics such as euclids predecessors, contemporary reaction, commentaries by later greek mathematicians, the work of arab mathematicians inspired by euclid, the transmission of the text back to renaissance europe, and a list and potted history of the various translations and. As euclid states himself i3, the length of the shorter line is measured as the radius of a circle directly on the longer line by letting the center of the circle reside on an extremity of the longer line. Using statement of proposition 9 of book ii of euclids elements.
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. Book 9 contains various applications of results in the previous two books, and. This is the ninth proposition in euclids first book of the elements. Euclid, elements of geometry, book i, proposition 10 edited by sir thomas l. Euclid offered a proof published in his work elements book ix, proposition 20, which is paraphrased here consider any finite list of prime numbers p 1, p 2. All bold blue italics are quotes from sir thomas l. Given two straight lines constructed on a straight line from its extremities and meeting in a point, there cannot be constructed on the same straight line from its extremities, and on the same side of it, two other straight lines meeting in another point and equal to the former two respectively. Euclid, elements of geometry, book i, proposition 9 edited by dionysius lardner, 1855 proposition ix.
282 853 816 666 1310 1388 740 300 727 308 1482 1452 269 528 134 697 284 22 709 122 503 1091 1132 443 429 1223 277 1358 694 25 28 325 669 767 376 171 628 1122 1090