Sucesiones y Series

Progresiones aritmticas y geomtricas

Sucesiones
Definicin Se llama sucesin a cualquier secuencia innita y ordenada de nmeros ({aj }jN = a1 , a2 , a3 , . . . , an , . . .) tal que cualquier elemento de esta secuencia este nicamente determinado. Ejemplo (de sucesiones) 2, 6, 12, 20, 30, . . . , an = n(n + 1) 1,2, 2,3, 3,4, 4,5, 5,5, . . . , an = 0,1 + 1,1n 11 1 1 1 1 , , , , , . . . , an = 2 5 10 17 26n2 + 1 150, 200, 250, 300, . . . , an = 150 + (n 1)50 1, 2, 8, 16, 32, . . . , an = 2n1 1, 4, 1, 5, 9, . . . , an = nesimo decimal de

Progresiones aritmticas

Una sucesin de nmeros reales, es una progresin aritmtica (P.A) si la diferencia entre cada trmino y el anterior es constante. La constante en una P.A se llama diferencia con n y la simbolizaremos con la letra d. Para que una P.A. quede completamente denida, adems de especicar su diferencia comn d, debemos especicar el primer trmino de la progresin que usualmente se denota a1 . Ejemplo 2.1.2 (de P.A.s)

0, 1, 2, 3, 4, . . . 7, 14, 21, 28, 35, . . . 10, 1, 8, 17, 26, . . .

1

a1 = 0, d = 1 a1 = 7, d = 7 a1 = 10, d = 9

44

Sucesiones y Series

Observacion 1 Si a1 es el primer trmino de una progresin aritmtica cuya diferenciaeoe comn es d ,entonces :u an = a1 + (n 1)d Suma de los primeros n trminos de una P.A.e Un problema muy frecuente, es saber calcular la suma de los primeros n trminos dee una progresin aritmtica. Existe un mtodo, bastante sencillo e ingenioso para calcularoee dicha suma y se ilustra a continuacin.o Consideremos una P.A. denida por a1 = 1, d = 1. Llamemos Sn a la suma de los primeros n trminos de esta P.A. Nuestra tarea ser calcular Sn .ea Sn =1+2+3+ +n Sn =n+ (n - 1) + (n - 2) + +1 2Sn = (n + 1) + (n + 1) + (n + 1) + + (n + 1) = n (n + 1) Sn =
n

(n + 1)2

(2.1)

Ejemplo 2.1.3 Calcular la suma de los primeros 100 nmeros naturales.u S100 = 1 + 2 + . . . + 100 = 22 Ejercicio 2.1.1 Sea {aj }jN una progresin aritmtica cuyo primer trmino es a1 yoee cuya diferencia comn es d. Demostrar que la suma de los primeros n trminos es :ue n a1 + a2 + + an = [2a + (n 1)d] 2 100 101100(100 + 1) == 5050

2.1.3.

Progresiones geomtricase

Una sucesin de nmeros reales es una progresin geomtrica (P.G) si el cuo-ouoe ciente de cada trmino con el anterior es constante. Esta constante se llama razneo com n y la denotaremos con la letra r. Adems, para que una P.G quede completa-ua mente denida, debemos especicar el primer trmino de la progresin que denotaremoseo a1 .

Ejemplo 2.1.4 (de P.G.) 1, 2, 4, 8, . . . 3, 3, 3, 3 . . . x, mx, m2 x, m3 x, . . . , a1 = 1, r = 2 a1 = 3, r = 1 a1 = x, r = m

eoeoObservacion 2 Si a1 es el primer trmino de una progresin geomtrica cuya raz n comn es r, entonces :u an = a1 rn1

2.1 Progresiones aritmticas y geomtricasee Suma de los primeros n trminos de una P.G.e Consideremos una P.G cuya razn comn es r y cuyo primer trmino es a1 . Llamemosoue Sn a la suma de los primeros n trminos de esta progresin. Nuestra tarea ser calculareoa Sn . Sn= a1 + a1 r + a1 r2 + + a1 rn1 rSn=a1 r + a1 r2 + + a1 rn1 + a1 rn Sn rSn = a1 - a1 rn Sn (1 r) = a1 - a1 rn

Series geomtricase

Sn = a1 1r1r

(2.2)

Sea Sn la suma de los primeros n trminos de una P.G. De acuerdo a 2.2 ,sabemose que : a1a1 n1 rn =r(2.3)Sn = a1 1r1r 1r Definicion 2 Llamaremos serie geomtrica a la suma de los innitos trminos de unaee progresin geomtrica y la denotaremos S .oe A primera vista, puede que para alguien la suma de innitos trminos deba ser innita.e En realidad, esto no es necesariamente cierto. De hecho, los griegos se sorprendieron mucho con este hecho. Pero, como se comporta la expresin Sn si hacemos crecer no hacia el innito, es decir, si la convertimos en su serie geomtrica S ? Para respondere a la pregunta enunciemos lo siguiente : Principio 1 Sea c una constante, entonces Si |r| = 1 |crn | = c n
1 cr n 0 a medida que n |r| <

|r| > 1 |crn | a medida que n

