Problem

Source: Czech-Polish-Slovak Match Junior 2019, team p3 CPSJ

Tags: geometry, circumcircle, cyclic quadrilateral



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.