Problem

Source:

Tags: geometry, circumcircle, Asymptote, incenter, perpendicular bisector, angle bisector



Let $ABC$ be a triangle and let $X$ be on $BC$ such that $AX=AB$. let $AX$ meet circumcircle $\omega$ of triangle $ABC$ again at $D$. prove that circumcentre of triangle $BDX$ lies on $\omega$.