A line drawn from the centre of a circle to its circumference, is called a radius. For most of its long history, euclids elements was the paradigm for careful and exact. For if two lines be supposed to be drawn, one of which is perpendicular, they will form a triangle having one right angle. A circle does not touch another circle at more than one point whether it touches it internally or externally. Stoicheia is a mathematical treatise consisting of books attributed to the ancient greek mathematician euclid in alexandria, ptolemaic egypt c. Use of proposition 16 this proposition is used in the proofs of the next two propositions, a few others in this book, and a couple in book iii. A triangle in elliptic geometry, such as abc, is a spherical triangle or, more precisely, a pair of antipodal spherical triangles. Therefore the planes ab and cd will meet when produced but they do not meet, because, by hypothesis, they are parallel. For suppose it does not, but, if possible, let it fall within as ca. List of multiplicative propositions in book vii of euclid s elements. Use of proposition 16 and its corollary this proposition is used in the proof of proposition iv. Books ixiii euclid s elements is the oldest mathematical and geometric treatise consisting of books written by euclid in alexandria c.
But unfortunately the one he has chosen is the one that least needs proof. To place at a given point as an extremity a straight line equal to a given straight line. Definitions from book vi byrnes edition david joyces euclid heaths comments on. Proofs, pictures, and euclid 1 historical background. Therefore the three straight lines ca, ab, bc are equal to one another. On a given finite straight line to construct an equilateral triangle. The contemplation of horn angles leads to difficulties in the theory of proportions thats developed in book v. Euclid highquality aftermarket parts are designed and engineered for all makes and models. The parallel line ef constructed in this proposition is the only one passing through the point a. Book ii main euclid page book iv book iii byrnes edition page by page 71 7273 7475 7677 7879 8081 8283 8485 8687 8889 9091 9293 9495 9697 9899 100101 102103 104105 106107 108109 110111 1121 114115 116117 118119 120121 122 proposition by proposition with links to the complete edition of euclid with pictures in java by david joyce, and the well known comments. Hide browse bar your current position in the text is marked in blue. A right line is said to touch a circle when it meets the circle, and being produced does not cut it. If ab a b, bc b c, ca c a, abc a b c, bca b c a, and cab. Now, since efk lies in the plane ab, therefore all the points on efk also lie in the plane ab.
Is the proof of proposition 2 in book 1 of euclids. Proposition 16 is an interesting result which is refined in. If two circles touch one another internally, and their centers be taken, the straight line joining their centers, if it be produced, will fall on the point of contact of the circles. Main page for book iii byrnes euclid book iii proposition 16 pages 9697. Given two unequal straight lines, to cut off from the greater a straight line equal to the. Proposition 16, exterior angles for a triangle duration. Here euclid has contented himself, as he often does, with proving one case only. Byrnes treatment reflects this, since he modifies euclid s treatment quite a bit. Euclid, elements of geometry, book i, proposition 16 edited by sir thomas l. No book vii proposition in euclid s elements, that involves multiplication, mentions addition. For most of its long history, euclids elements was the paradigm for careful and exact mathematical. Begin sequence euclid uses the method of proof by contradiction to obtain propositions 27 and 29. Guide now it is clear that the purpose of proposition 2 is to effect the construction in this proposition. Did euclids elements, book i, develop geometry axiomatically.
This proposition is used in the next one, a few others in book iii, and xii. For, if possible, let the circle abdc touch the circle ebfd, first internally, at more points than one, namely d and b. I say that the straight line drawn from a at right angles to ab from its end will fall outside the circle. Introduction main euclid page book ii book i byrnes edition page by page 1 2 3 45 67 89 1011 12 1415 16 17 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 at the. It is used occasionally in book x, but the special case when the means are equal and the second figure is a square, as enunciated in the next proposition, is used throughout book x and frequently in book xiii. These parts are tested for performance to ensure they live up to their name, delivering exceptional quality and value for vehicles in the second and third stages of. Paraphrase of euclid book 3 proposition 16 a a straight line ae drawn perpendicular to the diameter of a circle will fall outside the circle. For let the straight line ab be cut in extreme and mean ratio at the point c, and let ac be the greater segment. We hope they will not distract from the elegance of euclid s demonstrations. The straight line drawn at right angles to the diameter of a circle from its end will fall outside the circle, and into the space between the straight line and the circumference another straight line cannot be interposed, further the angle of the semicircle is greater, and the remaining angle less, than any acute rectilinear angle. Click anywhere in the line to jump to another position. Heath, 1908, on in any triangle, if one of the sides be produced, the exterior angle is greater than either of the interior and opposite angles. If in a circle two straight lines cut one another, then the rectangle contained by the segments of the one equals the rectangle contained by the segments of the other.
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. Elliptic geometry there are geometries besides euclidean geometry. Reading books the first six books of the elements of euclid and propositions ixxi of book xi. Euclids elements definition of multiplication is not.
It is a collection of definitions, postulates, propositions theorems and constructions, and mathematical proofs of the propositions. Is the proof of proposit ion 2 in book 1 of euclid s elements a bit redundant. 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. And since the point b is the center of circle ace, 11. Section 16 of the introduction to principles of human.
Home geometry euclid s elements post a comment proposition 1 proposition 3 by antonio gutierrez euclid s elements book i, proposition 2. The books on number theory, vii through ix, do not directly depend on book v since there is a different definition for ratios of numbers. Spheres are to one another in the triplicate ratio of their respective diameters. Book i, propositions 9,10,15, 16,27, and proposition 29 through pg. This proposition is used in the proof of proposition iv. Let a be the given point, and bc the given straight line. The books cover plane and solid euclidean geometry. I do not see anywhere in the list of definitions, common notions, or postulates that allows for this assumption.
Leon and theudius also wrote versions before euclid fl. Given two unequal straight lines, to cut off from the greater a straight line equal to the less. Take the center g of the circle abdc and the center h of ebfd. To place at a given point as an extremity a straight line equal to a given straight line euclid s elements book i, proposition 3. This proposition is not used in the rest of the elements. From this it is manifest that the straight line drawn at right angles to the diameter of a circle from its end touches the circle. If a straight line be cut in extreme and mean ratio, the square on the greater segment added to the half of the whole is five times the square on the half. But k is one of the points on the straight line efk, therefore k lies in the plane ab. In euclid s 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. A line perpendicular to the diameter, at one of the endpoints of the diameter, touches the circle. If a straight line passing through the center of a circle bisects a straight line not passing through the center, then it also cuts it at right angles. A circle does not cut a circle at more points than two.
The straight line drawn at right angles to the diameter of a circle from its extremity will fall outside the circle, and into the space between the straight line and the circumference another straight line cannot be interposed. He uses postulate 5 the parallel postulate for the first time in his proof of proposition 29. Corollary from this it is manifest that the straight line drawn at right angles to the diameter of a circle from its end touches the circle. Two of the more important geometries are elliptic geometry and hyperbolic geometry, which were developed in the nineteenth. Although euclid is fairly careful to prove the results on ratios that he uses later, there are some that he didnt notice he used, for instance, the law of trichotomy for ratios. The proposition plays an indispensable role in the proof of i,3, and i,3 is applied. Classic edition, with extensive commentary, in 3 vols. More than one perpendicular cannot be drawn from the same point to the same right line. 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.
314 167 69 1407 695 54 1178 1366 938 179 471 1330 832 305 1288 1219 175 388 614 602 893 24 1445 684 1239 1018 364 1013 869 1457