Y by
Let
be an acute triangle with circumcenter
and orthocenter
. Suppose that
. Let
be an arbitrary point on line segment
. Let
and
be points on
and
respectively such that
. Prove that the circumcenter of
lies on the perpendicular bisector of
.












