$$\sqrt{\frac{a}{b+c}}+\sqrt{\frac{b}{a+c}}+\sqrt{\frac{c}{a+b}}\geq\frac{9}{\sqrt{a+b+c+15}}\iff\sqrt{a+b+c+15}\left(\sqrt{\frac{a}{b+c}}+\sqrt{\frac{b}{a+c}}+\sqrt{\frac{c}{a+b}}\right)\ge9$$
Hacer $c=\frac{1 } {ab}$ la expresión se convierte en $$f(a,b)= \left(\sqrt{\frac{a^2b}{ab^2+1}}+\sqrt{\frac{ab^2}{a^2b+1}}+\sqrt{\frac{1}{ab(a+b)}}\right)\sqrt{\frac{ab(a+b+15)+1}{ab}}\ge9$$ para todos los positivos $a,b$ .
De ello se desprende $$\sqrt{\frac{a^3b+a^2b^2+15a^2b+a}{ab^2+1}}+\sqrt{\frac{ab^3+a^2b^2+15ab^2+b}{a^2b+1}}+\frac{1}{ab}\sqrt{\frac{ab(a+b+15)+1}{a+b}} \ge9$$ Está claro que $f(x,y)$ no tiene ningún máximo y, para demostrar la desigualdad, queremos obtener el mínimo de $f(x,y)$ .
Este mínimo puede calcularse como habitualmente para dos variables ( $f_x(x,y)=0$ y $f_y(x,y)=0$ etc.).
Lo calculamos de la siguiente manera: ya que $f(a,b)=f(b,a)$ el mínimo de $f(a,b)$ es igual al mínimo de $f(a,a)$ donde $a\gt 0$ . Por lo tanto, calculamos el mínimo de la función de una variable $$f(x,x)=2\sqrt{\frac{2x^4+15x^3+x}{x^3+1}}+\frac{1}{x^2}\sqrt{\frac{2x^3+15x^2+1}{2x}}$$
El cálculo es sencillo aunque algo tedioso, ya que se obtiene el mínimo $9$ para $x=1$ . Para una mayor explicación, véase la figura siguiente en la que el cálculo (Wolfram) y el gráfico de la función (Desmos) confirman el resultado. Así, este mínimo se alcanza con $a = b = c = 1$ y la desigualdad propuesta es válida para todos los positivos con $abc=1$ .
0 votos
¿Puede ser útil esta desigualdad? $$\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}\geq\frac{3}{2}$$ ....Mira si esto se puede utilizar de todos modos....
0 votos
¡No! Nesbitt es muy débil aquí.
0 votos
¿No es $a=b=c=1$ ¿la solución que maximiza el RHS y minimiza el LHS?
1 votos
@AlexSilva No, ese no es el caso. El máximo de la RHS es $ 3 / \sqrt{2} $ que sí se produce cuando $a = b = c = 1$ . Sin embargo, el LHS puede ser más pequeño. Tomemos por ejemplo $a = b = x$ y $c = 1/x^2$ . Entonces el LHS es $2\sqrt{x^3 / (x^3 + 1)} + \sqrt{1/(2x^3)}$ que tiende a $2$ como $x \to \infty$ . Y $2 < 3/\sqrt{2}$ .
1 votos
En cuanto al LHS, 2 es efectivamente el valor más pequeño que se puede obtener. Existe una prueba general de que, para $0 < k < 1$ , uno tiene $(\frac{a}{b+c})^k+(\frac{b}{c+a})^k+(\frac{c}{a+b})^k\geq$ min $(2 ; \frac{3}{2^k})$ que figura en el libro de Pham Kim Hung "Secretos en las desigualdades (volumen 2)", pp. 284 y ss.