MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.

4.2 SUMATORIAS
4.2.1 Sumatoria simple
Definicin
Una sucesin real es toda funcin con dominio un subconjunto de los nmeros
naturales y con valores en , simblicamente, la sucesin a es tal que J J N a :
n
a n a n = ) (
Observacin.
Denotamos la sucesin a por , donde es el trmino general de la
sucesin
( )
N n n
a
e n
a
Ejemplo
Para la sucesin ( )
n n
n n
e
2 ) 1 (
( , 4 2
3
2
= = a
, los tres primeros trminos son:
, a 2 2 ) 1 (
1 1
1
= = a 8 2 ) 1 ) 1 (
3 3 2
2
= =
Definicin.
Sea ( ) una sucesin, definimos la sumatoria de los n primeros
trminos de la sucesin, denotada , por:
N n n
a
e
_
=
n
i
i
a
1

> +
= =
=
_
_
_

=
=
=
1 si
1 si
1
1
1
1
1
1
n a a
n a a
a
n
n
i
i
i
i
n
i
i
Observacin.
Usando la definicin de sumatoria y las propiedades de los nmeros reales
podemos escribir:
.. ..........
1 2
3
1
1
2
1
1
1 1
= +
|
|
.
|

\
|
+
|
|
.
|

\
|
+ = +
|
|
.
|

\
|
+ = + =

= =
_ _ _ _ n n n
n
i
i n n
n
i
i n
n
i
i
n
i
i
a a a a a a a a a a
n n n
a a a a a a + + + + + + =
1 2 3 2 1
...
Ejemplo.
Desarrolle y calcule considerando la sucesin
_
=
3
1 i
i
a
N n
n
e
+ ) 3 2 (
Solucin
21 9 7 5 ) 3 3 2 ( ) 3 2 2 ( ) 3 1 2 ( ) 3 2 (
3
1
3
1
= + + = + + + + + = + =
_ _
= = i i
i
i a
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
60
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
Si nos interesa ?. Necesitamos un poco ms de teora
_
=
75
1 i
i
a
4.2.1.1 Propiedades de la sumatoria simple
Proposicin.
Sean ) ( dos sucesiones y , se cumple:
N n n N n n
b a
e e
) ( , J e p
a) Si a entonces N n p
n
e = np p a
n
i
n
i
i
= =
_ _
= = 1 1
b) Si ( es una sucesin tal que entonces
N n n
c
e
) N n pa c
n n
e =
_ _ _
= = =
= =
n
i
i
n
i
i
n
i
i
a p pa c
1 1 1
c) Si ( es una sucesin tal que entonces
N n i
d
e
) N n b a d
n n n
e + =
_ _ _ _
= = = =
+ = + =
n
i
i
n
i
i
n
i
i i
n
i
i
b a b a d
1 1 1 1
) (
d) ( Propiedad telescpica)
0
1
1
) ( a a a a
n
n
i
i i
=
_
=

e) ( Propiedad del reloj)

_ _
+
+ =

