Os traigo hoy el problema de esta semana. Ahí va:
Probar que el producto de cinco enteros positivos consecutivos no puede ser el cuadrado de un número entero.
A por él.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Si el producto
entonces uno solo de los elementos es múltiplo de 5, y se puede escribir
Entonces
por lo que
también es multiple de 5, y podemos escribir
Simplificando:
que contradice que
no es multiple de 5! Así que el producto no puede ser un cuadrado
Para n=25 k es múltiplo de 5
Información Bitacoras.com
Valora en Bitacoras.com: Os traigo hoy el problema de esta semana. Ahí va: Probar que el producto de cinco enteros positivos consecutivos no puede ser el cuadrado de un número entero. A por él. Entra en Gaussianos si quieres hacer algún comentari…
Siguiendo la idea de Olivier aplicada al 2, 3 y 5, N^2 tiene que ser múltiplo de 4, 9 y 25 por lo menos.
Para que sea múltiplo de 9, solo puede ser n + 2 múltiplo de 9, puesto que si lo es n, solo tengo un múltiplo impar de 3 en n +3. Igualmente con n + 1 y n +4.
La distribución de múltiplos de 2 ha de ser siguiendo el mismo criterio:
n múltiplo de 2, n + 2 múltiplo de 4 y n + 4 múltiplo de 2.
No tomeis en cuenta mi comentario anterior pues es erróneo
Olivier
Que N2 sea múltiplo de 5, no implica que N sea múltiplo de 5
Jugando un poco con el numero se puede sacar que:
p(n) = n*(n+1)*(n+2)*(n+3)*(n+4) = n*(k^2 – 1)
donde k = n^2+5n+5
Y de ahí que nunca podrá ser un cuadrado perfecto.
Como curiosidad, si n es un cuadrado perfecto, se cumple que p(n)+n es un siempre un cuadrado perfecto. De esta propiedad se puede sacar fácilmente la primera factorización.
No sigo el final. ¿Puedes detallarlo algo más?
¿Como deduces a partir de n*(k^2 – 1) que ese producto no puede ser un cuadrado perfecto?
En el caso de que «n» fuese un cuadrado lo veo obvio, pero no en el resto.
Quizá lo estoy suponiendo como algo muy obvio, pero para que el producto sea un cuadrado perfecto tiene que darse que lo sean n y k^2-1, y el segundo es imposible que lo sea.
Disculpa nogrod, pero el producto de dos enteros que no sean cuadrados perfectos puede dar un cuadrado perfecto, ejemplo: n=3*4 y k^2 – 1 = 3. El producto es 36=6^2.
Eso, a priori, no es cierto. Puede ser que sin ser ambos cuadrados perfectos el producto lo fuera. En particular si n=k^2-1 (tampoco cuadrado perfecto), el producto te queda (k^2-1)^2.
El quid de la cuestión está en que k, como bien expusiste depende de n. Y casos como el que acabo de proponer no podrían darse.
Yo intenté ir acotándolo entre los cuadrado de dos números consecutivos (sin éxito).
Si ya te entiendo, yo he suspesto que por construcción de k esto no puede pasar, y tendría que demostrarse. Pero no tengo ninguna demostración.
En cualquier caso, este problema es un caso muy particular de cierto teorema (a menudo conocido como Teorema de Erdos-Selfridge), del cual desconozco la demostración (por lo que no me parece conveniente usarlo, además de que pierde toda la gracia, obviamente, y sería matar moscas a cañonazos). En cualquier caso y, a modo de curiosidad, el teorema dice que: Cualquier producto de k términos en progresión aritmética nunca puede ser una potencia n-ésima (con k,n mayores o iguales que 2). (En nuestro caso sería k=5, n=2 y obviamente la diferencia entre términos de la progresión 1). PD: No le he… Lee más »
Supongamos lo contrario: existe un n tal que p = n (n+1) (n+2) (n+3) (n+4) = m^2=q
para algún m.
Entonces estos polinomios p y q con iguales en una vecindad de m, por ser polinomios podemos derivar. Tenemos que todos positivos, luego K=0, k entero no cero, por tanto no existe tal m en R, car(R)=0.
Suponemos

