Módulos / tdn-2 / Final — Simulacros y cierre / Lección F.3

Cierre + ruta hacia Nivel 3

Lección F.3·Final — Simulacros y cierre·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

Consolidar el panorama completo del Nivel 2 de Teoría de Números, identificar las herramientas dominadas y las que requieren más práctica, y trazar la ruta de aprendizaje hacia el Nivel 3 (problemas de olimpiadas internacionales: IMO, Balcánica).

Lo que dominas al completar el Nivel 2

Al completar este módulo tienes un arsenal completo para los problemas de teoría de números de nivel Iberoamericana y Cono Sur. El catálogo de herramientas dominadas incluye:

Del Nivel 1 (revisitado y profundizado): Divisibilidad, algoritmo de Euclides, congruencias, teoremas de Fermat y Euler, residuos cuadráticos y símbolo de Legendre, reciprocidad cuadrática.

Nuevo en Nivel 2: Ecuaciones diofánticas lineales y TCR; ternas pitagóricas primitivas; ecuación de Pell; descenso infinito; funciones aritméticas (τ\tau, σ\sigma, ϕ\phi) y su álgebra; convolución de Dirichlet e inversión de Möbius; Lema de Gauss para polinomios; criterios de irreducibilidad (Eisenstein, reducción módulo pp); polinomios sobre Fp\mathbb{F}_p; Postulado de Bertrand; fórmula de Legendre y LTE; estrategia de resolución y presentación olímpica.

Este arsenal cubre aproximadamente el 80% de los problemas de TN que aparecen en Iberoamericana y Cono Sur.

Autoevaluación: ¿qué reforzar?

Identifica las áreas donde tu dominio es más débil. Las señales de alerta son:

Señal 1. Si en los simulacros tuviste dificultad para empezar algún problema en los primeros 10 minutos: necesitas reforzar el catálogo de primeros movimientos (Cap. 10.1).

Señal 2. Si encontraste la estrategia pero cometiste errores de redacción (casos omitidos, divisiones por cero, equivalencias incorrectas): repasa la lección 10.2 y reescribe las soluciones de los simulacros.

Señal 3. Si los problemas de funciones aritméticas (Cap. 7) te resultaron áridos o mecánicos: necesitas más práctica con convoluciones. Resuelve los problemas TDN2-7.1 a 7.8 sin ver las soluciones.

Señal 4. Si los problemas de polinomios (Cap. 8) te parecieron ajenos: repasa el Lema de Gauss y practica identificar si un polinomio es irreducible sobre Q\mathbb{Q} antes de aplicar un criterio.

La frontera entre Nivel 2 y Nivel 3

Los problemas de teoría de números en la IMO y las olimpiadas balcánicas requieren herramientas que van más allá del Nivel 2. Las principales diferencias son:

Profundidad analítica. En el Nivel 3 se usa la función zeta de Riemann (en su forma elemental), el teorema de Dirichlet sobre primos en progresiones aritméticas, y la ley de reciprocidad cuadrática generalizada (símbolo de Jacobi).

Álgebra algebraica. Los problemas IMO de TN a menudo requieren argumentos sobre extensiones de cuerpos, enteros algebraicos y la norma. Por ejemplo, probar que p=a2+b2p = a^2 + b^2 para primos p1(mod4)p \equiv 1 \pmod 4 usando el anillo de Gauss Z[i]\mathbb{Z}[i].

Combinatoria fina. Problemas de tipo "¿cuántos enteros menores que NN tienen la propiedad PP?" que requieren cribas de Legendre o Brun.

Ruta de estudio hacia el Nivel 3

Para prepararte para el Nivel 3 (IMO, TST nacionales, olimpiadas internacionales), el orden sugerido de estudio es:

Paso 1 (1-2 meses). Consolidar el Nivel 2 resolviendo los últimos 5 años de problemas de TN de la IbAm y Cono Sur sin ver soluciones. Analizar los errores de presentación.

Paso 2 (2-3 meses). Estudiar enteros de Gauss Z[i]\mathbb{Z}[i] y enteros de Eisenstein Z[ω]\mathbb{Z}[\omega]: normas, primos, representación de primos como suma de dos cuadrados o de la forma a2+ab+b2a^2 + ab + b^2.

Paso 3 (2-3 meses). Estudiar el símbolo de Jacobi, la ley de reciprocidad cuadrática generalizada, y el teorema de Dirichlet (en su formulación elemental para olimpiadas).

Paso 4 (continuo). Resolver problemas IMO de TN de los últimos 20 años, clasificados por tema. El AoPS (Art of Problem Solving) es la referencia estándar.

Problemas IMO de referencia para la transición

Los siguientes problemas IMO de teoría de números son accesibles con las herramientas del Nivel 2 más pequeñas extensiones:

