The Angle Bisector Theorem
If a point interior to an angle is equidistant from its sides, then that point is on the bisector of that angle, and conversely.
Again we have a statement and its converse to prove:
Statement:
If , , and then bisects .
Proof:
From the hypothesis, and are right triangles with congruent legs . They also share a common hypotenuse: . Therefore by HL. Thus since they are corresponding parts of the congruent triangles. So bisects since this is the definition of "bisects."
Converse:
If bisects , , and then .
Proof:
Since bisects , (by definition of "bisects"). In addition, and are right triangles with common side . So by AAS. Therefore since these are corresponding parts of the congruent triangles.