Y by Adventure10, Mango247
Let
be a circumcenter of acute triangle
and let
and
be circumcenters of triangles
and
, respectively. Circumcircles of triangles
and
intersect side
in points
(
) and
(
), respectively. Perpendicular bisector of side
intersects side
in point
(
). Prove that circumcenter of triangle
lies on
iff
lies on line 




















