dễ dàng CM: \(x^2+y^2+z^2\ge xy+yz+zx\Leftrightarrow3xyz\ge xy+yz+zx\Leftrightarrow\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\le3\)
Áp dụng BĐT Cauchy ta có:
\(\frac{x^2}{y+2}+\frac{y+2}{9}+\frac{x}{3}\ge3\sqrt[3]{\frac{x^2}{y+2}.\frac{y+2}{9}.\frac{x}{3}}=x\)
CM tương tự với các phân số còn lại rồi cộng vế theo vế ta được:
\(P\ge x+y+z-\frac{x+2}{9}-\frac{y+2}{9}-\frac{z+2}{9}-\frac{x}{3}-\frac{y}{3}-\frac{z}{3}\)
\(=\frac{5}{9}\left(x+y+z\right)-\frac{2}{3}\)
Phải CM: \(\frac{5}{9}\left(x+y+z\right)-\frac{2}{3}\ge1\Leftrightarrow x+y+z\ge3\)
Mặt khác lại có: \(\left(x+y+z\right)\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)\ge9\Leftrightarrow x+y+z\ge\frac{9}{\frac{1}{x}+\frac{1}{y}+\frac{1}{z}}\ge\frac{9}{3}=3\)
Vậy \(x+y+z\ge3\)
Vậy BĐT ban đầu đã được CM
hay ...>=1