Sea $ABC$ un triángulo acutángulo con $AC > AB$ , sea $O$ su circuncentro, y sea $D$ un punto en el segmento $BC$ . La línea que pasa por $D$ perpendicular a $BC$ interseca las líneas $AO, AC,$ y $AB$ en $W, X,$ e $Y,$ respectivamente. Las circunferencias circunscritas de los triángulos $AXY$ y $ABC$ se intersecan nuevamente en $Z \ne A$ . Demuestre que si $W \ne D$ y $OW = OD,$ entonces $DZ$ es tangente al círculo $AXY.$