Difference between revisions of "2023 USAMO Problems/Problem 1"
Martin2001 (talk | contribs) (→Solution 1) |
Martin2001 (talk | contribs) (→Solution 1) |
||
Line 8: | Line 8: | ||
real xmin = -1.278031073276777, xmax = 26.735740814463117, ymin = -9.456108920092317, ymax = 4.7809371214468275; /* image dimensions */ | real xmin = -1.278031073276777, xmax = 26.735740814463117, ymin = -9.456108920092317, ymax = 4.7809371214468275; /* image dimensions */ | ||
pen qqwuqq = rgb(0.,0.39215686274509803,0.); | pen qqwuqq = rgb(0.,0.39215686274509803,0.); | ||
− | |||
draw((13.41604889400778,-6.856056531808553)--(13.294446243957523,-6.529198735935188)--(12.967588448084157,-6.650801385985445)--(13.089191098134414,-6.97765918185881)--cycle, linewidth(2.) + qqwuqq); | draw((13.41604889400778,-6.856056531808553)--(13.294446243957523,-6.529198735935188)--(12.967588448084157,-6.650801385985445)--(13.089191098134414,-6.97765918185881)--cycle, linewidth(2.) + qqwuqq); | ||
− | |||
draw((9.638133559035012,2.2984960680144826)--(5.734005553668605,-4.81861693653532), linewidth(2.)); | draw((9.638133559035012,2.2984960680144826)--(5.734005553668605,-4.81861693653532), linewidth(2.)); | ||
draw((5.734005553668605,-4.81861693653532)--(18.84453746580399,-4.836466959731463), linewidth(2.)); | draw((5.734005553668605,-4.81861693653532)--(18.84453746580399,-4.836466959731463), linewidth(2.)); | ||
Line 21: | Line 19: | ||
draw((5.734005553668605,-4.81861693653532)--(13.089191098134414,-6.97765918185881), linewidth(2.)); | draw((5.734005553668605,-4.81861693653532)--(13.089191098134414,-6.97765918185881), linewidth(2.)); | ||
draw((12.294120103174464,-1.2663343070293533)--(12.289271509736299,-4.827541948133391), linewidth(2.)); | draw((12.294120103174464,-1.2663343070293533)--(12.289271509736299,-4.827541948133391), linewidth(2.)); | ||
− | |||
dot((9.638133559035012,2.2984960680144826),dotstyle); | dot((9.638133559035012,2.2984960680144826),dotstyle); | ||
label("<math>A</math>", (9.703893586940504,2.462896137778213), NE * labelscalefactor); | label("<math>A</math>", (9.703893586940504,2.462896137778213), NE * labelscalefactor); |
Revision as of 12:30, 13 April 2023
In an acute triangle , let be the midpoint of . Let be the foot of the perpendicular from to . Suppose that the circumcircle of triangle intersects line at two distinct points and . Let be the midpoint of . Prove that .
Solution 1
import graph; size(28.013771887739892cm); 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 = -1.278031073276777, xmax = 26.735740814463117, ymin = -9.456108920092317, ymax = 4.7809371214468275; /* image dimensions */ pen qqwuqq = rgb(0.,0.39215686274509803,0.); draw((13.41604889400778,-6.856056531808553)--(13.294446243957523,-6.529198735935188)--(12.967588448084157,-6.650801385985445)--(13.089191098134414,-6.97765918185881)--cycle, linewidth(2.) + qqwuqq); draw((9.638133559035012,2.2984960680144826)--(5.734005553668605,-4.81861693653532), linewidth(2.)); draw((5.734005553668605,-4.81861693653532)--(18.84453746580399,-4.836466959731463), linewidth(2.)); draw((18.84453746580399,-4.836466959731463)--(9.638133559035012,2.2984960680144826), linewidth(2.)); draw((9.638133559035012,2.2984960680144826)--(13.089191098134414,-6.97765918185881), linewidth(2.)); draw(circle((10.344923836854495,-2.718588274420166), 5.066624891969315), linewidth(2.)); draw((9.638133559035012,2.2984960680144826)--(14.950106647313914,-4.831164682073189), linewidth(2.)); draw((9.638133559035012,2.2984960680144826)--(9.628436372158689,-4.823919214193597), linewidth(2.)); draw((18.84453746580399,-4.836466959731463)--(13.089191098134414,-6.97765918185881), linewidth(2.)); draw((5.734005553668605,-4.81861693653532)--(13.089191098134414,-6.97765918185881), linewidth(2.)); draw((12.294120103174464,-1.2663343070293533)--(12.289271509736299,-4.827541948133391), linewidth(2.)); dot((9.638133559035012,2.2984960680144826),dotstyle); label("", (9.703893586940504,2.462896137778213), NE * labelscalefactor); dot((5.734005553668605,-4.81861693653532),dotstyle); label("", (5.807611933540062,-4.655626882991359), NE * labelscalefactor); dot((18.84453746580399,-4.836466959731463),dotstyle); label("", (18.910297493709486,-4.6720668899677325), NE * labelscalefactor); dot((12.289271509736299,-4.827541948133391),linewidth(4.pt) + dotstyle); label("", (12.350734710136587,-4.688506896944105), NE * labelscalefactor); dot((13.089191098134414,-6.97765918185881),linewidth(4.pt) + dotstyle); label("", (13.156295051978871,-6.842147810848988), NE * labelscalefactor); dot((14.950106647313914,-4.831164682073189),linewidth(4.pt) + dotstyle); label("", (15.01401584030904,-4.7049469039204785), NE * labelscalefactor); dot((12.294120103174464,-1.2663343070293533),linewidth(4.pt) + dotstyle); label("", (12.36717471711296,-1.1374653900475058), NE * labelscalefactor); dot((9.628436372158689,-4.823919214193597),linewidth(4.pt) + dotstyle); label("", (9.687453579964131,-4.688506896944105), NE * labelscalefactor); label("$\alpha = 90^\\circ$ (Error compiling LaTeX. Unknown error_msg)", (13.156295051978871,-6.792827789919868), NE * labelscalefactor,qqwuqq); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
Let be the foot from to . By definition, . Thus, , and .
From this, we have , as . Thus, is also the midpoint of .
Now, iff lies on the perpendicular bisector of . As lies on the perpendicular bisector of , which is also the perpendicular bisector of (as is also the midpoint of ), we are done. ~ Martin2001, ApraTrip