Taxonomía de los problemas IMO de TdN (1988–2024)

Por qué importa clasificar los problemas IMO de TdN

La IMO ha propuesto, entre 1988 y 2024, aproximadamente 55 problemas de Teoría de Números (numerados P1–P6; los de TdN suelen aparecer en posiciones P1, P2, P4 o P5, raramente en P6 que suele ser Combinatoria o Geometría). Estudiar esta colección como un corpus clasificado tiene varias ventajas:

Ventaja 1 — Probabilidad: ciertas familias aparecen con mucha más frecuencia que otras. Los problemas de divisibilidad con estructura multiplicativa, las ecuaciones diofánticas cuadráticas y los problemas de valuación $p$-ádica constituyen el grueso de la colección. Saber esto orienta el estudio.

Ventaja 2 — Reconocimiento de patrones: dentro de cada familia, los problemas comparten no solo la técnica central sino también la estructura del enunciado (palabras clave, tipo de cuantificador, rango de variables). Reconocer el patrón es el primer paso para decidir la estrategia.

Ventaja 3 — Diagnóstico de debilidades: al mapear los problemas que uno sabe resolver frente a los que no, se obtiene un mapa preciso de las brechas técnicas.

La taxonomía que presentamos tiene siete familias. No son compartimentos estancos: muchos problemas combinan dos o tres familias. Pero siempre hay una técnica dominante que determina el esquema de solución.

Familia 1: Divisibilidad y estructura multiplicativa

Descripción: el enunciado pide demostrar que $a \mid b$, que $a^n \mid b$, o que cierta expresión es un cuadrado, cubo, o potencia perfecta. La herramienta central es el análisis de factorización prima: valuaciones $p$-ádicas, el Lema de Levantamiento del Exponente (LTE), y la función de Euler.

Frecuencia: aproximadamente 20–25% de los problemas IMO de TdN entre 1988 y 2024.

Ejemplos canónicos: IMO 1990 P3 ("¿para qué $n$ es $2^n + 1$ divisible por $n$?"), IMO 2000 P5 ("$a_n$ divisible por $n$"), IMO 2014 P6 (divisibilidad con sucesiones).

Señal en el enunciado: frases como "demuestra que $k \mid n$", "halla todos los $n$ tales que $n \mid f(n)$", "demuestra que es un cuadrado perfecto".

Primer movimiento: factorizar la expresión en potencias de primo y aplicar LTE o el análisis de valuaciones. Si la condición es "$n \mid 2^n - 1$", buscar la forma del orden multiplicativo de $2$ módulo los factores primos de $n$.

Familia 2: Ecuaciones diofánticas

Descripción: hallar todas las soluciones enteras (o naturales) de una ecuación polinomial. Las técnicas son: factorización en $\mathbb{Z}[x]$, acotación (descent), congruencias módulo pequeños números, y el método de Vieta jumping para ecuaciones simétricas.

Frecuencia: 20–25% de los problemas IMO de TdN.

Ejemplos canónicos: IMO 2007 P5 ($a^2 + b^2 \mid a^3 + b^3$ o la versión con $2^a + 2^b \mid k$), IMO 1988 P6 (el famoso Vieta jumping: $\frac{a^2 + b^2}{ab + 1}$ es un cuadrado), IMO 2006 P5.

Señal en el enunciado: "halla todos los enteros positivos $a, b, c$ tales que...", ecuaciones con dos o más variables y estructura simétrica o cuasi-simétrica.

Primer movimiento: probar paridad, congruencias módulo 2, 3, 4; intentar factorizar; buscar si la ecuación es cuadrática en una variable (para aplicar Vieta jumping); o buscar cotas que reduzcan el problema a un número finito de casos.

Familia 3: Sucesiones y recurrencias

Descripción: se define una sucesión por recurrencia y se pide demostrar propiedades de divisibilidad, demostrar que ciertos términos son perfectos, o hallar todos los índices que satisfacen una condición.

Frecuencia: 15–20% de los problemas IMO de TdN.

Ejemplos canónicos: IMO 2003 P2 (sucesión de Fibonacci generalizada y divisibilidad), IMO 2011 P2 (sucesiones con condición de divisibilidad), IMO 2015 P2.

Señal en el enunciado: "sea $a_1, a_2, \ldots$ una sucesión definida por $a_{n+1} = \ldots$", "demuestra que $a_m \mid a_n$ cuando $m \mid n$".

