Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /313 of 359

Taiwan IMO Selection Camp

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+CH≥AI+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 12∠BB1C=∠BB1E>∠BB1A1\frac{1}{2}\angle BB_1C = \angle BB_1E > \angle BB_1A_1. Similarly we obtain 12∠BB1A>∠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 a≤ca \le c, and thus we have
BA1=cab+c≤aca+b=BC1 BA_1 = \frac{ca}{b+c} \le \frac{ac}{a+b} = BC_1
so ∠BC1A1≤∠BA1C1\angle BC_1A_1 \le \angle BA_1C_1. Because BFBF is the interior angle bisector of ∠A1BC1\angle A_1BC_1, ∠B1FC1=∠BFA1≤90∘\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 ∠BIC≤120∘≤∠AIB\angle BIC \le 120^\circ \le \angle AIB. We first discuss the case ∠AIC≥120∘\angle AIC \ge 120^\circ.

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

Next, since HH lies inside triangle ACC1ACC_1, HH lies outside quadrilateral B′I′ICB'I'IC. Also, since HH lies inside triangle ABIABI, we get that H′H' also lies inside triangle AB′I′AB'I'. Therefore H′H' also lies outside B′I′ICB'I'IC. Hence, the quadrilateral B′I′ICB'I'IC lies entirely inside quadrilateral B′H′HCB'H'HC. From this we know the perimeter of B′I′ICB'I'IC does not exceed the perimeter of B′H′HCB'H'HC. Thus from (1) and (2) we obtain
AH+BH+CH≥AI+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 60∘60^\circ about the center CC, obtaining points B′,I′,H′B', I', H' respectively, such that B′B' 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,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.