Рассмотрим треугольники ABD и ACD.
У нас есть:
По трём сторонам (по третьему признаку равенства треугольников), треугольник ABD равен треугольнику ACD.
\( \triangle ABD = \triangle ACD \)
Из равенства треугольников следует равенство их соответствующих углов. Следовательно:
\( \angle BAD = \angle CAD \)
Так как \( \angle BAD = \angle CAD \), то AD является биссектрисой угла A по определению биссектрисы.
Доказано.