BĐT đã cho tương đương với
12−1a2+b2+2+12−1b2+c2+2+12−1c2+a2+2≥34
⇔a2+b2a2+b2+2+b2+c2b2+c2+2+c2+a2c2+a2+2≥32
⇔∑(a+b)22(a2+b2+2)+∑(a−b)22(a2+b2+2)≥32
Áp dụng BĐTCauchy-Schwarz, ta có:
∑(a+b)22(a2+b2+2)≥4(a+b+c)24(a2+b2+c2)+12=2(a+b+c)22(a2+b2+c2)+6
∑(a−b)22(a2+b2+2)≥[(a−b)+(b−c)+(a−c)]24(a2+b2+c2)+12=2(a−c)22(a2+b2+c2)+6
Cộng 2 BĐT này lại, ta có
VT≥2(a+b+c)2+2(a−c)22(a2+b2+c2)+6
Do đó ta chỉ cần chứng minh
2(a+b+c)2+2(a−c)2≥3(a2+b2+c2)+9=3(a2+b2+c2)+(a+b+c)2
Bằng cách khai triển, ta được BĐT này tương đương với
2(a−b)(b−c)≥0
BĐT hiển nhiên đúng nếu ta giả sử a≥b≥c