Maths Olympiad Prep

Library / /261 of 520

Algebra Difficulty 6.6 National olympiad Prove it

7. Let x,y,z0x, y, z \geq 0, and x+y+z=3x+y+z=3, prove:
x1+2yz+y1+2zx+z1+2xy3\sqrt{\frac{x}{1+2 y z}}+\sqrt{\frac{y}{1+2 z x}}+\sqrt{\frac{z}{1+2 x y}} \geq \sqrt{3} (Phan Thanh Viet)

Solution

Proof: According to the Cauchy-Schwarz inequality, we have
cycx1+2yz=cycx2xx2+2x2yz(x+y+z)2xx2+2x2yz+yy2+2y2zx+zz2+2z2xy(x+y+z)2(x+y+z)[x2+y2+z2+2xyz(x+y+z)]\begin{array}{l} \sum_{c y c} \sqrt{\frac{x}{1+2 y z}}=\sum_{c y c} \frac{x^{2}}{\sqrt{x} \sqrt{x^{2}+2 x^{2} y z}} \\ \geq \frac{(x+y+z)^{2}}{\sqrt{x} \sqrt{x^{2}+2 x^{2} y z}+\sqrt{y} \sqrt{y^{2}+2 y^{2} z x}+\sqrt{z} \sqrt{z^{2}+2 z^{2} x y}} \\ \geq \frac{(x+y+z)^{2}}{\sqrt{(x+y+z)\left[x^{2}+y^{2}+z^{2}+2 x y z(x+y+z)\right]}} \end{array}

Therefore, it suffices to prove
(cycx)33(cycx2)+6xyz(cycx)(cycx)3(cycx)(cycx2)+6xyz(cycx)3cycx(yz)20\begin{array}{l} \left(\sum_{c y c} x\right)^{3} \geq 3\left(\sum_{c y c} x^{2}\right)+6 x y z\left(\sum_{c y c} x\right) \Leftrightarrow\left(\sum_{c y c} x\right)^{3} \geq\left(\sum_{c y c} x\right)\left(\sum_{c y c} x^{2}\right)+6 x y z\left(\sum_{c y c} x\right) \\ \Leftrightarrow 3 \sum_{c y c} x(y-z)^{2} \geq 0 \end{array}

This is obviously true. The equality holds when a=b=c=1a=b=c=1 and a=3,b=c=0a=3, b=c=0 and their permutations.

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.