53-я Международная Математическая OлимпиадаАргентина, Мар-дель-Плата, 2012 год

Дан треугольник $ABC$; точка $J$ является центром вневписанной окружности, соответствующей вершине $A$. Эта вневписанная окружность касается отрезка $BC$ в точке $M$, а прямых $AB$ и $AC$ — в точках $K$ и $L$ соответственно. Прямые $LM$ и $BJ$ пересекаются в точке $F$, а прямые $KM$ и $CJ$ пересекаются в точке $G$. Пусть $S$ — точка пересечения прямых $AF$ и $BC$, а $T$ — точка пересечения прямых $AG$ и $BC$. Докажите, что точка $M$ является серединой отрезка $ST$. (Вневписанной окружностью треугольника $ABC$, соответствующей вершине $A$, называется окружность, касающаяся стороны $BC$ и продолжений сторон $AB$ и $AC$.)

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

Несложно заметить, что $AKJL$ - вписанный четырехугольник. Тогда если $\angle ABC=2\alpha, \, \angle ACB=2\beta \Rightarrow \angle JAL = 90^\circ-\alpha-\beta$. Также $\angle FAB = 90^\circ-\alpha=\angle KBJ, \, \angle BMF = \beta = \angle CMF \Rightarrow \angle JFL = 180^\circ - \angle FBM - \angle BMF = 90^\circ - \alpha - \beta$. Значит $AFGL$ - вписанный. Аналогично получаем, что и $AKJG$ - вписанный. Значит точки $A, F, K, J, L, G $ лежат на одной окружности.

Применим теорему Менелая для $\triangle ABT$ и секущей $KG$: $\frac{AG}{GT} \cdot \frac{TM}{MB} \cdot \frac{BK}{AK} = 1 \Rightarrow TM = \frac{AK \cdot GT}{AG}$. Аналогично применяя теорему Менелая для $\triangle ASC$ и секущей $LF$ получаем, что $SM = \frac{AL \cdot FS}{AF}$. Чтобы показать, что $TM=MS$ надо показать, что $ \frac{AK \cdot GT}{AG} = \frac{AL \cdot FS}{AF}$. Заметим, что $AK=AL=\frac{P_{\triangle ABC}}{2}$. Также равенство $\frac{GT}{AG} = \frac{FS}{AF}$ равносильно, что $BC \parallel FG$, что следует из того, что $\angle AGF = \angle FLA = \angle BTG = \beta$. Значит $M$ середина $TS$.

Из вписанности 6 точек следует, что $AF\perp FB$ и $AG\perp GC,$ откуда $CA=CT, BA=BS,$ откуда легко следует требуемое.