Ahora, claramente el primer trmino de 2.3 permanecer constante(no depende de n)ea mientras que el segundo trmino de 2.3 variar dependiendo del valor de n. De acuerdoea al principio 1, la unica manera de que el valor de S est bien denido y sea nito (oe converja) es que |r| < 1. En caso contrario, S crece al innito (o diverge) incluido el caso en que r = 1 (por que?). Corolario : Sea Sn una progresin geomtrica cuya razn comn es |r| < 1. Entonces,oeou su serie geomtrica converge(es nita y bien denida) y es:e a1 S = 1r

(2.4)

Ejemplo 2.1.5 (series geometricas) Expresarar, en forma racional, las siguientes series geomtricas :e

46 1.

Sucesiones y Series

0, 3 = 0, 3333 . . . = 0, 3 + 0, 03 + 0, 003 + 0, 0003 + = S Esta es una serie geomtrica denida por a1 = 3/10 y r = 1/10. Entonces, segneu la ecuacin 2.4,o 3/10313/10 S === = 1 1/109/1093 2. 1 1 11 + + ++ = S 2 4 8 16 Esta es una serie geomtrica denida por a1 = 1/2 y r = 1/2. Entonces, segn laeu ecuacin 2.4,o 1/21/2 S ===1 1 1/21/2 1 1 11 + + = S 2 4 8 16 Esta es una serie geomtrica denida por a1 = 1/2 y r = 1/2. Entonces, segneu la ecuacin 2.4,o 1/211/2 S === 1 (1/2)3/23 0, 183 = 0, 18383 . . . = 0, 1 + 0, 083 + 0, 00083 + 0, 0000083 + = S
serie geometrica

3.

4.

Dejemos a un lado, por mientras, el primer trmino de esta serie. Entonces, ten-e emos una serie geomtrica denida por a1 = 83/1000 y r = 1/100. Entonces,e utilizando la ecuacin 2.4 y considerando el primer decimal que haboamos dejado a un lado, tenemos que: 183/1000183/1000183183 +=+=+=+ 10 1 1/1001099/10010 99010 990 99 + 8318291 = == 99099095

S =

2.2 Smbolo de sumatoria y sus propiedades

47

2.2.

Smbolo de sumatoria y sus propiedades

Supongamos que tenemos una sucesin de nmeros reales tales que sus trminosoue estn dados mediante una frmula en trminos de una variable que llamaremos aoendice y que toma valores enteros consecutivos. Cada trmino de esta sucesin depende del valoreo del ndice i y lo denotaremos ai (ai se denomina el trmino general de la sucesin).eo Ejemplo 2.2.1 2, 6, 12, 20, 30, . . . 4, 7, 10, 13, 16, . . . 11111 , , , , ,... 2 4 6 8 10 ai = i(i + 1) ai = 3i + 1 1 ai = 2i

Denotamos la suma de todos los trminos de una sucesin desde el que corresponde aleo ndice p hasta el que corresponde al ndice q mediante :
q

ai = ap + ap+1 + ap+2 + aq .
i=p

Ejemplo 2.2.2
8

i(i 2) = 3 + 8 + 15 + 24 + 35 + 48 = 133
i=3

Ejemplo 2.2.3
n i=1

(i2 + 1) = 2 + 5 + 10 + 17 + + (n2 + 1)

Ejemplo 2.2.4
n i=1

i1234n =++++ + (2i 1)(2i + 1)13 35 57 79(2n 1)(2n + 1)

n

Ejemplo 2.2.5

i = 1 + 2 + 3 + 4 + + n
i=1

entonces, segn la frmula 2.1,uo

ni=1

i=

n(n+1) 2

48 Propiedades de la (sumatoria)

Sucesiones y Series

1. Propiedad 1 Sea c una constante cualquiera, entonces :

q i=pqp+1

c = c + c + c + . . . + c = (q p + 1) c veces

2. Propiedad 2 (de homogeneidad) Sea c una constante cualquiera, entonces :

q q

cai = c
i=p i=p

ai

En efecto,
q i=p q

