Incenter-Related Configurations -Part (I)
by AlastorMoody, Nov 16, 2019, 7:15 AM
Let's Start-off from Really Basic Lemmas, 'coz this configuration is very interesting!!! Here we have the Incenter-Excenter Lemma:
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(14cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -13.75752348035464, xmax = 22.325110003851645, ymin = -13.947881129874407, ymax = 7.4946674570515395; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.707289180217655,5.5722320664995575), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.191667223392514,-2.82733179375833), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7514265382110312,-2.975211439185406), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.317220513203151,0.04153332752693427), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21174795923457712,-12.321205030176577), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/5/4/8/548e0fe920378aeb8800468956eff1af9f884022.png)
is the Incenter and
is the
Excenter. We can observe,
is cyclic and
are collinear. Let
be midpoint of arc
not containing
and
be midpoint of arc
. We get some more Trivial Results:
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(14cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -13.75752348035465, xmax = 22.325110003851638, ymin = -13.947881129874407, ymax = 7.4946674570515395; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.707289180217664,5.5722320664995575), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.191667223392523,-2.82733179375833), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.751426538211023,-2.975211439185406), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.3172205132031594,0.04153332752693427), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21174795923458553,-12.321205030176577), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.7496962716761648,-6.139835851324822), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.60181662624909,6.34120622272035), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/d/7/8/d78cca4d321d688798ef61e95b180a511a4b2b0e.png)
Just to mention:
is the center of
,
is the antipode of
in
and Lastly,
,
are tangent to
at
. Cool!! I assume, these results are trivial and hence not proven here.
Now, that Tangency we received looks cool! How about invoking a Harmonic Quadrilateral?
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(17cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.107588967859602, xmax = 18.975044516346685, ymin = -13.77900257479671, ymax = 7.6635460121292684; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.685698751985307,5.593230976150208), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.199652724245581,-2.835908813193107), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7730169664433797,-2.983788458620183), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.2956300849708025,0.03295630809216165), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21973346008764366,-12.329782049611367), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.757681772529223,-6.148412870759603), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.609802127102148,6.362205132371002), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.744850610156137,-5.349862785453394), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.1940711353414715,-10.703105949913535), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.386603492001424,-2.7471810259368614), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/5/c/4/5c474d72c4df35b89c7b6f357d723fb1fedbfe63.png)
Let
,
respectively. It's a Well-Known Lemma in the Mixtilinear Configuration that,
is the
Mixtilinear Point. Also, Using the Antipode fact,
is midpoint of
. It follows from La-Hire's Theorem,
which is the intersection of tangents at
to
, lies on
. Details
are collinear. Anyway, one can use harmonic quadrilateral instead of La-Hire's Theorem. Let's make things interesting!!
We'll merge two different configurations in a big picture now. Add the Incircle in the diagram.
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(18cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.107588967859602, xmax = 18.975044516346685, ymin = -13.779002574796706, ymax = 7.6635460121292684; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.685698751985307,5.593230976150209), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.199652724245581,-2.835908813193105), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7730169664433797,-2.9837884586201806), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.2956300849708025,0.03295630809216332), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21973346008764366,-12.329782049611364), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.757681772529223,-6.148412870759601), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.609802127102148,6.3622051323710025), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.744850610156137,-5.349862785453392), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.1940711353414715,-10.703105949913532), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.386603492001424,-2.7471810259368596), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.3547819431416324,-2.895060671363935), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2253150489917533,2.073695414985808), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.105343348085226,0.8610823224837871), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/2/a/d/2ad1800ef07cf1823b6a717e31d04c1a682ed4c4.png)
As usual, Let
be the
Intouch Points. Let
denote Inversion around
. Let
. Clearly,
lies on
where
is
antipode in
. Radical Axes Theorem on
,
and
.
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(18cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.107588967859602, xmax = 18.975044516346685, ymin = -13.77900257479671, ymax = 7.6635460121292684; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
draw(circle((-4.119272941740566,2.5090108813530825), 2.8599073426364945), linewidth(0.4));
draw((-6.755455378061811,3.6178896713466084)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw((-14.51837862789293,-3.03804990803786)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + ttffqq);
draw((-6.755455378061811,3.6178896713466084)--(1.209544047603321,-5.67180992537143), linewidth(0.4) + dtsfsf);
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.685698751985307,5.593230976150208), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.199652724245581,-2.835908813193107), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7730169664433797,-2.983788458620183), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.2956300849708025,0.03295630809216165), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21973346008764366,-12.329782049611367), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.757681772529223,-6.148412870759603), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.609802127102148,6.362205132371002), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.744850610156137,-5.349862785453394), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.1940711353414715,-10.703105949913535), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.386603492001424,-2.7471810259368614), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.3547819431416324,-2.8950606713639373), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2253150489917533,2.0736954149858065), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.105343348085226,0.8610823224837856), NE * labelscalefactor);
dot((-6.755455378061811,3.6178896713466084),dotstyle);
label("$L$", (-6.637710071622696,3.907403018281545), NE * labelscalefactor);
dot((1.209544047603321,-5.67180992537143),dotstyle);
label("$A'$", (1.3182148523539357,-5.379438714538809), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/9/1/f/91ffb06bdb95357469544bfad51555cd8f3d73e6.png)
Observe,
. Also By Shooting Lemma,
. Let
(For now). So Notice,
cyclic (or)
collinear. Another way to notice this is using angle chasing.
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(20cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.069946876296346, xmax = 19.012686607909938, ymin = -13.319231313559806, ymax = 8.123317273366181; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
draw(circle((-4.119272941740566,2.5090108813530825), 2.8599073426364945), linewidth(0.4));
draw((-6.755455378061811,3.6178896713466084)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw((-14.51837862789293,-3.03804990803786)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + ttffqq);
draw((-6.755455378061811,3.6178896713466084)--(1.209544047603321,-5.67180992537143), linewidth(0.4) + dtsfsf);
draw(circle((-3.409081408517464,1.0428395792587513), 4.2224520981067), linewidth(0.4) + ubqqys);
draw((-6.755455378061811,3.6178896713466084)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + ubqqys);
draw(circle((-8.97208648572443,-1.6517971930379418), 5.716909402476542), linewidth(0.4) + linetype("4 4"));
draw(circle((-9.665565083909069,1.122758166353172), 6.392348795598595), linewidth(0.4) + linetype("4 4"));
draw((-4.8127515399252045,5.283566240744204)--(-4.92061560412313,-3.160649070750248), linewidth(0.4));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.707208518592882,5.579787372020479), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.191586561767741,-2.819776488237425), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7515071998358045,-2.967656133664501), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.3171398515783777,0.019512703962429642), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21166729760980382,-12.31364972465569), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.7496156100513833,-6.161856474889338), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.6017359646243083,6.348761528241273), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.766360376763712,-5.333730460497714), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.215580901949046,-10.716549554043272), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.408113258608997,-2.7310487009811797), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.3467157806637924,-2.8789283464082556), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2468248155993285,2.0898277399414904), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.097277185607386,0.847638718354054), NE * labelscalefactor);
dot((-6.755455378061811,3.6178896713466084),dotstyle);
label("$L$", (-6.629643909144856,3.92353534323723), NE * labelscalefactor);
dot((1.209544047603321,-5.67180992537143),dotstyle);
label("$A'$", (1.3262810148317756,-5.363306389583129), NE * labelscalefactor);
dot((-3.3551493764184945,5.2649472350059785),dotstyle);
label("$G$", (-3.2284120643221326,5.550211442935064), NE * labelscalefactor);
dot((-4.92061560412313,-3.160649070750248),dotstyle);
label("$H_A$", (-4.795936305849127,-2.8789283464082556), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/d/0/2/d029d9a16544ee445ba7366b83d8b8fbf2341469.png)
So suppose, someone hates inversion. So, here's a way to do using angle chasing. Let
be foot from
to
. Easy to observe,
and
is cyclic. Our goal should be to prove,
tangent to
.
Hence, We must have,
. By Converse of Reim's Theorem, If
lies on
. Further angle chasing, should imply
tangent to
.
Which implies,
is also tangen to
at
.
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(21cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -20.310021989506694, xmax = 16.515608576902242, ymin = -13.697015176967454, ymax = 8.18706856126748; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
draw(circle((-4.119272941740566,2.5090108813530825), 2.8599073426364945), linewidth(0.4));
draw((-6.755455378061811,3.6178896713466084)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw((-14.51837862789293,-3.03804990803786)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + ttffqq);
draw((-6.755455378061811,3.6178896713466084)--(1.209544047603321,-5.67180992537143), linewidth(0.4) + dtsfsf);
draw(circle((-3.409081408517464,1.0428395792587513), 4.2224520981067), linewidth(0.4) + ubqqys);
draw((-6.755455378061811,3.6178896713466084)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + ubqqys);
draw(circle((-8.97208648572443,-1.6517971930379418), 5.716909402476542), linewidth(0.4) + linetype("4 4"));
draw(circle((-9.665565083909069,1.122758166353172), 6.392348795598595), linewidth(0.4) + linetype("4 4"));
draw((-4.8127515399252045,5.283566240744204)--(-4.92061560412313,-3.160649070750248), linewidth(0.4));
draw((-3.3551493764184945,5.2649472350059785)--(-3.4630134406164252,-3.1792680764884764), linewidth(0.4));
draw((-4.883396507062627,-0.2469254722998166)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4));
draw(circle((-8.199910707029291,-4.741214012502913), 6.5439899781189395), linewidth(0.4) + linetype("4 4"));
draw((-6.218395061190416,0.5666524344894496)--(-1.3531342778462379,1.7826866420666359), linewidth(0.4) + ttffqq);
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.704406413413728,5.591163455766509), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.209756689653024,-2.8304356655680385), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7473776510079952,-2.9813603810041416), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.3158990314015875,0.03713392771791844), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.20684989341788235,-12.308507794955307), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.7462819908661247,-6.150779405162305), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.5953572754300225,6.345787032947024), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.764776299588169,-5.335785941807348), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.21365356777475,-10.708705811332615), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.393773144411488,-2.739880836306377), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.346083974488808,-2.89080555174248), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2331379583833773,2.089710057648919), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.092913795425868,0.8823123341600952), NE * labelscalefactor);
dot((-6.755455378061811,3.6178896713466084),dotstyle);
label("$L$", (-6.636242770995835,3.930991585969376), NE * labelscalefactor);
dot((1.209544047603321,-5.67180992537143),dotstyle);
label("$A'$", (1.33258220403036,-5.365970884894569), NE * labelscalefactor);
dot((-3.3551493764184945,5.2649472350059785),dotstyle);
label("$G$", (-3.2253442021399263,5.560978512679289), NE * labelscalefactor);
dot((-4.92061560412313,-3.160649070750248),dotstyle);
label("$H_A$", (-4.794961242675389,-2.8606206086552595), NE * labelscalefactor);
dot((-4.883396507062627,-0.2469254722998166),dotstyle);
label("$G'$", (-4.764776299588169,0.06731887080513904), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/8/f/9/8f96d9927154ac2e46db7156edb47cdb4624cc60.png)
'K, good! How about merging another configuration in this big picture? Also lemme' think about some lemmas I left out in these two configuration. Just to mention:
is the miquel point of
Oops, looks like I am about to run outta post limit, so I'll continue this in Part (II) over here
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(14cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -13.75752348035464, xmax = 22.325110003851645, ymin = -13.947881129874407, ymax = 7.4946674570515395; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.707289180217655,5.5722320664995575), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.191667223392514,-2.82733179375833), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7514265382110312,-2.975211439185406), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.317220513203151,0.04153332752693427), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21174795923457712,-12.321205030176577), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/5/4/8/548e0fe920378aeb8800468956eff1af9f884022.png)










