Ta chứng minh 2 bất đẳng thức phụ sau: với x, y, z dương thì:
\(x^4+y^4+z^4\ge xyz\left(x+y+z\right)\left(1\right)\)
\(\left(1+x\right)\left(1+y\right)\left(1+z\right)\ge\left(1+\sqrt[3]{xyz}\right)^3\left(2\right)\)
+ Chứng minh BĐT (1), sử dụng BĐT AM - GM:
\(x^4+x^4+y^4+z^4\ge4x^2yz\)
\(y^4+y^4+x^4+z^4\ge4xy^2z\)
\(z^4+z^4+x^4+y^4\ge4xyz^2\)
Cộng dồn lại ta có: \(x^4+y^4+z^4\ge xyz\left(x+y+z\right)\)
+ Chứng minh BĐT (2). Ta có:
\(\left(1+x\right)\left(1+y\right)\left(1+z\right)=1+x+y+z+xy+yz+xyz\ge1+3\sqrt[3]{xyz}+3\sqrt[3]{x^2y^2z^2}+xyz=\left(1+\sqrt[3]{xyz}\right)^3\)
Bây giờ ta quay lại chứng minh BĐT ở đề.
BĐT cần chứng minh tương đương với BĐT sau:
\(\sqrt[4]{\left(1+\dfrac{1}{a}\right)^4+\left(1+\dfrac{1}{b}\right)^4+\left(1+\dfrac{1}{c}\right)^4}\ge\sqrt[4]{3}+\dfrac{\sqrt[4]{243}}{2+abc}\)
\(\Leftrightarrow\left(1+\dfrac{1}{a}\right)^4+\left(1+\dfrac{1}{b}\right)^4+\left(1+\dfrac{1}{c}\right)^4\ge3\left(1+\dfrac{3}{2+abc}\right)^4\)
Sử dụng BĐT (1) ta có:
\(\left(1+\dfrac{1}{a}\right)^4+\left(1+\dfrac{1}{b}\right)^4+\left(1+\dfrac{1}{c}\right)^4\ge\left(1+\dfrac{1}{a}\right)\left(1+\dfrac{1}{b}\right)\left(1+\dfrac{1}{c}\right)\left(3+\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)\)
Sử dụng BĐT (2) và BĐT AM - GM ta có:
\(\left(1+\dfrac{1}{a}\right)\left(1+\dfrac{1}{b}\right)\left(1+\dfrac{1}{c}\right)\left(3+\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)\ge\left(1+\dfrac{1}{\sqrt[3]{abc}}\right)^3\left(3+\dfrac{3}{\sqrt[3]{abc}}\right)\)
\(\Rightarrow\left(1+\dfrac{1}{a}\right)\left(1+\dfrac{1}{b}\right)\left(1+\dfrac{1}{c}\right)\left(3+\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)\ge3\left(1+\dfrac{1}{\sqrt[3]{abc.1.1}}\right)^4\ge3\left(1+\dfrac{3}{2+abc}\right)^4\)
Vậy BĐT đã được chứng minh. Đẳng thức xảy ra <=> a = b = c.
