Maths Olympiad Prep

Library / /490 of 520

Algebra Difficulty 7.6 National olympiad, round 2 Prove it

51. Given a,b,c>0a, b, c > 0, prove: (a2b+b2c+c2a)(ab2+bc2+ca2)abc+(a3+abc)(b3+abc)(c3+abc)3\sqrt{\left(a^{2} b+b^{2} c+c^{2} a\right)\left(a b^{2}+b c^{2}+c a^{2}\right)} \geqslant a b c + \sqrt[3]{\left(a^{3}+a b c\right)\left(b^{3}+a b c\right)\left(c^{3}+a b c\right)}. (2001 Korean Mathematical Olympiad)

Solution

51 .
(a2b+b2c+c2a)(ab2+bc2+ca2)abc+(a3+abc)(b3+abc)(c3+abc)3(ac+ba+cb)(ca+ab+bc)1+(a2bc+1)(b2ca+1)(c2ab+1)3\begin{array}{l} \sqrt{\left(a^{2} b+b^{2} c+c^{2} a\right)\left(a b^{2}+b c^{2}+c a^{2}\right)} \geqslant \\ a b c+\sqrt[3]{\left(a^{3}+a b c\right)\left(b^{3}+a b c\right)\left(c^{3}+a b c\right)} \Leftrightarrow \\ \sqrt{\left(\frac{a}{c}+\frac{b}{a}+\frac{c}{b}\right)\left(\frac{c}{a}+\frac{a}{b}+\frac{b}{c}\right)} \geqslant \\ 1+\sqrt[3]{\left(\frac{a^{2}}{b c}+1\right)\left(\frac{b^{2}}{c a}+1\right)\left(\frac{c^{2}}{a b}+1\right)} \end{array}

Let x=ac,y=ba,z=cbx=\frac{a}{c}, y=\frac{b}{a}, z=\frac{c}{b}, then xyz=1x y z=1,
(1)(x+y+z)(xy+yz+zx)1+(xz+1)(yx+1)(zy+1)3(1) \Leftrightarrow \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\sqrt[3]{\left(\frac{x}{z}+1\right)\left(\frac{y}{x}+1\right)\left(\frac{z}{y}+1\right)}

Notice that xyz=1x y z=1, we have
(xz+1)(yx+1)(zy+1)=(x+y)(y+z)(z+x)\left(\frac{x}{z}+1\right)\left(\frac{y}{x}+1\right)\left(\frac{z}{y}+1\right)=(x+y)(-y+z)(z+x)

Also,
(x+y+z)(xy+yz+zx)=(x+y)(y+z)(z+x)+xyz=(x+y)(y+z)(z+x)+1\begin{aligned} (x+y+z)(x y+y z+z x)= & (x+y)(y+z)(z+x)+x y z= \\ & (x+y)(y+z)(z+x)+1 \end{aligned}

So we only need to prove
(x+y+z)(xy+yz+zx)1+(x+y)(y+z)(z+x)3\sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\sqrt[3]{(x+y)(y+z)(z+x)}

Proof 1: Let p=(x+y)(y+z)(z+x)3p=\sqrt[3]{(x+y)(-y+z)(z+x)}, so inequality (2) p3+11+pp(p+1)(p2)0\Leftrightarrow \sqrt{p^{3}+1} \geqslant 1+p \Leftrightarrow p(p+1)(p-2) \geqslant 0, we only need to prove p2p \geqslant 2. By the AM-GM inequality, we get (x+y)(y+z)(z+x)2xy2yz2zx=8xyz=8(x+y)(y+z)(z+x) \geqslant 2 \sqrt{x y} \cdot 2 \sqrt{y z} \cdot 2 \sqrt{z x}=8 x y z=8, so, p2p \geqslant 2.

Proof 2: First prove the strengthened inequality: (x+y+z)(xy+yz+zx)1+\sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+ 13(y+zyz+z+xzx+x+yxy)\frac{1}{3}\left(\frac{y+z}{\sqrt{y z}}+\frac{z+x}{\sqrt{z x}}+\frac{x+y}{\sqrt{x y}}\right).
By the Cauchy-Schwarz inequality and noting that xyz=1x y z=1, we get
[x+(y+z)][yz+x(y+z)][xyz+x(y+z)]2=(1+y+zyz)2[x+(y+z)][y z+x(y+z)] \geqslant[\sqrt{x y z}+\sqrt{x}(y+z)]^{2}=\left(1+\frac{y+z}{\sqrt{y z}}\right)^{2}

That is,
(x+y+z)(xy+yz+zx)1+y+zyz\sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{y+z}{\sqrt{y z}}

Similarly,
(x+y+z)(xy+yz+zx)1+z+xzx(x+y+z)(xy+yz+zx)1+x+yxy\begin{array}{l} \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{z+x}{\sqrt{z x}} \\ \sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{x+y}{\sqrt{x y}} \end{array}

So, adding them up, we get
(x+y+z)(xy+yz+zx)1+13(y+zyz+z+xzx+x+yxy)=\sqrt{(x+y+z)(x y+y z+z x)} \geqslant 1+\frac{1}{3}\left(\frac{y+z}{\sqrt{y z}}+\frac{z+x}{\sqrt{z x}}+\frac{x+y}{\sqrt{x y}}\right)=

Then by the AM-GM inequality, we get
13(y+zyz+z+xzx+x+yxy)(x+y)(y+z)(z+x)xyyzzx3=\frac{1}{3}\left(\frac{y+z}{\sqrt{y z}}+\frac{z+x}{\sqrt{z x}}+\frac{x+y}{\sqrt{x y}}\right) \geqslant \sqrt[3]{\frac{(x+y)(y+z)(z+x)}{\sqrt{x y} \cdot \sqrt{y z} \cdot \sqrt{z x}}}=

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.