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

Simulacro 2: 4 problemas ONEM TdN avanzado

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

Resolver cuatro problemas de teoría de números de nivel ONEM regional avanzado, integrando múltiples herramientas: Teorema Chino del Resto, propiedades de potencias, número de divisores y valuaciones $p$-ádicas.

Problema 5 (Nivel 2): Congruencias simultáneas (TCR)

Problema TN5. Halla el menor entero positivo nn tal que n3(mod5)n \equiv 3 \pmod{5}, n1(mod7)n \equiv 1 \pmod{7} y n2(mod3)n \equiv 2 \pmod{3}.

Solución. Por el Teorema Chino del Resto (los módulos 5,7,35, 7, 3 son coprimos dos a dos, pues todos son primos distintos): existe solución única módulo 573=1055 \cdot 7 \cdot 3 = 105.

De n1(mod7)n \equiv 1 \pmod 7: n=7k+1n = 7k+1. Sustituimos en n3(mod5)n \equiv 3 \pmod 5: 7k+13(mod5)7k+1 \equiv 3 \pmod 5, así 2k2(mod5)2k \equiv 2 \pmod 5, luego k1(mod5)k \equiv 1 \pmod 5. Entonces k=5m+1k = 5m+1 y n=7(5m+1)+1=35m+8n = 7(5m+1)+1 = 35m+8.

Sustituimos en n2(mod3)n \equiv 2 \pmod 3: 35m+82(mod3)35m+8 \equiv 2 \pmod 3, así 2m+22(mod3)2m + 2 \equiv 2 \pmod 3, luego 2m0(mod3)2m \equiv 0 \pmod 3, así m0(mod3)m \equiv 0 \pmod 3. Tomamos m=0m = 0: n=8n = 8.

Verificación: 8=15+38 = 1\cdot5+3 ✓, 8=17+18 = 1\cdot7+1 ✓, 8=23+28 = 2\cdot3+2 ✓.

n8(mod105) (mıˊnimo positivo: n=8)n \equiv 8 \pmod{105} \text{ (mínimo positivo: } n=8\text{)}

Problema 6 (Nivel 2): Número de divisores

Problema TN6. ¿Cuántos divisores tiene n=243253n = 2^4 \cdot 3^2 \cdot 5^3? ¿Cuántos de ellos son múltiplos de 66?

Divisores totales. τ(n)=(4+1)(2+1)(3+1)=534=60\tau(n) = (4+1)(2+1)(3+1) = 5 \cdot 3 \cdot 4 = 60.

**Divisores múltiplos de 6=236 = 2 \cdot 3.** Un divisor d=2a3b5cd = 2^a 3^b 5^c de nn es múltiplo de 66 iff a1a \ge 1 y b1b \ge 1. Rangos: a{1,2,3,4}a \in \{1,2,3,4\} (4 opciones), b{1,2}b \in \{1,2\} (2 opciones), c{0,1,2,3}c \in \{0,1,2,3\} (4 opciones).

Número de divisores múltiplos de 66: 424=324 \cdot 2 \cdot 4 = 32.

τ(243253)=60;divisores muˊltiplos de 6:32\tau(2^4 \cdot 3^2 \cdot 5^3) = 60; \quad \text{divisores múltiplos de } 6: 32

Problema 7 (Nivel 2-3): Potencias y valuaciones

Problema TN7. ¿Para cuántos enteros nn con 1n1001 \le n \le 100 el número (100n)\binom{100}{n} es divisible por 55?

Solución (Criterio de Lucas). Por la fórmula de Kummer, v5(100n)v_5\binom{100}{n} es el número de acarreos al sumar nn y 100n100-n en base 55.

100=(4,0,0)5100 = (4,0,0)_5 en base 55 (pues 100=425100 = 4 \cdot 25). Un coeficiente binomial (100n)\binom{100}{n} no es divisible por 55 iff no hay acarreos, es decir iff cada dígito de nn en base 55 es \le el dígito correspondiente de 100=(4,0,0)5100 = (4,0,0)_5.

