Riemann y Los Numeros Primos

Historias de Matemticas
Riemann y los Nmeros Primos

Jos Manuel Snchez Muoz
Revista de Investigacin
G.I.E
Pensamient
Matemtic
ISSN 2174-0410
1 de octubre de 2011
Resumen
En el mes de noviembre de 1859, durante la presentacin mensual de los
informes de la Academia de Berln, el alemn Bernhard Riemann present
un trabajo que cambiara los designios futuros de la ciencia matemtica. El
tema central de su informe se centraba en los nmeros primos, presentan-
do el que hoy da, una vez demostrada la Conjetura de Poincar, puede ser
considerado el problema matemtico abierto ms importante. El presente
artculo muestra en su tercera seccin una traduccin al castellano de dicho
trabajo.
Palabras Clave: Funcin Zeta, Nmeros Primos, Hiptesis de Riemann.
1. Introduccin
Georg Friedrich Bernhard
Riemann
Demostrar la Hiptesis de Riemann signicara un
cambio profundo en la forma de entender la realidad que
nos rodea. Por ello, no es extrao que sea considerado co-
mo el problema matemtico abierto ms importante en la
actualidad. Pero su reputacin ha sufrido el mismo pro-
ceso que experimentan los buenos vinos, mejorando con
el tiempo, asentndose, a la espera de que la mente pri-
vilegiada de un genio pueda arrojar algo de luz sobre el
halo de misterio que lo envuelve. Desde que en noviem-
bre de 1859, el alemn Bernard Riemann publicara en la
Academia de Berln Sobre La Cifra de Nmeros Primos me-
nores que una Cantidad Dada, muchos matemticos han intentado, hasta ahora
sin xito, demostrar el santo grial de las matemticas. Pero, qu esconde esta
hiptesis?, cul es el motivo de su fama?, qu conceptos matemticos oculta?.
1
Historias de Matemticas - Riemann y los Nmeros Primos Jos Manuel Snchez Muoz
Sin lugar a duda el misterio existente en torno a los nmeros primos alimenta
la sed de respuestas.
David Hilbert
En el ao 1900, el alemn David Hilbert pronunci
una conferencia durante la celebracin del Congreso In-
ternacional de Matemticos en Pars. Esta intervencin
guiara en cierto modo el devenir futuro de las matem-
ticas. En ella Hilbert enunci, lo que desde su punto de
vista deban ser considerados los 23 problemas matem-
ticos an no resueltos ms importantes del momento, y
en los que la comunidad matemtica debera volcar to-
dos sus esfuerzos, de ah su famosa frase Debemos saber,
y sabremos. El problema nmero 8 trataba precisamente
la Hiptesis de Riemann, enunciada de tres modos diferentes:
HR.1: La funcin Li(x) de Gauss est a distancia raz cuadrada de (x).
HR.2: Las funciones Li(x) de Gauss y R(x) de Riemann estn a una
distancia de orden raz cuadrada de (x).
HR.3: Todos los ceros no triviales de la funcin zeta de Riemann, denida
como continuacin analtica de la forma
(s) =
n=1
1
n
s
, Re(s) > 1
estn en la franja crtica vertical, formada por los nmeros complejos s
tales que Re(s) =
1
2
, esto es, en mitad de la franja crtica.
La Hiptesis de Riemann est relacionada genticamente con los nme-
ros primos, que son los tomos de las matemticas. Su demostracin podra
cambiar la forma de hacer negocios hoy en da, pues los nmeros primos son
el eje central de la seguridad en la banca y el comercio electrnico. Supon-
dra tambin que habra una profundo impacto en la vanguardia de la ciencia,
que afectara a la mecnica cuntica, la teora del caos, y el futuro de la compu-
tacin. Por ello, el mismo Instituto Matemtico Clay de la Universidad de Cam-
bridge en Massachussets, anunci durante el Congreso Internacional de Pars
el 24 de mayo de 2000, en conmemoracin del centenario de la conferencia de
David Hilbert, que premiara con un milln de dlares a quien lograra demos-
trar cualquiera de los 7 problemas matemticos abiertos del momento, deno-
minados comnmente del milenio
1
, del que la Hiptesis de Riemann formaba
1
Estos problemas, reducidos actualmente a 6 una vez que la Conjetura de Poincar, un problema
de topologa geomtrica, fue demostrada en noviembre de 2002 por el ruso Grigori Perelman, son
los siguientes:
1. P versus NP. Formulado por Stephen Cook en 1971; puede ser el problema central de las
Ciencias de la computacin y de especial importancia para los sistemas criptogrcos uti-
lizados en la actualidad. Consiste en demostrar que en determinados problemas es mucho
ms difcil encontrar una solucin que comprobar si una solucin es correcta.
2. La Conjetura de Hodge. Relacionada con la investigacin de las formas de objetos compli-
cados mediante la aproximacin a partir de combinaciones de bloques geomtricos ms
Revista Pensamiento Matemtico- Nmero 1 - Oct11
ISSN 2174-0410
2
parte. Como ancdota para resaltar la importancia de la Hiptesis de Riemann,
cabe comentar que en una ocasin en 1943, poco antes de morir, un periodista
le pregunt a David Hilbert cul sera su primera pregunta si pudieran resuci-
tarle 500 aos despus de su muerte, a lo que ste respondi sin titubeos: Ha
demostrado alguien la Hiptesis de Riemann?.
2. Una retrospectiva hasta Riemann de los Nmeros
Primos
2.1. Grecia
Euclides de Alejandra
2
Los primeros intentos de descifrar los misterios de los
nmeros primos surgieron en la antigua Grecia. Ellos fue-
ron los que establecieron los principios matemticos sobre
los que se ha trabajado desde entonces. Los pitagricos se
encargaron de profundizar en los conceptos fundamenta-
les de la aritmtica, otorgndole a los nmeros un carc-
ter casi mstico. Fueron ellos quienes comenzaron a mul-
tiplicar y operar con los nmeros, dndose cuenta de que
existan algunos de ellos que eran imposibles de reducir.
Como ancdota cabe destacar que los nmeros primos pi-
tagricos son aquellos que se pueden expresar de la forma
4n + 1, es decir, aquellos nmeros cuyo resto al dividirlos
por 4 es 1. Fue entonces cuando las academias y bibliotecas
comenzaron a mostrar un ferviente inters por contar con
tablas de registro de los nmeros primos cada vez ms y ms extensas. Pero,
era esta lista de nmeros primos nita?
Fue en los Elementos de Euclides (en torno al ao 300 a.C.) donde encon-
tramos el primer salto cualitativo en lo que a los nmeros primos se reere.
Euclides demostr que la cantidad de nmeros primos era innita, y lo hizo
simples de dimensin creciente.
3. La Hiptesis de Riemann. Considerada como la pregunta abierta ms importante en las mate-
mticas y que trata sobre los nmeros primos, cuyo estudio ha atrado a numerosos mate-
mticos: Euclides, Gauss, Riemann, Chebyshev, etc. En particular se reere a la distribucin
de los nmeros primos en la serie de nmeros naturales, que est muy relacionada con el
comportamiento de la llamada funcin zeta de Riemann.
4. El problema de Yang-Mils. Est planteado como un problema matemtico y se reere al estu-
dio de las ecuaciones de Yang-Mills, fundamentales en la unicacin de la electrodinmica
cuntica con la teora electrodbil.
5. El problema de Navier-Stokes. El estudio de la existencia de soluciones para las ecuaciones b-
sicas del movimiento de los uidos incompresibles: las Ecuaciones de Navier-Stokes (Na-
vier 1822 y Stokes 1842).
6. La Conjetura de Birch y Swinnerton-Dyer. Conduce al estudio del carcter innito o nito del
nmero de soluciones racionales de una curva algebraica elptica o de gnero 1.
2
Retrato fechado en 1474 del pintor Justus van Ghent (1430-1480) que se encuentra actualmente
en el Palacio Ducal de Urbino en la Galera Nacional de Las Marcas. En la Edad Media, Euclides
de Alejandra era confundido errneamente con Euclides de Megara, discpulo de Scrates, de ah
que en la inscripcin al pie aparezca este nombre.
ISSN 2174-0410
3
mediante un mtodo ingenioso del razonamiento lgico, la reduccin al absur-
do. Para ello consider como hiptesis de partida que existe un conjunto nito
de nmeros primos que denotaremos como C = {p
1
, p
2
, . . . , p
n
}. En este pun-
to Euclides realiza el paso clave para su demostracin. Si ahora consideramos
el nmero formado por el producto de todos estos nmeros primos p
i
, todos
ellos mayores que 1, y le sumamos 1, tendremos:
N = p
1
p
2
p
n
+ 1
Por lo tanto N es mayor que cualquier de los nmeros primos p
i
, por lo tanto
no pertenece al conjunto C, y por el Teorema Fundamental de la aritmtica (que
aparece en el Libro IX de los Elementos), puede descomponerse como producto
de factores primos. Por hiptesis, estos factores slo pueden estar entre los pri-
mos que aparecen en el conjunto C. Por tanto, existir un primo q del conjunto
C, tal que q es divisor de N, y obviamente, q divide a p
1
p
2
p
n
. Por
consiguiente, q divide a la diferencia
N p
1
p
2
p
n
(que es igual a 1). Pero ningn nmero primo divide a 1, y q es un nmero
primo que divide a 1, de aqu la contradiccin. Concluimos entonces que el
conjunto de los nmeros primos no puede ser nito (q.e.d.).
En principio, el argumento de Euclides establece cmo podemos encontrar
nmeros primos nuevos: multipliquemos los que conocemos, sumemos uno
al producto y factoricemos el nmero resultante. Por ejemplo si realizamos la
siguiente operacin N = 2 3 + 1 = 7 obtenemos como resultado un nuevo
nmero primo. Desgraciadamente, una vez que hemos obtenido los 200 pri-
meros nmeros primos, la factorizacin comienza a ser prcticamente inabor-
dable. Como curiosidad, el nmero P = 2
43.112.609
1 con
!
12. 978. 189! cifras
en el sistema decimal, es el nmero primo ms grande conocido hasta Marzo
de 2011, descubierto por Edson Smith del Departamento de Matemticas de la
Universidad de California, Los ngeles (UCLA).
Una vez establecida la innidad de nmeros primos, el siguiente paso de-
ba ser cuanticar la cantidad de nmeros primos que existen menores que un
nmero N establecido previamente. Denotaremos entonces
(x) = nmeros primos x
Eratstenes enseando en Alejandra,
pintura de Bernardo Strozzi (1581-1644)
La herramienta ms til que se conoce pa-
ra contar primos es la Criba de Eratstenes,
descubierta por Eratstenes de Cirene (276-
194 a.C.). ste es un algoritmo utilizado pa-
ra eliminar los nmeros compuestos entre 1
y x, y se basa en la observacin de que si N es
menor o igual a x, y no es divisible por nin-
gn primo menor o igual que

