The drawing shows that angles BAD and CAD are congruent, which means that the line segment AD bisects the angle BAC. By the angle bisector theorem,
But AB and AC are also shown to be congruent, so the right hand side reduces to 1, and we have , which means CD and BD are also congruent.
AD is congruent to itself and happens to be a part of two triangles, ABD and ACD.
So by the side-side-side postulate, the triangles ABD and ACD are congruent, which means corresponding parts (sides and angles) are congruent to each other. And because triangles ABD and ACD are congruent, the "total" triangle ABC is isosceles, and AD must be perpendicular to BC. This last observation means that .
In any triangle, the interior angles must sum to 180 degrees, so we have