cai = cap + cap+1 + cap+2 + + caq = c(ap + ap+1 + ap+2 + + aq = c ai

i=p

3. Propiedad 3

q i=p

(ai + bi ) =
i=p

ai +
i=p

bi

En efecto,
n

(ai + bi ) + (a2 + b2 ) + (a3 + b3 ) + + (an + bn) =

i=1

= (a1 + a2 + a3 + + an ) + (b1 + b2 + b3 + + bn ) =
n n

ai +
i=1 i=1

bi

Comnmente esta propiedad junto con la anterior de homogeneidad se ensamblanu para formar una sola propiedad que se denomina la propiedad de linealidad y se enuncia a continuacin.o 4. Propiedad 4 (de linealidad) Sean c y d constantes cualesquiera, entonces :
q i=p

(cai + dbi ) = c
i=p

ai + d
i=p

bi

En efecto,
q

(cai + dbi ) = (cap + dbp ) + (cap+1 + dbp+1 ) + + (caq + dbq ) =

i=p

= c(ap + ap+1 + + aq ) + d(bq + bq+1 + + bq ) =

c
i=p

ai + d
i=p

bi

2.2 Smbolo de sumatoria y sus propiedades 5. Propiedad 5 (indice mudo)

q q

49

ai =
i=p j=p

aj

6. Propiedad 6 (corrimiento del ndice) Sea c un nmero natural jo, entoncesu :

q qc

ai =
i=p i=pc

ai+c

7. Propiedad 7 (telescopica)
n

(ai+1 ai ) = an+1 a1
i=1

En efecto, los trminos de la sumatoria se cancelan de a pares :e

n

(ai+1 ai ) = (a2 a1 ) + (a3 a2 ) + (a4 a3 ) + + (an+1 an ) = an+1 a1

i=1

En general todas estas propiedades son muy importantes y elementales pero esta ultima propiedad puede llegar a ser de mucha utilidad en el momento de querer calcular sumatorias mas complicadas, como mostraremos en uno de los ejemplos a continuacin. Adems de su utilidad en el clculo de sumatorias, la propiedadoaa telescpica es la contrapartida del Teorema Fundamental del Clculo para el casooa discreto. El Teorema Fundamental del Clculo ser visto en el capaatulo 4. Ejemplo 2.2.6 Calcular el valor de
8 8i=2

5.

5 = 5 (8 2 + 1) = 5 7 = 35
i=2

Ejemplo 2.2.7 Calcular en trminos de n la suma :e

n k=1

k2

Denamos ak = k

3 n

, entonces ak+1 = (k + 1)3 y, utilizando la propiedad telescpica,o

n

(ak+1 ak ) =
k=1 k=1 3

(k + 1)3 k

= (n + 1)3 1

(2.5)

Por otro lado, (k + 1)3 k

n k=1

= 3k

+ 3k + 1, por lo tanto,
3 n

(k + 1)3 k

=
k=1 n

(3k

+ 3k + 1)
n n

=3
k=1 n

k 2+3 k2 + 3
k=1

k+
k=1 k=1

1 (2.6)

=3

n(n + 1) +n 2

50 igualando 2.5 con 2.6 tenemos que: (n + 1)3 1 = 3 y despejando

n2k=1 n k=1

Sucesiones y Series

k2 + 3

n(n + 1) +n 2

(2.7)

k de 2.7,
n

3
k=1

= (n + 1)3 3

n(n + 1) (n + 1) 2 = (n + 1)[(n + 1)2 3n/2 1] (n + 1)(2n2 + n) = 2

n2k=1

k=

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

(2.8)

Ejemplo 2.2.8 Calcular en trminos de n la suma :e

n n

1 2 + 2 3 + 3 4 + + n(n + 1) =
j=1 n

j(j + 1) =
j=1

(j

+ j)

= = = = Ejemplo 2.2.9 Calcular en trminos de

n

n(n + 1)(2n + 1) n(n + 1) + j=1 j=1 62 n(n + 1) 2n + 1n(n + 1) 2n + 1 + 3 +1 = 2323 n(n + 1)(2n + 4)n(n + 1)(n + 2) = 63 n(n + 1)(n + 2) 3 n la suma :e j2 + j=

Observemos que :

11111 +++ + 2= 3 15 354n 1

k=1

4k

1 11 2k 1 2k + 1

111 == 4k 2 1(2k + 1)(2k 1)2 en efecto, 1 2 11

1 (2k + 1) (2k 1)121 = == 2k 1 2k + 1 2 (2k 1)(2k + 1)2 (2k 1)(2k + 1)(2k 1)(2k + 1) entonces, tenemos que :
n

11 4k
2

11
k=1

= 1

2k=1

2k 1 2k + 1

1 n11 = 2 k=1 2k + 1 2k 1

2.2 Smbolo de sumatoria y sus propiedades

1111denamos ak = 2k1 . Luego, ak+1 = 2(k+1)1 = 2k+21 = nuestra denicin, podemos escribir la sumatoria original como sigue :o 1 n11 1 n111 =1(ak+1 ak ) = (a1 an+1 ) = 2 k=1 2k + 1 2k 1 2 k=1222n + 1 2k+1

51 y, producto de

Aqu hemos hecho uso de la propiedad telescpica.,o

52

Sucesiones y Series

2.3.

Teorema del binomio y n meros combinatoriosu

Comenzaremos este captulo enunciando el siguiente principio fundamental del anli-a sis combinatorio. Principio 2 Supongamos que tengo m maneras de realizar una cierta operacin A yo que tengo n maneras de realizar otra cierta operacin B. El nmero de maneras queou tengo de realizar conjuntamente las operaciones A y B es m n. Supongamos que tenemos n objetos distribuidos en n casilleros. De cuantas maneras podemos ordenar estos n objetos? En el primer casillero podemos colocar cualquiera de los n objetos distintos. Una vez colocado un objeto en el primer casillero, tenemos n 1 objetos restantes, y por ende, n 1 posibilidades para colocar un objeto en el segundo casillero. Sabemos que el numero de maneras que tenemos para realizar ambas operaciones, de acuerdo con el principio 2, es n (n 1). Es fcil darse cuenta que ela nmero de maneras en que podemos colocar, u ordenar, los n objetos distintos dentrou de los n casilleros es : n (n 1) (n 2) 3 2 1.

como sigue :

eDefinicion 3 Se dene n! (lase n factorial) recursivamente (n + 1)! = n!(n + 1) 0! = 1 n N

Nota: n! = n(n 1)(n 2) 3 2 1

n N

Corolario de la denicin:o El numero de maneras de ordenar n objetos distintos es n!

2.3.1.

N meros combinatoriosu
n uDefinicion 4 Se dene el nmero k (lase n sobre k) como sigue :e

combinatorial n k Ejemplo 2.3.1

n! = k!(n k)!

n, k enteros positivos tales que 0 k n

4 2 Ejemplo 2.3.2

4!24 ==6 2!(4 2)!22

10 10!10 9 8 7 = == 120 7!(3)!321

2.3 Teorema del binomio y n meros combinatoriosu

53

2.3.2.

Tringulo de Pascala

Construyamos un tringulo o rbol invertido de tal manera que contenga puros 1saa en sus bordes y que cada nmero restante sea resultado de sumar los dos nmeros queuu estn justo por encima de l. A este rbol se le conoce como tringulo de Pascal y seeeaa presenta a continuacin.o 1 1 1 1 1 4 3 2 3 1 1 1

6 4 1 . .. . . . La utilidad de construir un tringulo de Pascal se debe a su directa relacin con el c lculoaoa de los nmeros combinatorios. A modo de ejemplo, calculemos los siguientes nmerosuu combinatorios : 44444 ,,,, 01234 Estos nmeros son iguales a 1, 4, 6, 4 y 1 respectivamente. Es decir, son exactamenteu iguales a la 5 la del tringulo de Pascal. En general, los nmeros:au nnnn ,,,..., 012n aparecen al escribir la (n + 1)esima la en el tringulo de Pascal.a

2.3.3.

Propiedades de los n meros combinatorios o coecientes bino-u miales

n k n nk

Propiedad 8 =

En efecto : n k Ejemplo 2.3.3 n 0 n 1 = n n n n1 =1 n = n!n! == k!(n k)!(n k)!(n (n k))! n nk

=n

54 Propiedad 9 n+1 = k nn + kk1

Sucesiones y Series

Ejercicio 2.3.1 Demostrar la propiedad anterior Ejemplo 2.3.4 Vericar que : 8 3 En efecto,
7 2

77 + 23 =56 = 21 + 35

8 3

7 3

Ejemplo 2.3.5 Vericar que : 8 6 En efecto,

7 5

77 + 56 =28 = 21 + 7

8 6

7 6

2.3.4.

Teorema del binomio

Cmo lo har Ud. si se le pidiese desarrollar por ejemplo (a + b)10 ? Multiplicandooa los diez factores trmino a trmino? Afortunadamente hay una manera ms fcil deeea a hacerlo y se consigue empleando el Teorema del binomio. Enunciamos este teorema a continuacin.o Teorema 2.3.1 (del binomio) (a+b)n = n nn n1n n2 2nnn n a +ab+ab + +a2 bn2 +abn1 +b 011n2n1n

Usando un ndice k, el trmino general del teorema del binomio es:e n nk k ab k y luego, (a + b)n =
n k=0

n nk k ab k

(2.9)

2.3 Teorema del binomio y n meros combinatoriosu

55

Esta expresin se conoce como el teorema de binomio y nos dice como desarrollar uno binomio elevado a cualquier potencia natural. La demostracin de este teorema la de-o sarrollaremos al nal del captulo, cuando contemos con ms herramientas para hacerlo.a Adems, si el lector est interesado, le podemos contar que existen generalizaciones deaa este teorema. Existe un teorema para desarrollar una potencia entera de un polinomio denominado Teorema del Multinomio. Adems, de la teor de la variable compleja seaa desprende una formula para desarrollar un binomio elevado a una potencia no necesariamente entera pero esta formula consiste en una serie de innitos trminos.e

Ejemplo 2.3.6 Hallar el trmino central y el coeciente de x14 en el desarrollo dee (1 x)16 Solucin :o (1 x)16 =
16 k=0 16 16k16

16

k1(x) =(1)k xk kk El trmino central es el 9 y ste corresponde a k = 8 :ee k=0

1616 8 (1)8 x8 =x = 12870x8 88 Ahora, el coeciente que acompaa a x14 corresponde a k = 14 y luego el coecienten es : (1)14 16 14 = 16 2 = 120

desarrollo de

eEjemplo 2.3.7 Hallar el trmino constante (independiente de x) en el x2 1 x4

12

Solucin :o x 4) x
21 12 12

