B E To describe an equilateral triangle upon a given right line. Let AB be the given line; it is required to describe an equilateral triangle upon it. From the centre with the radius A B, describe the circle BCD (by Post. 3.), and from the centre B, with the radius BA, describe the circle ACE, cutting the former in' c; join ca and CB. (Post. 1.); then the triangle A B C is equilateral. For the line ac is equal to A B, being radii of the same circle BCD (Def. 16.); and the line bc is equal to BA, being radii of the same circle ACE: since then each of the lines ac and Bc is equal to the same line AB, they are equal to one another (Āx. 1.); therefore the three lines A B, BC, and c A are all equal; therefore the triangle ABC is equilateral; and it is described upon the given line AB. Which was to be done. SCHOL. Another equilateral triangle may be obtained by drawing right lines from A and B to the point g, in which the circles cut at the other side of the line A B, which can be demonstrated in the same manner. ܪ н F G A D B E From a given point, to draw a line equal to a given right line. Let A be the given point, and bc the given line; it is required to draw from A a line equal to Bc. Join A and B (Post. 1.), and upon the line A B describe an equilateral triangle DAB (Prop. 1.), and from the centre B with the radius bc, describe the circle CEF (Post. 3.), and produce the line DB till it meets the circumference in E (Post. 2.); then from the centre D, with the radius DE, describe the circle Egu (Post. 3.), and produce the line DA till it meets the circumference in G: then the line AG is equal to the given line b c. For the line Dg is equal to De, being radii of the same circle EGH (Def. 16.), and the part da is equal to DB, being sides of an equilateral triangle (Const.), therefore the remaining part AG is equal to BE (Ax. 3.); but the line bc is also equal to BE, being radii of the same circle CEF: since then each of the lines AG and Bc is equal to the same line BE, they are equal to one another( Ax. 1.); therefore the line ag is equal to the given line Bc, and it is drawn from the given point A. Which was to be done. G А E PROP. III. PROB. From the greater of two lines, to cut off a part equal to the less. Let AB be the greater of two lines, and cd the less; it is required to cut off from A B, a part equal to CD. From the point a draw a line ag equal to cd (Prop. 2.), and from the centre A, with the radius AG, describe a circle (Post. 3.) cutting the line AB in E; then AE is equal to CD. For the line A E is equal to AG, being radii of the same circle (Def. 16.); but the line cd is also equal to AG (Const.): since then each of the lines AE and cd is equal to the same line AG, they are equal to one another (Ax. 1.); therefore A E is equal to CD, and it is cut off from the greater line A B. Which was to be done. Cor. By a similar construction the following problem may be solved: To produce the less of two given lines, till it be equal to the greater. PROP. IV. TAEOR. A B с E F If two triangles have two sides and the contained angle in the one, respectively equal to two sides and the contained angle in the other, their buses or third sides are likewise equal, and the remaining angles of the one, are respectively equal to the remaining angles of the other, and the two triangles are equal in all respects. Let ABC and DEF be two triangles, having the side A B equal to DE, the side Ac equal to DF, and the angle a equal to the angle D; then the base bc is equal to EF, the angle B equal to the angle E, and the angle c is equal to the angle F; and the two triangles are equal in all respects. For, if the triangle abc be so applied to the triangle DEF, that the point A may be on D, and the side AB upon DE, then the point B must coincide with E, because the sides A B and DE are equal (Hyp.); and the side A C will fall on DF, because the angles A and D are equal (Hyp.); and the point c must coincide with F, because the sides A c and D F are equal (Hyp.) : and as the points B and c coincide with the points E and F, the lines BC and EF must also coincide, if not two right lines would inclose a space, which is impossible (Ax. 10.). Therefore the base Bc coincides with EF, and is equal to it (Ax. 8.). And as the sides of the angle B, coincide with the sides of the angle E, the angles themselves must coincide, and are therefore equal (Ax. 8); also the angles c and F must coincide, and are therefore equal. And as the three sides of one triangle coincide with the three sides of the other, the triangles themselves must coincide, and are therefore equal in all respects (Ax. 8.). Which was to be demonstrated. Cor. 1. Two triangles are equal, which have an angle common to both, and the two sides which contain it in the one, equal to the two sides which contain it in the other. Cor. 2. Two triangles are equal, which have a side common to both, and another side with the contained angle in the one, equal to another side with the contained angle in the other. B А F G The angles at the base of an isosceles triangle are equal, and if the equal sides be produced, the angles below the base are also equal. Let A BC be an isosceles triangle, having the sides AB and Bc equal; then the angles BAC and BCA at the base are equal, and if the equal sides be produced, the angles Fac and GCA below the base are also equal. Take any point F, in one of the sides produced, and cut off from the other a part by equal to BF (Prop. 3.): join ag and FC. Then in the triangles FCB and G A B, the sides FB and Bc in the one, are equal to the sides GB and Ba in the other (Hyp.), and the angle B is common to both; therefore the two triangles are equal in all respects (Prop. 4.), the base Fc is equal to GA, the angle FCB to GA B, and the angle F equal to the angle g. And if from the equal sides BF and BG, there be taken the equals BA and BC, the remainders A Fand cg are also equal (Ax. 3.); then in the triangles AFC and cga, the sides A F and Fc in the one, are equal to the sides cg and ga in the other, and the angle F is equal to the angle g; therefore the two triangles are equal in all respects (Prop. 4.), the angles Fac and GC A are equal, and these are the angles below the base; also the angles Fca and GAC are equal; and if from the equal angles FCB and GAB, there be taken the equals FC A and GAC, the remainders BAC and BCA are also equal (Ax. 3.), and these are the angles at the base. Which was to be demonstrated. с PROP. VI. THEOR. If two angles of a triangle be equal, the sides opposite to them are also equal. In the triangle cas, let the angles C A B and CBA be equal; the sides ca and cb are also equal. For if they be not equal, let one of them ca be greater than the other, and from it cut off DA equal to B C (Prop. 3.); and join B D. Then in the triangles caB and DAB, the sides DA and AB in the one, are equal to CB and BA in the other (Hyp.), and the angles caB and C B A are equal (Hyp.), therefore the triangles are equal (Prop. 4.); a part equal to the whole, which is absurd; therefore neither of the sides ca and ce is greater than the other: they are therefore equal. Which was to be demonstrated. B A B PROP. VII. THEOR. If two triangles, on the same base, and on the same side of it, have the sides which terminate in one end of the base equal, those sides which terminate in the other end of the base are not equal. Let the triangles ACB and AdB, on the same base A B, and on the same side of it, have the sides Ac and Ad equal; then the sides BC and BD are not equal. CASE 1. When the vertex of each triangle is without the other. Join cd, and if it be possible, let Bc be equal to BD: then in the triangle cad, because the sides AC and ad are equal (Hyp.), the angles AcD and ADC are also equal (Prop. 5.); but the angle ACD is greater than BCD (Āx. 9.); therefore the angle A dc is greater than BCD; much more than is the angle BDC greater than bod. But in the triangle BCD, the sides Bc and BD are equal (Hyp.); therefore the angles BCD and Bdc are equal (Prop. 5.); but the angle BDC has been proved to be greater than B CD; greater than, and equal to it, which is absurd; therefore the sides Bc and BD are not equal. CASE 2. When the vertex D of one triangle is within the other. Produce the sides A c and AD to E and F: then in the triangle Ac D, because the sides ac and A D are equal (Hyp.), the angles DCE and CDF are also equal (Prop. 5.); but the angle DCE is greater than DCB (Ax. 9.), therefore the angle CDF is greater than DCB; much more than is the angle CDB greater than DC B. But in the triangle BCD, the sides Bc and B D are equal (Hyp.), therefore the angles BDC and B C D are equal (Prop. 5.): but the angle BDC has been proved to be greater than BCD; greater than, and equal to it, which is absurd ; therefore the sides B C and BD are not equal. CASE 3. When the vertex D of one triangle falls on a side of the other BC. Then it is evident that the whole line BC is greater than its part BD (Ax. 9.). Therefore in no case can the side bd be equal to Bc. Which was to be demon. strated, А B D A B |