If two triangles have two angles equal to two angles respectively, and one side equal to one side, namely, either the side adjoining the equal angles, or that opposite one of the equal angles, then the remaining sides equal the remaining sides and the remaining angle equals the remaining angle.
[b]Prove: Triangle ABC = triangle DEF [br]Given BC=EF, angle B = angle E, angle C = angle F[br][/b][br]To prove by contradiction: [br][br]Assume: AB > DE[br][br]1) Create point G such that BG = DE (Book I, Prop 3)[br]2) Create line GC (Postulate 1)[br][br]Now we have: BG = DE[br] BC = EF[br] angle B = angle E[br][br]So, if triangle GBC = triangle DEF (Book 1, Prop 4 )[br][br]3) Then angle GCB = angle DFE (Book 1, Prop 4)[br][br]Common Notion 1 states that things which equal the same thing are also equal one another. So, [br][br]4) angle GCB = angle ACB [br][br]But, this is not possible because of Common Notion 5, which states that the whole is greater than the part.[br]So, angle GCB cannot be equal to angle ACB. this makes the assumption of AB > DE not true.[br][br]Therefore, AB = DE[br] angle B = angle E[br] BC = EF[br][br]Which makes triangle ABC = triangle DEF (Book 1, Prop 4)[br]
[b]Prove: triangle ABC = triangle DEF[br][/b][b]Given BC=EF, angle A = angle D, angle C = angle F[br][/b]To prove by contradiction: [br][br]Assume: AC > DF[br][br]1) Create point G such that CG = DF (Book I, Prop 3)[br]2) Create line BG (Postulate 1)[br][br]Now we have: angle BGC = angle EDF (Book 1, Prop 4)[br] BC = EF[br] angle BAC = angle DEF[br][br]So, if triangle GBC = triangle DEF (Book 1, Prop 4 )[br][br]3) Then angle BGC = angle EDF (Book 1, Prop 4)[br][br]Common Notion 1 states that things which equal the same thing are also equal one another. So, [br][br]4) angle BGC = angle BAC [br][br]But, angle BGC is an exterior angle to triangle ABG and Book 1, Prop 16 states that exterior angles are bigger than interior and opposite angles.[br][br]This leads to [br][br]5) angle BGC > angle BAC (Book i, Prop 16)[br][br]This is a contradiction to 4) as angle BGC cannot be both equal to and greater than angle BAC. [br][br]This makes our assumption of AC > DF not true.[br][br]Therefore, AC = DF[br] angle C = angle F[br] angle A = angle D[br] [br][br]Which makes triangle ABC = triangle DEF (Book 1, Prop 4)[br]