треугольник АВD равен треугольнику ADE по двум сторонам и углу между ними:
1) AD - общая сторона
2) BD=DE - по условию
3) угол BDA = углу ADE
Получаем, что треугольники равны по двум сторонам и углу между ними.
Так равны треугольники, то и соответствующие элементы треугольников равны, получаем:
1) угол ABD = углу AED
2) угол BAD = углу DAE
Из равенства последних двух углов, получаем, что отрезок АD является биссектрисой треугольника АВС, что и требовалось доказать.
Рисунок во вложении
