Maths Olympiad Prep

Library / /20 of 50

Geometry Difficulty 5.4 AIME, harder Prove it Belarus

Let A1H1A_1H_1, A2H2A_2H_2, A3H3A_3H_3 be altitudes and A1L1A_1L_1, A2L2A_2L_2, A3L3A_3L_3 be bisectors of an acute angled triangle A1A2A3A_1A_2A_3.
Prove the inequality S(L1L2L3)S(H1H2H3)S(L_1L_2L_3) \ge S(H_1H_2H_3) where SS stands for the area of a triangle.

Solution

One can prove the following
Lemma. If α\alpha, β\beta, γ\gamma are angles of a triangle then
cosα+cosβ+cosγ+cos2α+cos2β+cos2γ0. \cos \alpha + \cos \beta + \cos \gamma + \cos 2\alpha + \cos 2\beta + \cos 2\gamma \ge 0.
Now, if aa, bb, cc are the side lengths of the triangle, α\alpha, β\beta, γ\gamma are corresponding angles and SS is the area of this triangle, then we have
S(H1H2H3)=S(1cos2αcos2βcos2γ)=12S(1cos2αcos2βcos2γ); S(H_1H_2H_3) = S \cdot (1 - \cos^2 \alpha - \cos^2 \beta - \cos^2 \gamma) = \frac{1}{2} S \cdot (-1 - \cos 2\alpha - \cos 2\beta - \cos 2\gamma);
and
S(L1L2L3)=S2abc(a+b)(b+c)(c+a)=S2sinαsinβsinγcycl(sinα+sinβ)=Ssinαsinβsinγ4cycl(cosγ2cosαβ2). S(L_1L_2L_3) = S \cdot \frac{2abc}{(a+b)(b+c)(c+a)} = S \cdot \frac{2 \sin \alpha \sin \beta \sin \gamma}{\prod_{cycl} (\sin \alpha + \sin \beta)} = S \cdot \frac{\sin \alpha \sin \beta \sin \gamma}{4 \prod_{cycl} (\cos \frac{\gamma}{2} \cos \frac{\alpha-\beta}{2})}.
Further,
cosα+cosβ+(cosγ1)=2cosα+β2cosαβ22sin2γ2==2sinγ2(cosαβ2cosα+β2)=4sinα2sinβ2sinγ2. \begin{aligned} \cos \alpha + \cos \beta + (\cos \gamma - 1) &= 2 \cos \frac{\alpha + \beta}{2} \cos \frac{\alpha - \beta}{2} - 2 \sin^2 \frac{\gamma}{2} = \\ &= 2 \sin \frac{\gamma}{2} (\cos \frac{\alpha - \beta}{2} - \cos \frac{\alpha + \beta}{2}) = 4 \sin \frac{\alpha}{2} \sin \frac{\beta}{2} \sin \frac{\gamma}{2}. \end{aligned}
So
S(L1L2L3)=12Scosα+cosβ+(cosγ1)cosαβ2cosβγ2cosγα212S(cosα+cosβ+(cosγ1))12S(1cos2αcos2βcos2γ)=S(H1H2H3), \begin{aligned} S(L_1L_2L_3) &= \frac{1}{2} S \cdot \frac{\cos \alpha + \cos \beta + (\cos \gamma - 1)}{\cos \frac{\alpha-\beta}{2} \cos \frac{\beta-\gamma}{2} \cos \frac{\gamma-\alpha}{2}} \ge \frac{1}{2} S \cdot (\cos \alpha + \cos \beta + (\cos \gamma - 1)) \ge \\ &\ge \frac{1}{2} S \cdot (-1 - \cos 2\alpha - \cos 2\beta - \cos 2\gamma) = S(H_1H_2H_3), \end{aligned}
as required.

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 and solution reproduced as published; topic and difficulty added by this site.