Módulos / algebra-3 / Final — Simulacros tipo IMO / Lección F.3

Cierre del módulo: ruta hacia el IMO

Lección F.3·Final — Simulacros tipo IMO·10 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

Sintetizar los seis capítulos del módulo Álgebra Nivel 3 en un mapa conceptual compacto, identificando las tres grandes ideas transversales que unifican toda la álgebra olímpica de nivel IMO, y trazar una hoja de ruta concreta para continuar la preparación a través de los problemas ISL A1–A6 por año.

Resumen de los seis capítulos: ideas centrales

Capítulo 1 — Ecuaciones funcionales avanzadas. La estructura de Cauchy determina las soluciones continuas (o monótonas, o acotadas) de ecuaciones aditivas. El teorema de Cauchy: f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y) continua implica f(x)=cxf(x)=cx. Las ecuaciones difíciles se reducen a Cauchy mediante sustituciones cruzadas.

Capítulo 2 — Desigualdades con igualdad: SOS y Schur. El método SOS (sumas de cuadrados) es el algoritmo de certificación para desigualdades simétricas de grado 4\leq 4. La desigualdad de Schur at(ab)(ac)+cıˊc.0a^t(a-b)(a-c) + \text{cíc.} \geq 0 cubre los casos que SOS no maneja directamente.

Capítulo 3 — Muirhead, Maclaurin y medias de potencias. El criterio de Muirhead: [p1,,pn][q1,,qn][p_1,\ldots,p_n] \succ [q_1,\ldots,q_n] (majorización) implica symx1p1xnpnsymx1q1xnqn\sum_{\text{sym}} x_1^{p_1}\cdots x_n^{p_n} \geq \sum_{\text{sym}} x_1^{q_1}\cdots x_n^{q_n} para reales no negativos. Las medias de Newton y Maclaurin dan cadenas de desigualdades entre las medias elementales.

Capítulo 4 — Polinomios olímpicos. Las técnicas clave: raíces racionales + criterio de Eisenstein para irreducibilidad, polinomios ciclotómicos, evaluación en puntos especiales, polinomios de Chebyshev para extremos trigonométricos. El enfoque del polinomio minimal permite demostrar irracionalidad y propiedades de divisibilidad.

Capítulo 5 — Sucesiones y álgebra combinatoria. Las recurrencias lineales se resuelven con la ecuación característica; las no lineales requieren encontrar una cantidad conservada (invariante) o una función de Lyapunov (función decreciente). El álgebra combinatoria combina identidades de potencias con argumentos de conteo.

Capítulo 6 — Taxonomía IMO y estrategia de competencia. El protocolo de ataque en 4 fases: clasificar → experimentar → conjeturar → demostrar. La gestión de tiempo con la "regla de los 20 minutos". La escritura de soluciones parciales que maximizan el puntaje.

Las tres ideas transversales del álgebra IMO

Idea 1: los puntos fijos y los valores especiales lo determinan todo. En ecuaciones funcionales, el valor f(0)f(0), la paridad de ff y los puntos fijos f(x0)=x0f(x_0) = x_0 son el esqueleto que determina la familia de soluciones. En desigualdades, el caso de igualdad es el "punto fijo" de la desigualdad y orienta toda la prueba. En polinomios, los valores especiales (P(0)P(0), P(1)P(1), P(1)P(-1), PP en raíces de la unidad) codifican la estructura del polinomio.

Idea 2: la simetría es una herramienta, no solo una propiedad. Las desigualdades simétricas se simplifican asumiendo WLOG abca \geq b \geq c; las ecuaciones funcionales simétricas se explotan intercambiando los argumentos (P(x,y)P(x,y) vs P(y,x)P(y,x)); los polinomios simétricos se reducen a las funciones elementales e1,e2,,ene_1, e_2, \ldots, e_n via el teorema fundamental. La simetría no es un adorno: es la estructura que hace los problemas tratables.

Idea 3: el cambio de variable correcto transforma un problema difícil en uno conocido. En desigualdades con abc=1abc=1: sustituir a=x/ya=x/y, b=y/zb=y/z, c=z/xc=z/x homogeneiza. En ecuaciones funcionales con argumento x+f(x)x+f(x): definir g(x)=x+f(x)g(x) = x + f(x) como nueva variable. En sucesiones no lineales: buscar una función h(an)h(a_n) que satisface una recurrencia lineal. El 80 % de los problemas IMO de álgebra difícil se "abren" con el cambio de variable correcto.

Puntos fijosSimetrıˊaCambio de variable=Aˊlgebra IMO\text{Puntos fijos} \cdot \text{Simetría} \cdot \text{Cambio de variable} = \text{Álgebra IMO}

Hoja de ruta: práctica con ISL A1–A6 por año