Dígito de las unidades de 100100 es 00: el dígito de nn debe ser 00. Dígito de los 55s es 00: el dígito de nn debe ser 00. Dígito de los 2525s es 44: el dígito de nn puede ser 0,1,2,3,40,1,2,3,4.

Luego nn con (100n)\binom{100}{n} no divisible por 55: n=25kn = 25k con 0k40 \le k \le 4, es decir n{0,25,50,75,100}n \in \{0, 25, 50, 75, 100\}. Hay 55 tales valores. De estos, 00 y 100100 están fuera de {1,,99}\{1,\ldots,99\} (si pedimos 1n991 \le n \le 99); los válidos con (100n)\binom{100}{n} NO divisible por 55 son {25,50,75}\{25, 50, 75\}: 33 valores.

Así (100n)\binom{100}{n} divisible por 55 para 1005=95100 - 5 = 95 valores en {0,,100}\{0,\ldots,100\}, y para 993=9699 - 3 = 96 valores en {1,,99}\{1,\ldots,99\}. En {1,,100}\{1,\ldots,100\}: 1003=97100 - 3 = 97 valores.

(100n)≢0(mod5)    n{0,25,50,75,100}\binom{100}{n} \not\equiv 0 \pmod 5 \iff n \in \{0,25,50,75,100\}

Problema 8 (Nivel 3): Suma de cuadrados y primos

Problema TN8. Encuentra todos los primos pp tales que p2+8p^2 + 8 es también primo.

Exploración. p=2p=2: 4+8=12=434+8=12=4\cdot3, no primo. p=3p=3: 9+8=179+8=17, primo ✓. p=5p=5: 25+8=33=31125+8=33=3\cdot11, no primo. p=7p=7: 49+8=57=31949+8=57=3\cdot19, no primo. Patrón: parece que solo p=3p=3 funciona.

Solución. Para p=3p = 3: p2+8=17p^2 + 8 = 17, primo ✓. Para p=2p = 2: 12=4312 = 4 \cdot 3, no primo.

Para p>3p > 3 primo: p≢0(mod3)p \not\equiv 0 \pmod 3, así p1p \equiv 1 o p2(mod3)p \equiv 2 \pmod 3. En cualquier caso: p21(mod3)p^2 \equiv 1 \pmod 3. Luego p2+81+8=90(mod3)p^2 + 8 \equiv 1 + 8 = 9 \equiv 0 \pmod 3. Así 3p2+83 \mid p^2+8. Como p2+8>3p^2+8 > 3 para p>3p > 3 (en efecto, p5p \ge 5 da p2+833>3p^2+8 \ge 33 > 3), p2+8p^2+8 no es primo.

Conclusión: el único primo pp con p2+8p^2+8 también primo es p=3p = 3.

p=3 es el uˊnico primo con p2+8 primop = 3 \text{ es el único primo con } p^2+8 \text{ primo}

Problemas del Final — con solución

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

TDN1-F.1★★

Halla todos los enteros positivos nn tales que n2+3n+5n^2 + 3n + 5 es divisible por 55.

TDN1-F.2★★

Demuestra que para todo entero n1n \ge 1, el número 7n17^n - 1 es divisible por 66.

TDN1-F.3★★

Halla todos los pares de enteros positivos (m,n)(m, n) tales que lcm(m,n)=12\text{lcm}(m, n) = 12 y gcd(m,n)=2\gcd(m, n) = 2.

TDN1-F.4★★

Halla el último dígito de 320233^{2023}.

TDN1-F.5★★★

Demuestra que si pp y p+2p+2 son ambos primos (primos gemelos) con p>3p > 3, entonces 6p+16 \mid p+1.

TDN1-F.6★★★

Determina todos los enteros positivos nn tales que n2n1n \mid 2^n - 1.