Cho $1\le x\le y\le z$, chứng minh $$\frac{1}{8}(x+y)^{x+y-z}(y+z)^{y+z-x}(z+x)^{z+x-y}\ge \left(\frac{3}{2} \right )^{x+y+z-3}x^xy^yz^z$$
Cho $1\le x\le y\le z$, chứng minh $$\frac{1}{8}(x+y)^{x+y-z}(y+z)^{y+z-x}(z+x)^{z+x-y}\ge \left(\frac{3}{2} \right )^{x+y+z-3}x^xy^yz^z$$
Sau khi lấy logarith hai vế, BDT đã cho tương đương với:
$$F(x,y,z):=-3\log 2 + (x+y-z)\log(x+y) + (x+z-y)\log(x+z) + (y+z-x)\log(y+z)-(x+y+z-3)\log (3/2) -x\log x -y\log y -z\log z \geq 0.$$
Xem $f(z):=F(x,y,z)$ như là hàm một biến $z$ với $z\geq y$ (Cố định $x$ và $y$). Lấy đạo hàm cấp 1 và cấp 2 của $f$ ta được
$$f'(z)=-\log(x+y) + \log(y+z)+\log(z+x)-\log(z) -1-\log(3/2) + \frac{y+z-x}{y+z}+ \frac{x+z-y}{x+z},$$
$$f^{"}(z)= \frac{x}{(y+z)^2}+\frac{y}{(x+z)^2}+\frac{1}{y+z} +\frac{1}{x+z}-\frac{1}{z}>0.$$
Như vậy ta có $f'(z) \geq f'(y), \forall z\geq y$. Bênh cạnh đó, ta cũng chứng minh được $f'(y)> 0$.
Do đó ta luôn có $F(x,y,z)\geq F(x,y,y)$. Bây giờ bài toán trở nên rất đơn giản. Dấu bằng xảy ra khi và chỉ khi $x=y=z=1$.
0 thành viên, 0 khách, 0 thành viên ẩn danh