Maths Olympiad Prep

Library / /342 of 520

Algebra Difficulty 7.0 National olympiad, round 2 Prove it

Example 1 Proof: For positive real numbers a,b,ca, b, c, we have
aa2+8bc+bb2+8ca+cc2+8ab1.\frac{a}{\sqrt{a^{2}+8 b c}}+\frac{b}{\sqrt{b^{2}+8 c a}}+\frac{c}{\sqrt{c^{2}+8 a b}} \geqslant 1 .

Solution

By the symmetry of equation (1), we first make a common substitution. Let x=aa+b+c,y=ba+b+c,z=ca+b+cx=\frac{a}{a+b+c}, y=\frac{b}{a+b+c}, z=\frac{c}{a+b+c}, then equation (1) can be rewritten as
xf(x2+8yz)+yf(y2+8zx)+zf(z2+8xy)1x f\left(x^{2}+8 y z\right)+y f\left(y^{2}+8 z x\right)+z f\left(z^{2}+8 x y\right) \geqslant 1

where f(t)=1tf(t)=\frac{1}{\sqrt{t}}. By the convexity of ff and x+y+z=1x+y+z=1, we have
xf(x2+8yz)+yf(y2+8zx)+zf(z2+8xy)f(x(x2+8yz)+y(y2+8zx)+z(z2+8xy))\begin{aligned} & x f\left(x^{2}+8 y z\right)+y f\left(y^{2}+8 z x\right)+z f\left(z^{2}+8 x y\right) \\ \geqslant & f\left(x\left(x^{2}+8 y z\right)+y\left(y^{2}+8 z x\right)+z\left(z^{2}+8 x y\right)\right) \end{aligned}

Since f(t)=1tf(t)=\frac{1}{\sqrt{t}} is monotonically decreasing and f(1)=1f(1)=1, it suffices to prove
1x(x2+8yz)+y(y2+8zx)+z(z2+8xy)1 \geqslant x\left(x^{2}+8 y z\right)+y\left(y^{2}+8 z x\right)+z\left(z^{2}+8 x y\right)

In fact,
(x+y+z)3x(x2+8yz)y(y2+8zx)z(z2+8xy)=3[x(yz)2+y(zx)2+z(xy)2]0.\begin{aligned} & (x+y+z)^{3}-x\left(x^{2}+8 y z\right)-y\left(y^{2}+8 z x\right)-z\left(z^{2}+8 x y\right) \\ = & 3\left[x(y-z)^{2}+y(z-x)^{2}+z(x-y)^{2}\right] \geqslant 0 . \end{aligned}

Therefore, equation (1) holds.

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.