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

Solución. Los restos de dividir $2^r$ entre $7$ se van repitiendo periódicamente y podemos reflejarlos en la siguiente tabla: \[\begin{array}{c|ccccccccccccccccc} r&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&\cdots\\\hline 2^r\ (\text{mod }7)&2&4&1&2&4&1&2&4&1&2&4&1&2&4&1&2&\cdots \end{array}\] Los restos de $16^s=2^{4s}$ también son periódicos al incrementar $s$ y simplemente hay que recorrer la tabla anterior saltando de cuatro en cuatro: \[\begin{array}{c|ccccc} s&1&2&3&4&\cdots\\\hline 16^s\ (\text{mod }7)&2&4&1&2&\cdots \end{array}\] Otra forma de ver que las dos tablas son realmente la misma es darse cuenta de que $16^s=8^s2^s\equiv 1^s2^2\equiv 2^s\ (\text{mod }7)$, o directamente usando que $16\equiv 2\ (\text{mod }7)$. Además, para obtener $5$ como diferencia de dos números de la tabla sólo tenemos la posibilidad $2-4\equiv 5\ (\text{mod }7)$. Como los restos se repiten de tres en tres, la respuesta a la primera pregunta es que $r\equiv 1\ (\mathrm{mod }3)$ y $s\equiv 2\ (\text{mod }3)$.

Un ejemplo de número positivo que cumple estas condiciones se tiene para $r=10$ y $s=2$, lo que nos da \[n=2^{10}-16^2=1024-256=768.\] Este es el número positivo más pequeño que se obtiene con $s=2$. Ahora bien, si $s\geq 5$ (que es el siguiente número congruente con $2$ módulo $3$), entonces para que $n=2^r-16^s=2^r-2^{4s}$ sea positivo, tiene que ser $r\geq 4s+1$, lo que nos da $n\geq 2^{4s+1}-2^{4s}=2^{4s}\geq 16^5\gt 768$. Deducimos por tanto que $n=768$ es el menor entero que cumple la condición del enunciado.

Solución. Sustituyendo $z=-x-y$, obtenemos que \[\frac{1}{x}+\frac{1}{y}+\frac{1}{z}=\frac{1}{x}+\frac{1}{y}-\frac{1}{x+y}=\frac{x^2+xy+y^2}{xy(x+y)}.\qquad (\star)\] Si esta expresión es igual al inverso de un natural $n$, entonces \[xy(x+y)=n(x^2+xy+y^2).\] Veamos que $n$ es par distinguiendo casos:

• Si $x$ es impar o $y$ es impar, entonces $xy(x+y)$ es par mientras que $x^2+xy+y^2$ es impar, luego $n$ tiene que ser par.
• Si $x$ e $y$ son ambos pares, entonces sea $2^a$ es la mayor potencia de $2$ que divide tanto a $x$ como a $y$. Tenemos que $2^{3a}$ divide a $xy(x+y)$, pero el factor $x^2+xy+y^2$ es divisible solo por $2^{2a}$. Por tanto $2^a$ divide a $n$, que tiene que ser par.

El problema habrá terminado si probamos que todo entero par se puede escribir de esta manera. Para que el denominador en $(\star)$ sea igual a $2$, tenemos que elegir $x=y=1$, luego $z=-2$. Esto nos da la igualdad $\frac{1}{1}+\frac{1}{1}+\frac{1}{-2}=\frac{3}{2}$, que no es solución pero podemos dividir por $3$ ambos miembros para obtener $\frac{1}{3}+\frac{1}{3}+\frac{1}{-6}=\frac{1}{2}$, luego $n=2$ es solución para $(x,y,z)=(3,3,-6)$. Obtenemos el resto de números pares $n=2k$ si tomamos $(x,y,z)=(3k,3k,-6k)$.

Solución. Supongamos que $a\mid b+c$, $b\mid a+c$ y $c\mid a+b$. Si $p$ es un primo que divide a $a$ y $b$, entonces divide a $b+c$ luego también divide a $c$. Este razonamiento nos dice que, si ningún primo divide a los tres, entonces tampoco puede dividir a dos, es decir, $a$, $b$ y $c$ son primos relativos dos a dos. Además, tenemos que $a$, $b$ y $c$ dividen a $a+b+c$, luego $abc$ divide a $a+b+c$ (por ser primos relativos). En partiular, se tiene que $abc\leq a+b+c\leq 3c$, con lo que $ab\leq 3$. Esto nos deja muy pocas posibilidades para el par $(a,b)$:

• Si $a=b=1$, las dos primeras condiciones $a\mid b+c$ y $b\mid a+c$ se cumplen siempre y la tercera $c\mid a+b=2$ nos dice que $c=1$ o $c=2$, luego tenemos las soluciones $(1,1,1)$ y $(1,1,2)$.
• Si $a=1$ y $b=2$, tenemos que $c\mid a+b=3$, luego $c=3$ ya que debe ser $b\geq c$. Se comprueba que $(1,2,3)$ también es solución.
• Si $a=1$ y $b=3$, entonces $c\mid a+b=4$ nos dice que $c=4$ para que sea $b\leq c$, pero no se cumple que $b\mid a+c$, luego no hay soluciones en este caso.

Deducimos así que la terna $(a,b,c)$ es $(1,1,1)$, $(1,1,2)$ o $(1,2,3)$.