Módulos / tdn-1 / Capítulo 4 — Pequeño Teorema de Fermat / Lección 4.4

El Teorema de Wilson

Lección 4.4·Capítulo 4 — Pequeño Teorema de Fermat·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

Enunciar y demostrar el Teorema de Wilson, usar el teorema para caracterizar los números primos, y aplicarlo en problemas de congruencias con factoriales.

El teorema y su enunciado

El Teorema de Wilson establece: un entero n>1n > 1 es primo si y solo si (n1)!1(modn)(n-1)! \equiv -1 \pmod n.

Esto es notablemente bello: tenemos una caracterización perfecta de los primos mediante congruencias. Nótese que es una doble implicación: (n1)!1(modn)(n-1)! \equiv -1 \pmod n ocurre exactamente cuando nn es primo, y (n1)!≢1(modn)(n-1)! \not\equiv -1 \pmod n cuando nn es compuesto.

El resultado fue enunciado por Ibn al-Haytham (siglo XI) y redescubierto por Edward Waring en 1770, quien lo atribuyó a John Wilson. La primera demostración publicada fue de Lagrange en 1773.

p primo    (p1)!1(modp)p \text{ primo} \;\Longleftrightarrow\; (p-1)! \equiv -1 \pmod{p}

Demostración: la dirección $p$ primo implica $(p-1)! \equiv -1$

Sea pp primo. Consideramos los elementos de {1,2,,p1}\{1, 2, \ldots, p-1\}. Cada uno tiene un inverso multiplicativo módulo pp (pues son coprimos con pp), y ese inverso también pertenece a {1,,p1}\{1, \ldots, p-1\}.

Los elementos que son su propio inverso satisfacen a21(modp)a^2 \equiv 1 \pmod p, es decir p(a1)(a+1)p \mid (a-1)(a+1), lo que da a1a \equiv 1 o a1p1(modp)a \equiv -1 \equiv p-1 \pmod p. Solo 11 y p1p-1 son sus propios inversos.

Los demás p3p - 3 elementos (para p5p \ge 5) se agrupan en pares (a,a1)(a, a^{-1}) con aa1a \ne a^{-1}. El producto de cada par es aa11(modp)a \cdot a^{-1} \equiv 1 \pmod p. Por lo tanto:

(p1)!=123(p2)pares con producto 1(p1)11(p1)p11(modp)(p-1)! = 1 \cdot \underbrace{2 \cdot 3 \cdots (p-2)}_{\text{pares con producto } 1} \cdot (p-1) \equiv 1 \cdot 1 \cdot (p-1) \equiv p-1 \equiv -1 \pmod p.

Para p=2p = 2: (21)!=111(mod2)(2-1)! = 1 \equiv -1 \equiv 1 \pmod 2. Correcto. Para p=3p = 3: (31)!=21(mod3)(3-1)! = 2 \equiv -1 \pmod 3. Correcto.

Demostración: la dirección $(n-1)! \equiv -1$ implica $n$ primo

Probamos el contrapositivo: si nn es compuesto, entonces (n1)!≢1(modn)(n-1)! \not\equiv -1 \pmod n.

Si nn es compuesto, existe 1<d<n1 < d < n con dnd \mid n. Entonces dd aparece como factor en (n1)!=12(n1)(n-1)! = 1 \cdot 2 \cdots (n-1). Pero también dnd \mid n. Si (n1)!1(modn)(n-1)! \equiv -1 \pmod n, entonces n(n1)!+1n \mid (n-1)! + 1. En particular d(n1)!+1d \mid (n-1)! + 1. Pero d(n1)!d \mid (n-1)!, así que d1d \mid 1, lo que es imposible para d>1d > 1.

Hay que tener cuidado con el caso n=p2n = p^2: aquí d=pd = p y 2d=2p<p2=n2d = 2p < p^2 = n, así que tanto pp como 2p2p aparecen entre 1,,n11, \ldots, n-1, y np2p=2p22(n1)!n \mid p \cdot 2p = 2p^2 \mid 2(n-1)!, haciendo (n1)!0(modn)(n-1)! \equiv 0 \pmod n directamente para n9n \ge 9. En cualquier caso, (n1)!≢1(modn)(n-1)! \not\equiv -1 \pmod n.

Aplicaciones en olimpiadas

El Teorema de Wilson tiene aplicaciones directas en congruencias con factoriales módulo un primo.

