Sea $ABC$ un triángulo acutángulo con $AC > AB$, sea $O$ su circumcentro, y sea $D$ un punto en el segmento $BC$. La línea a través de $D$ perpendicular a $BC$ interseca las líneas $AO$, $AC$ y $AB$ en $W$, $X$ y $Y$, respectivamente. Los circuncírculos de los triángulos $AXY$ y $ABC$ se intersecan nuevamente en $Z\neq A$. Demuestra que si $OW = OD$, entonces $DZ$ es tangente al círculo $AXY$.