PROPOSITION XXI. Theorem. If from the ends of the side of a triangle there be drawn two straight lines to a point within the triangle, these shall be less than the other two sides of the triangle, but shall contain a greater angle. Z void Steps of the Demonstration. 1. Prove that BA + AC > BE + EC, that BE + EC > CD + DB, 3. that much more is ba + AC > CD + DB, that 2 BDC > <BAC. PROPOSITION XXII. È Problem. To make a triangle, the sides of which shall be equal to three given straight lines, but any two whatever of these must be greater than the third. Steps of the Demonstration. that gk = C, sijai PROPOSITION XXIII. Problem. At a given point in a given straight line to make a rectilineal angle equal to a given rectilineal angle. Proved by Proposition VIII. PROPOSITION XXIV. Theorem. If two triangles have two sides of the one equal to two sides of the other, each to each, but the angle contained by two sides of one of them greater than the angle contained by the two sides equal to them, of the other; the base of that which has the greater angle shall L G be greater than the base of the F other. Steps of the Demonstration. 1. Prove that (in As ABC, DEG) base bc = base EG, that Z DFG = Z DGF, PROPOSITION XXV. (Argument ad absurdum). Theorem. If two triangles have two sides of the one equal to two sides of the other, each to each, but the base of the one greater than the base of the other; the angle contained by the sides of that which has the greater base shall be greater than the angle contained by the sides equal to them of the other. Steps of the Argument. that Z BAC cannot be < < EDF, PROPOSITION XXVI. (Argument ad absurdum). Theorem. If two triangles have two angles of one equal to two angles of the other, each to each, and one side equal to one side; viz., either the sides adjacent to the equal angles, or opposite to the equal angles in each: then shall the other sides be equal, each to each; and also GIS the third angle of the one to the third angle B of the other. Steps of the Demonstration to Case 1st. Suppose that AB + DE, and that a part of ab, as BᏀ DE Then prove, on that supposition, I base gc = base DF, 1. that in As GBC, DEF A GBC = A DEF, land Z GCB = 2 DFE, 2. that 2 BCG = L BCA, .e. less = greater; which shows the supposition to be false; and :. that AB = DE, 3. that in As ABC, DEF base AC = base df, and Z BAC = LEDF. Steps of the Demonstration to Case 2nd. Suppose that bc + EF, and that a part of BC, as BH = EF, Then prove, on that supposition, (base AH = base DF, 1. that in AS ABH, DEFA ABH = A DEF, land Z BHA = _ EFD. 2. that < BHA = BCA; i. e. the ex. 6 BHA (of A AHC) = inter. and opp. Z BCA; which shows the supposition to be false, and :: that BC = EF, 3. prove that ac = DF, and Z BAC = LEDF. PROPOSITION XXVII. ( Argument ad absurdum). Theorem. If a straight line falling upon two other straight lines makes the al- G Steps of the Demonstration. Having made the supposition that AB # cd, and s that they :. meet as in G, Prove, on that supposition, 1. that in the A EGF the exterior 2 AEF = inter. and opp. Z EFD, which is impossible, and :: the supposition is false. A and c, la 10 PROPOSITION XXVIII. Theorem. If a straight line falling upon two other straight lines, makes the exterior angle equal to the interior and opposite angle on the same side of the line, or makes the interior angles on the same side together equal to two right angles, the two D straight lines shall be parallel to F one another. Steps of the Demonstration to part 2nd. that alternate / AGH = alternate GHD, and :: that AB |) CD. mai |