x , entonces
N debe ser primo. Comenzamos por hacer un
listado de todos los enteros entre 1 y x, y eli-
minar de la lista todos los mltiplos de 2. A
ISSN 2174-0410
4
continuacin borramos los mltiplos de 3, despus los mltiplos de 5, etc., has-
ta que todos los mltiplos de los primos menores o iguales que
x hayan des-
aparecido de la lista. Los nmeros que hayan sobrevivido a la criba sern todos
primos.
La Criba de Eratstenes nos permite evaluar la funcin (x) para valores
pequeos de x: se trata de una funcin escalonada que da un salto 1 cada vez
que aparece un primo nuevo. Sin embargo, para valores grandes de x, es impo-
sible calcular el valor de (x) con exactitud, pero podemos intentar hacer una
estimacin de su valor basndonos en el patrn de su comportamiento para
valores conocidos.
2.2. Fermat, Mersenne y algunas conjeturas
Tras la cada del imperio romano, Europa qued sumida en una especie de
letargo durante la edad Media. No fue hasta nales del siglo XV, con la apari-
cin del Renacimiento, cuando se empezaron a recuperar en todas las discipli-
nas del arte, y la ciencia los trabajos de los clsicos. Sin embargo, la aritmtica
jug en cierto modo un papel secundario en cuanto a inters se reere, dejando
el protagonismo primero al lgebra durante el siglo XVI, a la geometra alge-
braica durante la primera mitad del siglo XVII, y al clculo y al anlisis durante
la segunda mitad del siglo XVII y todo el siglo XVIII. Sin embargo durante este
largo periodo no dejaron de surgir nuevas investigaciones en torno a la aritm-
tica, caracterizada esta poca por la aparicin de ciertas conjeturas, muchas de
ellas en torno a los nmeros primos.
Pierre de Fermat
Pero, si hay un personaje que destaque sobre todos
los dems en el siglo XVII en cuanto a la aritmtica se
reere, ste es sin lugar a dudas el francs Pierre de Fer-
mat. Fermat, que no era matemtico de profesin sino
un hombre de leyes, trabaj en innidad de ramas de las
matemticas. Lleg a descubrir el clculo incluso antes
que Newton o Leibniz, siendo cofundador de la teora de
probabilidades junto a Blaise Pascal, o descubriendo in-
dependiente de Descartes el principio fundamental de la
geometra analtica. Fermat conjetur que todos los n-
meros de la forma 2
2
n
+ 1 eran primos (debido a lo cual
se los conoce como nmeros de Fermat, ligados fuertemen-
te a la construccin de polgonos regulares mediante regla y comps, de modo
que si notamos como F
n
a los nmeros de Fermat, y tenemos que F
n
es un n-
mero primo p, entonces podemos inscribir en un crculo un polgono regular
de p lados con la ayuda nicamente de una regla y un comps) y veric esta
propiedad hasta n = 4 (es decir, 2
16
+ 1). Sin embargo, el siguiente nmero de
Fermat 2
32
+ 1 es compuesto (2
32
+ 1 = 4294967297 = 641 6700417), como
demostr Euler. De hecho, hasta nuestros das no se conoce ningn nmero
de Fermat que sea primo aparte de los que ya conoca el propio matemtico
francs
3
. Tambin demostr el que hoy es un resultado fundamental de la arit-
3
Existe un test especializado cuyo tiempo de ejecucin es polinmico: el test de Ppin. Sin em-
bargo, los propios nmeros de Fermat crecen tan rpidamente que slo se ha podido aplicar para
ISSN 2174-0410
5
mtica, conocido como Pequeo Teorema de Fermat, cuyo enunciado establece:
Si p es un nmero primo, y a es cualquier nmero natural mayor
que 1, entonces p|a
p
a, es decir, a
p
a es divisible por p.
Marin Mersenne
El segundo gran personaje del siglo XVII, en lo que a
aritmtica se reere, fue el monje francs de la Orden de
los Mnimos Marin Mersenne, quien hizo de su habita-
cin en un convento de Pars un lugar de encuentro de
matemticos de la talla de Fermat o Pascal con la mate-
mtica como tema principal de discusin. Mersenne de-
dic especialmente gran parte de sus investigaciones a
los nmeros primos de la forma 2
p
1. Se puede demos-
trar que si p no es primo entonces 2
p
1 tampoco es pri-
mo, con lo que slo tienen un especial inters los nme-
ros 2
p
1 con p primo. Antes de Mersenne, otros mate-
mticos haban establecido ya que ciertos nmeros del tipo 2
p
1 eran primos.
En particular, se saba que 2
p
1 era primo para p = 2, 3, 5, 7, 13, 17 y 19, y que
2
p
1 no era primo para p = 11. Entonces Mersenne en 1644, en el prlogo
de su libro Cogitata Physica-Mathematica, escribi que considerando un primo p
entre 2 y 257, el nmero 2
p
1 es primo slo para los nmeros p siguientes: 2,
3, 5, 7, 13, 17, 19, 31, 67, 127 y 257. Toda la comunidad matemtica opinaba que
era imposible que Mersenne hubiese estudiado tal cantidad de nmeros, pero
tampoco haba nadie capaz de probar que su enunciado era incorrecto. La ar-
macin estaba tan por encima de las posibilidades de la poca que tuvieron que
pasar ms de 100 aos para que alguien hiciese un avance real en su estudio:
nalmente se logr probar que efectivamente el nmero 2
31
1 es un nmero
primo. ste es slo uno de la cantidad ingente de resultados matemticos aso-
ciados al nombre del matemtico ms prolco de la historia, el suizo Leonhard
Euler. El estudio del resultado anunciado por Mersenne no se complet hasta
1947, establecindose que la lista correcta es: 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107
y 127. Al nal result que Mersenne haba puesto dos nmeros de ms y tres
de menos en su lista original. A pesar de todo, los primos de la forma 2
p
1
conservan el nombre de Mersenne. Quedaban as entonces establecidos los 12
primeros primos de Mersenne
4
.
valores de n pequeos. En 1999 se aplic para n = 24. Para determinar el carcter de otros n-
meros de Fermat mayores se utiliza el mtodo de divisiones sucesivas y de esa manera a fecha de
junio de 2009 se conocen 241 nmeros de Fermat compuestos, aunque en la mayora de los casos
se desconozca su factorizacin completa.
4
Existe un test de primalidad muy ecaz, el test de Lucas-Lehmer, para determinar si un nmero
de Mersenne es primo o no. El proyecto de computacin distribuida GIMPS, acrnimo de Great
Internet Mersenne Prime Seach, se encarga de buscar nmeros primos de Mersenne, que normal-
mente son los mayores primos que se conocen, de hecho el 2
43.112.609
1 antes mencionado forma
el tetragsimo quinto nmero primo de Mersenne. La idea es que colaboradores de todo el mundo
operen sobre una base de datos central. No hay ms que conectar con la pgina WEB de GIMPS
(www.mersenne.org) y descargar el software necesario. Automticamente, la base de datos central
asigna una serie de clculos. Esta tarea la realiza el ordenador con los recursos que no estn sien-
do utilizados en cada momento, no interriendo as en su actividad normal. Una vez obtenidos
los resultados, el mismo ordenador contacta automticamente con la base de datos central, actua-
lizndola. Si el ordenador no est conectado continuamente a Internet, espera a estar conectado
para hacer la transferencia de datos. Esto hace posible el uso de los nuevos resultados por otros
colaboradores.
ISSN 2174-0410
6
El 7 de junio 1742, Christian Goldbach, secretario de la Academia Impe-
rial de Ciencias de San Petesburgo desde febrero de 1725, y tutor-educador en
Mosc de varios descendientes del zar Pedro I El Grande (Ekateriana I, Pedro
II, Anna Ivanovna, Ivn VI e Isabel Petrovna), escribi una carta a Euler que
demuestra la capacidad intuitiva matemtica del alemn. En esta carta expo-
na:
No creo que sea totalmente intil plantear aquellas proposiciones que son
muy probables aunque falte una verdadera demostracin, pues an cuando
se descubra que son incorrectas, pueden conducir al descubrimiento de una
nueva verdad.
Adems Goldbach le comentaba que, a pesar de no haber encontrado una de-
mostracin, estaba seguro de que todo nmero natural mayor o igual que 6 se puede
escribir como suma de tres nmeros primos. Euler le contest el 30 de junio, con-
rmando que el resultado es equivalente a que todo nmero natural par mayor
o igual que 3 es la suma de dos primos. Este ltimo enunciado pasara a la histo-
ria con el nombre de Conjetura de Goldbach, uno de los problemas abiertos ms
famosos de las Matemticas. Es bien conocido que Descartes haba formulado
una conjetura similar, aunque no equivalente a la de Goldbach en 1650, que
estableca que todo nmero par es al menos suma de tres nmeros primos. Lo que no
est tan claro es que formulara dicha conjetura nicamente para los nmeros
enteros pares, pero es fcil ver que sta es equivalente. Muchos han intentado
su demostracin. Uno de los primeros fue el padre de la teora de conjuntos, el
alemn Georg Cantor. Otros matemticos brillantes como Lev Schnirelmann,
Godfrey H. Hardy, Ivan Vinagodrov y Chen Jingrun, han dedicado parte de
sus esfuerzos en lograr desentraar sus secretos, logrndose avances muy sig-
nicativos por mtodos analticos, aunque sin llegar a la solucin general nal.
No se duda de su veracidad, como adems sugieren los clculos hechos en la
actualidad con algunos de los ordenadores ms potentes, pero nadie ha sido
capaz de dar una demostracin general. El ltimo avance en la comprobacin
directa del resultado mediante ordenador asegura que el resultado es cierto
para todo nmero par hasta 400 billones.
Otra de las conjeturas ms interesantes es la relativa a la cantidad de n-
meros primos gemelos. Dos nmeros primos p y q se dice que son gemelos si
p = q + 2. Como ningn nmero primo puede ser par, a excepcin del 2, dos
primos son gemelos si estn todo lo cerca que dos primos mayores que 2 pue-
den llegar a estar. Primos gemelos son, por ejemplo, las parejas (17, 19), (29, 31)
y (1.000.000.000.061, 1.000.000.000.063). La Conjetura de los primos gemelos esta-
blece que existen innitas parejas de primos gemelos. Aunque esta armacin
parezca muy similar al resultado que hemos demostrado sobre la existencia
de una cantidad innita de nmeros primos, todava nadie ha sido capaz de
determinar si es cierta o no. Esta conjetura puede sugerir que los primos se
encuentran cerca unos de otros. Sin embargo, es fcil ver que hay listas de n-
meros naturales consecutivos no primos de cualquier longitud. La Conjetura de
Polignac es una versin ms general y ms fuerte que la anterior, ya que enun-
cia que para cada entero positivo n, existen innitos pares de primos consecutivos que
estn separados por 2n nmeros compuestos. A su vez, una versin ms dbil de
dicha conjetura dice que todo nmero par es la diferencia de dos nmeros primos.
ISSN 2174-0410
7
Edmund Landau
Durante el Congreso Internacional de Matemticos
de 1912 celebrado en la ciudad britnica de Cambridge,
el alemn Edmund Landau redact un ensayo sobre teo-
ra de nmeros y la funcin zeta de Riemann. En l, cata-
log los cuatro problemas bsicos sobre nmeros primos
considerados inabordables en aquel momento. Estos
problemas se denominaron comnmente Los Problemas de
Landau, y son los siguientes:
1. La Conjetura de Goldbach
5
.
2. La Conjetura de los Nmeros Primos Gemelos.
3. La Conjetura de Legrende, establece que existe siempre un nmero primo entre
dos cuadrados perfectos, esto es, entre n
2
y (n + 1)
2
.
4. La conjetura de establece que existen innitos nmeros primos p tales que
(p 1) es un cuadrado perfecto. Dicho de otra forma, existen innitos nme-
ros primos de la forma n
2
+ 1.
Otros enunciados sobre nmeros primos an sin demostrar de forma gene-
ral son:
1. La Conjetura de Brocard, que establece que entre los cuadrados de primos
consecutivos mayores que 2 existen siempre al menos cuatro nmeros primos.
2. La Conjetura de Cramer, cuya veracidad implicara la de Legendre, que
establece la siguiente expresin
lim
n
p
n+1
p
n
(log p
n
)
2
= 1
3. El problema ternario, establece que dado un nmero impar n > 7, ste es suma
de tres nmeros primos.
4. Para cualquier n, ste es un cuadrado de la suma de un primo y un cuadrado
6
.
5. La Conjetura de Hardy-Littlewood establece que la cantidad de nmeros pri-
mos tales que n
2
+1 < x tiende asintticamente a la siguiente expresin
p>2
_
1
1
p 1
_
1
p
__
x
log x
Hardy y Littlewood expresaron varias conjeturas sobre los problemas de
adicin de nmeros primos en su trabajo conjunto de 1923. Algunas de
estas se tratan en este documento.
5
En realidad se denomina Conjetura fuerte de Goldbach y como curiosidad no considera el 1
como un nmero primo. Si se representa dicha conjetura a travs de la ecuacin 2n = p +q siendo
n N|n > 1 y p y q son nmeros primos, tenemos la expresin equivalente
n =
p + q
2
que nos permite enunciar la conjetura de forma alternativa todo nmero natural mayor que 1, es
promedio de dos nmeros primos. Tambin existe una Conjetura dbil de Goldbach, que establece que
todo nmero impar mayor que 5 puede escribirse al menos de una forma como suma de tres nmeros primos.
6
Esto no es cierto para todos los valores de n, ya que al menos 34 y 58 son excepciones.
ISSN 2174-0410
8
2.3. Euler y el nacimiento de la funcin zeta
Leonhard Euler
Hasta el siglo XVIII, nadie haba podido vislumbrar
ningn patrn en el comportamiento de los nmeros pri-
mos. Estos aparecen en la sucesin de los nmeros natu-
rales sin ningn orden aparente, aunque lo que s es cier-
to es que su frecuencia disminuye a medida que avanza-
mos en la sucesin.
En 1737, el prolco suizo Leonhard Euler encontr
una identidad capaz de relacionar los nmeros natura-
les con los nmeros primos que abrira las puertas de la
moderna teora (analtica) de nmeros , enunciando el si-
guiente teorema
n=1
1
n
s
=
p
_
1
1
p
s
_
1
, para todo s > 1|s R, y p primo.
7
(1)
Pero cmo pudo Euler deducir esta interconexin entre los nmeros naturales
y los nmeros primos?. Su demostracin ms estricta fue publicada en 1744.
Sea
x = 1 +
1
2
+
1
3
+
1
4
+
1
5
+
1
6
+ . . .
Entonces
1
2
x =
1
2
+
1
4
+
1
6
+
1
8
+
1
10
+ . . .
Lo que nos lleva a
1
2
x = 1 +
1
3
+
1
5
+
1
7
+
1
9
+
1
11
+ . . .
Ntese que no existen nmeros pares en los denominadores del lado dere-
cho de la igualdad. Ahora, para eliminar los denominadores que son divisibles
por tres, dividimos ambos lados de la igualdad por tres, para obtener
1
2
1
3
x =
1
3
+
1
9
+
1
15
+
1
21
+
1
27
+ . . .
Restando, se eliminan todos los denominadores mltiplos de 3, resultando
_
1
2

