Теорема о биссектрисе

Материал из testwiki
Перейти к навигации Перейти к поиску
BDCD=ABAC.

Теорема о биссектрисе — классическая теорема геометрии треугольника.

Формулировка

Биссектриса при вершине треугольника делит противоположную сторону на части, пропорциональные прилежащим сторонам. То есть, если биссектриса при вершине A треугольника ABC пересекает сторону BC в точке D то

DBDC=ABAC.

Замечания

  • То же равенство выполняется и для точки D лежащей на пересечении внешней биссектрисы и продолжении стороны BC.

История

Теорема о биссектрисе формулируется в шестой книге «Начал Евклида» (предложение III)[1], в частности, на греческом языке в византийском манускрипте[2]. Ранняя цитата по Евклиду этой теоремы в русскоязычных источниках содержится в одном из первых русских учебников геометрии — рукописи начала XVII века «Синодальная №42» (книга 1, часть 2, глава 21).

Доказательства

Существует несколько методов доказательства. Например, методом площадей или проведением из другой вершины прямой, параллельной биссектрисе, до ее пересечения с продолжением одной из сторон.

Метод площадей

Рассмотрим треугольник ABC. Из вершины A на сторону BC опущена биссектриса AD. Найдем площади треугольников ABD и ACD:

Метод площадей

SABDSACD=12ABADsinα12ACADsinα=ABAC.

С другой стороны,

SABDSACD=12BDAH12CDAH=BDCD.

Значит,

BDCD=ABAC.

Через теорему синусов

Рассмотрим треугольник ABC с биссектрисой AD. Запишем теорему синусов для треугольников ABD и ACD:

Доказательство теоремы о биссектрисе с помощью теоремы синусов

ABsinγ=BDsinα,(1)

ACsin(180γ)=CDsinα.

Но sin(180γ)=sinγ, следовательно,

ACsinγ=CDsinα.(2)

Поделив равенство (1) на равенство (2), получим:

BDCD=ABAC.

Через подобие треугольников

Данный способ доказательства основан на продлении биссектрисы до пересечения с ней перпендикуляра, опущенного на нее из одной из вершин.

Доказательство теоремы о биссектрисе через подобие треугольников

Рассмотрим треугольник ABC с биссектрисой AD. Опустим перпендикуляры BK и CT на нее и ее продолжение соответственно. Треугольники KBD и TCD подобны по двум углам, значит,

BDCD=BKCT.

Треугольники ABK и ACT тоже подобны по двум углам, значит, справедливо равенство:

ABAC=BKCT.

Отсюда получаем, что BDCD=ABAC.

Вариации и обобщения

  • Если D — произвольная точка на стороне BC треугольника ABC, тогда
    |BD||DC|=|AB|sinDABsinADB|AC|sinDACsinADC=|AB|sinDABsinADB|AC|sinDACsin(180ADB))=|AB|sinDAB|AC|sinDAC.
    • В случае, когда AD — биссектриса, sinDAB=sinDAC.
  • Биссекторная плоскость двугранного угла в тетраэдре (то есть плоскость, делящая двугранный угол пополам) делит противоположное его ребро на части, пропорциональные площадям граней тетраэдра, являющихся гранями этого двугранного угла[3]Шаблон:Rp.

См. также

Примечания

Шаблон:Примечания

Литература