Problem

Source:

Tags: geometry, circumcircle, Asymptote, perpendicular bisector



Let $ABC$ be a triangle with $\angle ABC $ as the largest angle. Let $R$ be its circumcenter. Let the circumcircle of triangle $ARB$ cut $AC$ again at $X$. Prove that $RX$ is perpendicular to $BC$.