![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(14cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -13.75752348035465, xmax = 22.325110003851638, ymin = -13.947881129874407, ymax = 7.4946674570515395; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.707289180217664,5.5722320664995575), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.191667223392523,-2.82733179375833), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.751426538211023,-2.975211439185406), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.3172205132031594,0.04153332752693427), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21174795923458553,-12.321205030176577), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.7496962716761648,-6.139835851324822), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.60181662624909,6.34120622272035), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/d/7/8/d78cca4d321d688798ef61e95b180a511a4b2b0e.png)
Just to mention:













Now, that Tangency we received looks cool! How about invoking a Harmonic Quadrilateral?
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(17cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.107588967859602, xmax = 18.975044516346685, ymin = -13.77900257479671, ymax = 7.6635460121292684; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.685698751985307,5.593230976150208), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.199652724245581,-2.835908813193107), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7730169664433797,-2.983788458620183), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.2956300849708025,0.03295630809216165), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21973346008764366,-12.329782049611367), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.757681772529223,-6.148412870759603), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.609802127102148,6.362205132371002), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.744850610156137,-5.349862785453394), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.1940711353414715,-10.703105949913535), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.386603492001424,-2.7471810259368614), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/5/c/4/5c474d72c4df35b89c7b6f357d723fb1fedbfe63.png)
Let



















