Bài 1. Áp dụng bất đẳng thức Holder:
$\left(\sum \dfrac{a^3}{a^2+b^2}\right)^2\left[\sum (a^2+b^2)^2(a^2+c^2)^3\right] \geqslant \left[a^2(a^2+c^2)\right]^3 = \dfrac{\left[\sum (a^2+b^2)^2\right]^3}{8}$
Do đó ta cần chứng minh: $\left[\sum (a^2+b^2)^2\right]^3 \geqslant 3\left[\sum (a^2+b^2)\right]\left[\sum (a^2+b^2)^2(a^2+c^2)^3\right]$
Đặt $\sqrt{x}=a^2+b^2, \sqrt{y}=b^2+c^2, \sqrt{z}=c^2+a^2$ thì ta cần chứng minh:
$(x+y+z)^2 \geqslant 3(\sqrt{x}+\sqrt{y}+\sqrt{z})(xy^{3/2}+yz^{3/2}+zx^{3/2})$
Áp dụng bất đẳng thức Cauchy-Schwarz thì $\sqrt{x}+\sqrt{y}+\sqrt{z}\leqslant \sqrt{3(x+y+z)}$
Chuẩn hóa $x+y+z=3$ thì ta cần chứng minh: $xy^{3/2}+yz^{3/2}+zx^{3/2}\leqslant 3$
Áp dụng bất đẳng thức Cauchy-Schwarz: $xy^{3/2}+yz^{3/2}+zx^{3/2}\leqslant \sqrt{(xy+yz+zx)(xy^2+yz^2+zx^2)}$
Do đó ta cần chứng minh:$(xy+yz+zx)(xy^2+yz^2+zx^2)\leqslant 9\\ \Leftrightarrow (xy+yz+zx)\left[xy^3+yz^3+zx^3+(xy+yz+zx)^2-3xyz\right]\leqslant 27$
Áp dụng bất đẳng thức Vasile cho ta $3(xy^3+yz^3+zx^3)\leqslant (x^2+y^2+z^2)^2$, ta chuyển về chứng minh
$q[(9-2q)^2+3q^2-9r] \leqslant 81$
Áp dụng bất đẳng thức Schur $9r\geqslant 12q-27$ thì ta cần chứng minh $q[(9-2q)^2+3q^2-12q+27]\leqslant 81$
$\Leftrightarrow (3-q)(7q^2-27q+27)\geqslant 0$ luôn đúng.