\(BDT\Leftrightarrow\left(\frac{1}{3}-\frac{y}{x+3y}\right)+\left(\frac{1}{3}-\frac{z}{y+3z}\right)+\left(\frac{1}{3}-\frac{x}{z+3x}\right)\ge\frac{1}{4}\)
\(\Leftrightarrow\frac{x}{3\left(x+3y\right)}+\frac{y}{3\left(y+3z\right)}+\frac{z}{3\left(z+3x\right)}\ge\frac{1}{4}\left(1\right)\)
Cần cm (1) đúng. Áp dụng BĐT Cauchy-Schwarz dạng Engel ta có:
\(VT_{\left(1\right)}\ge\frac{\left(x+y+z\right)^2}{3\left(x^2+y^2+z^2+3xy+3yz+3xz\right)}\)
\(=\frac{\left(x+y+z\right)^2}{3\left[\left(x+y+z\right)^2+xy+yz+xz\right]}\)\(\ge\frac{\left(x+y+z\right)^2}{3\left[\left(x+y+z\right)^2+\frac{\left(x+y+z\right)^2}{3}\right]}=\frac{1}{4}\)
Suy ra (1) đúng BĐT đầu dc cm