Y by
Let
be a triangle with
-mixtilinear incircle
, and let the tangents from
and
to
different from
and
meet the circumcircle again at
and
, and let
and
meet
again at
and
. Show that the
-excircle of
is tangent to the circumcircle.
















