Naturales consecutivos
El problema de la semana es el siguiente:
Hallar todos los números naturales
tales que el conjunto
se pueda dividir en dos subconjuntos tales que el producto de los números de cada subconjunto sea el mismo valor.
A por él.
Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.
39 Comments
Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.
Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.
Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.
Responder a Asier Cancelar respuesta
Suscríbete por mail
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
ForoGauss
Si tienes alguna duda, pregunta o sugerencia visita ForoGauss, nuestro foro (click en la imagen). Seguro que alguien te podrá ayudar
Yo construí el poliedro de Császár
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
26/02/2008
La solucion es el conjunto vacio. Por reduccion al absurdo. Para cualquier m>5 m primo, si el multiplo de algun numero de la serie lo contiene, es el unico, con lo cual, si esta en un subconjunto, no hay un elemento en el otro subconjunto que anule ese factor primo. Por otro lado, dado que el factor 5 tiene que salir 2 veces, la unica manera es que la serie sea de la forma 5n, 5n+1, 5n+2, 5n+3, 5n+4, 5(n+1). Pado que los unicos factores primos que puede haber en la muestra son 2,3 y 5, entonces o bien, 5n=5*2^k o bien 5n=5*3^l (No puede contener los dos, porque entonces 5(n+1) tendria un factor no anulable. Si 5n=5*2^k (5n+1)=3^a (5n+2)=2^b pero 5n+3 deberia ser impar, pero por la distancia al ultimo multiplo de 3 y 5 no puede multiplo de estos, por lo tanto tiene un factor primo impar mayor que 5. Si 5n=5*3^l, (5n+1)=2^a’ pero 5n+2 deberia ser impar, pero por la distancia al ultimo multiplo de 3 y 5 no puede multiplo de estos, por lo tanto tiene un factor primo impar mayor que 5.
Saludos.
26/02/2008
Quizás haya que buscar naturales tales que el producto
sea un cuadrado perfecto
26/02/2008
Sí señor, Javier.
26/02/2008
Con seis elementos, los subconjuntos son 1-5, 2-4 o 3-3 elementos.
1-5, el producto de cinco consecutivos es siempre mayor que el siguiente.
2-4 para n=1 es mayor el de 2 elementos y a partir del n=2 es mayor el subconjunto de 4.
3-3 son combinaciones de 6 elementos considerados de 3 en 3 total 20 posibilidades. Hoja de calculo para ver que todos los discriminantes no tienen raiz exacta, luego coincido con Javier: no hay solución.
saludos
Ap2
27/02/2008
hola perdon por ocupar este espacio pero tengo la necesiada de pedir ayuda en un problema que no he podido resolver en casi 4 años.
les pido de favor que me echen la mano con esto por fa les dejo mi mail por si me quieren comunicar algun resultado.
el problema dice asi: pedro tenia cierta cantidad de discos que repartio entre todos sus amigos, al primero le dio un disco y un septimo de los restantes; al segundo le dio dos y un septimo de los restantes; al tercero le dio tres discos y un septimo de los retantes; asi suscesivamente hasta que regalo todos sus discos.¿ahora esta es la cuestion cuantos discos fueron los que regalo y entre cuantos amigos los regalo?
por favor ayudenme. se los agradecere de corazon. saludos desde mexico.
ruben_1156@hotmail.com
29/02/2008
Hola Rubén,
Es un problema curioso, simplemente probando:
– La solución trivial n=1 y 1 amigo, funciona
– n=36 y son 6 los amigos también.
Ahora la pregunta fuerte, y que la intuición dice que es cierta, es n=36 la única solución no trivial?
29/02/2008
Olvidé mencionar, lo que mas bonito me parece del problema, con 36 discos, todos los amigos se quedan con igual número de discos!
29/02/2008
Voy a resolverlo de forma que se pueda comprender desde un nivel más básico (para dummies como yo). Deliberadamente no hablaré de módulos y cuando diga subconjunto me referiré a la multiplicación de los elementos del mismo:
A) Los dos subconjuntos deben forzosamente ser de tres elementos ya que desarrollando es fácil ver que se cumple que:
(n+4)(n+5)< n(n+1)(n+2)
B)El subconjunto que contenga el factor n, será de la forma:
n(n+a)(n+b)
y por tanto su resto será 0 si se divide por n
(Explicación: n(n+a)(n+b) dividido por n nos da un número natural exacto que es (n+a)(n+b), y por tanto su resto es cero)
C)El otro subconjunto (el que no contiene el factor n) tambien debe dar 0 si se divide por n esto solo puede ocurrir si:
(n+1)(n+2)(n+5) o bien en (n+2)(n+3)(n+5)
(Explicación: en el primer caso al desarrollar la constante es 10 y en el segundo 30 que es lo mismo que decir resto cero)
C) Ahora bien si hacemos:
(n+1)(n+2)(n+5)= n(n+3)(n+4)
Desarrollando vemos que los valores para n son ambos negativos: -18/6 y -20/6
Y lo mismo sucede para:
(n+2)(n+3)(n+5)=n(n+1)(n+4)
cuyas raices son: -1 y -20/6
Por tanto no hay ningún número natural que cumpla el enunciado.
03/08/2017
¿De donde sacas que resto 10 o resto 30 es lo mismo que resto 0?
01/03/2008
Interesante el problema de Ruben. Lo he estudiado un poco y la única solución es, como comenta David,
. En general, siguiendo la manera de distribuir descrita por Ruben, si llamamos 
a la fracción de discos restantes que va entregando (
en el problema original), la solución general y única en cada caso (salvo por la trivial 
) es: 
01/03/2008
Y como aclara David, en el caso general también los
discos se reparten entre 
amigos quedándose cada amigo con 
discos.
03/03/2008
Retomando el problema original del post, ¿qué podemos decir acerca del caso general? es decir, ¿es posible encontrar
naturales consecutivos de manera que se puedan dividir en dos subconjuntos tales que el producto de los números de cada subconjunto sea el mismo valor?
Sospecho que no aunque no he dado con una demostración. ¿Alguna idea?
03/03/2008
pues gracias a david,asier, y otro chavo que me contacto y que dieron la misma repuesta.
la verdad no soy matematico, pero este preoblema no se por que me llamo la atencion,asi que la verdad nunca me hubiera pensado como lo hicieron ustedes.
asi que no se si alguno me podria contactar para explicarme mas detenidamente la solucion, por que, la he comprobado mas no entiendo perfectamente como se obtuvo.gracias de nuevo.
saludos de guerrero,mexico.
03/03/2008
Asier, la generalización que propones es muy interesante. Parece complicado.
¿Se puede dividir el conjunto
, con 
, en dos subconjuntos tales que el producto de los números de cada subconjunto sea el mismo valor?
Con un poco de teoría de congruencias, sé que no es posible si
es primo. Sale fácil usando el teorema de Wilson y sabiendo que, en este caso, -1 no tiene raíz cuadrada módulo k. Este caso incluye el problema propuesto (k=7). Para otros casos no he podido aún sacar nada en general.
En general, -1 tiene raíz cuadrada módulo m (es decir,
tiene solución) si y sólo si 
, donde 
y 
.
03/03/2008
Te agradezco el interés, Domingo.
números, 
no puede ser primo (2).
Yo he deducido que todos los números tienen que ser compuestos (1) y que si tenemos
Para (1) supongamos que uno de esos números es primo (
). Para ‘compensarlo’ otro número (al menos 
) tiene que contener el factor primo 
, pero como son consecutivos significa que entre medio (postulado de Bertrand) hay otro primo. De esta manera deducimos que no puede haber primos.
Para (2), dado que por (1) todos son compuestos, si tenemos
números consecutivos siendo 
primo, está claro que uno y solamente uno de ellos tiene a 
como divisor propio, con lo cual la hipotética igualdad en el producto de los subconjuntos no podría darse.
Tus deducciones junto con las mías (si es que son correctas…) parecen no dejar mucho margen para que tal conjunto exista… ¿lo podremos demostrar?
04/03/2008
Asier, me ha encantado tu razonamiento para ver que los hipotéticos números consecutivos deben ser compuestos. Es un hecho en el que no había caído. Por otro lado, (2) es cierto y no es necesario el hecho de que los k números sean compuestos.
Pero me temo que tendremos que estudiar el caso
, siendo 
primo, antes de atacar el caso general (este valor k que estoy usando corresponde a k-1 en tu caso).
El caso
primo se resuelve bien con la idea de Tito Eliatron (en el segundo comentario), usando el teorema de Wilson y que -1 no tiene raíz cuadrada módulo 
. Sin embargo, para el caso 
primo esta idea no parece ser útil pues -1 sí que tiene raíz en este caso. Habría que descartar la opción por otra vía, si es que se puede descartar (que todavía no lo veo claro…)
04/03/2008
Hay un teorema de Erdos-Selfridge, de 1975, que es algo más general:
1975-46 P. Erdos, J. L. Selfridge : The product of consecutive integers is never a power, Illinois J. Math. 19 (1975), 292–301 ( MR51\#12692; Zentralblatt 295.10017.
El artículo se puede encontrar en
http://www2.renyi.hu/~p_erdos/Erdos4ht.html
04/03/2008
Tremendo, fede!!! Muchas gracias por el link!! La verdad es que es una ironía llamar a estas cosas «teoría elemental de números»…
04/03/2008
Muy bueno el link, fede, además se pueden ver cantidad de trabajos de Erdos, muy interesante!
En cuanto al problema planteado, queda ya así aclarado que no existe tal conjunto.
04/03/2008
Relacionado con el tema, es curioso el caso en el que tenemos el producto de cuatro números consecutivos: le falta siempre uno para llegar a ser un cuadrado:
04/03/2008
Asier:
05/03/2008
El problema es muy fácil si nos fijamos únicamente en los números impares del conjunto.
Uno y sólo uno de ellos (de los impares siempre, ojo) será multiplo de 3. Los otros dos tendrán forzosamente otros factores impares. En el mejor de los casos uno de ellos tendrá el factor 5, pero el restante no podría tener ni 3 ni 5, tendría que ser 7 o mayor (puede haber otro número con factor 5, pero sería par).
Y como un factor 7 o mayor sólo puede aparecer una vez en una serie de 6 numeros naturales consecutivos, no hay ningún valor de n que satisfaga el problema.
11/03/2008
Quiza les interece resolver este problema, agradecerìa si me echan una mano.
«Dado n>0, sea S un conjunto cuyos elementos sean enteros positivos <=2n tales que si ‘a’ y ‘b’ pertenecen a S y ‘a’ es diferente de ‘b’, entonces ‘a no divide a b’. ¿Cual es el màximo nùmero de enteros que puede contener S?».
11/03/2008
Infinito.
11/03/2008
Weno, creo q la soluciòn es ‘n’, aunq no puedo demostrarlo. Es claro que el numero es <=n, ya que para n+1 siempre existe a y b tal que ‘a divide a b’. Sin embargo esto no justifica que la soluciòn sea n. Es esto lo que deseo que prueben.
11/03/2008
Bueno, la demostración va por partes.
Primero voy a demostrar que cualquier número mayor o igual que (n+1) pertenece a
.
<2
Para ello, baste ver que si se divide el mayor número de todos por él, queda un número menor que dos. Como menor que dos sólo está el uno, resulta que no hay número natural que pueda cumplir esa división, por lo tanto, pertenece al subconjunto.
Por lo tanto, n+1 pertenece. Si n+1 pertenece, n+2 también porque lo único que haría sería aumentar el denominador y hacer aún menor el factor, sin igualarlo nunca a 1.
Ahora se trata de demostrar que todo número menor o igual que n no pertenece al subconjunto. Llamemos i a uno de esos números. Si 2i pertenece al subconjunto, ya i no puede estar en el conjunto.
Pero esto siempre se cumple por lo siguiente:
Luego i es divisible por un número mayor que él (2i) que podría estar en el subconjunto, o un múltipo de él que de cualquier manera también sería múltiplo de i.
Luego el número en el subconjunto sería
11/03/2008
Entre los números
, Belén ha hecho muy bien en indicar que el subconjunto 
cumple las condiciones exigidas (y tiene n elementos). Pero a mi entender no se ha respondido del todo a la cuestión que planteaba Joseph. ¿Puede existir un subconjunto con 
elementos que cumpla las condiciones? La respuesta es no, pues dados n+1 números cualesquiera comprendidos entre 1 y 2n siempre habrá uno que divide a otro.
Por tanto, para cada n, los conjuntos maximales tienen n elementos.
11/03/2008
Gracias por la soluciòn, me ha sido de gran ayuda. 🙂
11/03/2008
¿Les parece evidente esta afirmación: «dados n+1 números cualesquiera comprendidos entre 2n números consecutivos (cualesquiera también) siempre habrá uno que divide a otro»? ¿Alguien la demuestra?
Propongo también «demostrar que dado un conjunto de 2n números consecutivos, en cualquier subconjunto de n+1 números hay dos de ellos que son primos entre sí.»
11/03/2008
La primera afirmación es falsa, Domingo.
La segunda es cierta dado que en esos n+1 números necesariamente habrá dos consecutivos, y esos dos serán primos entre sí.
11/03/2008
Eso es, Asier. Lo que sí es cierto es que «dados n+1 números cualesquiera comprendidos entre 1 y 2n siempre habrá uno que divide a otro», y se debe a Erdös. ¿Lo demostramos?
12/03/2008
Domingo:
Supongamos que en el conjunto de números elegido, tal que cumplen la condición que enuncias hay M números pares.
Cada uno de esos números podrá expresarse de la forma:
P = 2^E · I
Con I impar y diferente en todos los casos (si no fuera así, los P no podrían estar juntos en el conjunto).
Y puesto que cada número par P del conjunto excluye a un candidato impar I diferente, el máximo de números impares en el conjunto, cuando hay M números pares, será (n-M), y el total:
M + (n-M) = n
12/03/2008
OK, esa es la idea, Sive!
12/03/2008
¿Qué sabéis de la conjetura de Collatz? ¿Está demostrada?
12/03/2008
«El gran matemático Paul Erdos (1913-1996) creía que la matemática aún no estaba preparada para este problema aparentemente tan simple.»
Hace un mes hubo una charla en Cosmocaixa Barcelona sobre ello a la que me hubiera encantado asistir
http://www.fundacio1.lacaixa.es/SGI/Actividad.jsp?idActividad=21085&idTemaGen=-1&idTemaPro=-1&idCentro=918245&idTipoCentro=-1&idPerfil=&idTipoAct=14&idIdioma=1
http://www.dmae.upm.es/cursofractales/capitulo4/1.html
12/03/2008
Es un problema abierto muy interesante…
12/03/2008
Gracias Domingo, es que pensando en el problema que has planteado, se me ha ocurrido una posible vía para su demostración.
Perder unas cuantas horas y no resolver nada, no me preocupa, es divertido. Pero invertir ese tiempo en demostrar (lo consiga o no) algo ya demostrado, me sentaría bastante mal.
Puedo dar por hecho que la conjetura está abierta entonces ¿no?
12/03/2008
Bueno, yo tengo una soluciòn un tanto parecida del problema planteado por Domingo, quiza es la misma idea 😛
Lo q haremos es expresar a todos los numeros entre 1 y 2n de la forma (2^a)*k, k impar. Es necesario recordar que en este caso existe la posiblidad de a=0. Asi, los valores de k fluctuan entre los impares 1 y 2n-1, es decir n valores. Ya que(2^a)*k representa la totalidad de los numeros, estos son generados por los ‘n valores de k’, observando
. . . .
. . . .
. . . .
4 12 20 .
2 6 10 .
1 3 5 . . . 2n-1
f_1 f_2 f_3 f_n
Ahora bien si el conjunto S de n+1 elementos tomamos por lo menos dos que pertenecen a una misma fila, inevitablemente uno dividira al otro.
Lo mismo ocurre si tomamos mas de dos.
Entonces una salida que nos queda es cojer uno de cada uno, sin embargo tendriamos solo n elementos, por lo que necesariamente tomaremos otro de alguna fila f_i, pero ya un elemento de esta habia sido tomada por lo que necesariamente existiran dos elementos que se dividen.
Ahora bien, si de alguna fila no se coje elemnto alguno, es un caso analogo al anterior(se tomaron mas de una misma fila)
Por lo tanto no tenemos opciòn, para toda elecciòn de n+1 elementos existe siempre uno que divide al otro.
«Puro razonamiento verdad» jeje
12/03/2008
Eso es Joseph, básicamente es lo mismo que decía Sive. Es un clásico ejemplo para usar el principio del palomar (o en inglés, que queda más académico, pigeonhole principle).
http://es.wikipedia.org/wiki/Principio_del_palomar