Maths Olympiad Prep

Library / /302 of 383

Geometry Difficulty 8.9 Shortlist Prove it IMO

Let ABCABC be a triangle with circumcircle Ω\Omega and incentre II. Let the line passing through II and perpendicular to CICI intersect the segment BCBC and the arc BCBC (not containing AA) of Ω\Omega at points UU and VV, respectively. Let the line passing through UU and parallel to AIAI intersect AVAV at XX, and let the line passing through VV and parallel to AIAI intersect ABAB at YY. Let WW and ZZ be the midpoints of AXAX and BCBC, respectively. Prove that if the points II, XX, and YY are collinear, then the points II, WW, and ZZ are also collinear.

Solutions — 2

Solution 1

We start with some general observations. Set α=A/2\alpha = \angle A / 2, β=B/2\beta = \angle B / 2, γ=C/2\gamma = \angle C / 2. Then obviously α+β+γ=90\alpha + \beta + \gamma = 90^{\circ}. Since UIC=90\angle UIC = 90^{\circ}, we obtain IUC=α+β\angle IUC = \alpha + \beta. Therefore BIV=IUCIBC=α=BAI=BYV\angle BIV = \angle IUC - \angle IBC = \alpha = \angle BAI = \angle BYV, which implies that the points BB, YY, II, and VV lie on a common circle (see Figure 1).

Assume now that the points II, XX and YY are collinear. We prove that YIA=90\angle YIA = 90^{\circ}.
Let the line XUXU intersect ABAB at NN. Since the lines AIAI, UXUX, and VYVY are parallel, we get
NXAI=YNYA=VUVI=XUAI, \frac{NX}{AI} = \frac{YN}{YA} = \frac{VU}{VI} = \frac{XU}{AI},
implying NX=XUNX = XU. Moreover, BIU=α=BNU\angle BIU = \alpha = \angle BNU. This implies that the quadrilateral BUINBUIN is cyclic, and since BIBI is the angle bisector of UBN\angle UBN, we infer that NI=UINI = UI. Thus in the isosceles triangle NIUNIU, the point XX is the midpoint of the base NUNU. This gives IXN=90\angle IXN = 90^{\circ}, i.e., YIA=90\angle YIA = 90^{\circ}.

Figure 1
Figure 1

Let SS be the midpoint of the segment VCVC. Let moreover TT be the intersection point of the lines AXAX and SISI, and set x=BAV=BCVx = \angle BAV = \angle BCV. Since CIA=90+β\angle CIA = 90^{\circ} + \beta and SI=SCSI = SC, we obtain
TIA=180AIS=90βCIS=90βγx=αx=TAI, \angle TIA = 180^{\circ} - \angle AIS = 90^{\circ} - \beta - \angle CIS = 90^{\circ} - \beta - \gamma - x = \alpha - x = \angle TAI,
which implies that TI=TATI = TA. Therefore, since XIA=90\angle XIA = 90^{\circ}, the point TT is the midpoint of AXAX, i.e., T=WT = W.

To complete our solution, it remains to show that the intersection point of the lines ISIS and BCBC coincide with the midpoint of the segment BCBC. But since SS is the midpoint of the segment VCVC, it suffices to show that the lines BVBV and ISIS are parallel.

Since the quadrilateral BYIVBYIV is cyclic, VBI=VYI=YIA=90\angle VBI = \angle VYI = \angle YIA = 90^{\circ}. This implies that BVBV is the external angle bisector of the angle ABCABC, which yields VAC=VCA\angle VAC = \angle VCA. Therefore 2αx=2γ+x2\alpha - x = 2\gamma + x, which gives α=γ+x\alpha = \gamma + x. Hence SCI=α\angle SCI = \alpha, so VSI=2α\angle VSI = 2\alpha.

On the other hand, BVC=180BAC=1802α\angle BVC = 180^{\circ} - \angle BAC = 180^{\circ} - 2\alpha, which implies that the lines BVBV and ISIS are parallel. This completes the solution.

Solution 2

As in Solution 1, we first prove that the points BB, YY, II, VV lie on a common circle and YIA=90\angle YIA = 90^{\circ}. The remaining part of the solution is based on the following lemma, which holds true for any triangle ABCABC, not necessarily with the property that II, XX, YY are collinear.

Lemma. Let ABCABC be the triangle inscribed in a circle Γ\Gamma and let II be its incentre. Assume that the line passing through II and perpendicular to the line AIAI intersects the side ABAB at the point YY. Let the circumcircle of the triangle BYIBYI intersect the circle Γ\Gamma for the second time at VV, and let the excircle of the triangle ABCABC opposite to the vertex AA be tangent to the side BCBC at EE. Then
BAV=CAE. \angle BAV = \angle CAE.
Proof. Let ρ\rho be the composition of the inversion with centre AA and radius ABAC\sqrt{AB \cdot AC}, and the symmetry with respect to AIAI. Clearly, ρ\rho interchanges BB and CC.

Let JJ be the excentre of the triangle ABCABC opposite to AA (see Figure 2). Then we have JAC=BAI\angle JAC = \angle BAI and JCA=90+γ=BIA\angle JCA = 90^{\circ} + \gamma = \angle BIA, so the triangles ACJACJ and AIBAIB are similar, and therefore ABAC=AIAJAB \cdot AC = AI \cdot AJ. This means that ρ\rho interchanges II and JJ. Moreover, since YY lies on ABAB and AIY=90\angle AIY = 90^{\circ}, the point Y=ρ(Y)Y' = \rho(Y) lies on ACAC, and JYA=90\angle JY'A = 90^{\circ}. Thus ρ\rho maps the circumcircle γ\gamma of the triangle BYIBYI to a circle γ\gamma' with diameter JCJC.

Finally, since VV lies on both Γ\Gamma and γ\gamma, the point V=ρ(V)V' = \rho(V) lies on the line ρ(Γ)=AB\rho(\Gamma) = AB as well as on γ\gamma', which in turn means that V=EV' = E. This implies the desired result.

Figure 2

Now we turn to the solution of the problem.
Assume that the incircle ω1\omega_1 of the triangle ABCABC is tangent to BCBC at DD, and let the excircle ω2\omega_2 of the triangle ABCABC opposite to the vertex AA touch the side BCBC at EE (see Figure 3). The homothety with centre AA that takes ω2\omega_2 to ω1\omega_1 takes the point EE to some point FF, and the tangent to ω1\omega_1 at FF is parallel to BCBC. Therefore DFDF is a diameter of ω1\omega_1. Moreover, ZZ is the midpoint of DEDE. This implies that the lines IZIZ and FEFE are parallel.

Let K=YIAEK = YI \cap AE. Since YIA=90\angle YIA = 90^{\circ}, the lemma yields that II is the midpoint of XKXK. This implies that the segments IWIW and AKAK are parallel. Therefore, the points WW, II and ZZ are collinear.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.