Решение:
Рассмотрим треугольники ABD и ACD.
- AD — общая сторона для обоих треугольников.
- ∠ ADB = ∠ ADC (по условию).
- ∠ BAD = ∠ CAD (так как AD — биссектриса угла A по условию).
- Следовательно, △ABD = △ACD (по второму признаку равенства треугольников: по стороне и двум прилежащим к ней углам).
- Из равенства треугольников следует равенство их соответствующих сторон.
- Следовательно, AB = AC.
Ответ: Доказано.