Pequeño teorema de Fermat

Versión para impresión

Todo número a no divisible por un primo p deja residuo 1 al elevarse a la potencia p1 y dividirse entre p. En términos de congruencias, esto se escribe así:

a^{p-1} \equiv 1 \pmod {p}

Otra forma de presentar este teorema es multiplicando por a:

a^p \equiv a \pmod {p}

En esta otra forma se puede omitir la condición de que a no es divisible entre p, puesto que, cuando p divide a a, ambos lados de la identidad anterior son cero.

Demostración(es)
Demostración: 

Consideremos los números a, 2a, 3a, \dots , (p-1)a. Cada uno de éstos número tiene distinto residuo al dividir entre p. Ya que, si ia \equiv ja \pmod{p} y como p y a son primos relaivos (pues p no divide a a) se tendrá que i \equiv j \pmod{p}.

Ahora, como i e j son residuos de p y son congruentes, deberá de ser que i = j.

Como todos los números a, 2a, 3a, \dots , (p-1)a tienen distinto residuo y ninguo de ellos tiene residuo cero, entonces, cada uno de esos número será congruente con uno y sólo uno de los residuos 1, 2, 3, \dots, {p-1}.

Por ello, se puede escribir la congruencia:

a \cdot 2a \cdot 3a \cdots (p-1) \equiv 1\cdot 2 \cdot 3 \cdots (p-1) \pmod{p}

entonces,

[(p-1)!]a^{p-1} \equiv (p-1)! \pmod{p}

Como (p-1)! es primos relativo con p se puede cancelar (p-1)! en ambos lados de la congruencia. Y como consecuencia se tendrá que:

a^{p-1} \equiv 1 \pmod{p}