Si p es primo y mcd(a,p) = 1, entonces a^(p-1) ≡ 1 (mód p).
El Pequeño Teorema de Fermat es una pieza fundamental de la teoría de números elemental y la aritmética modular. Te da una herramienta muy poderosa para simplificar cálculos que involucran potencias muy grandes módulo un número primo.
El teorema tiene un montón de aplicaciones:
Puedes ver este teorema como un caso especial del teorema de Euler, que es la generalización para módulos compuestos.
El Pequeño Teorema de Fermat (Forma Estándar):
Si $p$ es primo y $\gcd(a, p) = 1$, entonces: $$a^{p-1} \equiv 1 \pmod{p}$$
Forma Alternativa:
Para cualquier entero $a$ y primo $p$: $$a^p \equiv a \pmod{p}$$
(Esta forma funciona incluso si $p \mid a$).
Inverso Modular usando Fermat:
Si $p$ es primo y $\gcd(a, p) = 1$: $$a^{-1} \equiv a^{p-2} \pmod{p}$$
Reducción de Exponentes:
Para un primo $p$ y $\gcd(a, p) = 1$: $$a^k \equiv a^{k \mod (p-1)} \pmod{p}$$
Demostración 1: Argumento de Conteo
Considera el conjunto $S = {a, 2a, 3a, \ldots, (p-1)a}$ reducido módulo $p$.
Afirmación: $S \equiv {1, 2, 3, \ldots, p-1} \pmod{p}$ (vistos como conjuntos).
Prueba de la afirmación:
Ahora, multiplica todos los elementos: $$a \cdot 2a \cdot 3a \cdots (p-1)a \equiv 1 \cdot 2 \cdot 3 \cdots (p-1) \pmod{p}$$ $$a^{p-1} \cdot (p-1)! \equiv (p-1)! \pmod{p}$$
Como $\gcd((p-1)!, p) = 1$, puedes dividir ambos lados entre $(p-1)!$: $$a^{p-1} \equiv 1 \pmod{p}$$ $\square$
Demostración 2: Inducción
La idea es probar que $a^p \equiv a \pmod{p}$ para todos los enteros $a \geq 0$.
Caso base: $0^p = 0 \equiv 0 \pmod{p}$. $\checkmark$
Paso inductivo: Supón que $a^p \equiv a \pmod{p}$. Lo que hay que probar es que $(a+1)^p \equiv a+1 \pmod{p}$.
Si usas el teorema del binomio: $$(a+1)^p = \sum_{k=0}^{p} \binom{p}{k} a^k = a^p + \binom{p}{1}a^{p-1} + \cdots + \binom{p}{p-1}a + 1$$
Para $0 < k < p$, tienes que $\binom{p}{k} = \frac{p!}{k!(p-k)!}$.
Como $p$ es primo, $p$ divide al numerador pero no al denominador, así que $p \mid \binom{p}{k}$.
Por lo tanto: $$(a+1)^p \equiv a^p + 1 \equiv a + 1 \pmod{p}$$ $\square$
Demostración 3: Teoría de Grupos
El grupo multiplicativo $(\mathbb{Z}/p\mathbb{Z})^*$ tiene orden $p - 1$.
Por el teorema de Lagrange, para cualquier elemento $a$ en este grupo: $$a^{|G|} = a^{p-1} = 1$$
y eso significa que $a^{p-1} \equiv 1 \pmod{p}$. $\square$
Austria Regional Competition For Advanced Students
2000 Rioplatense Mathematical Olympiad Level 3 2000 2000
2009 Hungary Israel Binational 2009 2009
2013 Rioplatense Mathematical Olympiad Level 3 2013 2013
2015 Cono Sur Olympiad 2015 2015
2001 Jbmo Shortlists 2001 2001
2024 Austrian Mo Regional Competition 2024 2024