Sea $ABC$ un triángulo tal que $\angle A=90^{\circ }$ y $\angle B<\angle C$ . La tangente en $A$ a la circunferencia circunscrita $\omega$ del triángulo $ABC$ se encuentra con la línea $BC$ en $D$ . Sea $E$ la reflexión de $A$ en la línea $BC$ , sea $X$ el pie de la perpendicular de $A$ a $BE$ , y sea $Y$ el punto medio del segmento $AX$ . Sea la línea $BY$ intersectar el círculo $\omega$ de nuevo en $Z$ . Demuestra que la línea $BD$ es tangente a la circunferencia circunscrita del triángulo $ADZ$ .