Y by Ankoganit, Tumon2001, Adventure10, Mango247
Consider an acute-angled
. Let its incircle be tangent to
at
, while the
mixtilinear incircle be tangent to
at
. Let the tangent to
at
intersect
at
. Prove that
is a cyclic quadrilateral.










