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$ intersecta las líneas $AO, AC,$ y $AB$ en $W, X,$ e $Y,$ respectivamente. Los circuncírculos de los triángulos $AXY$ y $ABC$ se intersectan de nuevo en $Z \ne A$. Demuestre que si $W \ne D$ y $OW = OD,$ entonces $DZ$ es tangente al círculo $AXY$.