Ingenier Matemtica a a

FACULTAD DE CIENCIAS F ISICAS Y MATEMATICAS UNIVERSIDAD DE CHILE Introduccin al Algebra 08-1 o

SEMANA 7: SUMATORIAS

Departamento de Ingenier Matemtica - Universidad de Chile a a

Importante: Visita regularmente http://www.dim.uchile.cl/~algebra. Ah encontrars las gu de ejercicios a as y problemas, adems de informacin a o acerca de cul ser la dinmica del curso. a a a

6.2.

Progresiones aritmticas e
n

Denicin 6.2 (Progresin aritmtica). Es una sumatoria del tipo o o e (A + kd)

k=0

Usa estas notas al margen para consultar de manera ms rpida el maa a terial. Haz tambin tus propias e anotaciones.

es decir, donde ak = A + kd, para valores A, d

.
n

Utilizando las propiedades de sumatoria, obtenemos que esta suma es igual a

n

A
k=0

1+d
k=0

Nos basta, entonces, calcular la sumatoria

n

k
k=0

Para ello utilizaremos el mtodo de Gauss: como la suma en e

n

es conmutativa, entonces

S=
k=0

puede ser calculado de las dos formas siguientes S = 0 + 1 + 2 + . . . + (n-1) + n S = n + (n-1) + (n-2) + . . . + 1 + 0 Si sumamos estas dos igualdades, obtenemos S =0+ 1 + 2 + . . . + (n 1) + n S = n + (n 1) + (n 2) + . . . + 1 +0 2S = n + n + n +...+ n +n Como cada suma posee (n + 1) sumandos, obtenemos que S= n(n + 1) 2

Proposicin 6.2. Si n 0, o

k=
k=0

n(n + 1) 2

91

 Demostracion. Por induccin sobre n 0. o Caso n = 0: Hay que demostrar que

0

k=
k=0

01 2

lo cual es directo pues ambos lados valen 0. Supongamos que la frmula vale para alg n n 0. Entonces o u
n+1 n

k
k=0

= = = =

(n + 1) +
k=0

(n + 1) +

n(n + 1) (Aqu aplicamos la hiptesis inductiva.) o 2 (n2 + n) + 2(n + 1) 2 n2 + 3n + 2 (n + 1)(n + 2) = 2 2

con lo que completamos la demostracin. o Es importante notar que

n n n

k =0+
k=0 k=1

k=
k=1

por lo que es irrelevante si la suma se considera desde k = 0 o desde k = 1. Tambin, notemos que si 1 n1 n2 son n meros naturales, entonces e u
n2 n2 n1 1

k=
k=n1 k=0

k
k=0

k=

(n1 + n2 )(n2 n1 + 1) n2 (n2 + 1) (n1 1)n1 = 2 2 2

por lo que sabemos calcular esta suma entre cualquier par de n meros. u

Finalmente, volviendo a la progresin aritmtica, podemos ahora dar su frmula expl o e o cita: Proposicin 6.3 (Frmula progesin aritmtica). o o o e
n

(A + kd) = A(n + 1) + d
k=0

n(n + 1) 2

6.3.

Progresiones geomtricas e
n

Denicin 6.3 (Progresin geomtrica). Es una sumatoria del tipo o o e Ark

k=0

es decir, donde ak = Ark , para valores A, r

92

Departamento de Ingenier Matemtica - Universidad de Chile a a

Supongamos que r = 1. El caso r = 1 es muy sencillo, y queda como ejercicio para el lector. Similarmente a como procedimos antes, podemos decir que esta suma equivale a
n

A
k=0

rk

por lo que basta calcular esta ultima sumatoria. Denotemos S=

k=0 n

rk

Se tiene entonces que rS =

rk+1
k=0

por lo que SrS =

(rk rk+1 )
k=0 n

SrS =

(rk rk+1 )
k=0

Reconocemos en esta ultima igualdad una suma telescpica, la cual vale r0 rn+1 . Por lo o tanto S(1 r) = 1 rn+1 y gracias a que r = 1 se obtiene la frmula o Propiedad 4. Si n 0 y r = 1,
n

rk =
k=0

1 rn+1 1r

