Cho a \(\ge\) 0, b \(\ge\) 0, c \(\ge\) 0. Chứng minh rằng:
a) \(\dfrac{a+b}{2}\) \(\ge\) \(\sqrt{ab}\) (bất đẳng thức Cô-si) ;
b) a + b + c \(\ge\) \(\sqrt{ab}\) + \(\sqrt{bc}\) + \(\sqrt{ca}\) ;
c) a + b + \(\dfrac{1}{2}\) \(\ge\) \(\sqrt{a}\) + \(\sqrt{b}\) ;
\(\text{a) }\dfrac{a+b}{2}\ge\sqrt{ab}\left(1\right)\\ \Leftrightarrow\dfrac{a+b}{2}-\sqrt{ab}\ge0\\ \Leftrightarrow\dfrac{a+b}{2}-\dfrac{2\sqrt{ab}}{2}\ge0\\ \Leftrightarrow\dfrac{a+b-2\sqrt{ab}}{2}\ge0\\ \Leftrightarrow\dfrac{\left(\sqrt{a}-\sqrt{b}\right)^2}{2}\ge0\left(2\right)\)
BDT (2) luôn đúng \(\forall x\) nên BDT (1) luôn đúng \(\forall x\)
Dấu "=" xảy ra khi:
\(\dfrac{\left(\sqrt{a}-\sqrt{b}\right)^2}{2}=0\\ \Leftrightarrow\sqrt{a}-\sqrt{b}=0\\ \Leftrightarrow\sqrt{a}=\sqrt{b}\\ \Leftrightarrow a=b\)
Vậy \(\dfrac{a+b}{2}\ge\sqrt{ab}\) đẳng thức xảy ra khi: \(a=b\)
b) Áp dụng BDT Cô-si có:
\(\dfrac{a+b}{2}\ge\sqrt{ab}\\ \dfrac{a+c}{2}\ge\sqrt{ac}\\ \dfrac{b+c}{2}\ge\sqrt{bc}\\ \Rightarrow\dfrac{a+b}{2}+\dfrac{a+c}{2}+\dfrac{b+c}{2}\ge\sqrt{ab}+\sqrt{ac}+\sqrt{bc}\\ \Rightarrow\dfrac{a+b+a+c+b+c}{2}\ge\sqrt{ab}+\sqrt{ac}+\sqrt{bc}\\ \Rightarrow a+b+c\ge\sqrt{ab}+\sqrt{ac}+\sqrt{bc}\)
Vậy \(a+b+c\ge\sqrt{ab}+\sqrt{ac}+\sqrt{bc}\) đẳng thức xảy ra khi : \(a=b=c\)
b) \(a+b+c\ge\sqrt{ab}+\sqrt{bc}+\sqrt{ca}\)
\(\Leftrightarrow2\left(a+b+c\right)\ge2\sqrt{ab}+2\sqrt{bc}+2\sqrt{ca}\)
\(\Leftrightarrow\left(a-2\sqrt{ab}+b\right)+\left(b-2\sqrt{bc}+c\right)+\left(c-2\sqrt{ca}+a\right)\ge0\)
\(\Leftrightarrow\left(\sqrt{a}-\sqrt{b}\right)^2+\left(\sqrt{b}-\sqrt{c}\right)^2+\left(\sqrt{c}-\sqrt{a}\right)^2\ge0\)
Vì BĐT cuối luôn đúng mà các phép biến đổi trên là tương đương nên BĐT ban đầu luôn đúng
Dấu "=" \(\Leftrightarrow a=b=c\)
c) \(a+b+\frac{1}{2}\ge\sqrt{a}+\sqrt{b}\)
\(\Leftrightarrow\left(a-\sqrt{a}+\frac{1}{4}\right)+\left(b-\sqrt{b}+\frac{1}{4}\right)\ge0\)
\(\Leftrightarrow\left(\sqrt{a}-\frac{1}{2}\right)^2+\left(\sqrt{b}-\frac{1}{2}\right)^2\ge0\)
Vì bđt cuối luôn đúng mà các phép biến đôi trên là tương đương nên bđt ban đầu luôn đúng
Dấu "=" \(\Leftrightarrow a=b=\frac{1}{4}\)