Математика · Геометрия

Изогональное сопряжение и симедиана

Тригонометрическая Чева, сопряжение чевиан, замечательные точки треугольника, симедиана и точка Лемуана

Отразим три чевианы точки относительно биссектрис углов треугольника. Они снова пересекутся в одной точке. Это соответствие переставляет местами знакомые центры: центр описанной окружности и ортоцентр, точку пересечения медиан и точку Лемуана, а центр вписанной оставляет на месте.

  • геометрия
  • треугольник
  • симедиана
  • олимпиады
  • Арцгольд Максим Дмитриевичфизик, главный редактор, руководитель "Академии"
  • Ребрикова Мария Максимовнавыпускающий редактор

Листай вниз

01чевианы

Теорема Чевы

Чевианой называют отрезок от вершины треугольника до точки на противоположной стороне. Пусть в треугольнике ABCABC проведены три чевианы AXAX, BYBY, CZCZ. Они пересекаются в одной точке тогда и только тогда, когда

BXXC⋅CYYA⋅AZZB=1.\frac{BX}{XC}\cdot\frac{CY}{YA}\cdot\frac{AZ}{ZB}=1.

Отрезки считаются направленными, поэтому теорема годится и для точки вне треугольника, когда основания чевиан лежат на продолжениях сторон.

———
—

У трёх чевиан произведение равно единице, у секущей — минус единице. Отношения считаются со знаком, поэтому обе теоремы выглядят одинаково.

Доказательство в одну сторону. Пусть чевианы пересекаются в точке PP. Треугольники ABXABX и AXCAXC имеют общую высоту из AA, а треугольники PBXPBX и PXCPXC — общую высоту из PP. Значит,

BXXC=SABXSAXC=SPBXSPXC=SABPSACP,\frac{BX}{XC}=\frac{S_{ABX}}{S_{AXC}}=\frac{S_{PBX}}{S_{PXC}}=\frac{S_{ABP}}{S_{ACP}},

где последнее равенство — свойство пропорции: разности числителей и знаменателей относятся так же. Записав то же для двух других сторон и перемножив, получаем три площади в числителях и те же три в знаменателях.

Тригонометрическая форма

Ту же площадь можно записать через синус угла при вершине: SABX=12 AB⋅AXsin⁡∠BAXS_{ABX}=\tfrac12\,AB\cdot AX\sin\angle BAX. Тогда

BXXC=AB sin⁡∠BAXAC sin⁡∠XAC.\frac{BX}{XC}=\frac{AB\,\sin\angle BAX}{AC\,\sin\angle XAC}.

Подставим это и два аналогичных выражения в теорему Чевы. Стороны сократятся: в произведении встретятся AB/ACAB/AC, BC/BABC/BA и CA/CBCA/CB, а это единица. Остаётся

sin⁡∠BAXsin⁡∠XAC⋅sin⁡∠CBYsin⁡∠YBA⋅sin⁡∠ACZsin⁡∠ZCB=1.\frac{\sin\angle BAX}{\sin\angle XAC}\cdot\frac{\sin\angle CBY}{\sin\angle YBA}\cdot\frac{\sin\angle ACZ}{\sin\angle ZCB}=1.

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

Теорема Менелая: если три точки на сторонах лежат на одной прямой, то же произведение направленных отрезков равно −1-1.

02определение

Отражение чевиан

Возьмём точку PP внутри треугольника и проведём три чевианы APAP, BPBP, CPCP. Отразим каждую относительно биссектрисы того угла, из которого она выходит. Две прямые, симметричные относительно биссектрисы угла, называют изогоналями.

Три отражённые чевианы снова проходят через одну точку

Её называют изогонально сопряжённой точке PP и обозначают QQ.

——

Тёплые чевианы принадлежат P, фиолетовые — их отражения. Кнопки ставят P в знаменитые точки: подпись показывает, что получается в паре.

Доказательство — тригонометрическая Чева из предыдущего раздела. Отражение относительно биссектрисы меняет местами два угла, на которые чевиана делит угол треугольника: если для PP это были ∠BAP\angle BAP и ∠PAC\angle PAC, то для отражённой прямой они становятся ∠PAC\angle PAC и ∠BAP\angle BAP.

Значит, каждая дробь в произведении заменяется на обратную:

∏sin⁡∠BAQsin⁡∠QAC=∏(sin⁡∠BAPsin⁡∠PAC)−1=1−1=1.\prod\frac{\sin\angle BAQ}{\sin\angle QAC}=\prod\left(\frac{\sin\angle BAP}{\sin\angle PAC}\right)^{-1}=1^{-1}=1.

