Bổ đề: \(a^3+b^3+c^3\ge\dfrac{1}{9}\left(a+b+c\right)^3\) \(\left(\forall a,b,c>0\right)\)
chứng minh bổ đề: \(\Sigma_{cyc}\left(\dfrac{a^3}{a^3+b^3+c^3}\right)+\dfrac{1}{3}+\dfrac{1}{3}\ge3\sqrt[3]{\left(\Pi_{cyc}\dfrac{a^3}{a^3+b^3+c^3}\right).\dfrac{1}{3}.\dfrac{1}{3}}\)
hoán vị theo a,b,c
ta được: \(3\ge\dfrac{3\left(a+b+c\right)}{\sqrt[3]{9.\left(a^3+b^3+c^3\right)}}\)
mũ 3 hai vế ta có được bất đẳng thức bổ đề: \(a^3+b^3+c^3\ge\dfrac{1}{9}\left(a+b+c\right)^3\)
Áp dụng bất C-S:
\(\sqrt{a^3+3b}+\sqrt{b^3+3c}+\sqrt{c^3+3a}\ge\sqrt{\left(1+1+1\right)\left(a^3+b^3+c^3+3a+3b+3c\right)}\)
\(\ge\sqrt{3.\left[3+3\left(a+b+c\right)\right]}=\sqrt{36}=6\)
Dấu "=" xảy ra tại a=b=c=1