1
2

1
3
_
x = 1 +
1
3
+
1
5
+
1
7
+
1
9
+ . . .
_
1
3
+
1
9
+
1
15
+
1
21
+ . . .
_
1
2

2
3
x = 1 +
1
5
+
1
7
+
1
11
+
1
13
+ . . .
Este proceso es similar a la criba de Eratstenes, ya que, en cada paso, se
elimina el denominador primo y todos sus mltiplos. Repitiendo la iteracin,
pero esta vez dividiendo la ltima ecuacin por 5, y reagrupando se obtiene
1
2

2
3

1
5
x =
1
5
+
1
25
+
1
35
+ . . .
7
En realidad Euler demostr esta armacin para el caso s = 1 en el teorema 7 de su obra Variae
observationes circa series innitas, a la sazn una de las primeras de su prolca carrera.
ISSN 2174-0410
9
operando resulta
1 2 4
2 3 5
x = 1 +
1
7
+
1
11
+
1
13
+ . . .
Del mismo modo, los trminos con denominadores que son mltiplos de 7, 11,
y as con todos los nmeros primos, se irn eliminado, resultando
1 2 4 6 10 12 16 18 22
2 3 5 7 11 13 17 19 21
x = 1
Pero, como x es sabido que resulta ser la suma de la serie harmnica (la cual
diverge), el resultado queda inmediatamente demostrado.
Sin embargo, esta demostracin no puede ser considerada sucientemente
rigurosa desde un punto de vista de los estndares matemticos modernos,
pero cualquier matemtico moderno reformulara el teorema diciendo que la
serie harmnica tiene un lmite nito si y slo si el producto innito lo tiene,
y entonces comenzara la demostracin suponiendo que la serie harmnica
converge al valor x.
Sin embargo, si aceptamos el resultado, entonces tenemos una pequea de-
mostracin de que existen innitos nmeros primos. Para que el producto
2 3 5 7 11 13 17 19
1 2 4 6 10 12 16 18
diverja debe tratarse de un producto innito, por lo tanto deben existir innitos
nmeros primos.
El teorema 8 de dicha obra de Euler resulta extremadamente importante. Si
utilizamos la serie de nmeros primos para formar la expresin
2
n
2
n
1

3
n
3
n
1
5
n
5
n
1
7
n
7
n
1

11
n
11
n
1