Условие Чевы выполнено, следовательно, три отражённые чевианы пересекаются в одной точке. Заодно видно, что соответствие взаимно: отразив чевианы QQ, получим обратно чевианы PP.

Оговорки две. Во-первых, точка на описанной окружности сопряжённой не имеет: отражённые чевианы становятся параллельными, и точка пересечения уходит в бесконечность. Во-вторых, вершины треугольника выпадают из определения — из вершины чевиана не проводится.

На языке ориентированных углов из первой статьи серии изогональность записывается одним равенством: ∠(AB,AP)=∠(AQ,AC)\angle(AB,AP)=\angle(AQ,AC). В таком виде она удобна для длинных цепочек.

03пары

Кто с кем сопряжён

Сопряжение переставляет знаменитые точки треугольника парами. Разберём три пары.

Центр вписанной окружности сопряжён сам себе

Чевианы центра вписанной окружности — биссектрисы. Отражение биссектрисы относительно самой себя ничего не меняет, поэтому II переходит в себя.

Центр описанной окружности и ортоцентр

—

Голубая дуга — угол OAB, красная — угол HAC; они равны 90° − γ, поэтому AO и AH симметричны относительно биссектрисы угла A.

Проверим, что прямые AOAO и AHAH изогональны. Треугольник AOBAOB равнобедренный: OA=OB=ROA=OB=R. Центральный угол ∠AOB\angle AOB опирается на ту же дугу, что вписанный ∠ACB=γ\angle ACB=\gamma, поэтому он равен 2γ2\gamma, а углы при основании равны

∠OAB=180∘−2γ2=90∘−γ.\angle OAB=\frac{180^\circ-2\gamma}{2}=90^\circ-\gamma.

Высота из AA перпендикулярна BCBC, и в прямоугольном треугольнике с углом γ\gamma при вершине CC получаем ∠HAC=90∘−γ\angle HAC=90^\circ-\gamma. Значит,

∠OAB=∠HAC,\angle OAB=\angle HAC,

а это и есть изогональность. То же верно для двух других вершин, поэтому OO и HH сопряжены.

Точка пересечения медиан и точка Лемуана

Сопряжённую точке пересечения медиан называют точкой Лемуана и обозначают KK. Отражения медиан называют симедианами; им посвящён следующий раздел.

Сумма углов при сопряжённых точках

Для точки PP внутри треугольника и её сопряжённой QQ выполняется

∠BPC+∠BQC=180∘+∠A.\angle BPC+\angle BQC=180^\circ+\angle A.

Действительно, ∠BPC=180∘−∠PBC−∠PCB\angle BPC=180^\circ-\angle PBC-\angle PCB, а ∠BQC=180∘−∠QBC−∠QCB\angle BQC=180^\circ-\angle QBC-\angle QCB, где ∠QBC=∠B−∠PBC\angle QBC=\angle B-\angle PBC и ∠QCB=∠C−∠PCB\angle QCB=\angle C-\angle PCB. Сложив, получаем 360∘−∠B−∠C=180∘+∠A360^\circ-\angle B-\angle C=180^\circ+\angle A.

——

Красный треугольник — BPC, фиолетовый — BQC. Пока P внутри треугольника, сумма углов при P и Q равна 180° + ∠A.

Пары есть и у менее известных точек: точка Торричелли, из которой все три стороны видны под углом 120∘120^\circ, сопряжена первой изодинамической точке. Проверяются такие пары тем же способом — счётом углов, на которые чевианы делят углы треугольника.

04симедиана

Три определения одной прямой

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

——

Пунктир — медиана, тёплая прямая — симедиана, оранжевые — касательные в B и C. Точка T всегда лежит на симедиане, а произведения сторон совпадают.

В каком отношении она делит сторону

Для медианы BM/MC=1BM/MC=1, а по формуле из первого раздела

BMMC=AB sin⁡∠BAMAC sin⁡∠MAC=1 ⟹ sin⁡∠BAMsin⁡∠MAC=ACAB.\frac{BM}{MC}=\frac{AB\,\sin\angle BAM}{AC\,\sin\angle MAC}=1\ \Longrightarrow\ \frac{\sin\angle BAM}{\sin\angle MAC}=\frac{AC}{AB}.