IMO 1988, P6. Si a2+b2=c(ab+1)a^2 + b^2 = c(ab+1) con a,b,ca, b, c enteros positivos, demuestra que cc es un cuadrado perfecto. (Descenso de Vieta: usa el descenso en el espíritu del Cap. 6.4.)

IMO 2000, P5. ¿Puede el entero ab+baa^b + b^a (con aba \ne b) ser de la forma abkab \cdot k con kk impar? (Congruencias y LTE: usa las herramientas del Cap. 9.2.)

IMO 2003, P2. Determina todos los pares (a,b)(a,b) con a2/(2ab2b3+1)a^2/(2ab^2 - b^3 + 1) entero positivo. (Divisibilidad y cotas: usa el Cat. 10.)

Estos problemas te mostrarán exactamente dónde el Nivel 2 es suficiente y dónde se necesita el Nivel 3.

Palabras finales

La teoría de números olímpica es, en muchos aspectos, el área más elegante de la matemática de competencias. Sus problemas combinan la sorpresa (una congruencia simple que descarta todo un universo de soluciones), la profundidad (el descenso infinito que atraviesa los siglos desde Fermat hasta hoy), y la belleza estructural (las funciones multiplicativas y su álgebra de Dirichlet).

El camino hacia los problemas más difíciles no es memorizar más herramientas, sino comprender más profundamente las que ya tienes. Un olímpico que entiende genuinamente por qué μ1=ε\mu * \mathbf{1} = \varepsilon resolverá problemas mucho más difíciles que uno que aplica la fórmula de inversión mecánicamente.

El Nivel 3 te espera. Sigue explorando, sigue conjeturando, sigue escribiendo soluciones completas incluso cuando no son perfectas. La capacidad de escribir bien una solución incorrecta es el primer paso para escribir bien una correcta.

Problemas del Final — con solución

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

TDN2-F.1★★★★Cono Sur 2016, P3

Demuestra que para todo entero positivo nn, el número (4n2n)(2nn)1\binom{4n}{2n}\binom{2n}{n}^{-1} es entero y no es divisible por ningún primo p>2n+1p > 2n+1.

TDN2-F.2★★★★Iberoamericana 2014, P2

Sean pp un primo impar y a1,a2,,ap1a_1, a_2, \ldots, a_{p-1} una permutación de 1,2,,p11, 2, \ldots, p-1. Demuestra que existen iji \ne j tales que paiiajjp \mid a_i \cdot i - a_j \cdot j.

TDN2-F.3★★★★Cono Sur 2020, P3

Demuestra que para todo primo p5p \ge 5, existen enteros a,ba, b con 0<a<b<p0 < a < b < p y a+b=pa + b = p tales que a!b!(p1)!(1)a(modp2)a! \cdot b! \equiv (p-1)! \cdot (-1)^a \pmod{p^2}... Más precisamente: demuestra que (pa)(1)a(modp2)\binom{p}{a} \equiv (-1)^a \pmod{p^2} para todo 1ap11 \le a \le p-1.

TDN2-F.4★★★★★Iberoamericana 2019, P4

Encuentra todas las funciones f:Z+Z+f : \mathbb{Z}^+ \to \mathbb{Z}^+ tales que f(m)f(n)=f(mn)f(m)f(n) = f(mn) y f(m+n)f(m)+f(n)(modf(gcd(m,n)))f(m+n) \equiv f(m) + f(n) \pmod{f(\gcd(m,n))} para todos los enteros positivos m,nm, n.

TDN2-F.5★★★★★IMO 2005, P4 (adaptado a nivel Nivel 2)

Determina todos los pares de enteros (x,y)(x, y) con x,y>0x, y > 0 tales que x22xy+y2xy2=0x^2 - 2xy + y^2 - x - y - 2 = 0, y verifica que la ecuación x2+y2=z2+2x^2 + y^2 = z^2 + 2 tiene infinitas soluciones enteras.

TDN2-F.6★★★★★Iberoamericana 2022, P3 (adaptado)

Sea pp un primo y nn un entero positivo. Demuestra que k=0p1(n+k)/p=nn/p(p1)(nmodp)/1\sum_{k=0}^{p-1} \lfloor (n+k)/p \rfloor = n - \lfloor n/p \rfloor(p-1) - \lfloor (n \bmod p)/1 \rfloor... Más precisamente, demuestra la identidad: k=0p1n+kp=npnp+np(p1)(npnp)...\sum_{k=0}^{p-1} \left\lfloor \frac{n+k}{p} \right\rfloor = n - p\left\lfloor \frac{n}{p} \right\rfloor + \left\lfloor \frac{n}{p} \right\rfloor (p - 1) - \left(n - p\left\lfloor\frac{n}{p}\right\rfloor\right)... Sea n=qp+rn = qp + r con 0r<p0 \le r < p. Demuestra que k=0p1(n+k)/p=nr=qp\sum_{k=0}^{p-1} \lfloor (n+k)/p \rfloor = n - r = qp.