…podemos encontrar series de números compuestos consecutivos tan largas como queramos?
Me explico: dado un número natural cualquiera (sí, sí, cualquiera) podemos encontrar un conjunto de
números naturales consecutivos tal que todos ellos son compuestos. ¿Cómo? Muy sencillo:
Sabemos que
es divisible por
. Entonces
es divisible por
,
es divisible por
, … ,
es divisible por
. Tenemos aquí un conjunto de
números naturales consecutivos que son compuestos.
Tomando
en vez de
obtenemos que
es divisible por
,
es divisible por
, … ,
es divisible por
y
es divisible por
. Dado un
número natural cualquiera obtenemos así una serie de
números naturales consecutivos tal que todos ellos son compuestos.
Comentario: Con este procedimiento encontramos una serie de números naturales consecutivos tal que todos son compuestos, pero no tiene que ser la menor posible. Por ejemplo, para
la serie que encontramos es
,
y
, pero la más pequeña posible
,
y
. Aunque eso no es problema ya que lo que nos interesaba es la existencia de esa serie.
Y, como he dicho antes, puede ser cualquier número natural, da igual lo grande que sea. Es decir, hay series de números naturales consecutivos enormemente grandes entre los cuales no hay ningún número primo. Cosas como esta pueden hacer más difícil creerse que el conjunto de números primos es infinito, pero en realidad es así. En este blog ya hemos visto dos demostraciones de este hecho: la demostración de Euclides y la demostración utilizando números de Fermat.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Muy interesante, no se me habia ocurrido, en fin esto probablemente puede usarse para descartar rangos, aun que aun no me familiarizo bien con el problema, en una primera mirada puede ser posible.
Saludos desde Viña del Mar
¿Cómo se llaman éstas series?
Las series de números compuestos consecutivos que se encuentran entre dos números primos forman lo que se denomina «laguna», «desierto», «hueco», o «gaps between primes». Y así como existe el primo(n) o p(n) también existe la laguna(n) o g(n). El tamaño de la laguna es igual a diferencia entre los dos números primos, menos 1.
Desde luego, es un resultado sorprendente y, a primera vista, chocante. Sin embargo, teniendo en cuenta que la densidad de números primos en los naturales disminuye a medida que «avanzamos», intuitivamente se puede ver que es cierto.
Me ha gustado mucho esta demostración, tanto como el resultado, pues es constructiva y se puede visualizar fácilmente con números pequeños.
Un saludo,
Solaufein
Es interesante que se puedan encontrar secuencias de números compuestos consecutivos arbitrariamente largas en los naturales, pero más impactante es el reciente teorema de Green-Tao (al primero le ha valido recientemente el premio SASTRA Ramanujan 2007, mientras que al segundo le valió en parte una medalla Fields). Es fascinante que en los primos existan progresiones aritméticas tan largas como se desee.
Cierto Domingo, eso es aún más impactante.
A ver si me acuerdo y escribo algo sobre eso.
Yo me pregunto hace tiempo si este resultado tiene alguna consecuencia sobre la conjetura de Golbach: se me hace difícil aceptar que frente a estas ‘lagunas’ sea siempre posible encontrar dos números primos para representar cualquier par del ‘hueco’.
No es tan elegante, pero hay otro conjunto de n números naturales consecutivos entre mcm(2, 3, 4, …, n) + 2 y mcm(2, 3, 4, …, n) + n, que son a lo sumo iguales y generalmente menores que n! + 2 … n! + n.
Y si n > 3, también sirve (creo, de esto no estoy tan seguro) mcm(2, 3, 4, …, n) – n … mcm(2, 3, 4, …, n) – 2.
En relación a lo escrito por «otro», se me ocurre proponer las dos siguientes cuestiones:
1) Probar que existe una constante positiva C,
, tal que
, si
(
suficientemente grande).
Esta propiedad es muy interesante. La función mcm crece acotada por una exponencial, mientras que la función factorial no.
2) Como curiosidad, demostrar que
, siendo
el número áureo.
También se puede probar con el primorial de n, o sea, n#. n#~es divisible entre cualquier número primo menor o igual que n, así que n#+p (y n#-p, salvo en el caso que indiqué antes cuando mencioné lo de mcm(1, 2, …, n) de p=n=3) es divisible por p si p es un número primo menor o igual que n. Si p no es primo pero es menor o igual que n, es producto de primos que sí entran en el caso anterior, y n#+p y n#-p siguen siendo divisibles entre alguno de los factores de p y por tanto… Lee más »
Aunque el tema está bastante muerto, me parece de interés que figure aquí una demostración de las dos propiedades que puse en un comentario anterior (en especial de la primera): 1) «existe una constante positiva , tal que , si » Veámoslo. Dado , hay primos menores o iguales que . Además, si es primo, entonces la mayor potencia de menor o igual a es , con . Así pues, . Tomando logaritmos llegamos facilmente a que . Finalmente, el teorema de Chebychev sobre primos nos dice que existe una constante tal que , para suficientemente grande. Esto demuestra (1).… Lee más »
Este link es muy interesante:
http://primes.utm.edu/howmany.shtml
en mi comentario previoo hay una pequeña errata. En la expresión del mcm como producto de primos, los exponentes deben aparecer en términos de partes enteras de lo que aparece escrito.
¿Sabía que…
El apellido de Pafnuty Lvóvich se translitera de varias maneras: Cebisev, Chebychev, Tchebychev, Tchebycheff, Tschebyscheff, etc. Sin embargo la forma más aceptada y utilizada es:
Chebyshev.
[…] entonces hay aproximadamente un % de primos entre los 1000 primeros. O que este es la media de la distancia entre dos primos consecutivos entre estos 1000 primeros números (aunque puede ser menos, como en los primos gemelos, o mucho más, como vimos aquí). […]
solo por divertirme: ____________ «…podemos encontrar series de números compuestos consecutivos tan largas como queramos …» será más bien: EXISTEN series de números compuestos consecutivos tan largas como queramos. pero que las podamos encontrar ..hummm … o encuentra tu, por decir algo, una serie de G números compuestos, (donde G es el número de graham) TOMA! _________ y solo para seguir divirtiéndome, me devuelvo yo mismo el golpe: { (G+1)!+2, (G+1)!+3, (G+1)!+2, (G+1)!+4, … , (G+1)!+G, (G+1)!+G+1} TOMA tu serie ferchosan6 y SOBATE! jajaja Ahora si en serio …» Comentario: Con este procedimiento encontramos una serie de n números naturales… Lee más »
veamos [vía numberempire], por el lado de la conjetura más específica, algunos ejemplos más: Número 40321 (8!+1) Factorización: 61*661 Número 362881 (9!+1) Factorización: 19*71*269 Número 3628801 (10!+1) Factorización: 11*329891 Número 39916801 (11!+1) Factorización: (es primo) se nos acabó la dicha para n = 11, cuya serie comienza con 12!+2 [hasta 12!+12] y podría tener una menor, completando la anterior, la de n=10 (que va desde 11!+2 hasta 11!+11) desde abajo, agregandole el miembro 11!+1 para que así completara 11 miembros (..pero no se «puo compita») y por arriba 11!+12 ? Número 39916812 (11!+12) Factorización: 2^2*3*13*255877 valla, se salvó la patria,… Lee más »