Infinitud de los Primos

Teoría

El teorema de que hay infinitos números primos es uno de los resultados más antiguos y fundamentales en la teoría de números. Apareció por primera vez en los Elementos de Euclid (Libro IX, Proposición 20), y este concepto establece que las piezas básicas de los enteros nunca se terminan. Si el conjunto de los primos fuera finito, el Teorema Fundamental de la Aritmética implicaría un límite finito a la complejidad y variedad de los enteros, lo que simplificaría muchísimo el panorama de las matemáticas.

En las matemáticas de competencia, entender la demostración de este teorema suele ser más valioso que el hecho en sí. La demostración clásica se basa en un argumento constructivo por contradicción: si tienes cualquier lista finita de primos, puedes construir un número que no sea divisible por ningún primo de esa lista. Esta lógica se adapta seguido para demostrar la infinitud de primos con formas específicas (por ejemplo, primos de la forma $4k-1$ o $6k+5$) y aparece en problemas de divisibilidad, aritmética modular y valores de polinomios.

Más allá del enfoque de Euclid, puedes demostrar la infinitud de los primos usando teoría analítica de números (la demostración de Euler con la función Zeta de Riemann) o métodos combinatorios. Estas variaciones revelan conexiones profundas entre los números primos y otras áreas de las matemáticas, como la densidad de los primos y la divergencia de la serie armónica. Para los estudiantes de la AMC y de olimpiadas, dominar la construcción de números coprimos a un conjunto dado es una habilidad crucial para resolver problemas de existencia.

Fórmulas Clave

Teorema de Euclid El conjunto de los números primos es infinito. No existe un número primo que sea el más grande.

Suma de Divergencia de Euler Una afirmación más fuerte sobre la densidad de los primos dice que la suma de los recíprocos de todos los números primos diverge: $$ \sum_{p \text{ prime}} \frac{1}{p} = \frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots = \infty $$

Teorema de Dirichlet sobre Progresiones Aritméticas Para cualquier par de enteros positivos coprimos $a$ y $d$, hay infinitos primos de la forma: $$ p \equiv a \pmod{d} $$ En otras palabras, la sucesión $a, a+d, a+2d, \dots$ contiene infinitos primos.

Construcción de Euclid Si tienes un conjunto finito de primos $P = {p_1, p_2, \dots, p_n}$, puedes construir un número $N$ que sea coprimo con todos los $p_i$: $$ N = p_1 p_2 \dots p_n + 1 $$ Nota: $N$ no es necesariamente primo, pero todos sus factores primos son primos nuevos que no están en $P$.

Demostración

Teorema: Hay infinitos números primos.

Demostración (Euclid): La idea es usar una contradicción. Supón que hay una cantidad finita de primos. Digamos que este conjunto