si $abc=1$ demuestran que $a^3+b^3+c^3+\frac{256}{(a+1)(b+1)(c+1)}\ge 35$

Question

Dejemos que $a,b,c>0,abc=1$ demostrar que $$a^3+b^3+c^3+\dfrac{256}{(a+1)(b+1)(c+1)}\ge 35\tag{1}$$ si $a=b=c=1$

Sé utilizar la desigualdad AM-GM $$a^3+b^3+c^3\ge 3abc=3$$ y $$(a+1)(b+1)(c+1)\ge 2\sqrt{a}\cdot 2\sqrt{b}\cdot 2\sqrt{c}=8$$

De este modo, se conseguirá invertir la desigualdad, pero $(1)$ Parece que es correcto, así que ¿cómo probar esta desigualdad?

Answer 1

Dejemos que $a+b+c=3u$ , $ab+ac+bc=3v^2$ y $abc=w^3$ .

Por lo tanto, tenemos que demostrar que $f(u)\geq0$ , donde $$f(u)=27u^3-27uv^2+\frac{256w^5}{2w^2+3uw+3v^2}-32w^3$$ Pero por AM-GM $f'(u)=81u^2-27v^2-\frac{768w^6}{(2w^2+3uw+3v^2)^2}\geq81u^2-27v^2-12w^2>0$ ,

que dice que $f$ es una función creciente.

Por lo tanto, basta con demostrar nuestra desigualdad para un valor mínimo de $u$ .

$a$ , $b$ y $c$ son raíces positivas de la ecuación $x^3-3ux^2+3v^2x-w^3=0$ o

$3ux^2=x^3+3v^2x-w^3$ que dice que

la parábola $y=3ux^2$ y el gráfico de $y=x^3+3v^2x-w^3$ tienen tres puntos en común.

Es fácil ver (¡dibújalo!) que $u$ obtiene un valor mínimo, cuando la parábola toca a la gráfica de $y=x^3+3v^2x-w^3$ , lo que ocurre para el caso de igualdad de dos variables.

Es decir, queda por demostrar nuestra desigualdad para $b=a$ y $c=\frac{1}{a^2}$ , lo que da

$(a-1)^2(2a^{11}+8a^{10}+18a^9-3a^8-92a^7+5a^6+32a^5+24a^4+16a^3+9a^2+4a+1)\geq0$ ,

que es verdadero y suave.

¡Hecho!

Answer 2

Prueba alternativa

WLOG, asume $c \in (0, 1]$ .

Denotemos la desigualdad por $f(a, b, c) \ge 0$ . Tenemos \begin{align} &f(a, b, c) - f(\sqrt{ab}, \sqrt{ab}, c)\\ =\ & (a + b - 2\sqrt{ab})\Big[(a+b)^2 + (a+b)\cdot 2\sqrt{ab} + (2\sqrt{ab})^2 - 3ab\Big]\\ &\qquad - \frac{256(a + b - 2\sqrt{ab})}{(c+1)(ab + a+b+1)(ab + 2\sqrt{ab} + 1)}\\ =\ & (a + b - 2\sqrt{ab}) \\ & \times \left( (a+b)^2 + 2(a+b)\sqrt{ab} + ab - \frac{256}{(c+1)(ab + a+b+1)(ab + 2\sqrt{ab} + 1)}\right)\\ \ge\ & (a + b - 2\sqrt{ab}) \\ & \times \Big( (2\sqrt{ab})^2 + 2(2\sqrt{ab})\sqrt{ab} + ab - \frac{256}{(\frac{1}{ab}+1) (ab + 2\sqrt{ab} +1)(ab + 2\sqrt{ab} + 1)}\Big)\\ =\ & (a + b - 2\sqrt{ab})\Big(9ab - \frac{256ab}{(1+ab)(\sqrt{ab} + 1)^4}\Big)\\ \ge\ & (a + b - 2\sqrt{ab})\Big(9ab - \frac{256ab}{(1+1)(1 + 1)^4}\Big)\\ \ge\ & 0 \end{align} donde hemos utilizado $a^3 + b^3 = (a+b)^3 - 3ab(a+b)$ , $a + b \ge 2\sqrt{ab}$ , a $ab = \frac{1}{c} \ge 1$ .

Por lo tanto, basta con demostrar que $f(\sqrt{ab}, \sqrt{ab}, c) \ge 0$ o $$2(ab)^{3/2} + c^3 + \frac{256}{(\sqrt{ab} + 1)^2(c+1)} - 35 \ge 0$$ o $$2(1/c)^{3/2} + c^3 + \frac{256}{(\sqrt{1/c} + 1)^2(c+1)} - 35 \ge 0.$$ Dejemos que $c = u^2$ . Basta con demostrar que $$\frac{2}{u^3} + u^6 + \frac{256}{(1/u + 1)^2(u^2 + 1)} - 35 \ge 0$$ o \begin{align} &\frac{(u-1)^2}{u^3(u+1)^2(u^2+1)}\\ &\cdot (u^{11}+4 u^{10}+9 u^9+16 u^8+24 u^7+32 u^6+5 u^5-92 u^4-3 u^3+18 u^2+8 u+2)\ge 0 \end{align} lo cual es cierto. Hemos terminado.