Let A1H1, A2H2, A3H3 be altitudes and A1L1, A2L2, A3L3 be bisectors of an acute angled triangle A1A2A3. Prove the inequality S(L1L2L3)≥S(H1H2H3) where S stands for the area of a triangle.
Solution
One can prove the following Lemma. If α, β, γ are angles of a triangle then cosα+cosβ+cosγ+cos2α+cos2β+cos2γ≥0. Now, if a, b, c are the side lengths of the triangle, α, β, γ are corresponding angles and S is the area of this triangle, then we have S(H1H2H3)=S⋅(1−cos2α−cos2β−cos2γ)=21S⋅(−1−cos2α−cos2β−cos2γ); and S(L1L2L3)=S⋅(a+b)(b+c)(c+a)2abc=S⋅∏cycl(sinα+sinβ)2sinαsinβsinγ=S⋅4∏cycl(cos2γcos2α−β)sinαsinβsinγ. Further, cosα+cosβ+(cosγ−1)=2cos2α+βcos2α−β−2sin22γ==2sin2γ(cos2α−β−cos2α+β)=4sin2αsin2βsin2γ. So S(L1L2L3)=21S⋅cos2α−βcos2β−γcos2γ−αcosα+cosβ+(cosγ−1)≥21S⋅(cosα+cosβ+(cosγ−1))≥≥21S⋅(−1−cos2α−cos2β−cos2γ)=S(H1H2H3), 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.