\(abc=1\) nên tồn tại các số dương x;y;z sao cho \(\left(a;b;c\right)=\left(\dfrac{x}{y};\dfrac{y}{z};\dfrac{z}{x}\right)\)
BĐT cần chứng minh tương đương:
\(\dfrac{y}{x+2y}+\dfrac{z}{y+2z}+\dfrac{x}{z+2x}\le1\)
\(\Leftrightarrow\dfrac{2y}{x+2y}-1+\dfrac{2z}{y+2z}-1+\dfrac{2x}{z+2x}-1\le2-3\)
\(\Leftrightarrow\dfrac{x}{x+2y}+\dfrac{y}{y+2z}+\dfrac{z}{z+2x}\ge1\)
Điều này đúng do:
\(VT=\dfrac{x^2}{x^2+2xy}+\dfrac{y^2}{y^2+2yz}+\dfrac{z^2}{z^2+2xz}\ge\dfrac{\left(x+y+z\right)^2}{x^2+y^2+z^2+2xy+2yz+2zx}=1\)