Algunos tipos de nmeros primos

Los nmeros primos han intrigado a los matemticos (y no

matemticos) por ms de 2500 aos; y es que su comportamiento
dentro de los nmeros naturales es algo que hasta nuestros das sigue
siendo un misterio.

No es de extraarse que el gran el matemtico hngaro Paul Erds,
dijera en una ocasin: "Quiz Dios no juega a los dados con el universo,
pero algo raro sucede con los nmeros primos".

Los nmeros primos son nmeros naturales que solo son divisibles por
el uno y por si mismos, es decir, que cuando dividimos un nmero primo
por un nmero distinto de el mismo y del uno, obtenemos un nmero
que no es un entero.

Los primeros nmeros primos son:


2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31...


(Desde el siglo 18 se ha convenido en no considerar al uno como
nmero primo).
Muchas preguntas pueden hacerse acerca de los nmeros primos, tales
como:
- Cuntos nmeros primos existen?
- Cmo estn distribuidos los nmeros primos?
- Hay alguna frmula que produzca nmeros primos?

Al correr de los aos, muchos matemticos han intentado dar respuesta
a este tipo de preguntas y a muchas ms concernientes a la Teora de
Nmeros, y en su bsqueda, encontraron nmeros primos que
comparten ciertas caractersticas y que por alguna extraa razn, ahora
reciben el nombre de sus descubridores.


Por este tipo de nmeros podemos encontrarnos con los primos ms
famosos como los Primos de Fermat y a los Primos de Mersenne, pero
tambin a otros no tan famosos como los Primos de Wieferich y
los Primos de Wagstaff.

Discutamos brevemente algunos de estos tipos de nmeros primos.

1. Primos de Fermat

Pierre Fermat fue lo que se conoce como un matemtico aficionado que
naci en Francia en 1601. Hoy en da es conocido como el padre de la
Teora de nmeros y el Rey de los aficionados.
Fermat, como era su costumbre, conjetur que todos los nmeros
naturales de la forma:



con -n- un nmero natural, eran nmeros primos.

La afirmacin de Fermat es cierta para los nmeros n 0, 1, 2, 3 y 4. Ya
que


son efectivamente nmeros primos.

El enunciado quedo como conjetura hasta que en 1732 Euler prob que
F5 es divisible por 641, esto es,




Con esto se demostr que la conjetura realizada por Fermat era falsa.
Hoy en da los nmeros son llamados nmeros de Fermat y nicamente
se conocen los primeros 5 nmeros de Fermat (escritos arriba y que ya
conoca Fermat) como nmeros primos.
La cuestin ms importante por resolver es quiz: Solo los nmeros 3,
5, 17, 257 y 65537 son primos de Fermat? existen ms? Y en tal
caso Cuntos ms? 5, 20, 1000 o una infinidad?
Se ha conjeturado que solo existe un nmero finito de primos de
Fermat, sin embargo, tambin se ha conjeturado que existe una
infinidad de estos primos.

2. Primos de Mersenne


Mann Mersenne fue un filsofo francs contemporneo de Fermat y que
mantuvo correspondencia con l.
Mersenne al estilo de Fermat, conjeturo en 1644 en su obra Gogitata
PhysicoMathematica que Mn = 2^n -1 es un nmero primo cuando





y que no es primo para algn otro n menor a 257. Esta lista es muy
interesante, ya que nmeros como



son extremadamente grandes.
La pregunta que la mayora se hace es: Cmo le hizo Mersenne para
hacer tales observaciones?, pues en su tiempo no haba algn buen
mtodo para decidir si un nmero muy grande es primo o no.

Pese a lo buena que parezca la conjetura, la lista dada por Mersenne
tenfa algunos errores que fueron demostrados finalmente 300 aos
despus por A. Ferrier en 1947.
Los errores son los siguientes:

i) Los nmeros M67 y M27 no son nmeros primos.
ii) Los nmeros M61, M39 y M107 son nmeros primos.

