Sea $ABC$ un triángulo con $AB \neq AC$ y circuncentro $O$. La bisectriz de $\angle BAC$ interseca a $BC$ en $D$. Sea $E$ la reflexión de $D$ con respecto al punto medio de $BC$. Las líneas que pasan por $D$ y $E$ perpendiculares a $BC$ intersecan las líneas $AO$ y $AD$ en $X$ e $Y$ respectivamente. Demuestre que el cuadrilátero $BXCY$ es cíclico.