Notice,
is the polar of
WRT
, Hence,
lies on Polar of
WRT
, which is 
Lastly, Also note 









![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(18cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.107588967859602, xmax = 18.975044516346685, ymin = -13.779002574796706, ymax = 7.6635460121292684; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.685698751985307,5.593230976150209), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.199652724245581,-2.835908813193105), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7730169664433797,-2.9837884586201806), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.2956300849708025,0.03295630809216332), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21973346008764366,-12.329782049611364), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.757681772529223,-6.148412870759601), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.609802127102148,6.3622051323710025), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.744850610156137,-5.349862785453392), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.1940711353414715,-10.703105949913532), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.386603492001424,-2.7471810259368596), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.3547819431416324,-2.895060671363935), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2253150489917533,2.073695414985808), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.105343348085226,0.8610823224837871), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/2/a/d/2ad1800ef07cf1823b6a717e31d04c1a682ed4c4.png)
As usual, Let





















![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(18cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.107588967859602, xmax = 18.975044516346685, ymin = -13.77900257479671, ymax = 7.6635460121292684; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
draw(circle((-4.119272941740566,2.5090108813530825), 2.8599073426364945), linewidth(0.4));
draw((-6.755455378061811,3.6178896713466084)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw((-14.51837862789293,-3.03804990803786)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + ttffqq);
draw((-6.755455378061811,3.6178896713466084)--(1.209544047603321,-5.67180992537143), linewidth(0.4) + dtsfsf);
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.685698751985307,5.593230976150208), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.199652724245581,-2.835908813193107), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7730169664433797,-2.983788458620183), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.2956300849708025,0.03295630809216165), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21973346008764366,-12.329782049611367), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.757681772529223,-6.148412870759603), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.609802127102148,6.362205132371002), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.744850610156137,-5.349862785453394), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.1940711353414715,-10.703105949913535), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.386603492001424,-2.7471810259368614), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.3547819431416324,-2.8950606713639373), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2253150489917533,2.0736954149858065), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.105343348085226,0.8610823224837856), NE * labelscalefactor);
dot((-6.755455378061811,3.6178896713466084),dotstyle);
label("$L$", (-6.637710071622696,3.907403018281545), NE * labelscalefactor);
dot((1.209544047603321,-5.67180992537143),dotstyle);
label("$A'$", (1.3182148523539357,-5.379438714538809), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/9/1/f/91ffb06bdb95357469544bfad51555cd8f3d73e6.png)
Observe,













