BĐT cần c/m tương đương:
\(2\left(a^3+b^3+c^3+d^3\right)\ge2+\dfrac{3}{2}\sqrt{4+2\left(ab+ac+ad+bc+bd+cd\right)}\)
\(\Leftrightarrow2\left(a^3+b^3+c^3+d^3\right)\ge2+\dfrac{3}{2}\sqrt{\left(a+b+c+d\right)^2}\)
\(\Leftrightarrow2\left(a^3+b^3+c^3+d^3\right)\ge2+\dfrac{3}{2}\left(a+b+c+d\right)\)
\(\Leftrightarrow4\left(a^3+b^3+c^3+d^3\right)\ge4+3\left(a+b+c+d\right)\)
Dễ dàng chứng minh điều này bằng AM-GM:
\(a^3+a^3+1+b^3+b^3+1+c^3+c^3+1+d^3+d^3+1\ge3a^2+3b^2+3c^2+3d^2\)
\(\Rightarrow2\left(a^3+b^3+c^3+d^3\right)+4\ge12\)
\(\Rightarrow a^3+b^3+c^3+d^3\ge4\) (1)
Lại có:
\(a^2+b^2+c^2+d^2\ge\dfrac{1}{4}\left(a+b+c+d\right)^2\)
\(\Rightarrow a+b+c+d\le4\) (2)
(1);(2) \(\Rightarrow4\left(a^3+b^3+c^3+d^3\right)\ge16\ge4+3.4\ge4+3\left(a+b+c+d\right)\) (đpcm)
