Теорема 9 (Ван-Обеля). Если отрезки АА1, ВВ1, СС1, где А1, В1, С1 – точки на сторонах ВС, АС, АВ треугольника АВС, – чевианы с общей точкой Q, то

= + .

Доказательство. Проведем прямую l через точку А параллельно ВС. Пусть В₂ и С₂ точки пересечения прямой l с прямыми ВQ и СQ (рис. 98).

Поскольку D В₂QС₂ D ВQС, то = .

Из подобия D QАС₂ и D QА₁С следует = . Поэтому = , или = , или = + .

Поскольку D АС₁С₂ D ВС₁С и D АВ₁В₂ D СВ₁В, то = и = . Тогда = + .

Следствие 11. Если Q – центр тяжести треугольника АВС и А₁ – середина стороны ВС, то АQ : QА₁ = 2.

Действительно, по теореме Ван-Обеля = + = + = 2.

Следствие 12. Если Q – центр вписанного в треугольник АВС круга и А₁ – основание биссектрисы угла А, то АQ : QА₁ = , а = ВС, b = АС, с = АВ.

Действительно. С учетом теоремы о биссектрисе угла по теореме Ван-Обеля будем иметь = + = + = .

Следствие 13. Если Q – точка пересечения Жеогона и А₁ – точка аксания вписанного круга со стороной ВС, то = .

Учтя теорему 11.3, по теореме Ван-Обеля имеем = + =

= + = (р – а) = (р – а) = .

Следствие 14. Если Q – точка Нагеля и А₁ – точка касания вневписанного круга со стороной ВС, то АQ : QА₁ = а : (р – а).

Сучетом следствия 1 по теореме Ван-Обеля:

= + = + + = = .

Теорема 10 (Жаргона). Если Q – точка пересечения чевиан АА₁, ВВ₁, СС₁ треугольника АВС, то + + = 1 и + + = 2.

Доказательство.Поскольку D ВВ₂В₁ D QQ₂В₁ (Ð ВВ₂В₁ = Ð QQ₂В₁ = 90°, Ð В₁ – общий), то

= = .

Аналогично получим, = , = .

Тогда + + = + + = = 1. Первое из необходимых равенств доказано.

Поскольку QА = АА₁ – QА₁, то = 1 – .

Аналогично, = 1 – , = 1 – .

Поэтому + + = (1 – ) + (1 – ) + (1 – ) =

= 3 – ( + + ) = 3 – 1 = 2.

Теорема 11 (Карно). Сумма R + r радиусов окружностей, описанной около треугольника и вписанной в него, равна d₁ + d₂ ± d₃, d₁ Ù d₂ Ù d₃, где d₁, d₂, d₃ – расстояния от центра описанной окружности до сторон треугольника, при этом знак минус для тупоугольного треугольника.

Доказательство.Пусть О – центр описанной около треугольника АВС окружности, М, N, Р – основания перепндикуляров, опущенных из точки О на стороны ВС, АС, АВ соответственно, т.е. МО, NО, РО – серединные перпендикуляры к сторонам треугольника АВС.

Пусть треугольник АВС – остроугольный (рис. 100). Тогда рr = S_ABC = S_AOB + S_BOC + S_AOC = АВ ОР + ВС ОМ +

+ АС ОN = с d₃ + a d₁ + b d₂.

Поскольку четырёхугольник АРОN имеет два противоположных прямых угла, то его можно вписать в окружность. Применив к нему теорему Птолемея, получим

АО РN = ОР АN + ОN АР, или R = d₃ + d₂ .

Аналогично, R = d₁ + d₂ , R = d₁ + d₃ .

Сложив три последних равенства, получим

R р = d₁ + d₂ + d₃ .

Поэтому Rр + rp = (d₁ + d₂ + d₃ ) + d₁ a + d₂ b + d₃ c =

= d₁ + d₂ + d₃ = (d₁ + d₂ + d₃) p.

Значит, R + r = d₁ + d₂ + d₃.

Пусть теперь треугольник АВС – тупоугольный (рис. 101). Тогда

рr = S_ABC = S_СOB + S_АOC – S_AOВ = а d₁ + b d₂ – c d₃. Поскольку четырёхугольники ОРМВ, ОМСN, ОРNА – вписанные, то по теореме Птолемея: d₁ = d₃ + R ,

R = d₁ + d₂ , d₂ = d₃ + R .

Из этих равенств получим

R + R + R = ( d₁ – d₃) + (d₁ + d₂ ) + ( d₂ – d₃ ).

Значит, rp + Rр = ( а d₁ + b d₂ – c d₃) + (d₁ + d₂ – d₃ ) =

= d₁ + d₂ – d₃ = (d₁ + d₂ – d₃) p.

Задача 4. Многоугольник, который может быть вписан в круг, разделен непересекающимися диагоналями на треугольники. Доказать, что сумма диаметров кругов, вписанных в эти треугольники, не зависит от того, как проведены диагонали

Доказательство. Пусть O – центр круга, описанного около данного многоугольника, А₁А₂…А_n. Тогда в этот круг будут вписаны все треугольники, возникающие при проведении диагоналей.

Для каждого треугольника можно применить теорему Карно

R + r_к = d_1к + d_2к ± d_3к.

Правила для выбора знака “+” или ”–“ можно интерпретировать так: знак “+” перед величиной перпендикуляра d_3к ставится тогда, когда треугольник и центр круга О лежат по одну сторону от прямой, к которой проводится перепендикуляр, и ”–“ – если лежат по разные стороны.

Учитывая, что каждая диагональ разделяет два смежных треугольника, расстояние до этой смежной стороны для одного треугольника будет входить в сумму со знаком “+”, а для дркгого со знаком ”–“. При сложении равенств для R + r_к, записанных для всех треугольников, расстояния до диагоналей взаимно сокращаются и в сумме останутся только расстояния d_i от центра О до сторон многоугольника. Поэтому

= , откуда = .

Последнее равенство показывает, что сумма радиусов, а значит и диаметров, вписанных в треугольники кругов, не зависит от того, как проведены диагонали.