ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL

Demostrar la siguiente igualdad (Cálculo Integral – Jorge Sáenz)

n
n (n+1)(6 n3 +9 n2 +n−1)
∑ k4 = 30
k =1

Demostración
n
4
Sea B=∑ k
k =1

Se probará de manera directa, notando que para cualquier k ∈ {1 , … , n } se tiene que

( k +1 )5 =k 5 +5 k 4 +10 k 3 +10 k 2 +5 k +1
Por lo tanto, se obtiene la siguiente igualdad:
n n

∑ ( k +1 )5=∑ (k 5 +5 k 4 +10 k 3 +10 k 2 +5 k +1)

k =1 k=1

Luego, aplicando propiedad de la sumatoria de una suma

n n n n n n n

∑ ( k +1 )5=∑ k 5+∑ 5 k 4 +∑ 10 k 3+∑ 10 k 2 +∑ 5 k +∑ 1

k =1 k=1 k=1 k=1 k=1 k=1 k=1

Por la propiedad de la suma de un producto de una constante

n n n n n n n
5
∑ ( k +1 ) =∑ k 5+ 5 ∑ k 4 +10 ∑ k 3+ 10 ∑ k 2 +5 ∑ k +∑ 1
k =1 k=1 k=1 k=1 k=1 k=1 k=1

n
4
Reemplazamos por B=∑ k
k =1

n n n n n n
5 5 3 2
∑ ( k +1 ) =∑ k + 5 B+10 ∑ k +10 ∑ k + 5 ∑ k +∑ 1
k =1 k=1 k=1 k =1 k=1 k=1

Despejamos la variable B
n n n n n n
5
5 B=∑ ( k + 1 ) −∑ k 5 −10 ∑ k 3−10 ∑ k 2−5 ∑ k −∑ 1
k=1 k=1 k=1 k =1 k=1 k=1

n n n n n n
1
B= ∑ ( k +1 )5− 15 ∑ k 5−2 ∑ k 3−2 ∑ k 2−∑ k − 15 ∑ 1
5 k =1 k=1 k=1 k=1 k=1 k=1

1
Aplicamos factor común por
5
n n n n n n
1
B=
5 ( ∑ ( k +1 )5 −∑ k 5 −10 ∑ k 3−10 ∑ k 2−5 ∑ k −∑ 1
k=1 k=1 k=1 k=1 k=1 k=1
)
JOSUÉ DAVID REGALADO LÓPEZ - FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS
 ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL

n n n n n
1
B=
5 ( ∑ [ ( k +1 )5 −k 5 ] −10 ∑ k 3−10 ∑ k 2−5 ∑ k −∑ 1
k=1 k=1 k=1 k=1 k=1
)
Por propiedad telescópica
n

∑ [ ( k +1 )5−k 5 ]=( n+1 )5 −1(1)

k =1

Por Teorema 3.3

n
n ( n+1 ) 2
3
∑ k = 2 (2)
k =1
( )
n
n(n+ 1)(2 n+1)
∑ k 2= 6
(3)
k =1

n
n(n+1)
∑ k= 2
(4 )
k =1

Por Teorema 3.2

n

∑ 1=n(5)
k =1

En definitiva, reemplazamos (1), (2), (3), (4) y (5)

n
n ( n+1 ) 2 n ( n+1 )( 2 n+1 ) n ( n+1 )
∑ k4 = 5
k =1
1
[ ( n+1 )5−1−10 ( 2 ) ( −10
6 ) (
−5
2 )
−n ]
n 5 2 2
14
[ 1 1 10 n ( n+1 )
∑ k = 5 ( n+1 ) − 5 − 5
k =1 4
−
1 10 n ( n+1 ) (2 n+1 ) 1 5 n ( n+1 ) n
5 ( 6 ) ( −
5 2
−
5 ) ( ) ]
n
( n+ 1 )5 1 n2 ( n+ 1 )2 n ( n+1 ) ( 2 n+1 ) n ( n+1 ) n
k =1
4
∑ k = 5 −5− 2 − ( 3
−)( 2
−
5 )( )
n
6 ( n+ 1 )5−6−15 n2 ( n+ 1 )2−10 n ( n+1 )( 2 n+1 ) −15 n ( n+ 1 )−6 n
∑ k4 = 30
k =1

n n
6 n5+ 15 n4 +10 n3−n
4 4 n(n+ 1)(6 n 3+ 9 n2 +n−1)
∑k = ⟹∑ k =
k =1 30 k=1 30

JOSUÉ DAVID REGALADO LÓPEZ - FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS