Maths Olympiad Prep

Track / Stage 6 / 93 of 400 #1093 of 1964

Problem 1093

National olympiad, first round
Geometry Difficulty 6.1 Prove it

8. Given that A1B1C1A_{1} 、 B_{1} 、 C_{1} are points on the sides BCCAABB C 、 C A 、 A B of the acute triangle ABC\triangle A B C, and AA1BB1CC1A A_{1} 、 B B_{1} 、 C C_{1} are the angle bisectors of BACCBAACB\angle B A C 、 \angle C B A 、 \angle A C B respectively, II is the incenter of ABC\triangle A B C, and HH is the orthocenter of A1B1C1\triangle A_{1} B_{1} C_{1}. Prove:
AH+BH+CHAI+BI+CI. A H+B H+C H \geqslant A I+B I+C I .

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

8. Let's assume
α=BACβ=CBAγ=ACB \alpha=\angle B A C \leqslant \beta=\angle C B A \leqslant \gamma=\angle A C B \text {. }

Let the lengths of sides BCBC, CACA, and ABAB of ABC\triangle ABC be aa, bb, and cc respectively. Let DD and EE be points on side BCBC such that B1DABB_{1} D \parallel AB and B1EB_{1} E bisects BB1C\angle B B_{1} C. Since B1DB=180β\angle B_{1} D B = 180^{\circ} - \beta is an obtuse angle,
BB1>B1D \Rightarrow B B_{1} > B_{1} D
BEEC=BB1B1C>DB1B1C=ABAC=BA1A1C \Rightarrow \frac{B E}{E C} = \frac{B B_{1}}{B_{1} C} > \frac{D B_{1}}{B_{1} C} = \frac{A B}{A C} = \frac{B A_{1}}{A_{1} C}
BE>BA1 \Rightarrow B E > B A_{1}
12BB1C=BB1E>BB1A1. \Rightarrow \frac{1}{2} \angle B B_{1} C = \angle B B_{1} E > \angle B B_{1} A_{1}.
Similarly, 12BB1A>BB1C1\frac{1}{2} \angle B B_{1} A > \angle B B_{1} C_{1}.
Thus, A1B1C1=BB1A1+BB1C1\angle A_{1} B_{1} C_{1} = \angle B B_{1} A_{1} + \angle B B_{1} C_{1}
<12(BB1C+BB1A)=90, < \frac{1}{2} \left( \angle B B_{1} C + \angle B B_{1} A \right) = 90^{\circ},

which means A1B1C1\angle A_{1} B_{1} C_{1} is an acute angle.
By symmetry, A1B1C1\triangle A_{1} B_{1} C_{1} is an acute triangle.
Let BB1B B_{1} intersect A1C1A_{1} C_{1} at point FF.
Since αγ\alpha \leqslant \gamma, we have aca \leqslant c.
This implies BA1=cab+caca+b=BC1B A_{1} = \frac{c a}{b + c} \leqslant \frac{a c}{a + b} = B C_{1}.
Thus, BC1A1BA1C1\angle B C_{1} A_{1} \leqslant \angle B A_{1} C_{1}.
Since B1FC1=BFA190\angle B_{1} F C_{1} = \angle B F A_{1} \leqslant 90^{\circ},
points H and C1 are on the same side of BB1. \Rightarrow \text{points } H \text{ and } C_{1} \text{ are on the same side of } B B_{1}.
Therefore, point HH is inside BB1C1\triangle B B_{1} C_{1}.
Similarly, since αβγ\alpha \leqslant \beta \leqslant \gamma, point HH is also inside CC1B1\triangle C C_{1} B_{1} and AA1C1\triangle A A_{1} C_{1}.
Since αβγ\alpha \leqslant \beta \leqslant \gamma, we have α60γ\alpha \leqslant 60^{\circ} \leqslant \gamma.
Thus, BIC120AIB\angle B I C \leqslant 120^{\circ} \leqslant \angle A I B.
If AIC120\angle A I C \geqslant 120^{\circ}, let the rotation transformation with center AA and angle 60-60^{\circ} map points BB, II, and HH to points BB^{\prime}, II^{\prime}, and HH^{\prime}, as shown in Figure 7. Then points BB^{\prime} and CC are on opposite sides of ABAB.
Since AII\triangle A I^{\prime} I is an equilateral triangle, we have
AI+BI+CI=II+BI+IC=BI+II+IC. \begin{array}{l} A I + B I + C I = I I^{\prime} + B^{\prime} I^{\prime} + I C \\ = B^{\prime} I^{\prime} + I^{\prime} I + I C. \end{array}

Similarly,
AH+BH+CH=HH+BH+HC=BH+HH+HC.Since AII=AII=60,AIB=AIB120, \begin{array}{c} A H + B H + C H = H H^{\prime} + B^{\prime} H^{\prime} + H C \\ = B^{\prime} H^{\prime} + H^{\prime} H + H C. \\ \text{Since } \angle A I I^{\prime} = \angle A I^{\prime} I = 60^{\circ}, \\ \angle A I^{\prime} B^{\prime} = \angle A I B \geqslant 120^{\circ}, \end{array}

and AIC120\angle A I C \geqslant 120^{\circ}, the quadrilateral BIICB^{\prime} I^{\prime} I C is non-concave and on the same side of BCB^{\prime} C as point AA.

Since point HH is inside ACC1\triangle A C C_{1}, i.e., outside the quadrilateral BIICB^{\prime} I^{\prime} I C, and HH is also inside ABI\triangle A B I, point HH^{\prime} is inside ABI\triangle A B^{\prime} I^{\prime}.
This indicates that point HH^{\prime} is outside the quadrilateral BIICB^{\prime} I^{\prime} I C.
Thus, the quadrilateral BIICB^{\prime} I^{\prime} I C is inside the quadrilateral BHHCB^{\prime} H^{\prime} H C.
From equations (1) and (2), we have
AH+BH+CHAI+BI+CI. A H + B H + C H \geqslant A I + B I + C I.

If AIC<120\angle A I C < 120^{\circ}, let the rotation transformation with center CC and angle 6060^{\circ} map points BB, II, and HH to points BB^{\prime}, II^{\prime}, and HH^{\prime}. Then points BB^{\prime} and AA are on opposite sides of BCBC, and similarly to the case where AIC120\angle A I C \geqslant 120^{\circ}, we get
AH+BH+CHAI+BI+CI. A H + B H + C H \geqslant A I + B I + C I.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.