Ta thấy: \(\frac{a^2}{b}-2a+b=\frac{\left(a-b\right)^2}{b}\)
\(\sqrt{a^2-ab+b^2}-\frac{a+b}{2}=\frac{a^2-ab+b^2-\frac{\left(a+b\right)^2}{b}}{\sqrt{a^2-ab+b^2}+\frac{a+b}{2}}=\frac{3\left(a-b\right)^2}{4\sqrt{a^2-ab+b^2}+2a+2b}\)
Bất đẳng thức tương đương với:
\(\frac{\left(a-b\right)^2}{b}+\frac{\left(b-c\right)^2}{c}+\frac{\left(c-a\right)^2}{c}\ge\)
\(\frac{3\left(a-b\right)^2}{4\sqrt{a^2+b^2-2ab}+2\left(a+b\right)}+\frac{3\left(b-c\right)^2}{4\sqrt{b^2+c^2-bc}+2\left(b+c\right)}+\frac{3\left(c-a\right)^2}{b\sqrt{c^2+a^2-ca}+2\left(c+a\right)}\)
\(\Leftrightarrow\left(a-b\right)^2\left[\frac{1}{b}-\frac{3}{4\sqrt{a^2+b^2-2ab}+2\left(a+b\right)}\right]+\left(b-c\right)^2\left[\frac{1}{c}-\frac{3}{4\sqrt{b^2+c^2-2bc}+2\left(b+c\right)}\right]\)
\(+\left(c-a\right)^2\left[\frac{1}{c}-\frac{3}{4\sqrt{c^2+a^2-ca}+2\left(c+a\right)}\right]\ge0\)
Ta đặt:
\(A=\frac{1}{b}-\frac{3}{4\sqrt{a^2+b^2-2ab}+2\left(a+b\right)}\)
\(B=\frac{1}{c}-\frac{3}{4\sqrt{b^2+c^2-2bc}+2\left(b+c\right)}\)
\(C=\frac{1}{c}-\frac{3}{4\sqrt{c^2+a^2-ca}+2\left(c+a\right)}\)
Chứng mình sẽ hoàn tất nếu ta chứng minh được A,B,C\(\ge0\), vậy:
\(A=\frac{1}{b}-\frac{3}{4\sqrt{a^2+b^2-2ab}+2\left(a+b\right)}=\frac{4\sqrt{a^2+b^2-2ab}+2a+b}{4\sqrt{a^2+b^2-2ab}+2\left(a+b\right)}\ge0\)
\(B=\frac{1}{c}-\frac{3}{4\sqrt{b^2+c^2-2bc}+2\left(b+c\right)}=\frac{4\sqrt{b^2+c^2-2bc}+2b+c}{4\sqrt{b^2+c^2-2bc}+2\left(b+c\right)}\ge0\)
\(C=\frac{1}{c}-\frac{3}{4\sqrt{c^2+a^2-ca}+2\left(c+a\right)}=\frac{4\sqrt{c^2+a^2-ca}+2c+a}{4\sqrt{c^2+a^2-ca}+2\left(c+a\right)}\ge0\)
Vậy biểu thức đã được chứng mình.
