¿La demostración de Euclides muestra que N = (p1 x p2 x ... x pk) + 1 es siempre primo?

No, y esta es la afirmación incorrecta más común sobre la demostración. N solo necesita tener un factor primo que no esté en la lista, que puede ser el propio N o puede ser un número más pequeño. Por ejemplo, 2x3x5x7x11x13 + 1 = 30031, que NO es primo: 30031 = 59 x 509. Tanto 59 como 509 son primos ausentes de la lista {2,3,5,7,11,13}, así que la demostración sigue funcionando perfectamente.

¿Qué tipo de demostración es el argumento de Euclides?

Es una demostración por contradicción (reductio ad absurdum). Asumes lo contrario de lo que quieres demostrar, es decir, que solo hay finitos primos, y luego muestras que esa suposición lleva a una contradicción.

¿Cómo garantiza la demostración un primo fuera de la lista?

El número N construido deja resto 1 al dividirse entre cualquier primo de la lista, así que ninguno de los primos listados divide a N. Pero todo entero mayor que 1 tiene al menos un factor primo. Por lo tanto, N tiene un factor primo, y ese factor no puede estar en la lista. Un primo fuera de la lista está garantizado.

¿Esto se relaciona con el argumento diagonal de Cantor o con el teorema de Goodstein?

Los tres se sitúan en la misma familia de resultados donde una construcción simple derrota cualquier intento de descripción finita (o numerable) completa. Euclides derrota cualquier lista finita de primos, Cantor derrota cualquier lista numerable de números reales, y Goodstein produce una sucesión que derrota el poder demostrativo de la aritmética de Peano.

La demostración de Euclides de que hay infinitos números primos

Alrededor del 300 a.C., Euclides escribió un argumento suficientemente corto para caber en un solo párrafo. Nunca ha sido mejorado, porque no puede serlo. La afirmación es que los números primos siguen para siempre, y la demostración es una construcción: dame cualquier lista finita de primos y yo te daré uno que no está en ella.

Dos mil años después, el argumento sigue teniendo la calidad de un buen truco de magia. Ves cada paso con claridad. Sabes exactamente cómo termina. Y aun así, funciona.

Qué es un primo, y por qué importa la pregunta

Un número primo es un número entero mayor que 1 cuyos únicos divisores son 1 y él mismo. Los primeros son 2, 3, 5, 7, 11, 13. Se sitúan dentro de los números enteros como átomos: cualquier otro número entero se construye multiplicando primos. El número 30, por ejemplo, se descompone como 2 por 3 por 5, y esencialmente solo hay una manera de hacer esa factorización.

Dado que los primos son los bloques de construcción de todos los números enteros, es natural preguntarse: ¿se agotan? ¿Hay un primo más grande, más allá del cual el pozo se seca? La respuesta de Euclides es no, y el camino que toma es suficientemente elegante para seguirlo en una sola sentada.

La configuración: supón que la lista está completa

El argumento es una demostración por contradicción. Comienzas concediéndole a la oposición todo lo que quiere.

Supón que solo hay finitos primos

Supón, a efectos del argumento, que la colección completa de todos los primos es una lista finita: p1, p2, p3, hasta pk. No existen primos fuera de esta lista. Esta es la suposición que destruiremos.

Ahora, habiendo reunido todos los primos existentes en esa lista, construye un nuevo número a partir de ellos.

Construyendo el número que rompe la lista

Forma N multiplicando todos los primos listados y sumando 1

Sea N = (p1 por p2 por p3 por ... por pk) + 1. Es decir: toma el producto de todos los primos de la lista supuestamente completa, luego suma 1.

Este es el movimiento clave, y vale la pena ir despacio para ver qué hace. Multiplicar todos los primos listados da un número al que todos los primos de la lista dividen exactamente. Sumar 1 los perturba a todos a la vez.

Cuando divides N entre p1, obtienes un resto de 1, porque el producto (p1 por p2 por ... por pk) es divisible entre p1, y sumar 1 desplaza el resto a 1. La misma lógica se aplica a p2, a p3, a cada primo de la lista. Ninguno de ellos divide a N exactamente.

La contradicción

N tiene un factor primo, pero ese factor no puede estar en la lista

Todo entero mayor que 1 tiene al menos un factor primo. Esta es una consecuencia del Teorema Fundamental de la Aritmética: sigue factorizando hasta que no puedas más, y te quedan primos. Así que N tiene un factor primo. Llámalo q.

Acabamos de mostrar que ningún primo de la lista divide a N. Por lo tanto, q no está en la lista. Pero asumimos que la lista contenía todos los primos. Esa es la contradicción: hemos encontrado un primo, q, que no está en la supuestamente completa lista.