Queda propuesto al lector demostrar por induccin esta propiedad. o Nuevamente es posible calcular esta suma entre cualquier par de n meros. Si 1 n1 n2 , u entonces n1 1 n2 n2 1 rn2 +1 1 rn1 rn1 rn2 +1 rk rk = rk = = 1r 1r 1r
k=n1 k=0 k=0

As volviendo al caso de la progresin geomtrica, obtenemos que sta cumple la frmula , o e e o

Proposicin 6.4. Frmula progresin geomtrica Si r = 1, o o o e

n

Ark =
k=0

A(1 rn+1 ) 1r

93

Departamento de Ingenier Matemtica - Universidad de Chile a a

6.4.

Algunas sumas importantes

Veamos a continuacin algunas sumas importantes que podemos calcular usando lo conocido. o

Propiedad 5. Si n 0,

k2 =
k=0

n(n + 1)(2n + 1) . 6

Demostracion. Queda propuesto como ejercicio, demostrar esta propiedad usando induccin. o Aqu lo haremos directamente, notando que para cualquier k {0, . . . , n} se tiene que (k + 1)3 = k 3 + 3k 2 + 3k + 1. Por ende, tendremos la siguiente igualdad
n n

(k + 1)3 =
k=0 k=0

k 3 + 3k 2 + 3k + 1.

Y aplicando propiedades de las sumas, obtenemos:

n n n n n

(k + 1)3 =
k=0 k=0 n

k3 + k3 + 3
k=0

3k 2 +
k=0 n

3k +
k=0 n k=0 n

1 1
k=0

k2 + 3
k=0 k=0

k+

Despejamos entonces el valor de la suma buscada, obteniendo:

n

k2 =
k=0

1 3

(k + 1)3
k=0 n 3 k=0 3

k3 3
k=0 n

k
k=0 n

1 1 .

1 = 3

((k + 1) k ) 3
k=0 (1) k=0 (2)

k
k=0 (3)

Y todos los trminos en el lado derecho se pueden calcular: e La suma (1), por propiedad telescpica, o
n

((k + 1)3 k 3 ) = (n + 1)3 0 = (n + 1)3 .

k=0

La suma (2), por la propiedad vista para progresiones aritmticas, e

n

k=
k=0

n(n + 1) . 2

94

Departamento de Ingenier Matemtica - Universidad de Chile a a

La suma (3) por propiedad vista en la tutor pasada, a

n

1 = n + 1.
k=0

En resumen, tenemos que:

n

k2 =
k=0

1 3

(n + 1)3

3n(n + 1) (n + 1) 2

3n (n + 1) 2n2 + 2n + 1 1 3 2 (n + 1) 2 n n + = 3 2 n(n + 1)(2n + 1) = . 6 = Concluyendo el resultado. Otra suma importante, del mismo tipo que la anterior es Propiedad 6. Si n 0,
n

k3 =
k=0

n(n + 1) 2

Demostracion. La demostracin queda propuesta como ejercicio, tanto usando induccin o o como de forma directa. Para probarlo directamente, se usa la misma tcnica anterior, o sea se calcula (k + 1)4 . e

7.
7.1.

Teorema del binomio de Newton

Coecientes binomiales
f0 fn = = 1 n fn1

Consideremos la siguiente frmula de recurrencia: o si n 1

Denicin 7.1 (Factorial). Llamaremos factorial de n (denotado n!) al valor fn . o Por ejemplo, el factorial de 4 es 4! = 4 3! = 4 3 2! = 4 3 2 1! = 4 3 2 1 0! = 4 3 2 1 1 = 24

Los n meros factoriales poseen la siguiente interpretacin en el contexto de armar combiu o naciones: sea k n. Entonces n! (n k)! corresponde a la cantidad de k-tuplas que se puede formar a partir de un conjunto de n elementos, SIN repetirlos. Por ejemplo, si A = {a, b, c, d}, cuntos pares ordenados (2-tuplas) distintos podemos a formar con sus elementos, sin repetirlos? 95

Departamento de Ingenier Matemtica - Universidad de Chile a a

(a, b) (a, c) (a, d)

(b, a) (b, c) (b, d)

(c, a) (c, b) (c, d)

(d, a) (d, b) (d, c)

12 combinaciones, y 12 =

4! (42)!

Continuando con la interpretacin combinatorial, sea k n. Denimos o Denicin 7.2 (Coeciente binomial). Se dene o n k

