Misión 10
Problema a Resolver
Dada la función de variable natural definida mediante el doble sumatorio:
Demostrar que si $p$ es un número primo con $p > 3$, entonces $f(p+1)$ es siempre un múltiplo de $p$.
Teoría Previa Requerida
- Teorema de Fubini Discreto (Intercambio de Sumatorios): En un doble sumatorio finito, el orden de sumación es irrelevante: $\sum_{i} \sum_{j} a_{ij} = \sum_{j} \sum_{i} a_{ij}$. Esto es equivalente a sumar una matriz fila por fila o columna por columna.
- Aritmética Modular Básica: Congruencias módulo $p$. Recordamos que si $a \equiv b \pmod p$, entonces $a^n \equiv b^n \pmod p$. Especialmente útil es notar que $p \equiv 0 \pmod p$ y $p+1 \equiv 1 \pmod p$.
- Pequeño Teorema de Fermat: Si $p$ es primo y $a$ no es múltiplo de $p$, entonces $a^{p-1} \equiv 1 \pmod p$.
Concepto Central: Sumas de potencias en $\mathbb{Z}_p$
El Concepto Complejo que actúa como "llave maestra" en este problema es el comportamiento de las sumas de la forma $\sum_{i=1}^{p-1} i^j \pmod p$.
Para un exponente fijo $j$, si sumamos las potencias $j$-ésimas de todos los elementos no nulos de $\mathbb{Z}_p$, el resultado depende críticamente de si $j$ es múltiplo de $p-1$ (el orden del grupo multiplicativo):
- Caso 1: $(p-1)$ NO divide a $j$. En este caso, la suma es congruente con $0 \pmod p$.
- Caso 2: $(p-1)$ SÍ divide a $j$. Por el Pequeño Teorema de Fermat, cada término $i^j \equiv 1 \pmod p$. Como sumamos $p-1$ unos, el resultado es $p-1 \equiv -1 \pmod p$.
Desarrollo Analítico Paso a Paso
Paso 1: Intercambio de los sumatorios
Reescribimos la función evaluada en $n = p+1$ invirtiendo el orden de las sumatorias para agrupar convenientemente los términos.
La expresión original evaluada en $n = p+1$ es:
Aplicando la propiedad distributiva de las sumas finitas (Fubini discreto), intercambiamos el orden de suma:
Definiremos la suma interior como una sucesión $S_j$:
Paso 2: Análisis Modular de $S_j$
Trabajaremos módulo $p$ sobre la sucesión $S_j$. Para ello, extraeremos de la suma los dos últimos términos ($i=p$ e $i=p+1$).
Desglosamos la sumatoria $S_j$ que va desde $1$ hasta $p+1$:
Ahora aplicamos la congruencia módulo $p$:
- El término $p^j$ es trivialmente $0 \pmod p$.
- Para el término $(p+1)^j,$ como $p \equiv 0 \pmod p,$ resulta que $(p+1)^j \equiv 1^j \equiv 1 \pmod p$.
Conclusión de la Demostración
Reconstruimos la suma final $f(p+1)$ utilizando el análisis de casos.
Reagrupamos la función completa sumando los valores obtenidos para la sucesión $S_j$ a lo largo de sus $p+1$ términos:
Realizando la aritmética elemental:
Como cualquier número es congruente con cero módulo sí mismo ($p \equiv 0 \pmod p$), llegamos a la identidad final:
Demostración Completada
Queda evidenciado que, para cualquier número primo $p > 3$, el valor evaluado de la función $f(p+1)$ es indefectiblemente un múltiplo de $p$.
Q.E.D.