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

Solución. Llamando $y=f(x)$, tenemos la ecuación $x+\frac{1}{x}=y+\frac{1}{y}$ en la incógnita $y$, que no es más que la ecuación de segundo grado $y^2-(x+\frac{1}{x})y+1=0$ (podemos multiplicar por $y$ puesto que $y\neq 0$). Sus soluciones son \[f(x)=y=\frac{-(x+\frac{1}{x})\pm\sqrt{(x+\frac{1}{x})^2-4}}{2}=\frac{-(x+\frac{1}{x})\pm(x-\frac{1}{x})}{2},\] lo que nos dice que $f(x)=x$ o bien $f(x)=\frac{1}{x}$ para cada $x\in\mathbb{R}^+$. Ahora bien, podría elegirse $f(x)=x$ para algunos valores de $x$ y $f(x)=\frac{1}{x}$ para otros, pero nos piden que la función $f$ sea continua. Las gráficas $y=x$ e $y=\frac{1}{x}$ se cortan únicamente en $x=1$, luego la continuidad nos dice tenemos que elegir una de las dos para todos los $x\in(0,1]$ y una de las dos para todos los $x\in[1,+\infty)$. Tenemos así cuatro soluciones: \begin{align*} f(x)&=x \text{ para todo }x>0,&f(x)&=\frac{1}{x}\text{ para todo }x>0,\\ f(x)&=\begin{cases}x&\text{si }0\lt x\leq 1,\\\frac{1}{x}&\text{si }x\gt 1,\end{cases}& f(x)&=\begin{cases}\frac{1}{x}&\text{si }0\lt x\leq 1,\\x&\text{si }x\gt 1.\end{cases} \end{align*}

Solución. Los enteros positivos que no son múltiplos de $2$ ni de $5$ son aquellos cuyo dígito de las unidades es $1,3,7,9$. Hay exactamente $n$ números menores que $10n$ con dígito de las unidades un $j$ dado, a saber: \[j,10+j,20+j,\ldots 10(n-1)+j.\] La suma de estos $n$ números es \[10(1+2+\ldots+(n-1))+nj=5n(n-1)+nj=5n^2+(j-5)n.\] Por tanto, la suma que estamos buscando es \[5n^2+(1-5)n+5n^2+(3-5)n+5n^2+(7-5)n+5n^2+(9-5)n=20n^2.\]

Solución. Escribamos por comodidad $a=2^x$, $b=2^y$ y $c=2^z$, con lo que el sistema nos queda como sigue, donde además despejamos en cada ecuación: \[\left\{\begin{array}{l} 3b-1=a+\frac{1}{a}\\ 3c-1=b+\frac{1}{b}\\ 3a-1=c+\frac{1}{c} \end{array}\right\}\ \Longleftrightarrow\  \left\{\begin{array}{l} b=\frac{1}{3}+\frac{1}{3}\left(a+\frac{1}{a}\right)\\ c=\frac{1}{3}+\frac{1}{3}\left(b+\frac{1}{b}\right)\\ a=\frac{1}{3}+\frac{1}{3}\left(c+\frac{1}{c}\right) \end{array}\right\}.\] Por tanto, consideraremos la siguiente función \[f(t)=\frac{1}{3}+\frac{1}{3}\left(t+\frac{1}{t}\right)\] definida en los reales positivos, y nos preguntamos si pueden existir $a,b,c\gt 0$ tales que $b=f(a)$, $c=f(b)$ y $a=f(c)$. En otras palabras, empezando por $a$ y aplicando tres veces $f$, queremos ver si podemos volver al punto $a$. Dos observaciones previas:

• Se cumple que $f(t)=\frac{1}{3}+\frac{1}{3}\left(t+\frac{1}{t}\right)\geq\frac{1}{3}+\frac{2}{3}=1$ para todo $t\gt 0$ ya que la suma de un número positivo y su inverso es mayor o igual que $2$. La igualdad se da si y sólo si $t=1$.
• La ecuación $f(t)=t$ equivale a $2t^2-t-1=0$, que tiene soluciones $t=1$ y $t=\frac{-1}{2}$, de las cuales sólo nos quedamos con $t=1$ ya que estamos trabajando con reales positivos. De aquí se deduce también fácilmente. que $f(t)\lt t$ para $t>1$.

Por lo tanto, no puede ser $0\lt a\lt 1$ ya que entonces tendríamos $a=f(c)\geq 1$. Tampoco puede ser $a\gt 1$ ya que entonces tendríamos que $a=f(c)\lt c=f(b)\lt b=f(a)\lt a$, que es un absurdo. Sólo nos queda la posibilidad $a=1$, que nos lleva a que $b=f(a)=1$ y $c=f(b)=1$. Deshaciendo el cambio inicial, obtenemos la única solución al sistema $x=y=z=0$.

Nota. El método de iterar una función y estudiar si podemos volver al mismo valor es muy estándar y conviene tenerlo en cuenta para muchos problemas de olimpiada. Esencialmente, tenemos que estudiar los puntos fijos de la función y si es mayor o menor que la identidad en los distintos intervalos para saber si la iteración hace crecer o decrecer los valores en determinados intervalos.

Solución. Supongamos que $\sqrt{n_1}+\sqrt[3]{n_2}$ es un racional $\frac{p}{q}$ y probaremos que debe ser entero. Para ello, despejamos la raíz cúbica y elevamos al cubo para eliminarla, esto es, \[\sqrt[3]{n_2}=\frac{p}{q}-\sqrt{n_1}\ \Longleftrightarrow\ n_2=\frac{p^3}{q^3}-3\frac{p^2}{q^2}\sqrt{n_1}+3\frac{p}{q}n_1-n_1\sqrt{n_1}.\] Agrupando los términos con raíz, llegamos a que \[n_2=\left(\frac{p^3}{q^3}+3\frac{p}{q}n_1\right)-\left(n_1+3\frac{p^2}{q^2}\right)\sqrt{n_1}\ \Longleftrightarrow\ \sqrt{n_1}=\frac{n_2-\frac{p^3}{q^3}-3\frac{p}{q}n_1}{n_1+3\frac{p^2}{q^2}}.\] Observemos que el denominador es un número positivo (no puede ser cero). Por lo tanto, $\sqrt{n_1}$ es un número racional, lo que nos dice que $n_1$ ha de ser un cuadrado perfecto (ver la nota). De esta manera, $\sqrt[3]{n_2}=\frac{p}{q}-\sqrt{n_1}$ también es racional, luego $n_2$ ha de ser un cubo perfecto (ver la nota) y $\sqrt[3]{n_1}+\sqrt{n_2}$ es entero.

Nota. Hemos usado el hecho muy conocido de que si $a$ y $n$ son números naturales y $\sqrt[n]{a}$ es racional, entonces $a$ es la potencia $n$-ésima de un entero. Esto se demuestra fácilmente escribiendo $\sqrt[n]{a}=\frac{r}{s}$ equivalentemente como $s^na=r^n$. Si ahora miramos en esta última ecuación el exponente de cualquier primo, el exponente en $a$ tiene que ser múltiplo de $n$.