Académique Documents
Professionnel Documents
Culture Documents
Oscar Fernández Sánchez, José Rodrigo González Granada, Carlos Mario Escobar Callejas
Departamento de Matemáticas, Universidad Tecnológica de Pereira, Pereira, Colombia
oscarf@utp.edu.co
jorodryy@utp.edu.co
ccescobar@utp.edu.co
∑
converge y tiene suma . Demostración en (Apostol,
Teorema 1: Si x es complejo con |x| < 1, la serie geométrica
Resumen—En este articulo se muestran principalmente, la
contribución de Leonhard Euler al surgimiento de la función
ζ(x), y las primeras relaciones entre esta y los números
primos. 1972, p. 475).
Palabras clave: Números primos, serie numérica, función zeta. Teorema 2 (Proposición VII. 32): Cualquier número entero n>1
o es primo o es producto de números primos. Demostración en
Abstract— this paper shows mainly, Leonhard Euler's (Euclides, 1956, p. 333).
contribution to the emergence of the function ζ (x), and the
first relationships between this and the prime numbers. Teorema 3 (Proposición VII. 20): Existe una infinidad de
números primos.
Key Word: Prime numbers, numerical series, zeta function.
Demostración: (Euclides, 1956, p. 413) Supóngase que solo
I. INTRODUCCIÓN
,
, … ,
. Ahora, considérese el producto
…
y
existe un número finito de números primos, sean estos
,
, … ,
. Porque si esto es así, p dividiría al producto
Definición: Un entero n se llama primo si n>1 y si los Ahora este p no puede ser ninguno de los números primos
…
. Y, puesto que p divide a (
…
+ 1), también
únicos divisores positivos de n son 1 y n. Si n>1 no es
primo, entonces n se llama compuesto (Apostol, 1980, p.
19). divide a la diferencia, es decir, a 1, lo cual es imposible.
Ahora la metáfora con la cual se nombró a los números De esto se deduce que se ha obtenido un nuevo número primo, y
primos: El nombre de número primo (πρώτος αριθµός) o el proceso puede ser extendido tanto como se quiera.
primer número fue dado por el matemático de la Grecia
Antigua, Nicómaco, porque sólo puede determinarse Esta es la demostración clásica que se muestra en un curso
colocando juntas un cierto número de unidades, y la unidad introductorio de Teoría de Números, donde se recalca la belleza
es el comienzo del número. También de acuerdo con de su simplicidad. Sin embargo, no es la única demostración en
Jámblico, otro matemático de la Grecia Antigua, porque este sentido; posterior a Euclides (330 a. C. – 275 a. C.),
no hay otro número menor que este, que sea una colección matemáticos de la talla de Leonhard Euler (1707-1783) han
de unidades, del cual éste sea múltiplo, y porque es el demostrado la infinitud del conjunto de los números primos
primero de los números de una base para otros números usando caminos diferentes, aunque no tan simples, pero con una
que son múltiplos de este (Euclides, 1956, p. 285). belleza propia, si se aprecia su genialidad.
II. EULER Y LOS NÚMEROS PRIMOS define para todo valor real x>1 la función zeta, la cual se denota
como ζ(x) (Courant y Robbins, 2002, p. 525), es decir,
1
2.1 Euler y la infinitud de los números primos
el hecho que 0 < < 1 y < 1. Así para un número real
Para esto, considérese un número primo p, el cual satisface
1 1
ζ(() = = - . /
x, con x>1, se cumple que 0 < < 1 y por tanto, en virtud % 1
1−
del teorema 1, se tiene que
& 01234
1 1
=
La expresión en el lado derecho de esta igualdad es uno de los
1 − 1
llamados productos de Euler (Apostol, 1980, p. 286). Euler
utilizó esta identidad para demostrar la infinitud del conjunto de
los números primos.
Ahora, puesto que p es un número primo arbitrario, en Para ver como lo hizo, antes es necesario considerar otro
realidad se está considerando todo el conjunto de los problema. Y es el de demostrar que la serie
números primos. De esta igualdad se tiene que
1
1 1 1
… = %
1 1 1 &
1 − 2 1 − 3 1 − 5
1 1 1
2 3 5
precisamente el valor de la función zeta en x = 1, es decir,
1
ζ(1) = ,
Al efectuar el producto de las series al remplazar a p por %
cada número primo, se obtiene &
1 1 1
1 + + + + + +⋯
1 1 1 1 1 1 1 1
2 3 2 5 (2.3)
=1+5 6+5 + 6+5 + + + 6+⋯
+ 2 3 4 5 6 7 8
Si se observa, los denominadores de los términos de la
serie, al lado derecho de la igualdad, son todos los números
Y los compara con los términos de la siguiente suma
enteros mayores que 1, donde todos aquellos que no son
1 1 1 1 1 1 1
1+5 6+5 + 6+5 + + + 6+⋯
primos están expresados como producto de potencias de
2 4 4 8 8 8 8
números primos. Así, en virtud del Teorema Fundamental
1 1 1
= 1 + + + + ⋯
de la Aritmética, cada número entero mayor que 1 se puede
2 2 2
representar de forma única como un producto de números
1
= 1 +
primos (Apostol, 1980, p. 20), esta serie se puede escribir
2
como
1 1 1 1 1 1
1 + + + + + +⋯=
2 3 2 5 (2.3) % Es claro que comparando los términos agrupados desde el
& tercero se da una desigualdad y por consiguiente,
La serie del lado derecho de esta última igualdad es una
serie convergente para cualquier valor de x mayor que 1, y
Scientia et Technica Año XVII, No 52, Diciembre de 2012. Universidad Tecnológica de Pereira. 118
1
1
1 1 1 1
> 1+ −;+ 51 − 6 = 5 + + D + ⋯6
+ 2
2
3
1 1 1 1 1
= + 5 + + +⋯6
2 3
4
Y así, dado que la serie del lado derecho diverge, la serie
armónica diverge (Courant y Robbins, 2002, p. 525).
1 1 1 1
< + 51 + + + ⋯ 6
Ahora, retomando la función zeta igualada al producto de
Euler, se muestra como procedió para mostrar la infinitud
de los números primos usando a ζ(1).
Remplazando la suma de la serie geométrica de los términos que
Demostración de Euler de que hay infinitos números aparecen entre paréntesis en el segundo término del lado derecho
primos: de la desigualdad, se tiene que
1−1
1 1
= -. /
% 1 1 1
1−
= +
&
(
− 1)
1
=
Se tiene
−1
1 1
;+ = ;+ .- /
% 1
1 −
&
Se ha llegado a
1 1
Aplicando la propiedad ;+(<. =) = ;+(<) + ;+(=), se > ;+
−1 %
&
obtiene
1 1 1
> > ;+
se tiene que
−1 %
&
1 1
;+ . / = −;+ 51 − 6
1
1−
Y por la divergencia de la serie armónica, la serie de recíprocos
de números primos diverge, lo que implica la existencia de una
El caso x = 2, es decir
119 Scientia et Technica Año XVII, No 52, Diciembre de 2012. Universidad Tecnológica de Pereira.
1
ζ(2) =
Se tiene que C = 1. Por tanto la igualdad queda:
%
& ( (S (T ( (
1− + − + ⋯ = Q1 − R Q1 − R …
3! 5! 7! N 4N
fue un problema propuesto por vez primera en 1644 por el
matemático Pietro Mengoli, y popularizado entre la
comunidad matemática de la época por el matemático Y por igualdad de polinomios. En consecuencia los términos de
( ( ( (
demostración y dado que él y Bernoulli residían en Basilea,
− = − − − −⋯
3! N 4N 9N
ciudad suiza ubicada en la frontera con Francia y
Alemania, a este problema se le conoce como el “problema
N 1 1 1
demostración. Del Cálculo elemental se sabe que la función
= 1+ + + + ⋯
f(x) = Sen(x) se puede expresar como una suma infinita así
3! 4 9 16
(Apostol, 1976, p. 534):
(D (K (L
HI+(() = ( − + − …
3! 5! 7!
Y se obtiene
1 N
(D (K (L
(− + − …
3! 5! 7! 2.3 Otra demostración de la convergencia de F(G)
= P((( − N)(( + N)(( − 2N)((
+ 2N) … Esta demostración esta sugerida en (Edwards y Penney, 1996, p.
= P((( − N )(( − 4N ) …
638). Y se trabaja en cursos de cálculo elemental.
<C)[I+(() N
_`
Z ]( = Z ^]^ = (1)
Dado que ( − (MN) = 0, los factores se pueden escribir X √1 − ( X 8
(D
( ( K
(
L
(
N
b c
, entonces si x =
(− + − … = P( Q1 − R Q1 − R … 0, u = 0 y si x = 1, ^ = `2.
3! 5! 7! N 4N
Ahora se muestra que
( d 2 ∙ 4 ∙ 6 ⋯ (2+)
Se divide entre x a cada lado de esta igualdad y se obtiene:
( ( ( ( ( Z ]( =
1 ∙ 3 ∙ 5 ⋯ (2+ + 1)
S T
1 − + − + ⋯ = P Q1 − R Q1 − R … X √1 − (
3! 5! 7! N 4N
Para esto se considera la serie binomial
g(g − 1)(g − 2) ⋯ (g − + + 1)
Ahora puesto que
(1 + () = 1 +
f
(
HI+(() +!
lim =1
(
→X
Scientia et Technica Año XVII, No 52, Diciembre de 2012. Universidad Tecnológica de Pereira. 120
1 ∙ 3 ∙ 5 ⋯ (2+ − 1)
( d 2 ∙ 4 ∙ 6 ⋯ (2+)
+ ( +⋯ Z ]( = (4)
2 +! X √1 − ( 1 ∙ 3 ∙ 5 ⋯ (2+ + 1)
√1 − (
1
<C)[I+(() = Z ]n
1 ∙ 3 ∙ 5 ⋯ (2+ − 1)
√1 − n
= 1+ ( (2) X
2 ∙ 4 ∙ 6 ⋯ (2+) 1 ∙ 3 ∙ 5 ⋯ (2+ − 1) ( d
=(+
2 ∙ 4 ∙ 6 ⋯ (2+) (2+ + 1)
Dado que 2 +! = 2 ∙ 4 ∙ 6 ⋯ (2+). Es fácil verificar esto
último:
entre √1 − ( para luego integrar a ambos lados de x = 0 a x =
Ahora se dividen el primero y último lados de esta igualdad
Demostración: Para n = 2, se tiene que 2 2! = 2 ∙ 4.
1.
<C)[I+(()
(
esto es, que 2k M! = 2 ∙ 4 ∙ 6 ⋯ (2M) y se verifica para el Z ]( = Z ](
Se supone que la igualdad se cumple para el caso n = k,
X √1 − ( √1 − (
X
1 ∙ 3 ⋯ (2+ − 1) ( d
2(kd) (M + 1)! = 2k M! 2(M + 1)
caso n = k+1, esto es:
= 2 ∙ 4 ∙ 6 ⋯ (2M)[2(M + 1)] + Z ](
2 ∙ 4 ⋯ (2+)(2+ + 1) X √1 − (
<C)[I+(() 1 ∙ 3 ⋯ (2+ − 1)
1 1 ∙ 3 ∙ 5 ⋯ (2+ − 1)
Z ]( = 1 +
=1+ n (3) √1 − ( 2 ∙ 4 ⋯ (2+)(2+ + 1)
√1 − n 2 ∙ 4 ∙ 6 ⋯ (2+) X
2 ∙ 4 ⋯ (2+)
∙
1 ∙ 3 ⋯ (2+ + 1)
Con |n | < 1. Ahora puesto que [<C)[I+(n)] =
a
ao bo c
, se
tiene que: Al simplificar queda:
1
<C)[I+(()
1
<C)[I+(() = Z ]n Z ]( = 1 + (5)
X √1 − n X √1 − ( (2+ + 1)
1 ∙ 3 ∙ 5 ⋯ (2+ − 1) ( d
=(+
2 ∙ 4 ∙ 6 ⋯ (2+) (2+ + 1)
Ya esta todo para el resultado esperado. Por (1) y (5) se tiene:
1 1 1
1 N 1 1
Volviendo a la integral
= +
( d + 8 4 +
Z ](
X √1 − (
121 Scientia et Technica Año XVII, No 52, Diciembre de 2012. Universidad Tecnológica de Pereira.
1 1 N
(1 − ) =
4 + 8
[6]. Euclides (1956). The thirteen books of the Elements.
Trad. Sir Thomas L. Heath. V. 2 (Books III-IX). New
1 N
York: Dover.
=
+ 6 [7]. Kostrikin, A. (1992). Introducción al Álgebra. Segunda
Edición. Trad. Roberto A. Sala. Madrid: McGraw-Hill.
Y esto termina la demostración.
III. CONCLUSIÓN
REFERENCIAS