Problema 1
OCM — Nivel Regional
Demuestre que para todo entero positivo , el número no es divisible por 121.
💡 Pista
Trabaja módulo 11 primero. Completa el cuadrado.
📝 Solución Completa
Completar cuadrado: . Mejor, trabajamos mod 11:
Mod 11: .
Si , entonces , lo que implica , así .
Sea . Entonces .
Para que necesitamos , pero .
Problema 2
OIM 2015
Encuentre todos los enteros positivos tales que es divisible por .
💡 Pista
Prueba con n = 1, 2, 3, 4, ... y busca el patrón. Usa el Lifting Lemma (LTE).
📝 Solución Completa
Verificar: ✓. ✓. ? No. ✓.
Para impar: por LTE, que es mucho menor que .
Para : .
(se prueba por inducción). Así necesitamos .
Problema 3
IMO 2005 — Problema 4
Determine todos los pares de enteros positivos tales que es un entero positivo.
💡 Pista
Fija b y varía a. Si (a₁, b) es solución, busca otra solución (a₂, b) con a₁a₂ = ... (Vieta jumping).
📝 Solución (Esquema)
Sea . Entonces .
Si es solución, por Vieta: y .
Técnica de Vieta jumping: descender por soluciones hasta llegar a contradecir positividad o encontrar las soluciones base.
Problema 4
OCM 2022 — Final
Encuentre todos los primos tales que también es primo.
📝 Solución
Trabajar mod 3. Todo primo satisface o .
En ambos casos: , así .
Pero para , así que no es primo.
Verificar : . ¡11 es primo!
Problema 5 — DESAFÍO FINAL
IMO Shortlist
Demuestre que es un entero impar para todo primo .
💡 Pista
El numerador cuenta algo: es el número de bases ordenadas de . Usa la fórmula de Legendre para .
📝 Esquema de Solución
El numerador es .
Potencia de 2 en el numerador: .
Potencia de 2 en (Legendre): (pues p es primo impar).
Así , que está en el numerador reducido.
¡Bloque I Completado!
Has dominado Divisibilidad, Primos, Euclides, Diofánticas, Aritmética Modular, Fermat, Euler y Potencias Modulares. Siguiente: Bloque II — Combinatoria.