У симедианы те же два угла стоят в обратном порядке, поэтому отношение синусов переворачивается, и для точки SS пересечения симедианы со стороной

BSSC=ABAC⋅ABAC=AB2AC2.\frac{BS}{SC}=\frac{AB}{AC}\cdot\frac{AB}{AC}=\frac{AB^2}{AC^2}.

Касательные к описанной окружности

Проведём касательные к описанной окружности в точках BB и CC и обозначим их пересечение через TT. Прямая ATAT — симедиана.

Точки AA, SS, TT лежат на одной прямой, поэтому отношение, в котором SS делит BCBC, равно отношению площадей:

BSSC=SABTSACT.\frac{BS}{SC}=\frac{S_{ABT}}{S_{ACT}}.

Касательные из одной точки равны, TB=TCTB=TC. Угол между касательной и хордой равен вписанному углу, опирающемуся на эту хорду с другой стороны: ∠TBA=γ\angle TBA=\gamma и ∠TCA=β\angle TCA=\beta. Значит,

SABTSACT=AB⋅TBsin⁡γAC⋅TCsin⁡β=AB sin⁡γAC sin⁡β.\frac{S_{ABT}}{S_{ACT}}=\frac{AB\cdot TB\sin\gamma}{AC\cdot TC\sin\beta}=\frac{AB\,\sin\gamma}{AC\,\sin\beta}.

По теореме синусов sin⁡γ/sin⁡β=AB/AC\sin\gamma/\sin\beta=AB/AC, поэтому отношение равно AB2/AC2AB^2/AC^2 — то же самое, что у симедианы. Прямые совпали.

Гармонический четырёхугольник

Пусть симедиана вторично пересекает описанную окружность в точке DD. Точка TT — полюс прямой BCBC: по четвёртому разделу шестой статьи поляра внешней точки есть хорда касания. Прямая ADAD проходит через TT, поэтому точка её пересечения с полярой, то есть SS, гармонически сопряжена TT относительно AA и DD.

Значит, четвёрка (A,D;S,T)(A,D;S,T) гармоническая, и то же верно для четвёрки точек AA, BB, DD, CC на окружности. По формуле из восьмого раздела пятой статьи двойное отношение на окружности выражается через хорды, и условие −1-1 превращается в равенство

AB⋅CD=AC⋅BD.AB\cdot CD=AC\cdot BD.

Четырёхугольник с таким свойством называют гармоническим, а симедиана оказывается его диагональю. Это третье описание, и в задачах оно встречается чаще двух первых.

05точка Лемуана

Где сходятся симедианы

Три симедианы пересекаются в одной точке: они изогональны медианам, а медианы пересекаются в одной точке. Точку их пересечения обозначают KK и называют точкой Лемуана.

Её основное свойство — расстояния до сторон. Пусть PP лежит на симедиане из AA, а dbd_b и dcd_c — расстояния от неё до сторон ACAC и ABAB. Тогда

dcdb=AP sin⁡∠PABAP sin⁡∠PAC=sin⁡∠BASsin⁡∠SAC=ABAC.\frac{d_c}{d_b}=\frac{AP\,\sin\angle PAB}{AP\,\sin\angle PAC}=\frac{\sin\angle BAS}{\sin\angle SAC}=\frac{AB}{AC}.

Последнее равенство — перевёрнутое отношение синусов из предыдущего раздела. Записав то же для двух других симедиан и применив всё к точке KK, получаем

daa=dbb=dcc.\frac{d_a}{a}=\frac{d_b}{b}=\frac{d_c}{c}.
——

В точке Лемуана K три отношения под чертежом равны, а сумма квадратов расстояний до сторон минимальна: двигай P и сравнивай.

Отсюда экстремальное свойство. Площадь треугольника связывает расстояния со сторонами:

a da+b db+c dc=2S.a\,d_a+b\,d_b+c\,d_c=2S.

Правая часть фиксирована, а левая — скалярное произведение двух наборов. По неравенству Коши

(da2+db2+dc2)(a2+b2+c2)≥(2S)2,(d_a^2+d_b^2+d_c^2)(a^2+b^2+c^2)\ge(2S)^2,

причём равенство достигается ровно тогда, когда наборы пропорциональны. Значит, KK — единственная точка, для которой сумма квадратов расстояний до сторон минимальна.

Барицентрические координаты точки Лемуана равны (a2:b2:c2)(a^2:b^2:c^2); в этом виде она встретится в восьмой статье серии. Пропорциональность расстояний сторонам — то же утверждение без координат.