=
k=0 1

121 k12 kxkx

12 242k

12 12k(x ) (
k=0 12

) =(1)kx

4k

2(1)k 12 242k4k12 246k x=(1)kx x=0 kk 12 x246k sea k=0 La unica manera de que (1)k constante es que =
k

24 6k = 0 Por lo tanto, el trmino constante es :e (1)4

k=4

12 12! 4 = = 495 4! 8!

56

Sucesiones y Series

Ejercicio 2.3.2 Buscar el trmino independiente (que no depende de x) de :e x x Respuesta : 210

21 10 3

2.4 El principio de induccin y sus aplicacioneso

57

2.4.
2.4.1.

El principio de induccin y sus aplicacioneso

Introduccino

Habr alguna frmula para calcularao

n k=1

= 13 + 23 + 33 + 43 + 53 + + n3 ?

(2.10)

Una manera de hacerlo es denir ak = k 4 y utilizar la propiedad telescpica, de igualo manera como hicimos para calcular n k 2 . De hecho, este mtodo nos permite calculare
k=1

k m para cualquier m N. Pero existe otro mtodo, bastante utile para demostrar propiedades que involucran nmeros naturales, denominado mtodoue inductivo. La verdad es que este mtodo no nos permite calcular expresiones compli-e cadas pero, si somos capaces de intuir algn clculo o alguna propiedad, este mtodo nosu ae otorga una herramienta para probar la validez de dicho clculo o propiedad para todoa natural. A modo de ejemplo veamos si somos capaces de intuir, luego de un poco de experimentacin, el valor de 2.10.o 13 = 1 n= 1 = 12 = 12 n= 2 = 32 = (1 + 2)2 13 + 23 = 9 3 3 6 2 n= 3 = 36 = = (1 + 2 + 3)2 13 + 23 + 4 3 10 2 = (1 + 2 + 3 + 4)2 n= 4 = 100 = 13 + 23 + 33 + n = 5 13 + 23 + 33 + 43 + 53 = 225 = 152 = (1 + 2 + 3 + 4 + 5)2 Sospechamos que :
2 n(n + 1) 2 1 + 2 + 3 + + n = (1 + 2 + 3 + + n) = 2 Para aceptar matemticamente la frmula anterior es necesario demostrar que seao cumple para cualquier entero positivo n, lo cual no hemos hecho todava 3 3 3 3

