Cómo atacar un problema de álgebra IMO en competencia

El protocolo de ataque: primeros 10 minutos

Los primeros 10 minutos con cualquier problema de álgebra IMO son los más críticos. El objetivo no es resolver — es comprender la estructura del problema y elegir la dirección correcta.

Para desigualdades: (1) Identifica las variables, el dominio y las restricciones. (2) Verifica la igualdad: ¿en qué punto se alcanza? (normalmente $a=b=c$ o una permutación especial). (3) Si la igualdad no es obvia, experimenta con valores extremos ($a\to 0$, $a\to\infty$, $a=b\neq c$). (4) Decide la técnica: ¿AM-GM? ¿SOS? ¿Cauchy-Schwarz? ¿Tangent line trick?

Para ecuaciones funcionales: (1) Identifica el dominio y codominio. (2) Haz las sustituciones $x=y=0$, $y=0$, $x=0$, $y=-x$, $y=x$ de forma sistemática. (3) Determina $f(0)$, la paridad de $f$, y si $f$ es inyectiva o sobreyectiva. (4) Conjetura la familia de soluciones y verifica.

Para polinomios: (1) Identifica el grado y los coeficientes clave. (2) Evalúa en puntos especiales ($x=0, 1, -1$, raíces de los factores). (3) Analiza la irreducibilidad y los divisores enteros. (4) Busca la factorización o la sustitución que reduce el grado.

Para sucesiones: (1) Calcula los primeros 5–10 términos. (2) Busca periodicidad, monotonía, o patrones de divisibilidad. (3) Conjetura la fórmula cerrada. (4) Demuestra por inducción fuerte o por análisis del operador de recurrencia.

Técnicas de ataque avanzadas: el "zoom out" y el "zoom in"

Cuando el ataque directo no funciona, hay dos movimientos complementarios: el "zoom out" (ver el problema desde más lejos, buscar invariantes globales) y el "zoom in" (estudiar el problema en un caso particular o para valores pequeños, construir intuición local).

Zoom out para desigualdades. Si $f(a,b,c) \geq g(a,b,c)$ para $a+b+c=1$, piensa en $f$ y $g$ como funciones en el simplex $\{a+b+c=1, a,b,c\geq 0\}$. El máximo/mínimo se alcanza en el interior (por cálculo) o en la frontera (cuando alguna variable es 0). Esto da la configuración extrema y sugiere la prueba.

Zoom out para ecuaciones funcionales. Si la ecuación es $P(x,y)$, considera la ecuación como condición sobre la gráfica de $f$: el conjunto $G = \{(x,f(x))\}$. La ecuación impone que $G$ es cerrado bajo ciertas operaciones. Por ejemplo, $f(x+y)=f(x)+f(y)$ dice que $G$ es un subgrupo de $(\mathbb{R}^2, +)$ que proyecta sobreyectivamente a la primera coordenada.

Zoom in para sucesiones. Calcula $a_1, \ldots, a_{10}$ y busca: ¿es la sucesión eventualmente periódica? ¿es monótona? ¿tiene máximo o mínimo? ¿los denominadores son siempre menores que algún polinomio en $n$? Los primeros términos revelan la estructura.

Zoom in para polinomios. Estudia el polinomio módulo $p$ para primos pequeños: $p=2,3,5$. La reducción mod $p$ puede revelar factorizaciones o irreducibilidad que son difíciles de ver sobre $\mathbb{Q}$.

Gestión del tiempo y decisiones estratégicas en sala

El IMO tiene 4.5 horas para 3 problemas. La distribución óptima de tiempo depende de la dificultad relativa de los problemas, que no es conocida de antemano pero puede estimarse en los primeros minutos.

Regla de los 20 minutos. Si después de 20 minutos intensos no has encontrado el "eje" del problema (la idea central), cambia de problema. Regresa después: una segunda lectura con mente descansada suele desbloquear la perspectiva.

Regla del progreso parcial. En el IMO, la puntuación es 0–7 por problema. Los jueces otorgan puntos por avances parciales: demostrar un caso especial, acotar en una dirección, establecer un lema clave. Si no puedes resolver un problema completamente, escribe todo lo que demuestres claramente — cada punto cuenta.

Jerarquía de intentos. Para un problema de álgebra difícil (P3 o P6): (1) Ataque directo con la técnica principal (30–40 min). (2) Búsqueda de estructura oculta: invariantes, isomorfismos, cambios de variable (20–30 min). (3) Construcción de soluciones parciales y casos especiales (20 min). (4) Escritura de todo el progreso parcial con lenguaje técnico correcto (10 min).

