-->

Теорема Стюарта. Доказательство

Теорема (Теорема Стюарта). Если точка D лежит на стороне BC треугольника ADC(Рис.1), то имеет место следующее равенство:

или

.

Доказательство (через теорему косинусов). Для треугольников ADB ADC запишем формулу, используя теорему косинусов:

, (1)
. (2)

Учитывая, что \( \small \cos ∠ADC=\cos (180°−∠ADB)=-cos∠ADB , \) (2) можно записать так:

. (2')

Умножим (1) на y и (2') на x:

, (3)
. (4)

Сложим (3) и (4):

.

или

.

Тогда, учитывая, что x+y=a, получим:

.конец доказательства

Доказательство (с использованием векторов). Имеем:

, (5)
. (6)

Умножим (5) на CD, а (6) на BD:

, (7)
. (8)

Сложим (7) и (8):

,
. (9)

Так как векторы и коллинеарны и имеют противоположные направнения, то

. (10)

Учитывая (10) и CD+BD=BC, найдем AD из (9)

. (11)

Возведем обе части равенства (11) в квадрат:

. (12)

Далее

. (12)

Возведем обе части равенства (12) в квадрат:

. (13)

Поскольку

.

и, аналогично,

,, (14)

то

. (15)

Тогда, учитывая (14),(15) и , упростим (12):

.

и , учитывая, что \( \small BD+CD=BC , \) получим:

.конец доказательства