Чтобы доказать, что \( AB = AC \), начнем с того, что по условию \( AD \) является биссектрисой угла \( A \). Это означает, что угол \( ADB \) равен углу \( ADC \). Обозначим угол \( ADB \) как \( \alpha \), тогда угол \( ADC \) также будет равен \( \alpha \).
Теперь обратим внимание на треугольники \( ADB \) и \( ADC \). В этих треугольниках:
- Общая сторона \( AD \) (это сторона, которая присутствует в обоих треугольниках).
- Углы \( ADB \) и \( ADC \) равны (по условию), то есть \( \angle ADB = \angle ADC \).
- Сторона \( AB \) и \( AC \) являются сторонами треугольников.
Теперь мы применим признак равенства треугольников по двум углам и одной стороне (первый угол, который общий, и два равных угла). Следовательно, треугольники \( ADB \) и \( ADC \) равны:
\[ \triangle ADB \cong \triangle ADC \]
Из этого равенства также следует, что соответствующие стороны этих треугольников равны, то есть:
\[ AB = AC \]
Таким образом, мы доказали, что \( AB = AC \).