Maths Olympiad Prep

Library / /278 of 520

Algebra Difficulty 6.7 National olympiad Prove it

48. Let a,b,ca, b, c be the side lengths of a triangle. If a2+b2+c2=3a^{2}+b^{2}+c^{2}=3, then
ab+bc+ca1+2abca b+b c+c a \geqslant 1+2 a b c

Solution

48. (2007.04.04) Simplify and prove: From a2=3\sum a^{2}=3, we know that the original inequality is equivalent to
3a2bc(a2)26abc3a23a2(3bca2)18abc\begin{array}{l} 3 \sum a^{2} \cdot \sum b c-\left(\sum a^{2}\right)^{2} \geqslant 6 a b c \cdot \sqrt{3 \sum a^{2}} \Leftrightarrow \\ \sqrt{3 \sum a^{2}}\left(3 \sum b c-\sum a^{2}\right) \geqslant 18 a b c \end{array}

Since
3a2a\sqrt{3 \sum a^{2}} \geqslant \sum a

It suffices to prove
a(3bca2)18abc\sum a\left(3 \sum b c-\sum a^{2}\right) \geqslant 18 a b c

Let the circumradius of ABC\triangle ABC be RR, the inradius be rr, and the semiperimeter be ss, then
abc=2Rra3bca2=14(a)2+54(2bca2)=s2+5r(4R+r)\begin{array}{c} a b c=2 R r \sum a \\ 3 \sum b c-\sum a^{2}=\frac{1}{4}\left(\sum a\right)^{2}+\frac{5}{4}\left(2 \sum b c-\sum a^{2}\right)= \\ s^{2}+5 r(4 R+r) \end{array}

Thus, to prove inequality (1), it suffices to prove
s2+5r(4R+r)36Rrs216Rrr2s^{2}+5 r(4 R+r) \geqslant 36 R r \Leftrightarrow s^{2} \geqslant 16 R r-r^{2}

This inequality is the Gerretsen inequality, hence the original inequality is proved.

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.