Professional Documents
Culture Documents
Let a, b, c be nonnegative real numbers, no two of which are zero. Prove that
1 1 1 21
+ 2 + 2 ≥ .
b2 + bc + c 2 c + ca + a 2 a + ab + b 2 2 2 2
2( a + b + c ) + 5( ab + bc + ca)
Without loss of generality, assume that c = min{ a, b, c}. We have to prove that
a+b a+b
G ( a, b, c) ≥ G , , c ≥ 0.
2 2
1 1 4
+ 2 ≥ 2 ,
b2 + bc + c 2 c + ca + a 2 2c + c( a + b) + 2ab
1 4 21
+ 2 −
a2 + ab + b 2 2
2c + 2ab + c( a + b) 2 ∑ a + 5 ∑ ab
4 8 84
≥ + − .
3( a + b)2 ( a + b)2 + 2c( a + b) + 4c2 8( a + b + c)2 + ( a + b)2 + 4c( a + b)
This inequality is equivalent to
12( a − b)2
[2c2 + 2ab + c( a + b)][( a + b)2 + 2c( a + b) + 4c2 ]
G (t, t, c) ≥ 0,
2
which reduces to
2c(t − c)2 (8t + c)
≥ 0.
3t2 (9t2 + 10tc + 2c2 )(t2 + tc + c2 )
Equality holds for a = b = c, or a = b, c = 0, or any cyclic permutation.
1 (5a + b + c)2
∑ b2 + bc + c2 = ∑ (5a + b + c)2 (b2 + bc + c2 )
[∑(5a + b + c)]2 49( a + b + c)2
≥ = .
∑(5a + b + c)2 (b2 + bc + c2 ) ∑(5a + b + c)2 (b2 + bc + c2 )
49( a + b + c)2 21
2 2 2
≥ 2 2 2
.
∑(5a + b + c) (b + bc + c ) 2( a + b + c ) + 5( ab + bc + ca)
7 3
≥ .
32q2 + 5q + 2 − 48r 2+q
7 3 7 3 8(1 − 4q)(1 + q)
− ≥ − = ≥ 0.
32q2 + 5q + 2 − 48r 2 + q 2
32q + 5q + 2 2 + q (32q2 + 5q + 2)(2 + q)