Maths Olympiad Prep

Library / /7 of 15

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 PAP \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=AXC\angle ACB = \angle A'XC because AXACA'X \parallel AC. Hence, APB=AXC\angle APB = \angle A'XC, and so quadrilateral BPAXBPA'X is cyclic. Similarly, it follows that CYAPCYA'P is cyclic.
Now we are ready to transform KIL+YPX\angle KIL + \angle YPX to the sum of angles in triangle ACBA'CB. By a homothety of factor 2 at AA we have KIL=CAB\angle KIL = \angle CA'B. In circles BPAXBPA'X and CYAPCYA'P we have APX=ABC\angle APX = \angle A'BC and YPA=BCA\angle YPA = \angle BCA', therefore
KIL+YPX=CAB+(YPA+APX)=CAB+BCA+ABC=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=scAB_1 = s-c and area(ABC)=rs=rc(sc)\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 BEIKBE \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 CDILCD \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 FYB1CFY \parallel B_1C and BFFB1=BYYC\frac{BF}{FB_1} = \frac{BY}{YC}.
By the angle bisector theorem we have
BFFB1=ABAB1=csc. \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=ssc. \frac{BC}{YC} = \frac{r_c}{r} = \frac{s}{s-c}.
So,
BYYC=BCYC1=ssc1=csc=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.