Let $ABCD$ be a cyclic quadrilateral with perpendicular diagonals and circumcenter $O$. Let $g$ be the line obtained by reflection of the diagonal $AC$ along the angle bisector of $\angle BAD$. Prove that the point $O$ lies on the line $g$. Proposed by Theresia Eisenkölbl
Problem
Source: Austrian Mathematics Olympiad Regional Competition (Qualifying Round) 2017, Problem 2
Tags: geometry