56-я Международная Математическая OлимпиадаТаиланд, Чиангмай, 2015 год

Пусть $ABC$ — остроугольный треугольник, в котором ${AB > AC}$. Пусть $\Gamma$ — окружность, описанная около него, $H$ — его ортоцентр, а $F$ — основание высоты, опущенной из вершины $A$. Пусть $M$ — середина стороны $BC$. Пусть $Q$ — точка на окружности $\Gamma$ такая, что $\angle HQA=90{}^\circ$, а $K$ — точка та окружности $\Gamma$ такая, что $\angle HKQ=90{}^\circ$. Пусть точки $A$, $B$, $C$, $K$ и $Q$ различны и лежат на окружности $\Gamma$ в указанном порядке. Докажите, что окружности, описанные около треугольников $KQH$ и $FKM$, касаются друг друга.

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

Решение: Рассмотрим инверсию с центром в точке $H,$ что $\Gamma\to \Gamma.$

Известно, что $Q,H,M,Q'$ лежат на одной прямой, причем $MH=MQ',$ а так же $FH=FA'.$

Легко понять, что $AF'=AH,QM'=QH.$

Заметим, что $(KQH)\to K'Q',$ причем $HQ'\perp K'Q'.$ Также $(FKM)\to (F'K'M'),$ причем $HM'\perp F'M'.$

Из ранее указанного: $F'M'=2AQ=2K'Q'$ и $CQ'\perp Q'M'\perp F'M'.$

Следовательно $K'M'=K'F'\implies (F'K'M')$ касается $K'Q',$ откуда из свойства инверсии следует требуемое.

При инверсии с центром $H$ которая переводит опис окр $ABC$ в окружность 9 точек $ABC$ по лемме АТМО 2012 п4 $Q=>M$ $K=>L$ где $L$ такой что $\angle HML=90$. Заметим что также $A=>F$ и $LM||AQ$. Чтобы доказать касание нужно доказать то $LM$ касается $(AQL)$ отсюда нужно доказать что $L$ лежит на середином перпендикуляре к $AQ$.

Пусть окружность 9 точек будет как $\gamma$ тогда пусть $AH \cap gamma=K$ и $QM \cap gamma=N$ тогда заметим что так как $KLMN$ прямоугольник отсюда следует требуемое.