Maths Olympiad Prep

Library / /440 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

Example 1.7.3. Let a,b,ca, b, c be non-negative real numbers with sum 1. Prove that
a2b2+c2+b2c2+a2+c2a2+b2+27(a+b+c)2a2+b2+c252\frac{a^{2}}{b^{2}+c^{2}}+\frac{b^{2}}{c^{2}+a^{2}}+\frac{c^{2}}{a^{2}+b^{2}}+\frac{27(a+b+c)^{2}}{a^{2}+b^{2}+c^{2}} \geq 52

Solution

SOLUTION. WLOG, assume that abca \geq b \geq c. Denote
f(a,b,c)=a2b2+c2+b2c2+a2+c2a2+b2+27(a+b+c)2a2+b2+c2.f(a, b, c)=\frac{a^{2}}{b^{2}+c^{2}}+\frac{b^{2}}{c^{2}+a^{2}}+\frac{c^{2}}{a^{2}+b^{2}}+\frac{27(a+b+c)^{2}}{a^{2}+b^{2}+c^{2}} .

We will prove that f(a,b,c)f(a,b2+c2,0)f(a, b, c) \geq f\left(a, \sqrt{b^{2}+c^{2}}, 0\right). Indeed
f(a,b,c)f(a,b2+c2,0)=b2c2+a2+c2a2+b2b2+c2a2+27(a+b+c)227(a+b2+c2)2a2+b2+c2b2c2(1a2(a2+b2)+1a2(a2+c2))+54a(b+cb2+c2)a2+b2+c2b2c2(1a2(a2+b2)+1a2(a2+c2))+54b2c24bc(a2+b2+c2)\begin{array}{c} f(a, b, c)-f\left(a, \sqrt{b^{2}+c^{2}}, 0\right) \\ =\frac{b^{2}}{c^{2}+a^{2}}+\frac{c^{2}}{a^{2}+b^{2}}-\frac{b^{2}+c^{2}}{a^{2}}+\frac{27(a+b+c)^{2}-27\left(a+\sqrt{b^{2}+c^{2}}\right)^{2}}{a^{2}+b^{2}+c^{2}} \\ \geq-b^{2} c^{2}\left(\frac{1}{a^{2}\left(a^{2}+b^{2}\right)}+\frac{1}{a^{2}\left(a^{2}+c^{2}\right)}\right)+\frac{54 a\left(b+c-\sqrt{b^{2}+c^{2}}\right)}{a^{2}+b^{2}+c^{2}} \\ \geq-b^{2} c^{2}\left(\frac{1}{a^{2}\left(a^{2}+b^{2}\right)}+\frac{1}{a^{2}\left(a^{2}+c^{2}\right)}\right)+\frac{54 b^{2} c^{2}}{4 b c\left(a^{2}+b^{2}+c^{2}\right)} \end{array}

Moreover, because
3a2544bc1a2(a2+b2)+1a2(a2+c2)3a2+b2+c2\begin{array}{c} \frac{3}{a^{2}} \geq \frac{54}{4 b c} \\ \frac{1}{a^{2}\left(a^{2}+b^{2}\right)}+\frac{1}{a^{2}\left(a^{2}+c^{2}\right)} \leq \frac{3}{a^{2}+b^{2}+c^{2}} \end{array}

We infer that f(a,b,c)f(a,b2+c2,0)f(a, b, c) \geq f\left(a, \sqrt{b^{2}+c^{2}}, 0\right). Denote t=b2+c2t=\sqrt{b^{2}+c^{2}}, then we have
f(a,t,0)=a2t2+t2a2+27(a+t)2a2+t2=2+(a2+t2)2a2t2+54ata2+t2+27=(a2+t2)2a2t2+27ata2+t2+27ata2+t2+25327273+25=52\begin{array}{l} f(a, t, 0)=\frac{a^{2}}{t^{2}}+\frac{t^{2}}{a^{2}}+\frac{27(a+t)^{2}}{a^{2}+t^{2}}=-2+\frac{\left(a^{2}+t^{2}\right)^{2}}{a^{2} t^{2}}+\frac{54 a t}{a^{2}+t^{2}}+27 \\ \quad=\frac{\left(a^{2}+t^{2}\right)^{2}}{a^{2} t^{2}}+\frac{27 a t}{a^{2}+t^{2}}+\frac{27 a t}{a^{2}+t^{2}}+25 \geq 3 \sqrt[3]{27 \cdot 27}+25=52 \end{array}

This ends the proof. The equality holds for (a,b,c)(3±52,1,0)(a, b, c) \sim\left(\frac{-3 \pm \sqrt{5}}{2}, 1,0\right).

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.