Maths Olympiad Prep

Library / /395 of 520

Algebra Difficulty 7.2 National olympiad, round 2 Prove it

81. Let x,y,zx, y, z be positive real numbers, and xyz=1x y z=1, prove:
x3(1+y)(1+z)+y3(1+z)(1+x)+z3(1+x)(1+y)34\frac{x^{3}}{(1+y)(1+z)}+\frac{y^{3}}{(1+z)(1+x)}+\frac{z^{3}}{(1+x)(1+y)} \geqslant \frac{3}{4}
(39th IMO Shortlist Problem)

Solution

81. By Cauchy-Schwarz inequality,
3(x2+y2+z2)(x+y+z)2=(x+y+z)(x+y+z)3xyz3(x+y+z)=3(x+y+z)\begin{aligned} 3\left(x^{2}+y^{2}+z^{2}\right) \geqslant & (x+y+z)^{2}=(x+y+z)(x+y+z) \geqslant \\ & 3 \sqrt[3]{x y z}(x+y+z)= \\ & 3(x+y+z) \end{aligned}

Therefore,
 Hence x2+y2+z2x+y+z2[(x2+y2+z2)(xy+yz+zx)]=(xy)2+(yz)2+(zx)20\begin{array}{l} \text { Hence } x^{2}+y^{2}+z^{2} \geqslant x+y+z \\ 2\left[\left(x^{2}+y^{2}+z^{2}\right)-(x y+y z+z x)\right]=(x-y)^{2}+(y-z)^{2}+(z-x)^{2} \geqslant 0 \end{array}

By the AM-GM inequality,
x2+y2+z23(xyz)23=3x^{2}+y^{2}+z^{2} \geqslant 3 \sqrt[3]{(x y z)^{2}}=3

Thus,
4(x2+y2+z2)[x+y+z+2(xy+yz+zx)+3]=(x2+y2+z2)(x+y+z)+2[(x2+y2+z2)(xy+yz+zx)]+(x2+y2+z2)30\begin{array}{l} 4\left(x^{2}+y^{2}+z^{2}\right)-[x+y+z+2(x y+y z+z x)+3]= \\ \left(x^{2}+y^{2}+z^{2}\right)-(x+y+z)+2\left[\left(x^{2}+y^{2}+z^{2}\right)-(x y+y z+z x)\right]+ \\ \left(x^{2}+y^{2}+z^{2}\right)-3 \geqslant 0 \end{array}

That is,
4(x2+y2+z2)x+y+z+2(xy+yz+zx)+34\left(x^{2}+y^{2}+z^{2}\right) \geqslant x+y+z+2(x y+y z+z x)+3

By Cauchy-Schwarz inequality,
x3(1+y)(1+z)+y3(1+z)(1+x)+z3(1+x)(1+y)=x4x(1+y)(1+z)+y4y(1+z)(1+x)+z4z(1+x)(1+y)(x2+y2+z2)2x(1+y)(1+z)+y(1+z)(1+x)+z(1+x)(1+y)=(x2+y2+z2)2x+y+z+2(xy+yz+zx)+3(x2+y2+z2)24(x2+y2+z2)=x2+y2+z243(xyz)234=34\begin{array}{l} \frac{x^{3}}{(1+y)(1+z)}+\frac{y^{3}}{(1+z)(1+x)}+\frac{z^{3}}{(1+x)(1+y)}= \\ \frac{x^{4}}{x(1+y)(1+z)}+\frac{y^{4}}{y(1+z)(1+x)}+\frac{z^{4}}{z(1+x)(1+y)} \geqslant \\ \frac{\left(x^{2}+y^{2}+z^{2}\right)^{2}}{x(1+y)(1+z)+y(1+z)(1+x)+z(1+x)(1+y)}= \\ \frac{\left(x^{2}+y^{2}+z^{2}\right)^{2}}{x+y+z+2(x y+y z+z x)+3} \geqslant \frac{\left(x^{2}+y^{2}+z^{2}\right)^{2}}{4\left(x^{2}+y^{2}+z^{2}\right)}= \\ \frac{x^{2}+y^{2}+z^{2}}{4} \geqslant \frac{3 \sqrt[3]{(x y z)^{2}}}{4}=\frac{3}{4} \end{array}

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.