Y by Adventure10
Let
be a triangle. Let
be the circumcenter of triangle
and
a variable point in line segment
. The circle with center
and radius
intersects the circumcircle of triangle
again at another point
and
intersects the circumcircle of triangle
again at another point
. Show that points
,
,
and
are concyclic.















