Математикадан 56-шы халықаралық олимпиада, 2015 жыл, Чиангмай

$ABC$ үшбұрышында $\Omega$ ол сырттай сызылған шеңбері, $O$ осы шеңбердің центрі. Центрі $A$ болатын $\Gamma$ шеңбері $BC$ қабырғасын $D$ және $E$ нүктелерінде қияды, мұнда $B$, $D$, $E$ мен $C$ әртүрлі нүктелер және олар $BC$ түзуінде осындай ретпен орналасқан. $\Gamma$ және $\Omega$ шеңберлері $F$ және $C$ нүктелерінде қиылысады, мұнда $A$, $F$, $B$, $C$ мен $G$ нүктелері $\Omega$-ның бойында осындай ретпен орналасқан. $BDF$ үшбұрышына сырттай сызылған шеңбер $AB$ кесіндісін екінші рет $K$ нүктесінде қисын. $CGE$ үшбұрышына сырттай сызылған шеңбер $CA$ кесіндісін екінші рет $L$ нүктесінде қисын. $FK$ және $GL$ түзулері әртүрлі және олар $X$ нүктесінде қиылыссын. $X$ нүктесі $AO$ түзуінің бойында жататынын дәлелдеңіз.

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

$F$ и $G$ - точки пересечения $\Omega $ и $\Gamma$, значит $FG \bot AO$ (так как $FG$ - их рад. ось, а $AO$ - линия центров).

Тогда, $(!) X \in AO \Leftrightarrow (!) FX = GX \Leftrightarrow (!) \measuredangle GFX = \measuredangle XGF = \measuredangle GFK = \measuredangle LGF$ ($\measuredangle ABC$ - ориентированный угол ABC).

Пусть $\measuredangle GFK = \alpha, \measuredangle LGF = \gamma, \measuredangle DFG = \beta, \measuredangle FGE = \omega , \measuredangle GFA = \measuredangle AGF = \theta.$

$(!) \alpha = \gamma$

Тогда справедливы следующие равенства:

$\measuredangle LGE = \measuredangle LGF + \measuredangle FGE = \gamma + \omega = \measuredangle LCE \Rightarrow \measuredangle GCE = \measuredangle GCA + \measuredangle LCE = \theta + \gamma +\omega = \measuredangle GCB$.

$\measuredangle DFK = \measuredangle DFG + \measuredangle GFK = \beta + \alpha = \measuredangle DBK \Rightarrow \measuredangle DBF = \measuredangle DBK + \measuredangle KBF = \alpha + \beta + \theta$

$\measuredangle DFG = \beta = \measuredangle DEG = \measuredangle CEG \Rightarrow \measuredangle CEG + \measuredangle EGC + \measuredangle GCE \Rightarrow \measuredangle EGC = -\beta - \theta - \gamma - \omega \Leftrightarrow \measuredangle CGE = \beta + \theta + \gamma + \omega. \Rightarrow \measuredangle CGF = \measuredangle CGE + \measuredangle EGF = \beta + \theta + \gamma + \omega - \omega = \beta + \gamma + \theta$.

Но так как $FGCB$ вписанный, $\measuredangle CGF = \measuredangle CBF = \measuredangle DBF \Leftrightarrow \alpha + \beta + \theta = \beta + \theta + \gamma \Rightarrow \alpha = \gamma$.

Что и требовалось доказать.

https://imgur.com/a/uGwNmdx - чертеж