Trước hết ta chứng minh bất đẳng thức sau \(\sqrt{a^2+x^2}+\sqrt{b^2+y^2}\ge\sqrt{\left(a+b\right)^2+\left(x+y\right)^2}\)
Thật vậy, bất đẳng thức trên tương đương với \(\left(\sqrt{a^2+b^2}+\sqrt{x^2+y^2}\right)^2\ge\left(a+x\right)^2+\left(b+y\right)^2\)\(\Leftrightarrow2\sqrt{\left(a^2+b^2\right)\left(x^2+y^2\right)}\ge2ax+2by\Leftrightarrow\left(a^2+b^2\right)\left(x^2+y^2\right)\ge\left(ax+by\right)^2\)
Bất đẳng thức cuối cùng là bất đẳng thức Bunyakovsky nên (*) đúng
Áp dụng bất đẳng thức trên ta có \(\sqrt{a^2+\frac{1}{b^2}}+\sqrt{b^2+\frac{1}{c^2}}+\sqrt{c^2+\frac{1}{a^2}}\ge\sqrt{\left(a+b\right)^2+\left(\frac{1}{b}+\frac{1}{c}\right)^2}+\sqrt{c^2+\frac{1}{a^2}}\)\(\ge\sqrt{\left(a+b+c\right)^2+\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^2}\)
Ta cần chứng minh \(\left(a+b+c\right)^2+\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^2\ge\frac{153}{4}\)
Thật vậy, áp dụng bất đẳng thức Cauchy và chú ý giả thiết \(a+b+c\le\frac{3}{2}\), ta được:\(\left(a+b+c\right)^2+\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^2\ge\left(a+b+c\right)^2+\frac{81}{\left(a+b+c\right)^2}\)\(=\left(a+b+c\right)^2+\frac{81}{16\left(a+b+c\right)^2}+\frac{1215}{16\left(a+b+c\right)^2}\)\(\ge2\sqrt{\left(a+b+c\right)^2.\frac{81}{16\left(a+b+c\right)^2}}+\frac{1215}{16.\frac{9}{4}}=\frac{153}{4}\)
Bất đẳng thức đã được chứng minh
Đẳng thức xảy ra khi \(a=b=c=\frac{1}{2}\)