Un problema de olimpiada india de desigualdades duras

Question

Si $x,y,z$ son números reales positivos, demuéstralo: $\left(x+y+z\right)^2\left(yz+xz+xy\right)^2\le 3\left(y^2 + yz + z^2\right)\left(x^2 + xz + z^2\right)\left(x^2 + xy + y^2\right)$ .

He estado atrapado en ella. Es un problema de la Olimpiada India. ¿Pueden ayudarme, por favor?

Answer 1

Sea $p = x+y+z, \ q = xy+yz+zx, \ r = xyz$ . Reescriba la desigualdad como $p^2 q^2 \le 3(p^2q^2 - q^3 - p^3 r)$ . Desde $q^2 \ge 3pr$ basta con demostrar que $$p^2 q^2 \le 3(p^2q^2 - q^3 - p^3 \frac{q^2}{3p})$$ o $$q^2(p^2-3q)\ge 0.$$ Es evidente. Hemos terminado.

Answer 2

Lo tenemos:

$$x^2+xy+y^2=\frac{3}{4}(x+y)^2+\frac{1}{4}(x-y)^2\geq \frac{3}{4}(x+y)^2$$

Por lo tanto

$$(x^2+xy+y^2)(y^2+yz+z^2)(z^2+zx+x^2)\geq \frac{27}{64}(x+y)^2(y+z)^2(z+x)^2$$

Y queda por demostrar

$$9(x+y)(y+z)(z+x)\geq 8(x+y+z)(xy+yz+zx)$$

Podemos demostrarlo con AM-GM:

$$8(x+y+z)(xy+yz+zx)=8(x+y)(y+z)(z+x)+8xyz \leq 9(x+y)(y+z)(z+x)$$

Answer 3

$\quad3\left(y^2 + yz + z^2\right)\left(x^2 + xz + z^2\right)\left(x^2 + xy + y^2\right)-\left(x+y+z\right)^2\left(yz+xz+xy\right)^2\\=\sum_{sym} \left(2x^4y^2z^0+0.5x^3y^3z^0+0.5x^4y^1z^1-2x^3y^2z^1-x^2y^2z^2\right)\\=2\sum_{sym} \left(x^4y^2z^0-x^3y^2z^1\right)+0.5\sum_{sym} \left(x^3y^3z^0-x^2y^2z^2\right)+0.5\sum_{sym} \left(x^4y^1z^1-x^2y^2z^2\right)$

Por La desigualdad de Muirhead , $\left(4,2,0\right)\succ\left(3,2,1\right),\left(3,3,0\right)\succ\left(2,2,2\right),\left(4,1,1\right)\succ\left(2,2,2\right)$

$\because$ La expresión $\ge 0$ la igualdad se mantiene cuando $x=y=z$

$\therefore 3\left(y^2 + yz + z^2\right)\left(x^2 + xz + z^2\right)\left(x^2 + xy + y^2\right)\ge\left(x+y+z\right)^2\left(yz+xz+xy\right)^2$

( $\succ$ indica especialización )