9-я международная Иранская олимпиада по геометрии, 2022 год, вторая лига, 9-10 классы
Комментарий/решение:
(!) точку Q будем выбирать на прямой OP.
Лемма 1:
Зафиксируем прямую l и точку S не на ней. Тогда верно, что все окружности с диаметром SX, где X выбирается на l, проходят через фиксированную точку.
Доказательство
Пусть P проекция S на l, тогда P лежит на всех окружностях с диаметром SX.
Лемма 2:
Пусть l1,l2 проходят через S, а l3 - нет. Проекции точки X, принадлежащей l3, на l1,l2 - E,F соответственно. Тогда множество точек A на отрезке EF таких, что AEAF=const располагается на фиксированной прямой, не в зависимости от X.
Доказательство
Этот факт следует из того, что E,F движутся линейно, а значит такие точки A лежат на одной прямой.
Лемма 3:
Зафиксируем 5 прямых, 4 из которых проходят через S, а 5ая - нет. Тогда точки пересечений диагоналей четырехугольников с вершинами в проекциях точки X на остальные 4 прямые лежат на одной прямой (X выбирается на 5ой прямой).
Доказателство
Понятно, что все такие четырехугольники подобны. Если рассмотрим какую-то диагональ четырехугольника, то интересующая нас точка будет делить ее на отрезки в постоянном отношении, а значит по лемме (2) лежит на фиксированной прямой.
Решение:
Б.О.О скажем, что лучи AD,BC пересекутся в точке X. Тогда окружности (QEF) можно заменить на окружности с диаметром QX. Раз у прямых AC,BD фиксированное направление можно понять, что прямые XM,XN фиксированы и главное - QM⊥MX,QN⊥NX. Так же XE,XF - фиксированные прямые, поэтому воспользуемся леммой (3) для фиксированных прямых XM,XN,XE,XF и точек на прямой OP, то есть докажем, что ME,NF пересекаются на прямой, являющейся серединным перпендикуляром, к CD. Для этого достаточно показать, что эти прямые пересекаются хотя бы в двух точках на серединном перпендикуляре к CD.
Положение 1:
Q=P (известная задача).
Лемма 4:
l1,l2изогонали угла A треугольника ABC. Тогда проекции B,C на l1,l2 - E,F соответственно равноудалены от середины BC=M.
Доказательство
За Hϕ,aA обозначим поворотную гомотетию на угол ϕ с коэффициентом a относительно A. Тогда верно следующее:
ZM∘H90∘,tg∠EACE∘H90∘,ctg∠FACF=Id,
то есть тождественное преобразование. Значит:
H90∘,tg∠EACE∘H90∘,ctg∠FACF=ZM,
Рассмотрим точку F: F→F→F′, так что ∠FEF′=90∘,F′M=FM и F,M,F′ лежат на одной прямой, что равносильно требуемому.
Тогда по лемме (4) E,F равноудалены от середины CD, так как PE,PF - изогонали угла DPC и E,F проекции D,C на них. ∠BCA=∠BDA=∠MCX=∠XDN⇒∠MXC=∠NXD, то есть XM,XN - изогонали, а также MNEF - равнобокая трапеция. Таким, же образом M,N равноудалены от середины CD, а значит ME,NF пересекутся в середине CD.
Положение 2:
Q=P′ - точка симметричная P относительно O. Тогда верно следующее P′∈OP, середина CD после центральной симметрии относительно O лежит на серединном перпендикуляре к CD. Значит в таком случае требуемое условие выполняется.
По лемме (3) и двум положениям точки Q можно заверить, что и при других положениях точки Q - ME,NF будут пересекаться на серединном перпендикуляре к CD.
Рассмотрим случай серединного перпендикуляра к AB, так как он аналогичен CD.
Пусть T∈CD∩AB,G∈AD∩BC тогда TG - поляра точки P значит P′∈OP⊥TG, пусть так же X∈OP∩ω тогда ω окружность Аполлония для PP′ то есть CX, DX, BX - биссектриса ∠P′CP, ∠P′DB, ∠P′BD соответственно, значит PP′ биссектриса DP′B.
Тогда посчитав углы получаем ∠DP′C=∠DGC то есть CDP′G лежат на одной окружности ω1 с центром O1, так же пусть Q′∈OP′∩ω1, N′∈DO∩ω1, M′∈CO∩ω1, значит Q′G - диаметр ω1, тогда ∠ODB=90∘−∠BCD но так как ∠Q′N′D=180∘−∠DCQ′=180∘−(∠BCD+90∘)=90∘−∠BCD значит Q′N′||BD аналогично Q′M′||AC.
Получается что CD||M′N′ или CDM′N′ - трапеция, возьмем на OP произвольную точку Q пусть O2 - середина GQ пусть ω2 окружность с центром O2 с R=QO2 тогда точки E,F восстанавливаются как E, F∈BC, AD∩ω2, так же N∈GN′∩ω2, M∈GM′∩ω2.
Покажем что AB⊥GQ′.
∠CQ′G=90∘−∠CGQ′=90∘−(∠DGQ′−∠DGC)=90∘−(180∘−∠DCQ′−∠DGC)=∠DCQ′+∠DGC−90∘=∠BCD+90∘+180∘−∠BCD−∠ADC−90∘=180∘−∠ADC=∠TDA если L∈AB∩GQ′ тогда CBLQ′ вписанный или AD⊥GQ′, значит серединный перпендикуляр l к AB||l.
Так как CQ′||QE, N′Q′||NQ или ∠DGM=∠CQ′N′=∠EQN получается EFNM трапеция где EF||NM пусть H∈ME∩NF тогда совершив композицию для точки O параллельный перенос по вектору →O1O2 поворот вокруг точки O2 на угол ∠O1GO2 по часовой и совершив гомотетию с коэффициентом EFCD данная точка перейдет в точку H значит HO||GQ′
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.