Incenter-Related Configurations -Part (VI)
by AlastorMoody, Nov 19, 2019, 9:52 AM
Here's the link to Part (V). Now, Let's take a look at the below diagram!
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(15cm);
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 = -22.781863434478517, xmax = 10.798848194270466, ymin = -9.038432588976118, ymax = 10.036512623091987; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen qqqqcc = rgb(0,0,0.8); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274);
draw((-2.3833838000602188,7.634178367214)--(-6.24,-3.97)--(7.32,-3.93)--cycle, linewidth(0.4) + rvwvcq);
/* draw figures */
draw((-2.3833838000602188,7.634178367214)--(-6.24,-3.97), linewidth(0.4) + rvwvcq);
draw((-6.24,-3.97)--(7.32,-3.93), linewidth(0.4) + rvwvcq);
draw((7.32,-3.93)--(-2.3833838000602188,7.634178367214), linewidth(0.4) + rvwvcq);
draw(circle((0.5276880979739716,0.22373478682363146), 7.961721776957119), linewidth(0.4));
draw((-4.5538811657489,1.1033655325293221)--(2.0402804374723105,2.362198681202362), linewidth(0.4) + ttffqq);
draw((-0.893806415611854,-3.9542295174501834)--(2.0402804374723105,2.362198681202362), linewidth(0.4) + ttffqq);
draw((-0.893806415611854,-3.9542295174501834)--(-4.5538811657489,1.1033655325293221), linewidth(0.4) + ttffqq);
draw(circle((-0.9051484478953363,-0.10928057334941683), 3.844965672725561), linewidth(0.4) + qqqqcc);
draw((-2.310996558686184,3.4694555322923124)--(-0.893806415611854,-3.9542295174501834), linewidth(0.4));
draw((-3.986231755908378,2.811366707739868)--(7.32,-3.93), linewidth(0.4) + red);
draw((-6.24,-3.97)--(0.26280803581714984,4.480532689119575), linewidth(0.4) + red);
draw(circle((-1.6442661239777778,3.7624488969322916), 3.9416473751650316), linewidth(0.4));
draw((-21.36248018711416,-4.014609086097727)--(-6.24,-3.97), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(-0.9051484478953369,-0.10928057334941663), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(0.26280803581714984,4.480532689119575), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(-2.3833838000602188,7.634178367214), linewidth(0.4) + ubqqys);
draw(circle((0.5511739007385885,-7.7379523503817556), 7.766434694557108), linewidth(0.4));
/* dots and labels */
dot((-2.3833838000602188,7.634178367214),dotstyle);
label("$A$", (-2.2756092021686842,7.91707426619553), NE * labelscalefactor);
dot((-6.24,-3.97),dotstyle);
label("$B$", (-6.129133487434961,-3.6985489365356963), NE * labelscalefactor);
dot((7.32,-3.93),dotstyle);
label("$C$", (7.440777031395571,-3.643498589603321), NE * labelscalefactor);
dot((-0.9051484478953369,-0.10928057334941663),dotstyle);
label("$I$", (-0.7892498349945487,0.15497534873058744), NE * labelscalefactor);
dot((-0.893806415611854,-3.9542295174501834),dotstyle);
label("$D$", (-0.7892498349945487,-3.6710237630695084), NE * labelscalefactor);
dot((2.0402804374723105,2.362198681202362),dotstyle);
label("$E$", (2.1559437258875342,2.632240960687484), NE * labelscalefactor);
dot((-4.5538811657489,1.1033655325293221),dotstyle);
label("$F$", (-4.450097905997512,1.366082981242848), NE * labelscalefactor);
dot((-1.9540534033919768,1.5996756876363232),dotstyle);
label("$P$", (-1.835206426709681,1.8615361036342273), NE * labelscalefactor);
dot((-2.310996558686184,3.4694555322923124),dotstyle);
label("$Q$", (-2.193033681770121,3.7332478993349936), NE * labelscalefactor);
dot((-3.986231755908378,2.811366707739868),dotstyle);
label("$X$", (-3.87206926320757,3.100168909612676), NE * labelscalefactor);
dot((0.26280803581714984,4.480532689119575),dotstyle);
label("$Y$", (0.3668074505853344,4.75167931758394), NE * labelscalefactor);
dot((-4.761848155218107,6.174349870984253),dotstyle);
label("$K$", (-4.6427741202608255,6.45824007248758), NE * labelscalefactor);
dot((-21.36248018711416,-4.014609086097727),dotstyle);
label("$L$", (-21.240453720372003,-3.726074110001884), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/2/0/b/20b279dbff9e291376f741566ea4317e0676f532.png)
Everything looks familiar except, those
. Define:
.
Projecting this through
onto
is tangent to
. Similarly, we can show for
and conclude,
is tangent to
at
[Credits, to Wizard_32 for this approach]
Hence,
is cyclic. Cool! Redefine:
and
. By Radical Axes,
. Notice
is the Miquel Point of
are collinear and
. But we already know,
&
concur on
. Hence,
is cyclic.
Aryan-23's quickie approach
To solve the above problem, If
, then we only need to show,
and we're done! But this easily follows from the fact that
is the diameter of
and if
, then
A bit unrelated though
is a triangle with incentre
. The feet of the altitudes from
to
,
,
are
,
,
respectively, and the line through
parallel to
intersects
and
at
and
respectively. Prove that the circles with diameters
and
have a common point on the circumcircle of
Add 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 = -24.465390983050167, xmax = 10.043770835333204, ymin = -8.470029256893008, ymax = 11.132306103877182; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen qqqqcc = rgb(0,0,0.8); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274);
draw((-2.3391553000189,8.126768970246303)--(-6.24,-3.97)--(7.32,-3.93)--cycle, linewidth(0.4) + rvwvcq);
/* draw figures */
draw((-2.3391553000189,8.126768970246303)--(-6.24,-3.97), linewidth(0.4) + rvwvcq);
draw((-6.24,-3.97)--(7.32,-3.93), linewidth(0.4) + rvwvcq);
draw((7.32,-3.93)--(-2.3391553000189,8.126768970246303), linewidth(0.4) + rvwvcq);
draw(circle((0.5267986791578804,0.5252477654785609), 8.123842492151903), linewidth(0.4));
draw((-4.579409621102252,1.179597000833472)--(2.2247310819420094,2.4300261387433983), linewidth(0.4) + ttffqq);
draw((-0.8293018073848326,-3.9540392383698673)--(2.2247310819420094,2.4300261387433983), linewidth(0.4) + ttffqq);
draw((-0.8293018073848326,-3.9540392383698673)--(-4.579409621102252,1.179597000833472), linewidth(0.4) + ttffqq);
draw(circle((-0.8408890511355429,-0.025963606878789763), 3.9280927217839157), linewidth(0.4) + qqqqcc);
draw((-2.226653604971686,3.649572956980028)--(-0.8293018073848326,-3.9540392383698673), linewidth(0.4));
draw((-3.9983128158337555,2.9816153694999445)--(7.32,-3.93), linewidth(0.4) + red);
draw((-6.24,-3.97)--(0.44172394912175833,4.655614650885135), linewidth(0.4) + red);
draw(circle((-1.590022175577222,4.050402681683757), 4.144630569383107), linewidth(0.4));
draw((-22.564170777099925,-4.018153896097674)--(-6.24,-3.97), linewidth(0.4) + ubqqys);
draw((-22.564170777099925,-4.018153896097674)--(-0.8408890511355438,-0.025963606878788865), linewidth(0.4) + ubqqys);
draw((-22.564170777099925,-4.018153896097674)--(0.44172394912175833,4.655614650885135), linewidth(0.4) + ubqqys);
draw((-22.564170777099925,-4.018153896097674)--(-2.3391553000189,8.126768970246303), linewidth(0.4) + ubqqys);
draw(circle((0.5507627120400265,-7.598559381568989), 7.6994091589423626), linewidth(0.4));
draw(circle((0.5351845057446993,-2.3175474474505875), 6.973788391205323), linewidth(0.4));
draw(circle((-2.3307694734320914,5.283973757317162), 2.8428075813780302), linewidth(0.4));
draw((-4.8361407088992365,6.6273537918696475)--(-0.8408890511355438,-0.025963606878788865), linewidth(0.4));
draw(circle((-11.7025299141177,-2.0220587514882142), 11.043533766994019), linewidth(0.4) + linetype("4 4"));
draw(circle((-14.421258052415205,2.50545610226356), 10.4338159391735), linewidth(0.4) + linetype("4 4"));
draw((-3.26088654950535,9.277294081659807)--(-2.226653604971686,3.649572956980028), linewidth(0.4));
draw((-3.26088654950535,9.277294081659807)--(-2.3391553000189,8.126768970246303), linewidth(0.4) + rvwvcq);
draw(circle((-3.869012743120453,7.845619827806222), 1.5554769803851212), linewidth(0.4) + ubqqys);
draw(circle((-3.685505490860074,3.951650896017007), 2.9126186485474266), linewidth(0.4) + ubqqys);
draw((-2.3391553000189,8.126768970246303)--(-0.8408890511355438,-0.025963606878788865), linewidth(0.4) + ttffqq);
/* dots and labels */
dot((-2.3391553000189,8.126768970246303),dotstyle);
label("$A$", (-2.232439188583503,8.416831075545382), NE * labelscalefactor);
dot((-6.24,-3.97),dotstyle);
label("$B$", (-6.1359345418104745,-3.6896617591005665), NE * labelscalefactor);
dot((7.32,-3.93),dotstyle);
label("$C$", (7.441440599848557,-3.633089362676987), NE * labelscalefactor);
dot((-0.8408890511355438,-0.025963606878788865),dotstyle);
label("$I$", (-0.7332706833586516,0.2704059905499773), NE * labelscalefactor);
dot((-0.8293018073848326,-3.9540392383698673),dotstyle);
label("$D$", (-0.704984485146862,-3.661375560888777), NE * labelscalefactor);
dot((2.2247310819420094,2.4300261387433983),dotstyle);
label("$E$", (2.3499249217264198,2.703019036763883), NE * labelscalefactor);
dot((-4.579409621102252,1.179597000833472),dotstyle);
label("$F$", (-4.467048847314885,1.4584263154451405), NE * labelscalefactor);
dot((-1.864427924622838,1.678542035972305),dotstyle);
label("$P$", (-1.751573818983079,1.9675778832573532), NE * labelscalefactor);
dot((-2.226653604971686,3.649572956980028),dotstyle);
label("$Q$", (-2.119294395736344,3.9193255598708356), NE * labelscalefactor);
dot((-3.9983128158337555,2.9816153694999445),dotstyle);
label("$X$", (-3.8730386848673026,3.2687430009996747), NE * labelscalefactor);
dot((0.44172394912175833,4.655614650885135),dotstyle);
label("$Y$", (0.5678944343836722,4.937628695495261), NE * labelscalefactor);
dot((-4.8361407088992365,6.6273537918696475),dotstyle);
label("$K$", (-4.721624631220992,6.917662570320533), NE * labelscalefactor);
dot((-22.564170777099925,-4.018153896097674),dotstyle);
label("$L$", (-22.4570709100131,-3.746234155524146), NE * labelscalefactor);
dot((-2.3223836468452834,2.441178544388017),dotstyle);
label("$R$", (-2.204152990371713,2.7313052349756726), NE * labelscalefactor);
dot((-2.7916013606178858,6.723704791200539),dotstyle);
label("$M$", (-2.6850183599721373,7.002521164955902), NE * labelscalefactor);
dot((-3.26088654950535,9.277294081659807),dotstyle);
label("$N$", (-3.137597531360772,9.548279004016965), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](//latex.artofproblemsolving.com/0/0/8/0087e7dd5e8f0bcab157ce696c176fda0e8adae0.png)
We just let those
in the question be
. We'll observe some cyclic quadrilateral using which the conclusion would follow.
By Converse of Reim's Theorem on
is cyclic with diameter
. Notice:
is cyclic. From
is cyclic with diameter
. This solves the MODS problem
Another Similar Problem
Though we won't solve it here, 'coz I hate Poncelet's Theorem (which is the only main step left to prove). Anyway here's Aryan-23's proof on the Contest
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(15cm);
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 = -22.781863434478517, xmax = 10.798848194270466, ymin = -9.038432588976118, ymax = 10.036512623091987; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen qqqqcc = rgb(0,0,0.8); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274);
draw((-2.3833838000602188,7.634178367214)--(-6.24,-3.97)--(7.32,-3.93)--cycle, linewidth(0.4) + rvwvcq);
/* draw figures */
draw((-2.3833838000602188,7.634178367214)--(-6.24,-3.97), linewidth(0.4) + rvwvcq);
draw((-6.24,-3.97)--(7.32,-3.93), linewidth(0.4) + rvwvcq);
draw((7.32,-3.93)--(-2.3833838000602188,7.634178367214), linewidth(0.4) + rvwvcq);
draw(circle((0.5276880979739716,0.22373478682363146), 7.961721776957119), linewidth(0.4));
draw((-4.5538811657489,1.1033655325293221)--(2.0402804374723105,2.362198681202362), linewidth(0.4) + ttffqq);
draw((-0.893806415611854,-3.9542295174501834)--(2.0402804374723105,2.362198681202362), linewidth(0.4) + ttffqq);
draw((-0.893806415611854,-3.9542295174501834)--(-4.5538811657489,1.1033655325293221), linewidth(0.4) + ttffqq);
draw(circle((-0.9051484478953363,-0.10928057334941683), 3.844965672725561), linewidth(0.4) + qqqqcc);
draw((-2.310996558686184,3.4694555322923124)--(-0.893806415611854,-3.9542295174501834), linewidth(0.4));
draw((-3.986231755908378,2.811366707739868)--(7.32,-3.93), linewidth(0.4) + red);
draw((-6.24,-3.97)--(0.26280803581714984,4.480532689119575), linewidth(0.4) + red);
draw(circle((-1.6442661239777778,3.7624488969322916), 3.9416473751650316), linewidth(0.4));
draw((-21.36248018711416,-4.014609086097727)--(-6.24,-3.97), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(-0.9051484478953369,-0.10928057334941663), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(0.26280803581714984,4.480532689119575), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(-2.3833838000602188,7.634178367214), linewidth(0.4) + ubqqys);
draw(circle((0.5511739007385885,-7.7379523503817556), 7.766434694557108), linewidth(0.4));
/* dots and labels */
dot((-2.3833838000602188,7.634178367214),dotstyle);
label("$A$", (-2.2756092021686842,7.91707426619553), NE * labelscalefactor);
dot((-6.24,-3.97),dotstyle);
label("$B$", (-6.129133487434961,-3.6985489365356963), NE * labelscalefactor);
dot((7.32,-3.93),dotstyle);
label("$C$", (7.440777031395571,-3.643498589603321), NE * labelscalefactor);
dot((-0.9051484478953369,-0.10928057334941663),dotstyle);
label("$I$", (-0.7892498349945487,0.15497534873058744), NE * labelscalefactor);
dot((-0.893806415611854,-3.9542295174501834),dotstyle);
label("$D$", (-0.7892498349945487,-3.6710237630695084), NE * labelscalefactor);
dot((2.0402804374723105,2.362198681202362),dotstyle);
label("$E$", (2.1559437258875342,2.632240960687484), NE * labelscalefactor);
dot((-4.5538811657489,1.1033655325293221),dotstyle);
label("$F$", (-4.450097905997512,1.366082981242848), NE * labelscalefactor);
dot((-1.9540534033919768,1.5996756876363232),dotstyle);
label("$P$", (-1.835206426709681,1.8615361036342273), NE * labelscalefactor);
dot((-2.310996558686184,3.4694555322923124),dotstyle);
label("$Q$", (-2.193033681770121,3.7332478993349936), NE * labelscalefactor);
dot((-3.986231755908378,2.811366707739868),dotstyle);
label("$X$", (-3.87206926320757,3.100168909612676), NE * labelscalefactor);
dot((0.26280803581714984,4.480532689119575),dotstyle);
label("$Y$", (0.3668074505853344,4.75167931758394), NE * labelscalefactor);
dot((-4.761848155218107,6.174349870984253),dotstyle);
label("$K$", (-4.6427741202608255,6.45824007248758), NE * labelscalefactor);
dot((-21.36248018711416,-4.014609086097727),dotstyle);
label("$L$", (-21.240453720372003,-3.726074110001884), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/2/0/b/20b279dbff9e291376f741566ea4317e0676f532.png)
Everything looks familiar except, those









































