Nota de Leo: Esta es una entrada invitada de Adán Medrano Martín del Campo. Nos platicará de un problema de saltamontes (de hecho, de dos) y de funciones en los enteros.
Esto nos aconsejó muy atinadamente el Dr. Hugo López-Gatell Ramírez hace unos pocos días, ya que México y la mayoría del mundo está en cuarentena a causa de la enfermedad COVID19.
Cada vez más y más personas buscamos nuevas actividades para hacer en casa. Junto con Leo Martínez, David Torres (aka Gato) y Pablo Meré, administro el grupo de facebook InsOMMnia, el cual sirve de plataforma para discutir y realizar actividades olímpicamente productivas. A modo de amenizar la cuarentena, hice un video en vivo explicando la solución a un problema que me pareció particularmente agradable por varias razones:
- Apareció en el examen de selección del equipo rumano de la IMO 2019
- Es parecido al problema 5 de la OMM 2019
- Es, en cierto sentido, un problema de saltamontes
En esta entrada, quisiera platicarles el problema y su solución. Antes de esto, recordemos el problema que apareció en la OMM 2019.
La Momia: OMM 2019
Problema 5. Sean dos números enteros positivos, primos relativos entre sí. En un camino recto, en el cual está marcado cada centímetro
, para todo entero
, un saltamontes hará algunos saltos comenzando en la marca de
cm y siguiendo las siguientes reglas:
- Cuando cierto minuto sea múltiplo de
y no múltiplo de
, saltará
centímetros hacia adelante.
- Cuando cierto minuto sea múltiplo de
y no múltiplo de
, saltará
centímetros hacia atrás.
- Cuando cierto minuto sea múltiplo de
y múltiplo de
, saltará
centímetros hacia adelante.
- Cuando un minuto no es múltiplo de
ni de
, el saltamontes no se mueve del lugar en el que está.
Determina todas las marcas a las que puede llegar el saltamontes.
Nota de Leo: Este es un excelente problema para explorarse buscando un patrón.
Sin dar un spoiler de la solución a dicho problema, el enunciado puede traducirse al siguiente problema de equivalente.
Problema 5′: Sean enteros primos positivos primos relativos entre sí y sea
la función dada por
Determina la imagen de

Uno puede jugar un poco con la función definida arriba, y llegar a la respuesta usando propiedades de dicha función. El objetivo de mostrarles este enunciado equivalente, es que muchas veces ciertos problemas que hablan de ciertos procesos pueden describirse (y resolverse) en términos de funciones construidas apropiadamente.
El problema que resolveremos cae en la categoría opuesta, pues es un problema sobre una función, al cual se le puede dar una interpretación de un saltamontes haciendo… algo.
El Vampiro: Romania TST 2019
Problema: Sean enteros positivos y sea
una función dada por
Determina la cantidad de enteros positivos


«Y eso qué tiene que ver con un saltamontes?» podrías pensar en este momento. ¡Ha ha! Mira ahora este problema de saltamontes.
Problema’: Sean enteros positivos. Un saltamontes se encuentra sobre un entero
en la recta real positiva, donde hay pasto en los enteros positivos menores o iguales que
, y lava en los enteros mayores a
. Inicialmente, el saltamontes tiene una vida, y mientras el saltamontes tenga al menos una vida, se dispondrá a saltar de la siguiente manera:
- Si el saltamontes se encuentra en el pasto, el saltamontes gana una vida y salta
enteros hacia adelante.
- Si el saltamontes se encuentra en la lava, el saltamontes pierde una vida y salta
enteros hacia atrás.
Cuando el saltamontes tiene vidas, este muere y deja de moverse. Determina todas las posiciones iniciales del saltamontes tal que el saltamontes morirá en su posición inicial.

A que no se lo esperaban. (Honestamente yo tampoco, pero últimamente tengo más tiempo libre). Tal vez este problema inspire algún mini juego en alguna entrega futura de The Legend of Zelda.
Y, ¿cómo resolvemos algo así?
El Santo: venciendo a la momia y al vampiro
Spoiler Alert:
A continuación resolveremos los problemas, en caso que estés intentándolos y no quieras ver sus soluciones
La clave para ambos problemas es: ¡usar residuos y propiedades de las funciones en juego!
Solución al problema 5 del nacional
Notemos que al dividir entre
y entre
, obtenemos
donde
son precisamente los residuos que resultan de la división. Notemos entonces que
por lo que







lo cual compone la imagen de

¡Genial! Mirar los residuos fue clave en el problema de saltamontes del nacional. En particular, no lo usamos en nuestra solución, pero resulta ser una función periódica, con periodo
. Esto es gracias a que
y
son primos relativos, y por lo tanto cada pareja de residuos
se repiten exactamente cada
enteros.
La periodicidad será una propiedad clave en la solución del problema del selectivo rumano. Comenzamos mostrando una exploración del problema.
Exploración del problema del selectivo rumano
Los puntos tales que
son llamados puntos fijos. En la formulación como problema de saltamontes, corresponden a que el saltamontes muera justo donde empezó: «muera» es que ya no haya
, empieza con una vida, osea una
.
Notemos que si , entonces
no es un punto fijo, pues
Esto nos dice que los puntos fijos son menores o iguales que


y esto nos lleva a considerar que números cercanos a , dentro de un intervalo de tamaño
, tendrán un valor similar. En efecto, si
entonces
Ahora, veamos que restando


¡Hemos regresado a un valor ya conocido! Esto nos lleva a la hipótesis de que


![Rendered by QuickLaTeX.com [1, c]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-a1ca599ab584fe824b3e0ed2c46ab077_l3.png)
Un par de lemas para el problema rumano
La manera de enunciar formalmente las observaciones anteriores esto es, por ejemplo, via el siguiente lema:
Lema 1: Sea un entero positivo menor o igual que
donde
y
. Entonces
(Prueba del lema 1): Procederemos por descenso en los enteros positivos. Construiremos una secuencia de valores iguales, con distinta cantidad de ‘s compuestas, de la siguiente manera: comenzamos con
y definimos
para todo

donde



Habiendo definido esto, tenemos que
para todo

Observemos que si entonces
si se cumple que
. Más aún, observemos el siguiente lema:
Lema 2: Para todo , tenemos que
implica que
.
(Prueba del lema 2): Procedemos por inducción. Para esto es claro, pues
Ahora, supongamos que


Si

por lo que

Hemos probado pues que las secuencias y
decrecen, y mientras
, tendremos que
. ¿Cómo hemos de proseguir con esto?
La clave es notar la existencia de la menor tal que
, donde es claro que
. Si
entonces
, y ya hemos cubierto ese caso arriba, así que asumiremos que
. Tenemos que
por lo que, por el lema 2,
y como


por lo que para todo


y tenemos que

Juntando todo
Vaya, después de arduo trabajo hemos mostrado la periodicidad de . Lo que falta únicamente, es usar esto para hacer una conclusión sobre los puntos fijos. Notemos que los únicos valores de
en el dominio
son
para
, así que solo estos valores pueden ser puntos fijos de
. De hecho, cada uno de esos valores es un punto fijo si y solo si podemos encontrar una
tal que







Antes de regresar a la cuarentena
Espero que hayan pasado un rato agradable pensando en este problema, y espero que hayan entendido 4 lecciones:
- Quédate en casa
- Quédate en casa
- Quédate en casa
- Es una buena idea usar residuos y secuencias jugando con enteros.
Con esto me despido y, ¡hasta la próxima!