¿Cómo se calculó la forma cerrada de esta suma alterna de cuadrados?

Estoy leyendo esta respuesta en socratic.org .

La cuestión es encontrar la forma cerrada de la suma.

1 2 2 2 + 3 2 4 2 + 5 2 6 2 + .

Entiendo que, si se sumaran los términos, la suma sería

norte = 1 norte norte 2 = 1 2 + 2 2 + + norte 2 .

La persona continúa diciendo, si la serie no se alternara, la suma sería

S = norte ( norte + 1 ) 2

¿Pero es eso correcto? Pensé que la suma de la primera norte los cuadrados serían

norte ( norte + 1 ) ( 2 norte + 1 ) 6 .

Por último, entiendo mover el 1 constante fuera de la suma como tal

= norte = 1 norte ( 1 ) norte norte 2

Pero me falta por completo cómo se calculó el formulario cerrado final.

S norte = ( 1 ) norte norte ( norte + 1 ) 2

Ciertamente tienes razón sobre la suma no alterna ...
Si norte es par, solo puedes considerar las diferencias entre cada par de términos. Tenga en cuenta que 1 2 2 2 + 3 2 4 2 + + ( norte 1 ) 2 norte 2 es igual
( 1 2 ) ( 1 + 2 ) + ( 3 4 ) ( 3 + 4 ) + + ( ( norte 1 ) norte ) ( ( norte 1 ) + norte ) .

Respuestas (4)

De hecho, no es cierto que norte = 1 norte norte 2 = norte ( norte + 1 ) 2 por cada entero positivo norte . Esto se verifica fácilmente ingresando cualquier valor norte 2 . Por supuesto que es cierto que norte = 1 norte norte = norte ( norte + 1 ) 2 . Y en verdad tienes razón cuando dices que

norte = 1 norte norte 2 = norte ( norte + 1 ) ( 2 norte + 1 ) 6 .
Tenga en cuenta que si norte es par, digamos norte = 2 METRO , entonces
norte = 1 norte ( 1 ) norte + 1 norte 2 = norte = 1 METRO ( ( 1 ) 2 norte ( 2 norte 1 ) 2 + ( 1 ) 2 norte + 1 ( 2 norte ) 2 ) .
Por supuesto ( 1 ) 2 norte = 1 para todos norte , y de manera similar ( 1 ) 2 norte + 1 = 1 . Se sigue que para todos norte tenemos
( 1 ) 2 norte ( 2 norte 1 ) 2 + ( 1 ) 2 norte + 1 ( 2 norte ) 2 = ( 2 norte 1 ) 2 ( 2 norte ) 2 = ( 4 norte 2 4 norte + 1 ) 4 norte 2 = 1 4 norte .
Esto muestra que
norte = 1 norte ( 1 ) norte + 1 norte 2 = norte = 1 METRO ( 1 4 norte ) .
A partir de aquí podemos usar el hecho de que norte = 1 METRO norte = METRO ( METRO + 1 ) 2 para encontrar eso
norte = 1 METRO ( 1 4 norte ) = METRO 4 norte = 1 METRO norte = METRO 4 METRO ( METRO + 1 ) 2 = 2 METRO 2 METRO = norte ( norte + 1 ) 2 .
Eso prueba el caso donde norte incluso. Si norte es raro, digamos norte = 2 METRO + 1 , entonces
norte = 1 norte ( 1 ) norte + 1 norte 2 = ( norte = 1 2 METRO ( 1 ) norte + 1 norte 2 ) + norte 2 = ( norte 1 ) norte 2 + norte 2 = norte ( norte + 1 ) 2 .
Esto muestra que aunque el razonamiento es incorrecto, la conclusión sí se cumple; eso
norte = 1 norte ( 1 ) norte + 1 norte 2 = ( 1 ) norte norte ( norte + 1 ) 2 .


Alternativamente, podrías notar que

1 2 2 2 + 3 2 4 2 + 5 2 = ( 1 2 + 2 2 + 3 2 + 4 2 + 5 2 + ) 2 ( 2 2 + 4 2 + 8 2 + 10 2 + ) .
Así que a partir de su observación de que
norte = 1 norte norte 2 = norte ( norte + 1 ) ( 2 norte + 1 ) 6 ,
podrías concluir que si norte es par, digamos norte = 2 METRO , entonces
norte = 1 norte ( 1 ) norte + 1 norte 2 = ( norte = 1 2 METRO norte 2 ) 2 ( norte = 1 METRO ( 2 norte ) 2 ) = 2 METRO ( 2 METRO + 1 ) ( 4 METRO + 1 ) 6 8 METRO ( METRO + 1 ) ( 2 METRO + 1 ) 6 = 12 METRO 2 6 METRO 6 = norte ( norte + 1 ) 2 .