=
=
r n
r j i
r i
n
j i
i
a a
Demostracin.
Slo demostraremos la propiedad b)
Sea
_
P :
_
= =
=
n
i
i
n
i
i
a p pa n
1 1
) (
Debemos demostrar: a) b) | | V ) 1 ( P V ) 1 ( V ) ( ...., , ) 2 ( , ) 1 ( + k P k P P P
a) ya que
_
V es ) 1 ( P
_ _
= = =
= = = =
1
1
1 1
1
1
1
1 i
i
i
i
i
i
a p pa c c pa
b) Si
_
debemos demostrar que k r ,
1 1
s =
_
= =
r
i
i
r
i
i
a p pa
_ _
+
=
+
=
=
1
1
1
1
k
i
i
k
i
i
a p pa
Vemoslo
_ _
+
=
+
=
=
1
1
1
1
k
i
i
k
i
i
c pa
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
61
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
1
1
+
=
+ =
_ k
k
i
i
c c
1
1
+
=
+ =
_ k
k
i
i
pa pa
1
1
+
=
+ =
_ k
k
i
i
pa a p
(

+ =
+
=
_ 1
1
k
k
i
i
a a p
_
+
=
=
1
1
k
i
i
a p
4.2.1.2 Algunas sumatorias importantes.
a)
2
) 1 (
) 1 ( ..... 4 3 2 1
1
+
= = + + + + + +
_
=
n n
i n n
n
i
b)
6
) 1 2 )( 1 (
) 1 ( ... 4 3 2 1
1
2 2 2 2 2 2 2
+ +
= = + + + + + +
_
=
n n n
i n n
n
i
c)
4
) 1 (
) 1 ( ... 4 3 2 1
2 2
1
3
3
3 3 3 3 3
+
= = + + + + + +
_
=
n n
i n n
n
i
Observacin.
Estas frmulas que nos permiten sumar sin sumar, ya fueron demostradas por
induccin, sin embargo, es necesario mostrar algn camino que nos lleve a deducirlas,
como un ejemplo deduciremos la suma de los cuadrados de los primeros n naturales
Consideremos
_
+ ( , tenemos:
=
n
i
i
1
3
) 1
_ _ _ _ _ _
= = = = = =
+ + + = + + + = +
n
i
n
i
n
i
n
i
n
i
n
i
i i i i i i i
1 1 1
2 3
1
2 3
1
3
1 3 3 ) 1 3 3 ( ) 1 (
1
1
Asumiendo conocida la suma de los primeros n naturales y considerando
adems que al comparar con se simplifica su diferencia, podemos
despejar
_
; as:
_
=
+
n
i
i
1
3
) 1 (
_
=
3
1
3
i
i
=
n
i
i
1
2
_ _ _ _ _ _
= = = = = =
+ + + = + + + = +
n
i
n
i
n
i
n
i
n
i
n
i
i i i i i i i
1 1 1
2 3
1
2 3
1
3
1 3 3 ) 1 3 3 ( ) 1 (
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
62
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
_ _ _ _ _
= = = =
+ + = +
n
i
n
i
n
i
n
i
n
i
i i i i
1 1 1
2 3
1
3
1 3 3 ) 1 (
=1
n
n n
i n
n
i
+
+
+ = +
_
=
2
) 1 (
3 3 1 ) 1 (
1
2 3
_
=
=
+
+
n
i
i
n n
n n
1
2 3
3
2
) 1 (
3 1 ) 1 (
6
) 1 2 )( 1 (
3
2
) 1 (
3 ) 1 ( ) 1 (
3
1
2
+ +
=
+
+ +
=
_
=
n n n
n n
n n
i
n
i
Ejemplos.
1) Calcule, usando las propiedades:
_
=
+
10
1
2
) 2 4 (
i
i
Solucin.
_
=
+
10
1
2
) 2 4 (
i
i 560 . 1 20
6
) 1 2 10 )( 1 10 ( 10
4 2 10 4 2 4
10
1
2
10
1
10
1
2
= +
+ +
= + = + =
_ _ _
= = = i i i
i i
2) Determine la suma de los 20 primeros trminos de la sucesin cuyos 5 primeros
trminos son: 1, 3, 5, 7, 9
Solucin.
Sea ( la sucesin tal que , es
N n n
a
e
) 9 , 7 , 5 , 3 , 1
5 4 3 2 1
= = = = = a a a a a
inmediato deducir que , de donde: 1 2 = n a
n
401 20
2
) 1 20 ( 20
2 1 20 2 ) 1 2 ( ...
20
1
20
1
20
1
20 2 1
=
+
= = = = + + +
_ _ _
= = = i i i
i
i i a a a a
3) Determine una frmula para
_
=
+ +
n
k
k k
1
) 2 )( 1 (
1
Solucin.
Para resolver este problema necesitamos descomponer la fraccin racional
) 2 )( 1 (
1
+ + k k
en fracciones parciales.
Informalmente introduciremos las acciones bsicas relacionadas con este tema,
el cual se presentar en un Captulo posterior
En primer lugar notemos que la fraccin racional dada tiene como
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
63
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
denominador un polinomio de grado mayor que el polinomio del numerador y,
adems, que el numerador esta factorizado en polinomios lineales irreducibles; cada
uno de estos factores lineales genera una fraccin parcial del tipo
b ax
A
+
, de tal
manera que debemos encontrar el valor real de A.
Tenemos:
) 2 )( 1 (
1
+ + k k 2 1 +
+
+
=
k
B
k
A
) 2 )( 1 (
) 1 ( ) 2 (
) 2 )( 1 (
1
+ +
+ + +
=
+ + k k
k B k A
k k

(*) ) 1 ( ) 2 ( 1 + + + = k B k A
Si damos valores arbitrarios a k, sucesivamente, podemos determinar A y B
Si entonces (*) queda: 1 1 = k A =
Si entonces (*) queda: 1 2 = k B =
Entonces:
) 2 )( 1 (
1
+ + k k 2
1
1
1
+

+
=
k k
, de donde
_
=
+ +
n
k
k k
1
) 2 )( 1 (
1
_
=
|
.
|

\
|
+

+
=
n
k
k k
1
2
1
1
1
Si consideramos la sucesin
N n
n
e
|
.
|
\
+ 2
1

|
, usando la propiedad telescpica
0
1
1
) ( a a a a
n
n
i
i i
=
_
=

tenemos:
_
=
+ +
n
k
k k
1
) 2 )( 1 (
1
_ _
= =

+
=
|
.
|

\
|
+

+
=
|
.
|

\
|
+

+
=
n
k
n
k
n k k k k
1 1
)
2
1
2
1
(
1
1
2
1
2
1
1
1
) 2 ( 2 + n
n
=
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
64
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
Demostremos que
_
=
+ +
n
k
k k
1
) 2 )( 1 (
1
) 2 ( 2 +
=
n
n
se cumple en N
Sea : P ) (n
_
=
+ +
n
k
k k
1
) 2 )( 1 (
1
) 2 ( 2 +
=
n
n
a) es V ya que ) 1 ( P
6
1
3 2
1
) 2 )( 1 (
1
1
1
=

=
+ +
_
= k
k k
, y por otro lado
6
1
) 2
=
1 ( 2
1
+
b) Si se cumple que
_
=
+ +
p
k
k k
1
) 2 )( 1 (
1
) 2 ( 2 +
=
p
p
debemos demostrar que
_
+
=
+ +
1
1
) 2 )( 1 (
1
p
k
k k ) 3 ( 2
1
+
+
=
p
p
. Vemoslo:
_
+
=
+ +
1
1
) 2 )( 1 (
1
p
k
k k
=
_
=
+ +
p
k
k k
1
) 2 )( 1 (
1
+
_
+
+ =
+ +
1
1
) 2 )( 1 (
1
p
p k
k k
) 3 )( 2 (
1
) 2 ( 2 + +
+
+ p p p
=
p
) 3 ( 2
1
) 3 )( 2 ( 2
2 3
) 3 )( 2 ( 2
2 ) 3 (
2
+
+
=
+ +
+ +
=
+ +
+ +
p
p
p p
p p
p p
=
p p
4) Calcule, usando frmulas, la suma de todos los nmeros impares entre 100 y 500
Solucin.
Queremos los nmeros impares desde 101 hasta 499. Si escribimos un nmero impar
como entonces la suma pedida es ; tenemos: 1 2 k
_
=

250
51
) 1 2 (
k
k
_
=

250
51
) 1 2 (
k
k | |
_ _ _ _
= = =

=
+ = + = + =
200
1
200
1
200
1
50 250
50 51
99 2 ) 99 2 ( 1 ) 50 ( 2
k k k k
k k k
= + = ) 99 ( 200
2
) 201 ( 200
2 60.000
5)Determine una frmula para y demuestre la validez de sta en N
_
=

