Áp dụng BĐT Cauchy-Schwarz dạng Engel ta có:
\(F=\frac{a^6}{b^3+c^3}+\frac{b^6}{c^3+a^3}+\frac{c^6}{a^3+b^3}\)
\(\ge\frac{\left(a^3+b^3+c^3\right)^2}{2\left(a^3+b^3+c^3\right)}=\frac{a^3+b^3+c^3}{2}\)
Áp dụng BĐT AM-GM ta có:
\(a^3+\frac{1}{27}+\frac{1}{27}\ge3\sqrt[3]{a^3\cdot\frac{1}{27}\cdot\frac{1}{27}}=3\cdot\frac{a}{9}=\frac{a}{3}\)
Tương tự ta cũng có: \(b^3+\frac{1}{27}+\frac{1}{27}\ge\frac{b}{3};c^3+\frac{1}{27}+\frac{1}{27}\ge\frac{c}{3}\)
\(\Rightarrow a^3+b^3+c^3+\frac{2}{9}\ge\frac{a+b+c}{3}=\frac{1}{3}\Rightarrow a^3+b^3+c^3\ge\frac{1}{9}\)
\(\Rightarrow F\ge\frac{a^3+b^3+c^3}{2}\ge\frac{\frac{1}{9}}{2}=\frac{1}{18}\)
Xảy ra khi \(a=b=c=\frac{1}{3}\)