Y by Adventure10, Mango247
Let
be the intersection of lines
and
. Let
and
be two
circles externally tangent at
and both tangent to
, and let 
and
be two circles externally tangent at
and both tangent to
.
Let
be the second intersection of
and
that of
and
that of
and
, and
that of
and
. Show that the points
are concyclic if and only if
and
are perpendicular.





circles externally tangent at



and



Let












