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.