entonces su valor es igual a la suma de esta serie
1 +
1
2
n
+
1
3
n
+
1
4
n
+
1
5
n
+
1
6
n
+
1
7
n
+
Utilizando la notacin moderna, esta expresin resulta ser (1), cuya demos-
tracin es exactamente igual a la del teorema 7, con el exponente n incluido.
Adems, la demostracin del teorema 8 es completamente correcta desde el
punto de vista de los estndares matemticos modernos ya que todas las series
involucradas en la expresin son absolutamente convergentes.
2.4. Las aportaciones de Legendre y Gauss
Aunque en principio no sabemos cundo un nmero va a ser primo, y la
distribucin de los nmeros primos en la recta real es bastante errtica, lo cierto
es que la funcin (x), pese a tener pequeas oscilaciones, crece con bastante
regularidad, y esta regularidad es mucho ms extrema cuanto mayores son los
valores de la variable x. Veamos una Tabla 1 con valores de (x).
ISSN 2174-0410
10
x (x) x/(x) x/log x
10 4 2, 50 4, 34
10
2
25 4, 00 21, 71
10
3
168 5, 95 144, 76
10
4
1. 229 8, 14 1. 085, 74
10
5
9. 582 10, 44 8. 685, 89
10
6
78. 498 12, 74 72. 382, 41
10
7
664. 579 15, 05 620. 420, 69
10
8
5. 761. 455 17, 36 5. 428. 681, 02
10
9
50. 874. 534 19, 66 48. 254. 942, 43
10
10
455. 052. 511 21, 98 434. 294. 481, 90
Tabla 1
Observando la Tabla 1 vemos que la razn x/(x) aumenta aproximadamente
en 2,3 cuando pasamos de una potencia de 10 a la siguiente: esto es, el logarit-
mo de 10 en base e. Esto nos lleva a conjeturar que
(x)
x
log x
donde signica que (x) y x/log x consideradas como funciones sobre R
estn muy prximas la una a la otra, de forma que se puede establecer que
lm
x
(x)
x
log x
= 1 (2)
Este teorema fue conjeturado de manera independiente por Adrien Marie Le-
gendre y Carl Friedrich Gauss.
En 1798, el francs Legendre realiz un intento de aproximacin de la fun-
cin (x), estableciendo la siguiente expresin que apareca en su obra Essai
sur la thorie des nombres, 1
(x) =
x
Alog x + B
para valores de x sucientemente grandes, y ms tarde, en 1808, en su obra
Essai sur la thorie des nombres, 2 estableca los valores A = 1, B = 1, 08366
(la constante B es a veces denominada constante de Legendre).
Carl Friedrich Gauss
Pero el primer estudio serio de la funcin (x) parece
ser que lo llev a cabo un jovencsimo C. F. Gauss entre
1792 y 1793, con tan slo 15 o 16 aos, siendo an estu-
diante, as se lo hara saber en una carta en las Navidades
de 1849 al astrnomo Encke. Gauss estudi la densidad de
nmeros primos entre 1 y 3. 000. 000, y su distribucin en
intervalos de longitud 1. 000, y conjetur la frmula (2),
conocida posteriormente como el Teorema de los nmeros
primos, una vez demostrada de forma independiente por
Hadamard y de la Valle Poussin en 1896.
Gauss calcul tanto (x) como x/log x para x = 3. 000. 000, obteniendo
(3. 000. 000) = 216. 745
3. 000. 000
log3. 000. 000
= 216. 971
ISSN 2174-0410
11
por lo que concluira que x/log x aproxima (x) para x = 3. 000. 000, con
un error de slo 226 primos. De hecho el error es 161, an menor, pues pare-
ce ser que Gauss cometi un error en sus clculos, resultando (3. 000. 000) =
216. 816. En cualquier caso, a pesar de este error de clculo, Gauss supo vislum-
brar que ambas funciones estaban muy cerca una de la otra, aunque desgracia-
damente no lo suciente como para explicar la regularidad de (x). Gauss
observ que la frecuencia de primos cerca de un nmero x grande es prcti-
camente x/log x, y por lo tanto la probabilidad de que un nmero grande x
elegido al azar sea primo parece ser proporcional a
1
log
10
x

1
nmero de dgitos de x
,
observacin que de hecho es la idea bsica de la teora de los nmeros primos.
Por ejemplo, la probabilidad de que un nmero de 100 dgitos sea primo es
1/230, mientras que la probabilidad de que un nmero de 1. 000 dgitos sea
primo es 1/2. 302, etc. As pues, concluy Gauss, si estimamos (x) por
(x) =

2nx
Prob.(n primo) + trmino de error
tendremos la suma logartmica
(x) =

2nx
1
log n
+ E
1
(x)
o, lo que es esencialmente lo mismo,
(x) = Li(x) + E
2
(x),
con Li(x) =
x
_
2
dt
log t
, la funcin denominada logaritmo integral. E
1
(x) y E
2
(x)
son errores muy similares, de hecho,
2nx
1
log n

x
_
2
dt
log t
2
por lo que (x) puede ser aproximada mediante una suma o mediante una
integral.
Gauss conjetur que las funciones Li(x) y (x) estn muy cerca la una de la
otra, y que la probabilidad de que un nmero grande y arbitrario x sea primo
est cerca de 1/log x. En cierto modo, Gauss haba sido capaz de vislumbrar
un cierto patrn en la distribucin de los nmeros primos. Su apuesta pasara
a denominarse Conjetura de los Nmeros Primos. Para recompensa de Gauss, los
matemticos demostraran que el porcentaje de error entre la funcin logarit-
mo integral de Gauss y la distribucin real de nmeros primos se hace cada
vez ms y ms pequeo cuanto ms grande es la cantidad de nmeros jada
previamente.
ISSN 2174-0410
12
x (x) Li(x) x/log x (x)/Li(x)
10 4 4, 34 5, 12 0, 781250
10
2
25 21, 27 29, 08 0, 859697
10
3
168 144, 76 176, 56 0, 951518
10
4
1. 229 1. 085, 74 1. 245, 09 0, 987077
10
5
9. 582 8. 685, 89 9. 682, 76 0, 989594
10
6
78. 498 72. 382, 41 78. 626, 50 0, 998366
10
7
664. 579 620. 420, 69 664. 917, 36 0, 999491
10
8
5. 761. 455 5. 428. 681, 02 5. 762. 208, 33 0, 999869
10
9
50. 874. 534 48. 254. 942, 43 50. 849. 233, 94 0, 999966
10
10
455. 052. 511 434. 294. 481, 90 455. 055. 612, 94 0, 999993
Tabla 2
20 000 40 000 60 000 80 000 100 000
2000
4000
6000
8000
Comparativa entre las funciones (x) (en rojo),
x
log x
(en verde) y Li(x) (en azul)
2.5. Las aportaciones de Dirichlet y Chebyshev
Johann Peter Gustav
Lejeune Dirichlet
En 1837, el francs Johann Peter Gustav Lejeune Di-
richlet generaliz el mtodo utilizado por Euler para de-
mostrar que cualquier progresin geomtrica a, a +k, a +
2k, a + 3k, . . ., donde a y k no tengan ningn factor co-
mn, existen innidad de nmero primos
8
. La principal
modicacin al mtodo de Euler que Dirichlet llev a ca-
bo consisti en alterar la funcin zeta de modo que los
nmero primos fueran separados por categoras depen-
diendo del resto que resultara de dividirlos por k. Su fun-
cin zeta modicada, denominada hoy da funcin L de
Dirichlet, se expresa
L(s, ) =
(1)
1
s
+
(2)
2
s
+
(3)
3
s
+
(4)
4
s
+ . . .
8
De hecho el teorema de Euclides puede ser considerado como un caso especial de esta arma-
cin para la progresin aritmtica 1, 3, 5, 7, . . ..
ISSN 2174-0410
13
donde (n) es una clase especial de funcin denominada carcter de Dirichlet
9
que clasica los primos del modo especicado. En particular, esta funcin cum-
ple una serie de condiciones como que (mn) = (m) (n) para cualquier m,
n; adems depende nicamente del resto obtenido al dividir n por k, y (n) = 0
si n y k tienen un factor comn.
Cualquier funcin de la forma L(s, ) donde s es un nmero real mayor
que 1 (Re(s) 1), y es un carcter, se denomina funcin L-serie de Dirichlet.
La funcin zeta de Riemann es un caso especial que aparece cuando se toma
(n) = 1 para todo n.
Un resultado clave sobre las L-funciones es que, al igual que la funcin zeta,
pueden ser expresadas como un producto innito de nmeros primos:
L(x, ) =
1
1
(2)
2
s
1
1
(3)
3
s
1
1
(5)
5
s
=
p
1
1
(p)
p
s
de modo que p es un nmero primo.
Tras estas aportaciones de Dirichlet, los matemticos se dedicaron a gene-
ralizar su expresin, extendiendo tanto la variable s como el carcter (s) a los
nmeros complejos, y utilizando la versin generalizada para demostrar in-
nidad de resultados sobre nmeros primos, demostrando as la importancia
de las L-series como herramienta fundamental para el estudio de los mismos.
Con Dirichlet comenz la aplicacin de los mtodos innitesimales a la teo-
ra de nmeros, y la investigacin de la ley de distribucin asinttica de los
nmeros primos.
Pafnuty Lvvich
Chebyshev
El primer trabajo en el que se demostr la distribucin
asinttica de los nmeros primos, apareci publicado en
el ao 1850 en la primera memoria del matemtico ru-
so Pafnuty Lvvich Chebyshev (1821-1894) con el nom-
bre de Sur la fonction qui dtermine la totalit des nombres
premiers infrieurs une limite donne (Sobre la funcin
que determina la totalidad de los nmeros primos por debajo
de un determinado lmite), la cual ya haba sido previa-
mente presentada en la Academia Imperial de Ciencias
de San Petesburgo el 24 de mayo de 1848. En este trabajo
Chebyshev demostr que si se realiza cualquier aproxi-
macin a (x) del orden de x/log x
N
(siendo N cual-
quier entero positivo muy grande previamente jado), entonces la aproxima-
cin tendra que ser Li(x). De esta armacin se deduce que la hiptesis de
Legendre para los coecientes A y B, esto es, lm
x
A(x) = 1, 08366
10
es falsa, y
que si el lmite existe, ste ha de ser igual a 1.
9
En teora de nmeros, los caracteres de Dirichlet son un cierto tipo de funciones aritmticas
que derivan de caracteres completamente multiplicativos sobre las unidades Z/kZ . Los carac-
teres de Dirichlet son usados para denir las Funciones L de Dirichlet, las cuales son funciones
meromorfas, con una variedad interesante de propiedades analticas.
10
Recordamos que Legendre ya haba realizado la aproximacin
x
log x A(x)
con el valor de
A(x) = 1, 08366 para x muy grandes.
ISSN 2174-0410
14
Chebyshev demostr que para cualquier entero positivo n,
lim
x
_
_
(x)
x
_
2
dt
log t
_
_
log
n
x
x
0 lim
x
_
_
(x)
_
2
x
dt
log t
_
_
log
n
x
x
donde log
n
x = (log x)
n
. Integrando repetidamente por partes, se puede ver
que para cada entero positivo n,
x
_
2
dt
log t
=
_
1 +
1!
log x
+
2!
log
2
x
+ . . . +
(n 1)!
log
n1
x
_
x
log x
+ n!
x
_
2
dt
log
n+1
t
+ c
n
donde c
n
es una constante. Utilizando el smbolo de orden de Landau,
x
_
2
dt
log
n+1
t
= O
_
x
log
n+1
x
_
x
1/2
_
2
dt
log
n+1
t
<
x
1/2
log
n+1
2
,
x
_
x
1/2
dt
log
n+1
t
< 2
n+1
x
log
n+1
x
Este resultado muestra que A = B = 1 son los valores que mejor aproximan la
funcin de Legendre y sugieren que
Li(x) =
x
_
2
dt
log t
es la mejor aproximacin para (x).
Si interpretamos esta aproximacin como una frmula asinttica, esto im-
plica que
(x)
log x
x
1 cuando x
y haciendo uso del smbolo de orden de Landau,
(x)
x
log x
La validez de dicha expresin es lo que posteriormente se denominara teorema
de los nmeros primos, o lo que es lo mismo, que (x) tiene el orden de magnitud
de x/log x.
Posteriormente, Chebyshev public en 1852 su obra Mmoire sur les nom-
bres premiers (Memoria sobre los nmeros primos) donde demostr esencial-
mente que
B <
(x)
x
log x
<
6B
5
para nmeros x sucientemente grandes, donde
B =
log2
2
+
log 3
3
+
log5
5