Los nmeros primos de la forma



ahora se conocen como primos de Mersenne.

La bsqueda de primos de Mersenne se ha intensificado gracias al uso
de las computadoras.

Actualmente se concocen 47 nmeros primos de Mersenne, el 12 de
Abril de 2009 fue descubierto el ltimo primo de Mersenne conocido, el
primo es un nmero de 12837064 dfgitos, sin embargo, no es el primo
ms grande, pues el primo de Mersenne ms grande fue el 46 primo de
Mersenne descubierto y tiene 12978189 dgitos.
Paul Bateman, Paul Selfridge y Stan Wagstaff establecieron lo que se
conoce como la Nueva Conjetura de Mersenne, que dice as:
Sea p un nmero primo impar entonces los siguientes dos enunciados
son equivalentes:

1. M, es primo.
2. Los siguientes dos enunciados son ambos verdaderos o ambos
falsos:



La pregunta que no puede faltar es Cuntos primos de Mersenne
existen? Se ha conjeturado, de manera natural, que existen una
infinidad.


3. Primos de Sophie Germain


Sophie Germain (1776 1831) fue una matemtica francesa que hizo
grandes aportaciones a la Teora de Nmeros y estuvo interesada en
resolver el ltimo Teorema de Fermat.
Ella demostr en 1823 que si -p- es un primo de la forma p =2q + 1
donde -q- es tambin un nmero primo, entonces no hay enteros a, b y
c distintos de cero y no hay mltiplos de -p- que cumplan la igualdad



El resultado anterior lo obtuvo en sus intentos por demostrar el Ultimo
Teorema de Fermat y se conoce como el primer caso del Ultimo
Teorema de Fermat.
Los nmeros primos p de la forma p = 2q + 1 donde -q- es tambin un
nmero primo, se conocen como primos de Sophie Germain.
Los primeros primos de Sophie Germain son:


La lista podra continuar usando los nmeros primos

q : 41,53,83,89,113,173,179,191,233,251,281

El mayor primo de Sophie Germain conocido a la fecha es el nmero
48047305725 x 2^172403-1
que tiene 51910 dgitos y fue descubierto el 25 de Enero de 2007. Se ha
conjeturado que existe una infinidad de este tipo de primos.

4. Primos de Cullen

Los nmeros de la forma



fueron estudiados por James Guiten en 1905 y reciben el nombre de
nmeros de Guiten. Si un nmero de Cullen es adems un nmero
primo, este recibe el nombre de primo de Guiten. Cullen afirmo que
aparte de C1 = 3 y quiz alguna otra excepcin todos los nmeros de
Cullen para n de O a 100 eran nmeros no primos, la excepcin a la que
se refera Cullen fue C53, el cual fue descartado como primo por
Allan Joseph Gunningham quien descubri que este nmero es divisible
por 5591. Se ha conjeturado que existen una infinidad de estos primos.

Algunos valores de n para los cuales se obtiene primos de Cullen son:

n = 1,141,4713,5795,6611,18496,32292,32469,59656,90825,262419,
361275, 481899...

El primo de Cullen ms grande que se conoce es 6679881 x 26679881 +
1, un megaprimo con 2010852 dfgitos y que fue descubierto en Japn
en Agosto del 2009.


5. Primos de Wieferich

En 1909 el matemtico alemn Arthur Joseph Alwin Wieferich (1884
1954) publico el siguiente resultado con respecto al Ultimo Teorema de
Fermat:



El primo p mencionado en el teorema anterior es conocido como primo
de Wieferich.
1093 y 3511 son los nicos primos de Wieferich que se conocen, el
primero fue descubierto por W. Meissner en 1913 y el segundo por N. G.
W. H. Beeper en 1922.
El 9 de Marzo de 2004 Richard Mclntosh completo una bsqueda de
primos de Wieferich con un resultado desfavorable, pues no pudo
encontrar nuevos primos de este tipo.
Se ha conjeturado que existen un nmero finito de primos de Wieferich,
sin embargo, la conjetura abc en caso de ser cierta, establecerla que
existen una infinidad de este tipo de primos.

