Casos donde el teorema no se cumple.
El Teorema de Zsigmondy es un resultado muy potente en teoría de números que trata sobre los factores primos de números de la forma $a^n - b^n$ y $a^n + b^n$. El teorema afirma que para enteros coprimos $a > b \ge 1$, el término $a^n - b^n$ casi siempre tiene un "divisor primo primitivo"—un factor primo que no divide a $a^k - b^k$ para ningún entero positivo $k < n$. En el contexto de las olimpiadas de matemáticas, específicamente en ecuaciones diofánticas, vas a usar este teorema seguido para forzar contradicciones al mostrar que una sucesión de números debe producir nuevos factores primos conforme $n$ aumenta, lo cual no es compatible con ecuaciones que involucran factoriales o conjuntos fijos de primos.
Sin embargo, el Teorema de Zsigmondy no es cierto para cada combinación posible de $a, b,$ y $n$. Existe un conjunto finito y muy específico de casos donde no aparece un divisor primo primitivo. A estos los conocemos como las Excepciones de Zsigmondy. Entender estas excepciones es crucial porque una demostración rigurosa usando el Teorema de Zsigmondy debe revisar y eliminar estos casos explícitamente. Si usas el teorema sin considerar la posibilidad de que las variables cumplan una de las condiciones excepcionales, tu demostración estará incompleta.
Intuitivamente, estas excepciones pasan cuando la estructura algebraica de $a^n - b^n$ permite que todos sus factores primos ya hayan sido "usados" por los términos $a^k - b^k$ donde $k$ es un divisor propio de $n$. Esto suele pasar cuando $n$ es muy pequeño (específicamente 2 o 6) o cuando $a$ y $b$ tienen relaciones específicas que involucran potencias de 2. Reconocer estos casos límite evita que hagas afirmaciones falsas sobre la existencia de factores primos en sucesiones exponenciales.
Sean $a > b \ge 1$ enteros coprimos. Un primo $p$ es un divisor primo primitivo de $a^n - b^n$ si $p \mid (a^n - b^n)$ pero $p \nmid (a^k - b^k)$ para todo $1 \le k < n$.
Teorema de Zsigmondy (Forma de Resta): El número $a^n - b^n$ tiene al menos un divisor primo primitivo para todo $n > 1$, excepto en los siguientes casos:
El Caso de $n=1$: No hay ningún $k < 1$, así que el concepto generalmente no está definido o es trivial, pero por lo regular, el teorema aplica para $n \ge 2$.
El Caso de $2^6 - 1$: $$a = 2, \quad b = 1, \quad n = 6$$ Aquí, $2^6 - 1 = 63$.
El Caso de los Primos de Fermat ($n=2$): $$n = 2 \quad \text{y} \quad a + b = 2^k \text{ para algún entero } k \ge 1.$$ Como $a$ y $b$ son coprimos y su suma es una potencia de 2, ambos deben ser impares.
Teorema de Zsigmondy (Forma de Suma): El número $a^n + b^n$ tiene al menos un divisor primo primitivo para todo $n > 1$, excepto en el caso: $$a = 2, \quad b = 1, \quad n = 3$$ Aquí, $2^3 + 1 = 9$.
Aquí tienes la demostración de que las excepciones listadas para la forma de resta $a^n - b^n$ de verdad no tienen un divisor primo primitivo.
Caso 1: La excepción específica $a=2, b=1, n=6$.
Checa el término $a^n - b^n = 2^6 - 1^6 = 63$. La factorización en primos de 63 es: $$63 = 3^2 \cdot 7$$ Los factores primos son ${3, 7}$. Para cumplir con el Teorema de Zsigmondy, al menos uno de estos primos debe ser primitivo. Esto significa que no debe dividir a $2^k - 1$ para ningún $k < 6$. Revisa los valores de $2^k - 1$ para los divisores propios de 6 ($k=1, 2, 3$):
Como el factor primo 3 divide a $2^2 - 1$ y el factor primo 7 divide a $2^3 - 1$, el término $2^6 - 1$ no tiene factores primos nuevos que no hayan aparecido antes en la sucesión. Por lo tanto, es una excepción.
Caso 2: La familia de excepciones donde $n=2$ y $a+b = 2^k$.
Lo que buscas es un divisor primo primitivo de $a^2 - b^2$. Por definición, un divisor primo primitivo $p$ debe cumplir: $$p \mid (a^2 - b^2) \quad \text{y} \quad p \nmid (a^1 - b^1)$$ Factoriza la expresión: $$a^2 - b^2 = (a-b)(a+b)$$ Tienes la condición de que $a+b = 2^k$ para algún $k \ge 1$. Como $\gcd(a,b)=1$, $a$ y $b$ no pueden ser ambos pares. Como su suma $a+b=2^k$ es par, $a$ y $b$ no pueden tener paridades distintas. Por lo tanto, tanto $a$ como $b$ deben ser impares. Como $a$ y $b$ son impares, su diferencia $a-b$ es par. Entonces: $$2 \mid (a-b)$$ Esto implica que el factor primo 2 ya divide a $a^1 - b^1$.
Ahora, considera el término $a+b = 2^k$. El único factor primo de $a+b$ es 2. Por lo tanto, el conjunto de factores primos de $a^2 - b^2 = (a-b) \cdot 2^k$ consiste en el factor primo 2 y los factores primos de $a-b$.
Por lo tanto, cada factor primo de $a^2 - b^2$ divide a $a^1 - b^1$. No hay ningún divisor primo primitivo.
$\square$