Módulos / algebra-3 / Capítulo 6 — Problemas IMO de álgebra: taxonomía y estrategia / Lección 6.1

Mapa de los problemas de álgebra en el IMO (1959–2024)

Lección 6.1·Capítulo 6 — Problemas IMO de álgebra: taxonomía y estrategia·13 min·Piloto
▶

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Construir una taxonomía completa de los problemas de álgebra en el IMO desde 1959 hasta 2024: identificar las grandes familias temáticas (ecuaciones funcionales, desigualdades, polinomios, sucesiones, álgebra combinatoria), reconocer las épocas y tendencias de la olimpiada, y saber clasificar cualquier problema nuevo dentro de este mapa para elegir la estrategia de ataque correcta.

La distribución histórica del álgebra en el IMO

En los 65 años del IMO (1959–2024), aproximadamente el 30–35 % de los problemas pertenecen al área de álgebra en sentido amplio. El IMO tiene 6 problemas por edición, organizados en dos grupos de tres por dificultad creciente. Los problemas de álgebra aparecen en todas las posiciones, pero dominan las posiciones P1–P2 (accesibles) y P3/P6 (muy difíciles).

El análisis de los shortlists (ISL) revela que el comité clasifica los problemas de álgebra en las categorías A1–A7 (o más) según dificultad. Los problemas A1–A2 son los más accesibles del shortlist (equivalentes a P1–P2 del IMO); los A5–A7 son los que se convierten en P3 o P6.

Distribución temática aproximada (1959–2024): desigualdades 35 %, ecuaciones funcionales 25 %, polinomios 15 %, sucesiones y recurrencias 12 %, álgebra combinatoria (sumas, productos, identidades) 8 %, miscelánea algebraica 5 %.

Esta distribución ha cambiado con el tiempo: las desigualdades puras dominaron 1959–1990; las ecuaciones funcionales aumentaron desde 1990; los problemas de álgebra combinatoria y álgebra–combinatoria híbrida son más frecuentes desde 2000.

Consecuencia estratégica. Un competidor IMO debe dominar todas las familias, pero el tiempo de preparación marginal más rentable está en ecuaciones funcionales y desigualdades, que juntas representan el 60 % del álgebra IMO.

Aˊlgebra IMO≈35% desigualdades+25% ec. funcionales+15% polinomios+⋯\text{Álgebra IMO} \approx 35\% \text{ desigualdades} + 25\% \text{ ec. funcionales} + 15\% \text{ polinomios} + \cdots

Familia 1: desigualdades olímpicas — taxonomía interna

Las desigualdades IMO se clasifican en varias subfamilias según la técnica dominante:

(a) AM-GM y sus variantes. Incluye Schur, Muirhead, SOS (sumas de cuadrados). Son las desigualdades "clásicas" con variables simétricas. Ejemplo paradigmático: IMO 1983 P2.

(b) Cauchy–Schwarz y Engel (Titu). La forma ∑ai2/bi≥(∑ai)2/∑bi\sum a_i^2/b_i \geq (\sum a_i)^2/\sum b_i es el caballo de trabajo para desigualdades con fracciones. Ejemplo: IMO 1995 P2.

(c) Convexidad y Jensen. Problema típico: demostrar que f(a)+f(b)+f(c)≥3f((a+b+c)/3)f(a)+f(b)+f(c) \geq 3f((a+b+c)/3) para ff convexa. Aparece más en ISL que en el IMO directamente.

(d) Desigualdades con restricciones no estándar. Por ejemplo, abc=1abc=1 o a+b+c=1a+b+c=1 más condiciones de paridad. La técnica es normalización y SOS. Ejemplo: IMO 2000 P2, IMO 2012 P2.

(e) Desigualdades de tipo "optimización discreta". El problema pide el mínimo o máximo de una expresión sobre enteros o sobre conjuntos finitos. Ejemplo: IMO 2006 P3.

Reconocimiento. La señal de que una desigualdad es de tipo (a) o (b) es la simetría de la expresión y las restricciones del tipo suma o producto constantes. La señal de tipo (c) es la presencia de funciones logarítmicas, exponenciales o trigonométricas en la desigualdad.

Familia 2: ecuaciones funcionales — taxonomía interna

Las ecuaciones funcionales IMO tienen una taxonomía más técnica:

