Y by MENELAUSS
Triangle
has circumcircle
and incircle
, where
is tangent to
at
, respectively.
is an arbitrary point on
.
meets
at
,
meets
again at
,
meets
again at
.
is a point on
such that
are colinear. Let
be the intersection of
and
, prove that
is tangent to
.
Proposed by chengbilly

























Proposed by chengbilly