6. Primos de Wagstaff

Dentro de la nueva conjetura de Mersenne se mencionan una clase de
nmeros primos, los nmeros primos de la forma


donde q es primo.

Estos nmeros primos se conocen como los primos de Wagstaff en
honor al matemtico Samuel S. Wagstaff Jr.
Los tres primeros primos son

...683, 2731, 43691, 174763, 2796203, 715827883 y 2932031007403,
son algunos ejemplos ms de primos de Wagstaff.
El primo ms grande que se conoce de este tipo es


y fue descubierto por Tony Reix en febrero de 2010. Algunos otros
exponentes -q- que producen primos de Wagstaff o probables primos
son:

3,5,7,11,13,17,19,23,31,43,61,79,101,127,167,191,199,313,347, 701,
1709, 2617, 3539, 5807, 10501, 10691, 11279, 12391, 14479, 42737,
83339, 95369, 117239, 127031, 138937,
141079,267017,269987,374321,986191,4031399,...


7. Primos de Wilson


Jhon Wilson (17411793) estableci en Teorema de Nmeros el
conocido Teorema de Wilson, que es utilizado a la hora de decidir si un
nmero es primo o no.
Un nmero primo de Wilson es un nmero primo p tal que p^2 divide a
(p - 1)! + 1.
Actualmente solo se conocen tres nmeros primos de esta clase: 5, 13 y
563 descubiertos por Goldberg en 1953.
Se ha conjeturado que la probabilidad de que un nmero primo p sea un
primo de Wilson es 1/p


8. Primos de Woodall


En 1917 H. J. Woodall introdujo los nmeros que pueden escribirse de la
forma
n x 2^n -1
conocidos como nmeros de Woodall.
Si un nmero de Woodall es adems un nmero primo, este recibe el
nombre de primo de Woodall.

Los tres primeros primos de este tipo son: 7, 23 y 383.

Algunos valores de n para los cuales se obtienen primos de Woodall son
n = 2,3,6,30,75,81,115,123,249,...

Se cree que casi todos los nmeros de Woodall son no primos, sin
embargo, esto es todava una conjetura.
El primo de Woodall ms grande que se conoce es el nmero

752948 x 23752948 - 1
el cual tiene 1129757 dgitos y fue descubierto en Diciembre de 2007
por Matthew J. Thompson.
Un hecho curioso es que el primo de Mersenne M521 = 2^521 - 1 puede
escribirse tambin como un primo de Woodall, esto es,




Esta es la colaboracin para el IX Carnaval de Matemticas de Vctor Antonio Aguilar
Arteaga UAQ a quin agradezco su colaboracin y participacin con tan interesante artculo, a la
vez que animo a todos a participar aunque no se posea blog como ha hecho Vctor.

EL TEOREMA DE LOS NMEROS PRIMOS
Entre las muchas cuestiones en las que estn implicados los nmeros primos,
una de las ms interesantes concierne a su distribucin entre los nmeros
enteros. Se distinguen de sus parientes no primos de una manera puramente al
azar? O existe alguna regla, algn patrn discernible con el que ocurren los
nmeros primos? La respuesta a la ltima pregunta es "una especie de". Si sta
parece una especie de respuesta evasiva e insatisfactoria, en el presente trabajo
esperamos demostrar que realmente es una respuesta muy atrevida que
parafrasea uno de los resultados ms espectaculares de todas las matemticas:
el teorema de los nmeros primos.
Quien investigue la distribucin de los nmeros primos debera empezar con
una lista. A continuacin, se escriben los primeros 25 nmeros primos menores
que 100:

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41,

