Y by Adventure10, Mango247
Let
be a cyclic quadrilateral with circumcenter
. Let
bisect
perpendicularly. On diagonal
, choose the point
such that
. Let line
intersect line
and the circumcircle of
at
and
respectively. Prove that
is the geometric mean of
and
in length.














