Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /231 of 359

Taiwan IMO Selection Camp

Geometry Difficulty 6.2 National Olympiad Prove it Taiwan

In the plane, let points A,B,C,D,E,FA, B, C, D, E, F satisfy △BCD∼+△ECA∼+△BFA\triangle BCD \stackrel{+}{\sim} \triangle ECA \stackrel{+}{\sim} \triangle BFA (where ∼+\stackrel{+}{\sim} denotes direct similarity), and let II be the incenter of △ABC\triangle ABC.

Prove: the centers of the circumcircles of triangles AID,BIE,CIFAID, BIE, CIF are collinear.

Remark: The statement that two triangles △ABC∼+△DEF\triangle ABC \stackrel{+}{\sim} \triangle DEF are directly similar means, besides the two triangles being similar, that the rotational direction from AA to BB to CC agrees with the rotational direction from DD to EE to FF, that is: they are simultaneously clockwise, or simultaneously counterclockwise.

Solution

Solution: First we prove a lemma:
Lemma 1. Given △ABC\triangle ABC. Let D, E, F satisfy that {AE,AF},{BF,BD},{CD,CE}\{AE, AF\}, \{BF, BD\}, \{CD, CE\} are respectively the isogonal lines of ∠BAC,∠CBA,∠ACB\angle BAC, \angle CBA, \angle ACB. Then AD, BE, CF are concurrent. As shown in the figure:
Figure 1
Proof of Lemma 1. Let AD, BE, CF meet ⊙(BDC),⊙(CEA),⊙(AFB)\odot(BDC), \odot(CEA), \odot(AFB) again at X, Y, Z respectively. From
∠BYC=∠EAC=∠BAF=∠BZC \angle BYC = \angle EAC = \angle BAF = \angle BZC
we get that B, C, Y, Z lie on a common circle ΩA\Omega_A. Similarly we obtain that C, A, Z, X lie on a common circle ΩB\Omega_B, and A, B, X, Y lie on a common circle ΩC\Omega_C. Hence AD, BE, CF are concurrent at the radical center of ΩA,ΩB,ΩC\Omega_A, \Omega_B, \Omega_C. This completes the proof.

Corollary 1. Given △ABC, let D, E, F be the feet of the perpendiculars from A, B, C to BC, CA, AB respectively. Suppose points X, Y, Z satisfy that \{DY, DZ\}, \{EZ, EX\}, \{FX, FY\} are respectively the isogonal lines of ∠EDF, ∠FED, ∠DFE. Then AX, BY, CZ are concurrent.
Proof of Corollary 1. Let X' satisfy △AEF ∪ X' ~ △ABC ∪ X' and similarly define Y', Z'. Then \{AY', AZ'\}, \{BZ', BX'\}, \{CX', CY'\} are respectively the isogonal lines of ∠BAC, ∠CBA, ∠ACB. Hence by the lemma, AX', BY', CZ' are concurrent at a point T, so AX, BY, CZ are concurrent at the isogonal conjugate of T with respect to △ABC. This completes the proof.

Returning to the original problem, let PP be the intersection point of ⊙(ECA)\odot(ECA) and ⊙(FAB)\odot(FAB) other than AA. Then
∠BPC=∠BPA+∠APC=∠BFA+∠AEC=∠BCD+∠DBC=∠BDC. \begin{align*} \angle BPC &= \angle BPA + \angle APC = \angle BFA + \angle AEC \\ &= \angle BCD + \angle DBC = \angle BDC. \end{align*}
Hence P∈⊙(DBC)P \in \odot(DBC). From
∠APD=∠APB+∠BPD=∠AFB+∠BCD=0 \angle APD = \angle APB + \angle BPD = \angle AFB + \angle BCD = 0
we get P∈ADP \in AD, and similarly PP lies on BE,CFBE, CF.

Let Ia,Ib,IcI_a, I_b, I_c be the excenters of △ABC opposite A, B, C respectively, and let Q be the isogonal conjugate of P with respect to △ABC. By the corollary of the lemma (applied to △IIbIcII_bI_c with Q,E,FQ, E, F), IQ,IbE,IcFIQ, I_bE, I_cF are concurrent. Similarly, IQ,IcF,IaDIQ, I_cF, I_aD are concurrent, and IQ,IaD,IbEIQ, I_aD, I_bE are concurrent. Hence IQ,IaD,IbE,IcFIQ, I_aD, I_bE, I_cF are concurrent at a point S.

From
∠ABQ=∠PBC=∠ADC \angle ABQ = \angle PBC = \angle ADC
we get △ABQ ~ △ADC, so AI⋅AIa=AB⋅AC=AD⋅AQAI \cdot AI_a = AB \cdot AC = AD \cdot AQ, and hence
△AIQ∼△ADIa⇒∠AIS=∠ADS \triangle AIQ \sim \triangle ADI_a \Rightarrow \angle AIS = \angle ADS
that is S∈⊙(AID)S \in \odot(AID). Similarly, S∈⊙(BIE),⊙(CIF)S \in \odot(BIE), \odot(CIF). Hence ⊙(AID),⊙(BIE),⊙(CIF)\odot(AID), \odot(BIE), \odot(CIF) are coaxial, completing the proof. See also the figure below:

Figure 2

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 translated into English from zh; metadata (topic, difficulty) added by this project.