Với \[a,\,b,\,c\] là ba số thực dương, chứng minh rằng:
Bổ đề (BĐT Cauchy – Schwarz): Cho 6 số thực \[a,\,b,\,c,\,x,\,y,\,z\] và \[x,\,y,\,z > 0\]. Khi đó:
\[\frac{{{a^2}}}{x} + \frac{{{b^2}}}{y} + \frac{{{c^2}}}{z} \ge \frac{{{{\left( {a + b + c} \right)}^2}}}{{x + y + z}}\] (1), dấu xảy ra khi \[\frac{a}{x} = \frac{b}{y} = \frac{c}{z}\].
Chứng minh
Trước hết ta chứng minh BĐT sau: Với 4 số thực \[a,\,b,\,x,\,y\] và \[x,\,y > 0\]. Ta có:
\[\frac{{{a^2}}}{x} + \frac{{{b^2}}}{y} \ge \frac{{{{\left( {a + b} \right)}^2}}}{{x + y}}\] (2), dấu xảy ra khi \[\frac{a}{x} = \frac{b}{y}\].
Thật vậy, ta viết BĐT (2) dưới dạng:
\[{a^2}y\left( {x + y} \right) + {b^2}x\left( {x + y} \right) \ge {\left( {a + b} \right)^2}xy \Leftrightarrow {\left( {ay - bx} \right)^2} \ge 0\] (luôn đúng). Dấu xảy ra khi \[\frac{a}{x} = \frac{b}{y}\].
Áp dụng BĐT (2) hai lần ta được: \[\frac{{{a^2}}}{x} + \frac{{{b^2}}}{y} + \frac{{{c^2}}}{z} \ge \frac{{{{\left( {a + b} \right)}^2}}}{{x + y}} + \frac{{{c^2}}}{z} \ge \frac{{{{\left( {a + b + c} \right)}^2}}}{{x + y + z}}\]. Dấu xảy ra khi \[\frac{a}{x} = \frac{b}{y} = \frac{c}{z}\].
Theo Bổ đề (1) ta có: \[\sum\limits_{cyc} {\frac{{{a^2}}}{{\sqrt {3{a^2} + 8{b^2} + 14ab} }} \ge \frac{{{{\left( {a + b + c} \right)}^2}}}{{\sum\limits_{cyc} {\sqrt {3{a^2} + 8{b^2} + 14ab} } }}} \].
Mặt khác, theo BĐT GM – AM:
\[\sum\limits_{cyc} {\sqrt {3{a^2} + 8{b^2} + 14ab} = \sum\limits_{cyc} {\left( {\sqrt {3a + 2b} \cdot \sqrt {a + 4b} } \right)} \le } \sum\limits_{cyc} {\frac{{\left( {3a + 2b} \right)\left( {a + 4b} \right)}}{2} = 5\left( {a + b + c} \right)} \]
\[ \Rightarrow \sum\limits_{cyc} {\frac{{{a^2}}}{{\sqrt {3{a^2} + 8{b^2} + 14ab} }} \ge \frac{{{{\left( {a + b + c} \right)}^2}}}{{5\left( {a + b + c} \right)}} = \frac{{a + b + c}}{5}} \]
Hay \[\sum\limits_{cyc} {\frac{{{a^2}}}{{\sqrt {3{a^2} + 8{b^2} + 14ab} }} \ge \frac{{a + b + c}}{5}} \] (đpcm).
Dấu xảy ra khi \[a = b = c\].