El Shortlist del IMO (ISL, publicado un año después de cada competencia) es el mejor material de entrenamiento disponible. Los problemas A1–A6 (o A1–A7 en años recientes) tienen dificultades calibradas con precisión.

Nivel A1–A2 (dificultad 2–3). Son problemas resolubles en 30–60 minutos con las técnicas del módulo. Objetivo: resolverlos todos correctamente. Fuentes recomendadas: ISL 2005–2024, categoría A, problemas 1 y 2 de cada año. Hay aproximadamente 40 problemas en este rango.

Nivel A3–A4 (dificultad 3–4). Requieren combinar dos técnicas o encontrar un cambio de variable no obvio. Objetivo: intentar cada uno durante 45–60 minutos antes de ver la solución. Analizar las soluciones del comité y las alternativas en Art of Problem Solving (AoPS). Fuente: ISL A3 y A4 de 2005–2024 (~40 problemas).

Nivel A5–A6 (dificultad 5). Son los candidatos a P3/P6 del IMO. Muchos no tienen solución "limpia" y requieren argumentos de 2–3 páginas. Objetivo: intentar cada uno durante 90 minutos. Si no se resuelve, estudiar la solución a fondo y reconstruirla de memoria al día siguiente. Fuente: ISL A5+ de 2010–2024 (~20 problemas clave).

Cronograma sugerido. Un competidor con 6 meses hasta el IMO debería dedicar: 2 meses a A1–A2 (2 problemas/día), 2 meses a A3–A4 (1 problema/día con análisis), 2 meses a A5–A6 (3 problemas/semana con revisión profunda). Complementar con los problemas de IMO propiamente dichos (P3 y P6 de álgebra de las últimas 20 ediciones).

Recurso clave. El libro *Problems from the Book* de Titu Andreescu y Gabriel Dospinescu contiene los problemas IMO/ISL más bellos con soluciones completas y variaciones. Es la lectura recomendada para el nivel A4–A6.

El álgebra en el IMO: perspectiva final

El álgebra representa aproximadamente el 30–35 % de todos los problemas del IMO desde 1959 hasta hoy. A diferencia de la geometría (donde los diagramas guían la intuición) o la teoría de números (donde los ejemplos computacionales son accesibles), el álgebra exige construir la intuición en el espacio abstracto de funciones, desigualdades y polinomios.

Lo que distingue a un competidor IMO en álgebra no es conocer más técnicas, sino saber cuándo aplicar qué técnica. Esa "intuición técnica" se construye resolviendo problemas con cronómetro, analizando los errores, y estudiando las soluciones elegantes que no se encontraron.

Este módulo ha construido las herramientas fundamentales. El siguiente paso — el que separa al participante del medállista — es la práctica deliberada: problema a problema, error a error, hasta que el reconocimiento de patrones sea automático.

Buena suerte en el camino al IMO. \blacksquare

Problemas del Final — con solución

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

A3-F-1★★★★★ISL 2011, A1 (adaptado a nivel IMO)

Halla todas las funciones f:RRf: \mathbb{R} \to \mathbb{R} tales que para todo x,yRx, y \in \mathbb{R}: f(x+y)+xy=f(x)f(y).f(x+y) + xy = f(x) f(y).

A3-F-2★★★★★ISL 2007, A4 (nivel IMO P3)

Sean a1,a2,,ana_1, a_2, \ldots, a_n números reales positivos con i=1nai=1\sum_{i=1}^n a_i = 1. Demuestra que i=1nai1+jiaj2121n.\sum_{i=1}^n \dfrac{a_i}{1 + \sum_{j \neq i} a_j^2} \geq \dfrac{1}{2 - \frac{1}{n}}.

A3-F-3★★★★★IMO 2022, Problema 2

Sean R+\mathbb{R}^+ los reales positivos. Halla todas las funciones f:R+R+f: \mathbb{R}^+ \to \mathbb{R}^+ tales que para todo x,y,zR+x, y, z \in \mathbb{R}^+ con xyz=1xyz = 1: f(x)+f(y)+f(z)1f(xy+yz+zx).f(x) + f(y) + f(z) \geq \frac{1}{f(xy+yz+zx)}.

A3-F-4★★★★★ISL 2020, A4 (nivel IMO P6)

Sea nn un entero con n2n \geq 2. Sea P(x)=xn+an1xn1++a1x+a0P(x) = x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 un polinomio con coeficientes reales. Supongamos que para todo entero kk existe un entero mm tal que P(k)=P(m)=0P(k) = P(m) = 0 implica k=mk = m (es decir, las raíces enteras de PP son simples), y que P(0)P(1)<0P(0)P(1) < 0. Demuestra que PP tiene al menos n1n-1 raíces no reales.