a 2 b 2 + c 2+ b 2 c 2 + a 2+ c 2 a 2 + b 2≥ a b + c+ b c + a+ c a + ba2b2+c2+b2c2+a2+c2a2+b2≥ab+c+bc+a+ca+b
⇔ a 2 b + a 2 c - a b 2 - a c 2 ( b 2 + c 2 ) ( b + c )+ Một b 2 + b 2 c - một 2 b - b c 2 ( một 2 + c 2 ) ( một + c )+ b c 2 + a c 2 - a 2 c - b 2 c ( a 2 + b 2 ) ( a + b )≥ 0⇔a2b+a2c−ab2−ac2(b2+c2)(b+c)+ab2+b2c−a2b−bc2(a2+c2)(a+c)+bc2+ac2−a2c−b2c(a2+b2)(a+b)≥0
⇔ a b ( a - b ) + a c ( a - c ) ( b 2 + c 2 ) ( b + c )+ Một b ( b - một ) + b c ( c - b ) ( một 2 + c 2 ) ( một + c )+ b c ( c - b ) + a c ( c - a ) ( a 2 + b 2 ) ( a + b )≥ 0⇔ab(a−b)+ac(a−c)(b2+c2)(b+c)+ab(b−a)+bc(c−b)(a2+c2)(a+c)+bc(c−b)+ac(c−a)(a2+b2)(a+b)≥0
⇔ Σ ( a b ( a - b ) ( b 2 + c 2 ) ( b + c )+ Một b ( b - một ) ( một 2 + c 2 ) ( một + c )) ≥ 0⇔Σ(ab(a−b)(b2+c2)(b+c)+ab(b−a)(a2+c2)(a+c))≥0
⇔ Σ ( một b ( một - b ) ( ( một 2 + c 2 ) ( một + c ) - ( b 2 + c 2 ) ( b + c ) ( b 2 + c 2 ) ( một 2 + c 2 ) ( b + c ) ( a + c )) )≥0⇔Σ(ab(a−b)((a2+c2)(a+c)−(b2+c2)(b+c)(b2+c2)(a2+c2)(b+c)(a+c)))≥0
⇔ Σ ( một b ( một - b ) ⋅ ( một - b ) ( một 2 + b 2 + c 2 + một b + b c + c một ) ( b 2 + c 2 ) ( một 2 + c 2 ) ( b + c ) ( a + c )) ≥ 0⇔Σ(ab(a−b)⋅(a−b)(a2+b2+c2+ab+bc+ca)(b2+c2)(a2+c2)(b+c)(a+c))≥0
⇔ Σ ( một b ( một - b ) 2 một 2 + b 2 + c 2 + một b + b c + c một ( b 2 + c 2 ) ( một 2 + c 2 ) ( b + c ) ( một + c )