56-я Международная Математическая Oлимпиада
Таиланд, Чиангмай, 2015 год
Комментарий/решение:
$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$.
Что и требовалось доказать.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.