Maths Olympiad Prep

Library / /251 of 397

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 PADP \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 AIAIa=ABAC=ADAQAI \cdot AI_a = AB \cdot AC = AD \cdot AQ, and hence
AIQADIaAIS=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,000 problems in a working order, from AMC 10 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.