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).