Difference between revisions of "2020 USOJMO Problems/Problem 2"
Thanosaops (talk | contribs) |
m |
||
(5 intermediate revisions by 3 users not shown) | |||
Line 3: | Line 3: | ||
Let <math>\omega</math> be the incircle of a fixed equilateral triangle <math>ABC</math>. Let <math>\ell</math> be a variable line that is tangent to <math>\omega</math> and meets the interior of segments <math>BC</math> and <math>CA</math> at points <math>P</math> and <math>Q</math>, respectively. A point <math>R</math> is chosen such that <math>PR = PA</math> and <math>QR = QB</math>. Find all possible locations of the point <math>R</math>, over all choices of <math>\ell</math>. | Let <math>\omega</math> be the incircle of a fixed equilateral triangle <math>ABC</math>. Let <math>\ell</math> be a variable line that is tangent to <math>\omega</math> and meets the interior of segments <math>BC</math> and <math>CA</math> at points <math>P</math> and <math>Q</math>, respectively. A point <math>R</math> is chosen such that <math>PR = PA</math> and <math>QR = QB</math>. Find all possible locations of the point <math>R</math>, over all choices of <math>\ell</math>. | ||
− | ==Solution== | + | ==Solution 1== |
+ | Call a point <i>good</i> if it is a possible location for <math>R</math>. | ||
+ | Let the incircle of <math>\triangle ABC</math> touch <math>BC</math> at <math>D</math>, <math>AC</math> at <math>E</math>, and <math>\ell</math> at <math>T</math>. Also, let the center of the incircle be <math>I</math>. Clearly, a point is good iff it lies on the circle containing <math>A</math> with center <math>P</math> as well as the circle containing <math>B</math> with center <math>Q</math>. Call these circles <math>\omega_1</math> and <math>\omega_2</math>, respectively. | ||
+ | |||
+ | Note that point <math>T</math> can only lie on minor arc <math>\overarc{DE}</math> (excluding the endpoints). | ||
+ | |||
+ | <b>Claim:</b> A point <math>X</math> is good iff <math>XT\perp PQ</math> and <math>XT=AD=BE</math>. | ||
+ | |||
+ | <b>Proof:</b> WLOG, let <math>X</math> be on the same side of <math>PQ</math> as <math>I</math>. Then we have that <math>T, I, X</math> are collinear. In particular, we have <math>\angle XTP=90^{\circ}</math>. Then <math>TX=AD</math>, <math>PT=PD</math>, <math>\angle XTP=\angle ADP</math>, so that <math>\triangle ADP\cong \triangle XTP\rightarrow PA=PX</math>. Similarly, <math>QB=QX</math>, so <math>X</math> is good. Then <math>X'</math>, the reflection of <math>X</math> across <math>T</math>, is also good. But <math>\omega_1</math> and <math>\omega_2</math> have at most two intersections, so <math>X</math> and <math>X'</math> must be these intersections, and since a point is good iff it lies on both circles, we are done. | ||
+ | |||
+ | Now, we know that <math>R, I, T</math> are collinear. Then we have two cases: | ||
+ | |||
+ | <b>Case 1:</b> <math>R</math> and <math>I</math> lie on the same side of <math>PQ</math>. Then we have <math>RI+IT=AI+ID=BI+IE</math>, so that <math>RI=AI=BI</math>. Then we have that <math>R, A, B</math> lie on a circle with center <math>I</math>. Note that because <math>T</math> lies on <math>\overarc{DE}</math>, <math>R</math> must lie on <math>\overarc{AB}</math>. So, one of the solutions is <math>\boxed{R \text{ in arc } AB\text{ (excluding the endpoints)}}</math>. | ||
+ | |||
+ | <b>Case 2:</b> <math>R</math> and <math>I</math> lie on opposite sides of <math>PQ</math>. Then extend <math>ID</math> out from <math>D</math> to <math>X</math> such that <math>DX=TR</math>, and extend <math>IE</math> out from <math>E</math> to <math>Y</math> such that <math>EY=TR</math>. Then we see that <math>IR=IX=IY</math>, so that <math>\boxed{R \text{ lies on arc } XY\text{ (excluding the endpoints)}}</math>. | ||
+ | |||
+ | ==Solution 2== | ||
+ | We claim that <math>R</math> can lie on minor arc <math>AB</math> of the circumcircle of triangle ABC, and it can also lie on the dilation of this arc about the center of triangle <math>ABC</math> with a factor of <math>-2.</math> | ||
+ | |||
+ | |||
+ | Let <math>D, E,</math> and <math>F</math> be the feet of the angle bisectors from points <math>A, B,</math> and <math>C</math> respectively. Trivially, <math>DEF</math> is also the medial triangle, orthic triangle, and contact triangle (ABC is equilateral). | ||
+ | |||
+ | |||
+ | Let <math>I</math> be the incenter of ABC. Trivially, <math>I</math> is the centroid, orthocenter, and circumcenter of ABC (ABC is equilateral). Also, <math>AD=BE=CF=3r</math> where <math>r</math> is the radius of circle <math>\omega</math> (This is trivial). <math>T</math> is the point of tangency of <math>\omega</math> and segment <math>\overline{PQ}</math>. | ||
+ | |||
− | |||
− | |||
− | |||
R has to lie on the intersection of circles <math>\omega1</math>(center P, radius PA) and <math>\omega2</math>(center Q, radius QB), and for each choice of P, there exist two locations for R. The location that we claim to lie on the minor arc AB of the circumcircle of ABC shall be denoted M, and the other location shall be denoted N. | R has to lie on the intersection of circles <math>\omega1</math>(center P, radius PA) and <math>\omega2</math>(center Q, radius QB), and for each choice of P, there exist two locations for R. The location that we claim to lie on the minor arc AB of the circumcircle of ABC shall be denoted M, and the other location shall be denoted N. | ||
+ | |||
+ | |||
Define triangle XYZ to be the homothety of triangle ABC about I with a factor of -2. | Define triangle XYZ to be the homothety of triangle ABC about I with a factor of -2. | ||
− | + | ||
+ | Critical claim: M, T, I, and N are collinear. | ||
+ | |||
+ | |||
Proof: | Proof: | ||
First we shall prove that T lies on MN using phantom points. | First we shall prove that T lies on MN using phantom points. | ||
+ | |||
+ | |||
Let the intersection of MN and PQ be denoted as K. We shall prove that K and T are the same point. | Let the intersection of MN and PQ be denoted as K. We shall prove that K and T are the same point. | ||
Let <math>PT = p</math> and <math>QT = q</math>. Because of the equal tangent theorem, <math>PD=PT=p</math> and <math>QE=QT=q</math>. Hence, by the pythagorean theorem (recall <math>AD=BE=3r</math>), <math>PA^2 = 9r^2 + p^2</math> and <math>QB^2 = 9r^2 + q^2</math>. Since PN = PA and QN = QB, then <math>PN^2 = 9r^2 + p^2</math> and <math>QN^2 = 9r^2 + q^2</math>. | Let <math>PT = p</math> and <math>QT = q</math>. Because of the equal tangent theorem, <math>PD=PT=p</math> and <math>QE=QT=q</math>. Hence, by the pythagorean theorem (recall <math>AD=BE=3r</math>), <math>PA^2 = 9r^2 + p^2</math> and <math>QB^2 = 9r^2 + q^2</math>. Since PN = PA and QN = QB, then <math>PN^2 = 9r^2 + p^2</math> and <math>QN^2 = 9r^2 + q^2</math>. | ||
+ | |||
+ | |||
PQ is the perpendicular bisector of MN because MN is the radical axis of <math>\omega1</math> and <math>\omega2</math>. Hence, M is the reflection of N across K. Also, NK is the altitude of triangle PNQ, so <math>PK^2-QK^2 = PN^2-QN^2 = p^2 - q^2</math> by using the pythagorean theorem and earlier expressions for <math>PN^2</math> and <math>QN^2</math>. However, <math>PK+QK=PQ=p+q</math>. Now, we have a system of equations to solve for PK and QK in terms of p and q. | PQ is the perpendicular bisector of MN because MN is the radical axis of <math>\omega1</math> and <math>\omega2</math>. Hence, M is the reflection of N across K. Also, NK is the altitude of triangle PNQ, so <math>PK^2-QK^2 = PN^2-QN^2 = p^2 - q^2</math> by using the pythagorean theorem and earlier expressions for <math>PN^2</math> and <math>QN^2</math>. However, <math>PK+QK=PQ=p+q</math>. Now, we have a system of equations to solve for PK and QK in terms of p and q. | ||
+ | |||
Dividing the first equation by the second (we can do this because p+q is always nonzero), we get <math>PK-QK=p-q</math>. Combining this with our PK+QK result, we get <math>PK = p</math> and <math>QK = q</math>. However, <math>PT = p</math> and <math>QT = q</math>, and only one point can exist on PQ for which this result holds true. As a result, K and T are the same point, otherwise it is a contradiction. Hence M, T, and N are collinear. | Dividing the first equation by the second (we can do this because p+q is always nonzero), we get <math>PK-QK=p-q</math>. Combining this with our PK+QK result, we get <math>PK = p</math> and <math>QK = q</math>. However, <math>PT = p</math> and <math>QT = q</math>, and only one point can exist on PQ for which this result holds true. As a result, K and T are the same point, otherwise it is a contradiction. Hence M, T, and N are collinear. | ||
+ | |||
<math>IT \parallel MN</math>. This is because both MN and IT are perpendicular to PQ (IT is perpendicular to PQ because PQ is a tangent with point of tangency T). However, both lines share point T, as discussed earlier. Hence, IT and MN are the same line, and M, T, I, and N are collinear. | <math>IT \parallel MN</math>. This is because both MN and IT are perpendicular to PQ (IT is perpendicular to PQ because PQ is a tangent with point of tangency T). However, both lines share point T, as discussed earlier. Hence, IT and MN are the same line, and M, T, I, and N are collinear. | ||
+ | |||
In fact, from our earlier results from the lengths of PN and PT, we can use the pythagorean theorem to get that <math>NT = 3r</math>, a result that is always true and independent of P and Q! Also, because M is the reflection of N over K (which is the same as T), <math>MT = 3r</math> also. However, T varies based on P and Q. On the other hand, <math>IT = r</math> and M, T, I and N are collinear. Remembering our earlier definitions of M and N, we get that <math>MI = 2r</math> and <math>IN = 4r</math>, with M on the opposite side of N and T from I. Hence, M can be taken to N with a homothety about I with a factor of -2, and T can be taken to M with a homothety about I with a factor of -2. Since, trivially, the circumradius of ABC is 2r (ABC is equilateral), it seems like M can lie anywhere on the circumcircle of ABC. | In fact, from our earlier results from the lengths of PN and PT, we can use the pythagorean theorem to get that <math>NT = 3r</math>, a result that is always true and independent of P and Q! Also, because M is the reflection of N over K (which is the same as T), <math>MT = 3r</math> also. However, T varies based on P and Q. On the other hand, <math>IT = r</math> and M, T, I and N are collinear. Remembering our earlier definitions of M and N, we get that <math>MI = 2r</math> and <math>IN = 4r</math>, with M on the opposite side of N and T from I. Hence, M can be taken to N with a homothety about I with a factor of -2, and T can be taken to M with a homothety about I with a factor of -2. Since, trivially, the circumradius of ABC is 2r (ABC is equilateral), it seems like M can lie anywhere on the circumcircle of ABC. | ||
+ | |||
However, we must take into account the restrictions on P and Q. This limits T to only minor arc DE on the incircle of ABC, hence, because of our earlier homothety statement, M is restricted to minor arc AB on the circumcircle of ABC. Because of our homothety statement about N, N has to lie on minor arc XY on the circumcircle of triangle XYZ. | However, we must take into account the restrictions on P and Q. This limits T to only minor arc DE on the incircle of ABC, hence, because of our earlier homothety statement, M is restricted to minor arc AB on the circumcircle of ABC. Because of our homothety statement about N, N has to lie on minor arc XY on the circumcircle of triangle XYZ. | ||
− | Because we defined both M and N to be possible locations for R, | + | |
+ | Because we defined both M and N to be possible locations for R, <math>\fbox{R can only lie on minor arc AB of the circumcircle of triangle ABC, and also on minor arc XY of the circumcircle of triangle XYZ}</math>. | ||
+ | |||
+ | |||
-QED | -QED | ||
+ | |||
+ | |||
-Solution by thanosaops | -Solution by thanosaops | ||
+ | |||
+ | ==See Also== | ||
+ | {{USAJMO newbox|year=2020|num-b=1|num-a=3}} | ||
+ | {{MAA Notice}} |
Latest revision as of 19:14, 6 October 2023
Contents
Problem
Let be the incircle of a fixed equilateral triangle
. Let
be a variable line that is tangent to
and meets the interior of segments
and
at points
and
, respectively. A point
is chosen such that
and
. Find all possible locations of the point
, over all choices of
.
Solution 1
Call a point good if it is a possible location for .
Let the incircle of
touch
at
,
at
, and
at
. Also, let the center of the incircle be
. Clearly, a point is good iff it lies on the circle containing
with center
as well as the circle containing
with center
. Call these circles
and
, respectively.
Note that point can only lie on minor arc
(excluding the endpoints).
Claim: A point is good iff
and
.
Proof: WLOG, let be on the same side of
as
. Then we have that
are collinear. In particular, we have
. Then
,
,
, so that
. Similarly,
, so
is good. Then
, the reflection of
across
, is also good. But
and
have at most two intersections, so
and
must be these intersections, and since a point is good iff it lies on both circles, we are done.
Now, we know that are collinear. Then we have two cases:
Case 1: and
lie on the same side of
. Then we have
, so that
. Then we have that
lie on a circle with center
. Note that because
lies on
,
must lie on
. So, one of the solutions is
.
Case 2: and
lie on opposite sides of
. Then extend
out from
to
such that
, and extend
out from
to
such that
. Then we see that
, so that
.
Solution 2
We claim that can lie on minor arc
of the circumcircle of triangle ABC, and it can also lie on the dilation of this arc about the center of triangle
with a factor of
Let and
be the feet of the angle bisectors from points
and
respectively. Trivially,
is also the medial triangle, orthic triangle, and contact triangle (ABC is equilateral).
Let be the incenter of ABC. Trivially,
is the centroid, orthocenter, and circumcenter of ABC (ABC is equilateral). Also,
where
is the radius of circle
(This is trivial).
is the point of tangency of
and segment
.
R has to lie on the intersection of circles (center P, radius PA) and
(center Q, radius QB), and for each choice of P, there exist two locations for R. The location that we claim to lie on the minor arc AB of the circumcircle of ABC shall be denoted M, and the other location shall be denoted N.
Define triangle XYZ to be the homothety of triangle ABC about I with a factor of -2.
Critical claim: M, T, I, and N are collinear.
Proof:
First we shall prove that T lies on MN using phantom points.
Let the intersection of MN and PQ be denoted as K. We shall prove that K and T are the same point.
Let and
. Because of the equal tangent theorem,
and
. Hence, by the pythagorean theorem (recall
),
and
. Since PN = PA and QN = QB, then
and
.
PQ is the perpendicular bisector of MN because MN is the radical axis of and
. Hence, M is the reflection of N across K. Also, NK is the altitude of triangle PNQ, so
by using the pythagorean theorem and earlier expressions for
and
. However,
. Now, we have a system of equations to solve for PK and QK in terms of p and q.
Dividing the first equation by the second (we can do this because p+q is always nonzero), we get . Combining this with our PK+QK result, we get
and
. However,
and
, and only one point can exist on PQ for which this result holds true. As a result, K and T are the same point, otherwise it is a contradiction. Hence M, T, and N are collinear.
. This is because both MN and IT are perpendicular to PQ (IT is perpendicular to PQ because PQ is a tangent with point of tangency T). However, both lines share point T, as discussed earlier. Hence, IT and MN are the same line, and M, T, I, and N are collinear.
In fact, from our earlier results from the lengths of PN and PT, we can use the pythagorean theorem to get that , a result that is always true and independent of P and Q! Also, because M is the reflection of N over K (which is the same as T),
also. However, T varies based on P and Q. On the other hand,
and M, T, I and N are collinear. Remembering our earlier definitions of M and N, we get that
and
, with M on the opposite side of N and T from I. Hence, M can be taken to N with a homothety about I with a factor of -2, and T can be taken to M with a homothety about I with a factor of -2. Since, trivially, the circumradius of ABC is 2r (ABC is equilateral), it seems like M can lie anywhere on the circumcircle of ABC.
However, we must take into account the restrictions on P and Q. This limits T to only minor arc DE on the incircle of ABC, hence, because of our earlier homothety statement, M is restricted to minor arc AB on the circumcircle of ABC. Because of our homothety statement about N, N has to lie on minor arc XY on the circumcircle of triangle XYZ.
Because we defined both M and N to be possible locations for R, .
-QED
-Solution by thanosaops
See Also
2020 USAJMO (Problems • Resources) | ||
Preceded by Problem 1 |
Followed by Problem 3 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAJMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.