n
k
k
k
2
1
) 1 (
Solucin.
_
=

n
k
k
k
2
1
) 1 ( n n 2 ) 1 2 ( ......... 5 4 3 2 1 + + + =
) 2 ..... 6 4 2 ( )) 1 2 ( .... 5 3 1 ( n n + + + + + + + + + =
n k k k k
n
k
n
k
n
k
n
k
= = + + = + =
_ _ _ _
= = = = 1 1 1 1
1 ) 2 1 2 ( 2 ) 1 2 (
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
65
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
Veamos ahora la induccin pedida
Sea : ) (n P n k
n
k
k
=
_
=
2
1
) 1 (
a) Como
_
entonces se cumple 1 2 1 ) 1 (
1 2
1
= + =

= k
k
k ) 1 ( P
b) Si P se cumple, es decir, si , debemos demostrar que
tambin se cumple, es decir, debemos demostrar que
) (r
) 1 ( + r
r k
r
k
k
=
_
=
2
1
) 1 (
P 1 ) 1 (
) 1 ( 2
1
+ =
_
+
=
r k
r
k
k
1 ) 2 2 ( ) 1 2 ( ) 2 2 ( ) 1 2 ( ) 1 ( ) 1 ( ) 1 (
2
1
2 2
1
) 1 ( 2
1
+ = + + + = + + + = =
_ _ _
=
+
=
+
=
r r r r r r k k k
r
k
k
r
k
k
r
k
k
4.2.2 SUMATORIA DOBLE
4.2.2.1 Definicin de sumatoria doble
Supongamos el siguiente arreglo rectangular de nmeros:
|
|
|
|
|
|
.
|

\
|
nm n n
m
m
a a a
a a a
a a a
.. .. .. ..
..
..
.. .. .. ..
.. .. .. ..
2 1
2 22 21
1 12 11
Si sumamos los trminos de la primera fila obtenemos:
_
=
m
j
j
a
1
1
Si sumamos los trminos de la segunda fila obtenemos:
_
=
m
j
j
a
1
2
.
Si sumamos los trminos de la n-sima fila obtenemos:
_
=
m
j
nj
a
1
Ahora, si sumamos estas sumas obtenemos:
_ _
= =
n
i
m
j
ij
a
1 1
) (
Por otro lado
Si sumamos los trminos de la primera columna obtenemos:
_
=
n
i
i
a
1
1
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
66
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
Si sumamos los trminos de la segunda columna obtenemos:
_
=
n
i
i
a
1
2
.
Si sumamos los trminos de la m-sima columna obtenemos:
_
=
n
i
im
a
1
Ahora, si sumamos estas sumas obtenemos:
_ _
= =
m
j
n
i
ij
a
1 1
) (
Naturalmente que estas sumas dobles son iguales (forman la suma de todos los
trminos del arreglo) por lo que podemos afirmar que ( aceptando como definicin)
_ __ _
= = =
=
n
i
m
j
n
i
ij
m
j
ij
a a
1 1 1 =1
_
=1
4.2.2.2 Propiedades de la sumatoria doble
Se cumple:
a)
__
= =
J e =
n
i
m
j
k nmk k
1 1
,
b)
_ __ _
= = = =
J e =
n
i
n
i
m
j
ij
m
j
ij
k a k ka
1 1 1 1
,
c)
__ _ _
= = = =
+ = +
n
i
m
j
n
i
i
m
j
j j i
a m b n b a
1 1 1 1
) (
d)
_ _ _
= = =
=
n
i
n
i
m
j
j i
m
j
j i
b a b a
1 1 1
) )( (
Observacin.
Si aplicamos la suma iterada a la sumatoria doble podemos mostrar las
propiedades, por ejemplo:
_ _ _ _ _ _ _ _
= = = = = = = =
+ =
(
(

+ =
(
(

+ = +
m
j
j
n
i
i
n
i
m
j
j i
n
i
n
i
m
j
j i
m
j
j i
b n a m b ma b a b a
1 1 1 1 1 1 1 1
) ( ) (
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
67
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
Ejemplo.
Calcule
__
= =
+
3
1
4
1
) 2 (
i j
j i
Solucin.
__
= =
+
3
1
4
1
) 2 (
i j
j i 78
2
) 1 3 ( 3
2 4
2
) 1 4 ( 4
3 2 4 3
3
1
4
1
=
+
+
+
= + =
_ _
= = i j
i j
4.2.3 EJERCICIOS PROPUESTOS
1) Si se sabe que , determine el valor
de Resp. 186
_ _
= =
= = =
5
1 i
6
2
6
1
8 y x 182 ) 6 ( ; 18 ) 3 2 (
i
i
i
x x
_
=
6
1
2
i
i
x
2) Sabiendo que
3
6
1 i
i 2
1
a y
3
5 a
de valor el encuentre 3 2
_
= =

+ = n n a
n
i
i _
Resp. 20 ; 13
3) Determine el valor de
_
=

15
5
) 3 (
i
i i
4) Si se sabe que ,
determine el valor de
_ _
= =
= = = = =
7
1
10
1 i
10 9 8
2
i
2
5 x 3 x ; 1130 ) 3 (2x ; 196
i
i
x x
_
=
7
1 i
i
x
5) Si
_ _
, determine el valor de
= =
= = + =
6
1
7
1 i
7 i
2
4 y x 129 ) 1 )( 1 (x ; 4 ) 1 2 (
i
i i
x x
_ _
= =
+
6
1
2
) 3 2 ( ) 5 2 (
i i
i i
x x
7
1
6) Encuentre una frmula que permita sumar los n primeros trminos de la sucesin:
a) Resp. ( )
N n
n
e
1 2
2
n
b) ( )
N n
n
e
3
6 Resp. ) 1 2 )( 1 ( + + n n n
7) Calcule:
a) Resp. 6.633 198 ... 6 3 + + +
b)
2 2 2 2 2 2 2 2
100 99 ..... 6 5 4 3 2 1 + + + +
c) Resp. 10.100 200 .... 8 6 4 2 + + + + +
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
68
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
d) 1 Ressp. 10.000 199 .... 9 7 5 3 + + + + + +
e)
2 2 2 2 2 2 2 2
100 99 ..... 6 5 4 3 2 1 + + + +
8) Calcule:
a)
_
=
(

+ +

+
100
1
) 2 )( 1 (
1
) 1 (
1
i
i i i i
Resp.
151 . 5
575 . 2
b)
_
=
(

+
100
1
1
1
k
k
k
k
k
Resp.
101
100
c) Resp. | |
_
=
+ +
n
k
kLnk k Ln k
1
) 1 ( ) 1 ( ) 1 ( ) 1 ( + + n Ln n
9) Usando descomposicin en fracciones parciales y propiedad telescpica, determine
una frmula para:
a)
_
=
+
n
i
i i
1
) 1 (
1
Resp.
1 + n
n
b)
_
=
+ +
n
i
i i
1
) 1 2 )( 3 2 (
1
Resp.
) 3 2 ( 3 + n
n
c)
_
=
+ +

n
k
k k k
k
1
) 2 )( 1 (
1 2
Resp.
) 2 )( 1 ( 2
3 4
4
3
+ +
+

n n
n
d)
_
=
+
+
n
k
k
k k
k
1
2 ) 1 (
2
Resp.
n
n 2 ) 1 (
1
+
1
e)
_
=
+ +
n
k
k k k
1
) 3 )( 1 (
1
Resp.
) 3 ( 6
1
) 2 ( 6
1
) 1 ( 6
1
36
7
+
+
+
+
+

n n n
10) Resuelva la ecuacin
_ _ _
= = =
+ = + + +
5
1
4
1
3
1
2 2 2 2
) 8 2 ( ) 3 ( ) 1 2 (
i i i
i i x i i i i x
11) Determine el valor de las siguientes sumatorias:
a) b)
_
=

