Un bonito (y sencillo) ejercicio relacionado con el principio de inducción consiste en demostrar que el cuadrado de la suma de cualquier conjunto de enteros positivos consecutivos que comience en el 1 es igual a la suma de los cubos de dichos números. Es decir, que para todo se cumple que
Podéis intentar resolverlo vosotros mismos, aunque si os atragantáis con él tenéis la resolución del mismo con inducción en este post donde, además, se da un procedimiento para generar conjuntos finitos con esta propiedad, a los que cariñosamente llamé conjuntos CuCu (de cuadrados-cubos).
El caso es que es interesante esta propiedad de que el cuadrado de la suma sea igual a la suma de los cubos, por lo que no está de más preguntarse qué otras colecciones de números la cumplen. Manos a la obra entonces.
La cuestión que queremos resolver es la siguiente:
¿Cuántas sucesiones
de enteros positivos cumplen que
para todo
?
Es decir, ¿cuántas sucesiones CuCu existen? Esta pregunta fue planteada por nuestro amigo Antonio Rojas en este tuit hace unos días. Gracias a él tenemos hoy aquí esta entrada.
Vamos con nuestro problema. Está claro, por lo comentado al principio, que la sucesión cumple dicha propiedad, por lo que es una de las soluciones. La cosa es demostrar que es la única o encontrar qué otras sucesiones CuCu hay.
Para ello vamos a partir de la igualdad
y vamos a ver qué forma debe tener si esa igualdad es cierta. La demostración por inducción es, posiblemente, la primera opción que pasa por nuestra cabeza. De este método de demostración nosotros vamos a utilizar únicamente el primer paso, el que corresponde a
:
por lo que, como , nos asegura (simplificando) que
.
Y ahora, en vez de continuar con inducción, vamos a usar la siguiente propiedad:
Si
, para todo
, entonces
para todo
.
Sea y sea
. Como partimos de que son iguales se cumplirá la propiedad mencionada ahora mismo. Tenemos que
Por otro lado tenemos lo siguiente:
Igualando ambos resultados obtenemos lo siguiente:
Sacando factor común en el término de la izquierda y simplificando tenemos que
Aplicamos ahora el mismo proceso a esta igualdad. Sean
y
Como , entonces
. Calculemos estas dos expresiones:
y
Tenemos entonces la siguiente igualdad:
Pero el segundo término es una diferencia de cuadrados, por lo que se puede expresar como suma por diferencia. Quedaría:
Y simplificando nos queda lo siguiente:
y esto se cumple para todo En particular para
, de donde obtenemos que
. Pero sabíamos que
, por lo que nos queda que
. Pero entonces de
obtenemos que
. Y siguiendo con este proceso llegamos a que, obligatoriamente, debe ser
, para todo
.
Por tanto, la única sucesión CuCu de números enteros positivos es , para todo
. Una propiedad tan particular no podía cumplirla una sucesión cualquiera, tenía que pertenecer a una sucesión también muy particular.
Como comentario final, es posible que en este caso concreto muchos de vosotros veáis más sencillo resolver el ejercicio con inducción en vez de seguir el camino que hemos seguido aquí. Me parecería razonable, pero nunca está de más conocer nuevos «trucos» que podemos usar al intentar «hacer magia» con las demostraciones. Creo que por ello esta entrada tiene el interés suficiente como para aparecer en este blog.
Esta entrada es mi segunda aportación a la Edición 4.1231 del Carnaval de Matemáticas, que en esta ocasión organiza Joaquín desde Matemáticas interactivas y manipulativas.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: Un bonito (y sencillo) ejercicio relacionado con el principio de inducción consiste en demostrar que el cuadrado de la suma de cualquier conjunto de enteros positivos consecutivos que comience en el 1 es igual a la suma de l……
En esta estupenda página podeis ver muchas igualdades de este tipo:
http://euler.free.fr/
(en identities)
A mí se me ocurre el siguiente razonamiento. Al calcular el siguiente término, no puede haber más de 3 soluciones (en los números reales), ya que estamos en grado 3. Una solución es el siguiente término de la sucesión n, otra es la solución trivial, 0, y la otra es el negativo del término anterior, ya que se anulan estos dos términos en los dos lados. No puede haber más soluciones, y las dos últimas no son válidas, luego la única válida es la sucesión n.
golvano,
¿puedes explicar de qué polinomio de grado 3 estás calculando las raíces?
(¿o era un chiste?)
Pues del que se obtiene cuando conoces los primeros términos de la sucesión y quieres calcular el siguiente, que es la incógnita.
Si hablamos de sucesiones finitas, y cuyos elmentos puedan repetirse, hay un número infinito de ellas. Cojamos por ejemplo N = 12.
Sus divisores son {1, 2, 3, 4, 6 y 12}. Y el número de divisores de cada uno de ellos son {1, 2, 2, 3, 4, 6}. Entonces,
1^3 + 2^3 + 2^3 + 3^3 + 4^3 + 6^3 = 324 = (1 + 2 + 2 + 3 + 4 + 6)^2
Y esto para todo N (Liouville dixit).
¿Y se puede obtener así la igualdad 1^3 + 2^3 + … + n^3 = (1 + 2 + … + n)^2?
Si, tomando N = p^n, con p primo. Los divisores de N son
d(N) = {1, p, p^2, …, p^n}
Y el número de los divisores de estos últimos es justamente
{1, 2, …, n}
Aqui tengo una demostración gráfica de la fórmula para la suma de los cubos:
http://www.xente.mundo-r.com/ilarrosa/GeoGebra/Suma_cubos.html
[…] ¿Cuántas sucesiones CuCu existen? […]
Teniendo en cuenta que, tanto la sucesión de los números naturales como la de los cubos son progresiones aritméticas de ordenes uno y tres respectivamente, si obtenemos sus sumas por diferencias sucesivas obtenemos las conocidas fórmulas:
Suma de los n primeros números = n*(n-1)/2 y
Suma de los n primeros cubos = n^2*(n-1)^2/4.
O sea que el cuadrado de la suma es igual a la suma de los cubos.
Mejor olvidar mis dos anteriores comentarios. No había leído con la suficiente atención el principio del post, y no conocía el más antiguo https://gaussianos.com/como-generar-conjuntos-cucu/, en el que además se me cita … Me fustigo severamente por ello. Para compensar, añadiré que no todas los colecciones cu-cu (digo colecciones por la posible repetición de elementos) se obtienen por el método de Liouville, como ya señalo Icosaedro en el otro post. Para añadir algo realmente distinto, diré que a partir de cualquier colección de enteros se puede obtener otra que es Cu-Cu. Definamos la característica de Liouville de una colección A de… Lee más »
Una versión mas general del problema seria:
Hallar todos los
,
,
,
para los cuales se cumple la siguiente igualdad.
R.- Una respuesta ‘parcial’ seria:
,
,
, 
http://es.wikipedia.org/wiki/Anexo:Series_matem%C3%A1ticas
Para los estudiantes laboriosos, se propone este relativamente fácil problema:
1) Demostrar que para n entero natural arbitrario hay una infinidad de sucesiones CuCu de reales positivos teniendo n elementos.
2) Construir una de 3 elementos, similar a la dada por
(a_1,a_2,a_3 )=(1/3 ,(2+√6)/3 ,(3+√(81+24√6) )/6 )
PREGUNTA PARA MATEMÁTICOS: ¿existe alguna sucesión CuCu de racionales positivos no enteros?
Bonito disfraz: sea a(n)=n*sen((PI(8n+1)/4)).
Para cualquier n, (suma(a(n)))^2= suma(a(n)^3).
JJGJJJG,
sen(pi(8n+1)/4) = sen(2pi*n + pi/4) = sen(pi/4) = rq(2)/2
Entonces a(n) = rq(2)n/2.
Si con Sum(a(n)) te refieres a la suma desde 1 hasta n, no es cierto, puesto que a(n) = n si es CuCu, y la relación que las define no es homógenea.
¿Quizas quisiste poner a(n) = n*sen(pi(4n+1)/2)?
Efectivamente Ignacio
Luis GSA, si que las hay.
Si el mcm de los divisores es k, el problema es equivalente a buscar sucseiones (finitas) enteras con lo que llamé característica de Liouville k, de manera que no todos sus términos sean múltiplos de k. Para n = 2 y 3 _parecen_ no existir, pero para n = 4 si:
{1/2, 1/2, 1/2, 5/2}
{2, 3, 7/2, 9/2}
{3, 7/2, 4, 9/2}
{1/3, 7/3, 8/3, 11/3}
…
Gracias, Ignacio Larrosa Cañestro, por tu respuesta. Me gustaría que ese “parecen” se cambiase a un concreto sí o no en cuanto a la existencia para n igual a 2 ó 3. Es un hecho demostrable sin mayor esfuerzo que no pueden haber similares sucesiones CuCu para un número arbitrario de términos y un problema que se presentaría es el de la determinación del “mejor” n (el cual me “parece” que no debe andar muy lejos de tu expuesto n= 4. Incluso podría quizás ser tu 4). Gracias de nuevo.
Para JJGJJG, Ignacio Larrosa Cañestro y estudiantes: no hubo ningún bonito disfraz en el problemita que puse para estudiantes sino una manera no trigonométrica y sencilla para establecer lo dicho. Así por ejemplo, de la sucesión {2, 3, 7/2, 9/2}, de cuatro primeros elementos racionales dada por Ignacio, se puede construir fácilmente un quinto elemento positivo no deducible por la sucesión dada por JJGJJG. Y después un sexto, etc. Gracias a todos.
Perdona, Luis GSA, mi expresón «bonito disfraz» se refiere exclusivamente a mi forma de disfrazar la serie CuCu 1, 2, 3,…n.
Hola JJGJJG, no veo nada que perdonar y lo que escribí lo hice de modo totalmente ecuánime. Pensé entonces equivocadamente que te referías a mi nota, en particular porque un disfraz cambia sólo la apariencia no la esencia, y no veo cómo la sucesión N puede salir de la serie que ofreces (quizás sí y no veo la cosa con suficiente atención). Un cordial saludo trasatlántico.
Ya me di cuenta que el signo * representaba la multiplicación pero no lo sabía, pensé que era otra cosa. Ahora perdóname tú, JJGJJG. Cordial saludo.
Se puede conseguir una CuCu de números reales infinita partiendo de cualquier valor para el primer término. Si este es 1, se obtiene a(n) = n. Pero si no es 1, la sucesión obtenida es CuCu, excepto para el primer término. El procedimemiento es simple. Empezamos con un valor m cualquiera. Entonces el siguiente debe cumplir que m^3 + a^3 = (m + a)^2 ===> m^2 – ma + a^2 = m + a a^2 – (m + 1)a + m^2 – m = 0 ===> a = (m + 1 +/- √(- 3m^2 + 6m + 1))/2 Tomando el… Lee más »
Has cometido un pequeño lapsus, Ignacio, y dejo que lo ubiques tú mismo ya que no te costará mayor trabajo si te concentras un poquito al releer tu redacción (NO me refiero al uso no muy riguroso de “sucesión infinita” ya que siendo el procedimiento “manual”, no hay medio de lograr esto, salvo que teóricamente se establezca una fórmula para el término n-ésimo; y tampoco es un lapsus de idioma sino matemático). Un saludo muy cordial.
Pues así, a primera vista no se a que te puedes referir, aparte de algunos errores de dactilografiado, como un «que» faltante en » Basta con encontrar un valor de m racional, para el QUE √(- 3m^2 + 6m + 1) sea racional» y alguna otra cosilla de ese estilo. En cuenta a lo de sucesión infinita, o ilimitada que decía yo, no hay ningún problema. una sucesión infinita no solo se determina por el término general, sino que también puede hacerse por una ley de recurrencia. Y está esta clar, aunque implícita en mi anterior mensaje. Si el término… Lee más »
«Se puede conseguir una CuCu de números reales infinita partiendo de cualquier valor para el primer término». Aquí está tu lapsus, estimado Ignacio, un simple lapsus de los que yo, personalmente hablando, he cometido peores (no tiene nada que ver lo de infinita) y de repente soy yo quien lo está cometiendo aquí aunque no lo creo. Me ha sucedido de estar ante errores «evidentes» pero yo no me daba cuenta al comienzo.
Bueno ya …. Cualquiera para el que exista ‘a’, para lo que debe ser positivo el discriminante de la ecuación de 2º gradpo que nos da ‘a’ en función de m. Concretamente si hablamos de términos positivos, debe ser m < 1 + 2√3/3 ~= 2.154700538
Muy bien, ahí estaba el lapsus. Pero aún te equivocas,–tal como me pasa a mí a veces cuando me apuro en redactar–, ya que m debe estar también acotado inferiormente por el conjugado del número que das. Hay algo más que quisiera decirte sobre tu réplica a mi comentario anterior. Podrías darme tu dirección para enviarte un emilio explicativo, o también podrías escribirme a lagsa7@gmail.com si quisieras saberlo. Cordiales saludos.
Luis GSA, esa cota inferior que mencionas es negativa, por eso digo que si hablamos de términos positivos, debe ser m 1 – 2√3/3 ~= -0.154700538, pero desde el principio estamos refiriéndonos a colecciones de números positivos. Mi dirección de coreo es ilarrosa@mundo-r.com. Saludos,
En el anterior comentario se trago todo lo que había entre el símbolo de menor y el de mayor. No consigo que me funcione con latex, así que lo pongo con texto:
Luis GSA, esa cota inferior que mencionas es negativa, por eso digo que si hablamos de términos positivos, debe ser m menor que 1 + 2√3/3 ~= 2.154700538. Si quieres permitir términos negativos, debería ser desde luego m mayor que 1 – 2√3/3 ~= -0.154700538, pero desde el principio estamos refiriéndonos a colecciones de números positivos. Mi dirección de coreo es ilarrosa@mundo-r.com. Saludos,
Hay que tener en cuenta que esa sucesión cumpliría la propiedad excepto para el primer término. Es decir, habría que coger dos o más empezando por el principio.
Cuando ya se tienen tres elementos, cada uno nuevo será igual al anterior más uno.
Todo aclarado, Ignacio. Saludos.
[…] ¿Cuántas sucesiones CuCu existen? Segunda aportación de Gaussianos. Autor: Miguel Ángel Morales Medina (@gaussianos) […]
Los conjuntos CuCu nos llevan a la siguiente relación:
Con
Para establecer una sucesión CuCu de n términos desiguales, en definitiva debe plantearse una ecuación de apariencia difícil pero algebraicamente sencilla, la misma que mediante un proceso iterativo(*), ¡que no es una relación de recurrencia!, puede prolongarse en su número n de términos hasta que la paciencia se agote. Se puede partir de un a_0 cualquiera en el intervalo [-0.1547, 2.1547] al cero correspondiéndole la única CuCu de números enteros; para los a_0 negativos de este intervalo, todos los a_n que se obtengan serán positivos. (*)Como los usados, por ejemplo, para el conjunto de Mandelbrot o en el teorema del… Lee más »
Ya que estamos con exponentes :
Aquí van unos ejemplos de números N = b^2^n + k con 6 valores primos consecutivos para n = 0, 1, 2, 3, 4, 5, escritos en la forma (b , k) con b distinto de 2 y k distinto de 1 :
(3 , 440)
(5 , 1518)
(6 , 1081)
(14 , 405)
(20 , 1071)
(67 , 240)
(1145 , 7554)
(1938 , -7)
(1989 , 8072)
(2614 , 9505)
(2775 , -824)
(3863 , 8418)
Los numeros N = b^2^n + k son números de Fermat generalizados. Naturellement.
[…] […]
Buscando informacion acerca de los números de Bernoulli halle esta relacion
Sea:
Con
![\displaystyle \sum_{k=1}^{n} k^{2p+1} = \cfrac{1}{2^{2p+2}(2p+2)} \sum_{q=0}^{p} \binom {2p+2} {2q}(2-2^{2q})B_{2q}\left [ (8a+1)^{p+1-q}-1 \right ] \displaystyle \sum_{k=1}^{n} k^{2p+1} = \cfrac{1}{2^{2p+2}(2p+2)} \sum_{q=0}^{p} \binom {2p+2} {2q}(2-2^{2q})B_{2q}\left [ (8a+1)^{p+1-q}-1 \right ]](https://s0.wp.com/latex.php?latex=++%5Cdisplaystyle+%5Csum_%7Bk%3D1%7D%5E%7Bn%7D+k%5E%7B2p%2B1%7D+%3D+%5Ccfrac%7B1%7D%7B2%5E%7B2p%2B2%7D%282p%2B2%29%7D+%5Csum_%7Bq%3D0%7D%5E%7Bp%7D+%5Cbinom+%7B2p%2B2%7D+%7B2q%7D%282-2%5E%7B2q%7D%29B_%7B2q%7D%5Cleft+%5B+%288a%2B1%29%5E%7Bp%2B1-q%7D-1+%5Cright+%5D++&bg=ffffff&fg=000000&s=0)
http://en.wikipedia.org/wiki/Faulhaber%27s_formula
La anterior relación nos lleva a esta otra
Disculpen que me salga del tema pero tengo esta pregunta:
Si un numero es divisible entre 3

Entonces la suma de los cubos de sus digitos tambien es divisible entre 3
Existe alguna prueba de que esta afirmacion sea correcta o falsa?