nrecursivamente k=1

uPrincipio 3 (de induccion matematica) Consideremos el conjunto de los nmeros naturales N = {1, 2, 3 . . .}. Si A es una sucesin de nmeros naturales que cumple loou siguiente : A contiene al 1 Si A contiene al nmero k, entonces necesariamente contiene al nmero naturaluu siguiente k + 1 entonces A = N . Corolario De acuerdo a este principio, para demostrar que una regla, teorema, propiedad,etc. se cumple para cualquier entero positivo n, basta :

58 Demostrar o vericar que se cumple para n = 1.

Sucesiones y Series

Demostrar que si se cumple para n = k 1 entonces necesariamente debe cumplirse para n = k + 1

Ejemplo 2.4.1 Demostrar por induccin matemtica que :oa n(n + 1) 3 1 + 2 + 3 + + n = 2

3 3 3 2

Demostracin :o Primero, veriquemos que al propiedad se cumple para n = 1 : 13= 1(1 + 1) 2 1=1 Luego, la propiedad se satisface para n = 1. Ahora, supongamos que la igualdad que queremos probar se cumple para n = k 1 ,o sea, k(k + 1) 2 33331 + 2 + 3 + + k =(Hiptesis de induccin)oo 2 A partir de esta hiptesis, debemos probar que la igualdad se cumple para n = k + 1o , o sea, (k + 1)(k + 2) 2 333331 + 2 + 3 + + k + (k + 1) = 2 En efecto,
3 3 13+ 2 3 +3+ +k+ (k + 1) 3 2

= k
2

3+

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

