Problem

Source: 2014 Thailand October Camp Geometry Exam p1

Tags: geometry, circumcircle, bisects segment, right angle



Let $O$ be the circumcenter of an acute $\vartriangle ABC$ which has altitude $AD$. Let $AO$ intersect the circumcircle of $\vartriangle BOC$ again at $X$. If $E$ and $F$ are points on lines $AB$ and $AC$ such that $\angle XEA = \angle XFA = 90^o$ , then prove that the line $DX$ bisects the segment $EF$.