Birkaç önerme kullanacağız.
Önerme $1$
$a^3+b^3+c^3\geq 3(ab+ac+bc)-6abc$ dir.
İspat
$a^3+b^3+c^3\geq ab(a+b)+bc(b+c)+ac(a+c)-3abc$ özdeşliğinden $\sum a+b=3-c$ dönüşümü yapılırsa, verilen ifade elde edilir.
Önerme 2
$\sum a^2+a+1=\sum a^2+b+1\geq 3$
İspat $A.G.O$'dan $a^2+b^2+c^2\geq 3 $ elde edilir. Bu eşitlik $a+b+c\geq 3$ eşitliği ile toplanırsa verilen ifade elde edilmiş olur.
Önerme 3
$\dfrac{1}{a^3+b^2+c}\leq\dfrac{1}{b^3+c^2+a}\leq\dfrac{1}{c^3+a^2+b}$ dir.
İspat
Genelliği bozmadan. $a\geq b \geq c$ kabul edelim.
Simetrik şekilde,
$b^3+c^2+a\leq a^3+b^2+c$ ifadesinin doğru olabilmesi için,$ 3ab(a-b)+(b-c)(b+c)+(c-a)\geq 0 $ olması gerekir ki zaten $a\geq b\geq c$ kabul etmiştik .
Chebyshev Eşitsizliğinden $a^3+b^2+c\geq \dfrac{(a+b+c)(a^2+b+1)}{3}$dir. O zaman
$\sum \dfrac{a^3(a^2+a+1)}{a^3+b^2+c}\geq 3$ elde edilir.İspat biter .
Hatalı yer varsa düzeltin.iyi çalışmalar.(dediğiniz ifadenin kanıtından emin değilim )