Applying the HL Theorem in Proofs
This page expands on the application of the Hypotenuse-Leg Theorem by presenting more complex proofs and introducing related concepts.
The first example builds on the previous proof, introducing additional given information:
- PS ≅ PT
- PRS ≅ PRT
The goal is to prove that ΔPRS ≅ ΔPRT. The proof utilizes the Isosceles Triangle Theorem in conjunction with the HL Theorem to establish congruence.
Vocabulary: The Isosceles Triangle Theorem states that the base angles of an isosceles triangle are congruent.
A more elaborate proof is then presented, involving a bisected line segment and perpendicular lines:
Given:
- BE bisects AD at C
- AB ⊥ BC
- DE ⊥ EC
- AB ≅ DE
Prove: ΔABC ≅ ΔDEC
This proof demonstrates how to combine multiple geometric concepts, including bisectors, perpendicular lines, and right angles, to set up the conditions for applying the HL Theorem.
Highlight: The HL Theorem can be used in conjunction with other geometric theorems and concepts to prove congruence in more complex scenarios.



























