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

Solución. La idea es darse cuenta de la suma de los términos de la progresión geométrica siguiente (véase la nota): \[\frac{1}{4}+\frac{1}{4^2}+\frac{1}{4^3}+\ldots=\frac{1}{3}.\] Esto quiere decir que podemos alcanzar un valor tan cercano como queramos a $\frac{1}{3}$ sin más que sumar suficientes términos de la sucesión. Ahora nos damos cuenta también de que \[\frac{1}{3}=\frac{1}{4}+\frac{1}{4^2}+\frac{1}{4^3}+\ldots=\frac{1}{2}\cdot\frac{1}{2}\left(1+\frac{1}{2}\cdot\frac{1}{2}\left(1+\frac{1}{2}\cdot\frac{1}{2}\Bigl(\cdots\Bigr)\right)\right),\] luego podemos desarrollar \begin{align*} 2^{\frac{1}{3}}&=(2^{\frac{1}{2}})^{\frac{1}{2}}\cdot(((2^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}}\cdot (((((((2^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}})^{\frac{1}{2}}\cdots\\ &=\sqrt{\sqrt{2}}\cdot\sqrt{\sqrt{\sqrt{\sqrt{2}}}}\cdot\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{2}}}}}}}}\cdots\\ &=\sqrt{\sqrt{2\sqrt{\sqrt{2\sqrt{\sqrt{\sqrt{\sqrt{2}}}}}}}} \end{align*} Para escribir esto en una calculadora que funciona de la forma usual (estilo CASIO sin línea de comandos), tengamos en cuenta que:

• La tecla $[\times]$ multiplica el resultado en pantalla por el que introduzcamos a continuación.
• La tecla $[\sqrt{}]$ evalúa la operación pendiente y sustituye el resultado en pantalla por su raíz cuadrada.

Por ejemplo, para obtener la aproximación $\sqrt[3]{2}\approx 2^{\textcolor{red}{\frac{1}{4}+}\textcolor{blue}{\frac{1}{16}+}\textcolor{green}{\frac{1}{64}}}$, usamos la siguiente combinación de teclas: \[\textcolor{green}{[2][\sqrt{}][\sqrt{}][\sqrt{}][\sqrt{}]}\textcolor{blue}{[\times][2][\sqrt{}][\sqrt{}]}\textcolor{red}{[\times][2][\sqrt{}][\sqrt{}]}\] donde cada bloque de un color distinto refleja uno de los sumandos. Si quisiéramos aproximar mejor, tendríamos que añadir al inicio [2] seguido de 8,16,32,... veces la tecla $[\sqrt{}]$ y obtendremos así aproximaciones cada vez mejores.

Nota. Una forma elemental (aunque no es matemáticamente rigurosa) para justificar el valor de la suma de los términos de la progresión geométrica es tomar \[S=\frac{1}{4}+\frac{1}{4^2}+\frac{1}{4^3}+\ldots\ \Longrightarrow\ \frac{1}{4}S=\frac{1}{4^2}+\frac{1}{4^3}+\frac{1}{4^4}+\ldots\] Por tanto, restando ambas igualdades se cancelan todos los términos menos el primero: \[S-\frac{1}{4}S=\frac{1}{4}\ \Leftrightarrow\ S=\frac{1}{3}.\]

