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\)

Ta có: \(x^4+y^4\ge\frac{1}{2}\left(x^2+y^2\right)^2=\frac{1}{2}\left(x^2+y^2\right)\left(x^2+y^2\right)\ge xy\left(x^2+y^2\right)\)

\(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\frac{ab}{ab\left(a^2+b^2\right)+ab}+\frac{bc}{bc\left(b^2+c^2\right)+bc}+\frac{ca}{ca\left(c^2+a^2\right)+ca}\)

\(VT\le\frac{1}{a^2+b^2+1}+\frac{1}{b^2+c^2+1}+\frac{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=\frac{1}{x^3+y^3+1}+\frac{1}{y^3+z^3+1}+\frac{1}{z^3+x^3+1}\)

\(VT\le\frac{1}{xy\left(x+y\right)+1}+\frac{1}{yz\left(y+z\right)+1}+\frac{1}{zx\left(z+x\right)+1}\)

\(VT\le\frac{xyz}{xy\left(x+y\right)+xyz}+\frac{xyz}{yz\left(y+z\right)+xyz}+\frac{xyz}{zx\left(z+x\right)+xyz}\)

\(VT\le\frac{z}{x+y+z}+\frac{x}{x+y+z}+\frac{y}{x+y+z}=1\) (đpcm)

Dấu "=" xảy ra khi \(a=b=c=1\)

\(a^4+b^4+a^4+a^4\ge4\sqrt[4]{a^{12}b^4}=4a^3b\)

\(a^4+b^4+b^4+b^4\ge4\sqrt[4]{a^4b^{12}}=4ab^3\)

\(\Rightarrow4\left(a^4+b^4\right)\ge4\left(a^3b+ab^3\right)\Rightarrow a^4+b^4\ge a^3b+ab^3\)

\(F=\Sigma\frac{ab}{a^4+b^4+ab}\le\Sigma\frac{ab}{a^3b+ab^3+ab}=\Sigma\frac{1}{a^2+b^2+1}=\Sigma\frac{2}{2a^2+2b^2+2}\)

\(\le\Sigma\frac{1}{ab+a+b}\)

Đến đây bí :(