Докажем, что треугольники ABD и ACD имеют общий угол при вершине A.

Угол между биссектрисой и стороной треугольника один и тот же для обоих треугольников, так как вершина общая. Это доказывает подобие указанных треугольников.