The Angle Bisector Theorem for Isosceles Triangles
In an isosceles triangle the bisector of the vertex angle cuts the opposite side in half.
Note: The vertex angle of an isosceles triangle is the angle which is opposite a side that might not be congruent to another side.
To prove this, we rephrase it with a generic isosceles triangle:
If and bisects then .
Proof:
Since bisects , . and share a common side, , and it is given in the hypothesis that . Therefore by SAS. As a consequence, since these are corresponding sides of the congruent triangles. So the lengths . But by the segment addition postulate, and therefore (using substitution in algebra).