43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97
Si hay aqu un patrn, no es nada claro. Por supuesto, todos los nmeros
primos mayores que 2 son impares, pero esto no es de mucha ayuda. Advertimos
unas cuantas lagunas en los nmeros primos: no hay ninguno del 24 al 28 ni del
90 al 96, siendo este ltimo nmero una serie de siete nmeros compuestos
consecutivos. Por otra parte, vemos que algunos nmeros primos ocurren
solamente separados dos unidades -por ejemplo, 5 y 7 59 y 61-. Estos nmeros
primos contiguos, que tienen la forma de p y p+2, se llaman nmeros primos
gemelos.
Para aumentar el nmero de datos, reunimos todos los nmeros primos
desde el 101 al 200:

101, 103, 107, 109, 113, 127, 131, 139, 149,151,

157, 163, 167, 173, 179, 181, 193, 197, 199
Esta vez hay 21 nmeros de esta clase. Una vez ms observamos lagunas,
como los nueve nmeros compuestos seguidos del 182 al 190, aunque los
nmeros primos gemelos persisten a lo largo de esos nmeros hasta el 197 y 199.
En un estudio de la distribucin total de nmeros primos, pareca que las
lagunas (en las que los nmeros primos consecutivos estn muy separados) y los
nmeros primos gemelos (en los que los nmeros primos consecutivos estn muy
juntos) deberan jugar un importante papel. Existen lagunas ms largas entre los
nmeros primos? Son las existencias de nmeros primos gemelos infinitos?
Interesantemente la primera pregunta se responde fcilmente, pero la segunda es
uno de los misterios irresueltos de la teora de nmeros.
Comencemos con la respuesta fcil. Supongamos que se nos pide una ristra
de cinco nmeros compuestos consecutivos. Consideremos los nmeros:

6!+2 = 722, 6!+3 = 723, 6!+4 = 724, 6!+5 = 725, 6!+6 = 726
Es fcil ver que ninguno de estos nmeros es primo, pero es ms instructivo
preguntar por qu esto es as. El primer nmero es 6!+2 = 6 5 4 3 2 1+2. Puesto
que 2 es un factor de 6! y de s mismo, 2 es un factor de la suma 6!+2. De ah que
6!+2 no sea un nmero primo. Pero tampoco lo es 6!+3 = 6 5 4 3 2 1+3, ya que
3 divide igualmente a ambos trminos y por consiguiente a la suma de los dos.
Asimismo, 4 es un factor de 6! y de 4, y, por tanto de su suma, igualmente 5 es
un factor de 6!+5, y 6 es un factor de 6!+6. Puesto que cada uno de estos
nmeros tiene un factor, ninguno es primo. Hemos generado, por tanto, cinco
nmeros consecutivos que no son primos.
Se puede argir convincentemente que hemos realizado una bsqueda
demasiado complicada. Despus de todo, los cinco nmeros compuestos
seguidos 24, 25, 26, 27, 28 serviran exactamente igual. Por qu introducir
factoriales que nos llevan hasta el 700?
La respuesta es que necesitamos un procedimiento general. Si nos piden una
serie de 500 nmeros compuestos seguidos, el examen de una lista de nmeros
primos no sera realista, pero el razonamiento utilizado anteriormente
suministrar una serie de esta clase exactamente de la misma manera.
Esto es, comenzamos con el nmero 501!+2 y tomamos los nmeros enteros
desde un nmero hasta el 501!+501. Es evidente que esto nos da 500 nmeros
enteros consecutivos. Casi tan evidente es el hecho de que todos estos nmeros
son compuestos, ya que 2 divide exactamente a 501!+2, 3 divide exactamente a
501!+3, y as sucesivamente hasta 501, que divide exactamente a 501!+501. Aqu
hay 500 nmeros compuestos consecutivos.
Exactamente el mismo procedimiento comenzando con 5.000.001!+2
producira cinco millones de nmeros consecutivos con ningn nmero primo
entre ellos, y podramos exactamente producir con la misma facilidad cinco mil
millones o cinco billones consecutivos de nmeros compuestos. Esta
argumentacin tiene una pasmosa consecuencia: existen lagunas arbitrariamente
largas entre los nmeros primos.
Esto significa que si continuramos como antes contando los nmeros
primos entre cada centena de nmeros enteros, alcanzaramos un punto en el que
no habra ningn nmero primo en absoluto -una centena de nmeros seguidos
desprovista de nmeros primos-. Pero la situacin es an ms extraa. Cuando se
trata de una ristra de cinco millones de nmeros compuestos consecutivos,
examinaramos 50.000 grupos consecutivos de cien nmeros enteros cada uno y
nunca encontraramos un nmero primo entre ellos! En este punto parecera
practicamente cierto que se nos han agotado del todo los mmeros primos.
A quien crea esto lo remitimos a la demostracin de la infinidad de los
nmeros primos. Deben existir enormes lagunas, lagunas tan grandes que ningn
humano podra contarlos durante toda la vida; sin embargo, ms all de estas
lagunas, en alguna parte deben existir ms nmeros primos, siempre ms
nmeros primos. Literalmente son inagotables.
Qu hay sobre el otro tema? Son las existencias de los nmeros primos
gemelos similarmente inagotables? Los especialistas en teora de nmeros han
luchado con este problema durante siglos. Incluso entre los nmeros muy
grandes, los nmeros primos gemelos saltan aqu y all. Los nmeros primos
1.000.000.000.061 y 1.000.000.000.063 son un ejemplo. Pero hasta el da de hoy
nadie puede demostrar que existe un nmero infinito de nmeros primos
gemelos. La cuestin permanece irresuelta. Aunque este problema contina
desconcertando a las mejores mentes matemticas, la cuestin de la infinidad de
los tripletes de nmeros primos es fcil de establecer. Decimos que tres nmeros
primos forman un triplete si adoptan la forma p, p+2 y p+4. Por ejemplo, los
nmeros 3, 5 y 7 son un triplete. Existen conjuntos infinitamente numerosos de
stos?
Para responder a esta cuestin, observamos en primer lugar que cuando un
nmero cualquiera se divide por 3, el resto debe ser 0, 1 2. As si tenemos el
triplete de nmeros primos p, p+2 y p+4 y dividimos por 3, existen tres posibles
resultados. Quiz el resto es 0. Esto es, podra ser mltiplo de 3, es decir, p=3k
para cualquier nmero entero k. Si k=1, entonces p=3, y nos encontramos con el
triplete 3, 5 y 7 otra vez. Pero si k > 2, entonces p=3k no es un nmero primo,
porque habra dos factores propios, 3 y k. Se sigue que 3, 5 y 7 son el nico
triplete posible para este caso. Alternativamente, el resto de dividir p por 3 podra
ser 1, de modo que p=3k + 1 para cualquier nmero entero k > 1. (Ntese que
podemos eliminar k=0 ya que p = 3 0 + 1 = 1 no es un nmero primo). Para este
caso el segundo miembro del triplete es p+2 = (3k + 1) + 2 = 3k + 3 = 3(k + 1).
Obviamente, p+2, al tener los factores 3 y k+1, no puede ser un nmero primo.
Concluimos que no hay tripleta en este caso. Finalmente, supongamos que p
dividido por 3 nos da un resto de 2. Entonces, p=3k +2 para cualquier entero
k > 0. Por tanto, el tercer nmero del triplete es p+4=(3k + 2) + 4 = 3k + 6 = 3(k
+ 2). Pero entonces p+4 no es un nmero primo, ya que tiene un factor de 3.
Ningn triplete de nmeros primos encaja tampoco en esta categora.
Reuniendo nuestros resultados, vemos que el nico conjunto de tripletes de
nmeros primos es el triplete sencillo: 3, 5, 7. La respuesta a la pregunta "Existe
un nmero infinito de tripletes de nmeros primos?" es un sonoro "no". Slo hay
uno. Sin embargo sustituyendo la palabra tripletes por gemelos convierte esto en
un problema ingente.
Que se puede decir acerca de la distribucin global de los nmeros primos
entre los nmeros enteros? Una opcin es acercarse al problema reuniendo datos,
examinndolos y buscando pruebas de una posible regla.
Introducimos el smbolo t(x) para representar el nmero de primos menores
o iguales que el nmero entero x. Por ejemplo, t(8) = 4, ya que 2, 3, 5 y 7 son los
cuatro nmeros primos menores o iguales que 8. Asimismo, t(9) = t(10) =
4 tambin. Pero t(13) = 6, ya que 2, 3, 5, 7, 11, y 13 son los seis nmeros primos
menores o iguales a 13.
Ahora reunimos datos. Esto supone contar nmeros primos y construir una
tabla para t(x). Vamos a dar una lista de los valores de t(x) para potencias de 10
desde 10 a 10.000 millones. Las dos columnas de la derecha de la tabla requieren
una explicacin. Una da los valores de