Solución. Usando reiteradamente que podemos sustituir un producto de algunas de las variables por el inverso del producto de las restantes, podemos transformar la condición del enunciado como sigue: \begin{align*} 0&=a+\tfrac{1}{a}+b+\tfrac{1}{b}+c+\tfrac{1}{c}+d+\tfrac{1}{d}\\ &=a+bcd+b+acd+c+abd+d+abc\\ &=(ab+1)c+(ab+1)d+(cd+1)a+(cd+1)b\\ &=(ab+1)(c+d)+(cd+1)(a+b)\\ &=(ab+1)(c+d)+(\tfrac{1}{ab}+1)(a+b)\\ &=(ab+1)(c+d)+(1+ab)(\tfrac{1}{a}+\tfrac{1}{b})\\ &=(ab+1)(c+d+bcd+acd)\\ &=(ab+1)((ac+1)d+(bd+1)c)\\ &=(ab+1)((ac+1)d+(\tfrac{1}{ac}+1)c)\\ &=(ab+1)((ac+1)d+(ac+1)bcd)\\ &=(ab+1)((ac+1)d+(ac+1)\tfrac{1}{a})\\ &=(ab+1)(ac+1)(1+bc)d\\ &=(ab+1)(ac+1)(ad+1)\tfrac{1}{a}, \end{align*} de donde se deduce que $(ab+1)(ac+1)(ad+1)=0$ y, por tanto, alguno de los números $ab,ac,ad$ debe ser igual a $-1$.

Nota. En la solución oficial se razona en la dirección opuesta desarrollando $(ab+1)(ac+1)(ad+1)$ y usando la condición del enunciado para ver que el resultado es $0$. Sin embargo, suele ser más habitual comenzar manipulando lo que nos dan para ver a dónde llegamos. Existen muchas manipulaciones distintas que dan el resultado.

Solución. Llamamos $x=2^a$ e $y=2^b$ por comodidad. Podemos eliminar $c$ en la segunda ecuación usando la primera para escribir \[7=2^a+2^b+2^{3-a-b}=2^a+2^b+\frac{8}{2^a2^b}=x+y+\frac{8}{xy}.\] Por otro lado, la tercera ecuación nos dice que $\frac{1}{x}+\frac{1}{y}=\frac{3}{4}$, que también puede escribirse como $x+y=\frac{3}{4}xy$. Por tanto, tenemos que \[7=x+y+\frac{8}{xy}=\frac{3}{4}xy+\frac{8}{xy}\ \Leftrightarrow\ 3(xy)^2-28xy+32=0.\] Esto puede verse como una ecuación de segundo grado con incógnita el producto $xy$, que nos da las soluciones $xy=\frac{4}{3}$ y $xy=8$. Distingamos los dos casos:

• Si $xy=\frac{4}{3}$, entonces $x+y=\frac{3}{4}xy=1$. Conociendo la suma $1$ y el producto $\frac{3}{4}$, ls números $x$ e $y$ deben las soluciones de la ecuación $t^2-t+\frac{3}{4}=0$, pero esta ecuación no tiene soluciones reales.
• Si $xy=8$, entonces $x+y=\frac{3}{4}xy=6$, en cuyo caso $x$ e $y$ son soluciones de la ecuación $t^2-6t+8=0$, que son $t=2$ y $t=4$, lo que nos da $a=1$ y $b=2$ (salvo reordenación) y la condición $a+b+c=3$ nos da $c=0$.

Deducimos así que las soluciones al sistema son $(1,2,0)$ y $(2,1,0)$.

Solución. Si aplicamos la desigualdad de Cauchy-Schwarz a los vectores $(a_1,a_2,a_3,a_4,a_5)$ y $(a_2,a_3,a_4,a_5,a_6)$ obtenemos que cualesquiera que sean los valores de los seis números dados, se tiene que \[(a_1a_2+a_2a_3+\ldots+a_5a_6)^2\leq (a_1^2+\ldots+a_5^2)(a_2^2+\ldots+a_6^2).\] Ahora bien, el enunciado nos dice que se da la igualdad, luego los dos vectores tienen que ser proporcionales. Como son números no nulos, deberá existir una constante $\lambda\neq 0$ tal que \[(a_2,a_3,a_4,a_5,a_6)=\lambda(a_1,a_2,a_3,a_4,a_5).\] En otras palabras, $a_2=\lambda a_1$, $a_3=\lambda a_2$, $a_4=\lambda a_3$, $a_5=\lambda a_4$ y $a_6=\lambda a_5$. Tenemos así que los números están en progresión geométrica de razón $\lambda$.