Чтобы доказать, что ( 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 ).