![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(16cm);
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 = -23.930559818900786, xmax = 11.986676614850097, ymin = -9.877842359161582, ymax = 10.524325549518245; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen qqqqcc = rgb(0,0,0.8); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274);
draw((-2.3833838000602188,7.634178367214)--(-6.24,-3.97)--(7.32,-3.93)--cycle, linewidth(0.4) + rvwvcq);
/* draw figures */
draw((-2.3833838000602188,7.634178367214)--(-6.24,-3.97), linewidth(0.4) + rvwvcq);
draw((-6.24,-3.97)--(7.32,-3.93), linewidth(0.4) + rvwvcq);
draw((7.32,-3.93)--(-2.3833838000602188,7.634178367214), linewidth(0.4) + rvwvcq);
draw(circle((0.5276880979739716,0.22373478682363146), 7.961721776957119), linewidth(0.4));
draw((-4.5538811657489,1.1033655325293221)--(2.0402804374723105,2.362198681202362), linewidth(0.4) + ttffqq);
draw((-0.893806415611854,-3.9542295174501834)--(2.0402804374723105,2.362198681202362), linewidth(0.4) + ttffqq);
draw((-0.893806415611854,-3.9542295174501834)--(-4.5538811657489,1.1033655325293221), linewidth(0.4) + ttffqq);
draw(circle((-0.9051484478953363,-0.10928057334941683), 3.844965672725561), linewidth(0.4) + qqqqcc);
draw((-2.310996558686184,3.4694555322923124)--(-0.893806415611854,-3.9542295174501834), linewidth(0.4));
draw((-3.986231755908378,2.811366707739868)--(7.32,-3.93), linewidth(0.4) + red);
draw((-6.24,-3.97)--(0.26280803581714984,4.480532689119575), linewidth(0.4) + red);
draw(circle((-1.6442661239777778,3.7624488969322916), 3.9416473751650316), linewidth(0.4));
draw((-21.36248018711416,-4.014609086097727)--(-6.24,-3.97), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(-0.9051484478953369,-0.10928057334941663), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(0.26280803581714984,4.480532689119575), linewidth(0.4) + ubqqys);
draw((-21.36248018711416,-4.014609086097727)--(-2.3833838000602188,7.634178367214), linewidth(0.4) + ubqqys);
draw(circle((0.5511739007385885,-7.7379523503817556), 7.766434694557108), linewidth(0.4));
draw(circle((0.5355948372904149,-2.4566498414501257), 6.942543777427655), linewidth(0.4));
draw(circle((-2.3754770607437763,4.9537937389402416), 2.6803962901057847), linewidth(0.4));
draw((-4.761848155218107,6.174349870984253)--(-0.9051484478953369,-0.10928057334941663), linewidth(0.4));
draw(circle((-11.13381431750469,-2.0619448297235485), 10.413380967305114), linewidth(0.4) + linetype("4 4"));
draw(circle((-13.819843764765764,2.314339996688904), 9.846164770723794), linewidth(0.4) + linetype("4 4"));
/* dots and labels */
dot((-2.3833838000602188,7.634178367214),dotstyle);
label("$A$", (-2.262456527719926,7.933574069050966), NE * labelscalefactor);
dot((-6.24,-3.97),dotstyle);
label("$B$", (-6.119143390688259,-3.6659268775866276), NE * labelscalefactor);
dot((7.32,-3.93),dotstyle);
label("$C$", (7.42342116629978,-3.636486519854045), NE * labelscalefactor);
dot((-0.9051484478953369,-0.10928057334941663),dotstyle);
label("$I$", (-0.7904386410907912,0.19075998538170924), NE * labelscalefactor);
dot((-0.893806415611854,-3.9542295174501834),dotstyle);
label("$D$", (-0.7904386410907912,-3.6659268775866276), NE * labelscalefactor);
dot((2.0402804374723105,2.362198681202362),dotstyle);
label("$E$", (2.153597132167478,2.663750034918658), NE * labelscalefactor);
dot((-4.5538811657489,1.1033655325293221),dotstyle);
label("$F$", (-4.441042999931045,1.397814652417601), NE * labelscalefactor);
dot((-1.9540534033919768,1.5996756876363232),dotstyle);
label("$P$", (-1.8502915194637681,1.8983007338715072), NE * labelscalefactor);
dot((-2.310996558686184,3.4694555322923124),dotstyle);
label("$Q$", (-2.2035758122547606,3.753043271024219), NE * labelscalefactor);
dot((-3.986231755908378,2.811366707739868),dotstyle);
label("$X$", (-3.881676203011974,3.1053554009073987), NE * labelscalefactor);
dot((0.26280803581714984,4.480532689119575),dotstyle);
label("$Y$", (0.3871756682125165,4.783455791664614), NE * labelscalefactor);
dot((-4.761848155218107,6.174349870984253),dotstyle);
label("$K$", (-4.647125504059124,6.4615561824218295), NE * labelscalefactor);
dot((-21.36248018711416,-4.014609086097727),dotstyle);
label("$L$", (-21.251487265235763,-3.724807593051793), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/0/5/9/059fa92a9c9e35ad02afd5b9c9356f53eaa0deb5.png)
HMMT November 2016 Team P10 wrote:
Let
be a triangle with incenter
whose incircle is tangent to
,
,
at
,
,
. Point
lies on
such that
. Ray
meets
at
and ray
meets
at
. Point
is selected on the circumcircle of
so that
.
Prove that
,
,
are collinear.




















