Let $ABCD$ be a convex quadrilateral with perpendicular diagonals, such that $\angle BAC = \angle ADB$, $\angle CBD = \angle DCA$, $AB = 15$, $CD = 8$. Show that $ABCD$ is cyclic and find the distance between its circumcenter and the intersection point of its diagonals.
Problem
Source: Czech-Polish-Slovak Match Junior 2019, team p3 CPSJ
Tags: geometry, circumcircle, cyclic quadrilateral