Олимпиада Туймаада по математике. Младшая лига. 2003 год
Через точку $K$, лежащую вне окружности $\omega$, проведены касательные
$KB$ и $KD$ к этой окружности ($B$ и $D$ — точки касания) и прямая, пересекающая окружность в точках
$A$ и $C$. Биссектриса угла $ABC$ пересекает отрезок $AC$ в точке $E$ и
окружность $\omega$ в точке $F$. Докажите, что $\angle FDE=90^\circ$.
посмотреть в олимпиаде
Комментарий/решение:
Пусть $G=DE \cap \omega$, $P=AG \cap BF$, $Q=AG \cap BC$, $R = GD \cap BC$. Тогда нужно доказать, что $\angle FBG = 90$, ну или иначе, что $BG$ - биссектриса внешнего угла $ABQ$ треугольника $ABQ$, то есть $A,P,Q,G$ образуют гармоническую четверку точек. $ABCD$, по определению, гармонический четырехугольник (касательные к $B$ и $D$, секущая $AC$ пересекаются в одной точке), тогда раз двойное отношение точек на окружности это двойное отношение прямых получаем, что:
$(C,B;A,D) = -1$, и раз $G \in \omega$, то $(GC,GB;GA,GD)$ - гармоническая четверка прямых. Спроецируем тогда $ABCD$ на $BC$ через $G$, $(C,B;A,D) = (C,B;Q,R)$, и проецируем эту четверку на $AG$ через $E$, получаем: $(C,B;Q,R)=(A,P;Q,G) = -1$, что и требовалось.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.