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.
Problem
Source: Sharygin 2005 Finals 9.1
Tags: cyclic quadrilateral, equal angles, perpendicular, diagonals, geometry