06педальная окружность

Общая окружность двух точек

Опустим из точки PP перпендикуляры на три стороны треугольника. Три основания образуют педальный треугольник точки PP. Сделаем то же для сопряжённой точки QQ. Все шесть оснований лежат на одной окружности.

——

Тёплые основания принадлежат P, фиолетовые — сопряжённой точке. Все шесть лежат на одной окружности; при P в центре описанной получается окружность девяти точек.

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

Обозначим ∠PAB=φ\angle PAB=\varphi и ∠PAC=ψ\angle PAC=\psi. Изогональность означает, что ∠QAB=ψ\angle QAB=\psi и ∠QAC=φ\angle QAC=\varphi. Основание перпендикуляра из PP на ABAB отстоит от AA на APcos⁡φAP\cos\varphi, и так же считаются остальные три. Перемножим накрест:

AXP⋅AXQ=APcos⁡φ⋅AQcos⁡ψ=AYP⋅AYQ.AX_P\cdot AX_Q=AP\cos\varphi\cdot AQ\cos\psi=AY_P\cdot AY_Q.

Равные произведения означают равные степени точки AA, а по признаку из второй статьи серии это и есть условие того, что четыре точки лежат на одной окружности.

Теперь найдём её центр. Пусть MM — середина отрезка PQPQ. Проекция середины на прямую — середина проекций, поэтому проекция MM на ABAB лежит посередине между XPX_P и XQX_Q, а значит MXP=MXQMX_P=MX_Q. То же верно для каждой стороны.

Центр окружности, проходящей через четыре точки при вершине AA, лежит на серединных перпендикулярах к XPXQX_PX_Q и YPYQY_PY_Q, и обе эти прямые проходят через MM. Значит, центр — это MM. То же рассуждение для вершин BB и CC даёт окружности с тем же центром и тем же радиусом MXPMX_P. Все три окружности совпали, и на ней лежат все шесть оснований.

Окружность девяти точек

Возьмём P=OP=O, тогда Q=HQ=H. Педальный треугольник центра описанной окружности — это треугольник середин сторон, а педальный треугольник ортоцентра — треугольник оснований высот. По доказанному они вписаны в одну окружность.

Её и называют окружностью девяти точек: кроме этих шести, на ней лежат ещё три середины отрезков от вершин до ортоцентра. Центр окружности — середина OHOH, что согласуется с общим утверждением, а радиус равен половине радиуса описанной окружности.

07олимпиады

Задача на изогональное сопряжение

Рассмотрим задачу Международной олимпиады, где условие переводится на сопряжённую точку, а дальше работают теорема синусов и свойство биссектрисы.

1

IMO 1996, задача 2

Точка PP внутри треугольника ABCABC такова, что ∠APB−∠ACB=∠APC−∠ABC\angle APB-\angle ACB=\angle APC-\angle ABC. Пусть DD и EE — центры вписанных окружностей треугольников APBAPB и APCAPC. Докажите, что прямые APAP, BDBD и CECE пересекаются в одной точке.

——

Пунктир — окружность Аполлония PB : PC = AB : AC, на ней лежат все точки, удовлетворяющие условию. D и E — центры вписанных окружностей треугольников APB и APC; биссектрисы BD и CE пересекают AP в одной точке X.

Решение

Прямая BDBD — биссектриса угла ABPABP, она делит отрезок APAP в отношении AB:BPAB:BP. Прямая CECE — биссектриса угла ACPACP, она делит APAP в отношении AC:CPAC:CP. Три прямые проходят через одну точку тогда и только тогда, когда

ABBP=ACCP⟺ABAC=BPCP.\frac{AB}{BP}=\frac{AC}{CP}\quad\Longleftrightarrow\quad\frac{AB}{AC}=\frac{BP}{CP}.

Пусть QQ — точка, изогонально сопряжённая PP. По формуле из третьего раздела ∠APB+∠AQB=180∘+∠C\angle APB+\angle AQB=180^\circ+\angle C и ∠APC+∠AQC=180∘+∠B\angle APC+\angle AQC=180^\circ+\angle B, поэтому условие задачи переписывается как

180∘−∠AQB=180∘−∠AQC,то есть∠AQB=∠AQC.180^\circ-\angle AQB=180^\circ-\angle AQC,\qquad\text{то есть}\qquad \angle AQB=\angle AQC.

Теорема синусов в треугольниках AQBAQB и AQCAQC:

AB=AQ sin⁡∠AQBsin⁡∠ABQ,AC=AQ sin⁡∠AQCsin⁡∠ACQ ⟹ ABAC=sin⁡∠ACQsin⁡∠ABQ.AB=\frac{AQ\,\sin\angle AQB}{\sin\angle ABQ},\qquad AC=\frac{AQ\,\sin\angle AQC}{\sin\angle ACQ}\ \Longrightarrow\ \frac{AB}{AC}=\frac{\sin\angle ACQ}{\sin\angle ABQ}.

По изогональности ∠ABQ=∠PBC\angle ABQ=\angle PBC и ∠ACQ=∠PCB\angle ACQ=\angle PCB, а по теореме синусов в треугольнике PBCPBC

sin⁡∠PCBsin⁡∠PBC=BPCP.\frac{\sin\angle PCB}{\sin\angle PBC}=\frac{BP}{CP}.

Итак, AB/AC=BP/CPAB/AC=BP/CP, а это и есть условие того, что биссектрисы BDBD и CECE пересекают APAP в одной точке.

Заодно получилось описание всех таких точек PP: равенство PB:PC=AB:ACPB:PC=AB:AC задаёт окружность Аполлония точек BB, CC, проходящую через AA; на чертеже она показана пунктиром.

08задачи

Проверь себя

Посчитай, впиши ответ и нажми «Проверить». Разбор открывается кнопкой под задачей. Всё нужное для решения собрано в трёх формулах.

BXXC⋅CYYA⋅AZZB=1BSSC=AB2AC2daa=dbb=dcc.\begin{gathered} \frac{BX}{XC}\cdot\frac{CY}{YA}\cdot\frac{AZ}{ZB}=1 \\[8pt] \frac{BS}{SC}=\frac{AB^2}{AC^2} \\[8pt] \frac{d_a}{a}=\frac{d_b}{b}=\frac{d_c}{c}. \end{gathered}
1
Три чевианы пересекаются в одной точке, BX/XC=2BX/XC=2, CY/YA=3CY/YA=3. Найди AZ/ZBAZ/ZB.
AZ:ZB=AZ : ZB =
Разбор

Решение

2⋅3⋅AZZB=1 ⟹ AZZB=16≈0,167.2\cdot3\cdot\frac{AZ}{ZB}=1\ \Longrightarrow\ \frac{AZ}{ZB}=\frac16\approx0{,}167.
Ответ: 1/6≈0,1671/6 \approx 0{,}167
2
В треугольнике AB=7AB=7, AC=5AC=5. В каком отношении симедиана из AA делит сторону BCBC?
BS:SC=BS : SC =
Разбор

Решение

BSSC=AB2AC2=4925=1,96.\frac{BS}{SC}=\frac{AB^2}{AC^2}=\frac{49}{25}=1{,}96.

Медиана делила бы сторону в отношении единица к единице.

Ответ: 49/25=1,9649/25 = 1{,}96
3
Какая точка изогонально сопряжена сама себе?
Разбор

Решение

Её чевианы — биссектрисы, а биссектриса при отражении относительно самой себя не меняется. Остальные перечисленные точки входят в пары: медианы отражаются в симедианы, ортоцентр — в центр описанной окружности.

Ответ: центр вписанной окружности
4
Какая точка изогонально сопряжена ортоцентру?
Разбор

Решение

В третьем разделе показано, что ∠OAB=∠HAC=90∘−γ\angle OAB=\angle HAC=90^\circ-\gamma, то есть прямые AOAO и AHAH изогональны. То же верно для двух других вершин.

Ответ: центр описанной окружности
5
Стороны треугольника относятся как 3:4:53:4:5. Найди отношение расстояний от точки Лемуана до сторон aa и cc.
da:dc=d_{a} : d_{c} =
Разбор

Решение

Расстояния от точки Лемуана пропорциональны сторонам:

dadc=ac=35=0,6.\frac{d_a}{d_c}=\frac{a}{c}=\frac35=0{,}6.
Ответ: 0,60{,}6
6
Радиус описанной окружности равен 1010. Найди радиус окружности, на которой лежат основания высот и середины сторон.
r=r =
Разбор

Решение

Это окружность девяти точек — педальная окружность пары OO и HH. Её радиус вдвое меньше радиуса описанной:

r=R2=5.r=\frac{R}{2}=5.
Ответ: 55

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

В Компендиуме разбираем конструкции, которые связывают разрозненные факты в одну систему.

залетай в Академию→