Teorema de Euclides

Para otros usos de este trmino, vase Teorema de Euclides (desambiguacin).

El teorema de Euclides sobre la infinitud de los nmeros primos es el siguiente:
El conjunto formado por los nmeros primos es infinito.
Euclides (~325 - 265 a.C)
ndice
[ocultar]

1Demostracin de Euclides
o

1.1Reformulacin de Kummer

1.2Demostracin de Hermite

1.3Demostracin de Stieltjes

1.4Demostracin de Goldbach (1730)

2Otras demostraciones
o

2.1Demostracin de Euler

2.2Demostracin topolgica de Furstenberg (1955)

3Referencias

Demostracin de Euclides[editar]
Euclides formul la primera demostracin en la proposicin 20 del libro IX de su
obra Elementos.1 Una adaptacin comn de esta demostracin original sigue as:
Se toma un conjunto arbitrario pero finito de nmeros primos p1, p2, , pn, y se considera el
producto de todos ellos ms uno, q=p1p2 pn+1. Este nmero es obviamente mayor que 1
y distinto de todos los primos pi de la lista. El nmero q puede ser primo o compuesto. Si
es primo tendremos un nmero primo que no est en el conjunto original. Si, por el
contrario, es compuesto, entonces existir algn factor p que divida a q (q=pn+1).
Suponiendo que p es alguno de los pi, se deduce entonces que p divide a la diferencia qp1p2 pn=1, pero ningn nmero primo divide a 1, es decir, se ha llegado a un absurdo por
suponer que p est en el conjunto original. La consecuencia es que el conjunto que se
escogi no es exhaustivo, ya que existen nmeros primos que no pertenecen a l, y esto
es independiente del conjunto finito que se tome.
Existen numerosas demostraciones parecidas a sta, que se formulan a continuacin:

Reformulacin de Kummer[editar]
Supngase que existe una cantidad finita de nmeros primos p1 < p2 < p3 < ... < pr.
Sea N = p1p2p3...pr > 2. El entero N-1, al ser producto de primos, tiene un divisor pi que
tambin es divisor de N; as que pi divide a N - (N-1) = 1. Esto es absurdo, por lo que tiene
que haber infinitos nmeros primos.

Demostracin de Hermite[editar]

Sea n=1, 2, 3, ... y qn el factor primo ms pequeo de n! + 1 para cada n. Como qn tiene
que ser mayor que n, se deduce que esta sucesin contiene infinitos elementos distintos, y
que por tanto existen infinitos nmeros primos.

Demostracin de Stieltjes[editar]
Supngase que existe un nmero finito de nmeros primos. Sea Q el producto de todos los
nmeros primos, y sean m y n dos enteros positivos con Q = mn.
Se tiene que todo nmero primo p divide, o bien a m, o bien a n, pero no a ambos, es
decir, m y n son primos entre s. Entonces m+n no puede tener ningn divisor primo, pero
como es estrictamente mayor que 1, debe ser un nmero primo que no divide a Q:
contradiccin.

Demostracin de Goldbach (1730)[editar]

Esta demostracin se basa en los nmeros de Fermat, es decir, los nmeros de la forma :.
Lema: Dos nmeros de Fermat distintos Fm y Fn son primos entre s.
(Goldbach, 1730)
Para cada nmero de Fermat Fn, escjase un divisor primo pn. Como los nmeros de
Fermat son primos entre s, sabemos que dos primos cualesquiera pm y pn son distintos.
As, hay al menos un nmero primo pn por cada nmero de Fermat Fn, es decir, al menos
un nmero primo por cada nmero entero n.
Esta demostracin tambin es vlida si se toma otra secuencia infinita de nmeros
naturales que son primos entre s, como la secuencia de Sylvester.

Otras demostraciones[editar]
Demostracin de Euler[editar]
Sea Q el producto de todos los primos. Sea (n) la funcin de Euler definida como el
nmero de enteros menores que n y coprimos con l. Entonces (Q) es igual al producto
de los nmeros que resultan de restarle 1 a cada uno de los nmeros primos, es decir,
(Q) = (2-1)(3-1)(5-1)(7-1)(11-1)... = 124610...
Uno de los nmeros enteros coprimos con Q es 1. Aun as, hay al menos otro entero
en el intervalo [2,Q] que no tiene factor comn con Q. Ese entero no puede tener
ningn factor primo, porque estn todos en Q, as que debe ser igual a 1, con lo que
se llega a una contradiccin.

Demostracin topolgica de Furstenberg (1955)[editar]

Defnase una topologa en el conjunto de los nmeros enteros empleando
progresiones aritmticas (de a +). Esto genera un espacio topolgico. Para cada
nmero p, sea Ap el conjunto de todos los mltiplos de p. Ap es cerrado, porque su
complementario es la unin de todas las dems progresiones aritmticas con
diferencia p. Ahora, sea A la unin de las progresiones Ap. Si hay un nmero finito de
nmeros primos, entonces A es una unin finita de conjuntos cerrados, y por tanto A es
cerrado. Sin embargo, todos los nmeros enteros, salvo -1 y 1, son mltiplos de algn
nmero primo, as que el complementario de A es {-1, 1} que no es abierto. Esto
muestra que A no es una unin finita y que existen infinitos primos.