Từ giả thiết suy ra \(0< a;b;c< 1\), BĐT tương đương:
\(\Leftrightarrow\left(\frac{1}{a}-1\right)\left(\frac{1}{b}-1\right)^2\left(\frac{1}{c}-1\right)^3\ge5^6\)
Đặt \(\left(\frac{1}{a}-1;\frac{1}{b}-1;\frac{1}{c}-1\right)=\left(x;y;z\right)\Rightarrow x;y;z>0\)
Ta cần chứng minh \(xy^2z^3\ge5^6\)
Ta có\(\left\{{}\begin{matrix}a=\frac{1}{1+x}\\b=\frac{1}{1+y}\\c=\frac{1}{1+z}\end{matrix}\right.\) \(\Rightarrow\frac{1}{1+x}+\frac{2}{1+y}+\frac{3}{1+z}\le1\)
\(\Rightarrow1-\frac{1}{1+x}=\frac{x}{1+x}\ge\frac{2}{1+y}+\frac{3}{1+z}=\frac{1}{1+y}+\frac{1}{1+y}+\frac{1}{1+z}+\frac{1}{1+z}+\frac{1}{1+z}\)
\(\Rightarrow\frac{x}{1+x}\ge5\sqrt[5]{\frac{1}{\left(1+y\right)^2\left(1+z\right)^3}}\)
Tương tự ta có: \(\frac{y}{1+y}\ge5\sqrt[5]{\frac{1}{\left(1+x\right)\left(1+y\right)\left(1+z\right)^3}}\Rightarrow\frac{y^2}{\left(1+y\right)^2}\ge5^2\sqrt[5]{\frac{1}{\left(1+x\right)^2\left(1+y\right)^2\left(1+z\right)^6}}\) ;
\(\frac{z}{1+z}\ge5\sqrt[5]{\frac{1}{\left(1+x\right)\left(1+y\right)^2\left(1+z\right)^2}}\Rightarrow\frac{z^3}{\left(1+z\right)^3}\ge5^3\sqrt[5]{\frac{1}{\left(1+x\right)^3\left(1+y\right)^6\left(1+z\right)^6}}\)
Nhân vế với vế:
\(\frac{xy^2z^3}{\left(1+x\right)\left(1+y\right)^2\left(1+z\right)^3}\ge5^6\sqrt[5]{\frac{1}{\left(1+x\right)^5\left(1+y\right)^{10}\left(1+z\right)^{15}}}=\frac{5^6}{\left(1+x\right)\left(1+y\right)^2\left(1+z\right)^3}\)
\(\Leftrightarrow xy^2z^3\ge5^6\) (đpcm)
Dấu "=" xảy ra khi \(x=y=z=5\) hay \(a=b=c=\frac{1}{6}\)