El error fatal. Presentar una solución incorrecta convencida de ser correcta es peor que una solución parcial correcta. Si tienes dudas sobre un paso, acota explícitamente dónde está la brecha y presenta el resto de la argumentación como "asumiendo el lema X, concluimos que...".

Cómo escribir una solución de álgebra IMO

La solución escrita en el IMO debe ser correcta, completa y legible. En álgebra, los errores más comunes en la escritura son: (a) no verificar la solución en la ecuación original, (b) olvidar el caso trivial ($f \equiv 0$ o $f$ constante), (c) asumir continuidad o monotonía sin justificación.

Estructura canónica de una solución de ecuación funcional. (1) "Notación: denota por $P(x,y)$ la afirmación $f(\ldots) = \ldots$". (2) Sustituciones iniciales para determinar $f(0)$, paridad, inyectividad. (3) Proposición clave: "Afirmamos que $f$ es inyectiva. Prueba: [dos líneas]". (4) Determinación de la forma de $f$ en $\mathbb{Q}$ o en los puntos clave. (5) Extensión a todo el dominio. (6) Verificación: "Comprobamos que $f(x) = \ldots$ satisface la ecuación original: [sustitución directa]".

Estructura canónica de una solución de desigualdad. (1) "Afirmamos que la igualdad se alcanza en $a=b=c=1/3$ (o el valor correspondiente). Verificación: [sustitución]". (2) Para demostrar la desigualdad: aplicar AM-GM / Cauchy-Schwarz / SOS con la cadena de igualdades. (3) "La igualdad en AM-GM se alcanza cuando $\ldots$; esto coincide con el caso $a=b=c$, confirmando que la igualdad global se alcanza en ese punto".

Marcadores de rigor. Usar frases como: "Para todo $x \in \mathbb{R}$", "existe $y$ tal que", "como $f$ es inyectiva, de $f(A) = f(B)$ se sigue $A = B$". Nunca escribir "$\therefore$ la solución es..." sin haber demostrado que no hay otras soluciones (unicidad).

Longitud óptima. Una solución IMO de álgebra bien escrita tiene entre 1 y 3 páginas. Las soluciones de 10 páginas suelen contener redundancias o caminos que se abandonan — esto confunde al evaluador. Si tu solución es muy larga, relee e identifica qué pasos son realmente necesarios.

Problema modelo: análisis del proceso de ataque

Problema (IMO 2010, P1). Halla todas las funciones $f: \mathbb{R} \to \mathbb{R}$ tales que para todo $x, y \in \mathbb{R}$: $f(\lfloor x \rfloor y) = f(x) \lfloor f(y) \rfloor$.

Proceso de ataque. (1) Dominio: $\mathbb{R}\to\mathbb{R}$, pero con función piso — señal de que los enteros juegan un rol especial. Clasificación: ecuación funcional con estructura mixta continua/discreta.

(2) Sustitución $y=0$: $f(0) = f(x)\lfloor f(0) \rfloor$. Si $\lfloor f(0)\rfloor \neq 0$, entonces $f$ es constante: $f \equiv c$ con $c = c\lfloor c\rfloor$, así $c(\lfloor c\rfloor - 1) = 0$, que da $c=0$ o $\lfloor c\rfloor = 1$ (es decir $c \in [1,2)$). Si $\lfloor f(0)\rfloor = 0$, entonces $f(0) = 0$.

(3) Sustitución $x \in (0,1)$ (entonces $\lfloor x\rfloor = 0$): $f(0) = f(x)\lfloor f(y)\rfloor$ para todo $y$. Si $f(0)=0$, entonces $f(x)\lfloor f(y)\rfloor = 0$ para todo $x\in(0,1)$ e $y$. Si $\lfloor f(y)\rfloor \neq 0$ para algún $y$, entonces $f \equiv 0$ en $(0,1)$.

(4) Continuar construyendo la solución: $f(x) = 0$ para todo $x$, o $f(x) = c$ con $c\in[1,2)$ para todo $x\notin\mathbb{Z}$ y ajustando en $\mathbb{Z}$. El análisis completo da las soluciones $f\equiv 0$ y $f\equiv c$ con $c\in[1,2)$.

Tiempo invertido. En competencia, este problema (P1, el más fácil) debería resolverse en 45–60 minutos para un competidor IMO bien preparado. La clave es la sustitución $y=0$ seguida de $x\in(0,1)$, que restringe rápidamente las posibilidades. $\blacksquare$