Quy đồng và rút gọn BĐT cần chứng minh có dạng:(a+b+c)+1≥4abc⇔(a+b+c)2+(a+b+c)≥4abc(1a+1b+1c)
⇔(a+b+c)2+(a+b+c)≥4(ab+bc+ac)⇔∑a2+∑a≥2(ab+bc+ac)
Áp dụng hệ quả trực tiếp của BĐT Schur ta có được:
a2+b2+c2+9abca+b+c≥2(ab+bc+ac)
Vậy nếu ta chỉ ra được a+b+c≥9abca+b+c⇔(a+b+c)3≥9abc(a+b+c)=9(ab+bc+ac)
Mà (a+b+c)2≥3(ab+bc+ac) và từ GT ta khai thác đc:(a+b+c)≥3⇒ĐPCM