Juan Rengel Rojo

Recopilacin de diversas demostraciones de la infinitud

de los nmeros primos
Juan Luis Varona Malumbres
Facultad de Ciencias, Estudios Agroalimentarios e Informtica
Grado en Matemticas
2012-2013
Ttulo
Autor/es
Director/es
Facultad
Titulacin
Departamento
TRABAJO FIN DE GRADO
Curso Acadmico
El autor
Universidad de La Rioja, Servicio de Publicaciones, 2013
publicaciones.unirioja.es
E-mail: publicaciones@unirioja.es
Recopilacin de diversas demostraciones de la infinitud de los nmeros
primos, trabajo fin de grado
de Juan Rengel Rojo, dirigido por Juan Luis Varona Malumbres (publicado por la
Universidad de La Rioja), se difunde bajo una Licencia
Creative Commons Reconocimiento-NoComercial-SinObraDerivada 3.0 Unported.
Permisos que vayan ms all de lo cubierto por esta licencia pueden solicitarse a los
titulares del copyright.

Facultad
Facultad de Ciencias, Estudios Agroalimentarios e Informtica
Titulacin
Grado en Matemticas
Ttulo
Recopilacin de diversas demostraciones de la infinitud de los
nmeros primos
Autor/es
J uan Rengel Rojo
Tutor/es
J uan Luis Varona Malumbres
Departamento
Matemticas y Computacin
Curso acadmico
2012-13



Recopilacion de diversas
demostraciones de la innitud
de los n umeros primos
Juan Rengel Rojo
Tutor: Juan Luis Varona Malumbres
Quiero agradecer al Dr D. Juan Luis Varona por su ayuda y paciencia en
la elaboracion de esta memoria, sin el no habra sido posible.
Resumen
En el siguiente documento encontraremos con una recopilacion de de-
mostraciones sobre la innitud de los n umeros primos, como su propio ttulo
indica. En primer lugar veremos una introduccion algebraica, en la cual de-
niremos que es un n umero primo. Despues empezar a la recopilacion con
la prueba de Euclides, que es la primera demostraci on conocida, adem as de
otras demostraciones parecidas a la suya como las de Hermite, Kummer y
Stieltjes. En general podremos ver m as de veinte demostraciones que agru-
paremos bien por autor, como las de Euler y Pinasco (captulos 4 y 10),
bien por el tipo de demostraci on, como las de Goldbach, Fibonacci, Harris,
Washington (captulos 3 y 6). Otras demostraciones ser an lo sucientemente
importantes y/o extensas para tener su propio captulo, como las de F ursten-
berg y Whang (captulos 8 y 9). Tambien podremos ver otras demostraciones
difcilmente catalogables, como las Perott, Auric, Metrod, Pollack y Mixon
(captulos 5 y 7). Por ultimo presentaremos las referencias que han sido utili-
zadas para la realizaci on de este proyecto. Adem as, a lo largo de la memoria
veremos numerosas referencias a las fuentes originales.
1
Abstract
As the title suggests, in this paper we nd a series of proofs of the innity
of prime numbers. First, we will oer an algebraic introduction, in which
we dene what a prime number is. After that, we will start the collection
with Euclids proof, which is the rst known proof, apart from other similar
such as Hermite, Kummer and Stieltjes. Altogether, we oer more than
twenty pieces of proofs which will be gathered either by author, as Euler and
Pinascos (Chapters 4 and 10), or by the type of proof such as Goldbach,
Fibonacci, Harris and Washingtons (Chapters 3 and 6). Other proofs, such
as F urstenberg and Whangs, are important and extensive enough to have
their own chapter (Chapters 8 and 9). We will also see other proofs that
are hard to classicate such as Perott, Auric, Metrod, Pollack and Mixons
(Chapters 5 and 7). Finally, we will present all the references that have been
used for this project. Moreover, all along this paper we will refer several times
to the original sources.
2

Indice general
1. Introduccion 5
1.1. Deniciones b asicas . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Una proposicion b asica . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Consecuencias de la introducci on . . . . . . . . . . . . . . . . 9
2. Primera demostraci on conocida 11
2.1. Deniciones de Euclides . . . . . . . . . . . . . . . . . . . . . 11
2.2. Demostracion de Euclides . . . . . . . . . . . . . . . . . . . . 12
2.3. Demostracion de Euclides con notacion actual . . . . . . . . . 13
2.4. Demostracion de Hermite . . . . . . . . . . . . . . . . . . . . 13
2.5. Demostracion de Kummer . . . . . . . . . . . . . . . . . . . . 14
2.6. Demostracion de Stieltjes . . . . . . . . . . . . . . . . . . . . . 14
3. N umeros de Fermat y Fibonacci 15
3.1. Denici on y propiedades . . . . . . . . . . . . . . . . . . . . . 15
3.2. Demostracion de Goldbach . . . . . . . . . . . . . . . . . . . . 16
3.3. Demostracion con los n umeros de Fibonacci . . . . . . . . . . 16
3.4. Demostracion de Harris . . . . . . . . . . . . . . . . . . . . . . 18
4. Dos demostraciones de Euler 19
4.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.2. Teorema basico sobre funciones multiplicativas . . . . . . . . . 20
4.3. Funciones aritmeticas y una demostraci on de Euler . . . . . . 21
4.4. Identidad de Euler . . . . . . . . . . . . . . . . . . . . . . . . 23
4.5. Demostracion de Euler . . . . . . . . . . . . . . . . . . . . . . 24
4.6. Otra demostraci on de Euler con la funci on . . . . . . . . . . 25
3
5. Tres demostraciones perdidas 26
5.1. Demostracion de Perott . . . . . . . . . . . . . . . . . . . . . 26
5.2. Demostracion de Auric . . . . . . . . . . . . . . . . . . . . . . 27
5.3. Demostracion de Metrod . . . . . . . . . . . . . . . . . . . . . 28
6. Demostraciones algebraicas 29
6.1. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . 29
6.2. Demostracion anonima . . . . . . . . . . . . . . . . . . . . . . 30
6.3. Demostracion de Washington . . . . . . . . . . . . . . . . . . 31
7. Demostraciones sin catalogar 33
7.1. Deniciones y lema . . . . . . . . . . . . . . . . . . . . . . . . 33
7.2. Demostracion de Pollack . . . . . . . . . . . . . . . . . . . . . 34
7.3. Demostracion de D. G. Mixon . . . . . . . . . . . . . . . . . . 35
8. Demostraci on topologica 36
8.1. Deniciones b asicas de topologa . . . . . . . . . . . . . . . . . 36
8.2. Demostracion de F urstenberg . . . . . . . . . . . . . . . . . . 37
9. Demostraci on de Whang 40
9.1. La identidad de Legendre . . . . . . . . . . . . . . . . . . . . . 40
9.2. Demostracion de Whang . . . . . . . . . . . . . . . . . . . . . 41
10.Dos demostraciones con acento latino 42
10.1. Primera demostracion de Pinasco . . . . . . . . . . . . . . . . 42
10.2. El dos por uno de Pinasco . . . . . . . . . . . . . . . . . . . . 43
Conclusiones 45
Bibliografa 46
4
Captulo 1
Introducci on
Todo el mundo ha odo hablar de los n umeros primos. Pero que es en
realidad un n umero primo?; que es en realidad un n umero primo para un
matem atico?; depende de s mismo, o del conjunto en el que esta, para
que cumpla esta propiedad? es decir, por ejemplo, son los n umeros primos
del conjunto de los enteros (Z) iguales a los del conjunto de los n umeros
racionales (Q)?
Para responder a estas preguntas, tendremos que recordar un poco de
algebra. A continuaci on veremos algunas deniciones elementales que nos
ayudar an a responderlas. Toda esta teora se puede encontrar en cualquier
libro de algebra como [10].
1.1. Deniciones basicas
Estas son algunas deniciones b asicas algebraicas que nos ayudar an a
entender mejor, el concepto de n umero primo.
Conjunto
Un conjunto es una colecci on de objetos bien denida. Estos objetos
pueden ser cualquier cosa: n umeros, colores, letras, etc. . . Un conjunto
podra ser nito o innito.
Un ejemplo de conjunto nito es A = 1, 2, 3, donde A es el conjunto
de los n umeros naturales menores que cuatro.
Un ejemplo de conjunto innito son los n umero naturales:
N = 1, 2, 3, 4, 5, . . . , .
5
Otro conjunto, con especial interes, es el conjunto vaco, que es un
conjunto sin ning un elemento y lo denotaremos como .
Subconjunto
Dado un conjunto X, diremos que A es un subconjunto de X si todo
elemento de A existe en X.
Diremos que un subconjunto A de X es el total, si todo elemento del
conjunto X existe en A. Notese entonces que el conjunto A y el X
tienen los mismos elementos.
Complementario de un subconjunto
El complementario de un subconjunto A inducido en X (el total). Es
un subconjunto tal que A

