Dùng phản chứng để chứng minh:G/s đpcm là sai, do vậy, ta có:
a+b+c3−3√abc>a+b−2√ab
a+b+c3−3√abc>b+c−2√bc
a+b+c3−3√abc>c+a−2√ca
Cộng lại có:
a+b+c−33√abc>2[(a+b+c)−(Σ√ab)]
→Ta cần c/m:
a+b+c−33√abc≤2[(a+b+c)−(Σ√ab]
Vì BĐT trên là thuần nhất nên ta có thể chuẩn hóa, cho abc=1.
Khi đó BĐT trở thành:
2(Σ√ab)−a−b−c≤3
Theo bác Schur, ta luôn có, ∀x,y,z>0 thì:
2(Σxy)−x2−y2−z2≤9xyzx+y+z≤33√x2y2z2
⇒....................