Maths Olympiad Prep

Library / /31 of 104

Geometry Difficulty 5.5 AIME, harder Prove it Bulgaria

Problem:

Let ABCABC (ACBCAC \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=HQLO,S=kLO,P=CLDSM=ABLO,N=ABCD \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 HKCSHK \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=LCLMR LQ = \frac{LC \cdot LM}{R}
Figure 1
We also have LP=LOLSLC=2R2LCLP = \frac{LO \cdot LS}{LC} = \frac{2R^2}{LC} since LOPLCS\triangle LOP \sim \triangle LCS and LB2=LSLM=2RLMLB^2 = LS \cdot LM = 2R \cdot LM since LBSLMB\triangle LBS \sim \triangle LMB. Therefore
LPLQ=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 LPLQ=LI2LP \cdot LQ = LI^2 and, in particular, QIPIQ \equiv I \Longleftrightarrow P \equiv I.

It remains to note that CIH=90QI\angle CIH = 90^\circ \Longleftrightarrow Q \equiv I (since CQH=90\angle CQH = 90^\circ) and IDL=90PI\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 cosA+cosB=1\cos \angle A + \cos \angle B = 1.

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.