(se lee n sobre k) como el nmero de subconjuntos de tama o k que posee un conjunto de u n tama o n. n

Cunto vale n ? a k Observemos que por cada subconjunto de tama o k de un conjunto de n elementos, podemos n formar varias k-tuplas: pensando en el ejemplo de A = {a, b, c, d}, a partir del subconjunto {a, c} podemos formar los pares ordenados (a, c) y (c, a).

El n mero de k-tuplas que se pueden formar a partir de un conjunto de tamao n ser, u n a entonces, el n mero de subconjuntos de tama o k que ste posea, pero para considerar los u n e posibles reordenamientos que hacen diferentes a las tuplas, necesitamos multiplicar por la cantidad de formas en que es posible ordenar un conjunto de k elementos: este ultimo valor es k!. Por lo tanto, el n mero de k-tuplas que se puede formar es u n k! k por lo que n k Propiedades 7. Si 0 k n, 1. 2.
n 0 n k

n! k!(n k)!

= 1, =

n 1

=n

n nk n+1 k+1

3. Si k < n,

n k

n k+1

96

Departamento de Ingenier Matemtica - Universidad de Chile a a

 Demostracion. Demostraremos (3). n n + k k+1 = = = = = = = n! n! + k!(n k)! (k + 1)!(n (k + 1))! n! n! + k!(n k)(n k 1)! (k + 1)k!(n k 1)! n! 1 1 + k!(n k 1)! n k k + 1 n! (n k) + (k + 1) k!(n k 1)! (n k)(k + 1) n+1 n! k!(n k 1)! (n k)(k + 1) (n + 1)n! (k + 1)k! (n k)(n k 1)! n+1 k+1

La propiedad (3) permite utilizar un mtodo iterativo para calcular n . Este consiste en e k construir un tringulo, donde las las estn etiquetadas con valores de n, y las columnas con a a valores de k. Los bordes de este tringulo los rellenamos con unos, como muestra la tabla: a n=0 n=1 n=2 n=3 n=4 n=5 k=0 1 1 1 1 1 1 k=1 1 1 1 1 1 k=2 k=3 k=4 k=5

En esta estructura, el trmino n es el que aparece en la la n y la columna k. Para e k calcularlo, entonces, como 0 < k < n: n k = n1 n1 + k k1

es decir, cada trmino es la suma del que se encuentra sobre l, y el que se encuentra en su e e diagonal superior-izquierda. Rellenamos el tringulo: a n=0 n=1 n=2 n=3 n=4 n=5 k=0 1 1 1 1 1 1 k=1 1 2 3 4 ... k=2 k=3 k=4 k=5

1 3 6

1 4

1 1

Este tringulo es llamado Tringulo de Pascal. a a

97

Departamento de Ingenier Matemtica - Universidad de Chile a a

7.2.

Binomio de Newton

Teorema 7.1 (Binomio de Newton). Sean x, y

n

, n . Entonces

(x + y)n =
k=0

n k nk x y k

Ejemplo:

(x + 2)3

= = =

3 0 3 3 1 2 3 2 1 3 3 0 x 2 + x 2 + x 2 + x 2 0 1 2 3 1 x0 23 + 3 x1 22 + 3 x2 21 + 1 x3 20 8 + 12x + 6x2 + x3

Veamos, antes de probar el teorema, una forma intuitiva de comprender por qu aparecen e los coecientes n . Pensemos en n = 3. k (x + y)3 = (x + y)(x + y)(x + y) = x3 + x2 y + xyx + xy 2 + yx2 + yxy + y 2 x + y 3

El trmino x2 y viene de haber elegido x en los primeros dos parntesis, y haber elegido y en e e el tercero. 3 representa la cantidad de combinaciones donde se eligi x exactamente dos o 2 veces, las cuales son: x2 y, xyx, yx2 . Si reordenamos los factores, obtenemos x2 y + xyx + yx2 = Finalmente se concluye que (x + y)3 = 3 0 3 3 1 2 3 2 1 3 3 0 x y + x y + x y + x y 0 1 2 3 3 2 x y 2

