Q3 Matemática  (Benelux 2021)

Um quadrilátero cíclico $ABXC$ tem o circuncentro $O$. Seja $D$ um ponto na linha $BX$ tal que $AD=BD$. Seja $E$ um ponto na linha $CX$ tal que $AE=CE$. Prove que o circuncentro do triângulo $△DEX$ está na mediatriz de $OA$.