Bài 1: Cho $a,b,c$ là các số thực dương thỏa mãn: $abc=1$. Chứng minh:
$\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{13}{a+b+c+1}\ge \frac{25}{4}$
Mình làm lại bài 1 như sau:
Đổi biến $(a,b,c)\rightarrow \left (\frac{x^2}{yz},\frac{y^2}{zx},\frac{z^2}{xy}\right )$
Giả sử $x\leqslant y\leqslant z\Longrightarrow z^2\geqslant xy$
BĐT$\iff \sum \frac{xy}{z^2}+\frac{13xyz}{x^3+y^3+z^3+xyz}\geqslant \frac{25}{4}$
$\iff \frac{x^3y^3+y^3z^3+z^3x^3-3x^2y^2z^2}{x^2y^2z^2}\geqslant \frac{13(x^3+y^3+z^3-3xyz)}{4(x^3+y^3+z^3+xyz)}$
Ta có: $x^3+y^3+z^3-3xyz=(x+y+z)\left [(x-y)^2+(z-x)(z-y)\right ]$
Và $z^2\geqslant xy\Longrightarrow x^3y^3+y^3z^3+z^3x^3-3x^2y^2z^2$
$=(xy+yz+zx)\left [z^2(x-y)^2+xy(z-x)(z-y)\right ]\geqslant xy(xy+yz+zx)\left [(x-y)^2+(z-x)(z-y)\right ]$
Do đó ta chỉ cần chứng minh:
$\frac{xy(xy+yz+zx)\left [(x-y)^2+(z-x)(z-y)\right ]}{x^2y^2z^2}\geqslant \frac{13(x+y+z)\left [(x-y)^2+(z-x)(z-y)\right ]}{4(x^3+y^3+z^3+xyz)}$
$\iff 4(xy+yz+zx)(x^3+y^3+z^3+xyz)\geqslant 13xyz^2(x+y+z)$
Do tính thuần nhất nên ta chuẩn hóa $x+y=2\Longrightarrow xy\leqslant 1\leqslant z$ và $x^3+y^3\geqslant 2$
$\iff 4(2z+xy)(2+z^3+xyz)\geqslant 13xyz^2(z+2)$
$\iff (8z^4-9z^3-18z^2+20z+8)+(1-xy)(9z^3+18z^2-4z-4xyz-8)\geqslant 0$
Chú ý rằng với $z\geqslant 1$, ta luôn có
$8z^4-9z^3-18z^2+20z+8>0$
$9z^3+18z^2-4z-4xyz-8\geqslant 9z^3+18z^2-4z-4z^3-8=5z^3+18z^2-4z-8>0 $
Vậy ta có đpcm, dấu "=" xảy ra khi $a=b=c=1$
- nguyenhongsonk612, tritanngo99, CaptainCuong và 2 người khác yêu thích