Áp dụng bất đẳng thức Cô-si cho hai số không âm, ta có :
\(\dfrac{a+b}{2}\ge\sqrt{ab}\) (1)
\(\dfrac{b+c}{2}\ge\sqrt{bc}\) (2)
\(\dfrac{c+a}{2}\ge\sqrt{ca}\) (3)
Cộng từng vế bất đẳng thức (1), (2), (3) ta được :
\(a+b+c\ge\sqrt{ab}+\sqrt{bc}+\sqrt{ca}\)
Vậy bất đẳng thức đã được chứng minh
Mở rộng cho bốn số a, b, c, d không âm, ta có bất đẳng thức :
\(a+b+c+d\ge\sqrt{ab}+\sqrt{bc}+\sqrt{cd}+\sqrt{da}\)
Mở rộng cho năm số a, b, c, d, e không âm, ta có bất đẳng thức : \(a+b+c+d+e\ge\sqrt{ab}+\sqrt{bc}+\sqrt{cd}+\sqrt{de}+\sqrt{ea}\)
áp dụng BĐT AM-GM với 2 số không âm
\(a+b\ge2\sqrt{ab}\)
\(b+c\ge2\sqrt{bc}\)
\(a+c\ge2\sqrt{ac}\)
cộng các vế của BĐT ta có
\(2\left(a+b+c\right)\ge2\left(\sqrt{ab}+\sqrt{bc}+\sqrt{ac}\right)\)
chia cả hai vế của BĐT cho 2 ta có đpcm
