2001 USAMO Problems/Problem 2
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
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
.
![[asy] pathpen = linewidth(0.7); size(300); pen d = linetype("4 4") + linewidth(0.6); pair B=(0,0), C=(10,0), A=7*expi(1),O=D(incenter(A,B,C)),D1 = D(MP("D_1",foot(O,B,C))),E1 = D(MP("E_1",foot(O,A,C),NE)),E2 = D(MP("E_2",C+A-E1,NE)); /* arbitrary points */ /* ugly construction for OA */ pair Ca = 2C-A, Cb = bisectorpoint(Ca,C,B), OA = IP(A--A+10*(O-A),C--C+50*(Cb-C)), D2 = D(MP("D_2",foot(OA,B,C))), Fa=2B-A, Ga=2C-A, F=MP("F",D(foot(OA,B,Fa)),NW), G=MP("G",D(foot(OA,C,Ga)),NE); D(OA); D(MP("A",A,N)--MP("B",B,NW)--MP("C",C,NE)--cycle); D(incircle(A,B,C)); D(CP(OA,D2),d); D(B--Fa,linewidth(0.6)); D(C--Ga,linewidth(0.6)); D(MP("P",IP(D(A--D2),D(B--E2)),NNE)); D(MP("Q",IP(incircle(A,B,C),A--D2),SW)); clip((-20,-10)--(-20,20)--(20,20)--(20,-10)--cycle); [/asy]](http://latex.artofproblemsolving.com/d/b/6/db6875d6724835163f466dad6bbadb2278bef967.png)
By Menelaus' Theorem on with segment
, it follows that
. It easily follows that
.
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.