Difference between revisions of "2008 USAMO Problems/Problem 2"
Cocohearts (talk | contribs) m (→Solution 2 (complex)) |
Cocohearts (talk | contribs) m (→Solution 2 (complex)) |
||
Line 21: | Line 21: | ||
<cmath> \begin{align*} | <cmath> \begin{align*} | ||
− | f' &= \frac{(\frac{bc}{b+c}-\ | + | f' &= \frac{\left(\frac{bc}{b+c}-\overline{\frac{bc}{b+c}}\right)\div2}{(1/2)-\overline{\frac{bc}{b+c}}}\\ |
− | &= \frac{\frac{bc-1}{(b+c) | + | &= \frac{\frac{bc-1}{2(b+c)}}{\frac{b+c-2}{2(b+c)}}\\ |
&= \frac{bc-1}{b+c-2}. | &= \frac{bc-1}{b+c-2}. | ||
\end{align*} </cmath> | \end{align*} </cmath> |
Revision as of 18:27, 1 December 2021
Contents
Problem
(Zuming Feng) Let be an acute, scalene triangle, and let
,
, and
be the midpoints of
,
, and
, respectively. Let the perpendicular bisectors of
and
intersect ray
in points
and
respectively, and let lines
and
intersect in point
, inside of triangle
. Prove that points
,
,
, and
all lie on one circle.
Solutions
Solution 1 (synthetic)
Without Loss of Generality, assume . It is sufficient to prove that
, as this would immediately prove that
are concyclic.
By applying the Menelaus' Theorem in the Triangle
for the transversal
, we have (in magnitude)
Here, we used that
, as
is the midpoint of
. Now, since
and
, we have
Now, note that
bisects the exterior
and
bisects exterior
, making
the
-excentre of
. This implies that
bisects interior
, making
, as was required.
Solution 2 (complex)
Let where
all lie on the unit circle. Then
is 0. As noted earlier,
is cyclic. We will find the ghost point
the second intersection of
and
.
We know that these two circles already intersect at so we can reflect over the line between their centers. The center of
is the midpoint of
namely
. With the tangent formula and then taking the midpoint, we find that the center of
is
Then we want to find the reflection of 0 over the line through
and
Then we get
Now it remains to show the other angle equality would follow by symmetry.
Then we get:
Thus
so
and we're done.
~cocohearts
Solution 3 (synthetic)
![[asy] /* setup and variables */ size(280); pathpen = black + linewidth(0.7); pointpen = black; pen s = fontsize(8); pair B=(0,0),C=(5,0),A=(1,4); /* A.x > C.x/2 */ /* construction and drawing */ pair P=(A+B)/2,M=(B+C)/2,N=(A+C)/2,D=IP(A--M,P--P+5*(P-bisectorpoint(A,B))),E=IP(A--M,N--N+5*(bisectorpoint(A,C)-N)),F=IP(B--B+5*(D-B),C--C+5*(E-C)),O=circumcenter(A,B,C); D(MP("A",A,(0,1),s)--MP("B",B,SW,s)--MP("C",C,SE,s)--A--MP("M",M,s)); D(B--D(MP("D",D,NE,s))--MP("P",P,(-1,0),s)--D(MP("O",O,(0,1),s))); D(D(MP("E",E,SW,s))--MP("N",N,(1,0),s)); D(C--D(MP("F",F,NW,s))); D(B--O--C,linetype("4 4")+linewidth(0.7)); D(M--N,linetype("4 4")+linewidth(0.7)); D(rightanglemark(A,P,D,3.5));D(rightanglemark(A,N,E,3.5)); D(anglemark(B,A,C)); MP("y",A,(0,-6));MP("z",A,(4,-6)); D(anglemark(B,F,C,4),linewidth(0.6));D(anglemark(B,O,C,4),linewidth(0.6)); picture p = new picture; draw(p,circumcircle(B,O,C),linetype("1 4")+linewidth(0.7)); clip(p,B+(-5,0)--B+(-5,A.y+2)--C+(5,A.y+2)--C+(5,0)--cycle); add(p); /* D(circumcircle(A,P,N),linetype("4 4")+linewidth(0.7)); */ [/asy]](http://latex.artofproblemsolving.com/5/9/c/59c1afd86c69597587b940e9645c56d85342ba62.png)
Without loss of generality . The intersection of
and
is
, the circumcenter of
.
Let and
. Note
lies on the perpendicular bisector of
, so
. So
. Similarly,
, so
. Notice that
intercepts the minor arc
in the circumcircle of
, which is double
. Hence
, so
is cyclic.
Lemma. is directly similar to
Proof.
since
,
,
are collinear,
is cyclic, and
. Also
because
, and
is the medial triangle of
so
. Hence
.
Notice that since
.
. Then
Hence
.
Hence is similar to
by AA similarity. It is easy to see that they are oriented such that they are directly similar.
End Lemma
![[asy] /* setup and variables */ size(280); pathpen = black + linewidth(0.7); pointpen = black; pen s = fontsize(8); pair B=(0,0),C=(5,0),A=(1,4); /* A.x > C.x/2 */ /* construction and drawing */ pair P=(A+B)/2,M=(B+C)/2,N=(A+C)/2,D=IP(A--M,P--P+5*(P-bisectorpoint(A,B))),E=IP(A--M,N--N+5*(bisectorpoint(A,C)-N)),F=IP(B--B+5*(D-B),C--C+5*(E-C)),O=circumcenter(A,B,C); D(MP("A",A,(0,1),s)--MP("B",B,SW,s)--MP("C",C,SE,s)--A--MP("M",M,s)); D(B--D(MP("D",D,NE,s))--MP("P",P,(-1,0),s)--D(MP("O",O,(1,0),s))); D(D(MP("E",E,SW,s))--MP("N",N,(1,0),s)); D(C--D(MP("F",F,NW,s))); D(B--O--C,linetype("4 4")+linewidth(0.7)); D(F--N); D(O--M); D(rightanglemark(A,P,D,3.5));D(rightanglemark(A,N,E,3.5)); /* commented in above asy D(circumcircle(A,P,N),linetype("4 4")+linewidth(0.7)); D(anglemark(B,A,C)); MP("y",A,(0,-6));MP("z",A,(4,-6)); D(anglemark(B,F,C,4),linewidth(0.6));D(anglemark(B,O,C,4),linewidth(0.6)); picture p = new picture; draw(p,circumcircle(B,O,C),linetype("1 4")+linewidth(0.7)); clip(p,B+(-5,0)--B+(-5,A.y+2)--C+(5,A.y+2)--C+(5,0)--cycle); add(p); */ [/asy]](http://latex.artofproblemsolving.com/f/2/1/f21402ee04f8bab4de4509f8e2cdcae9d4f26c5a.png)
By the similarity in the Lemma, .
so
by SAS similarity. Hence
Using essentially the same angle chasing, we can show that
is directly similar to
. It follows that
is directly similar to
. So
Hence
, so
is cyclic. In other words,
lies on the circumcircle of
. Note that
, so
is cyclic. In other words,
lies on the circumcircle of
.
,
,
,
, and
all lie on the circumcircle of
. Hence
,
,
, and
lie on a circle, as desired.
Solution 4 (synthetic)
This solution utilizes the phantom point method. Clearly, APON are cyclic because . Let the circumcircles of triangles
and
intersect at
and
.
Lemma. If are points on circle
with center
, and the tangents to
at
intersect at
, then
is the symmedian from
to
.
Proof. This is fairly easy to prove (as H, O are isogonal conjugates, plus using SAS similarity), but the author lacks time to write it up fully, and will do so soon.
End Lemma
It is easy to see (the intersection of ray
and the circumcircle of
) is colinear with
and
, and because line
is the diameter of that circle,
, so
is the point
in the lemma; hence, we may apply the lemma. From here, it is simple angle-chasing to show that
satisfies the original construction for
, showing
; we are done.
Solution 5 (trigonometric)
By the Law of Sines, . Since
and similarly
, we cancel to get
. Obviously,
so
.
Then and
. Subtracting these two equations,
so
. Therefore,
(by AA similarity), so a spiral similarity centered at
takes
to
and
to
. Therefore, it takes the midpoint of
to the midpoint of
, or
to
. So
and
is cyclic.
Solution 6 (isogonal conjugates)
![[asy] /* setup and variables */ size(280); pathpen = black + linewidth(0.7); pointpen = black; pen s = fontsize(8); pair B=(0,0),C=(5,0),A=(4,4); /* A.x > C.x/2 */ /* construction and drawing */ pair P=(A+B)/2,M=(B+C)/2,N=(A+C)/2,D=IP(A--M,P--P+5*(P-bisectorpoint(A,B))),E=IP(A--M,N--N+5*(bisectorpoint(A,C)-N)),F=IP(B--B+5*(D-B),C--C+5*(E-C)),O=circumcenter(A,B,C); D(MP("A",A,(0,1),s)--MP("B",B,SW,s)--MP("C",C,SE,s)--A--MP("M",M,s)); D(C--D(MP("E",E,NW,s))--MP("N",N,(1,0),s)--D(MP("O",O,SW,s))); D(D(MP("D",D,SE,s))--MP("P",P,W,s)); D(B--D(MP("F",F,s))); D(O--A--F,linetype("4 4")+linewidth(0.7)); D(MP("O'",circumcenter(A,P,N),NW,s)); D(circumcircle(A,P,N),linetype("4 4")+linewidth(0.7)); D(rightanglemark(A,P,D,3.5));D(rightanglemark(A,N,E,3.5)); picture p = new picture; draw(p,circumcircle(B,O,C),linetype("1 4")+linewidth(0.7)); draw(p,circumcircle(A,B,C),linetype("1 4")+linewidth(0.7)); clip(p,B+(-5,0)--B+(-5,A.y+2)--C+(5,A.y+2)--C+(5,0)--cycle); add(p); [/asy]](http://latex.artofproblemsolving.com/e/f/4/ef48251bf50ebbfa10db0114d80f3a0f7efe3276.png)
Construct on
such that
. Then
. Then
, so
, or
. Then
, so
. Then we have
and
. So
and
are isogonally conjugate. Thus
. Then
.
If is the circumcenter of
then
so
is cyclic. Then
.
Then . Then
is a right triangle.
Now by the homothety centered at with ratio
,
is taken to
and
is taken to
. Thus
is taken to the circumcenter of
and is the midpoint of
, which is also the circumcenter of
, so
all lie on a circle.
Solution 7 (symmedians)
Median of a triangle
implies
.
Trig ceva for
shows that
is a symmedian.
Then
is a median, use the lemma again to show that
, and similarly
, so you're done.
Solution 8 (inversion) (Official Solution #2)
Invert the figure about a circle centered at , and let
denote the image of the point
under this inversion. Find point
so that
is a parallelogram and let
denote the center of this parallelogram. Note that
and
. Because
is the midpoint of
and
is the midpoint of
, we also have
. Thus
Hence quadrilateral
is cyclic and, by a similar argument, quadrilateral
is also cyclic. Because the images under the inversion of lines
and
are circles that intersect in
and
, it follows that
.
Next note that ,
, and
are collinear and are the images of
,
, and
, respectively, under a homothety centered at
and with ratio
. It follows that
,
, and
are collinear, and then that the points
,
,
, and
lie on a circle.
![2008usamo2-sol8.png](https://wiki-images.artofproblemsolving.com//0/05/2008usamo2-sol8.png)
Solution 9 (Official Solution #1)
Let be the circumcenter of triangle
. We prove that
It will then follow that
lie on the circle with diameter
. Indeed, the fact that the first two angles in
are right is immediate because
and
are the perpendicular bisectors of
and
, respectively. Thus we need only prove that
.
![2008usamo2-sol9.png](https://wiki-images.artofproblemsolving.com//d/df/2008usamo2-sol9.png)
We may assume, without loss of generality, that . This leads to configurations similar to the ones shown above. The proof can be adapted to other configurations. Because
is the perpendicular bisector of
, it follows that triangle
is an isosceles triangle with
. Likewise, triangle
is isosceles with
. Let
and
, so
.
Applying the Law of Sines to triangles and
gives
Taking the quotient of the two equations and noting that
, we find
Because
, we have
Applying the Law of Sines to triangles
and
, we find
Taking the quotient of the two equations yields
so by
,
Because
is an exterior angle to triangle
, we have
. Similarly,
. Hence
Thus
, so
is cyclic. In addition,
and hence, from
,
. Because
is cyclic and
is isosceles with vertex angle
, we have
. Therefore,
This completes the proof.
Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.
See Also
- <url>viewtopic.php?t=202907 Discussion on AoPS/MathLinks</url>
2008 USAMO (Problems • Resources) | ||
Preceded by Problem 1 |
Followed by Problem 3 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.