pero esto último no es cuadrado, de lo contrario podríamos factorizarlo como tal.
Lo que ha dicho Guillén no puedo juzgarlo, puesto que no he entendido nada. Si alguien lo ha cogido agradecería que lo detallase.
Lo que dice Iordtec no es cierto. Si pudiésemos factorizarlo como cuadrado, eso implicaria que cualquier producto de cinco números consecutivos sería un cuadrado perfecto (puesto que esa propiedad no dependería de n). Por poner un ejemplo, x(x+12) no se factoriza como cuadrado y tomando x=4, esa expresión vale 4*16=64=8^2.
Voy a cambiar un poco la notación que habéis venido usando. Voy a llamar n al número central. El máximo común divisor de cualquier número con los que se diferencian de él en una unidad es 1 y con los que se diferencian en 2 unidades es 1 si el número es impar y 2 si el número es par. Aplicando lo anterior, para que el producto sea un cuadrado perfecto, n tiene que ser un cuadrado perfecto o el doble de un cuadrado perfecto. Por otra parte: Si n es un cuadrado perfecto, entonces tiene que ser un cuadrado… Lee más »
Miguel,
que N^2 sea múltiplo de 5 implica que es múltiplo de 25.
Si N^2 es múltiplo de un Nº primo p, es múltiplo de p^2.
Sea N = p^a1 * q^a2 *… * s^an con p, q, .., s su descomposición en nºs primos.
N^2 = p^2a1 * q^2a2 * … * s^2an
Olivier y Juanjo Escribano, aunque no parece que sea útil para este problema, se puede probar que el producto de 5 enteros consecutivos es siempre múltiplo de 120… o, dicho de otra forma: * múltiplo de 5 (obvio, como ya se ha visto), * múltiplo de 3 (o bien el central o bien otros dos no centrales serán múltiplos de 3) y * múltiplo de 8 : esto es un poquito menos evidente pero basta ver que en los 5 números habrá 2 ó 3 números pares. En el caso de haber 3 ya tenemos 3 doses que multiplicados dan… Lee más »
Eso es incorrecto. Por ejemplo, 8 y 10 son dos números pares consecutivos, uno de ellos es múltiplo de 4 y el otro no, y sin embargo, tienen 4 doses entre los dos.
Golvano
OK a tu comentario
Lo que quise decir fue que sí consideramos como polinomios, en R intersección Z dominio de P y Q, nos dará una solución si es que existe; x distinta de cero.
Supongamos que existe P(x)=Q(x) para alguna x.
Entonces en una vecindad de x son iguales, luego, derivando nos queda N(x)=0 para algún N en R[x]. Como R es de característica cero y N(X)>0 solo queda que n=0 ó que 0=k para algún k entero.
Sigo sin entenderlo muy bien. ¿Puedes explicar por qué el mismo razonamiento no vale para p(n)=n(n+5)(n+12)?
Golvano, cierto, cometí errores en mi anterior comentario. (intenté enviar este mensaje rectificando y no me permitía enviarlo) Y, por cierto, muy buena tu demostración. A partir del párrafo que empieza diciendo «Analizando aún más». No es correcto lo que dije de que debe haber 3 pares que deben estar en los lugares primero, central y último. También podría haber dos pares siempre que el múltiplo de 4 tuviese una multiplicidad del factor primo 2 que sea impar. Del mismo modo, tampoco es cierto que en el caso de haber 3 pares el central deba ser múltiplo de 4. Puede… Lee más »
Espera un momento. ¿No estarás exigiendo que p(n)=q(m) para n=m? Porque eso no es lo que se quiere demostrar.
Daniel Cao, aquí está el teorema de Erdös-Selfridge que decías:
http://www.renyi.hu/~p_erdos/1975-46.pdf
Es interesante que la solución de Golvano sea diferente de la que se utiliza para demostrar el teorema.
Lo que es evidente es que de los cinco números, al menos 2 son múltiplos de 2, uno es multiplo de 5 y al menos uno es múltiplo de 3.
hola, creo que se puede demostrar de la siguiente manera: primero escribimos (n-2)(n-1)n(n+1)(n+2)=(n²-4)n(n²-1) A continuación podemos estudiar el m.c.d entre los números: n²-4,n²-1 y n^2 (y en consecuencia respecto a n). Esto podemos hacerlo diferenciando el caso en el que n es par y en el que es impar. Tras estudiar los m.c.d. de (n²-4),(n²-1) y n se deduce que, para que el producto sea cuadrado ha de ser n=2, que es el caso que se descarta en el enunciado puesto que genera producto igual a 0. (Nótese también que (n²-4) y (n²-1) no son cuadrados (a no ser que… Lee más »
Efectivamente, acabo de leer el comentario de Golvano y viene a ser básicamente el que tenia en mente (Yo lo había pensado diferenciando el caso de par/impar para n, pero la resolución viene a ser la misma).
Saludos.
Este es mi planteamiento: Que se cumpla la igualdad a*b*c*d*e = f*f (con a,b,c,d,e enteros consecutivos positivos) equivale la expresión: a*b*c = d*e = f Aplicando valores numéricos, la primera posibilidad sería con los números 1 al 5, es decir: 1*2*3 = 6 4 * 5 = 20 Al ser el primer valor (6) inferior al segundo (20), podremos hacer permutas entre ambas expresiones para intentar igualar los valores. Analizando las combinaciones, no existe combinación que cumpla la igualdad. La combinación que más se acerca es: 5*2*1 = 10 4*3 = 12 Probando con la siguiente posibilidad, los números de… Lee más »
Jaz, hay otras opciones que no has contemplado, como que sea c=c1*c2 y entonces f=a*b*c1=c2*d*e.
Por ejemplo, con 6, 7, 8, 9 y 10, a*b*c=336 y d*e=90, pero haciendo c1=4 y c2=2 obtienes a*b*c1=168 y c2*d*e=160, dos valores bastante próximos. No garantizas que en algún caso no puedan ser iguales.
No es correcto mi planteamiento: los números implicados se pueden factorizar y por lo tanto se podría «permutar» sólo algunos de sus factores y esto no está observado.
… Exacto que es lo que acaba de comentar Mmonchi. Muchas gracias.
Un saludo,
jaz
Juanjo Escribano tiene razón en su primer comentario.
sólo uno de 5 números será multiplo de 5, pero puede darse el caso de que ese número sea multiplo de 5 más de una vez, como es el caso de 25. entonces no se cumple la afirmación «k no es múltiplo de 5».
Si n*(n+1)*(n+2)*(n+3)*(n+4)=p^2, entonces cada numero consecutivo tiene que ser menor que p en caso contrario el producto seria mayor que p^2, y como podemos poner
p^2/n=(n+1)*(n+2)*(n+3)*(n+4)
esto implica que p^2 es divisible en n, y como n es menor p, p es divisible en n, aplicando la misma idea para los otros numeros, entonces p divide a n, a( n+1), a( n+2), a(n+3), a (n+4), por lo que se puede poner p= K * n*(n+1)*(n+2)*(n+3)*(n+4), con k positivo, o esa
p=k*p^2, que es falso
Una duda Juan.
No me queda claro «p^2 es divisible en n, y como n es menor p, p es divisible en n».
Por ejemplo, para p=30 (=2*3*5) -> p^2 = 900 y 900 es divisible por 4, 9, 25, … pero 30 no es divisible por ninguno de ellos, que son menores de 30.
Un saludo,
jaz
Corriganme si estoy cometiendo algun error. Supongamos que p=n(n+1)(n+2)(n+3)(n+4)=m^2, para n Natural >0 Entre los factores de p hay siempre un y solo un multiplo de 5 y dos o tres multiplos de 2. Luego p es multiplo de 10 (es decir su ultima cifra es 0), pero no puede ser múltiplo de 100 porque tendría que haber en p algun otro factor multiplo de 5 cosa que es imposible. m=Raiz Cuadrada (p), pero esta raiz, sabiendo que p es multiplo de 10, solo puede ser exacta si p es múltiplo de 100, es decir si las dos ultimas cifras… Lee más »
Buenos días ENSP.
Yo creo que en el segundo comentario (de Juanjo Escribano | 8 de octubre de 2013 | 11:38), muestra que el único término que es múltiplo de 5, al descomponerse por factores, podría tener varios términos 5 (y no sólo uno).
Un saludo,
jaz
ESNP
La hipotesis es incorrecta, de hecho las posibles soluciones tienen que incluir a 4, 9 y 25 como divisores de p para poder hacer, por lo que serían múltiplos de 900 y siempre acabarían en 2 o mas ceros.
Mira mi comentario Juanjo Escribano | 9 de octubre de 2013 | 08:24
No lo había leidoy ahora me doy cuenta de que mi razonamiento es erroneo.
Muchas gracias.
Sigo intentandolo.
La respuesta correcta no sale publicada nunca?
Chefo
No, pero puedes intentar localizarla/s. Puede haber mas de una y tu debes pensar cual es la mejor.
En este caso yo me quedo con golvano | 9 de octubre de 2013 | 00:08 aun y no habiendose desarrollado en su totalidad
Lo cierto es que en ese comentario no entiendo el tercer parrafo, y a partir de ahí entonces no entiendo el porqué del resto.
Y si le damos la vuelta?
Con qué cantidad de números consecutivos multiplicados podemos conseguir un cuadrado?
Se puede con 3 o 4? o con 6?
Cartesiano, Ya lo dijo Daniel Cao… («Daniel Cao | 8 de octubre de 2013 | 18:57»). Nunca se podrá conseguir el cuadrado multiplicando números consecutivos (con que sean 2 o más ya es imposible)… Es más, no sólo es imposible el cuadrado, también es imposible el cubo y cualquier potencia (excepto 1, claro, jeje). El producto de números consecutivos NUNCA es una potencia!!! Ojo, el comentario de Daniel Cao dice que es tampoco se puede conseguir si en lugar de ser consecutivos forman cualquier progresión aritmética… Pero eso dicho así es falso. debe haber alguna condición más porque 2*4 =… Lee más »
* Perdón,
para d = 1 … será td = 1
(cuando la progresión es de diferencia 1, es decir, números consecutivos) el número de términos que debe tener para que no exista potencia debe ser mayor que td=1 (con dos números consecutivos ya es imposible que sea potencia y con más consecutivos tampoco)
Ok, pero cualquier pareja de números puede ser una progresión aritmética. Hacen falta 3 números para poder distinguir si es aritmética o no (como mínimo)
Siguiendo tu ejemplo 2*8=16 o 3*27=81