PROPOSITION XXIX. THEOREM. 113. A straight line which bisects the angle at the vertex af an isosceles triangle divides the triangle into two equal triangles, is perpendicular to the base, and bisects the base. Let the line C E bisect the ZACB of the isosceles A ACB. :: A ACE $ 106 (having two sides and the included 2 of the one equal respectively to two sides and the included 2 of the other). Also, II. LCEA=LCEB, (being homologous & of equal A). ..CE is I to AB, (a straight line meeting another, making the adjacent s equal, is I to that line). A E Q. E. D. E B, PROPOSITION XXX. THEOREM. 114. If two angles of a triangle be equal, the sides opposite the equal angles are equal, and the triangle is isosceles. In the triangle A BC, let the x B= 2 C. .. rt. A ADB=rt. A A DC, § 111 (having a side and an acute 2 of the one equal respectively to a side and an acute 2 of the other). .. A B AC, (beiny homologous sides of equal A). Q. E. D. Ex. Show that an equiangular triangle is also equilateral. PROPOSITION XXXI. THEOREM. 115. If two triangles have two sides of the one equal respectively to two sides of the other, but the included angle of the first greater than the included angle of the second, then the third side of the first will be greater than the third side of the second. B In the A ABC and A BE, let A B = A B, BC=BE; but Z A B C > LABE. We are to prove AC > A E. Place the A so that A B of the one shall coincide with A B of the other. Draw B F so as to bisect Z EBC. Draw E F. Hyp. Iden. ZEBF=ZCBF, Cons. ... the A EB F and C BF are equal, § 106 (having two sides and the included L of one equal respectively to two sides and the included 2 of the other). .EF=FC, (being homologous sides of equal A). AF+ FE > A E, AF + FC > A E; or, AC > A E. § 96 Q. E, D, PROPOSITION XXXII. THEOREM. 116. CONVERSELY: If two sides of a triangle be equal respectively to two sides of another, but the third side of the first triangle be greater than the third side of the second, then the angle opposite the third side of the first triangle is greater than the angle opposite the third side of the second. B'C', In the A ABC and A' B'C', let A B = A' B', AC = A'C'; LA>LA. LA=LA', $ 106 (having two sides and the included L of the one equal respectively to two sides and the included 2 of the other), and BC (being homologous sides of equal A ). A <A', $ 115 (if two sides of a Abe equal respectively to two sides of another A, but the included 2 of the first be greater than the included 2 of the second, the third side of the first will be greater than the third side of the second.) But both these conclusions are contrary to the hypothesis ; ..Z A does not equal Z A', and is not less than 2 A'. .:. LA > LA'. Q. E. D 117. Of two sides of a triangle, that is the greater which is opposite the greater angle. In the triangle A B C let angle ACB be greater than angle B. We are to prove A B > AC. Draw C E so as to make ZBCE= Z B. $ 114 Then EC= EB, (being sides opposite equal & ). A E + EC > AC, $ 96 Substitute for EC its equal E B. Then AE+EB AC, or A B > AC. Q. E. D. Ex. A B C and A B D are two triangles on the same base A B, and on the same side of it, the vertex of each triangle being without the other. If A C equal A D, show that BC cannot equal B D. |