Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Tomando logaritmos en la desigualdad del enunciado, ésta es equivalente a \[\frac{a\ln(a)+b\ln(b)+c\ln(c)}{a+b+c}\geq\frac{\ln(a)+\ln(b)+\ln(c)}{3}.\] Aplicando la desigualdad de Jensen a la función cóncava $f(x)=\ln(x)$ y a los números $x_1=a$, $x_2=b$ y $x_3=c$, con pesos $t_1=\frac{a}{a+b+c}$, $t_2=\frac{b}{a+b+c}$ y $t_3=\frac{c}{a+b+c}$, tenemos que \begin{eqnarray*} \frac{a\ln(a)+b\ln(b)+c\ln(c)}{a+b+c}&=&f(t_1x_1+t_2x_2+t_3x_3)\\ &\geq& t_1f(x_1)+t_2f(x_2)+t_3f(x_3)=\log\left(\frac{a^2+b^2+c^2}{a+b+c}\right). \end{eqnarray*} Por otro lado, las desigualdades entre las medias aritmética y cuadrática y entre las medias cuadrática y geométrica nos dicen que \[\sqrt{\frac{a^2+b^2+c^2}{3}}\geq\frac{a+b+c}{3},\qquad \sqrt{\frac{a^2+b^2+c^2}{3}}\geq\sqrt[3]{abc},\] y multiplicando estas dos desigualdades llegamos fácilmente a que \[\frac{a^2+b^2+c^2}{a+b+c}\geq\sqrt[3]{abc}.\] Usando esta desigualdad en el resultado que obtuvimos de la de Jensen, llegamos a que \[\frac{a\ln(a)+b\ln(b)+c\ln(c)}{a+b+c}\geq\log(\sqrt[3]{abc})=\frac{\ln(a)+\ln(b)+\ln(c)}{3},\] que es la desigualdad buscada.

Nota. Otra forma de resolver este problema consiste en usar la desigualdad de Jensen sobre la función convexa $f(x)=x\ln(x)$.La igualdad se alcanza si, y sólo si, $a=b=c$, tal y como se deduce de la desigualdad de las medias o de la de Jensen.

Solución. Si suponemos que $a\leq b\leq c$, entonces $\ln(a)\leq\ln(b)\leq\ln(c)$ están ordenados en el mismo orden. Por lo tanto, tenemos que \begin{eqnarray*} a\ln(a)+b\ln(b)+c\ln(c)\geq b\ln(a)+c\ln(b)+a\ln(c),\\ a\ln(a)+b\ln(b)+c\ln(c)\geq c\ln(a)+a\ln(b)+b\ln(c),\\ a\ln(a)+b\ln(b)+c\ln(c) = a\ln(a)+b\ln(b)+c\ln(c). \end{eqnarray*} La primeras dos desigualdades se obtienen por la desigualdad de reordenación y la última es una igualdad trivial. Sumando las tres expresiones, llegamos a que \[a\ln(a)+b\ln(b)+c\ln(c)\geq\frac{a+b+c}{3}(\ln(a)+\ln(b)+\ln(c)),\] que es equivalente a la desigualdad propuesta, sin más que tomar logaritmos.