Desde los comienzos del blog ciertas constantes han tenido un gran protagonismo en muchos artículos. Cierto es que el número se lleva la palma, pero pero también ha habido otras constantes a las que se les han dedicado artículos por su importancia y sus características, como
, la constante de Euler-Mascheroni
o el número
.

Número e

Los primeros 25 números primos
Y qué decir de los números primos, ellos sí que han aparecido en multitud de ocasiones por Gaussianos, ya sea demostrando su infinitud de varias formas (la demostración topológica me parece genial), generándolos o anunciando la aparición de nuevos miembros en esta familia tan peculiar.
Lo que no habíamos visto todavía (al menos que yo recuerde) es una relación más o menos clara y directa entre el número y los números primos. Vamos, una expresión que involucre a esta constante con este tipo tan especial de números, a este número irracional con estos números tan naturales. Pues ha llegado el momento.
El número
y los números primos
Hace unos días llego al correo de Gaussianos un mail donde Laurato, lector del blog, me informaba sobre una cierta relación entre el número y los números primos. En él comentaba que le causó cierta impresión encontrarse con una expresión así y quería saber si había alguna demostración de ese hecho. La relación es la siguiente:
siendo el primorial de
, que es el producto de todos los números primos menores o iguales que
.
El descubridor de esta expresión es el español Sebastián Martín Ruiz, conocido por sus interesantes trabajos sobre teoría de números, centrados principalmente en el estudio de los números primos. Hace unos días estuve dando una vuelta por su web…pero no encontré nada sobre esta expresión.
Pero, como no podía ser de otra forma, no me quedé ahí. La curiosidad pudo conmigo y seguí dando vueltas por internet buscando información sobre este curioso límite. Y, por fin, encontré algo. MathWorld me abrió los ojos con su artículo sobre funciones de Chebyshev. En dicho artículo se definen dos funciones llamadas funciones de Chebyshev, pero a nosotros nos interesa solamente una de ellas:
En esta expresión es el logaritmo neperiano,
denota el
-ésimo número primo y
es la función contadora de números primos, que nos da la cantidad de números primos menores o iguales que
.
Operando un poco con la expresión de llegamos a lo siguiente:
De esta función se sabe, entre otras cosas, que:
A partir de este límite la demostración de nuestro resultado es coser y cantar. Tomemos , siendo
el
-ésimo número primo. Tenemos entonces lo siguiente:
Por otro lado, usando la última expresión encontrada para tenemos que
Utilizando las dos expresiones anteriores obtenemos lo siguiente:
y usando las propiedades de los logaritmos
Intercambiando ahora por
obtenemos
De donde se obtiene la expresión buscada:
Las imágenes que ilustran el artículo están sacada de aquí y aquí respectivamente.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
[…] This post was mentioned on Twitter by gaussianos. gaussianos said: Gaussianos.com: ¿Que tiene que ver el número e con los números primos? http://bit.ly/9JuAdb […]
Off-topic:
El problema con la almohadilla es la codificación de caracteres en la URL, el código de la almohadilla (URL encoded) es %23, entonces, para sacarlo en látex:
$ latex \LaTeX\space\%23\space\LaTeX$
y sale
en teoría, existen otras alternativas como
$ latex \No$
$ latex \usepackage[ascii]{23}$
pero a mi no me han funcionado ni aquí ni en Sci-Notebook.
Off-topic:
Ahora se entiende porqué no se podía meter correctamente el símbolo «mayor que», como este editor admite elementos html, identifica (incorrectamente) el símbolo «mayor que» antes de parsear el LaTeX, sabiéndo ésto y que «mayor que» es 3e, ahora se puede hacer:
$ latex a<3%3ec$ (
)
un poco chapucerete el plugin que mezcla curras con "meninas"…
Vaya, curiosa propiedad. Según mathworld.com la función
es la función contador de números primos, no la función phi de Euler, corrijase si no me equivoco.
Información Bitacoras.com…
Valora en Bitacoras.com: No hay resumen disponible para esta anotación…
Cierto cierto Gaussito, se me fue. Lo corrijo ahora mismo.
josejuan, muchas gracias por la aclaración. Ahora mismo lo cambio todo.
Que hermosa demostración!
Que resultado tan intersante!
Descubren el origen de los números primos.
Ya se sabe dónde encontrar a todos los números primos de una manera simple.
http://transmultiversalidad.es.tl/El-origen-los-n%FAmeros-primos.htm
@Mislay, simple, simple, … el coste de encontrar el número primo n-ésimo con ese método supone una ventaja constante de 2,5 respecto al otro analizado, lo que únicamente supondría una mejora en una constante multiplicativa (que podría ser menor de 2,5). Es decir, que estamos en las mismas. Además, uno de los grandes problemas prácticos es determinar (con probabilidad 1) si un número N es primo, algo en lo que este método no parece ayudar (y el cual está resuelto mediante el test de primalidad AKS). Para generar (o enumerar) los números primos, existen varios algoritmos conocidos: la criba de… Lee más »
Bien explicado, muchas gracias.
hola, ante que nada felicitaciones por el blog, la verdad muy interesante.por otro lado quisiera hacer una pregunta, es poible que el lim (#p)^π(x) = e, espero que se entienda, esto seria el producto de los numeros primos menores que x elevado a 1/la cantidad de numeros primos menores que x, bueno espero que mi pregunta no sea muy tonta, saludos!