2001 USAMO Problems/Problem 2

Problem

Let $ABC$ be a triangle and let $\omega$ be its incircle. Denote by $D_1$ and $E_1$ the points where $\omega$ is tangent to sides $BC$ and $AC$ , respectively. Denote by $D_2$ and $E_2$ the points on sides $BC$ and $AC$ , respectively, such that $CD_2 = BD_1$ and $CE_2 = AE_1$ , and denote by $P$ the point of intersection of segments $AD_2$ and $BE_2$ . Circle $\omega$ intersects segment $AD_2$ at two points, the closer of which to the vertex $A$ is denoted by $Q$ . Prove that $AQ = D_2P$ .

Problem Let $ABC$ be a triangle and let $\omega$ be its incircle. Denote by $D_1$ and $E_1$ the points where $\omega$ is tangent to sides $BC$ and $AC$ , respectively. Denote by $D_2$ and $E_2$ the points on sides $BC$ and $AC$ , respectively, such that $CD_2 = BD_1$ and $CE_2 = AE_1$ , and denote by $P$ the point of intersection of segments $AD_2$ and $BE_2$ . Circle $\omega$ intersects segment $AD_2$ at two points, the closer of which to the vertex $A$ is denoted by $Q$ . Prove that $AQ = D_2P$ .

Solution Solution 1

It is well known that the excircle opposite $A$ is tangent to $\overline{BC}$ at the point $D_2$ . (Proof: let the points of tangency of the excircle with the lines $BC, AB, AC$ be $D_3, F,G$ respectively. Then $AB+BD_3=AB + BF=AF = AG = AC + AG=AC + CD_3$ . It follows that $2CD_3 = AB + BC - AC$ , and $CD_3 = s-b = BD_1 = CD_2$ , so $D_3 \equiv D_2$ .)

Now consider the homothety that carries the incircle of $\triangle ABC$ to its excircle. The homothety also carries $Q$ to $D_2$ (since $A,Q,D_2$ are collinear), and carries the tangency points $E_1$ to $G$ . It follows that $\frac{AQ}{QD_2} = \frac{AE_1}{E_1G} = \frac{s-a}{E_1C + CD_2} = \frac{s-a}{CD_1 + BD_1} = \frac{s-a}{a}$ .

[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] By Menelaus' Theorem on $\triangle ACD_2$ with segment $\overline{BE_2}$ , it follows that $\frac{CE_2}{E_2A} \cdot \frac{AP}{PD_2} \cdot \frac{BD_2}{BC} = 1 \Longrightarrow \frac{AP}{PD_2} = \frac{(c - (s-a)) \cdot a}{(a-(s-c)) \cdot AE_1} = \frac{a}{s-a}$ . It easily follows that $AQ = D_2P$ . $\blacksquare$

Solution 2

The key observation is the following lemma.

Lemma: Segment $D_1Q$ is a diameter of circle $\omega$ .

2001usamo2-1.png Proof: Let $I$ be the center of circle $\omega$ , i.e., $I$ is the incenter of triangle $ABC$ . Extend segment $D_1I$ through $I$ to intersect circle $\omega$ again at $Q'$ , and extend segment $AQ'$ through $Q'$ to intersect segment $BC$ at $D'$ . We show that $D_2 = D'$ , which in turn implies that $Q = Q'$ , that is, $D_1Q$ is a diameter of $\omega$ .

Let $l$ be the line tangent to circle $\omega$ at $Q'$ , and let $l$ intersect the segments $AB$ and $AC$ at $B_1$ and $C_1$ , respectively. Then $\omega$ is an excircle of triangle $AB_1C_1$ . Let $\mathbf{H}_1$ denote the dilation with its center at $A$ and ratio $AD'/AQ'$ . Since $l\perp D_1Q'$ and $BC\perp D_1Q'$ , $l\parallel BC$ . Hence $AB/AB_1 = AC/AC_1 = AD'/AQ'$ . Thus $\mathbf{H}_1(Q') = D'$ , $\mathbf{H}_1(B_1) = B$ , and $\mathbf{H}_1(C_1) = C$ . It also follows that an excircle $\Omega$ of triangle $ABC$ is tangent to the side $BC$ at $D'$ .

It is well known that $CD_1 = \frac{1}{2}(BC + CA - AB).$ We compute $BD'$ . Let $X$ and $Y$ denote the points of tangency of circle $\Omega$ with rays $AB$ and $AC$ , respectively. Then by equal tangents, $AX = AY$ , $BD' = BX$ , and $D'C = YC$ . Hence $AX = AY = \frac{1}{2}(AX + AY) = \frac{1}{2}(AB + BX + YC + CA) = \frac{1}{2}(AB + BC + CA).$ It follows that $BD' = BX = AX - AB = \frac{1}{2}(BC + CA - AB).$ Combining these two equations yields $BD' = CD_1$ . Thus $BD_2 = BD_1 - D_2D_1 = D_2C - D_2D_1 = CD_1 = BD',$ that is, $D' = D_2$ , as desired. $\blacksquare$

Now we prove our main result. Let $M_1$ and $M_2$ be the respective midpoints of segments $BC$ and $CA$ . Then $M_1$ is also the midpoint of segment $D_1D_2$ , from which it follows that $IM_1$ is the midline of triangle $D_1QD_2$ . Hence $QD_2 = 2IM_1$ and $AD_2\parallel M_1I$ . Similarly, we can prove that $BE_2\parallel M_2I$ .

2001usamo2-2.png Let $G$ be the centroid of triangle $ABC$ . Thus segments $AM_1$ and $BM_2$ intersect at $G$ . Define transformation $\mathbf{H}_2$ as the dilation with its center at $G$ and ratio $-1/2$ . Then $\mathbf{H}_2(A) = M_1$ and $\mathbf{H}_2(B) = M_2$ . Under the dilation, parallel lines go to parallel lines and the intersection of two lines goes to the intersection of their images. Since $AD_2\parallel M_1I$ and $BE_2\parallel M_2I$ , $\mathbf{H}_2$ maps lines $AD_2$ and $BE_2$ to lines $M_1I$ and $M_2I$ , respectively. It also follows that $\mathbf{H}_2(I) = P$ and $\frac{IM_1}{AP} = \frac{GM_1}{AG} = \frac{1}{2}$ or $AP = 2IM_1.$ This yields $AQ = AP - QP = 2IM_1 - QP = QD_2 - QP = PD_2,$ as desired.

Note: We used directed lengths in our calculations to avoid possible complications caused by the different shapes of triangle $ABC$ .

2001 USAMO (Problems • Resources)
Preceded by Problem 1	Followed by Problem 3
1 • 2 • 3 • 4 • 5 • 6
All USAMO Problems and Solutions

Page

Toolbox

Search

2001 USAMO Problems/Problem 2

Problem

See also