![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(20cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -17.069946876296346, xmax = 19.012686607909938, ymin = -13.319231313559806, ymax = 8.123317273366181; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
draw(circle((-4.119272941740566,2.5090108813530825), 2.8599073426364945), linewidth(0.4));
draw((-6.755455378061811,3.6178896713466084)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw((-14.51837862789293,-3.03804990803786)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + ttffqq);
draw((-6.755455378061811,3.6178896713466084)--(1.209544047603321,-5.67180992537143), linewidth(0.4) + dtsfsf);
draw(circle((-3.409081408517464,1.0428395792587513), 4.2224520981067), linewidth(0.4) + ubqqys);
draw((-6.755455378061811,3.6178896713466084)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + ubqqys);
draw(circle((-8.97208648572443,-1.6517971930379418), 5.716909402476542), linewidth(0.4) + linetype("4 4"));
draw(circle((-9.665565083909069,1.122758166353172), 6.392348795598595), linewidth(0.4) + linetype("4 4"));
draw((-4.8127515399252045,5.283566240744204)--(-4.92061560412313,-3.160649070750248), linewidth(0.4));
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.707208518592882,5.579787372020479), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.191586561767741,-2.819776488237425), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7515071998358045,-2.967656133664501), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.3171398515783777,0.019512703962429642), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.21166729760980382,-12.31364972465569), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.7496156100513833,-6.161856474889338), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.6017359646243083,6.348761528241273), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.766360376763712,-5.333730460497714), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.215580901949046,-10.716549554043272), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.408113258608997,-2.7310487009811797), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.3467157806637924,-2.8789283464082556), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2468248155993285,2.0898277399414904), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.097277185607386,0.847638718354054), NE * labelscalefactor);
dot((-6.755455378061811,3.6178896713466084),dotstyle);
label("$L$", (-6.629643909144856,3.92353534323723), NE * labelscalefactor);
dot((1.209544047603321,-5.67180992537143),dotstyle);
label("$A'$", (1.3262810148317756,-5.363306389583129), NE * labelscalefactor);
dot((-3.3551493764184945,5.2649472350059785),dotstyle);
label("$G$", (-3.2284120643221326,5.550211442935064), NE * labelscalefactor);
dot((-4.92061560412313,-3.160649070750248),dotstyle);
label("$H_A$", (-4.795936305849127,-2.8789283464082556), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/d/0/2/d029d9a16544ee445ba7366b83d8b8fbf2341469.png)
So suppose, someone hates inversion. So, here's a way to do using angle chasing. Let



















