Европейская математическая олимпиада среди девочек (EGMO). 2022 год. Венгрия

$ABCD$ төртбұрышы центрі $O$ болатын шеңберге іштей сызылған. $A$ және $B$ төбелеріндегі ішкі бұрыштардың биссектрисалары $X$ нүктесінде, $B$ және $C$ төбелерінікі — $Y$ нүктесінде, $C$ және $D$ төбелерінікі — $Z$ нүктесінде, ал $D$ және $A$ төбелерінікі — $W$ нүктесінде қиылысады. $AC$ және $BD$ түзулері $P$ нүктесінде қиылысады. Егер $X$, $Y$, $Z$, $W$, $O$ және $P$ нүктелері әртүрлі болса, онда келесі екі шарт эквивалентті екенін дәлелдеңіз: $O$, $X$, $Y$, $Z$, $W$ бір шеңбердің бойында жатса, $P$, $X$, $Y$, $Z$, $W$ бір шеңбердің бойында жатады.

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

Пусть $AB \cap CD = E$ и $AD \cap BC = F$ и $AC \cap EF = K$ и $M$ - середина $AC.$ Заметим то что $XYZW$ - вписанный, так как $\angle WXY = \angle AXB = 180^\circ - \frac{\angle A + \angle B}{2}$ и $\angle WZY = \angle CZD = 180^\circ - \frac{\angle C + \angle D}{2} = \frac{\angle A + \angle B}{2}.$ Теперь заметим то что $W$ - центр вписанной окружности для $\triangle AED$ и $Y$ - центр вневписанной окружности для $\triangle BEC \Rightarrow E, W, Y$ - лежат на одной прямой. Так как $\angle XYW = \angle BYE = \frac{\angle BCE}{2} = \frac{\angle A}{2} \Rightarrow (ABWY).$ Из этого можно получить то что $pow(E, (XYZW)) = pow (E, (ABWY)) = pow (E, (ABCD)).$ Проделав аналогично для $F$ мы получим то что $EF$ - радикальная ось для $(ABCD), (XYZW).$ Так как четырехугольник $ABCD$ полный, то мы имеем $[K, P, C, A] = -1 \Rightarrow KA \cdot KC = KP \cdot KM \Rightarrow pow(K, (MOP)) = pow(K, (ABCD)) \Rightarrow EF$ - радикальная ось для $(ABCD), (XYZW), (MOP).$ Если $(XYZW) \ne (MOP) \Rightarrow$ они не пересекаются, но по условии мы имеем $(PXYZW)$ и то что $P \notin EF \Rightarrow (MOP) = (XYZW) \Rightarrow (OXYZW). \square$