log 30
30
0, 92129
ISSN 2174-0410
15
y
6B
5
1, 10555.
Por desgracia, con este mtodo fue incapaz de demostrar el Teorema de los
Nmeros Primos. Lo que s demostr fue la Conjetura de Bertrand que establece
que siempre existe un nmero primo p entre n y 2n, siendo n N. Esto supone que,
en una progresin geomtrica de primer trmino entero mayor que 3 y razn
igual a 2, entre cada trmino de la progresin y el siguiente, se tiene al menos
un nmero primo.
2.6. La estrategia de Riemann
En 1859, para su ingreso en la Academia de las Ciencias de Berln, el alemn
Bernhard Riemann redact una memoria de ocho pginas que prepararan el
camino para llegar posteriormente al Teorema de los Nmeros Primos. La idea
de Riemann se bas en interconectar la funcin (x) con la funcin zeta de
Euler
(s) =
n=1
1
n
s
,
pero, y ste es el salto cualitativo con respecto a Euler, considerada dicha fun-
cin como de variable compleja. La derivada logartmica de la identidad de
Euler se traduce en la identidad
n=1
(n)
n
s
=
(s)
(s)
,
11
(n) =
_
log p, si n = p
k
, p primo
0 en otro caso
Por otro lado no es complicado comprobar que el teorema de los nmeros
primos, an conjetura cuando Riemann redact su memoria, es equivalente al
enunciado que arma que
(x) =

nx
(n) x
12
La estrategia de Riemann consisti en tratar de obtener informacin sobre
(x), partiendo de las propiedades de la funcin (s). La funcin zeta de Rie-
mann, como es actualmente conocida, posee nicamente un polo simple que
11
La funcin (n) es la funcin de von Mangoldt, introducida por Chebyshev en su memoria
publicada en 1850.
12
La funcin (x) es la funcin sumatorio de Mangoldt, cuya frmula explcita es
(x) = x
log 2
1
2
log(1 x
2
),
donde el sumatorio es en todos los ceros complejos de la funcin zeta de Riemann (s) e inter-
pretado como
lm
t

|()|<t
x
.
ISSN 2174-0410
16
Pgina primera del trabajo original presentado por Riemann en 1859
ISSN 2174-0410
17
resulta ser s = 1, y se puede extender de forma analtica a todo el plano comple-
jo. La localizacin de sus ceros en la denominada franja crtica, 0 Re(x) 1,
est fuertemente ligada a la distribucin de los nmeros primos. Riemann con-
jetur que todos los ceros en esa franja estaban sobre la recta Re(s) =
1
2
.
Tras su descubrimiento, la Universidad de Gotinga otorg a Riemann el
puesto de Jefe de Departamento de Matemticas, exactamente el mismo pues-
to que su predecesor Gauss haba ocupado. Desde ese momento, Riemann co-
menz a gozar de una vida social muy activa, viendo incrementados su fama
y su reputacin. Hoy da es considerado un genio, pero de un modo diferente
a Gauss; Gauss fue capaz de abarcar todo lo posible en las matemticas, pero
Riemann otorg a sus aportaciones un carcter casi mgico. Realiz descubri-
miento asombrosos sobre los nmeros primos, en parte debido a que fue capaz
de inventar una maquinaria capaz de interconectar aspectos fundamentales
de la teora de nmeros. Tambin contribuy en gran medida al desarrollo de
la geometra, construyendo nuevos modelos no eucldeos (geometra elpticas)
conocidos hoy como geometras riemannianas, donde por ejemplo la Teora de la
Relatividad de Eistein se fundamenta. Su aportacin a la ciencia, lejos de estar
pasada de moda, se mantiene hoy da relevante.
Por desgracia, nunca sabremos cun cerca estuvo de demostrar su hiptesis,
ya que al parecer tras su muerte su ama de llaves destruy en el fuego gran
parte del material que Riemann tena en forma de manuscritos o borradores.
3. Sobre La Cifra de Nmeros Primos menores que
una Cantidad Dada - Bernhard Riemann
13
Considero que el mejor modo de expresar mi agradecimiento a la Acade-
mia por el honor que hasta cierto punto me ha conferido mediante mi admisin
como uno de sus corresponsales, lo llevar a cabo si pronto hago uso del per-
miso recibido para comunicar una investigacin sobre la acumulacin de los
nmeros primos, un tema que tal vez pueda ser considerado completamente
digno de tal comunicacin, dado el inters que Gauss y Dirichlet han mostrado
durante mucho tiempo.
Para esta investigacin, mi punto de partida surge de la observacin pro-
porcionada por Euler de que en el producto
1
1
1
p
s
=
1
n
s
,
p sustituye a todos los nmeros primos, y n a la totalidad de los nmeros. La
funcin de la variable compleja s, que est representada por estas dos expre-
siones, donde quiera que converjan, la denoto como (s). Ambas expresiones
convergen nicamente cuando la parte real de s es mayor que 1; al mismo tiem-
po puede encontrarse fcilmente una expresin de la funcin lo cual siempre
13
Ueber die Anzahl der Primzahlen unter einer gegebenen Grsse - Bernhard Riemann. Monatsbe-
richte der Berliner Akademie (Informes Mensuales de la Academia de Berln). Noviembre, 1859.
Traducido por Jos Manuel Snchez Muoz, versin 1, Septiembre 2011.
ISSN 2174-0410
18
resulta til. Haciendo uso de la ecuacin
_
0
e
nx
x
s1
dx =
(s 1)
n
s
se observa primeramente que
(s 1)(s) =
_
0
x
s1
dx
e
x
1
.
Si se considera ahora la integral
_
(x)
s1
dx
e
x
1
desde + a + tomados en sentido positivo en torno a un dominio que con-
tiene el valor 0 pero ningn otro punto de discontinuidad del integrando en
su interior, entonces se observa que sta es igual a
(e
si
e
si
)
_
0
x
s1
dx
e
x
1
,
siempre que, en la funcin multivalorada (x)
s1
= e
(s1) log(x)
, el logaritmo
de x est determinado de tal modo que sea un nmero real cuando x sea
negativo. Por lo tanto
2 sen s (s 1)(s) = i
(x)
s1
dx
e
x
1
,
donde la integral tiene el signicado que se acaba de especicar.
Ahora esta ecuacin nos da el valor de la funcin (s) para todos los n-
meros complejos s y reeja que esta funcin es inyectiva y nita para todos los
valores nitos de s a excepcin de 1, y tambin que es cero si s es igual a un
nmero entero par negativo.
Si la parte real de s es negativa, entonces, en lugar de ser considerada en
torno a un dominio especco en sentido positivo, esta integral puede tambin
ser tomada en un sentido negativo en torno a un dominio que contenga el
resto de cantidades complejas, ya que la integral considerada es innitamente
pequea a pesar de que los valores del mdulo son innitamente grandes. Sin
embargo, en el interior de este dominio, el integrando posee discontinuidades
nicamente donde x sea igual a un mltiplo de 2i, y la integral es por lo
tanto igual a la suma de las integrales tomadas en un sentido negativo en torno
a estos valores. Pero la integral en torno al valor n2i es = (n2i)
s1
(2i),
de lo que se obtiene de aqu que
2 sens (s 1)(s) = (2)
s
n
s1
((i)
s1
+ i
s1
),
por lo tanto hay una relacin entre (s) y (1 s), que, a travs de propiedades
conocidas de la funcin , podra ser expresada como sigue:
_
s
2
1
_
s
2
(s)
ISSN 2174-0410
19
que se mantiene sin cambios cuando s es sustituida por 1 s.
Esta propiedad de la funcin me indujo a considerar, en lugar de (s 1),
la integral
_
s
2
1
_
como trmino general de la serie
1
n
s
, mediante el cual
se obtiene una expresin muy apropiada para la funcin (s). En realidad
1
n
s
_
s
2
1
_
s
2
=
_
0
e
nnx
x
s
2
1
dx,
por lo tanto, si se establece
1
e
nnx
= (x)
entonces
_
s
2
1
_
s
2
(s) =
_
0
(x)x
s
2
1
dx,
o desde
2(x) + 1 = x
1
2
_
2
_
1
x
_
+1
_
, (Jacobi, Fund. S. 184)
_
s
2
1
_
s
2
(s) =
_
1
(x)x
s
2
1
dx +
_
1
_
1
x
_
x
s3
2
dx
+
1
2
1
_
0
_
x
s3
2
x
s
2
1
_
dx
=
1
s(s 1)
+
_
1
(x)
_
x
s
2
1
+ x
1+s
2
_
dx.
Ahora establezco que s =
1
2
+ ti y
_
s
2
_
(s 1)
s
2
(s) = (t),
as
(t) =
1
2
(tt +
1
4
)
_
1
(x)x
3
4
cos(
1
2
t log x) dx
o, adicionalmente,
(t) = 4
_
1
d(x
3
2
(x))
dx
x
1
4
cos(
1
2
t log x) dx.
Esta funcin es nita para todos los valores nitos de t, y permite ser desa-
rrollada en potencias de tt como una serie rpidamente convergente. Ya que,
ISSN 2174-0410
20
para un valor de s cuya parte real sea mayor que 1, log (s) = log(1 p
s
)
es nito, e igualmente sucede con los logaritmos de los otros factores de (t),
deduciendo que la funcin (t) slo puede desaparecer si la parte imaginaria
de t se encuentra entre
1
2
i y
1
2
i. El nmero de races de (t) = 0, cuyas partes
reales estn entre 0 y T es aproximadamente
=
T
2
log
T
2