A
c
= , y A

A
c
= X.
Anillo
Un anillo R es un conjunto (no vaco) con dos operaciones binarias
(+, ), llamadas suma y producto, respectivamente. Adem as estas ope-
raciones cumplen las siguientes propiedades:
La suma es asociativa, conmutativa. Tiene elemento neutro, llama-
do cero y lo denotaremos como 0 (esto es que existe un elemento
0 R tal que para cada elemento a R cumple: 0+a = a+0 = a).
Adem as todos los elementos de R tienen inverso. (Es decir que pa-
ra todo elemento a de R existe otro elemento que llamaremos a
y cumple: a + (a) = (a) + a = 0.)
El producto es asociativo y distributivo respecto de la suma:
(a + b) c = a c + b c, c (a + b) = c a + c b.
Anillo conmutativo
Diremos que el anillo R es conmutativo si el producto lo es.
Anillo unitario
Diremos que R es unitario si el producto tiene un elemento neutro, que
denotaremos por 1 R. Es decir para todo elemento a de R, se cumple
a 1 = 1 a = a.
6
Unidad de un anillo
Decimos que un elemento a de un anillo R (R tiene que ser unitario) es
una unidad, si existe un elemento de R, a este elemento lo denotaremos
como a
1
, que cumple:
a a
1
= a
1
a = 1.
El conjunto de las unidades de un anillo R lo denotaremos como R

