The points $A, B, C, D$ lie in this order on a circle with center $O$. Furthermore, the straight lines $AC$ and $BD$ should be perpendicular to each other. The base of the perpendicular from $O$ on $AB$ is $F$. Prove $CD = 2 OF$. (Karl Czakler)
Problem
Source: 2022 Austrian Federal Competition For Advanced Students, Part 1 p2
Tags: geometry, cyclic quadrilateral, equal segments