24 (k + 1)2 + 4(k + 1)3(k + 1)2 k 2 + 4(k + 1) = = 44 2 2 [k + 4k + 4](k + 1)2 (k + 2)2 = (k + 1) = 44 luego, + 1)(k + 3 2) 1 + 2 + 3 + k + (k + 1) = 2 y, por lo tanto, la igualdad se cumple para n = k + 1. Concluimos que la propiedad se cumple para todo n 1.
3 3 3 3(k 2

2.4 El principio de induccin y sus aplicacioneso

59

Ejemplo 2.4.2 Demostrar por induccin matemtica que 9n 4n es divisible por 5 paraoa todo n 1 Demostracin :o Primero, veriquemos que la propiedad se cumple para n = 1. En efecto, 91 41 = 5 y 5 es divisible por 5, por tanto, la armacin se cumple para n = 1.o Ahora, supongamos que la propiedad que queremos probar se cumple para n = k, o sea : 9k 4k es divisible por 5. (Hiptesis de induccin)oo Tenemos que demostrar que la propiedad se cumple para n = k + 1, o sea, 9k+1 4k+1 es divisible por 5. Por hiptesis, sabemos que 9k 4k es divisible por 5. Esto signica que 9k 4k = 5p cono p algn entero. Es decir 9k = 5p + 4k . Teniendo presente esta ultima expresinuo 9k+1 4k+1 = 9 9k 4k+1 = 9(5p + 4k ) 4k+1 = 45p + 9 4k 4 4k = 45p + 5 4k 9k+1 4k+1 = 5(9p + 4k )(multiplo de 5) Luego, la armacin se cumple para n = k + 1 si se cumple para n = k.o Por lo tanto la armacin es vlida para todo entero n 1 quedando completada nuestraoa demostracin.o Una de las aplicaciones de la induccin consiste en generalizar propiedades.o Ejemplo 2.4.3 Probar la validez de la siguiente desigualdad y luego generalizarla para n sumandos : |a + b| |a| + |b| Parntesis :e Recordemos que si a es un nmero real, entonces:u a a si si a0 a<0

|a| =

Algunas propiedades de |a| fcilmente vericables por el lector son:a |a|2 = a2 |ab| = |a||b|

60 Demostracin:o

Sucesiones y Series

|a + b|2 = (a + b)2 = a2 + 2ab + b2 = |a|2 + 2ab + |b|2 pero ab |ab| = |a||b|, luego

|a + b|2 = |a|2 + 2ab + |b|2 |a|2 + 2|a||b| + |b|2 = (|a| + |b|)2 entonces |a + b| ||a| + |b|| pero |a| + |b| 0, con lo cual podemos concluir : |a + b| |a| + |b| A modo de ilustracin, sean a = 3, b = 5, entonceso |a + b|2 (|a| + |b|)2

|a + b| = |3 + (5)| = | 2| = 2 |a| + |b| = |3| + | 5| = 3 + 5 = 8

claramente 2 8. Por lo tanto, |a + b| |a| + |b|

Generalizacin :o Si a1 , a2 , a3 , , an son nmeros reales, entoncesu |a1 + a2 + a3 + + an | |a1 | + |a2 | + |a3 | + |an | o sea
n n

ai
i=1 i=1

|ai|

n 1

Demostracin (por induccin sobre n) :oo Primero, veriquemos que la propiedad se cumple para n = 1,
1i=1

ai 1i=1 |ai| |a1 | |a1 |

Efectivamente |a1 | |a1 | y, por lo tanto, la desigualdad se cumple para n = 1. Supongamos que la desigualdad se cumple para n = k ,o sea, |a1 + a2 + a3 + + ak | |a1 | + |a2 | + + |a(Hiptesis k| de induccin)oo Demostraremos que en tal caso tambin se cumple para n = k + 1, o sea,e |a1 + a2 + + ak + ak+1 | |a1 | + |a2 | + + |ak | + |ak+1 |

2.4 El principio de induccin y sus aplicacioneso pero |a1 + a2 + + ak + ak+1 | = | (a1 + a2 + + ak ) +ak+1 | = |A + ak+1 |
A

61

Como hemos demostrado que la desigualdad es vlida para 2 sumandos (n = 2) entonces:a | (a1 + a2 + + ak ) +ak+1 | |A| + |ak+1 | = |a1 + a2 + + ak | + |ak+1 |
A

(|a1 | + |a2 | + |ak |) + |ak+1 | = |a1 | + |a2 | + + |ak | + |ak+1 | o sea, bajo la hiptesis de induccin, la desigualdad tambin se cumple para n = k + 1.ooe Concluimos que la desigualdad es vlida para todo nmero natural.au Ejercicio 2.4.1 Probar que : |a1 a2 a3 a4 an | = |a1 ||a2 ||a3 | |an |n 1 Demostracin (por induccin) del teorema del binomio :oo n nk k n nn n1n n ab = a +ab + +b k=0 k 01n Veriquemos que el teorema se cumple para n = 1 :
n (a + b) = 11 k=0 k 1 0 n

a1k bk =

(a + b)1 = a + b a+ 1 b=a+b
1

luego el teorema del binomio se cumple para n = 1. Supongamos que el teorema del binomio se cumple para n = p , o sea,
p p (a + b) = k=0

p pk k ab k

(Hiptesis de induccin)oo

Demostraremos bajo la suposicin anterior que el teorema se cumple para n = p + 1 , oo sea, debemos probar que:
p+1 p+1 (a + b) = k=0

p+1 p+1k k ab k

en efecto,
p p+1 (a + b) p = (a + b)(a + b) = (a + b) k=0

p pk k ab k

= (a + b)

p pp p1p p2 2pp p a +a b+a b + ++b 012p1p

62 p p+1p pp p1 2p p2 3 a+a b+a b +a b + 0123 ppp pp p1 2p p2 3 + a2 bp1 +abp +a b+a b +a b + p1p012 ppp p+1 + a2 bp1 +abp +b p2p1p
p+1 0

Sucesiones y Series

Factorizando de a pares y usando el hecho de quep = 0 (a + b)p+1 = p+1 p+1 a+ 0 + + pp + 10 ap b +

p p

p+1 p+1

, tenemos ap2 b3
p+1

pp + p1p2
n k1

pp + 21 pp a2 bp1 + + pp1
n k

ap1 b2 +

pp + 32 p+1 abp + b p+1

ahora, usando la propiedad (a + b)p+1 =

n+1 k

, tenemos

p+1 p+1p+1 pp+1 p1 2p+1 p2 3 a+a b+a b +a b 0123 p+1 2 p1p+1p+1 p+1 + + a b+abp +b p1pp+1 p+1 p+1 p+1k k ab k=0 k

y el teorema, bajo la hiptesis de induccin, es vlido para n=p+1. Concluimos que elooa teorema del binomio es vlido para todo n natural.a

2.5 Problemas propuestos

63

2.5.
2.5.1.

Problemas propuestos
Progresiones aritmticas y geomtricasee

1. El 2 trmino de una serie geomtrica innita es 4 y la suma de sus innitosee trminos es 25.e a) Hallar los posibles valores de la razn comn.ou b) Hallar la suma de todos los enteros desde 100 a 2000 que no sean mltiplosu de 4 2. El 20 trmino de una progresin aritmtica es el triple del 10 trmino de ella yeoee la suma de los 20 primeros trminos es 58.e a) Hallar el 1 trmino y la diferencia comn.eu unimo de trminos para que la suma sobrepase a 100.eb) Hallar el n mero m 3. El largo de los lados de un tringulo rectngulo son tres nmeros consecutivos deaau una progresin aritmtica. Demuestre que el largo de los lados de este tringulooea estn en la razn 3 : 4 : 5.ao uoo4. Expresar los siguientes nmeros peridicos o semiperidicos como fracciones : a) 1, 417 b) 0, 183 c) 0, 61 5. Un carpintero quiere construir una escalera con nueve pelda nos cuyos largos van disminuyendo uniformemente, en donde el primer pelda no mide 24cm. y el noveno mide 18cm. Determine el largo de los 7 pelda nos restantes. oe6. Sea {an }nN una progresin aritmtica. Si ai = x, aj = y, ak = z para i, j, k N, entonces pruebe que (j k)x + (k i)y + (i j)z = 0 7. Encuentre la suma Sn donde Sn = 1 + 11 + 111 + + 11 1 Indicacin : Calcular dos veces una progresin geomtrica.ooe 8. El segundo trmino de una progresin geomtrica es
3 40 n unos

