Theo hệ quả của bất đẳng thức Cauchy
\(\Rightarrow a^2+b^2+c^2\ge ab+bc+ca\)
\(\Leftrightarrow\dfrac{a^2}{2}+\dfrac{b^2}{c}+\dfrac{c^2}{c}\ge\dfrac{ab}{2}+\dfrac{bc}{2}+\dfrac{ca}{2}\)
\(\Leftrightarrow a^2-\dfrac{a^2}{2}+b^2-\dfrac{b^2}{2}+c^2-\dfrac{c^2}{2}\ge\dfrac{ab}{2}+\dfrac{bc}{2}+\dfrac{ca}{2}\)
\(\Leftrightarrow a^2+b^2+c^2\ge\dfrac{a^2+b^2+c^2+ab+bc+ca}{2}\)
\(\Leftrightarrow a^2+b^2+c^2\ge\dfrac{2\left(a^2+b^2+c^2+ab+bc+ca\right)}{4}\)
\(\Leftrightarrow a^2+b^2+c^2\ge\dfrac{\left(a+b\right)^2+\left(b+c\right)^2+\left(c+a\right)^2}{4}\) (1)
Áp dụng bất đẳng thức Cauchy - Schwarz
\(\Rightarrow a^2+b^2\ge2\sqrt{a^2b^2}=2ab\)
\(\Rightarrow\left(a+b\right)^2\ge4ab\)
Tương tự ta có \(\left\{{}\begin{matrix}\left(b+c\right)^2\ge4bc\\\left(c+a\right)^2\ge4ca\end{matrix}\right.\)
\(\Rightarrow\left\{{}\begin{matrix}\left(a+b\right)^2c+\left(a+b\right)^2\ge4abc+\left(a+b\right)^2\\\left(b+c\right)^2a+\left(b+c\right)^2\ge4abc+\left(b+c\right)^2\\\left(c+a\right)^2b+\left(c+a\right)^2\ge4abc+\left(c+a\right)^2\end{matrix}\right.\)
\(\Leftrightarrow\left\{{}\begin{matrix}\left(a+b\right)^2\left(c+1\right)\ge4abc+\left(a+b\right)^2\\\left(b+c\right)^2\left(a+1\right)\ge4abc+\left(b+c\right)^2\\\left(c+a\right)^2\left(b+1\right)\ge4abc+\left(c+a\right)^2\end{matrix}\right.\)
\(\Leftrightarrow\left\{{}\begin{matrix}\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}\le\dfrac{8}{4abc+\left(a+b\right)^2}\\\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}\le\dfrac{8}{4abc+\left(b+c\right)^2}\\\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}\le\dfrac{8}{4abc+\left(c+a\right)^2}\end{matrix}\right.\) (2)
Từ (1) và (2)
\(\Rightarrow VT\ge\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}+\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}+\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}+\dfrac{\left(a+b\right)^2+\left(b+c\right)^2+\left(c+a^2\right)}{4}\) (3)
Áp dụng bất đẳng thức Cauchy - Schwarz
\(\Rightarrow\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}+\dfrac{\left(a+b\right)^2}{4}\ge2\sqrt{\dfrac{2}{c+1}}=\dfrac{4}{\sqrt{2\left(c+1\right)}}\)
Tương tự ta có \(\left\{{}\begin{matrix}\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}+\dfrac{\left(b+c\right)^2}{4}\ge\dfrac{4}{\sqrt{2\left(a+1\right)}}\\\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}+\dfrac{\left(c+a\right)^2}{4}\ge\dfrac{4}{\sqrt{2\left(b+1\right)}}\end{matrix}\right.\)
\(\Rightarrow\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}+\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}+\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}+\dfrac{\left(a+b\right)^2+\left(b+c\right)^2+\left(c+a^2\right)}{4}\ge\dfrac{4}{\sqrt{2\left(c+1\right)}}+\dfrac{4}{\sqrt{2\left(a+1\right)}}+\dfrac{4}{\sqrt{2\left(b+1\right)}}\)(4)
Áp dụng bất đẳng thức Cauchy - Schwarz
\(\Rightarrow\sqrt{2\left(c+1\right)}\le\dfrac{c+3}{2}\)
\(\Rightarrow\dfrac{4}{\sqrt{2\left(c+1\right)}}\ge\dfrac{8}{c+3}\)
Tượng tự ta có \(\left\{{}\begin{matrix}\dfrac{4}{\sqrt{2\left(a+1\right)}}\ge\dfrac{8}{a+3}\\\dfrac{4}{\sqrt{2\left(b+1\right)}}\ge\dfrac{8}{b+3}\end{matrix}\right.\)
\(\Rightarrow\dfrac{4}{\sqrt{2\left(c+1\right)}}+\dfrac{4}{\sqrt{2\left(a+1\right)}}+\dfrac{4}{\sqrt{2\left(b+1\right)}}\ge\dfrac{8}{a+3}+\dfrac{8}{b+3}+\dfrac{8}{c+3}\) (5)
Từ điều (3) , (4) , (5)
\(\Rightarrow\dfrac{8}{\left(a+b\right)^2+4abc}+\dfrac{8}{\left(b+c\right)^2+4abc}+\dfrac{8}{\left(c+a\right)^2+4abc}+a^2+b^2+c^2\ge\dfrac{8}{a+3}+\dfrac{8}{b+3}+\dfrac{8}{c+3}\) ( đpcm )
