Maths Olympiad Prep

Library / /344 of 397

Geometry Difficulty 6.9 National Olympiad Prove it Taiwan

Let triangle ABCABC be an acute triangle, with A1,B1,C1A_1, B_1, C_1 lying on sides BC,CA,ABBC, CA, AB respectively, such that AA1,BB1,CC1AA_1, BB_1, CC_1 are all interior angle bisectors of triangle ABCABC. Let point II be the incenter of triangle ABCABC, and let point HH be the orthocenter of triangle A1B1C1A_1B_1C_1. Prove that:
AH+BH+CHAI+BI+CI. AH + BH + CH \ge AI + BI + CI.

Solution

Denote BAC=α\angle BAC = \alpha, CBA=β\angle CBA = \beta, ACB=γ\angle ACB = \gamma. Without loss of generality, we may assume αβγ\alpha \le \beta \le \gamma.
Also denote the three side lengths of triangle ABCABC as BC=aBC = a, CA=bCA = b, AB=cAB = c.

We first prove: A1B1C1\triangle A_1B_1C_1 is also an acute triangle. Take points D,ED, E on side BCBC satisfying: B1D//ABB_1D // AB, and B1EB_1E is the interior angle bisector of BB1C\angle BB_1C. Since B1DB=180β\angle B_1DB = 180^\circ - \beta is obtuse, we know BB1>B1DBB_1 > B_1D. Thus we have
BEEC=BB1B1C>DB1B1C=BAAC=BA1A1C. \frac{BE}{EC} = \frac{BB_1}{B_1C} > \frac{DB_1}{B_1C} = \frac{BA}{AC} = \frac{BA_1}{A_1C}.
From this we know BE>BA1BE > BA_1, and 12BB1C=BB1E>BB1A1\frac{1}{2}\angle BB_1C = \angle BB_1E > \angle BB_1A_1. Similarly we obtain 12BB1A>BB1C1\frac{1}{2}\angle BB_1A > \angle BB_1C_1. Therefore
A1B1C1=BB1A1+BB1C1<12(BB1C+BB1A)=90 \angle A_1B_1C_1 = \angle BB_1A_1 + \angle BB_1C_1 < \frac{1}{2}(\angle BB_1C + \angle BB_1A) = 90^\circ
is acute. By symmetry, we conclude that A1B1C1\triangle A_1B_1C_1 is an acute triangle.

Returning to the original problem. Let line BB1BB_1 meet A1C1A_1C_1 at point FF. From αγ\alpha \le \gamma, we know aca \le c, and thus we have
BA1=cab+caca+b=BC1 BA_1 = \frac{ca}{b+c} \le \frac{ac}{a+b} = BC_1
so BC1A1BA1C1\angle BC_1A_1 \le \angle BA_1C_1. Because BFBF is the interior angle bisector of A1BC1\angle A_1BC_1, B1FC1=BFA190\angle B_1FC_1 = \angle BFA_1 \le 90^\circ. Therefore HH and C1C_1 lie on the same side of line BB1BB_1, so HH lies inside triangle BB1C1BB_1C_1. Similarly, since αβ\alpha \le \beta and βγ\beta \le \gamma, we know HH lies inside triangle CC1B1CC_1B_1, and also inside triangle AA1C1AA_1C_1.

Since αβγ\alpha \le \beta \le \gamma, we have α60γ\alpha \le 60^\circ \le \gamma. Hence BIC120AIB\angle BIC \le 120^\circ \le \angle AIB. We first discuss the case AIC120\angle AIC \ge 120^\circ.

Rotate each of the points B,I,HB, I, H by 6060^\circ about the center AA, obtaining points B,I,HB', I', H' respectively, such that BB' and CC lie on opposite sides of line ABAB. Since AII\triangle AI'I is an equilateral triangle, we know
AI+BI+CI=II+BI+IC=BI+II+IC.(1) AI + BI + CI = I'I + B'I' + IC = B'I' + I'I + IC. \quad (1)
Similarly we know
AH+BH+CH=HH+BH+HC=BH+HH+HC.(2) AH + BH + CH = H'H + B'H' + HC = B'H' + H'H + HC. \quad (2)
Since AII=AII=60\angle AII' = \angle AI'I = 60^\circ, AIB=AIB120\angle AI'B' = \angle AIB \ge 120^\circ, and AIC120\angle AIC \ge 120^\circ, BIICB'I'IC is a convex quadrilateral, lying on the same side of line BCB'C as point AA.

Next, since HH lies inside triangle ACC1ACC_1, HH lies outside quadrilateral BIICB'I'IC. Also, since HH lies inside triangle ABIABI, we get that HH' also lies inside triangle ABIAB'I'. Therefore HH' also lies outside BIICB'I'IC. Hence, the quadrilateral BIICB'I'IC lies entirely inside quadrilateral BHHCB'H'HC. From this we know the perimeter of BIICB'I'IC does not exceed the perimeter of BHHCB'H'HC. Thus from (1) and (2) we obtain
AH+BH+CHAI+BI+CI. AH + BH + CH \geq AI + BI + CI.

When AIC<120\angle AIC < 120^\circ, we may rotate points B,I,HB, I, H by 6060^\circ about the center CC, obtaining points B,I,HB', I', H' respectively, such that BB' and AA lie on opposite sides of BCBC. The proof in this case is similar to the case above, and yields the same inequality. This completes the proof.

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.