T
2
;
por que la integral
_
d log(t), tomada en un sentido positivo en torno a la re-
gin formada por los valores de t cuyas partes imaginarias se encuentran entre
1
2
i y
1
2
i y cuyas partes reales se encuentran entre 0 y T, es igual (hasta una frac-
cin del orden de magnitud de la cantidad
1
T
) a
_
T log
T
2
T
_
i; esta integral
sin embargo es igual al nmero de races de (t) = 0 que se encuentran dentro
de esta regin, multiplicada por 2i. De hecho ahora se deduce aproximada-
mente el nmero de races reales dentro de estos lmites, y es muy probable
que todas las races sean reales. Ciertamente, en este punto uno deseara una
demostracin ms estricta. Por ahora he aparcado temporalmente la bsqueda
de este nmero tras algunos intentos fugaces fallidos, ya que parece innecesa-
rio para el prximo objetivo de mi investigacin.
Si se denota por a todas las races de la ecuacin () = 0, se puede
expresar log (t) como
log
_
1
tt
_
+log (0);
para deducir, ya que la densidad de las races de la cantidad t crece con t slo
como log
t
2
, que esta expresin converge y se alcanza el valor innito t log t
para un valor innito de t; por lo tanto, diere de log (t) en una funcin de tt,
que para un valor nito de t es continua y nita, y cuando se divide por tt, al-
canza valores innitamente pequeos para valores de t innitamente grandes.
La diferencia es en consecuencia una constante, cuyo valor puede ser determi-
nado mediante la consideracin de t = 0.
Con la ayuda de estos mtodos, el nmero de nmeros primos que son
menores que x puede ser determinado ahora.
Sea F(x) igual a este nmero cuando x no es exactamente igual a un nmero
primo; pero sea ste mayor que
1
2
cuando x sea un nmero primo, as, para
cualquier x en el que haya un salto en el valor en F(x),
F(x) =
F(x + 0) + F(x 0)
2
.
Si en la identidad
log (s) = log(1 p
s
) = p
s
+
1
2
p
2s
+
1
3
p
3s
+
ahora se reemplaza
p
s
por s
_
p
x
s1
ds, p
2s
por s
_
p
2
x
s1
ds, . . . ,
ISSN 2174-0410
21
se obtiene
log (s)
s
=
_
1
f (x)x
s1
dx,
si se denota
F(x) +
1
2
F(x
1
2
) +
1
3
F(x
1
3
) +
por f (x).
Esta ecuacin es vlida para cada valor complejo a + ib de s tal que a > 1
Si, por el contrario, la ecuacin
g(s) =
_
0
h(x)x
s
d log x
se mantiene dentro de este rango, entonces, por la aplicacin del Teorema de
Fourier, se puede expresar la funcin h en trminos de la funcin g. La ecuacin
se descompone, si h(x) es real y
g(a + bi) = g
1
(b) + ig
2
(b),
en las dos siguientes:
g
1
(b) =
_
0
h(x)x
a
cos(b log x) d log x,
ig
2
(b) = i
_
0
h(x)x
a
sen(b log x) d log x.
Si se multiplican ambas ecuaciones por
(cos(b log y) + i sen(b log y)) db
y se las integra desde a +, entonces por el Teorema de Fourier se obtiene en
ambas h(y)y
en la parte derecha de la igualdad; por lo tanto, si se suman

ambas expresiones y se las multiplica por iy
, se obtiene
2ih(y) =
a+i
_
ai
g(s)y
s
ds,
donde la integracin se lleva a cabo de manera que la parte real de s se mantie-
ne constante.
Para un valor de y en el que haya un salto en el valor de h(y), la integral
expresa la media de los valores de la funcin h a ambos lados del salto. Del
modo en el que la funcin f se deni, vemos que se tiene la misma propiedad,
y por lo tanto, con toda generalidad
f (y) =
1
2i
a+i
_
ai
log (s)
s
y
s
ds.
ISSN 2174-0410
22
Se puede sustituir por log la expresin
s
2
log log(s 1) log
_
s
2
_
+
log
_
1 +
(s
1
2
)
2
_
+ log (0)
establecida anteriormente; Sin embargo, las integrales de los trminos indivi-
duales de esta expresin no convergen, cuando se extiende hasta el innito,
por lo que es conveniente convertir la ecuacin anterior por medio de la inte-
gracin por partes en
f (x) =
1
2i
1
log x
a+i
_
ai
d
log (s)
s
ds
x
s
ds
Como
log
_
s
2
_
= lm
_
n=m
n=1
log
_
1 +
s
2n
_
s
2
log m
_
,
para m = y por lo tanto
d
1
s
log
_
s
2
_
ds
=
1
d
1
s
log
_
1 +
s
2n
_
ds
,
entonces se deduce que todos los trminos de la expresin para f (x), con la
excepcin de
1
2i
1
log x
a+i
_
ai
1
ss
log (0)x
s
ds = log (0),
que toma la forma
1
2i
1
log x
a+i
_
ai
d
_
1
s
log
_
1
s
__
ds
x
s
ds.
Pero ahora
d
_
1
s
log
_
1
s
__
d
=
1
( s)
,
y, si la parte real de s es mayor que la parte real de ,
1
2i
a+i
_
ai
x
s
ds
( s)
=
x
=
x
_
x
1
dx,
o
=
x
_
0
x
1
dx,
ISSN 2174-0410
23
dependiendo de si la parte real de es negativa o positiva. Se tiene como re-
sultado
1
2i
1
log x
a+i
_
ai
d
_
1
s
log
_
1
s
__
ds
x
s
ds
=
1
2i
a+i
_
ai
1
s
log
_
1
s
_
x
s
ds
=
x
_
x
1
log x
dx + const.
en el primer caso, y
=
x
_
0
x
1
log x
dx + const.
en el segundo.
En el primer caso la constante de integracin se determina si la parte real
de es innitamente negativa; en el segundo caso la integral de 0 a x toma
valores separados por 2i, dependiendo de si la integracin se toma a travs
de valores complejos con el argumento positivo o negativo, y se convierte en
innitamente pequeo, del primer caso, cuando el coeciente de i del valor
de se convierte en innitamente positivo, pero para el segundo, cuando este
coeciente se hace innitamente negativo. A partir de esto se ve como en el
lado izquierdo log
_
1
s
_
se determinar con el n de que las constantes de
integracin desaparezcan.
Insertando estos valores en la expresin de f (x), se obtiene
f (x) = Li(x)
_
Li
_
x
1
2
+i
_
+ Li
_
x
1
2
i
__
+
_
x
1
x
2
1
dx
x log x
+log (0),
si en
se sustituye por todas las races positivas (o races con una parte
real positiva) de la ecuacin () = 0, ordenados por su magnitud. Se puede
observar fcilmente, por medio de un debate ms profundo de la funcin ,
que con esta ordenacin de los trminos el valor de la serie
_
Li
_
x
1
2
+i
_
+ Li
_
x
1
2
i
__
log x
coincide con el valor del lmite para el cual
1
2i
a+bi
_
abi
d
1
s
log
_
1 +
(s
1
2
)
2
_
ds
x
s
ds
converge a medida que aumenta la cantidad de b sin lmite; sin embargo cuan-
do se reordena puede tomar cualquier valor real arbitrario.
ISSN 2174-0410
24
De f (x) se obtiene F(x) por inversin de la relacin
f (x) =
1
n
F
_
x
1
n
_
,
para obtener la ecuacin
F(x) = (1)
1
m
f
_
x
1
m
_
,
en la cual se sustituye por m la serie consistente en aquellos nmeros naturales
que no son divisibles por ningn cuadrado que no sea 1, y en el que denota
el nmero de factores primos de m.
Si se restringe
para un nmero nito de trminos, entonces la derivada