Demostracion. Probmoslo por induccin en n . e o 0 0 Primero analicemos el caso base, n = 0. Por un lado (x+y)0 = 1 y por otro k=0 k xk y 0k = 0 0 0 , x0 = 1). Es decir, la propiedad se cumple para 0 x y = 1 (Aqu suponemos que x n = 0.

Sea entonces n 0 tal que se tiene que (x + y)n = se tiene el teorema para n + 1: (x + y)n+1 = (x + y)(x + y)n
n

n n k=0 k

xk y nk (H.I.). Probemos que

= (x + y)
k=0 n

n k nk x y k
n

Aplicamos H.I.

=
k=0

xk+1 y nk +
k=0

xk y n+1k .

98

Departamento de Ingenier Matemtica - Universidad de Chile a a

Ahora, si 1 k n, sabemos por propiedad de los coecientes binomiales que n+1 k Luego,
n1

n n + . k k1

(x + y)n+1 = xn+1 +
k=0 n

n k+1 nk x y + k

k=1

n k nk+1 x y + y n+1 k
n

= xn+1 +
k=1 n

n xk y nk+1 + k1 n n + k1 k

k=1

n k nk+1 x y + y n+1 k

Cambio de variable.

= xn+1 +
k=1 n+1

xk y nk+1 + y n+1

=
k=0

n + 1 k n+1k x y . k

De donde se concluye el teorema. Calculemos las siguientes sumatorias: 1. 2. 3. 4.

n 1 k=1 k(k+1) n k=0

k k!

n n k=0 k n n 1 k=0 k k+1

1. Para sta, utilizamos la descomposicin e o 1 1 1 = k(k + 1) k k+1 con lo que la suma a calcular se convierte en
n

k=1

1 = k(k + 1)

k=1

1 1 k k+1

1 1 1 =1 1 n+1 n+1

usando la propiedad telescpica. o

2. Consideremos la igualdad (k + 1)! = (k + 1)k! = k k! + k!, con la que obtenemos que k k! = (k + 1)! k! Sumando a ambos lados, llegamos a
n n

k k! =
k=0 k=0

((k + 1)! k!) = (n + 1)! 0! = (n + 1)! 1

pues es una suma telescpica. o 99

Departamento de Ingenier Matemtica - Universidad de Chile a a

3. Esta suma resulta ser una aplicacin directa del Binomio de Newton. Utilizando que o 1m = 1 para cualquier m 1,
n

k=0

n k

=
k=0

n k nk 1 1 k

As utilizando la frmula de Newton se tiene que , o

n

k=0

n k

= (1 + 1)n = 2n

4. Para este tipo de sumatorias, debemos llevarlas a la forma del Binomio de Newton, t picamente ingresando los factores que sobran al coeciente binomial. Reescribamos el trmino de la suma: e n 1 k k+1 = = n! 1 k!(n k)! k + 1 n! (k + 1)!(n k)!

Para formar un nuevo coeciente binomial, debemos procurar que los dos valores de abajo (en este caso k + 1 y n k) sumen el de arriba (en este caso n). Para arreglarlo, ampliquemos numerador y denominador por (n + 1), obteniendo n+1 1 (n + 1)n! 1 (n + 1)! 1 n! = = = (k + 1)!(n k)! n + 1 (k + 1)!(n k!) n + 1 (k + 1)!(n k)! n+1 k+1
1 1 Ahora tenemos un factor n+1 en lugar de k+1 . Hemos ganado algo? S pues , un trmino independiente de k, por lo que e n 1 n+1

k=0

n 1 1 = k k+1 n+1

k=0

n+1 k+1

Hacemos una traslacin de o ndice en la suma de la derecha, para obtener

n

k=0

1 n 1 = n+1 k k+1

n+1

k=1

n+1 k

Esto de la derecha se parece bastante a un Binomio de Newton: bastar rellenar con a 1k 1n+1k , sin embargo primero debemos procurar que el ndice k sume sobre todos los valores 0, 1, . . . , n + 1. Sumamos y restamos el trmino asociado a k = 0, y seguimos e

100

Departamento de Ingenier Matemtica - Universidad de Chile a a

es

desarrollando:
n

k=0

n 1 k k+1

1 n+1 1 n+1

n+1

k=0 n+1

n+1 n+1 k 0 n + 1 k n+1k 1 1 1 k

= = =

k=0

1 ((1 + 1)n+1 1) n+1 1 (2n+1 1) n+1

101

Departamento de Ingenier Matemtica - Universidad de Chile a a