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.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
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.
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
Ú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.
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… Lee más »
Quizás haya que buscar naturales tales que el producto
sea un cuadrado perfecto
Sí señor, Javier.
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
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;… Lee más »
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?
Olvidé mencionar, lo que mas bonito me parece del problema, con 36 discos, todos los amigos se quedan con igual número de discos!
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… Lee más »
¿De donde sacas que resto 10 o resto 30 es lo mismo que resto 0?
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: 
Y como aclara David, en el caso general también los
discos se reparten entre 
amigos quedándose cada amigo con 
discos.
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?
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.
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)… Lee más »
Te agradezco el interés, Domingo. Yo he deducido que todos los números tienen que ser compuestos (1) y que si tenemos números, no puede ser primo (2). 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… Lee más »
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… Lee más »
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
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»…
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.
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:
Asier:
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… Lee más »
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?».
Infinito.
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.
Bueno, la demostración va por partes. Primero voy a demostrar que cualquier número mayor o igual que (n+1) pertenece a . 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. <2 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… Lee más »
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.
Gracias por la soluciòn, me ha sido de gran ayuda. 🙂
¿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í.»
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í.
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?
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
OK, esa es la idea, Sive!
¿Qué sabéis de la conjetura de Collatz? ¿Está demostrada?
«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
Es un problema abierto muy interesante…
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?
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 .… Lee más »
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