Iba a escribir mis pensamientos sobre esto usando funciones generadoras, ¡pero su enfoque es mucho mejor! ;)
@Servaes esto puede estar fuera del alcance de esta pregunta, avíseme si debo preguntar esto en otra publicación, pero ¿puede mostrar cómo obtuvo ( ( 4 norte 2 4 norte + 1 ) 4 norte 2 ) de ( ( 1 ) 2 norte ( 2 norte 1 ) 2 + ( 1 ) 2 norte + 1 ( 2 norte ) 2 ) ? ¿Es solo álgebra regular?
@RobertW Para nada fuera del alcance. Tenga en cuenta que ( 1 ) 2 norte = 1 para todos norte , y de manera similar ( 1 ) 2 norte + 1 = 1 para todos norte . Entonces simplemente expanda
( 2 norte 1 ) 2 = 4 norte 2 4 norte + 1  y  ( 2 norte ) 2 = 4 norte 2 .
Agregaré algunas palabras/pasos allí.
@Servaes tengo pocas dudas en el último paso. Para norte = 2 METRO como te convertiste de METRO a norte ... ?
@NikolaAlfredi ¿A qué paso te refieres exactamente?
@Servaes 24 METRO 2 6 METRO 6 a norte s ...
@NikolaAlfredi Tienes razón, lo arreglé. ¡Gracias por atrapar eso!

Sin analizar los casos pares e impares, también podemos construir la fórmula de forma cerrada de la siguiente manera:

Usando la fórmula S norte S norte 1 = a norte , dónde a norte = ( 1 ) norte + 1 norte 2 y definir S norte = ( 1 ) norte ( a norte 2 + b norte ) , entonces nosotros tenemos

S norte S norte 1 = ( 1 ) norte ( a norte 2 + b norte ) + ( 1 ) norte ( a ( norte 1 ) 2 + b ( norte 1 ) ) = 2 a ( 1 ) norte norte 2 2 norte ( a b ) + ( a b ) = ( 1 ) norte norte 2

Esto implica,

a = b = 1 2

Esto significa,

k = 1 norte ( 1 ) k + 1 k 2 = ( 1 ) norte ( 1 2 norte 2 1 2 norte ) = 1 2 ( 1 ) norte + 1 norte ( norte + 1 ) .

(Esta respuesta es una expansión de mi comentario. Muestra un método alternativo para calcular la suma).

Si norte es par, entonces una manera fácil de calcular 1 2 2 2 + 3 2 4 2 + + ( norte 1 ) 2 + norte 2 es considerar la diferencia entre cada par de términos:

1 2 2 2 + 3 2 4 2 + + ( norte 1 ) 2 + norte 2 = ( 1 2 ) ( 1 + 2 ) + ( 3 4 ) ( 3 + 4 ) + + ( ( norte 1 ) norte ) ( ( norte 1 ) + norte ) = 1 ( 1 + 2 ) 1 ( 3 + 4 ) 1 ( ( norte 1 ) + norte ) = 1 ( 1 + 2 + 3 + 4 + + ( norte 1 ) + norte ) = norte ( norte + 1 ) 2
Si norte es raro entonces norte 1 es par, por lo que podemos usar la fórmula anterior:
1 2 2 2 + 3 2 4 2 + + ( norte 2 ) 2 + ( norte 1 ) 2 = ( norte 1 ) norte 2 .
Luego, agregando norte 2 a ambos lados, encontramos que
1 2 2 2 + 3 2 4 2 + + ( norte 1 ) 2 + norte 2 = norte ( norte + 1 ) 2 .
Por lo tanto, independientemente de la paridad de norte ,
1 2 2 2 + 3 2 4 2 + + ( norte 1 ) 2 + norte 2 = ( 1 ) norte + 1 norte ( norte + 1 ) 2 .

Una intuición rápida:

Si norte es extraño

S = norte = 1 norte ( 1 ) norte norte 2 = 1 + ( 2 2 + 3 2 ) + . . . + ( 1 ) norte + 1 ( ( norte 1 ) 2 + norte 2 )

Por eso S = 1 + 5 + 9 + . . . + ( 2 norte 1 )

Hay norte + 1 2 términos en la expresión anterior (que es un AP con una diferencia común de cuatro ).

De este modo S norte = norte + 1 2 2 norte 1 + 1 2 = norte ( norte + 1 ) 2

Del mismo modo cuando norte es incluso entonces la suma hasta norte 1 es S norte 1 = ( norte 1 ) norte 2

Agregar norte 2 para conseguir S norte cuando N es par: S norte = ( norte 1 ) norte 2 norte 2 = ( norte + 1 ) norte 2

Espero que esto ayude, he editado los errores.