Y by
Let
be an acute triangle with
and
. The perpendicular bisector of
intersects the circumscribed circle of
at points
and
, with
in the same half plane as
wrt
. Let
be the symmetric of
wrt line
. Let
be the intersection point of the lines
and
. Prove that the circumcenter of triangle
lies on line
.

