Which implies,



![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(21cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -20.310021989506694, xmax = 16.515608576902242, ymin = -13.697015176967454, ymax = 8.18706856126748; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274); pen qqqqcc = rgb(0,0,0.8);
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13)--(3.64,-3.27)--cycle, linewidth(2) + rvwvcq);
/* draw figures */
draw((-4.8127515399252045,5.283566240744204)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-7.32,-3.13)--(3.64,-3.27), linewidth(0.4) + rvwvcq);
draw((3.64,-3.27)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + rvwvcq);
draw(circle((-1.8016037461609404,-0.1941218423136115), 6.250766174731304), linewidth(0.4));
draw(circle((-1.8814427861656493,-6.444378116967962), 6.368909394110248), linewidth(0.4) + linetype("4 4"));
draw((-3.425794343555926,-0.26554447803803993)--(-7.32,-3.13), linewidth(0.4) + ttffqq);
draw((-7.32,-3.13)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4) + ttffqq);
draw((-0.33709122877537645,-12.623211755897882)--(3.64,-3.27), linewidth(0.4) + ttffqq);
draw((3.64,-3.27)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-4.8127515399252045,5.283566240744204)--(-0.33709122877537645,-12.623211755897882), linewidth(0.4));
draw((-7.32,-3.13)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(3.64,-3.27), linewidth(0.4) + dtsfsf);
draw((-1.7217647061562313,6.056134432340744)--(-1.88144278616565,-6.444378116967967), linewidth(0.4));
draw((-1.7217647061562313,6.056134432340744)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-7.32,-3.13)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ubqqys);
draw((-6.321988149529278,-11.009962827199013)--(3.64,-3.27), linewidth(0.4) + ubqqys);
draw((-14.51837862789293,-3.03804990803786)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-6.321988149529278,-11.009962827199013), linewidth(0.4) + ttffqq);
draw((-14.51837862789293,-3.03804990803786)--(-7.32,-3.13), linewidth(0.4) + rvwvcq);
draw((-14.51837862789293,-3.03804990803786)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw(circle((-3.425794343555926,-0.26554447803803993), 2.913961301965583), linewidth(0.4) + qqqqcc);
draw(circle((-4.119272941740566,2.5090108813530825), 2.8599073426364945), linewidth(0.4));
draw((-6.755455378061811,3.6178896713466084)--(-1.88144278616565,-6.444378116967967), linewidth(0.4) + linetype("4 4"));
draw((-14.51837862789293,-3.03804990803786)--(-4.8127515399252045,5.283566240744204), linewidth(0.4) + ttffqq);
draw((-6.755455378061811,3.6178896713466084)--(1.209544047603321,-5.67180992537143), linewidth(0.4) + dtsfsf);
draw(circle((-3.409081408517464,1.0428395792587513), 4.2224520981067), linewidth(0.4) + ubqqys);
draw((-6.755455378061811,3.6178896713466084)--(-1.7217647061562313,6.056134432340744), linewidth(0.4) + ubqqys);
draw(circle((-8.97208648572443,-1.6517971930379418), 5.716909402476542), linewidth(0.4) + linetype("4 4"));
draw(circle((-9.665565083909069,1.122758166353172), 6.392348795598595), linewidth(0.4) + linetype("4 4"));
draw((-4.8127515399252045,5.283566240744204)--(-4.92061560412313,-3.160649070750248), linewidth(0.4));
draw((-3.3551493764184945,5.2649472350059785)--(-3.4630134406164252,-3.1792680764884764), linewidth(0.4));
draw((-4.883396507062627,-0.2469254722998166)--(-3.425794343555926,-0.26554447803803993), linewidth(0.4));
draw(circle((-8.199910707029291,-4.741214012502913), 6.5439899781189395), linewidth(0.4) + linetype("4 4"));
draw((-6.218395061190416,0.5666524344894496)--(-1.3531342778462379,1.7826866420666359), linewidth(0.4) + ttffqq);
/* dots and labels */
dot((-4.8127515399252045,5.283566240744204),dotstyle);
label("$A$", (-4.704406413413728,5.591163455766509), NE * labelscalefactor);
dot((-7.32,-3.13),dotstyle);
label("$B$", (-7.209756689653024,-2.8304356655680385), NE * labelscalefactor);
dot((3.64,-3.27),dotstyle);
label("$C$", (3.7473776510079952,-2.9813603810041416), NE * labelscalefactor);
dot((-3.425794343555926,-0.26554447803803993),dotstyle);
label("$I$", (-3.3158990314015875,0.03713392771791844), NE * labelscalefactor);
dot((-0.33709122877537645,-12.623211755897882),dotstyle);
label("$I_A$", (-0.20684989341788235,-12.308507794955307), NE * labelscalefactor);
dot((-1.88144278616565,-6.444378116967967),dotstyle);
label("$M_A$", (-1.7462819908661247,-6.150779405162305), NE * labelscalefactor);
dot((-1.7217647061562313,6.056134432340744),dotstyle);
label("$M_{BC}$", (-1.5953572754300225,6.345787032947024), NE * labelscalefactor);
dot((-4.873891246542604,-5.637753652618531),dotstyle);
label("$T$", (-4.764776299588169,-5.335785941807348), NE * labelscalefactor);
dot((-6.321988149529278,-11.009962827199013),dotstyle);
label("$J$", (-6.21365356777475,-10.708705811332615), NE * labelscalefactor);
dot((-14.51837862789293,-3.03804990803786),dotstyle);
label("$K$", (-14.393773144411488,-2.739880836306377), NE * labelscalefactor);
dot((-3.4630134406164252,-3.1792680764884764),dotstyle);
label("$D$", (-3.346083974488808,-2.89080555174248), NE * labelscalefactor);
dot((-1.3531342778462379,1.7826866420666359),dotstyle);
label("$E$", (-1.2331379583833773,2.089710057648919), NE * labelscalefactor);
dot((-6.218395061190416,0.5666524344894496),dotstyle);
label("$F$", (-6.092913795425868,0.8823123341600952), NE * labelscalefactor);
dot((-6.755455378061811,3.6178896713466084),dotstyle);
label("$L$", (-6.636242770995835,3.930991585969376), NE * labelscalefactor);
dot((1.209544047603321,-5.67180992537143),dotstyle);
label("$A'$", (1.33258220403036,-5.365970884894569), NE * labelscalefactor);
dot((-3.3551493764184945,5.2649472350059785),dotstyle);
label("$G$", (-3.2253442021399263,5.560978512679289), NE * labelscalefactor);
dot((-4.92061560412313,-3.160649070750248),dotstyle);
label("$H_A$", (-4.794961242675389,-2.8606206086552595), NE * labelscalefactor);
dot((-4.883396507062627,-0.2469254722998166),dotstyle);
label("$G'$", (-4.764776299588169,0.06731887080513904), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/8/f/9/8f96d9927154ac2e46db7156edb47cdb4624cc60.png)
'K, good! How about merging another configuration in this big picture? Also lemme' think about some lemmas I left out in these two configuration. Just to mention:


Oops, looks like I am about to run outta post limit, so I'll continue this in Part (II) over here
This post has been edited 6 times. Last edited by AlastorMoody, Nov 17, 2019, 10:42 AM