Difference between revisions of "2016 USAJMO Problems/Problem 5"
Champion999 (talk | contribs) |
Thingarfield (talk | contribs) (→Solution 1) |
||
Line 6: | Line 6: | ||
== Solution 1== | == Solution 1== | ||
+ | <asy> | ||
+ | size(8cm); | ||
+ | pair O=(0,0); | ||
+ | pair A=dir(110); | ||
+ | pair B=dir(-29); | ||
+ | pair C=dir(209); | ||
+ | pair H=foot(A,B,C); | ||
+ | pair P=foot(H,A,B); | ||
+ | pair Q=foot(H,A,C); | ||
+ | draw(A--B--C--A--H--P); | ||
+ | draw(circle(O,1)); | ||
+ | draw(Q--H); | ||
+ | |||
+ | dot("$A$", A, dir(A)); | ||
+ | dot("$B$", B, dir(B)); | ||
+ | dot("$C$", C, dir(C)); | ||
+ | dot("$H$", H, S); | ||
+ | dot("$P$", P, NE); | ||
+ | dot("$Q$", Q, NW); | ||
+ | dot("$O$", O, S); | ||
+ | </asy> | ||
+ | |||
It is well-known that <math>AH\cdot 2AO=AB\cdot AC</math> (just use similar triangles or standard area formulas). Then by Power of a Point, | It is well-known that <math>AH\cdot 2AO=AB\cdot AC</math> (just use similar triangles or standard area formulas). Then by Power of a Point, | ||
<cmath>AP\cdot AB=AH^2=AQ\cdot AC</cmath> Consider the transformation <math>X\mapsto \Psi(X)</math> which dilates <math>X</math> from <math>A</math> by a factor of <math>\dfrac{AB}{AQ}=\dfrac{AC}{AP}</math> and reflects about the <math>A</math>-angle bisector. Then <math>\Psi(O)</math> clearly lies on <math>AH</math>, and its distance from <math>A</math> is <cmath>AO\cdot\frac{AB}{AQ}=AO\cdot\frac{AB}{\frac{AH^2}{AC}}=AO\cdot\frac{AB\cdot AC}{AH^2}=\frac{AO\cdot AH\cdot 2AO}{AH^2}=\frac{2AO^2}{AH}=AH</cmath> so <math>\Psi(O)=H</math>, hence we conclude that <math>O,P,Q</math> are collinear, as desired. | <cmath>AP\cdot AB=AH^2=AQ\cdot AC</cmath> Consider the transformation <math>X\mapsto \Psi(X)</math> which dilates <math>X</math> from <math>A</math> by a factor of <math>\dfrac{AB}{AQ}=\dfrac{AC}{AP}</math> and reflects about the <math>A</math>-angle bisector. Then <math>\Psi(O)</math> clearly lies on <math>AH</math>, and its distance from <math>A</math> is <cmath>AO\cdot\frac{AB}{AQ}=AO\cdot\frac{AB}{\frac{AH^2}{AC}}=AO\cdot\frac{AB\cdot AC}{AH^2}=\frac{AO\cdot AH\cdot 2AO}{AH^2}=\frac{2AO^2}{AH}=AH</cmath> so <math>\Psi(O)=H</math>, hence we conclude that <math>O,P,Q</math> are collinear, as desired. |
Revision as of 14:28, 10 March 2019
Problem
Let be an acute triangle, with as its circumcenter. Point is the foot of the perpendicular from to line , and points and are the feet of the perpendiculars from to the lines and , respectively.
Given that prove that the points and are collinear.
Solution 1
It is well-known that (just use similar triangles or standard area formulas). Then by Power of a Point, Consider the transformation which dilates from by a factor of and reflects about the -angle bisector. Then clearly lies on , and its distance from is so , hence we conclude that are collinear, as desired.
Solution 2
We will use barycentric coordinates with respect to The given condition is equivalent to Note that Therefore, we must show that Expanding, we must prove
Let such that The left side is equal to The right side is equal to which is equivalent to the left hand side. Therefore, the determinant is and are collinear.
Solution 3
For convenience, let denote the lengths of segments respectively, and let denote the measures of respectively. Let denote the circumradius of
Since the central angle subtends the same arc as the inscribed angle on the circumcircle of we have Note that so Thus, Similarly, one can show that (One could probably cite this as well-known, but I have proved it here just in case.)
Clearly, Since we have Thus,
Note that The Extended Law of Sines states that: Therefore, Thus,
Since and we have: It follows that: We see that
Rearranging we get We also have so by SAS similarity. Thus, so is a right angle.
Rearranging we get We also have so by SAS similarity. Thus, so is a right angle.
Since and are both right angles, we get so we conclude that are collinear, and we are done. (We also obtain the extra interesting fact that )
Solution 4
Draw the altitude from to , and let the foot of this altitude be .
Then, by the Right Triangle Altitude Theorem on triangle , we have: .
Since is the perpendicular bisector of , .
Substituting this into our previous equation gives , which equals by the problem condition.
Thus, .
Again, by the Right Triangle Altitude Theorem, angle is right.
By dropping an altitude from to and using the same method, we can find that angle is right. Since , , , are collinear and we are done.
~champion999
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.
See also
2016 USAJMO (Problems • Resources) | ||
Preceded by Problem 4 |
Followed by Problem 6 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAJMO Problems and Solutions |