Maths Olympiad Prep

Library / IMO Shortlist /197 of 365

IMO Shortlist

Geometry Difficulty 8.7 Shortlist Prove it IMO

Let ABCABC be a triangle with AB<AC<BCAB < AC < BC, incentre II and incircle ω\omega. Let XX be the point in the interior of side BCBC such that the line through XX parallel to ACAC is tangent to ω\omega. Similarly, let YY be the point in the interior of side BCBC such that the line through YY parallel to ABAB is tangent to ω\omega. Let AIAI intersect the circumcircle of triangle ABCABC again at P≠AP \neq A. Let KK and LL be the midpoints of ABAB and ACAC, respectively.
Prove that ∠KIL+∠YPX=180∘\angle KIL + \angle YPX = 180^{\circ}.
(Poland)

Solutions — 2

Solution 1

Figure 1
We have ∠APB=∠ACB\angle APB = \angle ACB in the circumcircle and ∠ACB=∠A′XC\angle ACB = \angle A'XC because A′X∥ACA'X \parallel AC. Hence, ∠APB=∠A′XC\angle APB = \angle A'XC, and so quadrilateral BPA′XBPA'X is cyclic. Similarly, it follows that CYA′PCYA'P is cyclic.
Now we are ready to transform ∠KIL+∠YPX\angle KIL + \angle YPX to the sum of angles in triangle A′CBA'CB. By a homothety of factor 2 at AA we have ∠KIL=∠CA′B\angle KIL = \angle CA'B. In circles BPA′XBPA'X and CYA′PCYA'P we have ∠APX=∠A′BC\angle APX = \angle A'BC and ∠YPA=∠BCA′\angle YPA = \angle BCA', therefore
∠KIL+∠YPX=∠CA′B+(∠YPA+∠APX)=∠CA′B+∠BCA′+∠A′BC=180∘. \angle KIL + \angle YPX = \angle CA'B + (\angle YPA + \angle APX) = \angle CA'B + \angle BCA' + \angle A'BC = 180^{\circ}.

Solution 2

Let BC=aBC = a, AC=bAC = b, AB=cAB = c and s=a+b+c2s = \frac{a+b+c}{2}, and let the radii of the incircle, BB-excircle and CC-excircle be r,rbr, r_b and rcr_c, respectively. Let the incircle be tangent to ACAC and ABAB at B0B_0 and C0C_0, respectively; let the BB-excircle be tangent to ACAC at B1B_1, and let the CC-excircle be tangent to ABAB at C1C_1. As is well-known, AB1=s−cAB_1 = s-c and area(△ABC)=rs=rc(s−c)\text{area}(\triangle ABC) = rs = r_c(s-c).
Let the line through XX, parallel to ACAC be tangent to the incircle at EE, and the line through YY, parallel to ABAB be tangent to the incircle at DD. Finally, let APAP meet BB1BB_1 at FF.
Figure 2
It is well-known that points B,EB, E, and B1B_1 are collinear by the homothety between the incircle and the BB-excircle, and BE∥IKBE \parallel IK because IKIK is a midline in triangle B0EB1B_0EB_1. Similarly, it follows that C,DC, D, and C1C_1 are collinear and CD∥ILCD \parallel IL. Hence, the problem reduces to proving ∠YPA=∠CBE\angle YPA = \angle CBE (and its symmetric counterpart ∠APX=∠DCB\angle APX = \angle DCB with respect to the vertex CC), so it suffices to prove that FYPBFYPB is cyclic. Since ACPBACPB is cyclic, that is equivalent to FY∥B1CFY \parallel B_1C and BFFB1=BYYC\frac{BF}{FB_1} = \frac{BY}{YC}.
By the angle bisector theorem we have
BFFB1=ABAB1=cs−c. \frac{BF}{FB_1} = \frac{AB}{AB_1} = \frac{c}{s-c}.
The homothety at CC that maps the incircle to the CC-excircle sends YY to BB, so
BCYC=rcr=ss−c. \frac{BC}{YC} = \frac{r_c}{r} = \frac{s}{s-c}.
So,
BYYC=BCYC−1=ss−c−1=cs−c=BFFB1, \frac{BY}{YC} = \frac{BC}{YC} - 1 = \frac{s}{s-c} - 1 = \frac{c}{s-c} = \frac{BF}{FB_1},
which completes the solution.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.