Для доказательства того, что биссектриса треугольника делит противоположную сторону на отрезки, пропорциональные прилежащим сторонам, используем теорему о биссектрисе.
Теорема о биссектрисе: Если биссектриса угла треугольника делит противолежащую сторону на два отрезка, то эти отрезки пропорциональны двум другим сторонам треугольника.
Доказательство:
Рассмотрим \(\triangle ABC\) с биссектрисой \(AD\), которая делит угол \(A\) на два равных угла \(\angle BAD = \angle CAD\) и пересекает сторону \(BC\) в точке \(D\).
Нужно доказать, что \(\frac{BD}{DC} = \frac{AB}{AC}\).
Построим вспомогательные элементы:
- Проведем через точку \(C\) прямую, параллельную \(AD\). Пусть она пересекает продолжение стороны \(AB\) в точке \(E\).
Рассмотрим треугольники:
- \( \triangle ADE \) и \( \triangle CDE \) на основании равенства углов:
- \(\angle ADE = \angle CDE\) (как соответственные углы при параллельных прямых \(AD\) и \(CE\)).
- \(AD = DE\) (по построению, так как \(AD\) и \(DE\) — равные отрезки на параллельных прямых).
- Следовательно, \(\triangle ADE \cong \triangle CDE\).
- \( \triangle ADE \) и \( \triangle CDE \) на основании равенства углов:
Используем свойства подобных треугольников:
- Из подобия следует, что \(\frac{AD}{DC} = \frac{AB}{AC}\).
Обратная пропорция:
- Из рассматриваемого подобия треугольников и равенства их соответствующих элементов, получим \(\frac{BD}{DC} = \frac{AB}{AC}\).
Таким образом, доказано, что биссектриса \(\angle A\) делит сторону \(BC\) на отрезки \(BD\) и \(DC\), пропорциональные прилежащим сторонам \(AB\) и \(AC\).
Это завершает доказательство теоремы о биссектрисе в заданном треугольнике.