Ta có:
BĐT tương đương
54(1a+1b)−10(a2+b2)+274(1a+1b)+8c+9−10c2≥0⇔5(a+b)−8ab(a2+b2)4ab+274(1a+1b)+8c+9−10c2≥0
Lại có : 4ab≤(a+b)2 , 8ab(a2+b2)≤(a+b)4,1a+1b≥4a+b
Nên VT ≥A=5.1−(a+b)3a+b+27a+b+8c+9−10c2
Thay a+b=3-c,ta thấy ≥0⇔(2−c)(35c2+12−6c−15c3)c(3−c)≥0
DO vai trò của a,b,c như nhau,không mất tính tổng quát,giả sử c không lớn hơn 2, nên 2-c không âm
Còn phương trình 35c2+12−6c−15c3 ,ta nhận thấy,theo như điều giả sử thì 15c3≤30c2 và 6c≤12 nên hiển nhiên biểu thức đó lớn hơn 0,từ đây hoàn tất cm ban đầu
Như vậy,ta đã chứng minh được bài toán.
Đẳng thức xảy ra khi và chỉ khi a=b=12 , c=2 cùng các hoán vị