Maths Olympiad Prep

Library / Belarus — Selection and Training Session /32 of 78

Belarus — Selection and Training Session

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⁡γ+cos⁡2α+cos⁡2β+cos⁡2γ≥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⋅(1−cos⁡2α−cos⁡2β−cos⁡2γ)=12S⋅(−1−cos⁡2α−cos⁡2β−cos⁡2γ); 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)=S⋅2abc(a+b)(b+c)(c+a)=S⋅2sin⁡αsin⁡βsin⁡γ∏cycl(sin⁡α+sin⁡β)=S⋅sin⁡αsin⁡βsin⁡γ4∏cycl(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⁡α−β2−2sin⁡2γ2==2sin⁡γ2(cos⁡α−β2−cos⁡α+β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)=12S⋅cos⁡α+cos⁡β+(cos⁡γ−1)cos⁡α−β2cos⁡β−γ2cos⁡γ−α2≥12S⋅(cos⁡α+cos⁡β+(cos⁡γ−1))≥≥12S⋅(−1−cos⁡2α−cos⁡2β−cos⁡2γ)=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.