8-я международная Иранская олимпиада по геометрии, 2021 год, вторая лига, 9-10 классы

Выпуклый четырёхугольник $ABCD$ таков, что $AB = BC$, а углы $ABD$ и $BCD$ равны $90^{\circ}$. Диагонали $AC$ и $BD$ пересекаются в точке $E$. На стороне $AD$ выбрана точка $F$ так, что $ \frac{AF}{FD} = \frac{CE}{EA}$. Окружность $\omega$ с диаметром $DF$ вторично пересекает окружность, описанную около треугольника $ABF$, в точке $K$. Точка $L$ — вторая точка пересечения $\omega$ и прямой $EF$. Докажите, что прямая $KL$ проходит через середину отрезка $CE$.

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

Утверждение 1: $\angle FBC = 90 ^\circ$ и $DE = DC$.

Доказательство: теорема синусов в $\triangle ABE$ и $\triangle BCE$ дает нам

$\dfrac{AF}{FD} = \dfrac{CE}{EA} = \dfrac{BC}{BA} \cdot \dfrac{sin~CBE}{sin~90^\circ} = sin~CBE$,

и теорема синусов в $\triangle ABF$ и $\triangle BFD$ дает нам

$sin~CBD = sin~CBE = \dfrac{AF}{FD} = \dfrac{BA}{BD} \cdot tan~ABF \Rightarrow \dfrac{CD}{BD} = \dfrac{BA}{BD} \cdot tan~ABF \Rightarrow tan~ABF = \dfrac{CD}{BA} = \dfrac{CD}{BC} = tan~CBD \Rightarrow$

$ \angle ABF = \angle CBD \Rightarrow \angle FBC = 90^\circ$.

Если $Z = BF \cap AC$, то $\angle BZC = \angle ECD = \angle BEZ = \angle DEC$, поскольку $BZ // CD$ и $BE = BZ$ из $\triangle EBC \equiv \ triangle ZBA$.

Итак, $DE = DC, ~~~Q.E.D.$

Утверждение 2: $\triangle ABC$ ~ $\triangle AKD$

Доказательство: теорема синусов в $\triangle AKF$ и $\triangle AFD$ дает нам

$sin~CBE = \dfrac{AF}{FD} = \dfrac{AK}{DK} \cdot \dfrac{sin~AKF}{sin~90^\circ}$, но $\angle AKF = \angle ABF = \angle CBE$ (пункт 1), поэтому $AK = DK$.

Обратите внимание, что $\angle AKD = 90^\circ + \angle AKF = 90^\circ + \angle ABF = \angle ABC$, поэтому $\triangle ABC$ ~ $\triangle AKD~~~Q.E.D.$

Утверждение 3: если $BD\cap\omega = G$, $KG // AC$.

Доказательство: обратите внимание, что $\angle EGK = \angle KFD = \angle KAF + AKF = \angle BAC + \angle ABF$ и

$\angle BEA = \angle CBE + \angle BCA \Rightarrow \angle EGK = \angle BEA \Rightarrow KG // AC ~~~ Q.E.D.$

Пусть теперь $H$ — второе пересечение $\omega$ и прямой, параллельной $AC$ и проходящей через $F$, $X$ — середина $CE$, $X' = KL \cap DH$.

Используя теорему Паскаля для $(HDGKLF)$, мы получаем, что $E, X'$ и $P_{\infty}(AC)$ лежат на одной прямой, поэтому $EX' // AC \Rightarrow X' = AC \cap DH = X$, так как

$\angle DHF = 90^\circ = \angle DXA \Rightarrow D,H,X$ лежат на одной прямой.

Следовательно, $KL$ делит $CE$ пополам.