. La suma innita de laeoe

correspondiente serie geomtrica es 12. Encuentre el primer trmino y la razneeo comn de la progresin.uo 9. Se construye una pila de 20 cubos cuyas aristas forman una progresin geomtricaoe 3 si el cubo mayor tiene una aristade razn 4/5. Hallar el volumen de la pila en mo de 60cm.

64 10.

Sucesiones y Series a) Una progresin aritmtica tiene diferencia comn igual a p. Por otro lado unaoeu progresin geomtrica tiene razn comn igual a p. Tanto el primer trmino deoeoue la progresin aritmtica como el primer trmino de la progresin geomtricaoeeoe son iguales a 1. 1) Escriba, en funcin de p, los cuatro primeros trminos de la progresinoeo geomtrica y de la progresin aritmtica.eoe 2) Si el tercer trmino ms el cuarto trmino de la progresin aritmticas eseaeoe igual al tercer trmino ms el cuarto trmino de la progresin geomtrica,eaeoe encuentre los 3 posibles valores para p. 3) Para cual de los valores de p hallados en (a)(ii) existe la suma de los innitos trminos de la progresin geomtrica ?eoe

b) 1) Tomando el valor de p hallado en (a)(iii) halle el valor exacto de la suma de los innitos trminos de esta progresin geomtrica.eoe 2) Tomando el mismo valor de p, halle la suma de los veinte primeros trmi-e nos de la progresin aritmtica escribiendo su respuesta en la forma :oe a + b c a, b, c Q. Indicacin : p3 + p2 5p 2 = (p 2)(p2 + 3p + 1)o

2.5.2.

El smbolo de sumatoria y sus propiedades

para expresar las sumas siguientes: b3 + + abn1 + bn

1. Usar el smbolo de a) 1 b) an + c)
1 3

1 1113 4 + 100 + 2 an1 b + an2 b2 + an3 1 8

1 15

1 24

1 35

+ + hasta n trminose

2. Calcular las sumas siguientes: a) b) c) 3. Suponiendo conocidas las frmulas siguientes:o

n 4kk=1

52i1i=1 2 61 r=1 r(r+1)

n(n + 1) k= 2

n k=1

k2 =

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

k=1

determinar en funcin de n las siguientes sumas:o a)

nk=1

2k(2k+ 1)

b) 3 + 8 + 15 + 24 + 35 + + n trminose

2.5 Problemas propuestos 4. a) Usar la siguiente identidad 111 = i(i + 1)ii+1 para calcular, en trminos de n, la siguiente suma:e
n i=1

65

1 i(i + 1)

b) Aplicar

a ambos lados de la identidad siguiente (k + 1)3 k

3

= 3k

+ 3k + 1

y obtener la frmula parao nk=1 k. 5. Usar las propiedades del smbolo a) b) [a + (r 1)d] = = a rn 1 i=1 arr1
nnr=1 ni1 2

n2k=1

k suponiendo conocida la frmula parao

para probar que:

[2a + (n 1)d]

6. Si x1 , x2 , x3 , . . . , xn son n nmeros reales, el promedio o medio aritmtico de ellosue se dene por, 1n X=xi n i=1 Probar que : 1 n 7.
n i=1