6
1
) 5 3 (
i
i
_
=
+
5
1
) 3 (
i
i
i
c) d)
_
=
+
6
1
) 5 2 )( 3 (
i
i i
__
= =
+
5
1
6
2
) 2 )( 2 (
i j
j i
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
69
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.
e)
__
= =
+

5
0
3
1
)
2
)( 3 2 (
i j
j
i
i i
12) Si se sabe que
_ _ _
= = =
= =
5
1
5
1 i
5
1 i
2
i i
2
) 2 (x de valor el determine , 18 x ; 30
i
i
x
Resp. -22
13) S
_ _
_
_
_
= =
=
=
=
= + =
6
1
6
1 i
6
1 i
i
6
1 i
2
i
2
6
1
2
) 3 ( de valor el determine , 10
a
a
y ) 2 ( ) 3 (
i
i i
i
i i
a a a a
Resp. 21
14) Dado Cul es el
valor de
_
? Resp. -11
_ _
= =
= = = = =
10
1
7
1 i
10 9 8
2
i
2
. 5 x ; 3 ; 3 x ; 196 x ; 1130 ) 3 2 (
i
i
x x
=
7
1 i
i
x
15) S
_ _ _
= = =
+ = =
4
1
4
1 i
4
1 i
2
i
) 2 ( de valor el determine , 306 ) 3 2 ( x ; 12
i
i i i
x x x
Resp. 174
16) Dado
_ _ _
= = =
= = =
8
1
8
1 i
8
1 i
2
1
2
000 . 4 ) 2 4 ( si k" " valor el determine , 12 x y 25
i
i i
k x x
Resp. k = 0 , k = 6
17) Calcular el valor de la constante c, si se sabe que:
__
= =
= +
6
1
5
1
000 . 6 ) 3 2 (
i j
j i
c y x
,
_
Resp. 207,2
_
= =
= =
6
1
5
1 j
j
. 22 y ; 18
i
i
x
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMATICA Y C.C.
.
.
.
.
70