cyclic ABCD wanted, perpendicular diagonals given
Source: Czech-Polish-Slovak Match Junior 2019, team p3 CPSJ
January 20, 2020
geometrycircumcirclecyclic quadrilateral
Problem Statement
Let be a convex quadrilateral with perpendicular diagonals, such that , , , . Show that is cyclic and find the distance between its circumcenter and the intersection point of its diagonals.