Problem

Source: RMO 2024/5

Tags: geometry, cyclic quadrilateral



Let $ABCD$ be a cyclic quadrilateral such that $AB \parallel CD$. Let $O$ be the circumcenter of $ABCD$ and $L$ be the point on $AD$ such that $OL$ is perpendicular to $AD$. Prove that \[ OB\cdot(AB+CD) = OL\cdot(AC + BD).\]Proposed by Rijul Saini