51-я Международная Математическая OлимпиадаКазахстан, Астана, 2010 год

Точка $I$ — центр окружности, вписанной в треугольник $ABC$, а $\Gamma $ — окружность, описанная около этого треугольника. Прямая $AI$ пересекает окружность $\Gamma $ в точках $A$ и $D$. Точка $E$ выбрала на дуге $BDC$ а точка $F$ — на стороне $BC$ так, что $\angle BAF=\angle CAE < \tfrac{1}{2}\angle BAC.$ Точка $G$ — середина отрезка $IF$. Докажите, что прямые $DG$ и $EI$ пересекаются в точке, лежащей на окружности $\Gamma $.

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

1) Пусть $ V \in \Gamma \cap CI $ и $S \in DV \in BC, \ K \in DV \cap AB$

Утверждение 1 : $SI || AB, \ KI || BC$

Доказательство: по теореме о трезубце $DB=DC=DI, \ VI=VB=VA$ тогда так как

$BI \perp DV$ получается $BS=IS$ значит $\angle DIS = \angle DBS = \angle DCB = \angle DAB$ то есть $SI || AB$ , так как $BK = IK$ тогда учитывая это $\angle SIK = \angle CBA = \angle CSI$ то есть $KI || BC$

2) Пусть $H \in KI$ и $M \in DH \cap BC$ и $Q \in DA \cap BC, \ N \in \Gamma \cap DM$

Утверждение 2 : $AH || MI$

Доказательство : из утверждения 1 получается $\dfrac{DM}{DH} = \dfrac{DQ}{DI} = \dfrac{DI}{DA}$ тогда $DI^2 = DQ \cdot DA$ но так как $\angle DAC = \angle DBC = \angle DCB$ тогда $DC$ касательная к описанной окружности $ACQ$ то есть $DI^2=DC^2=DQ \cdot DA$ значит $AH || MI$ аналогично $DI^2 = DS \cdot DV$ откуда $SQVA$ вписанный.

3) Утверждение 3: $HNIA$ вписанный

Доказательство: $\angle DVA = \angle DNA$ тогда и $MQAN$ вписанный , но так как $MQ || HI$ тогда $NHIA$ вписанный.

4) Значит если $F \in AH \cap BC, T \in AH \cap \Gamma , \ E \in NI \cap \Gamma$ тогда $\angle CAE = \angle BAT = \angle BAF$ получается $FMIH$ параллелограмм и $G \in MH \cap FI$ в середине как диагональ, откуда $N \in DG \cap IE$

Рисунок

 Заметим что достаточно доказать что $\angle AEI=\angle ADG$. Пусть $I_a$ центр вневписанной окружности тогда в силу $ID=I_aD$ получаем что $I_aF \parallel DG$ . заметим что: $\triangle AEC \sim ABF$ и $ACI_a \sim AIB$. Отсюда $\dfrac{AF}{AC}=\dfrac{AE}{AB}$ и $\dfrac{AC}{AI_a}=\dfrac{AI}{AB}$ перемножаем и получаем $\dfrac{AF}{AI_a}=\dfrac{AI}{AE}$ учитывая $\angle EAI=\angle I_aAF$ получаем $\triangle EAI \sim \triangle I_aFA$, отсюда имеем $\angle AEI=\angle AI_AF=\angle ADG$