de la expresin para f (x), o al menos parte de la misma, disminuye rpida-
mente cuando aumente x,
1
log x
2
cos( log x)x
1
2
log x
da una expresin de aproximacin para la densidad de nmeros primos +
mitad de la densidad de los cuadrados de los nmeros primos + un tercio de
la densidad de los cubos de los nmeros primos, etc, hasta la magnitud x.
La conocida expresin aproximativa F(x) = Li(x) es vlida hasta cantida-
des del orden x
1
2
y da valores tan grandes como se quiera; debido a los trminos
no peridicos, la expresin de F(x) no crece hasta el innito con x
Li(x)
1
2
Li(x
1
2
)
1
3
Li(x
1
3
)
1
5
Li(x
1
5
) +
1
6
Li(x
1
6
)
1
7
Li(x
1
7
) +
De hecho, comparando Li(x) con el nmero de nmeros primos menores
que x, establecido por Gauss y Goldsmidt y llevada a cabo hasta x = tres mi-
llones, este nmero ha resultado ser, en los primeros cien mil, siempre menor
que Li(x); de hecho la diferencia aumenta, con muchas uctuaciones, gradual-
mente con x. Aunque tambin el aumento y disminucin en la densidad de
nmeros primos de un lado a otro que depende de los trminos peridicos,
ha suscitado atencin, sin embargo no se ha podido observar ninguna ley que
gobierne este comportamiento. En el futuro, sera interesante hacer un segui-
miento de la inuencia de los trminos peridicos individuales en la expresin
de la densidad de nmeros primos. Un comportamiento ms regular que el de
F(x) sera exhibido por la funcin f (x), la cual ya en los primeros cien nmeros
parece estar de acuerdo con la media establecida con Li(x) + log (0).
La funcin f (x) exhibe un comportamiento mucho ms regular que F(x),
de modo que en la primera centena de nmeros parece coincidir con la canti-
dad dada por Li(x) +log (0).
ISSN 2174-0410
25
4. Los Nmeros Primos tras la Hiptesis de Riemann
4.1. El asedio de la conjetura
En la segunda mitad del siglo XIX se llevaron a cabo varias mejoras del
lmite de Chebyshev, como por ejemplo la realizada en 1892 por James Joseph
Sylvester de modo que
0, 956 <
(x)
x
log x
< 1, 045
para valores de x sucientemente grandes.
Al estar tan interconectadas las funciones (s) y (x), la hiptesis de Rie-
mann juega un papel fundamental en la teora de los nmeros primos, de tal
modo que si sta se cumple, entonces el trmino de error que aparece al realizar
las aproximaciones pertinentes, puede acortarse de la mejor manera posible.
Concretamente, Helge von Koch demostr en 1901 que
(x) = Li(x) + O
_
x ln x
_
si y slo si la hiptesis de Riemann se cumple
14
.
4.2. De Conjetura al Teorema de los Nmeros Primos
Jacques Salomon Charles Jean tienne G.
Hadamard N. de la Valle-Poussin
El gran descubrimiento sobre n-
meros primos antes de llegar al siglo
XX, fue llevado a cabo por el fran-
cs Jacques Salomon Hadamard y el
belga Charles Jean tienne Gustave
Nicolas de la Valle-Poussin, quienes
se encargaron de demostrar, de forma
independiente, la Conjetura de Gauss
sobre nmeros primos, adquiriendo
la categora de Teorema de los Nme-
ros Primos en 1896. Los trabajos de
Riemann sobre la funcin (s) sirvieron para describir la estrategia a seguir
hasta llegar a la demostracin de dicho teorema. Para llegar a dicha demostra-
cin, por supuesto no elemental, Hadamard hizo uso de su teora de funciones
integrales aplicada a la funcin (s), la cual est denida mediante la serie ab-
solutamente convergente
(s) =
n=1
n
s
, para Re(s) > 1.
14
Una variante renada del resultado de Koch, dada por Lowel Schoenfeld en 1976, arma que
la hiptesis de Riemann es equivalente al siguiente resultado:
|(x) Li(x)| <
1
8
x ln(x), para todo x 2657.

ISSN 2174-0410
26
Bsicamente la demostracin de Hadamard y de la Valle Poussin, consisti
en probar que la funcin zeta de Riemann (s) no tiene ningn cero de la forma
1 + it. En particular, de la Valle Poussin demostr que
(x) = Li(x) +O
_
x
log x
e
a
log x
_
donde a es una constante.
4.3. La sociedad Hardy-Littlewood-Ramanujan
Las luchas entre Newton y Leibniz por la autora de la invencin del clcu-
lo en el siglo XVII, abrieron una profunda herida entre las matemticas de las
islas y el continente. A principios del siglo XX, era evidente que las universida-
des britnicas haban permanecido en cierto modo al margen de la revolucin
matemtica extendida por los cinco continentes durante el siglo XIX, por ello
result sorprendente que el siguiente avance con respecto a la teora de los
nmero primos surgiera del Trinity College de Cambridge.
Godfrey Harold Hardy John Edensor Littlewood
Para ser justos, ha de reconocerse
el mrito del impulso que las mate-
mticas britnicas necesitaban a prin-
cipios del siglo XX, a la sociedad
intelectual formada en 1911 por
Hardy-Littlewood al que ms tarde,
en 1914, se le unira el genio des-
bordante del ind Ramanujan. De es-
ta colaboracin que durara 35 aos,
surgieron resultados fundamentales
en anlisis matemtico y teora de
funciones. Juntos realizaron aportaciones clave para el avance en el Problema de
Waring
15
como parte del mtodo del crculo Hardy-Littlewood. Juntos enunciaron
la Conjetura de Hardy-Littlewood
16
sobre la distribucin de los primos gemelos,
de forma anloga al teorema de los nmeros primos. Su trabajo conjunto en
la teora de nmeros primos sirvi de impulso de la teora de nmeros fun-
damentado en establecer un sistema de conjeturas cuya demostracin abrira
15
En teora de nmeros el Problema de Waring, propuesto en 1770 por Edward Waring en su obra
Meditationes Algebraicae, establece que todo entero positivo puede expresarse como suma de a lo sumo n
potencias k-simas positivas, siendo n dependiente de k (se entiende que k es un nmero entero positivo),
por ejemplo, todo nmero es la suma de al menos cuatro cuadrados, o 9 cubos, o 19 nmeros de
potencia 4, etc. La respuesta a esta conjetura es que es cierta, conocido como el Teorema de Hilbert-
Waring, y fue demostrado por Hilbert en 1909.
16
Si se denota como
2
(x) el nmero de primos p menores que x tales que p + 2 tambin es
primo, y la constante de los nmeros primos C
2
como el siguiente producto de Euler
C
2
=
p3
p(p 2)
(p 1)
2
0, 66016118158468695739278121100145 . . .
para primos mayores o iguales que tres. La conjetura establece que:
2
(x) 2C
2
_
x
2
dt
(log t)
2
en el mismo sentido en que el cociente de las dos expresiones tiende a 1 cuando x tiende a innito.
ISSN 2174-0410
27
una nueva dimensin de problemas. Pero el gran salto en la teora de nme-
ros primos estaba an por llegar. En 1914, tras nalizar la I Guerra Mundial,
Hardy demostr que existan innitos ceros en la expresin de Riemann que
estaban alineados en la recta x =
1
2
. Desgraciadamente, aunque este descubri-
miento signicaba un gran paso adelante en el intento de demostracin de la
Hiptesis de Riemann, ste no era an denitivo, puesto que no demostraba
que todos los ceros de la funcin zeta estaban sobre la recta en cuestin tal y
como Riemann conjetur. Es decir, por poner un ejemplo, podemos elegir los
nmeros pares y habremos demostrado que estos son innitos, sin embargo
nos quedarn innitos nmeros, los impares, que no habremos considerado.
Srinivasa Ramanujan
Una maana de 1913, Hardy recibi una carta de un
trabajador de 23 aos del puerto de la ciudad de Madrs
en la India, con un salario modesto de 20 rupias al mes.
Su nombre era Srinivasa Ramanujan. ste haba sido ani-
mado a escribir a varios distinguidos matemtico. La ver-
dad es que Hardy, al igual que el resto de destinatarios
de la carta (los matemticos E. W. Hobson y H. F. Baker),
estuvo a punto de deshacerse de ella, aunque esa noche
se sent junto a Littlewood con el n de desentraar el
misterio de los 120 teoremas que Ramanujan especica-
ba en su misiva. Entre algunos de ellos, Ramanujan, en
desconocimiento de los mtodos de Legendre, mejorados despus por Gauss,
especicaba una frmula que calculaba con un error minsculo la cantidad de
nmeros primos entre 1 y 100 millones. Horas ms tarde ambos reconocan es-
tar ante la obra de un genio, hasta tal punto que Hardy que tena su propia
escala de valores para el genio matemtico, consideraba que Ramanujan era
un 100, Hilbert 80, Littlewood 30 y l mismo 25. Algunas de las frmulas de
Ramanujan le desbordaron, pero escribi
. . . forzoso es que fueran verdaderas, porque de no serlo, nadie habra
tenido la imaginacin necesaria para inventarlas.
Al igual que Hardy, Ramanujan estaba obsesionado con los nmeros primos,
hasta tal punto que en su lugar de trabajo, en lugar de contar barcos, se pasa-
ba el da entero llevando a cabo complicados clculos matemticos sobre los
mismos. Aislado de la vanguardia matemtica de Occidente, lo sorprendente
y caracterstico de su genio matemtico es que fue capaz de reproducir por s
slo, de forma totalmente autodidacta, los resultados a los que Riemann haba
llegado 50 aos antes. La Universidad de Madrs le neg su acceso, en par-
te debido a la animadversin de Ramanujan hacia el resto de asignaturas que
no fueran matemticas. Por ello decidi aprender matemticas por su cuenta,
reclutado en su casa durante 5 aos, y aunque este nivel casi enfermizo de
obsesin hacia las matemticas es posible que no lleven a resultados importan-
tes, en el caso de Ramanujan le llev a resultados sorprendentemente claves en
la teora de nmeros. Invitado por Hardy, Ramanujan parti para Inglaterra en
1914 y comenzaron a trabajar juntos.
ISSN 2174-0410
28
En 1916, Ramanujan realizaba la siguiente conjetura:
n=1
(n)
n
s
=
p
1
1 (p)p
s
+ p
112s
donde la funcin (n) se dene como funcin tau de Ramanujan y se expresa
como
q
n=1
(1 q
n
)
24
=
n=1
(n)q
n
Dicha conjetura fue demostrada posteriormente por Louis Joel Mordell en 1920.
Ramanujan conjetur incluso que
|(p)| 2p
11
/
2
para todos los nmeros primos p, y Pierre Ren V. Deligne (1968/9) expuso que
sta era una consecuencia de las, por entonces an no demostradas, conjeturas
de Weil.
Con respecto a los nmeros primos, Ramanujan realiz esta increble con-
jetura:
2
(x) <
e x
log x

