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

Solución. Para $n=1$, tenemos que $1989=9\cdot 221= 3^2(10^2+11^2)=3^2(5^2+14^2)$. Para $n=2$, tenemos que \[1989^2=9^2\cdot 221^2= 9^2\cdot 48841=9^2(85^2+204^2)=9^2(104^2+195^2).\] De aquí el resultado es inmediato ya que basta multiplicar uno de estos dos números por el cuadrado perfecto $1989^{2n}=(1989^n)^2$ para obtener cualquier potencia de $1989$. Obviamente, los dos resultados obtenidos de las descomposiciones anteriores son distintos.

Solución. Como tenemos que $[\frac{3}{2}]=1$ y $\{\frac{3}{2}\}=\frac{1}{2}$, estamos buscando el conjunto de números reales tales que \[([x]-1)^2+(\{x\}-0.5)^2\lt \frac{202^2}{100^2}=4.0804.\] La parte entera de un número $x$ que cumpla esta desigualdad puede ser $-1$, $0$, $1$, $2$ o $3$ ya que , en caso de ser otro número, el sumando $([x]-1)^2$ sería mayor o igual que $49. Distingamos casos:

• Si $[x]=-1$, entonces la desigualdad nos queda $(\{x\}-0.5)^2\lt 0.0804$ o bien $|\{x\}-0.5|\lt \sqrt{0.0804}$. Esto nos da el intervalo de soluciones $(-0.5-\sqrt{0.0804},-0.5+\sqrt{0.0804})$.
• Si $[x]=0$, entonces la desigualdad nos queda $(\{x\}-0.5)^2\lt 3.0804$ o bien $|\{x\}-0.5|\lt \sqrt{3.0804}$. Como la parte decimal está entre $0$ y $1$, deducimos que todo el intervalo $[0,1)$ son soluciones de la desigualdad.
• Si $[x]=1$, entonces $\{x\}$ puede ser cualquier número entre $0$ y $1$ y la desigualdad es cierta. Esto nos da el intervalo de soluciones $[1,2)$.
• Si $[x]=2$, se razona de la misma manera que si $[x]=0$ por simetría y tenemos todo el intervalo de soluciones $[2,3)$.
• Si $[x]=3$, se razona de la misma manera que si $[x]=-1$ por simetría y tenemos el intervalo de soluciones $(-3.5-\sqrt{0.0804},-3.5+\sqrt{0.0804})$.

Con todo esto, el conjunto de puntos buscado es \[(-3.5-\sqrt{0.0804},-3.5+\sqrt{0.0804})\cup[0,3)\cup (-3.5-\sqrt{0.0804},-3.5+\sqrt{0.0804}).\]

Nota. Hemos usado decimales por comodidad pero todos los números decimales que aparecen son exactos, concretamente $0.0804=\frac{201}{2500}$ y $3.0804=\frac{7701}{2500}$.

Solución. Escribamos por simplicidad $x_n=(1+\sqrt{5})^n+(1-\sqrt{5})^n$. Vamos a probar el resultado por inducción completa sobre $n$. El caso base $n=1$ (en realidad, para $n=0$ también es válido si se quiere incluir), nos da $x_1=(1+\sqrt{5})+(1-\sqrt{5})=2$, que es un entero divisible entre $2$. Supongamos entonces que $x_k$ es un entero divisible entre $2^k$ para todo $k\leq n$. Para analizar el siguiente número $x_{n+1}$, hacemos el siguiente desarrollo \begin{align*} 2x_n&=[(1+\sqrt{5})+(1-\sqrt{5})][(1+\sqrt{5})^n+(1-\sqrt{5})^n]\\ &=(1+\sqrt{5})^{n+1}+(1-\sqrt{5})^{n+1}+(1+\sqrt{5})(1-\sqrt{5})^n+(1-\sqrt{5})(1+\sqrt{5})^n\\ &=x_{n+1}+(1+\sqrt{5})(1-\sqrt{5})x_{n-1}=x_{n+1}-4x_{n-1} \end{align*} Podemos así despejar \[x_{n+1}=2x_n+4x_{n-1}=2\cdot 2^n\cdot a+4\cdot 2^{n-1}\cdot b=2^{n+1}(a+b),\] para ciertos enteros $a$ y $b$, donde hemos usado por hipótesis de inducción que existen dichos enteros tales que $x_n=2^n\cdot a$ y $x_{n-1}=2^{n-1}\cdot b$. Deducimos así que $x_{n+1}$ es un múltiplo de $2^{n+1}$ y hemos terminado la demostración.

Nota. Sabiendo un poco sobre sucesiones recurrentes lineales, el número $x_n=\alpha^n+\beta^n$ verifica una recurrencia lineal $x_{n+1}=p x_n+qx_{n-1}$, siendo $\alpha$ y $\beta$ las raíces del polinomio $x^2-px-q=0$.

Solución. Vamos a probar la fórmula por inducción sobre $n$. El caso base es $n=1$, para el que se tiene que el miembro de la izquierda es \begin{align*} \frac{1}{x-1}-\frac{4}{x^4-1}&=\frac{1}{x-1}-\frac{4}{(x-1)(x+1)(x^2+1)}=\frac{(x+1)(x^2+1)-4}{(x-1)(x+1)(x^2+1)}\\ &=\frac{x^3+x^2+x-3}{(x-1)(x+1)(x^2+1)}=\frac{x^2+2x+3}{(x+1)(x^2+1)}\\ &=\frac{(x^2+1)+2(x+1)}{(x+1)(x^2+1)}=\frac{1}{x+1}+\frac{2}{x^2+1} \end{align*} Supongamos ahora que la igualdad es cierta para $n-1$, es decir, supongamos que \[\frac{1}{x+1}+\frac{2}{x^2+1}+\frac{4}{x^4+1}+\ldots+\frac{2^{n-1}}{x^{2^{n-1}}+1}=\frac{1}{x-1}-\frac{2^{n}}{x^{2^{n}}-1}.\] Entonces, para el siguiente caso tenemos que \begin{align*} \frac{1}{x+1}+\ldots+\frac{2^n}{x^{2^n}+1}&=\frac{1}{x-1}-\frac{2^{n}}{x^{2^{n}}-1}+\frac{2^n}{x^{2^n}+1}\\ &=\frac{1}{x-1}-\frac{2^n[(x^{2^{n}}-1)-(x^{2^{n}}+1)]}{(x^{2^{n}}-1)(x^{2^n}+1)}=\frac{1}{x-1}-\frac{2^{n+1}}{x^{2^{n+1}}-1}, \end{align*} donde hemos aplicado la hipótesis de inducción a los primeros $n$ sumandos.

Solución. Supongamos que $a_n$ es racional para cierto valor de $n$ y, por tanto, que su expresión decimal es periódica. Si llamamos $r$ a la longitud del período, como $10^{rn}$ tiene al menos $r$ ceros consecutivos y está contenido en la mantisa de $a_n$, deducimos necesariamente que el período es cero, es decir, que el número es un decimal exacto. Esto es una contradicción ya que hay infinitos decimales no nulos en $a_n$. Esta contradicción nos asegura que $a_n$ no es racional para ningún valor de $n$.