Módulos / tdn-2 / Capítulo 2 — Congruencias y aritmética modular / Lección 2.2

Pequeño Teorema de Fermat

Lección 2.2·Capítulo 2 — Congruencias y aritmética modular·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

Enunciar y demostrar el Pequeño Teorema de Fermat mediante una biyección elegante, calcular grandes potencias módulo un primo, y reconocer la trampa que tiende el número $341$.

El teorema que hace manejable lo inmenso

El Pequeño Teorema de Fermat (PTF) es quizás el resultado más usado en toda la aritmética modular olímpica. Su enunciado es tan limpio que parece demasiado bueno para ser verdad: si pp es primo y pap \nmid a, entonces ap11(modp)a^{p-1} \equiv 1 \pmod{p}.

En la práctica esto significa lo siguiente: para calcular akmodpa^k \bmod p, podemos reducir el exponente kk módulo p1p-1. Si k=q(p1)+rk = q(p-1) + r, entonces ak=(ap1)qar1qar=ar(modp)a^k = (a^{p-1})^q \cdot a^r \equiv 1^q \cdot a^r = a^r \pmod{p}. Exponentes que antes parecían astronómicos se reducen a algo con a lo sumo p2p-2 dígitos.

Un corolario inmediato, válido para cualquier entero aa (incluso si pap \mid a): apa(modp)a^p \equiv a \pmod{p}. Si pap \nmid a, aplicamos el PTF y multiplicamos por aa. Si pap \mid a, ambos lados son 0\equiv 0.

ap11(modp)para p primo, paa^{p-1} \equiv 1 \pmod{p} \qquad \text{para } p \text{ primo, } p \nmid a

Demostración: la biyección mágica

Considera el conjunto S={1,2,3,,p1}S = \{1, 2, 3, \ldots, p-1\}. Fijado aa con pap \nmid a, define la función f:SSf: S \to S por f(x)=axmodpf(x) = ax \bmod p.

Primero, ff está bien definida: si xSx \in S, entonces ax≢0(modp)ax \not\equiv 0 \pmod{p} (pues pap \nmid a y pxp \nmid x y pp es primo), así que f(x){1,,p1}=Sf(x) \in \{1, \ldots, p-1\} = S.

Segundo, ff es inyectiva: si axay(modp)ax \equiv ay \pmod{p}, como gcd(a,p)=1\gcd(a, p) = 1 podemos cancelar aa, obteniendo xy(modp)x \equiv y \pmod{p}, es decir x=yx = y (ambos en SS). Una función inyectiva de un conjunto finito en sí mismo es biyectiva.

Conclusión de la biyección: al multiplicar todos los elementos de SS por aa, obtenemos de nuevo todos los elementos de SS (en otro orden). Por lo tanto el producto de todos los elementos de f(S)f(S) es igual al de SS:

Esto es (a1)(a2)(a(p1))12(p1)(modp)(a \cdot 1)(a \cdot 2)\cdots(a \cdot (p-1)) \equiv 1 \cdot 2 \cdots (p-1) \pmod{p}, es decir ap1(p1)!(p1)!(modp)a^{p-1} (p-1)! \equiv (p-1)! \pmod{p}. Como gcd((p1)!,p)=1\gcd((p-1)!, p) = 1 (ningún factor de (p1)!(p-1)! es divisible por pp), podemos cancelar (p1)!(p-1)! y obtenemos ap11(modp)a^{p-1} \equiv 1 \pmod{p}. Demostración completa.

a1,  a2,  ,  a(p1)    1,  2,  ,  (p1)(modp)  (en alguˊn orden)a \cdot 1,\; a \cdot 2,\; \ldots,\; a \cdot (p-1) \;\equiv\; 1,\; 2,\; \ldots,\; (p-1) \pmod{p} \;\text{(en algún orden)}

Aplicación directa: potencias grandes módulo un primo

Queremos calcular 2340mod3412^{340} \bmod 341. Observa que 341=1131341 = 11 \cdot 31, así que no es primo. Sin embargo, probemos ciegamente el PTF con p=341p = 341: si el PTF valiera para todo nn compuesto, tendríamos 23401(mod341)2^{340} \equiv 1 \pmod{341}.

Calculemos por separado módulo 1111 y módulo 3131. Por PTF: 2101(mod11)2^{10} \equiv 1 \pmod{11} y 2301(mod31)2^{30} \equiv 1 \pmod{31}. Ahora, 340=3410340 = 34 \cdot 10, luego 2340=(210)341(mod11)2^{340} = (2^{10})^{34} \equiv 1 \pmod{11}. También 340=3403030+10340 = \frac{340}{30} \cdot 30 + 10... espera: 340=1130+10340 = 11 \cdot 30 + 10, así que 2340=(230)11210111210(mod31)2^{340} = (2^{30})^{11} \cdot 2^{10} \equiv 1^{11} \cdot 2^{10} \pmod{31}. Y 25=321(mod31)2^5 = 32 \equiv 1 \pmod{31}, así que 210=(25)21(mod31)2^{10} = (2^5)^2 \equiv 1 \pmod{31}.

Entonces 23401(mod11)2^{340} \equiv 1 \pmod{11} y 23401(mod31)2^{340} \equiv 1 \pmod{31}. Como mcm(11,31)=341\text{mcm}(11, 31) = 341, concluimos 23401(mod341)2^{340} \equiv 1 \pmod{341}.

