Bài toán : Cho các số dương a,b,c. Chứng minh rằng :
b+c2a+c+a2b+a+b2c≥3+(a+b+c)2(a−b)2+(b−c)2+(c−a)2
Lời giải 1 :
Các đại lượng trong bài toán làm ta liên tưởng đến ngay phương pháp S-S :
Thật vậy, chú ý các đẳng thức :
b+c2a+c+a2b+a+b2c−3=(a+c)(b+c)2(a−b)2+(a+b)(b+c)(c+a)a+b+2c(a−c)(b−c)
Và :
(a+b+c)2(a−b)2+(b−c)2+(c−a)2=(a+b+c)22(a2+b2+c2−ab−bc−ca)=(a+b+c)22(a−b)2+2(a−c)(b−c)
Do vậy ta đi chứng minh :
(a+c)(b+c)2(a−b)2+(a+b)(b+c)(c+a)a+b+2c(a−c)(b−c)≥(a+b+c)22(a−b)2+2(a−c)(b−c)⇔M(a−b)2+N(a−c)(b−c)≥0
Trong đó :
M=(a+c)(b+c)2−(a+b+c)22,N=(a+b)(b+c)(c+a)a+b+2c−(a+b+c)22
Dễ dàng thấy :
M=(a+c)(b+c)2−(a+b+c)22=(a+b+c)2(a+c)(b+c)2(a2+b2+ab+bc+ca)>0
và :
N=(a+b)(b+c)(c+a)a+b+2c−(a+b+c)22≥(3(a+b)+(b+c)+(c+a))3a+b+2c−(a+b+c)22=8(a+b+c)327(a+b+2c)>8(a+b+c)327(a+b+c)−(a+b+c)22=8(a+b+c)227−(a+b+c)22>0
Do đó chỉ cần giả sử c=min{a,b,c} thì ta có ngay điều phải chứng minh.
Lời giải 2 :
Bất đẳng thức đã cho là thuần nhất nên ta chuẩn hóa a+b+c=1.
Áp dụng BĐT Cauchy−Schwarz ta có :
b+c2a+c+a2b+a+b2c≥(ab+bc+ca)(a+b+c)2=t1(ab+bc+ca=t)
Để ý vế phải có thể viết lại :
3+(a+b+c)2(a−b)2+(b−c)2+(c−a)2=3+2(a2+b2+c2−ab−bc−ca)=5−6(ab+bc+ca)=5−6t
Như vậy thì ta cần chứng minh :
t1≥5−6t⇔t≤31,∨t≥21
Luôn đúng vì t=ab+bc+ca≤31(a+b+c)2=31
Ta có điều phải chứng minh.