2 (xi X) =

1 n

n i=1

x2 Xi

a) Calcular en trminos de n la suma:e 1 S= n Indicacin : Calcular primero S-2So b) Generalizar el procedimiento usado en (a) para calcular en trminos de n y qe la suma:
n n i=1

k2k

S=
k=1

kq

8. Calcular en trminos de n las sumas:e a)

nk=1 (1)k [3(k + 1) + ] 3k eb)

+ hasta n trminos

1 + 9 + 25 + 49 +

66 9. Usar la identidad (k + 1)4 k

4

Sucesiones y Series = 4k
n 3

+ 6k

+ 4k para obtener:
2

k=
k=1

n(n 3 2

+ 1)

aa10. En el tringulo ABC rectngulo en B se tiene AB = BC = 1cm. y se divide el lado AB en n partes iguales, construyndose en cada subdivisin un rectnguloeoa como lo indica la gura. Calcular en trminos de n la suma de las reas de todos los rectngulos. Qu sucedeeaae

... A B

si n toma valores cada vez ms grandes?a

2.5.3.

Teorema del binomio. Tringulo de Pascal y n meros combina-au torios

1. Usar el teorema del Binomio para desarrollar completamente: a) (x 7y)3 b) c) 1+

2 3x 3 y 3 4

+ 3xy

2. Desarrollar (a+b)6 y comprobar que los coecientes que acompaan a cada trminone corresponden a los coecientes del Tringulo de Pascal.a 3. Hallar el/los trmino/s central/es de los siguientes binomios:e a) (1 + 4y)5 b) (2x 3y)6 c) 4. siguiente: a + 9b 3 1
x2 2 1

ea) Hallar el cuarto trmino del binomio

10

2.5 Problemas propuestos b) Hallar el coeciente de x18 del siguiente binomio:

3 3a 15

67

x+ x 5. Hallar el desarrollo de (1 + 2x x2 )4

6. Utilize el Teorema del Binomio para encontrar el valor de (1, 001)5 con 5 decimales exactos. Indicacin: utilize el Teorema del Binomio, separando 1,001 en una suma, y luegoo aproxime. 7. Demuestre que si n es un nmero natural mayor que cero, se tiene que:u nnnnn ++++ + 0123n = 2n

Indicacin : Utilize el Teorema del Binomio, notando que 2n = (1 + 1)n .o 8. Hallar la relacin entre r y n para que los coecientes de los trminos de lugaresoe 3r y (r + 2) del binomio (1 + x)2n sean iguales. 9. a) Utilizando el Teorema del Binomio, desarrollar los siguientes binomios: 1) (x 3)5 2) 2
3x2 2 4

b) Hallar el cuarto trmino y el trmino independiente de la siguiente expresin:eeo 3 21 x 23x

9

e10. Usando el Teorema del Binomio, encontrar el valor numrico de (0,998)6 con 5 decimales exactos. e11. Los 2 , 3 y 4 trminos del desarrollo de (x + y)n son 240, 720 y 1080 respectivamente. Hallar x, y, n.

2.5.4.

Principio de Induccin y sus aplicacioneso

1. Deducir y probar las correspondientes frmulas para la suma de los primeros no nmeros pares e impares.u 2. Demuestre por induccin que el nmero mximo de diagonales que se le puedenoua dibujar a un polgono de n lados es igual a n(n3) .
2

o3. Demostrar por induccin que xn y n es par.

es divisible por x + y cuando

68 4. Ocupando sumas conocidas, encuentre la frmula de :o S = 1 2 + 2 3 + + (n 1)n y demustrela por induccin.eo natural : o5. Demuestre por induccin que para todo n 1111n +++ += 12 23 35n (n + 1)n+1

Sucesiones y Series

6. Demuestre por induccin que para todo n natural :o

2n k=1

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

y determine el valor de la constante . 7. Demuestre por induccin que para todo n natural :o 1 1+ 1 8. Sea S = 1 4 + 2 5 + 3 6 + + n(n + 3) a) Calcule el valor de S. b) Demuestre su resultado por induccin.o 9. Demuestre que para todo nmero natural n :u 1 1+ n
n 2

1 1+ 2

1 1+ 3

1 1 + n

n+1

(n + 1)n+1 = n!

1 1+ n+1

n+1

10. Demuestre por induccin que para todo n natural :o a) 1 + 2 + 3 + + n = 2 b) 12 + 22 + 32 + + n2 = c) 13 + 23 + 33 + +

n(n+1)

n(n+1)(2n+1) 6 2 n3 = n(n+1) 2

11. Demuestre que para todo n natural se tiene que : 111 1 + + + + < 2 n n23 oagono de12. Demuestre por induccin que la suma de los ngulos interiores de un pol n lados es igual a (n 2) .

2.5 Problemas propuestos 13. Pruebe que para todo n natural, a) 32n+1 + 2n+2 es divisible por 7. b) n3 + 5n es divisible por 6. o14. Pruebe por inducci n que : 1 111 1+ + + + 4 9nn
2

69