Aquí está la trampa: el hecho de que 23401(mod341)2^{340} \equiv 1 \pmod{341} parecería indicar que 341341 es primo por el "recíproco" del PTF. Pero 341=1131341 = 11 \cdot 31 es compuesto. Los números compuestos nn que satisfacen 2n11(modn)2^{n-1} \equiv 1 \pmod{n} se llaman pseudoprimos de Fermat en base 2, y 341341 es el menor de ellos. Este es el motivo por el que el recíproco del PTF no vale en general.

2101(mod11),251(mod31)    23401(mod341)2^{10} \equiv 1 \pmod{11},\quad 2^{5} \equiv 1 \pmod{31} \;\Rightarrow\; 2^{340} \equiv 1 \pmod{341}

Reducción de exponentes con PTF: método sistemático

El procedimiento estándar para calcular akmodpa^k \bmod p con pp primo es: (1) si pap \mid a, la respuesta es 00; (2) si no, calcula r=kmod(p1)r = k \bmod (p-1) y responde armodpa^r \bmod p.

Ejemplo: 31000mod73^{1000} \bmod 7. Primo p=7p=7, p1=6p-1=6. Reducimos: 1000=1666+41000 = 166 \cdot 6 + 4, así r=4r=4. Entonces 3100034=8181117=8177=4(mod7)3^{1000} \equiv 3^4 = 81 \equiv 81 - 11 \cdot 7 = 81 - 77 = 4 \pmod{7}.

Otro ejemplo: 52026mod135^{2026} \bmod 13. Primo p=13p=13, p1=12p-1=12. Reducimos: 2026=16812+102026 = 168 \cdot 12 + 10, así r=10r = 10. Entonces 52026510(mod13)5^{2026} \equiv 5^{10} \pmod{13}. Calculamos 52=251215^2 = 25 \equiv 12 \equiv -1, 510=(52)5(1)5=112(mod13)5^{10} = (5^2)^5 \equiv (-1)^5 = -1 \equiv 12 \pmod{13}.

Este método es completamente mecánico una vez que tienes el PTF. En competencias, reducir exponentes módulo p1p-1 es el primer paso automático cuando el módulo es primo.

akakmod(p1)(modp)(p primo,  pa)a^k \equiv a^{k \bmod (p-1)} \pmod{p} \qquad (p \text{ primo},\; p \nmid a)

El PTF en problemas de divisibilidad y congruencias

Más allá del cálculo, el PTF es una herramienta de demostración. Por ejemplo: demostrar que para todo primo pp y entero aa, papap \mid a^p - a. Esto es exactamente el corolario apa(modp)a^p \equiv a \pmod{p}, válido para todo aa.

Aplicación olímpica: probar que 42n7n42 \mid n^7 - n para todo entero nn. Factorizamos n7n=n(n61)=n(n21)(n4+n2+1)n^7 - n = n(n^6 - 1) = n(n^2-1)(n^4+n^2+1). Pero más elegante: 42=23742 = 2 \cdot 3 \cdot 7. Por el corolario del PTF, 2n2n2 \mid n^2 - n, 3n3n3 \mid n^3 - n, 7n7n7 \mid n^7 - n. El problema se reduce a mostrar que n7nn^7 - n es divisible por 22, 33 y 77. Para 77 es directo; para 22 y 33 se usa que n7n=n(n61)n^7 - n = n(n^6-1) y los PTF respectivos. En particular n7n(mod7)n^7 \equiv n \pmod{7} por PTF con p=7p=7.

La moral: el PTF convierte muchos problemas de divisibilidad en verificaciones automáticas. Aprende a reconocer la forma apaa^p - a (o su generalización ap11a^{p-1} - 1) dentro de expresiones más complejas.

Problemas del Capítulo 2 — con solución

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

2.1★★

Halla el resto de 210002^{1000} al dividirlo entre 77.

2.2★★

Demuestra que 6n3n6 \mid n^3 - n para todo entero nn.

2.3★★★Cono Sur 2008

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

2.4★★★

Calcula φ(21035)\varphi(2^{10} \cdot 3^5) y encuentra el resto de 75007^{500} al dividirlo entre 210352^{10} \cdot 3^5.

2.5★★★

Usando el Teorema de Wilson, demuestra que para todo primo p5p \ge 5 se tiene p((p1)/2)!2+(1)(p1)/2p \mid \bigl((p-1)/2\bigr)!^{\,2} + (-1)^{(p-1)/2}.

2.6★★★★Iberoamericana 1995

Sea pp un primo impar. Demuestra que 1p+2p++(p1)p0(modp)1^p + 2^p + \cdots + (p-1)^p \equiv 0 \pmod{p}.

2.7★★★★

Encuentra todos los enteros xx con 0x<350 \le x < 35 que satisfacen el sistema x2(mod5)x \equiv 2 \pmod{5} y x3(mod7)x \equiv 3 \pmod{7}.

2.8★★★★★Selección olímpica — nivel Iberoamericana

Sea pp un primo tal que p3(mod4)p \equiv 3 \pmod{4}. Demuestra que la ecuación x21(modp)x^2 \equiv -1 \pmod{p} no tiene solución entera.