49-я Международная Математическая Oлимпиада
Испания, Мадрид, 2008 год
Комментарий/решение:
Пусть $\omega_1, \omega_2, \omega_3$ окружности с диаметром на $BC, AB, AC$ соответственно. На самом деле нам достаточно показать концикличность следующих четверок точек: $C_1C_2B_1B_2$, $C_1C_2A_1A_2$, $A_1A_2B_1B_2$
(i)$C_1C_2B_1B_2$
Пусть $D, E, F$ середины $AC, AB, BC$. Для вписанности нам достаточно показать что $Pow(A, \omega_3) = Pow(A, \omega_2)$. То есть $A$ - должна лежать на радикально оси этих окружностей. Зная что $H$ лежит на одном из пересечений окружностей, $AH$ должна является искомой радикальной осью. Соединим $D$ и $E$, очевидно $AH \perp DE$, причем $D$ и $E$ являются центром обоих окружностей, но прямая перпендикулярная отрезку соединяющего центры двух окружностей, проходящая через одну из точек пресечения, является радикальной осью.
Для оставшихся точек $C_1C_2A_1A_2$, $A_1A_2B_1B_2$, доказательство аналогичны.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.