Problem

Source: Sharygin 2005 Finals 9.1

Tags: cyclic quadrilateral, equal angles, perpendicular, diagonals, geometry



The quadrangle $ABCD$ is inscribed in a circle whose center $O$ lies inside it. Prove that if $\angle BAO = \angle DAC$, then the diagonals of the quadrilateral are perpendicular.