Đặt \(a=\frac{x+y}{2};b=\frac{y+z}{2};c=\frac{z+x}{2}\)
Thì \(\Rightarrow a+b+c=\frac{x+y}{2}+\frac{y+z}{2}+\frac{z+x}{2}=\frac{x+y+y+z+z+x}{2}=\)\(x+y+z=1\)
Bất đẳng thức đã tương đương với \(x+2y+z\ge4\left(x+y\right).\left(y+z\right).\left(z+x\right)\)
\(\Rightarrow a+b\ge16abc\)
Ta có: \(\left(a+b\right).\left(a+b+c\right)^2\ge4\left(a+b\right).4c\left(a+b\right)\ge16abc\left(đpcm\right).\)
Ta có:
\(x\ge0,y\ge0,z\ge0\) và \(x+y+z=1\)
\(\Rightarrow0\le y\le1\)
Ta lại có:
\(4\left(1-x\right)\left(1-y\right)\left(1-z\right)=4\left(y+z\right)\left(1-y\right)\left(1-z\right)\)
Aps dụng BĐT: \(\left(a+b\right)^2\ge4ab\)
Ta được: \(4\left(y+z\right)\left(1-z\right)\le\left(1+y\right)^2\)
Nên: \(4\left(y+z\right)\left(1-y\right)\left(1-z\right)\le\left(1+y\right)^2\left(1-y\right)\)
\(\Rightarrow4\left(y+z\right)\left(1-y\right)\left(1-z\right)\le\left(1+y\right)\left(1-y\right)^2\)
Mà \(\left(1-y\right)^2\le1\Rightarrow4\left(y+z\right)\left(1-y\right)\left(1-z\right)\le1+y\)
\(\Rightarrow4\left(y+z\right)\left(1-y\right)\left(1-z\right)\le x+y+z+y\)
\(\Rightarrow4\left(y+z\right)\left(1-y\right)\left(1-z\right)\le x+2y+z\left(đpcm\right)\)
\(4\left(1-x\right)\left(1-y\right)\left(1-z\right)\le4.\left(\frac{2-x-z}{2}\right)^2.\left(1-y\right)=\left(2-x-z\right)^2\left(1-y\right)\)
\(=\left(x+2y+z\right)\left(x+2y+z\right)\left(1-y\right)\le\left(x+2y+z\right)\left(\frac{x+y+z+1}{2}\right)^2\)
\(=\left(x+2y+z\right).\left(\frac{1+1}{2}\right)^2=x+2y+z\) (đpcm)