_
x
e
_
el nmero primo ms grande conocido que no cumple dicha inecuacin es el
!
38. 358. 837. 677!.
Ramanujan tambin demostr que,
Li(x) =
x
_
dt
log t
= + loglog x +
k=1
(log k)
k
k!k
donde es la constante de Euler-Mascheroni, cuyo valor es 0,5772156649..., y es
la constante de Soldner, cuyo valor es 1,4513692346.... Otra frmula de Ramanu-
jan que converge mucho ms rpidamente es
x
_
dt
log t
= + loglog x +
n=0
(1)
n1
(log x)
n
n! 2
n1
n1
2
k=0
1
2k + 1
En 1917 Ramanujan fue admitido en la Royal Society de Londres y en el Tri-
nity College, siendo el primer indio que lograba tal honor. Lo principal de los
trabajos de Ramanujan est en sus Cuadernos, escritos por l en nomenclatu-
ra y notacin particular, con ausencia de demostraciones, lo que ha provocado
una herclea tarea de descifrado y reconstruccin, an no concluida. Fascina-
do por el nmero , desarroll potentes algoritmos para calcularlo. De salud
muy dbil, regres a la India en 1919 con la intencin de mejorar su precaria
situacin fsica, pero morira vctima de la tuberculosis el 26 de Abril de 1920.
ISSN 2174-0410
29
4.4. La disputa entre Erd os y Selberg
Aunque tras las demostraciones (no elementales) de Hadamard y de la
Valle-Poussin, hubo varios autores que llevaron a cabo simplicaciones, en
particular Landau y Wiener, evitando en la medida de lo posible la teora de
funciones de Hadamard, an estaba lejos de encontrarse una demostracin
ms elemental. De hecho en 1921 G. H. Hardy realiz una conferencia en la
Sociedad Matemtica de Copenhage, en la que comentaba:
No se conoce an ninguna demostracin elemental sobre el teorema de
los nmeros primos, y uno podra preguntarse si es razonable esperar que
la haya. Ahora sabemos que el teorema es fundamentalmente equivalente a
un teorema sobre funciones analticas, el teorema que establece que la fun-
cin zeta de Riemann tiene races sobre una cierta recta. Una demostracin
de tal teorema, fundamentalmente no dependiente de la teora de funcio-
nes, me resulta extraordinariamente improbable. Es temerario armar que
un teorema matemtico no pueda ser demostrado de un modo particular;
pero una cosa parece clara. Tenemos cierta perspectiva sobre la lgica de
la teora; pensamos en algunos teoremas, que denominamos profundos,
y otros ms superciales; si alguien realizara una demostracin elemen-
tal del teorema de los nmeros primos, mostrara que estas perspectivas
son errneas, que el tema no se corresponde del modo al que habamos su-
puesto, y que es momento de que los libros sean reorganizados y la teora
reescrita.
Paul Erd os Atle Selberg
Prcticamente 50 aos despus de
las demostraciones de Hadamard y
de la Valle-Poussin, en el ao 1948, el
hngaro Paul Erd os y el noruego Atle
Selberg, anunciaron haber encontra-
do una demostracin elemental sobre
el teorema de los nmeros primos,
haciendo uso nicamente de propie-
dades sencillas de la funcin logarit-
mo. Desgraciadamente, este anuncio
condujo a una amarga disputa entre
los dos matemticos.
Erd os public su demostracin en un artculo del Boletn de la Sociedad
Matemtica Americana, denominado Sobre un nuevo mtodo en teora elemental
de nmeros que lleva a una demostracin elemental del teorema de los nmeros pri-
mos. Al mismo tiempo Selberg public su artculo Una demostracin elemental
del teorema de los nmeros primos en la revista Anales de Matemticas. Selberg
desarroll su mtodo de criba por el que recibi en 1950 la medalla Fields. ste
est basado en un teorema demostrado en 1973 por el matemtico chino Chen
Jingrun que dice que todo entero positivo par, es la suma de un primo y un nmero
producto de al menos dos factores primos (cuasiprimo). Selberg es actualmente cono-
cido como uno de los principales matemticos del siglo XX por su introduccin
de la teora espectral en la teora de nmeros, culminado en su descubrimiento
de la frmula que clasica todas las funciones aritmticas zeta. Por su parte,
ISSN 2174-0410
30
Erd os recibi en 1952 el Premio Cole. Su trabajo sirvi para sentar las bases de
la teora de grafos e hipergrafos y mtodos probabilsticos con aplicaciones en
combinatoria y teora de nmeros elemental. Ambos recibieron el premio Wolf,
Erd os en 1983/1984 y Selberg en 1986.
Referencias
[1] BERNDT, Bruce C.. Ramanujans Notebooks: Part IV, Springer-Verlag, New
York, 1994.
[2] CILLERUELO MATEO, Javier. La demostracin elemental del Teorema de los N-
meros Primos, Revista Nmeros, N 4344, pp. 243246, Sociedad Canaria
Isaac Newton de Profesores de Matemticas, septiembre 2000.
[3] COPEL, William A.. Number Theory: An Introduction to Mathematics,
Springer-Verlag, New York, 2006.
[4] CORRALES, Capi. Nmeros en Nm3ros, Revista SIGMA, N 30, pp. 137149,
Departamento de Educacin del Gobierno Vasco, mayo 2007.
[5] DOXIADIS, Apstolos. El To Petros y la Conjetura de Goldbach, Ediciones B,
Barcelona, 1998.
[6] DUNHAM, William. Euler. The Master of us all, pp. 3960, , Dolciani Mat-
hematical Expositions Vol. 22, Mathematical Association of America, Wa-
shington, DC, 1999.
[7] DU SAUTOY, Marcus. The Music of The Primes. Searching to Solve the Greatest
Mystery in Mathematics, Ed. Harper, New York, 2003.
[8] GOLDFELD, Dorian. The Elementary Proof of The Prime Number Theorem: An
Historical Perspective, pp. 106111, 172175, Universidad de Columbia, New
York.
[9] HARDY, Godfrey Harold y WRIGHT, Edward Maitland. An Introduction to
the Theory of Numbers, 4 Edicin revisada, Clarendon Press, Oxford, 1975.
[10] ODIFREDDI, Piergiorgio. La Matemtica del siglo XX. De los Conjuntos a la
Complejidad, 1 Edicin, Katz Editores, Buenos Aires, 2006.
[11] RIEMANN, Georg Friedrich Bernhard. Ueber die Anzahl der Primzahlen un-
ter einer gegebenen Grsse., Monatsberichte der Berliner Akademie, Berlin,
November, 1859.
[12] SNCHEZ FERNNDEZ, Carlos, y ROLDN INGUAZO, Rita. Goldbach. Una
conjetura indomable, Coleccin: La matemtica y sus personajes, 1 Edicin.
Nvola, Madrid, 2009.
[13] WELLS, David. The Penguin Book of Curious and Interesting Mathematics,
Penguin, Londres, 1999.
ISSN 2174-0410
31
[14] EN LA RED.
Pgina del Profesor Wilkins en el Trinity College de Dubln, dedicada al trabajo
que Riemann present a la Academia de Ciencias de Berln en 1859,
http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/
Blog de Fernando del lamo. Artculo sobre Bernhard Riemann,
http://www.historiasdelaciencia.com/?p=280
Wikipedia. Artculo sobre la Hiptesis generalizada de Riemann,
http://es.wikipedia.org/wiki/Hiptesis_generalizada_de_Riemann
. Artculo sobre Euclides,
http://es.wikipedia.org/wiki/Euclides
. Artculo sobre el Teorema de los Nmeros Primos,
http://es.wikipedia.org/wiki/Teorema_de_los_nmeros_primos
. Artculo sobre de la Valle-Poussin,
http://es.wikipedia.org/wiki/Charles-Jean_de_la_Valle_Poussin
. Artculo sobre Edmund Landau,
http://en.wikipedia.org/wiki/Edmund_Landau
. Artculo sobre Srinivasa Ramanujan,
http://en.wikipedia.org/wiki/Srinivasa_Ramanujan
Pgina del Museo de Bellas Artes de Montreal,
http://www.mbam.qc.ca/en/activites/dossier_25.html
Pgina de Archivo MacTutor de Historia de las Matemticas de la Universidad
de St. Andrews, Escocia, creado por John J. OConnor y Edmund F. Robertson.
Artculo de Chebyshev,
http://www.gap-system.org/~history/PictDisplay/Chebyshev.html
. Artculo de Mersenne,
http://www.gap-system.org/~history/PictDisplay/Mersenne.html
. Artculo de Jacques S. Hadamard,
http://www.gap-system.org/~history/PictDisplay/Hadamard.html
. Artculo de Johan P. G. L. Dirichlet,
http://www-history.mcs.st-andrews.ac.uk/Biographies/Dirichlet.html
. Artculo de Godfrey H. Hardy,
http://www.gap-system.org/~history/Biographies/Hardy.html
. Artculo de John E. Littlewood,
http://www-history.mcs.st-andrews.ac.uk/Biographies/Littlewood.html
Les-Mathematics.Net. Artculo sobre Paul Erd os,
http://www.les-mathematiques.net/histoire/histoire_erd.php
Artculo sobre Atle Selberg,
http://snl.no/Atle_Selberg
Base de datos de Archivos sobre Leonhard Euler,
http://www.eulerarchive.org/
Sobre el autor:
Nombre: Jos Manuel Snchez Muoz
Correo Electrnico: jmanuel.sanchez@gmx.es
Institucin: Grupo de Innovacin Educativa Pensamiento Matemtico. Univer-
sidad Politcnica de Madrid, Espaa.
ISSN 2174-0410
32
Esta obra est registrada
INFORMACIN SOBRE
DERECHOS
1110050230223
ISSN 2174-0410
33

Riemann y Los Numeros Primos

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Riemann y Los Numeros Primos

Загружено:

Авторское право:

Доступные форматы

Historias de Matemticas

Riemann y los Nmeros Primos

en la parte derecha de la igualdad; por lo tanto, si se suman

para un nmero nito de trminos, entonces la derivada

cos( log x)x

x ln(x), para todo x 2657.

Вам также может понравиться