La suposición debe ser falsa

Dado que la suposición de que solo hay finitos primos lleva directamente a una contradicción, la suposición es falsa. No hay ninguna lista finita que contenga todos los primos. Los primos siguen para siempre.

El contraejemplo que hace la demostración honesta

Aquí es donde muchas explicaciones populares de la demostración de Euclides se desvían. Afirman que N siempre es primo. No lo es, y la distinción importa.

Toma la lista 13. El producto es 2 por 3 por 5 por 7 por 11 por 13, que es igual a 30030. Suma 1 y obtienes N = 30031.

¿Es primo 30031? No.

30031 = 59 por 509.

Tanto 59 como 509 son primos, y ninguno aparece en la lista 13. Esto es exactamente lo que predice la demostración: no que N sea primo, sino que los factores primos de N estén ausentes de la lista. En este caso los factores primos son 59 y 509, dos primos que quedaron fuera de la lista finita. El argumento queda vindicado, pero la vindicación viene de los factores, no del propio N.

Lo que la demostración dice en realidad

Vale la pena detenerse en la forma del argumento, porque es inusualmente limpia.

No construyes el primo faltante explícitamente. No lo buscas. Demuestras que debe existir mostrando que asumir lo contrario lleva a un callejón sin salida lógico. El primo q que se esconde en los factores de N puede ser fácil de encontrar (como lo son 59 y 509, si pruebas algunos divisores pequeños de 30031) o puede ser enorme. A la demostración no le importa. Su poder proviene de la inevitabilidad: cualquiera que sea la lista que entregues, la construcción encuentra un hueco.

Esto conecta naturalmente con otras demostraciones que proceden con el mismo espíritu de "asume lo contrario, mira cómo colapsa". El argumento diagonal de Cantor usa la misma estructura a mayor escala: asume que existe una lista completa de los números reales, y luego construye un número real que demostrablemente no está en ella. El eco de Euclides es inconfundible.

Por qué los primos nunca se agotan del todo

Una cosa que la demostración no te dice es cuán separados pueden estar los primos, ni cuán grande puede ser el siguiente primo después de cualquier número dado. El argumento de Euclides solo garantiza existencia: en algún lugar más allá de cualquier colección finita vive otro primo. La distribución de los primos a lo largo de la recta numérica es una pregunta mucho más difícil, y sigue siendo una de las áreas abiertas más profundas de las matemáticas hoy en día.

Lo que la demostración sí te dice es estructural. Los números primos no pueden agotarse por ningún medio finito. Podrías dedicar toda una vida a listar primos, y siempre estarías listando hacia un resto infinito. Cada primo que encontraras sería real, pero los que estaban delante de ti eran igual de reales, igual de numerosos e igual de inalcanzables por una lista finita.

Para hacerte una idea de cuán rápido pueden crecer los números cuando construyes con multiplicación y exponentes, el artículo sobre entender los exponentes de forma intuitiva es un complemento natural: el producto p1 por p2 por ... por pk crece más rápido de lo que podrías esperar, y ese crecimiento es parte de la razón por la que N termina siendo tan grande tan rápidamente.

El zen de todo esto

La demostración de Euclides tiene más de dos milenios, y los matemáticos han encontrado cientos de demostraciones del mismo resultado desde entonces. Ninguna ha dejado obsoleta a esta. Mantiene su lugar no porque sea la más ingeniosa o la más general, sino porque es la más transparente.

Ves el argumento completo en una sola pasada. La construcción es natural. La contradicción es nítida. No hay ningún paso en el que tengas que aceptar algo por fe o confiar en que una maquinaria complicada está haciendo lo que afirma.

Lo que la demostración te pide que tengas en mente es una sola idea: cualquier lista finita de primos ya está incompleta. No porque la lista esté mal elegida, sino porque los primos son del tipo de cosa que no puede ser contenida por ningún conteo finito. Pertenecen al infinito de la misma manera que los enteros, o las fracciones, o los puntos de una recta. La demostración no te dice dónde está el siguiente primo. Te dice que el siguiente primo siempre está ahí.

Con eso basta. Con eso siempre ha bastado.

Para otros resultados que comparten este espíritu de inevitabilidad, el teorema de Goodstein muestra una sucesión que siempre regresa a cero a pesar de crecer más allá de cualquier cosa escribible, usando la misma lógica de "algo debe suceder porque la alternativa es imposible". La familia de argumentos vale la pena conocerla. Cada uno es un ángulo distinto sobre el mismo hecho subyacente: las matemáticas no tienen escotillas de escape. La estructura se sostiene.