PROP. 5.-THEOR. The angles at the base of an isosceles triangle are equal to each other ; and if the equal sides be produced, the angles on the other side of the base shall be equal. Con.-Pst. 2, P. 3, Pst. 1.- DEM.-P. 4, Ax. 3, Def. 24, Ax. 1. E. 11 Hyp. 1. Let ABC be an isosc. A of which side AB= side AC; 2 H.2°& Pst. 2. and let the equal sides be produced indefinitely to D and E; 3 Conc. 1. then the SABC, ACB, at the base, are equal; 41 , 2. and the CS DBC, ECB, on the other side of the base, are also equal. C. 1 by P. 3. In A D take any · F, and make AG= AF; 2 Pst. 1. join the • s F and C, G and B. 8 Con. sup. D. 1 by Superp. Applying A ABC to A DEF, so that · A is on · D, and AB on DE ; 2 D.I, H.1 .: A B coincides with and is equal to D E, 3 Ax. 8. .:. the · B shall coincide with the E; 4 D.2,3,H.2 Again, ::: AB coincides with DE, and _ BAC= _ EDF, 5 Conc. ... the line AC shall fall on the line DF: 6 H.1,&Conc. But AC being = DF,.. the · C shall fall on the · F; 7 D. 3, 6. and · B falling on · E, and C on F, the line B C falls on the line EF: Forif, though B falls on E,and Con F,BCdoes not fall on EF, then two st. lines will enclose a space; 9 Ax. 10. But this is impossible ; 10 Ax. 8. ... the base BC does coincide with and = the base EF: 11.D.2. 5, 6, 10 And A B falling on and being equal to D E; A C to DF; and BC to EF, 12 Ax. 8. ..A ABC coincides with and A DEF. 13 Hyp.1, D.10 Also, since D E coincides with A B, and EF with BC, 14 Ax.8, Conc. the L A B C shall coincide with and equal / DEF. 15 Hyp.1, D. 7. And in a similar way _ ACB= L D F E. :6 Rec. Wherefore, if two triangles have two sides, &c. Q.E.D. Sch.-1, This being the first Theorem, it is exclusively proved by means of the Axioms. The converse of the 8th Axiom is assumed ; namely, that if the magnitudes are equal, not merely if they are equivalent, they will coincide. 2. The equality spoken of is equality of the sides and of the angles. Triangles may be equal in area, though the sides and angles of the one are not equal to the sides and angles of the other. When the sides and angles mutually coincide, the triangles are named equal triangles; when their areas only are equal, equivalent triangles. APP.--This proposition contains the first of the criteria by which to infer the equality of triangles, and is applied to various uses : as 1st. In all parts of Geometry to establish the equality of triangles. Take the angle at C formed by the lines from the extremities, A and B, of the inaccessible distance; and measure in the distances CA and CB. The representative Values of these measure- A 7B ET F ments must now be taken from a Scale of Equal Parts, and drawn on paper, or on any plane surface : thus, draw a st. line DF of an indefinite length, and at D, by aid of the graduated semicircle, form an angle FDE, equal to the angle BCA : from a scale of equal parts represent the distance from A to C, in proper proportion, by the line DE, and the distance from B to C, by DF ; consequently, on a principle established in the Sixth Book, Prop. 4, and which we now assume as a Lemma,-"that the sides about similar triangles are proportional,”—the line BF will represent the distance from A to B : and if to the same scale we apply the line EF, that distance on the scale will be the representative isurement of the actual distance AB, PROP. 5.-THEOR. The angles at the base of an isosceles triangle are equal to each other ; and if the equal sides be produced, the angles on the other side of the base shall be equal. CON.-Pst. 2, P. 3, Pst. 1.-DEM.-P. 4, Ax. 3, Def. 24, Ax. 1. E E. 1 Hyp. 1. Let A B C be an isosc. A of which side AB = side AC; 2 H. 2 & Pst. 2. and let the equal sides be produced indefinitely to D and E; 3 Conc. 1. then the Zs ABC, ACB, at the base, are equal; 41 2. and the Ľs DBC, ECB, on the other side of the base, are also equal. C. 1 by P. 3. In A D take any · F, and make AG= AF; Pst. 1. join the s F and C, G and B. D. 1 by C.1& Hypl ::: AF AG, AC AB, and L A is common to the two AS AFC, AGB; 2 P. 4. ... the side FC= GB, and A AFC=A AGB; 3 D. 2. also _ ACF = L ABG, and L AFC = L AGB. C.1&Hyp. 1 Again, :;: the whole AF = the whole AG, and the part AB the part AC, the rem. BF= the rem. CG. D. 3. and / BFC or AFC = LCGB or AGB; 8 P. 4. .. Δ BFC A CGB, L FBC = LGCR and L BCF = L CBG. 5 ON 5009 by H. & P.6. :;: LB = L C, .. AC = AB. H. & P. 6. and: _B=LA,.. AC= BC; Rec. Wherefore, every equiangular triangle, &c. Q.E.D. Sch. 1. Converse theorems are not universally true ; for instance, the direct proposition is universally true,"If two triangles have their three sides respectively equal, the three angles of each shall be respectively equal;" but the converse is not universally true,-“ If two triangles haye the three angles in each respectively equal, the three sides are respectively equal."-Potts' Euclid, p. 48. For equality in triangles one side at least of the one triangle must be given equal to one side of the other triangle. 2. There are two modes of Demonstration, the direct, showing why a thing is so ; and the indirect, proving that it must be so. Direct Demonstration, as in Prop. 5, is that in which we find intermediate steps, which proceed regularly to prove the truth of the proposition : the Indirect Method is only employed, as in Prop. 6, when the predicate of it admits of an alternative, and one of them must be true, because they exhaust every case that can possibly exist. We prove that the alternative cannot be true, and infer therefore the predicate must be true. APP.-Hieronymus, records that THALES, who was living 536 B.C., measured the height of the pyramids of Egypt, by observing the shadows which they cast. The height of an object, AB, and the length of its shadow BC are the same, when the light, which the object, AB, intercepts, is at an elevation of 45°: for the angles BCA, BAC, being each half a rt. angle, the sides which subtend them are equal. Thus by measuriug the shadow CB, we obtain the height BA, The height would also be obtained by making an observation with a quadrant of altitude. SON PROP. 7.—THEOR. Upon the same base and upon the same side of it there cannot be two triangles that have their sides which are terminated in one extremity of the base equal to one another, and likewise those equal which are terminated in the other extremity. Con.-Pst. 1, Pst. 2.-DEM —P. 5, Ax. 9. |