Дано: AD — биссектрисса угла BAC, AB = AC. Необходимо доказать, что DB = DC.
Для начала вспомним, что биссектрисса угла делит его на два равных угла. Следовательно, угол BAD равен углу CAD. Обозначим угол BAD как α и угол CAD как α, так что β = ∠BAD = ∠CAD.
Кроме того, по условию задачи, у нас есть равенство: AB = AC. Теперь рассмотрим треугольники ABD и ACD.
В треугольниках ABD и ACD:
- Углы BAD и CAD равны (по свойствам биссектрисы).
- Стороны AB и AC равны (по условию задачи).
- Общая сторона AD.
Согласно критерию равенства треугольников (по двум углам и стороне), мы можем заключить, что треугольники ABD и ACD равны.
Из равенства треугольников вытекает, что соответствующие стороны равны. Таким образом, мы получаем, что DB = DC.
Мы доказали, что если AD является биссектриссой угла BAC и AB = AC, то верно: DB = DC.