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

Solución. La desigualdad entre las medias aritmética y cuadrática aplicada a $\sqrt{ab}$ y $\sqrt{\frac{a^2+b^2}{2}}$ nos da \[\frac{\sqrt{ab}+\sqrt{\frac{a^2+b^2}{2}}}{2}\leq\sqrt{\frac{ab+\frac{a^2+b^2}{2}}{2}}=\sqrt{\frac{2ab+a^2+b^2}{4}}=\frac{a+b}{2},\] luego tenemos la desigualdad del enunciado.

Solución. Usando que $abc=1$ y la hipótesis de que la suma de los números es mayor que la de la suma de sus recíprocos (inversos multiplicativos), podemos escribir \begin{align*} 0&\lt a+b+c-\frac{1}{a}-\frac{1}{b}-\frac{1}{c}=a+b+\frac{1}{ab}-\frac{1}{a}-\frac{1}{b}-ab\\ &=\frac{a^2b+ab^2+1-b-a-a^2b^2}{ab}=\frac{(a-1)(b-1)(1-ab)}{ab}\\ &=(a-1)(b-1)(\tfrac{1}{ab}-1)=(a-1)(b-1)(c-1). \end{align*} Esta desigualdad estricta nos dice que ninguno de los números puede ser igual a $1$. Para que el producto de los signos en $(a-1)(b-1)(c-1)$ sea positivo, exactamente uno de los tres números debe ser mayor que $1$ (si los tres números son mayores que $1$, entonces el producto también sería positivo pero tendríamos $abc\gt 1$, en contra de lo que nos dice el enunciado).

Solución. Llamemos $x,y,z$ a los denominadores, de forma que \[\left\{\begin{array}{l}3 a + 3 b + 2 c=x\\3 a + 2 b + 3 c=y\\2 a + 3 b + 3 c=z\end{array}\right.\] Este sistema de ecuaciones lineales es compatible determinado y nos da la solución \[a=\frac{3x+3y-5z}{8}\qquad b=\frac{3x-5y+3z}{8}\qquad c=\frac{-5x+3y+3z}{8},\] lo que nos lleva a que los numeradores se transforman en \[a+b+3c=\frac{-9x+7y+7z}{8},\qquad a+3b+c=\frac{7x-9y+7z}{8},\qquad a+b+3c=\frac{7x+7y-9z}{8}.\] Por lo tanto, el miembro de la izquierda de la desigualdad original se reescribe como \begin{align*}\frac{-9x+7y+7z}{8x}&+\frac{7x-9y+7z}{8y}+\frac{7x+7y-9z}{8z}\\ &=\frac{-27}{8}+\frac{7}{8}\left(\frac{x}{y}+\frac{y}{x}+\frac{y}{z}+\frac{z}{y}+\frac{z}{x}+\frac{x}{z}\right)\\ &\geq\frac{-27}{8}+\frac{7}{8}(2+2+2)=\frac{15}{8}, \end{align*} donde hemos usado que la suma de un número positivo y su inverso es mayor o igual que $2$. Observamos que $x$, $y$ y $z$ son positivos a partir de su definición ya que $a$, $b$ y $c$ lo son.

Nota. La igualdad se alcanza cuando $x=y=z$, lo que se traduce claramente en que $a=b=c$.