(a) Aditivas y multiplicativas. Ecuaciones de Cauchy y sus variantes: f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y), f(xy)=f(x)+f(y)f(xy)=f(x)+f(y), etc. La respuesta típica es una función lineal, logarítmica o exponencial. Ejemplo: IMO 2010 P1.

(b) D'Alembert y de Jensen. f(x+y)+f(x−y)=2f(x)f(y)f(x+y)+f(x-y)=2f(x)f(y) (coseno/cosh) o f((x+y)/2)=(f(x)+f(y))/2f((x+y)/2)=(f(x)+f(y))/2 (Jensen/midpoint convex). Aparecen más en ISL A1–A3.

(c) Ecuaciones con iteración. Involucran f(f(x))f(f(x)) o fn(x)f^n(x). Ejemplo paradigmático: IMO 1992 P3 (en realidad de TdN, pero con sabor funcional). En álgebra: ISL 2010 A1.

(d) Ecuaciones funcionales difíciles: con varios argumentos relacionados. Por ejemplo f(x)f(y)=f(x+y)f(xy)f(x)f(y) = f(x+y)f(xy) o variantes. La técnica es acumular relaciones mediante sustituciones cruzadas. Ejemplo: IMO 2015 P5 (aunque formalmente de análisis).

**(e) Ecuaciones funcionales sobre enteros o Q\mathbb{Q}.** Dominio restringido, sin hipótesis de continuidad. La técnica es la caracterización por valores en primos o recursión. Ejemplo: ISL 2009 A1.

Patrones de reconocimiento. Si la ecuación tiene un lado f(x+y)f(x+y) y el otro separa en f(x)f(x) y f(y)f(y), probablemente es aditiva. Si involucra f(f(x))f(f(x)), busca puntos fijos e inyectividad. Si la ecuación mezcla suma y producto, la factorización es clave.

Familias 3–5: polinomios, sucesiones, álgebra combinatoria

Polinomios IMO. Los problemas de polinomios IMO se dividen en: (a) raíces enteras/racionales y criterio de Eisenstein (IMO 1993 P1); (b) polinomios con valores en enteros o primos (IMO 2006 P5); (c) polinomios de Chebyshev y trigonometría algebraica (ISL varios); (d) polinomios simétricos y Schur (IMO 2012 P3). La señal de un problema de polinomios es que la hipótesis o la conclusión involucra P(n)∈ZP(n) \in \mathbb{Z} o P(n)∣Q(n)P(n) \mid Q(n).

Sucesiones y recurrencias. Los temas frecuentes son: (a) sucesiones definidas por recurrencias no lineales (IMO 2011 P5); (b) sucesiones con propiedades de divisibilidad (IMO 2007 P6 — en realidad de conteo, pero con álgebra); (c) sucesiones monótonas o acotadas y convergencia (más en ISL A que en IMO). La señal es una definición recursiva de la forma an+1=f(an)a_{n+1} = f(a_n) o an+1=g(an,an−1)a_{n+1} = g(a_n, a_{n-1}).

Álgebra combinatoria. Problemas que mezclan álgebra con conteo: sumas de potencias, identidades binomiales, matrices con entradas positivas. Ejemplos: IMO 2014 P1 (desigualdad combinatoria), ISL 2006 A4 (sumas de fracciones). La señal es la presencia de sumatorias, productos o expresiones binomiales en la hipótesis o conclusión.

Problemas híbridos. Una fracción importante de los problemas IMO de álgebra difícil (P3, P6) son híbridos: combinan dos familias. Ejemplos: álgebra + geometría (desigualdades trigonométricas), álgebra + TdN (ecuaciones funcionales sobre enteros), álgebra + combinatoria (funciones de grafos). El mapa de taxonomía sirve para identificar las dos familias involucradas y combinar sus estrategias.

Cómo usar el mapa en competencia

Paso 1: clasificar. Al leer el problema, identificar la familia (¿hay desigualdad? ¿ecuación funcional? ¿polinomio?). Si hay ambigüedad, listar las dos posibles familias y sus estrategias.

Paso 2: estimar la dificultad. Un problema A1 del ISL (P1 del IMO) raramente requiere una técnica avanzada; un A5–A7 casi siempre combina dos herramientas. Si después de 15 minutos no has encontrado el eje del problema, probablemente estás usando la familia equivocada.

