Для доказательства того, что \( BD = CD \), начнем с рассмотрения углов и свойств биссектрисы.
Определение: Поскольку точка \( D \) расположена на биссектрисе угла \( A \), это означает, что углы \( \angle ADB \) и \( \angle ADC \) равны. То есть, \( \angle ADB = \angle ADC \).
Углы: Запишем это уравнение: \[ \angle ADB = \angle ADC \]
Треугольники: Рассмотрим треугольники \( \triangle ADB \) и \( \triangle ADC \):
- Общий угол \( \angle A \) у этих треугольников.
- Углы \( \angle ADB \) и \( \angle ADC \) равны, как мы установили ранее.
Признак равенства треугольников: По двум углам и стороне между ними (признак равенства треугольников по углам и стороне) можно говорить, что треугольники \( ADB \) и \( ADC \) равны: \[ \triangle ADB \cong \triangle ADC \]
Сравнение сторон: Поскольку треугольники равны, то их соответствующие стороны равны. Соответствующими сторонами являются \( BD \) и \( CD \): \[ BD = CD \]
Таким образом, мы доказали, что если точка \( D \) лежит на биссектрисе угла \( A \) и \( \angle ADB = \angle ADC \), то \( BD \) действительно равно \( CD \).