Prove that



After proving
is cyclic. We have,
antiparallel to
antipode in
is
. Only trivial angle chasing follows now 








To solve the above problem, If




























A bit unrelated though
MODS Advanced September 2019 P3 wrote:


















![[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 = -24.465390983050167, xmax = 10.043770835333204, ymin = -8.470029256893008, ymax = 11.132306103877182; /* image dimensions */
pen rvwvcq = rgb(0.08235294117647059,0.396078431372549,0.7529411764705882); pen ttffqq = rgb(0.2,1,0); pen qqqqcc = rgb(0,0,0.8); pen ubqqys = rgb(0.29411764705882354,0,0.5098039215686274);
draw((-2.3391553000189,8.126768970246303)--(-6.24,-3.97)--(7.32,-3.93)--cycle, linewidth(0.4) + rvwvcq);
/* draw figures */
draw((-2.3391553000189,8.126768970246303)--(-6.24,-3.97), linewidth(0.4) + rvwvcq);
draw((-6.24,-3.97)--(7.32,-3.93), linewidth(0.4) + rvwvcq);
draw((7.32,-3.93)--(-2.3391553000189,8.126768970246303), linewidth(0.4) + rvwvcq);
draw(circle((0.5267986791578804,0.5252477654785609), 8.123842492151903), linewidth(0.4));
draw((-4.579409621102252,1.179597000833472)--(2.2247310819420094,2.4300261387433983), linewidth(0.4) + ttffqq);
draw((-0.8293018073848326,-3.9540392383698673)--(2.2247310819420094,2.4300261387433983), linewidth(0.4) + ttffqq);
draw((-0.8293018073848326,-3.9540392383698673)--(-4.579409621102252,1.179597000833472), linewidth(0.4) + ttffqq);
draw(circle((-0.8408890511355429,-0.025963606878789763), 3.9280927217839157), linewidth(0.4) + qqqqcc);
draw((-2.226653604971686,3.649572956980028)--(-0.8293018073848326,-3.9540392383698673), linewidth(0.4));
draw((-3.9983128158337555,2.9816153694999445)--(7.32,-3.93), linewidth(0.4) + red);
draw((-6.24,-3.97)--(0.44172394912175833,4.655614650885135), linewidth(0.4) + red);
draw(circle((-1.590022175577222,4.050402681683757), 4.144630569383107), linewidth(0.4));
draw((-22.564170777099925,-4.018153896097674)--(-6.24,-3.97), linewidth(0.4) + ubqqys);
draw((-22.564170777099925,-4.018153896097674)--(-0.8408890511355438,-0.025963606878788865), linewidth(0.4) + ubqqys);
draw((-22.564170777099925,-4.018153896097674)--(0.44172394912175833,4.655614650885135), linewidth(0.4) + ubqqys);
draw((-22.564170777099925,-4.018153896097674)--(-2.3391553000189,8.126768970246303), linewidth(0.4) + ubqqys);
draw(circle((0.5507627120400265,-7.598559381568989), 7.6994091589423626), linewidth(0.4));
draw(circle((0.5351845057446993,-2.3175474474505875), 6.973788391205323), linewidth(0.4));
draw(circle((-2.3307694734320914,5.283973757317162), 2.8428075813780302), linewidth(0.4));
draw((-4.8361407088992365,6.6273537918696475)--(-0.8408890511355438,-0.025963606878788865), linewidth(0.4));
draw(circle((-11.7025299141177,-2.0220587514882142), 11.043533766994019), linewidth(0.4) + linetype("4 4"));
draw(circle((-14.421258052415205,2.50545610226356), 10.4338159391735), linewidth(0.4) + linetype("4 4"));
draw((-3.26088654950535,9.277294081659807)--(-2.226653604971686,3.649572956980028), linewidth(0.4));
draw((-3.26088654950535,9.277294081659807)--(-2.3391553000189,8.126768970246303), linewidth(0.4) + rvwvcq);
draw(circle((-3.869012743120453,7.845619827806222), 1.5554769803851212), linewidth(0.4) + ubqqys);
draw(circle((-3.685505490860074,3.951650896017007), 2.9126186485474266), linewidth(0.4) + ubqqys);
draw((-2.3391553000189,8.126768970246303)--(-0.8408890511355438,-0.025963606878788865), linewidth(0.4) + ttffqq);
/* dots and labels */
dot((-2.3391553000189,8.126768970246303),dotstyle);
label("$A$", (-2.232439188583503,8.416831075545382), NE * labelscalefactor);
dot((-6.24,-3.97),dotstyle);
label("$B$", (-6.1359345418104745,-3.6896617591005665), NE * labelscalefactor);
dot((7.32,-3.93),dotstyle);
label("$C$", (7.441440599848557,-3.633089362676987), NE * labelscalefactor);
dot((-0.8408890511355438,-0.025963606878788865),dotstyle);
label("$I$", (-0.7332706833586516,0.2704059905499773), NE * labelscalefactor);
dot((-0.8293018073848326,-3.9540392383698673),dotstyle);
label("$D$", (-0.704984485146862,-3.661375560888777), NE * labelscalefactor);
dot((2.2247310819420094,2.4300261387433983),dotstyle);
label("$E$", (2.3499249217264198,2.703019036763883), NE * labelscalefactor);
dot((-4.579409621102252,1.179597000833472),dotstyle);
label("$F$", (-4.467048847314885,1.4584263154451405), NE * labelscalefactor);
dot((-1.864427924622838,1.678542035972305),dotstyle);
label("$P$", (-1.751573818983079,1.9675778832573532), NE * labelscalefactor);
dot((-2.226653604971686,3.649572956980028),dotstyle);
label("$Q$", (-2.119294395736344,3.9193255598708356), NE * labelscalefactor);
dot((-3.9983128158337555,2.9816153694999445),dotstyle);
label("$X$", (-3.8730386848673026,3.2687430009996747), NE * labelscalefactor);
dot((0.44172394912175833,4.655614650885135),dotstyle);
label("$Y$", (0.5678944343836722,4.937628695495261), NE * labelscalefactor);
dot((-4.8361407088992365,6.6273537918696475),dotstyle);
label("$K$", (-4.721624631220992,6.917662570320533), NE * labelscalefactor);
dot((-22.564170777099925,-4.018153896097674),dotstyle);
label("$L$", (-22.4570709100131,-3.746234155524146), NE * labelscalefactor);
dot((-2.3223836468452834,2.441178544388017),dotstyle);
label("$R$", (-2.204152990371713,2.7313052349756726), NE * labelscalefactor);
dot((-2.7916013606178858,6.723704791200539),dotstyle);
label("$M$", (-2.6850183599721373,7.002521164955902), NE * labelscalefactor);
dot((-3.26088654950535,9.277294081659807),dotstyle);
label("$N$", (-3.137597531360772,9.548279004016965), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/0/0/8/0087e7dd5e8f0bcab157ce696c176fda0e8adae0.png)
We just let those


By Converse of Reim's Theorem on






















Another Similar Problem
SORY P6 wrote:
Let
be a triangle with incenter
. Let the incircle be tangent to the sides
at
respectively. Let
be the foot of the perpendicular from
onto
. Assume that
,
intersect the sides
,
in
,
respectively. Finally, let the rays
,
meet the circumcircle of
in
,
respectively. Prove that the tangent from
to the incircle and the line
meet on the circumcircle of 
Proposed by Wizard_32





















Proposed by Wizard_32
Aryan-23 wrote:
my solution to SORY p6 avoids poncelet ... but is a bit wordy
The solution is divided into the following claims ...
Notation :- Let
intersect the incircle again at
. Let the tangency point of the A-mixtilinear incircle with
be
.Let
be the midoint of arc
not containing
of 
Claim :-
Proof
Claim:
is tangent to the incircle at 
Proof
Claim :
passes through
.
Proof
Claim :-
are collinear
Proof
A Lame Lemma
We now show that , if
meets the circumcircle of
at
, then
is tangent to the incircle at
. This combined with the "Lame Lemma " implies the conclusion , as then
is just
and
,
are tangents to the incircle . As
is the incenter of
, therefore
and
would share the same incircle
Endgame
The solution is divided into the following claims ...
Notation :- Let








Claim :-

Proof
It trivially follows from an inversion about the incircle . This swaps
with the nine point circle of
It is easy to see that
and
get swapped . Let midpoint of
be
. We have
. This implies the conclusion .







Claim:


Proof
Refer to the start of the blogpost, where we have proved this.
Claim :


Proof
Let
denote the reflection of
in
. Then
must be the
- antipode in the incircle . Therefore
must be the
-Nagel cevian and hence
passes through the isogonal conjugate of the Nagel point of
. Hence
are collinear










Claim :-

Proof
Firstly , note that
and
are similar . This is proved by angle-chasing .
.
Similarly ,
.
Let
be the spiral similarity at
that sends 

and 

. Due to the above two lines ,
. Also
(As
and
are the orthogonal projections of
,
onto
and
respectively ).
Now note that
is the midpoint of arc
in
. So
. Now note that
and
are parallel . So the spiral center(
) carrying
is also
. This implies the conclusion .



Similarly ,

Let
















Now note that









A Lame Lemma
In any triangle
with
as the midpoint of arc
not containing
in
, the incentre
of the triangle is the intersection of
and
which lies closer to
. This is a trivial application of Fact 5









We now show that , if













Endgame
Perform an inversion with center
and radius
. It trivially swaps the A-mixtilinear incircle with the incircle . So ,
and
are swapped . Now the conclusion trivially follows as
(image of
) is tangent to the A-mixtilinear incircle (image of the incircle ) at
(image of
) . The problem is thus solved








This post has been edited 5 times. Last edited by AlastorMoody, Aug 25, 2020, 2:44 PM