Un cuadrilátero cíclico $ABXC$ tiene circuncentro $O$ . Sea $D$ un punto en la línea $BX$ tal que $AD = BD$ . Sea $E$ un punto en la línea $CX$ tal que $AE = CE$ . Demuestra que el circuncentro del triángulo $\triangle DEX$ se encuentra en la bisectriz perpendicular de $OA$ .