Maths Olympiad Prep

Library / Baltic Way Shortlist /68 of 92

Baltic Way Shortlist, 2023

Geometry Difficulty 8.6 Shortlist Prove it Baltic Way

In a triangle △ABC\triangle ABC let the incircle be tangent to BCBC, CACA, ABAB at DD, EE, FF, respectively, and let the excircle opposite to AA be tangent to BCBC, CACA, ABAB at PP, QQ, RR, respectively. Let EXEX and FYFY be altitudes in triangle △DEF\triangle DEF, and QZQZ and RWRW altitudes in triangle △PQR\triangle PQR. Prove that the points XX, YY, ZZ, WW are collinear.

Solutions — 2

Solution 1

Let KK be the orthogonal projection of BB onto the angle bisector of ∠BAC\angle BAC. Now by the Iran lemma and its analogue for the excircle (both easy angle chases), KK lies on lines DEDE and PQPQ. Now let LL be the orthogonal projection of KK onto line ABAB. Our main claim is that LL lies on both XYXY and WYWY and thus XX, YY, WW are colinear. This also suffices since then a symmetric claim with respect to CC gives XX, YY, ZZ colinear. We use directed angles.

Claim: LL lies on XYXY.
Proof: Clearly KLFYKLFY is cyclic. Also letting II be the incenter of △ABC\triangle ABC, we see that BFIKBFIK is cyclic. Now
∠XYD=∠XFE=∠CDE \angle XYD = \angle XFE = \angle CDE
which is quite easy to chase to be
∠BIK=∠BFK=∠LFK=∠LYK=∠LYD. \angle BIK = \angle BFK = \angle LFK = \angle LYK = \angle LYD.

Claim: LL lies on WYWY.
Proof: First note that ∠QKE=90∘\angle QKE = 90^\circ as
∠KEQ+∠EQK=∠DEC+∠CQP=90∘ \angle KEQ + \angle EQK = \angle DEC + \angle CQP = 90^\circ
and since FRFR and EQEQ are symmetric with respect to AKAK, we also have ∠FKR=90∘\angle FKR = 90^\circ. Now as KLRWKLRW is cyclic, we have
∠WLR=∠WKR=∠QKR \angle WLR = \angle WKR = \angle QKR
and by the perpendicularities, we have that this is just
∠EKF=∠YKF=∠YLF. \angle EKF = \angle YKF = \angle YLF.

So LL lies on both XYXY and WYWY, and thus XX, YY, WW are collinear. By symmetry, XX, YY, ZZ are also collinear, so XX, YY, ZZ, WW are collinear.

Solution 2

First we show that XYXY and BCBC are parallel. Indeed, since EFXYEFXY is cyclic and BCBC is tangent to the incircle at DD, we have
∠DXY=∠FED=∠FDB=∠XDB. \angle DXY = \angle FED = \angle FDB = \angle XDB.
Similarly, ZWZW and BCBC are parallel. Moreover, the points XX, YY, ZZ and WW all lie on the same side of BCBC because, for example, XX lies in the interior of segment DFDF (since ∠EDF<90∘\angle EDF < 90^\circ), and similarly for the other points. Therefore it suffices to show that the distance from BCBC to XYXY and ZWZW is the same.

We will use the following Lemma:
Lemma. Let △ABC\triangle ABC be a non-rectangular triangle with altitudes BUBU and CVCV. Then d(A,UV)=d(A,BC)⋅∣cos⁡∠A∣d(A, UV) = d(A, BC) \cdot |\cos \angle A|, where d(P,ℓ)d(P, \ell) denotes the distance from point PP to line ℓ\ell.
Proof. Let ϕ\phi be the homothety with center AA and factor cos⁡∠A\cos \angle A, followed by reflection across the internal angle bisector of ∠A\angle A. Then ϕ\phi maps BB to UU and CC to VV. Hence △ABC\triangle ABC and △AUV\triangle AUV are similar with factor ∣cos⁡∠A∣|\cos \angle A|, from which the Lemma follows.

After applying the Lemma to △DEF\triangle DEF and △PQR\triangle PQR and noting that
cos⁡∠RPQ=cos⁡(180∘−∠EDF)=−cos⁡∠EDF, \cos \angle RPQ = \cos(180^\circ - \angle EDF) = -\cos \angle EDF,
it remains to show that d(D,EF)=d(P,QR)d(D, EF) = d(P, QR).
However, since EFEF and RQRQ are parallel and ∣BD∣=∣PC∣|BD| = |PC|, this is equivalent to showing that d(B,EF)=d(C,QR)d(B, EF) = d(C, QR). But this can be done as follows:
d(B,EF)=∣BF∣⋅sin⁡∠BFE=∣BD∣⋅sin⁡∠EFA=∣PC∣⋅sin⁡∠AEF=∣CQ∣⋅sin⁡∠AQR=d(C,QR). \begin{align*} d(B, EF) &= |BF| \cdot \sin \angle BFE = |BD| \cdot \sin \angle EFA \\ &= |PC| \cdot \sin \angle AEF = |CQ| \cdot \sin \angle AQR \\ &= d(C, QR). \end{align*}

Therefore, the lines XYXY and ZWZW are parallel and equidistant from BCBC, so the points XX, YY, ZZ, WW are collinear.

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.