Primer movimiento: estudiar la sucesión módulo pequeños números para detectar periodicidad; usar el lema de Zsygmondy para divisores primitivos; o reducir la recurrencia a una de coeficientes constantes y estudiar el polinomio característico módulo $p$.

Familia 4: Ecuaciones funcionales de tipo aritmético

Descripción: hallar todas las funciones $f: \mathbb{Z}^+ \to \mathbb{Z}^+$ que satisfacen una ecuación funcional con condiciones multiplicativas, de divisibilidad, o combinadas. La herramienta es la clasificación de funciones multiplicativas (Cap5) y la técnica de Vieta jumping aplicada a ecuaciones funcionales.

Frecuencia: 10–15% de los problemas IMO de TdN (la frontera con Álgebra es difusa; en la IMO, los clasificadores a veces asignan estos problemas a álgebra).

Ejemplos canónicos: IMO 2010 P1 ($f(\lfloor m/n \rfloor) = \lfloor f(m)/f(n) \rfloor$), IMO 2015 P5 (ecuación funcional en $\mathbb{Z}^+$).

Señal en el enunciado: "$f: \mathbb{Z}^+ \to \mathbb{Z}^+$", condición del tipo $f(mn) = f(m)f(n)$ o $f(m+n) \mid f(m) + f(n)$.

Primer movimiento: probar inyectividad, aplicar la condición en $m = n = 1$, factorizar y analizar el comportamiento en primos y potencias de primo.

Familia 5: Combinatoria aritmética y conjuntos

Descripción: problemas sobre conjuntos de enteros con propiedades de divisibilidad o suma, coloraciones aritméticas, o existencia de configuraciones. Estas preguntas están en la frontera TdN–Combinatoria.

Frecuencia: 10–15% de los problemas IMO de TdN.

Ejemplos canónicos: IMO 2005 P4 (coloración de $\mathbb{Z}$ y aritmética), IMO 2017 P6 (conjunto de enteros con condición de divisibilidad).

Señal en el enunciado: "sea $S$ un conjunto de enteros positivos tal que...", "coloración de enteros", "para toda terna $(a, b, c)$ en el conjunto...".

Primer movimiento: probar con conjuntos pequeños o construir contraejemplos; usar el principio del casillero (Pigeonhole) con residuos; estudiar sumas de elementos del conjunto módulo pequeños primos.

Familia 6: Orden multiplicativo, raíces primitivas y congruencias cuadráticas

Descripción: problemas que involucran el orden de un elemento módulo $n$, residuos cuadráticos, el símbolo de Legendre, o la existencia de raíces primitivas. Son los problemas más "algebraicos" del TdN IMO.

Frecuencia: 10% de los problemas IMO de TdN.

Ejemplos canónicos: IMO 1992 P1 (orden y divisibilidad), IMO 2013 P5 (geometría de puntos enteros con estructura de residuos).

Señal en el enunciado: "$\text{ord}_n(a)$", "existe $x$ tal que $x^2 \equiv a \pmod{n}$", "residuos cuadráticos módulo primo".

Primer movimiento: calcular el orden directamente en casos pequeños; usar la caracterización $\text{ord}_p(a) \mid p - 1$; aplicar el criterio de Euler $a^{(p-1)/2} \equiv \pm 1$.

Resumen: mapa de decisión para identificar la familia

Al leer un problema IMO de TdN por primera vez, el clasificador interno debe responder: ¿qué me pide demostrar?

• Si pide una divisibilidad o que algo es una potencia perfecta → Familia 1 (LTE, valuaciones).

• Si pide hallar todas las soluciones enteras de una ecuación → Familia 2 (diofántica: factorización, Vieta).

• Si define una sucesión y pide propiedades de sus términos → Familia 3 (recurrencias, periodicidad módulo $p$).

• Si pide hallar funciones $f: \mathbb{Z}^+ \to \mathbb{Z}^+$ → Familia 4 (ecuaciones funcionales aritméticas).

• Si habla de un conjunto de enteros con propiedades → Familia 5 (combinatoria aritmética).

• Si involucra orden multiplicativo o residuos cuadráticos → Familia 6.

Los problemas de nivel P5–P6 suelen combinar dos familias. El orden de los "primeros movimientos" que se detalla en la Lección 6.2 da el protocolo para cada combinación.