Maths Olympiad Prep

Library / Bulgarian Mathematical Competitions /26 of 92

Bulgarian Mathematical Competitions

Geometry Difficulty 5.5 AIME, harder Prove it Bulgaria

Problem:

Let ABCABC (AC≠BCAC \neq BC) be an acute triangle with orthocenter HH and incenter II. The lines CHCH and CICI meet the circumcircle of △ABC\triangle ABC at points DD and LL, respectively. Prove that ∠CIH=90∘\angle CIH = 90^\circ if and only if ∠IDL=90∘\angle IDL = 90^\circ.

Solution

Solution:

Denote by k(O,R)k(O, R) the circumcircle of △ABC\triangle ABC and by QQ the orthogonal projection of HH on CLCL. Let us further denote
K=HQ∩LO,S=k∩LO,P=CL∩DSM=AB∩LO,N=AB∩CD \begin{gathered} K = HQ \cap LO, \quad S = k \cap LO, \quad P = CL \cap DS \\ M = AB \cap LO, \quad N = AB \cap CD \end{gathered}
Note that NN and MM are the midpoints of HDHD and KLKL, respectively. Indeed, we have AH=ADAH = AD (∠AHD=∠ABC=∠ADH\angle AHD = \angle ABC = \angle ADH) and analogously BH=BDBH = BD. Hence ABAB is the perpendicular bisector of the segment HDHD.

On the other hand, DLSCDLSC is an isosceles trapezoid and HK∥CSHK \parallel CS. Therefore DLKHDLKH is also an isosceles trapezoid and ABAB is the perpendicular bisector of the segment KLKL. Then
LQLC=LKLS=LMR \frac{LQ}{LC} = \frac{LK}{LS} = \frac{LM}{R}
whence
LQ=LC⋅LMR LQ = \frac{LC \cdot LM}{R}
Figure 1
We also have LP=LO⋅LSLC=2R2LCLP = \frac{LO \cdot LS}{LC} = \frac{2R^2}{LC} since △LOP∼△LCS\triangle LOP \sim \triangle LCS and LB2=LS⋅LM=2R⋅LMLB^2 = LS \cdot LM = 2R \cdot LM since △LBS∼△LMB\triangle LBS \sim \triangle LMB. Therefore
LP⋅LQ=LB2 LP \cdot LQ = LB^2
On the other hand, using ∠LBI=∠B+∠C2=∠LIB\angle LBI = \frac{\angle B + \angle C}{2} = \angle LIB we obtain LB=LILB = LI. Then LP⋅LQ=LI2LP \cdot LQ = LI^2 and, in particular, Q≡I⟺P≡IQ \equiv I \Longleftrightarrow P \equiv I.

It remains to note that ∠CIH=90∘⟺Q≡I\angle CIH = 90^\circ \Longleftrightarrow Q \equiv I (since ∠CQH=90∘\angle CQH = 90^\circ) and ∠IDL=90∘⟺P≡I\angle IDL = 90^\circ \Longleftrightarrow P \equiv I (since ∠PDL=90∘\angle PDL = 90^\circ). This completes the proof.

Remark. It can be proved that ∠CIH=90∘\angle CIH = 90^\circ iff cos⁡∠A+cos⁡∠B=1\cos \angle A + \cos \angle B = 1.

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.