t(x)
x
que es la proporcin de los nmeros menores o iguales a x que son primos. Por
ejemplo, hay exactamente 78.498 nmeros primos menores o iguales que un
milln, de manera que

t(1.000.000)
=
78.498
=

0,078498

1.000.000 1.000.000
Esto significa que el 7.85 por ciento de todos los nmeros por debajo de un
milln son primos, y el 92.15 por ciento son nmeros compuestos.





x t(x) t(x) /x r(x) = x / t(x)

10 4 0,40000000 2,50000000
100 25 0,25000000 4,00000000
1.000 168 0,16800000 5,95238095
10.000 1.229 0,12290000 8,13669650
100.000 9.592 0,09592000 10,4253545
1.000.000 78.498 0,07849800 12,7391781
10.000.000 664.579 0,06645790 15,0471201
100.000.000 5.761.455 0,05761455 17,3567267
1.000.000.000 50.847.534 0,05084753 19,6666387
10.000.000.000 455.052.512 0,04550525 21,9754863





La columna ms a la derecha nos da el inverso de t(x) / x a lo cual
llamamos r(x).

Para el caso de x = 10,
r(10) =
10
=
10
= 2.5

t(10) 4
La razn de incluir esta columna es que finalmente identificaremos r(x), al
menos aproximadamente, como un entidad matemtica familiar.
Qu patrones estn claros en la tabla? Est claro que cuando x aumenta, la
proporcin de nmeros primos menores o iguales a x disminuye (examnese la
tercera columna). En otras palabras, los nmeros primos se hacen
proporcionalmente ms escasos cuando nos desplazamos a los nmeros mayores.
Un momento de reflexin sugiere lo razonable de este fenmeno. Despus de
todo para que un nmero sea primo no debe ser divisible por ningn nmero
menor. Para los nmeros pequeos, que tienen pocos predecesores, tal
escapatoria es ms probable. Por tanto, para que 7 sea primo, slo necesita no ser
divisible por 2, 3, 4, 5 6. Pero para que 551 sea primo, no puede ser divisible
por 2, 3, 4, 5, ..., 549 y 550, y esto parece mucho menos probable. (De hecho,
551 es divisible por 19 y, por tanto, no es un nmero primo.) De la misma
manera que es ms fcil correr entre las gotitas de una lluvia ligera que en una
violenta tormenta, as es ms fcil para un nmero ser primo si tiene unos pocos
nmeros, ms pequeos, de los que evadirse.
Pero los matemticos tienen algo ms fuerte que la inocua observacin de
que los nmeros primos se hacen ms escasos conforme vamos avanzando en el
valor de los nmeros. Buscan una regla o frmula que refleje, al menos a grandes
rasgos, la distribucin de los nmeros primos. Para esto parece que la tabla es de
poca ayuda. Incluso el observador ms perspicaz ser perdonado por no localizar
un patrn entre sus nmeros.
Sin embargo existe uno -sutil, refinado, y completamente inesperado-. Para
localizar el patrn, debemos considerar el nmero e y el logaritmo natural. Puede
parecer muy fantstico que e tenga algo que ver con los nmeros primos, pero
este nmero surge en los sitios ms inesperados.
Por tanto, aumntese la tabla para incluir una columna con los valores
de e
r(x)
. Por ejemplo, cuando x=10, r(x) = 10/4 = 2,5 de modo que introducimos
el valor e
2,5
= 12,182494 en la columna de la derecha. Procediendo de esta forma,
obtenemos:




x r(x) = x / t(x) e
r (x)


10 2,50000000 12,182494
100 4,00000000 54,598150
1.000 5,95238095 384,668125
10.000 8,13669650 3.417,609127
100.000 10,4253545 33.703,4168
1.000.000 12,7391781 340.843,2932
10.000.000 15,0471201 3.426.740,583
100.000.000 17,3567267 34.508.861,36
1.000.000.000 19,6666387 347.626.331,2
10.000.000.000 21,9754863 3.498.101.746






Aunque la columna de la derecha no muestra una regularidad perfecta, se
siente un principio subyacente de accin: conforme nos desplazamos hacia abajo,
cada nmero de la derecha parece ser unas diez veces ms grande que el valor de
arriba. Parece como si al caer de una lnea a la siguiente -y, por tanto, al
aumentar el valor de x en un factor de 10- el valor de e
r (x)
aumenta
aproximadamente tambin en un factor de 10.
El fenmeno se puede resumir mediante la expresin algebraica:

e
r (10x)
~ 10 e
r (x)
para un x grande
Esta expresin simplemente dice que al aumentar el valor de x a 10 x, el
nuevo producto, e
r (10 x)
ser unas diez veces ms grande que el antiguo
producto, e
r (x)
.
Aunque no lo pueda parecer, esta observacin es importante. Hemos
establecido como nuestro objetivo la identificacin de r(x) y ahora, al menos
estamos en posesin de una formula relevante, a saber, e
r (10 x)
~ 10 e
r (x)
.
Seguramente esto no es cierto para cada funcin. Si podemos encontrar una que
obedezca esta regla, habremos recorrido un largo camino para identificar r(x).
Podemos invocar a los logaritmos naturales. Tenemos que: ln (e
x
) = x , lo
cual quiere decir que al tomar logaritmos se deshace el proceso de potenciacin.
Pero esto es valido en la otra direccin: si comenzamos con x, tomamos su
logaritmo natural y luego elevamos el resultado a una potencia, volvemos al
valor de x, es decir, e
ln x
= x .
En un ejemplo numrico, si x = 6 , entonces:

ln 6 = 1,791759469 , y e
ln x
= e
ln 6
= e
1,791759469
= 6.

Hemos vuelto donde habamos empezado.
Por tanto, si empezamos con 10 x, tomamos el logaritmo natural para
obtener ln (10 x) y luego lo elevamos a una potencia para obtener e
ln
(10 x)
, la propiedad de inversin muestra que sencillamente volvemos a obtener
de nuevo 10 x . Esto es, tenemos e
ln (10 x)
= 10 x . Pero es claro que 10 x = 10
e
ln x
. Poniendo juntos estos dos hechos, concluimos que:

e
ln (10x)
= 10 e
ln x


Lo que resta es considerar esta ecuacin al lado de relacin anterior. Es
decir, comparamos:

e
r (10x)
~ 10 e
r (x)
y e
ln (10x)
= 10 e
ln x


Los patrones son idnticos. Hacemos una atrevida hiptesis: r(x) es
aproximadamente igual a ln(x) cuando x es grande.
sta es la esencia del teorema de los nmeros primos, aunque
ordinariamente refundido en una forma ligeramente diferente. Esto es, podemos
sustituir r(x) por x / t(x) para obtener x / t(x) ~ ln x y despus tomar
los inversos para acabar con:


