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',$ откуда из свойства инверсии следует требуемое.