Với mọi số thực dương a;b;c ta có BĐT:
\(a^4+b^4\ge ab\left(a^2+b^2\right)\Leftrightarrow\left(a-b\right)^2\left(a^2+ab+b^2\right)\ge0\)
Tương tự, ta có:
\(VT\le\dfrac{ab}{ab\left(a^2+b^2\right)+ab}+\dfrac{bc}{bc\left(b^2+c^2\right)+bc}+\dfrac{ca}{ca\left(c^2+a^2\right)+ca}\)
\(VT\le\dfrac{1}{a^2+b^2+1}+\dfrac{1}{b^2+c^2+1}+\dfrac{1}{c^2+a^2+1}\)
Đặt \(\left(a^2;b^2;c^2\right)=\left(x^3;y^3;z^3\right)\Rightarrow xyz=1\)
\(VT\le\dfrac{1}{x^3+y^3+1}+\dfrac{1}{y^3+z^3+1}+\dfrac{1}{z^3+x^3+1}\)
Ta lại có: \(x^3+y^3=\left(x+y\right)\left(x^2+y^2-xy\right)\ge\left(x+y\right)\left(2xy-xy\right)=xy\left(x+y\right)\)
\(\Rightarrow VT\le\dfrac{xyz}{xy\left(x+y\right)+xyz}+\dfrac{xyz}{yz\left(y+z\right)+xyz}+\dfrac{xyz}{zx\left(z+x\right)+xyz}=1\)
