Si (n-1)! ≡ -1 mod n, entonces n es primo.
El Recíproco de Wilson es la implicación inversa del conocido Teorema de Wilson. Mientras que el Teorema de Wilson dice que para cada primo $p$, $(p-1)! \equiv -1 \pmod p$, el recíproco afirma que si la congruencia $(n-1)! \equiv -1 \pmod n$ se cumple para un entero $n > 1$, entonces $n$ tiene que ser primo. Juntos, el teorema y su recíproco te dan una condición necesaria y suficiente para la primalidad: un entero $n > 1$ es primo si y solo si $(n-1)! \equiv -1 \pmod n$.
Este concepto es muy importante en la teoría porque establece una prueba de primalidad definitiva basada en aritmética modular. Pero, en la práctica, no es nada eficiente para valores de $n$ grandes porque calcular $(n-1)!$ requiere $O(n)$ multiplicaciones, lo cual es mucho más lento que la división por tentativa o pruebas probabilísticas como Miller-Rabin. A pesar de esto, el recíproco es una herramienta poderosa en demostraciones de teoría de números y problemas de olimpiada. Te permite deducir propiedades de $n$ basándote en la estructura del producto de los enteros que van antes de él.
La intuición detrás del recíproco depende de cómo se comportan los números compuestos. Si $n$ es compuesto, tiene divisores que están estrictamente entre $1$ y $n$. Estos divisores aparecen como factores en la expansión de $(n-1)!$, haciendo que el factorial comparta un factor común con $n$. Por lo tanto, para un $n$ compuesto, $(n-1)!$ suele ser congruente a $0 \pmod n$ (con la excepción específica de $n=4$), lo que hace imposible que el factorial sea congruente a $-1$.
El Recíproco de Wilson: Para un entero $n > 1$, $$ \text{Si } (n-1)! \equiv -1 \pmod n, \text{ entonces } n \text{ es primo.} $$
Teorema de Wilson (Forma Bicondicional): Si juntas el teorema y su recíproco, obtienes: $$ n \text{ es primo} \iff (n-1)! \equiv -1 \pmod n $$
Comportamiento de los Números Compuestos: Para un número compuesto $n$: $$ (n-1)! \equiv \begin{cases} 2 \pmod 4 & \text{si } n = 4 \ 0 \pmod n & \text{si } n \text{ es compuesto y } n > 4 \end{cases} $$
Teorema: Si $n > 1$ es un entero tal que $(n-1)! \equiv -1 \pmod n$, entonces $n$ es primo.
Demostración: Vamos a demostrarlo por contradicción.
Por lo tanto, la suposición de que $n$ es compuesto tiene que ser falsa. $n$ tiene que ser primo. $\square$