9-я международная Иранская олимпиада по геометрии, 2022 год, третья лига, 11-12 классы

В треугольнике $ABC$ ($\angle A \neq 90^\circ$) точка $O$ --- центр описанной окружности, а $H$ --- основание высоты из вершины $A$. Обозначим середины отрезков $BC$ и $AH$ за $M$ и $N$ соответственно. Отметим точку $D$ --- пересечение прямых $AO$ и $BC$, и $H'$ --- точку, симметричную $H$ относительно $M$. Пусть описанная окружность треугольника $OH'D$ пересекает описанную окружность треугольника $BOC$ в точке $E$. Докажите, что прямые $NO$ и $AE$ пересекаются на описанной окружности треугольника $BOC$.

Комментарий/решение

Вот гибридное решение, использующее проективную лемму, инверсию, а затем лемму о соотношении для завершения. Кроме того, позвольте мне упомянуть, что точка $M$ в моем решении не является средней точкой $BC$, поскольку она в любом случае бесполезна (так что это небольшое злоупотребление обозначениями).

Сначала пусть WLOG $AB>AC$ и определит несколько новых точек: пусть $Q$ будет точкой A-HM (точка пересечения $(BOC)$ и симмедианы), $AO \cap (ABC)=A' , OH \cap (BOC)=H", AH" \cap (BOC)=M', OM' \cap BC=M, OQ \cap BC=Q'$ (и известно, что $AQ'$ касается описанной окружности).

Первая часть — использовать проективное гео: проецируйте $(AH, N\infty)=-1$ через $O$ на окружность $(BOC)$, а затем через $A$ на $(BOC)$, чтобы увидеть желаемое. параллелизм эквивалентен $(EQ, OM')=-1$.

Теперь инвертируйте относительно описанной окружности. Тогда $(BOC) \rightarrow BC, H \rightarrow H", Q \rightarrow Q', E \rightarrow E', M' (\in AH") \rightarrow M (\in (AOH)$, т.е. $\angle AOM=90)$, и мы хотим доказать, что $M$ — это середина $Q'E'$. У нас есть $OM \parallel AQ' \iff \frac {DO} {AO}=\frac{DM} {MQ'} $, поэтому нам нужно $\frac {AO} {DO}=\frac {ME'} {MD} \iff \frac {DA'} {DO}=\frac {DE'} {DM} \iff OM \parallel A'E'$, поэтому мы хотим, чтобы $A'E'$ касалась $(ABC )$.

Теперь нам осталось сделать немного более длинный удар. Мы определяем $f(Z)=\pm \frac{ZB} {ZC}$ и используем леммы из раздаточного материала по лемме о соотношении mira74 (здесь: https://artofproblemsolve.com/community/c6h2357938p19166714) без доказательства. Нам нужно доказать, что $f(E')=f(A')^2=(\frac {\cos \gamma} {\cos\beta})^2$. Имеем $f(E')=f(E)f(O)=f(H')f(D)$ и легко доказать, что последнее есть $\frac{H'B}{H 'C} \frac{DB}{DC} =\frac{HC}{HB} \frac{DB}{DC} =\frac{AC}{AB}\frac {\sin (90-\gamma)}{ \sin (90-\beta)} \frac{AB}{AC}\frac{\sin (90-\gamma)}{\sin (90-\beta)}=(\frac{\cos \gamma}{ \cos \beta}) ^2$, используя классическую версию леммы о соотношении и равные отрезки $H'B=HC, H'C=HB$, и мы наконец закончили