EL TEOREMA DE LOS NMEROS PRIMOS.
t(x) / x ~ 1 / ln x
Para un valor grande de x.

En esta forma se aprecia el teorema en toda su gloria. Sostiene que la
proporcin de nmeros primos entre los nmeros enteros, t(x) / x , es
aproximadamente igual al inverso de ln x cuando x es grande. Resulta
sumamente extraordinario que la distribucin de los nmeros primos est ligada
de esta manera al logaritmo natural.
Por supuesto, no hemos demostrado nada. Ni lo demostraremos. Hemos
captado sencillamente, un poco de cul deba ser la respuesta. Como una especie
de comprobacin numrica, modificamos nuestra tabla para incluir t(x) /x y
su aproximacin 1/ln(x):




x t(x) /x 1 / ln (x)

10 0,40000000 0,43429448
100 0,25000000 0,21714724
1.000 0,16800000 0,14476483
10.000 0,12290000 0,10857362
100.000 0,09592000 0,08685890
1.000.000 0,07849800 0,07278241
10.000.000 0,06645790 0,06204207
100.000.000 0,05761455 0,05428681
1.000.000.000 0,05084753 0,048225494
10.000.000.000 0,04550525 0,04342945





Ciertamente, la concordancia no es perfecta, pero parece mejorar al
aumentar x. Como muestra la ltima lnea, la proporcin de los nmeros primos
menores o iguale s a 10.000 millones difiere de 1/ln(10.000.000.000) slo en
0,002, de manera que la aproximacin es de 2 partes por mil por defecto. Por
alguna extraa razn, cuando tienden al infinito los nmeros primos marchan al
son del logaritmo natural.
Si alguien piensa que nunca se podra discernir esta relacin, se le aconseja
que vuelva a pensarlo. Entre los papeles del adolescente de 14 aos Carl
Friedrich Gauss, apareci lo siguiente:
nmeros primos menores que a ( = ) a / l a
Qu significan estos apuntes? En primer lugar, podemos sustituir "nmeros
primos menores que a" por su equivalente moderno, t(a). Adems, es claro que "
l a " es nuestro "ln a". Y con seguridad " ( = ) " significa " cuando a " o
"para valores grandes de a". Por tanto, la frase crptica de Gauss se traduce en:

t(a) ~ a / ln a
para valores grandes de a.

Dividimos los dos miembros por a para obtener:

t(a) / a ~ 1 / ln a
para valores grandes de a.

Y esto es exactamente el teorema de los nmeros primos como lo habamos
enunciado anteriormente. Claramente el adolescente Gauss haba reconocido el
patrn.
Puede parecer que este logro no fue muy diferente de la habilidad de
Houdini para escapar de una caja de caudales sumergida en el agua y con una
cadena alrededor -lo que es lo mismo que decir que los talentos del muchacho
parecen cosa de magia-. Pero no debemos olvidar que Gauss haba estado
fascinado siempre por los nmeros y que tena un cociente de inteligencia
astronmicamente alto.
Como se advirti, Gauss reconoci el patrn pero no lo demostr. Ni lo hizo
nadie en los cien aos siguientes, Al fin el teorema de los nmeros primos fue
demostrado por Jacques Hadamard (1865-1963) y C. J. de la Vallee Poussin
(1866-1962) en 1896 usando ciertas tcnicas muy complicadas de la teora de
anlisis de nmeros. Adems de compartir casi los mismos aos de vida,
Hadamard y Vallee Poussin descubrieron sus demostraciones independientes y
simultneamente, y as comparten el honor de haber erigido esta piedra miliar
matemtica.
Concluimos con una enrgica observacin. Literalmente, se han demostrado
miles de teoremas acerca de los nmero primos desde el tiempo de Euclides hasta
nuestros das. Muchos son importantes; algunos de gran belleza. Pero entre ellos,
slo uno, que es el llamado universalmente el teorema de los nmeros primos.