Difference between revisions of "2001 USAMO Problems/Problem 2"
m (→Solution 1) |
(→Solution) |
||
Line 71: | Line 71: | ||
As <math>Q'</math> lies on the incircle and <math>AD_2</math>, <math>Q'=Q</math>, and our proof is complete. | As <math>Q'</math> lies on the incircle and <math>AD_2</math>, <math>Q'=Q</math>, and our proof is complete. | ||
+ | |||
+ | |||
+ | === Solution 4 === | ||
+ | We again use Barycentric coordinates. As before, let <math>A</math> be <math>(1,0,0)</math>, <math>B</math> be <math>(0,1,0)</math>, and <math>C</math> be <math>(0,0,1)</math>. Also | ||
+ | |||
+ | <cmath>D_{1}=\left( 0,\frac{s-c}{a},\frac{s-b}{a} \right), D_2=\left(0,\frac{s-b}{a},\frac{s-c}{a}\right), E_2=\left(\frac{s-a}{b},0,\frac{s-c}{b}\right), P=\left(\frac{s-a}{s},\frac{s-b}{s},\frac{s-c}{s}\right).</cmath> | ||
+ | |||
+ | Now, consider a point <math>Q'</math> for which <math>AQ'=PD_{2}</math>. Then working component-vise, we get <math>Q'+P=A+D_{2}</math> from which we can easily get the coordinates of <math>Q'</math> as; | ||
+ | |||
+ | <cmath>Q'=\left(\frac{a}{s},\frac{(s-a)(s-b)}{sa},\frac{(s-a)(s-c)}{sa}\right)</cmath> | ||
+ | |||
+ | It suffices to show that <math>Q'=Q</math>. | ||
+ | |||
+ | Let <math>I=\left(\frac{a}{2s},\frac{b}{2s},\frac{c}{2s}\right)</math> be the incenter of triangle <math>ABC</math>. We claim that <math>I</math> is the midpoint of <math>Q'D_{1}</math>. Indeed, | ||
+ | |||
+ | <cmath>\frac{1}{2}\left(0+\frac{a}{s}\right)=\frac{a}{2s}</cmath> | ||
+ | |||
+ | <cmath>\frac{1}{2}\left(\frac{(s-a)(s-b)}{sa}+\frac{s-c}{a}\right)=\frac{(s-a)(s-b)+s(s-c)}{2sa}=\frac{ab}{2sa}=\frac{b}{2s}</cmath> | ||
+ | |||
+ | <cmath>\frac{1}{2}\left(\frac{(s-a)(s-c)}{sa}+\frac{s-b}{a}\right)=\frac{c}{2s}</cmath> | ||
+ | |||
+ | Hence the claim has been proved. | ||
+ | |||
+ | Since <math>I</math> is the center of <math>\omega</math> and the midpoint of <math>Q'D_{1}</math>, thus <math>Q'</math> is the point diametrically opposite to <math>D_{1}</math>, and hence it lies on <math>\omega</math> and closer to <math>A</math> off the 2 points. Thus <math>Q=Q'</math> as desired. | ||
== See also == | == See also == |
Latest revision as of 07:35, 16 November 2017
Contents
[hide]Problem
Let be a triangle and let
be its incircle. Denote by
and
the points where
is tangent to sides
and
, respectively. Denote by
and
the points on sides
and
, respectively, such that
and
, and denote by
the point of intersection of segments
and
. Circle
intersects segment
at two points, the closer of which to the vertex
is denoted by
. Prove that
.
Solution
Solution 1
It is well known that the excircle opposite is tangent to
at the point
. (Proof: let the points of tangency of the excircle with the lines
be
respectively. Then
. It follows that
, and
, so
.)
Now consider the homothety that carries the incircle of to its excircle. The homothety also carries
to
(since
are collinear), and carries the tangency points
to
. It follows that
.
By Menelaus' Theorem on
with segment
, it follows that
. It easily follows that
.
Solution 2
The key observation is the following lemma.
Lemma: Segment is a diameter of circle
.
Proof: Let be the center of circle
, i.e.,
is the incenter of triangle
. Extend segment
through
to intersect circle
again at
, and extend segment
through
to intersect segment
at
. We show that
, which in turn implies that
, that is,
is a diameter of
.
Let be the line tangent to circle
at
, and let
intersect the segments
and
at
and
, respectively. Then
is an excircle of triangle
. Let
denote the dilation with its center at
and ratio
. Since
and
,
. Hence
. Thus
,
, and
. It also follows that an excircle
of triangle
is tangent to the side
at
.
It is well known that We compute
. Let
and
denote the points of tangency of circle
with rays
and
, respectively. Then by equal tangents,
,
, and
. Hence
It follows that
Combining these two equations yields
. Thus
that is,
, as desired.
Now we prove our main result. Let and
be the respective midpoints of segments
and
. Then
is also the midpoint of segment
, from which it follows that
is the midline of triangle
. Hence
and
. Similarly, we can prove that
.
2001usamo2-2.png
Let be the centroid of triangle
. Thus segments
and
intersect at
. Define transformation
as the dilation with its center at
and ratio
. Then
and
. Under the dilation, parallel lines go to parallel lines and the intersection of two lines goes to the intersection of their images. Since
and
,
maps lines
and
to lines
and
, respectively. It also follows that
and
or
This yields
as desired.
Note: We used directed lengths in our calculations to avoid possible complications caused by the different shapes of triangle .
Solution 3
Here is a rather nice solution using barycentric coordinates:
Let be
,
be
, and
be
. Let the side lengths of the triangle be
and the semi-perimeter
.
Now, Thus,
Therefore, and
Clearly then, the non-normalized coordinates of
Normalizing, we have that
Now, we find the point inside the triangle on the line
such that
. It is then sufficient to show that this point lies on the incircle.
is the fraction
of the way "up" the line segment from
to
. Thus, we are looking for the point that is
of the way "down" the line segment from
to
, or, the fraction
of the way "up".
Thus, has normalized
-coordinate
.
As the line has equation
, it can easily be found that
Recalling that the equation of the incircle is We must show that this equation is true for
's values of
.
Plugging in our values, this means showing that
Dividing by
, this is just
Plugging in the value of
The first bracket is just
and the second bracket is
Dividing everything by
gives
which is
, as desired.
As lies on the incircle and
,
, and our proof is complete.
Solution 4
We again use Barycentric coordinates. As before, let be
,
be
, and
be
. Also
Now, consider a point for which
. Then working component-vise, we get
from which we can easily get the coordinates of
as;
It suffices to show that .
Let be the incenter of triangle
. We claim that
is the midpoint of
. Indeed,
Hence the claim has been proved.
Since is the center of
and the midpoint of
, thus
is the point diametrically opposite to
, and hence it lies on
and closer to
off the 2 points. Thus
as desired.
See also
2001 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.