Paso 3: buscar la estructura oculta. Los problemas de desigualdades difíciles suelen tener una igualdad obvia que revela la configuración extrema; los de ecuaciones funcionales suelen tener un punto fijo o un valor especial que determina todo; los de polinomios suelen tener una factorización inesperada.

Paso 4: calibrar expectativas. En el IMO, los problemas P1 y P4 son resolubles en 1–2 horas con preparación media; P2 y P5 en 2–3 horas; P3 y P6 requieren a veces 4 horas o quedan sin resolver por la mayoría. Ajusta tu estrategia de tiempo en consecuencia.

Ejercicio de clasificación. Los 8 problemas al final de este capítulo cubren las 5 familias principales. Antes de intentar resolverlos, clasifica cada uno dentro del mapa. Esta capacidad de reconocimiento rápido es una habilidad entrenada.

Problemas del Capítulo 6 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

A3-6.1★★★★IMO 2010, Problema 1

Halla todas las funciones f:R→Rf: \mathbb{R} \to \mathbb{R} tales que para todo x,y∈Rx, y \in \mathbb{R}: f(⌊x⌋y)=f(x)⌊f(y)⌋f(\lfloor x \rfloor y) = f(x) \lfloor f(y) \rfloor.

A3-6.2★★★★IMO Shortlist 2006, A2

Sean a1,a2,…,ana_1, a_2, \ldots, a_n reales positivos con suma 11. Demuestra que ∑i=1nai1−Si≥nn−1\sum_{i=1}^n \frac{a_i}{1 - S_i} \geq \frac{n}{n-1} donde Si=a1+a2+⋯+ai−1S_i = a_1 + a_2 + \cdots + a_{i-1} (con S1=0S_1 = 0, así que 1−S1=11-S_1 = 1, 1−S2=1−a11-S_2 = 1-a_1, etc.).

A3-6.3★★★★IMO Shortlist 2007, A2

Considera la secuencia a0,a1,a2,…a_0, a_1, a_2, \ldots definida por a0=−1a_0 = -1 y an=1n∑k=0n−1ak2a_n = \frac{1}{n}\sum_{k=0}^{n-1}a_k^2 para n≥1n \geq 1. Demuestra que an>−1a_n > -1 para todo n≥1n \geq 1 y que {an}\{a_n\} es creciente y converge a 00.

A3-6.4★★★★IMO 2000, Problema 2

Sean aa, bb, cc reales positivos con abc=1abc = 1. Demuestra que (a−1+1b) ⁣(b−1+1c) ⁣(c−1+1a)≤1\left(a - 1 + \frac{1}{b}\right)\!\left(b - 1 + \frac{1}{c}\right)\!\left(c - 1 + \frac{1}{a}\right) \leq 1.

A3-6.5★★★★★IMO 2015, Problema 5

Sean R\mathbb{R} el conjunto de números reales. Determina todas las funciones f:R→Rf: \mathbb{R} \to \mathbb{R} que satisfacen la ecuación f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)f(x + f(x+y)) + f(xy) = x + f(x+y) + yf(x) para todos x,y∈Rx, y \in \mathbb{R}.

A3-6.6★★★★★IMO Shortlist 2014, A4

Sea nn un entero positivo. Considera los polinomios P(x)=xn+an−1xn−1+⋯+a0P(x) = x^n + a_{n-1}x^{n-1} + \cdots + a_0 con coeficientes enteros y raíces reales x1,…,xnx_1, \ldots, x_n (contadas con multiplicidad). Demuestra que ∏i<j(xi−xj)2≤nn⋅∣a0∣n−1\prod_{i < j}(x_i - x_j)^2 \leq n^n \cdot |a_0|^{n-1} cuando a0≠0a_0 \neq 0.

A3-6.7★★★★★IMO 2012, Problema 2

Sea a2a_2, a3a_3, …\ldots, ana_n enteros positivos con a2a3⋯an=(n−1)!a_2 a_3 \cdots a_n = (n-1)!. Demuestra que ∑i=2nai−1ai≥1\sum_{i=2}^n \frac{a_i - 1}{a_i} \geq 1.

A3-6.8★★★★★IMO Shortlist 2019, A5

Encuentra todas las funciones f:Z>0→Z>0f: \mathbb{Z}_{>0} \to \mathbb{Z}_{>0} tales que a+f(b)a + f(b) divide a2+b⋅f(a)a^2 + b\cdot f(a) para todo par de enteros positivos (a,b)(a, b).

← Lección 5.4Lección 6.2 →