Ejemplo 1: calcular (p2)!(modp)(p-2)! \pmod p para pp primo. Sabemos (p1)!=(p1)(p2)!1(modp)(p-1)! = (p-1) \cdot (p-2)! \equiv -1 \pmod p. Como p11(modp)p - 1 \equiv -1 \pmod p, tenemos (1)(p2)!1(modp)(-1)(p-2)! \equiv -1 \pmod p, y cancelando 1-1: (p2)!1(modp)(p-2)! \equiv 1 \pmod p.

Ejemplo 2: calcular (p3)!(modp)(p-3)! \pmod p para pp primo impar 5\ge 5. Tenemos (p1)!1(p-1)! \equiv -1, (p1)(p2)(p3)!1(p-1)(p-2)(p-3)! \equiv -1. Como p11p-1 \equiv -1 y p22p-2 \equiv -2, esto da (1)(2)(p3)!=2(p3)!1(modp)(-1)(-2)(p-3)! = 2(p-3)! \equiv -1 \pmod p. Entonces (p3)!121(modp)(p-3)! \equiv -1 \cdot 2^{-1} \pmod p. El inverso de 22 módulo pp es (p+1)/2(p+1)/2 para pp impar (pues 2(p+1)/2=p+112 \cdot (p+1)/2 = p+1 \equiv 1). Así (p3)!(p+1)/2(modp)(p-3)! \equiv -(p+1)/2 \pmod p.

Ejemplo 3: si pp es primo con p1(mod4)p \equiv 1 \pmod 4, demostrar que (p12)!21(modp)\left(\frac{p-1}{2}\right)!^2 \equiv -1 \pmod p. Esto se sigue de Wilson agrupando los factores (p1)!=k=1(p1)/2kk=(p+1)/2p1k(p-1)! = \prod_{k=1}^{(p-1)/2} k \cdot \prod_{k=(p+1)/2}^{p-1} k. El segundo producto es k=1(p1)/2(pk)k=1(p1)/2(k)=(1)(p1)/2(p12)!\prod_{k=1}^{(p-1)/2}(p-k) \equiv \prod_{k=1}^{(p-1)/2}(-k) = (-1)^{(p-1)/2}\left(\frac{p-1}{2}\right)!. Como p1(mod4)p \equiv 1 \pmod 4, (p1)/2(p-1)/2 es par y (1)(p1)/2=1(-1)^{(p-1)/2} = 1. Entonces (p1)![(p12)!]21(modp)(p-1)! \equiv \left[\left(\frac{p-1}{2}\right)!\right]^2 \equiv -1 \pmod p.

Wilson como criterio de primalidad y sus límites prácticos

Teóricamente, el Teorema de Wilson ofrece un criterio perfecto para determinar si nn es primo: basta calcular (n1)!(modn)(n-1)! \pmod n y verificar si es  equiv1\ equiv -1. Pero en la práctica, calcular (n1)!(n-1)! para nn grande es computacionalmente inviable (el factorial crece más rápido que cualquier potencia).

En olimpiadas, Wilson se usa principalmente en módulos pequeños (primos p20p \le 20 o así) o en argumentos teóricos que involucran factoriales módulo primos arbitrarios.

Una identidad útil relacionada: para pp primo y 0kp10 \le k \le p-1, (p1k)(1)k(modp)\binom{p-1}{k} \equiv (-1)^k \pmod p. Esto se demuestra escribiendo (p1k)=(p1)(p2)(pk)k!\binom{p-1}{k} = \frac{(p-1)(p-2)\cdots(p-k)}{k!} y notando que pjj(modp)p - j \equiv -j \pmod p para j=1,,kj = 1, \ldots, k.

(p1k)(1)k(modp)\binom{p-1}{k} \equiv (-1)^k \pmod{p}

Problemas del Capítulo 4 — con solución

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

T1-4.1

Calcula el residuo de 21002^{100} al dividir por 1313.

T1-4.2

Demuestra que 7n7n7 \mid n^7 - n para todo entero nn.

T1-4.3

Determina el residuo de 310003^{1000} al dividir por 77.

T1-4.4★★

Halla el residuo de 220252^{2025} al dividir por 1717.

T1-4.5★★

Calcula φ(360)\varphi(360) y determina el residuo de 7φ(360)+17^{\varphi(360)+1} al dividir por 360360. (Aquí gcd(7,360)=1\gcd(7, 360) = 1.)

T1-4.6★★

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

T1-4.7★★

Usando el Teorema de Wilson, calcula el residuo de 12!12! al dividir por 1313.

T1-4.8★★★

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