Đặt VT=f(a,b,c) ta sẽ chứng minh VT≤f(a,t,t) trong đó t=b+c2.Xét hiệu sau:(b2+2)(c2+2)−[(b+c)24+2]2=−(b−c)216(b2+6bc+c2−16)
Không mất tính tổng quát giả sử:c≥a≥b⇒c≥2,a≤2
Ta có:b2+6bc+c2−16≥c2+6c−15≥1>0(b≥1)
Do đó thì (b2+2)(c2+2)≤(t2+2)2⇒VT≤(t2+2)2(a2+2)=(t2+2)2[(6−2t)2+2]
Hàm trên là hàm 1 biến với t=b+c2∈[2;52]