ta có $4\left ( 1+x^{3} \right )\leq \left ( x^{2}+2 \right )^{2}$ $\Leftrightarrow x^{2}\left ( x-2 \right )^{2}\geq 0$ (luôn đúng)cho $a, b, c$ là các số dương và abc=8. CMR:
$\dfrac{a^2}{(1+a^3)(1+b^3)}+\dfrac{b^2}{(1+b^3)(1+c^3)}+\dfrac{c^2}{(1+c^3)(1+a^3)} \geq \dfrac{4}{3}$
áp dụng bất đẳng thức trên suy ra
vế trái $\geq \frac{4a^{2}}{\left ( 2+a^{2} \right )\left ( 2+b^{2} \right )}+\frac{4b^{2}}{\left ( 2+b^{2} \right )\left ( 2+c^{2} \right )}+\frac{4c^{2}}{\left ( 2+c^{2} \right )\left ( 2+a^{2} \right )}$
đặt $x=\frac{a^{2}}{4}; y=\frac{b^{2}}{4}; z=\frac{c^{2}}{4}$ khi đó $xyz=1$
ta phải chứng minh $\frac{x}{\left ( 1+2x \right )\left ( 1+2y \right )}+\frac{y}{\left ( 1+2y \right )\left ( 1+2z \right )}+\frac{z}{\left ( 1+2z \right )\left ( 1+2x \right )}\geq \frac{1}{3}$
$\Leftrightarrow x\left ( 1+2z \right )+y\left ( 1+2x \right )+z\left ( 1+2y \right )\geq \frac{1}{3}\left ( 1+2x \right )\left ( 1+2y \right )\left ( 1+2z \right )$
áp dụng bdt AM-GM ta chứng minh được $\left ( 1+2x \right )\left ( 1+2y \right )\left ( 1+2z \right )\geq 3^{3}$
suy ra $2\left ( xy+yz+xz \right )+x+y+z\geq 9$ (đúng do xyz=1)
=> đpcm