Bài (Russia 2016): Cho bốn số thực dương thỏa mãn điều kiện Chứng minh rằng:
a) $\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}+\frac{1}{d^2}\le\frac{1}{a^2b^2c^2d^2},$
b) $\frac{1}{a^3}+\frac{1}{b^3}+\frac{1}{c^3}+\frac{1}{d^3}\le\frac{1}{a^3b^3c^3d^3}.$
Lời giải
$(a)$ Giả sử $a \geqslant b \geqslant c \geqslant d$, BĐT cần chứng minh tương đương với
$a^{2}b^{2}c^{2}+a^{2}b^{2}d^{2}+a^{2}c^{2}d^{2}+b^{2}c^{2}d^{2} \leqslant 1$
Ta đưa BĐT về dạng đồng bậc
$a^{2}b^{2}c^{2}+a^{2}b^{2}d^{2}+a^{2}c^{2}d^{2}+b^{2}c^{2}d^{2} \leqslant \frac{1}{3^6}(a+b+c)^6$
Do $a \geqslant b \geqslant c \geqslant d$ nên ta có
\[\begin{aligned} a^{2}b^{2}c^{2}+a^{2}b^{2}d^{2}+a^{2}c^{2}d^{2}+b^{2}c^{2}d^{2} &\leqslant a^{2}b^{2}c^{2}+a^{2}b^{2}d^{2}+a^{2}b^{2}cd+a^{2}b^{2}cd \\ &= a^{2}b^{2}(c+d)^{2} \\ &\leqslant \frac{1}{3^{6}}(a+b+c+d)^{6} \\ &=1\end{aligned}\]
Bài toán được chứng minh. $\square$
$(b)$ Giả sử $a \geqslant b \geqslant c \geqslant d$, BĐT cần chứng minh tương đương với
$a^{3}b^{3}c^{3}+a^{3}b^{3}d^{3}+a^{3}c^{3}d^{3}+b^{3}c^{3}d^{3} \leqslant 1$
Ta đưa BĐT về dạng đồng bậc
$a^{3}b^{3}c^{3}+a^{3}b^{3}d^{3}+a^{3}c^{3}d^{3}+b^{3}c^{3}d^{3} \leqslant \frac{1}{3^9}(a+b+c)^9$
Theo BĐT $AM - GM$ ta có
$ \frac{1}{3^9}(a+b+c+d)^9 \geqslant \frac{1}{3^9}\left(3\sqrt[3]{ab(c+d)} \right)^9 = a^3b^3(c+d)^3 $
Do đó ta chỉ cần chứng minh $a^{3}b^{3}c^{3}+a^{3}b^{3}d^{3}+a^{3}c^{3}d^{3}+b^{3}c^{3}d^{3} \leqslant a^3b^3(c+d)^3$ $\Leftrightarrow c^3d^3(a^3+b^3) \leqslant 3a^3b^3cd(c+d)$ $\Leftrightarrow c^2d^2(a^3+b^3) \leqslant 3a^3b^3(c+d)$
BĐT này luôn đúng do $a \geqslant b \geqslant c \geqslant d$
Bài toán được chứng minh. $\square$$