Y by bcp123, megarnie, Adventure10, Mango247
In
,
.
and
are the feet of the internal and external angle bisectors of
, respectively.
is the midpoint of segment
, and
is the circumcircle of
. Suppose
is on the minor arc
of
such that
is tangent to
.
meets
again at
, and the line through
perpendicular to
meets
at
. Prove
is tangent to the circumcircle of
.
Proposed by Ray Li























Proposed by Ray Li