Divisor de cero
Decimos que un elemento a es divisor de cero si a ,= 0 y existe otro
elemento b ,= 0 tal que a b = 0 o b a = 0.
Dominio de integridad o D.I.
Diremos que R es D.I. si es conmutativo, unitario y no tiene divisores
de cero.
Elementos asociados
Si R un anillo conmutativo y a, b R. Diremos que los elementos a y
b son asociados si para a, b ,= 0 cumplen que a [ b y b [ a. Notese que
es equivalente a decir a = b u, u R

.
Elemento irreducible
Para R D.I. diremos que un elemento p R es irreducible si:
p ,= 0 y p / R

.
Siempre que a [ p, se tiene que a R

o a = p u, con u R

.
Elemento primo
Para R D.I. diremos que un elemento p R es primo si:
p ,= 0 y p / R

.
Siempre que p [ a b, entonces p [ a o p [ b.
Dominio de factorizaci on unica o D.F.U.
Si dado R anillo que es D.I. diremos que R es D.F.U. si para todo
elemento r (r R) no nulo y no unidad se tiene:
7
r factoriza como un producto nito de elementos irreducibles: a =
p
1
p
2
p
n
, donde los p
i
son elementos irruducibles llamados
factores, y a esta descomposici on se le conoce como factorizaci on.
Esta factorizacion es unica salvo asociados y orden.
Maximo comun divisor o mcd
El m aximo comun divisor de a y b (se denota mcd(a, b)) es un elemento
d ,= 0 R y que cumple:
d [ a y d [ b.
Para cualquier d

R tal que d

[ a y d

[ b, entonces se debe
cumplir d

[ d.
N umeros coprimos
Decimos que dos n umeros a y b son coprimos, si y solo si mcd(a, d) = u
con u R

; para el caso particular de N tenemos que mcd(a, b) = 1.

1.2. Una proposici on basica
Proposicion: Si R es D.F.U. y p R, tenemos:
p es un elemento primo en R p es irreducible en R.
Demostraci on:

Si p es primo, entonces no es ni cero, ni una unidad, as que la primera

condici on es trivial. Veamos la segunda.
Si a [ p, tenemos p = a x para alg un x R. Como p [ a x (esto es
obvio, pues son iguales), aplicamos la segunda condicion de elemento primo
y tenemos que p [ a o p [ x. En el caso p [ a, como a [ p, llegamos a que a
y p son asociados (al ser el anillo D.F.U. tambien es D.I.), as a = p u con
u R

.
En el caso p [ x, escribimos x como x = p y y sustituimos: p = a x =
a p y; como p ,= 0 y el anillo es D.I. conmutativo y unitario (por ser
D.F.U.) llegamos a que 1 = a y = y a donde a R

. Esto prueba la
segunda condicion de irreducible.

8
Al igual que arriba, la primera condici on es trivial, as que demostraremos
la segunda. Sea a un elemento de R tal que p [ a. Como R es D.F.U.,
a = p p
1
p
2
p
n
, donde p
i
son elementos irreducibles, ademas p
estar a en la factorizacion de a por ser divisor de a. N otese que si escribimos
a en dos productos a = bc, con b = p
b
1
p
b
j
, y c = p
c
1
p
c
l
, donde p
c
i
y p
b
j
son los elementos irreducibles p
1
, . . . , p
n
, y p, pero en cualquier orden.
N otese entonces que p ser a un factor bien de b o bien de c, lo que implica,
que p dividir a a alguno de los dos, que es lo que queramos demostrar.
1.3. Consecuencias de la introducci on
Una vez vistas estas deniciones de algebra, estamos en posicion de com-
prender que es un n umero primo. Aqu expongo las consecuencias m as im-
portantes:
El conjunto de los n umeros primos, dependen del conjunto en el c ual
estemos trabajando.
Por ejemplo, en los enteros Z los n umeros primos son:
2, 2, 3, 3, 5, 5, 7, 7, . . . ;
sin embargo, en los n umeros racionales Q, no existen los n umeros pri-
mos, porque todos los n umeros, menos el cero, son unidades.
No todos los n umeros que solo pueden dividirse por si mismos o por las
unidades son n umeros primos, ya que esto es la denici on de irreducible.
Por ejemplo en Z[

5] =
_
a + b

5 [ a, b Z
_
, el elemento: 2 +

5 es irreducible pero no es primo. Ya que, 9 = (2+

5)(2

5).
Luego 2 +

5 [ 9, pero 9 = 3 3 y sin embargo 2 +

5 3, con lo
que tenemos que 2 +

5 es un elemento irreducible, pero no es primo

en el anillo Z[

5].
Sin embargo, en Z al ser un D.F.U. tenemos que ser primo es equivalente
a ser irreducible.
Notemos que los n umeros primos de N y de Z no son los mismos, pero
existe cierta relaci on. Es decir, en N tenemos el 2, y en Z tenemos los
n umeros 2 y 2. En general para cada primo P de N, tendremos dos
n umeros primos de Z, que ser an P y P.
9
Para nalizar, a partir de ahora cuando nos reramos a los n umeros
primos, nos estaremos reriendo a los n umeros primos de
1
N. Adem as
la multiplicacion (o producto) la escribirimos en, vez de ab, como a b
o as, ab.
1
Quiero indicar que N no es un anillo, ya que no tiene elemento inverso en la suma.
10
Captulo 2
Primera demostraci on conocida
Empezaremos viendo la primera demostraci on de la cual tenemos constan-
cia. Esta demostracion la podemos encontrar en el famoso libro de Euclides,
Los Elementos. Quisiera recalcar que cuando Euclides escribi o su libro, el
algebra no exista, e incluso el concepto de n umero era comprendido de ma-
nera un poco diferente a como se entiende hoy en da. Es por todo ello que
aqu veremos la demostraci on tal y como la desarrolla Euclides en su libro. Y
luego la volveremos a ver con un lenguaje m as actual. Adem as de otras tres
demostraciones m as, que son parecidas a la suya. Las siguientes deniciones,
as como la primera demostraci on, la podemos encontrar en [4].
2.1. Deniciones de Euclides
Veamos unas cuantas deniciones de Los Elementos (libro VII) que seran
importantes para comprender la demostracion:
Denici on 1: Una unidad es aquello en virtud de la cual cada una de
las cosas que hay es llamada una.
Denici on 2: Un n umero es una pluralidad compuesta de unidades.
Denici on 3: Un n umero es parte de un n umero, el menor del mayor,
cuando mide al mayor.
Denici on 4: Pero partes
1
cuando no lo mide.
1
En la denici on anterior, parte se reere a una parte alcuota o subm ultiplo. Con
11
Denici on 5: Y el mayor es m ultiplo del menor cuando es medido por
el menor.
Denici on 6: Un n umero par es el que se divide en dos partes iguales.
Denici on 7: Un n umero impar es el que no se divide en dos partes
iguales, o diere de un n umero par en una unidad.
Denici on 12: Un n umero primo es aquel que solo es medido por la
unidad.
Denici on 13: N umeros primos entre s son los medidos por la sola
unidad como medida com un.
Hay muchsimas mas deniciones, pero con estas pocas, podemos entender
la demostracion tal y como la planteo Euclides.
2.2. Demostraci on de Euclides
Este teorema, lo podemos encontrar en el libro IX, en la proposicion 20.
Proposicion 20: Hay m as n umeros primos que cualquier cantidad pro-
puesta de n umeros primos.
Sean A, B y C los n umeros primos propues-
tos.
Digo que hay mas n umeros primos que
A, B, C.
Pues t omese el n umero menor medido por
A, B, C, y sea DE y a n adase a DE la unidad
EZ. Entonces EF es primo o no. Sea primo
en primer lugar; entonces han sido hallados los
n umeros primos A, B, C, y EF, que son m as que A, B, and C.
Pero ahora no sea primo EF; entonces es medido por alg un n umero primo:
sea medido por el n umero primo G.
Digo que G no es el mismo que ninguno de los n umeros A, B, C. Pues si
fuera posible, sealo. Pero A, B, C, miden a DE, entonces G medir a tambien
a DE. Pero mide asimismo a EF; y G, siendo un n umero, medira tambien
partes, Euclides alude a un n umero de partes alcuotas o a lo que nosotros llamaramos
una fraccion propia. Por ejemplo, el n umero 2 es parte del n umero 6, pero el n umero 4 no
es parte sino partes del n umero 6.
12
a la unidad restante DF; lo cual es absurdo. Luego G no es el mismo que
ninguno de los n umeros anteriores A, B, C. Y se ha supuesto que es primo.
Por consiguiente, han sido hallados mas n umeros primos que la cantidad
propuesta de los n umeros A, B, C.
2.3. Demostraci on de Euclides con notaci on
actual
Lo primero se nalar que Euclides no dice exactamente que haya innitos
primos sino que Hay m as n umeros primos que cualquier cantidad propuesta
de n umeros primos. Es obvio que esto es similar a decir que hay innitos
n umeros primos, algo que no poda decir Euclides pues no manejaba el con-
cepto de innito. Una vez aclarado esto, veamos de nuevo la demostraci on
de Euclides, pero con una notaci on actual. Esta demostraci on es muy cono-
cida y la podemos encontrar en cualquier sitio donde se hable de n umeros
primos, por ejemplo en: [14], [15], [19] [24], [25].
Hay innitos n umeros primos
Demostracion: Procederemos por reducci on al absurdo. Suponemos que
existe un n umero nito de n umeros primos y los ordenamos de forma que
p
1
< p
2
< < p
n
. Sea A el siguiente n umero:
A = P
1
P
2
P
3
P
n
+ 1.
Claramente A es mayor que P
n
y por tanto no puede ser un n umero primo,
pero sin embargo A no es divisible por ning un P
i
con lo que A es un n umero
primo, as que aqu est a nuestra contradicci on.
Una consideraci on sobre esta ultima demostraci on: Podemos pen-
sar que, con esta demostracion, tenemos un metodo de construcci on de n ume-
ros primos. Es decir podemos pensar que todo n umero de la forma P
1
P
2

P
i
+ 1 es primo. Sin embargo esto no es cierto en general, ya que, el n umero
30031 = 2 3 5 7 11 13 + 1 no es primo porque 30031 = 59 509.
2.4. Demostraci on de Hermite
Esta demostracion y las que le siguen son bastantes similares a la que hizo
Euclides. Quisiera se nalar que la demostraci on fue realizada por H. Brocard
13
en colaboracion con Hermite. Esta demostraci on la podemos ver en [14], [19].
El artculo original que aparecio publicado es [2].
Hay innitos n umeros primos
Demostracion: Sea q
n
el divisor primo m as peque no de n! + 1 para
n = 1, 2, . . . Notemos que este n umero q
n
ser a m as grande que n, y por tanto
tendremos una sucesi on innita de n umeros primos q
i
. Ya que tenemos un q
n
distinto para cada n.
2.5. Demostraci on de Kummer
Esta demostracion la podemos ver en [14], [19], [25].
Hay innitos n umeros primos
Demostracion: Suponemos que s olo existen r n umeros primos y los or-
denamos de forma que p
1
< p
2
< < p
r
. Sea N = p
1
p
2
p
r
; entonces, el
n umero N 1 debera tener un divisor primo p
i
en com un con N, pero eso
es imposible ya que p
i
[ N y p
i
[ N 1 implicara que p
i
[ N (N 1), y
esto a su vez es igual a p
i
[ 1, lo cual es absurdo.
2.6. Demostraci on de Stieltjes
Para concluir este captulo veremos la demostraci on de Stieltjes, la cual
tambien tiene cierta similitud a la de Euclides. Esta demostraci on ha sido
recogida de [14] y [25].
Hay innitos n umeros primos
Demostracion: Suponemos que el conjunto de los n umeros primos es
nito. Sea A el producto de todos ellos. A lo podemos reescribir como A =
m n con m y n enteros positivos y tales que, para cada p primo, bien m
o n es dividido por p, pero p nunca dividir a a ambos. Sea ahora el n umero
B = m + n. Es claro que ning un n umero primo p puede dividir a B, y
que adem as B > 1, luego B es primo. Contradicci on. En consecuencia, hay
innitos n umeros primos.
14
Captulo 3
N umeros de Fermat y
Fibonacci
En este captulo vamos a demostrar la existencia de innitos n umeros
primos mediante los n umeros de Fermat y Fibonacci. Pero antes recordaremos
y probaremos alguna propiedad de estos n umeros, pues estas propiedades
ser an vitales para la demostraci on de Goldbach.
3.1. Denici on y propiedades
Denimos los n umeros de Fermat de esta forma: F
n
= 2
2
n
+ 1 n N.
Adem as tienen las siguientes propiedades:
Todos los n umeros de Fermat son n umeros impares. Esto es obvio por
como los hemos denido, al ser potencias de dos m as uno, siempre ser an
n umeros impares.
Un n umero de Fermat es igual al producto de sus anteriores mas 2. Es
decir, F
n
= F
0
F
1
F
2
F
n1
+2. Para ver esta propiedad procederemos
por reduccion al absurdo:
Para n = 1 tenemos F
0
+ 2 = 3 + 2 = 5 = 2
2
1
+ 1 = F
1
.
Suponemos que es cierto para n 1. Veamos que es cierto
para n:
F
0
F
1
F
2
F
n1
+ 2 = (F
n1
2) F
n1
+ 2
= (2
2
n1
+ 1 2) (2
2
n1
+ 1) + 2 = (2
2
n1
1) (2
2
n1
+ 1) + 2
15
= (2
2
n1
)
2
1 + 2 = (2
2
n
) + 1 = F
n
.
Todos los n umeros de Fermat son coprimos entre s. Ve amoslo: Sean F
n
y F
m
con n > m. Veamos que son coprimos. Por la propiedad anterior
tenemos F
n
= F
0
F
m1
F
m
F
m+1
F
n1
+2. Si hubiera un n umero
que dividiera a F
m
y F
n
, entonces ese n umero deber a dividir a 2. Ese
supuesto divisor de F
m
y F
n
no puede ser 2 pues los n umeros de Fermat
son impares. Luego F
n
y F
m
no tienen ning un divisor (mayor que 1) en
com un.
3.2. Demostraci on de Goldbach
Aunque se usen los n umeros de Fermat, esta prueba no corresponde a
Fermat, sino a Goldbach. Es otra demostraci on muy conocida y por eso
tambien se encuentra en numerosos libros y paginas web como [12], [14], [15],
[19], [24], [25], adem as de la demostracion original que fue publicada en [8].
Hay innitos n umeros primos
Demostracion: Cada n umero de Fermat F
n
tendr a al menos un divisor
primo P
n
. Como todos los n umeros de Fermat son coprimos entre s, eso
signica que sus divisores primos son distintos. As, por cada n umero de
Fermat que elijamos tendremos al menos un nuevo n umero primo. Como hay
innitos n umeros de Fermat (hay un n umero de Fermat por cada n umero
natural), tendremos innitos n umeros primos.
3.3. Demostraci on con los n umeros de Fibo-
nacci
A partir de la demostracion de Goldbach, es claro que si tenemos una su-
cesi on innita de n umeros que sean coprimos entre s, tendremos otra prueba
m as de la existencia de innitos n umeros primos. Aqu va otra demostracion
que generaliza todo esto. Luego, lo aplicaremos a una sucesion de Fibonacci
para demostrar la existencia de innitos n umeros primos. Esta demostraci on
la podemos ver, por ejemplo, en [14].
Hay innitos n umeros primos
16
Demostracion: Sea a
n
una sucesi on de n umeros positivos, y que tie-
nen la siguiente propiedad: si mcd(m, n) = 1 entonces mcd(a
m
, a
n
) = 1.
Suponemos que hay una cantidad nita de n umeros primos p
1
, p
2
, . . . , p
k
,
cogemos los n umeros de la sucesi on a
p
1
, a
p
2
, . . . , a
p
k
, donde como mucho s olo
un a
p
i
puede ser 1. Sean p, q ndices en los que a
p
y a
q
tengan al menos dos
factores primos. Como todos los a
p
i
son coprimos, entonces el producto de
todos ellos, a
p
1
a
p
2
a
p
a
q
a
p
k
, tendra al menos k+1 n umeros primos,
pero es uno m as que los que teniamos por hipotesis, luego ah esta nuestra
contradiccion.
Para concluir esta demostracion s olo nos falta encontrar una sucesi on de
n umeros a
n
tales que, si mcd(m, n) = 1, entonces mcd(a
m
, a
n
) = 1. Veamos
que una sucesi on de Fibonacci cumple esto ultimo.
Notemos que mcd(f
m
, f
m+1
) = 1, ya que, cada divisor com un d de f
m
y f
m+1
, dividira a su vez a f
m1
(por como se construyen los n umeros de
Fibonacci) y por recurrencia llegamos a que d divide a f
m2
, f
m3
, . . . ,
f
1
= 1.
Ahora cogemos n > m, y sea d un divisor com un de f
m
, f
n
. Es facil
comprobar por induccion que f
n
cumple
f
n
= f
j+1
f
nj
+ f
j
f
nj1
(j = 1, 2, 3, . . . , n 2).
Si elegimos j = m, tenemos que d ha de dividir a f
n
y f
m
. Adem as, como
no puede dividir a f
m+1
(pues mcd(f
m
, f
m+1
) = 1), entonces d tiene que
dividir a f
nm
, y por recurrencia dividir a a f
n2m
, f
n3m
, . . . , f
(n mod m)
. Si
aplicamos el algoritmo de divisi on a n y m, obtenemos una serie de q
i
y a
i
(a
0
= n y a
1
= m), tales que:
n = mq
0
+ a
2
m = a
2
q
1
+ a
3
a
2
= a
3
q
2
+ a
2

a
j2
= a
j1
q
j2
+ a
j

a
s2
= a
s1
q
s2
+ a
s
con a
s
= 1, para j = 2, 3, . . . , s.
17
De este modo tenemos que a
j2
m od a
j1
= a
j
, y continuando llegamos
a que cada divisor de f
n
y f
m
deber a dividir a f
a
1
, f
a
2
, . . . , f
as
= f
1
= 1.
Con lo que ya esta demostrado que los n umeros de Fibonacci cumplen que,
si mcd(m, n) = 1, entonces mcd(f
m
, f
n
) = 1, y podemos concluir nuestra
demostraci on.
3.4. Demostraci on de Harris
Esta demostraci on la podemos ver en [25], mientras que la original es [9].
Hay innitos n umeros primos
Demostracion: Sean A
0
, A
1
, A
2
n umeros enteros y coprimos, y para n
3 denimos, recursivamente, A
n
= A
0
A
1
A
n3
A
n1
+ A
n2
. Veamos por
inducci on que A
0
, A
1
, . . . , A
n
son coprimos. Para n = 3 es claro que A
3
=
A
0
A
2
+ A
1
es coprimo con A
0
, A
1
y A
2
.
Para efectuar el paso de induccion, suponemos que es cierto para n 1
y vamos a probarlo para n. Dado un i < n cualquiera, veamos que A
n
y A
i
son coprimos. Empezamos en el caso i ,= n 2. Vamos a escribir A
n
seg un
su formula
A
n
= A
0
A
i1
A
i
A
n3
A
n1
+ A
n2
,
donde se ve que A
n
y A
i
son coprimos porque A
i
es, por hipotesis de induc-
ci on, coprimo con A
n2
. Para i = n 2 se sigue un razonamiento similar,
s olo que en este caso lo que habr a que usar es que A
n2
es coprimo con
A
0
A
n3
A
n1
. Acabamos de ver que tenemos innitos n umeros coprimos
y por tanto hay innitos n umeros primos.
18
Captulo 4
Dos demostraciones de Euler
En este captulo veremos una demostracion de Euler, un poco extra na ya
que lo que haremos es calcular la serie de los inversos de los n umeros pri-
mos. Para entender mejor la demostracion tenemos que introducir/recordar
algunos conceptos.
4.1. Deniciones
Veamos las siguientes deniciones:
Funcion aritmetica: Es una funci on denida sobre los n umeros na-
turales y que va a parar a los n umeros reales o complejos.
Aditiva: Una funci on aritmetica (no nula), decimos que es aditiva, si
f(m n) = f(m) + f(n), siempre que mcd(n, m)=1.
Multiplicativa: Una funci on aritmetica (no nula), decimos que es mul-
tiplicativa si f(m n) = f(m) f(n), siempre que mcd(n, m) = 1.
Completamente aditiva: Una funci on aritmetica es completamente
aditiva si f(m n) = f(m) + f(n), n, m N.
Completamente multiplicativa: Una funcion aritmetica es comple-
tamente multiplicativa si f(m n) = f(m) f(n), n, m N.
Producto de Dirichlet: Dadas f y g funciones aritmeticas, deni-
mos su producto de dirichlet como (f g)(n) =

d|n
f(d)
_
n
d
_
=

ab=n
f(a) g(b).
19
Notemos que este producto es conmutativo.
4.2. Teorema basico sobre funciones multipli-
cativas
Vamos a ver un teorema que utilizaremos mas adelante en este captulo.
Teorema: Sean f y g dos funciones aritmeticas. Entonces,
f y f g multiplicativas g multiplicativa.
Demostracion: Vamos a probarlo por inducci on sobre el producto
m n; probaremos que, cuando mcd(m, n) = 1, se cumple g(m n) =
g(m) g(n). Si m n = 1, entonces n = m = 1. Como f y f g
son multiplicativas, se tiene que f(1) = 1 y (f g)(1) = 1. Luego
1 = (f g)(1) = f(1) g(1) = g(1). De aqu,
g(m n) = g(1) = 1 = g(m) g(n).
Sean ahora m, n con mcd(m, n) = 1 y m n > 1. Por hip otesis de
inducci on, asumamos que, para a b < m n con mcd(a, b) = 1, el
resultado es cierto (es decir, que g(a b) = g(a) g(b)). Entonces,
(f g)(m) (f g)(n) = (f g)(m n) =

a|m
b|n
f(a b) g
_
m
a

n
b
_
=

a|m
b|n
ab>1
f(a) f(b) g
_
m
a
_
g
_
n
b
_
+ g(m n)
=

a|m
b|n
f(a) f(b) g
_
m
a
_
g
_
n
b
_
g(m) g(n) + g(m n)
= (f g)(m)(f g)(n) g(m) g(n) + g(m n),
luego g(m n) = g(m) g(n), tal como se quera demostrar.
20
4.3. Funciones aritmeticas y una demostra-
ci on de Euler
Veamos algunas funciones aritmeticas con especial relevancia y que las
usaremos en nuestras demostraciones futuras.
Funcion unidad: La funci on unidad u(n) se dene como
u(n) = 1 para todo n N.
Funcion N
a
: Denimos la funci on N
a
(n) como
N
a
(n) = n
a
para todo n N.
Funcion de Mobius: La funcion de Mobius (n) se dene como
(n) =
_

_
1 si n = 1,
(1)
k
si n es una multiplicacion de k primos diferentes,
0 otro caso.
Funcion Phi: La funcion phi o Phi de Euler (n) se dene como
(n) = cardinal de m N [ m n y mcd(n, m) = 1.
Redactado con palabras, estamos diciendo que Phi de n es el n umero
de enteros, positivos menores o iguales que n, que son a su vez coprimos
con n.
Propiedades:
(p) = p 1 con p primo. Es obvio por la denici on de primo y
coprimo.
(p
k
) = (p 1) p
k1
si p es primo.
Como p es un n umero primo, el mcd(p
k
, m) ser a igual a alguno
de estos valores 1, p, p
2
, . . . , p
k
. Adem as si m es un m ultipilo de p,
entonces el mcd(p
k
, m) ,= 1, y sino es 1. Notemos que la cantidad
de esos m ultiplos de p menores o iguales que p
k
son p, 2 p, 3
p, . . . , p
k1
p = p
k
. Luego hay p
k1
n umeros que no son coprimos
con p
k
, y por tanto la cantidad de n umeros que son coprimos con
p
k
(esto es igual a su funci on ) seran
(p
k
) = p
k
p
k1
= (p 1) p
k1
.
21
Se cumple N = u, es decir,
n =

d|n
(d).
Para cada d [ n, sea A
d
= k N : 1 k n, mcd(k, n) =
d. N otese que los conjuntos A
d
son disjntos y que su union es

d|n
A
d
= 1, 2, . . . , n. Adem as,
k A
d

k
d
N, 1
k
d

n
d
, mcd
_
k
d
,
n
d
_
= 1.
As que la aplicacion
A
d
q N : 1 q n/d, mcd(q, n/d) = 1
k k/d
es biyectiva. Entonces, card(A
d
) = (n/d) y
n =

d|n
card(A
d
) =

d|n

_
n
d
_
=

d|n
(d).
La funcion (n) es multiplicativa.
Notemos que es obvio que las funciones u y N son multiplicativas.
Como N = u = u , si aplicamos el teorema visto en 4.2, se
obtiene que es multiplicativa.
Se cumple (n) = n

p|n
(1
1
p
).
Como la funci on es multiplicativa, por el teorema fundamental
de la aritmetica n = p
k
1
1
p
k
2
2
p
k
j
j
, entonces
(n) = (p
k
1
1
p
k
2
2
p
k
j
j
) = (p
k
1
1
) (p
k
2
2
) (p
k
j
j
)
=
_
1
1
p
1
_
p
k
1
1

_
1
1
p
2
_
p
k
2
2

_
1
1
p
j
_
p
k
j
j
= p
k
1
1
p
k
2
2
p
k
j
j
_
1
1
p
1
__
1
1
p
2
_

_
1
1
p
j
_
= n
_
1
1
p
1
__
1
1
p
2
_

_
1
1
p
j
_
= n

p|n
_
1
1
p
_
.
22
4.4. Identidad de Euler
Antes de ver la demostracion de Euler tenemos que probar la siguiente
propiedad.
Identidad de Euler. Sea f una funcion multiplicativa tal que la serie

n
f(n) es absolutamente convergente. Entonces,

n=1
f(n) =

p
(1 + f(p) + f(p
2
) + ). (4.1)
Y si f es completamente multiplicativa, se tiene

n=1
f(n) =

p
1
1 f(p)
. (4.2)
Demostracion: Primero veamos que de (4.1) podemos probar (4.2). Si f
es completamente multiplicativa entonces f(p
k
) = f(p)
k
y por (4.1) y usando
la serie geometrica, se tiene:
1 + f(p) + f(p
2
) + = 1 + f(p) + f(p)
2
+ =
1
1 f(p)
.
S olo nos queda por probar (4.1).
Para cada n umero real x 2, cogemos el producto
P(x) =

px
(1 + f(p) + f(p)
2
+ ), (4.3)
donde cada factor es una serie. Como

n
f(n) es absolutamente convergente,
en (4.3) podemos multiplicar y reordenar terminos con total libertad; adem as,
como f es multiplicativa, tenemos
f(p
a
1
1
) f(p
a
2
2
) f(p
a
k
k
) = f(p
a
1
1
p
a
2
2
p
a
k
k
).
Si cogemos A
x
como
A
x
= n N [ todos los factores primos de n que son x ,
podemos reescribir P(x) como P(x) =

nAx
f(n) y

n=1
f(n) P(x) =

nBx
f(n),
23
donde B
x
= N A
x
es el conjunto de los enteros positivos que tienen alg un
factor primo mayor que x. Por tanto,

n=1
f(n) P(x)

nBx
f(n)

nBx
[f(n)[

n>x
[f(n)[ .
Como, por hip otesis,

n=1
[f(n)[ es convergente, podemos asegurar que

n>x
[f(n)[ 0
cuando x . Luego P(x)

n=1
f(n) cuando x , de donde se
sigue (4.1).
4.5. Demostraci on de Euler
Esta demostraci on es mucho m as potente que el teorema buscado hay
innitos n umeros primos. Lo que dice es que la serie

p
1
p
= . Notemos
que la divergencia de la serie implica que hay innitos n umeros primos, ya
que si los n umeros primos fuesen nitos entonces la serie sera convergente.
Esta demostracion y la anterior demostracion de la identidad de Euler
han sido recogidas de [21], aunque la podemos ver en numerosos sitios como
[1], [25]. La fuente original la podemos encontrar en [5].
Teorema: La serie de los inversos de los n umeros primos es divergente,
es decir

p
1
p
= .
Demostracion: Empezaremos usando la funci on Zeta de Riemann,
(s) =

n=1
1
n
s
, s > 1,
y le aplicamos la identidad de Euler (como s > 1, la serie es convergente y
podemos aplicar la identidad de Euler)
(s) =

n=1
1
n
s
=

p
1
1
1
p
s
=

p
_
1
1
p
s
_
1
, s > 1.
24
Si tomamos logaritmos nos queda
log
_

n=1
1
n
s
_
=

p
log
_
1
1
p
s
_
, s > 1.
Por otro lado, notemos que 0 log(1 x) x + x
2
cuando 0 x 1/2;
y podemos decir que log(1 x) = x + R(x) para alguna funcion R(x) tal
que [R(x)[ x
2
cuando 0 x 1/2. Escribimos ahora
log
_

n=1
1
n
s
_
=

p
1
p
s
+

p
R
_
1
p
s
_
, (4.4)
y hacemos tender s 1; entonces el segundo sumando converge sin ning un
problema, porque

p
[R(p
s
)[

p
p
2s

m=1
m
2s
<
para todo s > 1/2. Pero

n=1
n
s
cuando s 1, ya que la serie

n=1
n
1
es divergente. As, la unica posibilidad para que (4.4) sea cierta
cuando s 1 es que

p
p
1
= .
4.6. Otra demostracion de Euler con la fun-
ci on
Esta demostraci on la podemos ver en [14]. La demostracion original [6]
fue publicada por la editorial Petropolis en una obra p ostuma.
Hay innitos n umeros primos
Demostracion: Suponemos que los n umeros primos son nitos (exacta-
mente k). Sea A el producto de todos ellos. Entonces su funcion phi de Euler
ser a
(A) =
k

i=1
(p
i
1) 2 4 > 2.
De esto tenemos que deber a existir un n umero entero a perteneciente al
intervalo [2, A], que ser a coprimo con A. Luego a ser a un nuevo primo, con
lo que hemos llegado a un absurdo.
25
Captulo 5
Tres demostraciones perdidas
Las tres demostraciones que vienen a continuaci on son demostraciones
las cuales pasaron practicamente desapercibidas hasta que fueron publicadas
por Dickson en [3].
5.1. Demostraci on de Perott
Esta demostraci on esta fechada en 1881 y la podemos ver en [3], [14],
[19], [25].
Hay innitos n umeros primos
Demostracion: Para empezar nuestra demostracion veremos que la se-
rie

n=1
(1/n
2
) es convergente y menor que dos (de hecho, la serie es muy
conocida, as como su suma
2
/6). En efecto,

n=1
1
n
2
< 1 +

n=1
1
n(n + 1)
= 1 +

n=1
_
1
n

1
n + 1
_
= 1 + 1 = 2.
Ahora suponemos que los n umeros primos son nitos p
1
, p
2
, . . . , p
r
. Sea N
un n umero tal que p
1
p
2
p
r
< N. Si denimos m < N como la cantidad
de n umeros que no pueden ser divisibles por un n umero al cuadrado, esa
cantidad es m = 2
r
, la cual coincide con todos los posibles conjuntos de
primos distintos. Si denimos ahora k < N como la cantidad de n umeros
que pueden ser divisibles por p
2
i
, esa cantidad ser a mayor o igual que N/p
2
i
,
26
para cada n umero primo p
i
. Luego en total tendremos

r
i=1
(N/p
2
i
). Y, por
tanto,
N 2
r
+
r

i=1
N
p
2
i
< 2
r
+ N
_

n=1
1
n
2
1
_
= 2
r
+ N(1 ), con > 0.
Si elegimos un N tal que N > 2
r
, entonces llegamos a contradiccion,
N 2
r
+
r

i=1
N
p
2
i
< 2
r
+N
_

n=1
1
n
2
1
_
= 2
r
+N(1) = 2
r
N+N = Na
donde a = N2
r
es siempre positiva ya que N > 2
r
. Resumiendo, tenemos
N < N a con a > 0,
lo cual es absurdo.
5.2. Demostraci on de Auric
Esta demostracion la podemos encontrar en [3], [19], [25].
Hay innitos n umeros primos
Demostracion: Suponemos que s olo existen r n umeros primos y los or-
denamos tales que p
1
< p
2
< < p
r
. Sea t un entero positivo cualquiera y
sea N = p
t
r
. Cada n umero m < N, por el teorema de la factorizacion unica
tendr a esta forma:
m = p
f
1
1
p
f
2
2
p
fr
r
, con f
i
0, para todo i r,
y con una secuencia denida unica (f
1
, f
2
, . . . , f
r
), para cada m.
Notemos que se cumple que p
f
i
1
p
f
i
i
m N = p
t
r
para i = 1, 2, . . . , r.
Si tomamos logaritmos tenemos la desigualdad f
i
tE, donde E = log p
r
/ log p
1
.
Adem as, el n umero N es, como maximo, el n umero de secuencias (f
1
, f
2
, . . . , f
r
);
y por tanto p
t
r
= N < (f
i
+ 1)
r
(t E + 1)
r
< t
r
(E + 1)
r
. Notemos que si
t , entonces t
r
(E + 1)
r
/p
t
r
0, lo que implica que cuando t es grande
entonces p
t
r
> t
r
(E + 1)
r
, con lo que ya hemos encontrado una contradic-
ci on.
27
5.3. Demostraci on de Metrod
Esta demostracion est a en [3], [14], [19].
Hay innitos n umeros primos
Demostracion: Suponemos que s olo existen r n umeros primos y los or-
denamos de la siguiente manera: p
1
< p
2
< < p
r
. Sea N = p
1
p
2
p
r
.
Sean los siguientes n umeros Q
i
= N/p
i
. Cada Q
i
ser a divisible por todos los
n umeros primos salvo por p
i
. Sea ahora el n umero s =

r
i=1
Q
i
. Notemos
que entonces no existe ning un primo que divida a S, ya que cada n umero
primo p
i
dividir a a cada sumando Q
j
a excepcion del sumando Q
i
, y como
esto ocurre con todos los sumandos y n umeros primos, signica que S es un
n umero primo, lo cual es absurdo.
28
Captulo 6
Demostraciones algebraicas
En este captulo veremos dos demostraciones que se basan en el alge-
bra. La primera hace uso de los grupos, mientras que la segunda utiliza los
dominios de Dedekind.
6.1. Teorema de Lagrange
Antes de empezar las dos demostraciones, necesitamos probar el teorema
de Lagrange y un lema adicional que nos ayudar a a demostrar dicho teorema.
Esta demostracion del teorema de Lagrange la podemos encontrar en [26].
Lema: Sea H un subgrupo de G. Entonces las clases laterales izquierdas
H tienen el mismo cardinal que H.
Demostracion: Sea H una clase lateral izquierda. Denimos la siguien-
te funcion:
f

: H H
h h.
Veamos que f

es inyectiva. Si f

(h) = f

(h

) entonces h = h

, y por tanto
h = h

. Tambien es sobreyectiva porque, para cada h H, tendremos

un elemento h H para el cual f

(h) = h. Luego f

es biyectiva y en
consecuencia [H[ = [H[.
Teorema de Lagrange: Sea G un grupo nito de orden n y sea H G
un subgrupo. Entonces, el orden de H divide al orden de G.
Demostracion: Sea K = [H[ el orden de H. Consideramos la coleccion
de todas las clases laterales de izquierdas H de H en G. Como G es nito
es claro que solo hay un n umero nito de clases laterales izquierdas; sea q el
29
n umero de clases laterales izquierdas de H en G y sean

1
H,
2
H, . . . ,
q
H,
q clases laterales. Como las clases de equivalencia de cualquier relacion de
equivalencia forman una particion del conjunto, se tiene que las clases late-
rales izquierdas H forman una partici on de G. En particular son disjuntas
por pares y su uni on es todo G. Por tanto tenemos
n = [G[ =
q

j=1
[
j
H[. (6.1)
Si aplicamos el lema anterior, todas las clases laterales
i
H tienen el mismo
cardinal que H, luego [
i
H[ = [H[. Sustituimos esto en (6.1) y tenemos
n = [G[ =
q

j=1
[
j
H[ =
q

j=1
[H[ =
q

j=1
k = kq,
y por tanto k divide a n, que era lo que queramos demostrar.
6.2. Demostraci on anonima
Esta demostracion ha sido sacada de [1] y [15].
Hay innitos n umeros primos
Demostracion: Suponemos que el conjunto de los n umeros primos es
nito, y sea p el n umero primo m as grande de todos ellos. Sea x = 2
p
1.
Claramente x tiene que ser m as grande que p, luego x no puede ser primo (si
fuera primo dara lugar a una contradicci on y ya habramos acabado).
As que x debe ser un n umero compuesto (es decir, existe alg un n umero
distinto de uno y de el mismo que lo divide). Sea q uno de sus divisores
primos. Si q divide a 2
p
1, es equivalente a decir que 2
q
es congruente con
1 modulo q, y lo reescribimos como
2
p
1 (m od q). (6.2)
Volvemos ahora a los grupos (Z

q
, ) con q primo, y recordamos que este grupo
tendr a exactamente (q 1) elementos. Pero, si observamos (6.2), vemos que
30
el orden del elemento 2 es p, pues al multiplicar 2 consigo mismo p veces se
obtiene el 1. Es m as, podemos asegurar que no existe existe ning un n umero
menor que p que cumpla la congruencia. Sea un n umero m as peque no r tal que
2
r
1 (mod q). Si operamos la clase del dos 2 consigo misma 2r, 3r, . . . , kr
veces, volveremos a la unidad, despues de repetir orbitas de exactamente r
pasos. Luego r m ultiplos nos llevarar an a la unidad. Resumiendo, tenemos
dos posibilidades:
1. El orden de 2 es p.
2. El orden de 2 es un divisor de p.
Como p es primo no tiene divisores, as que el orden de 2 debe ser p. Aplicamos
ahora el teorema de Lagrange. Nos dice que el orden de un elemento (p en
este caso) es un divisor del orden del grupo Z

q
, luego p ha de dividir a (q 1).
Pero para que esto ocurra p debe ser menor que q, y p era por hipotesis el
primo m as grande que haba. Luego acabamos de encontrar un n umero primo
mayor que p, y aqu esta nuestra contradiccion.
6.3. Demostraci on de Washington
La demostraci on de Washington la podemos ver en [19]; ademas, nos da
informaci on sobre la fuente original [22].
Antes de la demostraci on recordaremos tres proposiciones, que ser an im-
portantes para la demostraci on:
(a) En todos los conjuntos de n umeros (con grado nito), su anillo de
enteros sera un dominio de Dedekind, esto es: todo ideal no nulo es
producto de ideales primos.
(b) En todos los conjuntos de n umeros (con grado nito), hay un n umero
nito de ideales primos que dividen al n umero primo p.
(c) Un dominio de Dedekind con una cantidad nita de ideales primos es
un dominio de ideales principales. Por tanto es dominio de factorizacion
unica.
Hay innitos n umeros primos
31
Demostracion: Consideramos el conjunto de todos los n umeros con la
forma: a + b

5 [ a, b Q. Por tanto el anillo a + b

5 [ a, b Z
debera ser un DIP, por la proposicion (a). Veamos que no es DIP (para
ello veremos que no es DFU). Es facil ver que 2, 3, 1 +

5, 1

5, son
elementos irreducibles en dicho anillo. Sin embargo el anillo no es DFU ya
que
6 = 2 3 = (1 +

5) (1

5).
Como 6 no tiene una factorizaci on unica de elementos irreducibles, se tiene
que el anillo no es DFU y por tanto no es DIP, con lo cual, si vamos a la
proposici on (c), llegamos a que tiene que haber innitos ideales primos, y
por tanto (por (b)) existen innitos n umeros primos.
32
Captulo 7
Demostraciones sin catalogar
En este captulo empezaremos con una demostraci on, la cual utiliza las
transformadas de M obius y de Dirichlet. Veremos las deniciones de estas
transformadas y un lema que ser a necesario para nuestra demostraci on. Esta
primera parte incluida la demostraci on de Pollack ha sido recogida de [18].
7.1. Deniciones y lema
En el captulo de Euler hemos visto la funci on de M obius, adem as de las
funciones aritmeticas. Aqu veremos otras deniciones relacionadas:
Transformada de Mobius
Dada f una funcion aritmetica, denimos su transformada de M obius

f como

f(n) =

d|n

_
n
d
_
f(d).
Transformada de Dirichlet
Dada f una funci on aritmetica, denimos su transformada de Dirichlet

f como

f(n) =

d|n
f(d).
Decimos que estas transformadas son inversas ya que f =

f =

f.
33
Lema. Si f es una funcion aritmetica y no nula, entonces los soportes de
f y

f no pueden ser ambos nitos.
Demostracion: Procederemos por reducci on al absurdo, suponemos que
ambos soportes son nitos (f y

f). Sea
F(z) =

n=1
f(n)z
n
.
La funcion F ser a entera. Por otro lado, para [z[ < 1, tenemos
F(z) =

n=1
_
_

d|n

f(d)
_
_
z
n
=

d=1

f(d)(z
d
+ z
2d
+ z
3d
+ )
=

d=1

f(d)
z
d
1 z
d
.
(7.1)
Notemos que el intercambio del sumatorio puede hacerse porque

n=1

d|n
[

f(d)[ [z
n
[ A

n=1
n [z[
n
= A
[z[
(1 [z[)
2
< ,
con A = m ax
d=1,2,3,...
[

f(d)[.
Adem as, f no es la funcion nula ni

f. Sea D el n umero natural mas
grande para el cual se cumple

f ,= 0. Si volvemos a (7.1), vemos que F
ser a una funcion racional en el polo z = e
2i/D
, lo cual contradice que F es
una funcion entera.
7.2. Demostraci on de Pollack
Hay innitos n umeros primos
Demostracion: Suponemos que los n umeros primos son nitos. Entonces
tambien habra un n umero nito de productos de primos distintos; es decir,
tiene soporte nito. Pero =

f, donde f es una funci on que cumple f(1) = 1
y f(n) = 0 para n > 1. Luego f y

f tienen soportes nitos, pero esto es
contrario al lema que acabamos de ver, y hemos llegado a contradiccion.
34
7.3. Demostraci on de D. G. Mixon
Esta demostracion la podemos ver en [11].
Hay innitos n umeros primos
Demostracion: Suponemos que los n umeros primos son nitos y hay
exactamente N, 2 = p
1
< p
2
< < p
N
. Sea k un n umero natural que cumple
2
k
> (k + 1)
N
. Sea la funci on f : 1, 2, . . . , 2
k
0, . . . , k
N
denida como
f(x) = (k
1
, . . . , k
N
), donde x = p
k
1
1
p
k
N
N
es la factorizacion en n umeros
primos de x. Comprobemos que f est a bien denida, y para ello veamos que
que k m ax(k
1
, k
2
, . . . , k
N
).
Del hecho f(x) 0, . . . , K
N
se obtiene
k log
2
x =
N

n=1
k
n
log
2
p
n

N

n=1
k
n
m ax(k
1
, . . . , k
N
).
Adem as f es inyectiva por el teorema fundamental de la aritmetica, lo cual
contradice al principio del palomar.
35
Captulo 8
Demostraci on topol ogica
En este captulo veremos una demostraci on totalmente diferente a las
vistas anteriormente. Aunque para todos los matem aticos la topologa es
algo bastante conocido, puede sorprender que haya una prueba topol ogica
en un texto en el que la mayora son demostraciones de analisis. Creo que
vienen bien recordar algunas nociones basicas de topologa.
Estas deniciones las podemos encontrar en cualquier libro sobre topo-
loga, yo he elegido [20].
8.1. Deniciones basicas de topologa
A continuacion veamos la denici on de espacio topol ogico y dos ejemplos
que nos ayudaran a entender mejor estos conceptos.
Espacio topol ogico: Un espacio topol ogico es un par (X, ) donde X es
un conjunto y es una coleccion de subconjuntos de X, llamados abiertos,
y que satisfacen los siguientes axiomas:
El conjunto vaco y el total X est an en :
, X .
Toda uni on de subconjuntos de est an en :
(i I, X
i
)
_
iI
X
i
.
36
La interseccion de cualquier n umero nito de subconjuntos de est a en :
(i I con I nito, X
i
)

iI
X
i
.
As mismo, recordemos la siguientes deniciones (es facil comprobar que
son equivalentes):
Subconjunto cerrado: Decimos que un subconjunto es cerrado, si su
complentario es abierto.
Base de abiertos: Sea el espacio topol ogico (X, ) y B una coleccion
de subconjuntos de X. Diremos que B es una base de abiertos si verica
que todo abierto de la topologa puede expresarse como una uni on
de elementos de B.
Denici on alternativa para base de abiertos: Decimos que B es
una base de la topologa si, para todo punto p contenido en un abierto
U, existe un elemento b B tal que p b U.
Continuaremos con dos sencillos ejemplos que nos ayudaran a entender
que es una topologa:
X = 0, 1 y = , 0 , 0, 1. Es f acil ver que (X, ) es un espacio
topologico. Notemos que , X, 0 ser an los subconjuntos abiertos, y
, X, 1 ser an los subconjuntos cerrados.
X = Z y = , Z, 2Z. Aqu los subconjuntos abiertos son , Z, 2Z.
Y los subconjuntos cerrados ser an: , Z, A donde A = 1 + 2k [ k
Z.
8.2. Demostraci on de F urstenberg
Esta demostraci on la podemos encontrar en m ultiples lugares como [1],
[13], [14], [19]. La demostracion original se puede ver en [7].
Hay innitos n umeros primos
37
Demostracion: Denimos una topologa en el conjunto de los enteros
Z, llamado espacio topol ogico entero, a partir de una base de abiertos. Los
elementos de la base de abiertos son las sucesiones aritmeticas S(a, b) dadas
por
S(a, b) = an + b [ n Z = aZ + b
(n otese que, por denicion de base de abiertos, la union de dichos abiertos
tambien sera un abierto).
Si aplicamos la denici on alternativa de base de abiertos, tenemos que
U es abierto si y solo si es el vaco o cada x U admite alg un entero a
distinto de cero tal que S(a, x) U. Veamos que esto es una topologa, es
decir, que efectivamente cumple los axiomas:
Axioma 1: El es abierto y Z es igual a la sucesion S(1, 0), luego
tambien es abierto.
Axioma 2: Cualquier uni on de abiertos es abierto. Dado un n umero
x para cada subconjunto abierto U
i
, existir a un n umero a
i
tal que
S(a
i
, x) U
i
, por tanto

iI
S(a
i
, x)

iI
U
i
.
Axioma 3: La interseci on de dos abiertos (y as un n umero nito de
ellos) es abierto. Sean U
1
y U
2
subconjuntos abiertos. Sea x U
1

U
2
(con los n umeros a
1
y a
2
respectivamente). Cogemos a como el mnimo
cum un m ultiplo de a
1
y a
2
, entonces tenemos que S(a, x) S(a
i
, x)
U
i
S(a, x) U
1

U
2
.
Esta topologa tiene dos propiedades:
(a) Ning un abierto (menos el vaco) puede ser un conjunto nito. Esto
se debe a que S(a, b), con a ,= 0, siempre ser a una sucesi on innita.
Adem as se tiene que el complementario de un conjunto nito no puede
ser cerrado.
(b) Los subconjuntos S(a, b) son abiertos (por denici on) y cerrados. Esto
es as porque podemos escribir S(a, b) como el complementario de una
uni on de subconjuntos abiertos,
S(a, b) = Z
a1
_
j=1
S(a, b + j).
38
Notemos que los unicos n umeros que no son m ultiplos de n umeros primos
son 1 y +1. Es decir
Z 1, +1 =
_
p primo
S(p, 0). (8.1)
Por la propiedad (a),

p primo
S(p, 0) no puede ser cerrado ya que su com-
plementario es un conjunto nito. Por otro, lado seg un la propiedad (b),
los subconjuntos S(p, 0) son cerrados. As, si hubiera una cantidad nita de
n umeros primos, en (8.1) tendramos una union nita de subconjuntos ce-
rrados, y esa union sera cerrada. Luego

p primo
S(p, 0) es cerrado, lo cual
acabamos de ver que es absurdo por (a).
39
Captulo 9
Demostraci on de Whang
Esta demostracion es bastante moderna (2010). Antes necesitamos probar
la identidad de Legendre. La demostracion de la identidad de Legendre ha
sido sacada de [21], mientras que la demostraci on de Whang ha sido extrada
de [23].
9.1. La identidad de Legendre
Identidad de Legendre: Para todo n entero positivo, se tiene
n! =

pn
p
(n,p)
,
con
(n, p) =

m=1
_
n
p
m
_
=

m
log(n)
log(p)
_
n
p
m
_
.
Demostracion: Es obvio que n! tiene esta forma: n! =

pn
p
(n,p)
; luego
lo unico que tenemos que hacer es identicar a los exponentes (n, p). Note-
mos que n/p
m
| = 0, cuando p
m
> n, es decir, cuando m > log(n)/ log(p).
Como n! = 1 2 n, cada divisor primo p de n! (l ogicamente debe ser
p n) tendra un exponente que se calculara as:
Cada factor de la forma k p, con 1 k n/p| para que kp n, nos
dar a un factor p.
40
Cada kp
2
, con 1 k n/p
2
|, nos proporcionar a otro factor p, adem as
del que ya tenamos.
Cada kp
3
, con 1 k n/p
3
|, nos dara otro m as, adem as de los
anteriores.
Y as sucesivamente llegamos a que en total son

m=1
n/p
m
|.
9.2. Demostraci on de Whang
Hay innitos n umeros primos
Demostracion: Sea k un n umero entero positivo. Por la identidad de
Legendre tenemos
k! =

pk
p
(k,p)
,
con
(k, p) =

m=1
_
k
p
m
_
.
Adem as,
(k, p) =

m=1
_
k
p
m
_
<

m=1
k
p
m
=
k
p 1
< k.
Notemos que si los n umeros primos son nitos, entonces
lm
k
(

p
p)
k
k!
= 0,
lo cual es imposible, ya que si usamos la identidad de Legendre tenemos
lm
k
(

p
p)
k
k!
= lm
k
(

p
p)
k

p
p
(k,p)
= lm
k

p
p
k

p
p
(k,p)
= lm
k

p
p
k(k,p)
,
y ese lmite no puede ser 0 debido a la desigualdad (k, p) < k. Por tanto
hemos encontrado una contradiccion.
41
Captulo 10
Dos demostraciones con acento
latino
Para nalizar, vamos a ver un par de demostraciones hechas por el pro-
fesor argentino J.P. Pinasco. Fueron publicadas en The American Mathema-
tical Monthly en 2009. Mas concretamente las podemos encontrar en [16] o
tambien directamente a traves de su p agina web [17].
10.1. Primera demostraci on de Pinasco
Hay innitos n umeros primos
Demostracion: Suponemos que los n umeros primos son nitos y estan
ordenados de la siguiente forma p
1
< p
2
< < p
N
. Denimos la siguiente
sucesi on de n umeros por recurrencia:
a
0
= 0, a
k+1
= a
k
+
1 a
k
p
k+1
.
Notemos que para el termino N la recurrencia dar a:
a
N
=

i
1
p
i

i<j
1
p
i
p
j
+

i<j<k
1
p
i
p
j
p
k
+ (1)
N+1
1
p
1
p
N
.
Adem as a
N
puede escribirse como
a
N
= 1
N

i=1
_
1
1
p
i
_
.
42
Y esto implica que 0 < a
N
< 1.
Para cualquier x 1, sea A
i
, con i = 1, 2, . . . , N, el conjunto de los enteros
[1, x] que son divisibles por p
i
. Por tanto, el n umero de enteros positivos en
[1, x] se obtiene usando el principio de inclusion-exclusi on, para encontrar la
cardinalidad de

N
i1
A
i
:
x| = 1+

i
_
x
p
i
_

i<j
_
x
p
i
p
j
_
+

i<j<k
_
x
p
i
p
j
p
k
_
+(1)
N+1
_
x
p
1
p
2
p
N
_
.
Notemos que
lm
x
x
1
_
x
t
_
=
1
t
.
Ahora, si multiplicamos la expresi on de x| por x
1
y hacemos tender x ,
encontraremos una contradicci on,
1 > a
N
=

i
1
p
i

i<j
1
p
i
p
j
+

i<j<k
1
p
i
p
j
p
k
+ (1)
N+1
1
p
1
p
N
= 1.
10.2. El dos por uno de Pinasco
Hemos visto, en la demostraci on de Euler, que otra forma de probar que
los n umeros primos son innitos es demostrar que la serie

i=1
(1/p
i
) diverge.
Eso es lo que haremos en este caso.
Teorema: La serie de los inversos de los n umeros primos es divergente,
es decir,

p
1
p
= .
Demostracion: A partir de lo visto en la secci on 10.1, notar que la
densidad asint otica D(p
1
, . . . , p
N
) del conjunto de los enteros que no son
divisibles por ninguno de los primos p
1
, . . . , p
N
es, exactamente,
D(p
1
, . . . , p
N
) = a
N
=

i
1
p
i

i<j
1
p
i
p
j
+

i<j<k
1
p
i
p
j
p
k
+ (1)
N+1
1
p
1
p
N
.
43
Esto es equivalente a
1 a
N
= D(p
1
, . . . , p
N
) =
N

j=1
_
1
1
p
i
_
.
Ahora cogemos D como D = lm
N
D(p
1
, . . . , p
N
) y tomamos logaritmos,
log
_
lm
N
D(p
1
, . . . , p
N
)
_
=

p
log
_
1
1
p
_
.
La serie

p
1
p
convergera si D > 0, y ser a divergente si D = 0. Luego

p
(1/p)
converge si y s olo si

p
log
_
1
1
p
_
converge.
Queremos ver que D = 0.
Sea 0 < < D y elegimos N sucientemente grande para que <
D(p
1
, . . . , p
N
) y

p>p
N
1
p
< . De este modo, la densidad asint otica de los
enteros que no son divisibles por ninguno de los primos p
1
, . . . , p
N
, estara aco-
tada inferiormente por . Sin embargo, esos enteros deben ser divisibles por
alg un primo p > p
N
, por lo que su densidad deber a estar acotada superior-
mente por

p>p
N
1
p
, que es menor que . Luego obtenemos
< D(p
1
, . . . , p
N
) <

p>p
N
1
p
< ,
lo cual es absurdo, y por tanto D = 0 y la serie diverge.
44
Conclusiones
En este documento nos hemos encontrado con una recopilacion de de-
mostraciones sobre la innitud de los n umeros primos, como su propio ttulo
indicaba. En primer lugar hemos visto una introduccion algebraica, en la cual
hemos denido que es un n umero primo. Despues comienza la recopilaci on
con la demostraci on de Euclides, que es la primera demostraci on conocida,
adem as de otras demostraciones parecidas a la suya como las de Hermite,
Kummer y Stieltjes. En general hemos podido ver m as de 20 demostraciones
que hemos agrupado bien por autor, como las de Euler y Pinasco (captulos 4
y 10), bien por el tipo de demostracion, como las de Goldbach, Fibonacci,
Harris, Washington (captulos 3 y 6). Otras demostraciones fueron lo sucien-
temente importantes y/o extensas para tener su propio captulo, como las de
F urstenberg y Whang (captulos 8 y 9). Tambien pudimos ver otras demos-
traciones difcilmente catalogables, como las Perott, Auric, Metrod, Pollack
y Mixon (captulos 5 y 7). Por ultimo hemos incluido las referencias que han
sido utilizadas para la realizaci on de este proyecto. Adem as, a lo largo de la
memoria hemos rese nado numerosas referencias a las fuentes originales.
45
Bibliografa
[1] M. Aigner y G. M. Ziegler, Proofs from THE BOOK, 4
a
edici on,
Springer (2010).
[2] H. Brocard y C. Hermite, Intermediaire des Mathematiciens 22,
p agina 253 (1915).
[3] L. E. Dickson, History of the Theory of Numbers, Publicado por Car-
negie Institution of Washington (1919).
[4] Euclides, Los Elementos. Traduccion y anotaciones de M. L. Puertas,
Madrid, Editorial Gredos (1994).
[5] L. Euler, Introductio in Analysin Innitorum, Tomo Primus, Lausan-
ne, Opera Omnia, Ser. 1, Vol. 8 (1748).
[6] L. Euler, Tractatus de numerorum doctrina, Commentationes Arith-
meticae Collectae, II, Petropoli, p aginas 504575 (1849).
[7] H. F urstenberg, On the innitude of primes, American Mathemati-
cal Monthly 62, pagina 353 (1955).
[8] C. Goldbach, Carta de Goldbach a Euler, fechada el 20 de julio de
1730.
[9] G. H. Harris, Another proof of the innitude of primes, American
Mathematical Monthly 63, 711 (1956).
[10] A. I. Kostrikin, Introduccion al algebra. Traduccion de Roberto A.
Sala, revision tecnica de Lorenzo Abellanas Rapun, 2
a
edici on, Madrid,
McGraw-Hill (1992).
46
[11] D. G. Mixon, Another proof of the innitude of the primes, American
Mathematical Monthly 119, pagina 811 (2012).
[12] M. A. Morales, Gaussianos, http://gaussianos.com/
la-infinitud-de-los-numeros-primos-y-fermat/ (29-08-2006).
[13] M. A. Morales, Gaussianos, http://gaussianos.com/
demostracion-topologica-de-la-infinitud-de-los-numeros-primos/
(06-10-2008).
[14] W. Narkiewicz, The devolepment of prime number theory, Springer
(2000).
[15] T. Petros, Historias matematicas, http://tiopetrus.blogia.com/
temas/matematicas.php (05-09-2006).
[16] J. P. Pinasco, New proof of Euclids and Eulers theorems, American
Mathematical Monthly 116, paginas 172174 (2009).
[17] J. P. Pinasco, New proof of Euclids and Eulers Theorems, http:
//mate.dm.uba.ar/
~
jpinasco/pub/jpp-amm.pdf (2009).
[18] P. Pollack, The Mobius transform and the innitude of primes, Eu-
ropean Mathematical Society, Vol. 66, 3
a
edici on, p aginas 118
120, http://www.ems-ph.org/journals/show_abstract.php?issn=
0013-6018&vol=66&iss=3&rank=3 (2011).
[19] P. Ribenboim, The little book of bigger primes, Springer, 2
a
edici on
(2004).
[20] P. L. Shick, Topology point-set and geometric, Wiley-Interscience
(2007).
[21] J. L. Varona, Recorridos por la teora de n umeros (ttulo provi-
sional), versi on preliminar en http://www.unirioja.es/cu/jvarona/
libroTN.html (06-03-2013).
[22] L. C. Washington, The innitude of primes via commutative algebras,
manuscrito sin publicar (1980). Citado en [19].
[23] J. P. Whang, Another proof of the innitude of the prime numbers,
American Mathematical Monthly 117, pagina 181 (2010).
47
[24] Wikipedia, Euclids theorem, http://en.wikipedia.org/wiki/
Euclids_theorem (26-02-2013).
[25] T. Yamada, Proofs of the innitude of primes, http://www11.ocn.
ne.jp/
~
tyamada/math/index.html (01-12-2010).
[26] F. Zaldvar, Introduccion a la teora de grupos, Sociedad Matematica
Mexicana (2006).
48