En un triángulo acutángulo $\triangle ABC, \angle A > \angle B$ . Sea el punto medio de $AB$ como $D$ , y sea el pie de la perpendicular de $A$ a $BC$ como $E$ , y $B$ desde $CA$ como $F$ . Sea el circuncentro de $\triangle DEF$ como $O$ . Un punto $J$ en el segmento $BE$ satisface $\angle ODC = \angle EAJ$ . Pruebe que $AJ \cap DC$ se encuentra en la circunferencia circunscrita de $\triangle BDE$ .