Maths Olympiad Prep

Library / /501 of 520

Algebra Difficulty 6.0 National olympiad Prove it

Example 2 Let the semi-perimeter of ABC\triangle A B C be pp, the inradius be rr, and the distances from the incenter to the vertices A,B,CA, B, C be lA,lB,lCl_{A}, l_{B}, l_{C}. Prove: 34+rlA+rlB+rlCp212r2\frac{3}{4}+\frac{r}{l_{A}}+\frac{r}{l_{B}}+\frac{r}{l_{C}} \leqslant \frac{p^{2}}{12 r^{2}}.

Solution

Proof: Let the three sides of ABC\triangle ABC be a,b,ca, b, c, and the area be SS. Notice that
rlA=sinA2=(pb)(pc)bc(pb)+(pc)2bc=a2bc=abc2bca2(b+c)4abc. Then 34+rlA+rlB+rlC34+a2(b+c)4abc+b2(c+a)4abc+c2(a+b)4abc=(a+b+c)(ab+bc+ca)4abc. Also, (a+b+c)23(ab+bc+ca),34+rlA+rlB+rlC(a+b+c)312abc. \begin{array}{l} \frac{r}{l_{A}}=\sin \frac{A}{2}=\sqrt{\frac{(p-b)(p-c)}{b c}} \\ \leqslant \frac{(p-b)+(p-c)}{2 \sqrt{b c}}=\frac{a}{2 \sqrt{b c}} \\ =\frac{a \sqrt{b c}}{2 b c} \leqslant \frac{a^{2}(b+c)}{4 a b c} . \\ \text { Then } \frac{3}{4}+\frac{r}{l_{A}}+\frac{r}{l_{B}}+\frac{r}{l_{C}} \\ \leqslant \frac{3}{4}+\frac{a^{2}(b+c)}{4 a b c}+\frac{b^{2}(c+a)}{4 a b c}+\frac{c^{2}(a+b)}{4 a b c} \\ =\frac{(a+b+c)(a b+b c+c a)}{4 a b c} . \\ \text { Also, }(a+b+c)^{2} \geqslant 3(a b+b c+c a), \\ \frac{3}{4}+\frac{r}{l_{A}}+\frac{r}{l_{B}}+\frac{r}{l_{C}} \leqslant \frac{(a+b+c)^{3}}{12 a b c} . \end{array}

Therefore, it suffices to prove (a+b+c)312abcp212r2\frac{(a+b+c)^{3}}{12 a b c} \leqslant \frac{p^{2}}{12 r^{2}}, which is equivalent to proving 8pr2abc8 p r^{2} \leqslant a b c.
Notice that
8pr2abc8rS4RS2rR, 8 p r^{2} \leqslant a b c \Leftrightarrow 8 r S \leqslant 4 R S \Leftrightarrow 2 r \leqslant R,

which holds by Euler's inequality. Thus, the original inequality is proven.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.