Captulo 14

MATEMTICAS DISCRETAS:
INDUCCIN

14.1.

Introduccin

Los Naturales fueron denidos como el subconjunto ms pequeo de los Reales tal que se
cumplen las dos propiedades siguientes

Propiedad de Induccin Matemtica.

(i)
(ii)

1 N, y
k N = (k + 1) N.

La expresin mas pequeo debe entenderse que cualquier subconjunto de los Reales que
cumpla con esas dos propiedades, contendr a los Naturales. En particular, cuando un subconjunto de los Naturales tenga esas propiedades, deber coincidir con los Naturales, ya que
los contiene y est contenido en ellos. Esta simple observacin es la base de una tcnica
para realizar demostraciones de propiedades que se reeren o se asocian con los nmeros
naturales. Llamamos a la propiedad anterior, la propiedad de induccin matemtica (PIM),
y llamaremos a la tcnica indicada el
abreviaremos por

PIM.

principio de induccin matemtica,

a la que tambin

320

CAPTULO 14.

MATEMTICAS DISCRETAS: INDUCCIN

Principio de Induccin Matemtica

Sea

P(n)

Si

una proposicin acerca del nmero natural

P(1) es vlida, o sea la propiedad es vlida para

n = 1.
P(k) = P(k + 1), o sea suponiendo que la
propiedad vale para un nmero natural k tambin
es vlida para k + 1.

(Base)
(Paso de Induccin)

Entonces

n.

la propiedad es vlida para todo nmero natural.

Observemos que el conjunto de los naturales que tiene la propiedad, cumple con las dos
partes de la propiedad de induccin, y debe por lo tanto ser igual a todos los naturales.
La base, para empezar se puede modicar, para comenzar con otro entero. Por ejemplo, si
sabemos que

P(0)

es vlida y que

P(k) = P(k + 1),

0.

entonces la propiedad ser vlida

para todos los enteros mayores o iguales que

Usaremos la propiedad de induccin tanto para probar armaciones y vericar conjeturas,

como para denir nuevos objetos matemticos asociados con los naturales.

14.2.

Sucesiones

Llamamos

sucesin

(de nmeros reales) a una funcin

a : N R1 .

O sea que una

sucesin es la asignacin a cada nmero natural de un nmero real. Una tradicin acerca
de las sucesiones, es escribir

an

en lugar de

a(n)

y decir que ese es el trmino

nsimo

de la

sucesin. Usualmente pensaremos en la sucesin como una lista ordenadas de sus trminos

a1 , a2 , a3 , . . . , an , . . .
Por esa razn, diremos que una sucesin dene una
simbolizaremos de forma abreviada como

(an )n1

innitupla

o simplemente

de nmeros reales y la

(an ).

Ejemplos 14.2.1.
1. Sea

an = n2 ,

2. Sea

bn =

3. Sea

luego

n
,
n1

ser la sucesin 1, 2, 4, 9, . . .

n 2.

Se trata de la sucesin

2 3 4
, . , . . ..
1 2 3

una funcin con valores reales y cuyo dominio incluye a

[1, ),

es una sucesin. Por ejemplo, la sucesin del ejemplo 1, est asociada con

(f (n))
f (x) = x2 .

entonces

En este captulo, por comodidad para formulaciones posteriores, supondremos que el primer trmino de

una sucesin corresponder a

n = 1,

a menos que explcitamente se indique lo contrario.

14.2.

321

SUCESIONES

14.2.1. Sucesiones denidas recursivamente

En este captulo estaremos especialmente interesados en sucesiones que sern denidas con
la ayuda del PIM, a las que llamaremos

sucesiones denidas recursivamente.

Ejemplo 14.2.2 (Potencias Naturales de un Nmero Real).

mos una sucesin

(pn )

Sea

pk+1 = pk a.

(14.1)

Ntese primeramente que no tenemos una frmula directa para

p499

p501 ,

un nmero real. Dena-

de la siguiente manera,

p1 := a,

digamos

debemos primeramente conocer

y as sucesivamente hasta llegar a

p1 ,

p500 .

pn ,

si no que para calcular,

Y para calcular,

p500

debemos conocer

cuyo valor es conocido. Aunque esto luce engo-

rroso, veremos que este tipo de proceder es til tanto prctica como tericamente. Veremos
primeramente que una simple aplicacin del PIM, mostrar que
nmero natural

n.

n = 1,

pn

est denido para todo

pk ,
pk+1 . Por PIM, se tiene lo armado, o sea que pn est denido para
n. Veremos, a continuacin, unos clculos de pn para algunos de los

En efecto, est denido cuando

y si conocemos el valor de

conoceremos el valor de
todo nmero natural
valores iniciales de

n.

p2 = p1 a = a a = a2 ,

p3 = p2 a = a2 a = a3

p4 = p3 a = a3 a = a4 .

pn = an . La conjetura anterior es una armacin de

una propiedad que depende del nmero natural n, por lo que usaremos PIM para vericarla.
Los ejemplos nos llevan a conjeturar que

n se cumple que pn = an .
1
a , lo que nos dice que la propiedad se cumple cuando

Objetivo: probar que para todo nmero natural

(Base:

n = 1) Por denicin p1 = a =

n = 1.
(Paso de induccin: Suponer que la propiedad se cumple para
para

n = k + 1).

Supongamos que se cumple que

pk =

n=k

y deducir que se cumple

ak , entonces

pk+1 = pk a = ak a = ak+1 .
Lo que muestra que la propiedad es tambin vlida para

n = k + 1.

Por PIM, la propiedad

es vlida para todo nmero natural.

El ejemplo anterior podra parecer una forma complicada de denir las potencias naturales
de un nmero real. Sin embargo, veremos que no lo es y, an ms, que la denicin

recur-

siva dada tiene aplicaciones prcticas y tericas importantes. Supongamos que quisiramos
programar una computadora para que nos calculara potencias naturales de un nmero real.
Intuitivamente, denimos a

an

como

a multiplicado por s mismo n veces.

Aunque esta de-

nicin es relativamente fcil de entender para las personas, no lo es para una mquina. En
efecto, la computadora sabe multiplicar dos nmeros a la vez y no ms de dos nmeros, ya

322

CAPTULO 14.

MATEMTICAS DISCRETAS: INDUCCIN

que esa es exactamente la denicin de la multiplicacin. (Si pensamos bien, nos daremos
cuenta de que nosotros tampoco sabemos cmo multiplicar, por ejemplo, cinco nmeros a
la vez, ya que tambin lo hacemos de dos en dos). Luego, la denicin recursiva est perfectamente adecuada para programar una computadora, ya que slo conlleva la multiplicacin
de dos nmeros a la vez. A continuacin una tpica denicin en lenguaje de programacin
de potencia

function potencia(a:real; n: integer): real {

if (n == 1) then return a
else return potencia(a, n-1);
}
A continuacin una breve explicacin del programa anterior. El encabezado (la primera
recta) indica el nombre interno de la funcin (potencia), los argumentos que se le pasa (un
nmero

real a

y un nmero

entero n) y
return

Finalmente lo que viene despus de

el tipo del resultado que es un nmero

real.

es lo que la funcin devuelve. La demostracin

que hicimos arriba es la prueba que esa funcin efectivamente computa

an .

Queremos indicar que el xito de las computadoras, se debe precisamente a su capacidad de

procesar funciones recursivas como las indicadas. Adems por la observacin hecha acerca
de que la multiplicacin est denida solamente para dos nmeros, la denicin recursiva
dada, es exactamente la denicin formal o lgica de potencias naturales.

Ejemplo 14.2.3 (Las Sucesiones Aritmticas).

Las sucesiones aritmticas fueron intro-

ducidas en el captulo 10. Recordemos que llamamos sucesin aritmtica, a una sucesin tal
que es posible obtener cada trmino, sumndole un nmero jo (la diferencia de la sucesin)
al trmino anterior. Est es claramente una denicin recursiva, En efecto, dados el trmino
inicial

y la diferencia

d,

una sucesin aritmtica con ese trmino inicial y esa diferencia

queda denida por:

a1 := a
Ntese que por la denicin,

ak+1 := ak + d.

ak+1 ak = d,

para todo

k,

o sea que la diferencia entre

trminos sucesivos es constante. Tenemos de forma inmediata que

a1 = a
a2 = a1 + d = a + d
a3 = a2 + d = (a + d) + d = a + 2d
a4 = a3 + d = (a + 2d) + d = a + 3d
El patrn observado nos lleva a conjeturar que
probar usando induccin.

an = a + (n 1)d,

lo que procederemos a

14.2.

323

SUCESIONES

(Base:

n = 1.) a1 = a = a + (1 1)d,

lo que prueba que la frmula es vlida para

(Paso de induccin.) Supongamos que ak = a + (k 1)d. Entonces

ak+1 = ak + d = (a + (k 1)d) + d = a + kd = a + ((k + 1) 1)d). O sea que la
vlida para k + 1. Por PIM, tenemos que la frmula es vlida para todo nmero

n = 1.

frmula es
natural.

Ejemplo 14.2.4 (Las Sucesiones Geomtricas).

Una sucesin es una sucesin
inicial) y r (razn) tales que:

Denicin 14.1.

a1 = a

geomtrica, ssi, hay nmeros a (trmino

ak+1 = ak r.

Ntese que por la denicin, cada trmino es igual al anterior multiplicado por la razn de
la sucesin. Tenemos de forma inmediata que

a1 = a
a2 = a1 r = ar,
a3 = a2 r = (ar)r = ar2 ,
a4 = a3 r = (ar2 )r = ar3

El patrn observado nos lleva a conjeturar que

an = arn1 ,

la vericacin de lo anterior,

que debe hacerse por induccin, quedar a cargo del lector.

Ejercicios 14.2.
1. Escribir los cuatro primeros trminos de cada una de las siguientes sucesiones cuyo

nsimo se indica.
4n 1
(b)
(1)n
n
a1 = 1, an+1 = 2an 1

trmino
(a)
(e)

(c)
(f )

2n
.
2n1
n2
an = an2 + an1 , n > 2.

(1)n+1

a1 = a2 = 1,

(d)

2. Para cada una de las siguientes sucesiones, escribir dos trminos adicionales y el trmino

nsimo.

Indicar si la sucesin es aritmtica o no, en caso armativo indicar la

diferencia. Indicar si la sucesin es geomtrica o no, en caso armativo indicar la razn.

(a)
(d)
(g)
3.

a)

1, 3, 5, 7, . . .
1,
1, 1,
...
1, 2, 3, 2, . . .
Sean

a, b, c

(b)
(e)
(h)

2, 4, 6, 8, . . .
20, 17, 14, 11, . . .
1, 0, 1, . . .

(c)
(f )
(i)

1, 1/2, 1/3, 1/4, . . ..

1, 1/3, 1/5, 1/7, . . .
1, 1, 3, 1/2, 5, 1/4, . . .

tres trminos consecutivos de una sucesin aritmtica. Probar que

es el promedio de los otros dos.

324

CAPTULO 14.

b)

MATEMTICAS DISCRETAS: INDUCCIN

a, b, c tres trminos consecutivos y positivos de una serie geomtrica. Probar

b es la media geomtrica de a y b, o sea que b = ac.

Sean
que

4. Dar un ejemplo de una sucesin que sea aritmtica y geomtrica a la vez. (Hay muchos
ejemplos posibles)
5. Hallar

x, y, z, w

tales que

32, x, y , z , w, 47 sean trminos consecutivos de una sucesin

aritmtica.
6. Sea

a1 , a2 , . . . , an

los

primeros trminos de una sucesin aritmtica. Probar que si

es impar, el termino del centro es el promedio de

a1

con

an .

Qu se puede decir si

n
n

es par?

14.3.

Las Series

(Serie). Sea a = (ai )i1 una sucesin. Llamamos serie con trminos de
la sucesin (an ), a la sucesin (sn ) tal que sn es igual a la suma de los n primeros trminos
de la sucesin (ai ).

Denicin 14.2

Sea

a = a1 , a2 , a3 , . . . , an , . . .

una sucesin. Los primeros trminos de la serie asociada con

esa sucesin son:

s1 = a1
s2 = a1 + a2
s3 = a1 + a2 + a3
.
.
.

sn = a1 + . . . + an
La gura 14.1 nos puede ayudar a entender la relacin entre la sucesin y la serie asociada
....
........
....
...
...
...
...
...
...
...
...
...
.
............................................................................................................................................................................
.

a4
a3
a2
a1

Figura 14.1: Sucesin y Serie

a esa sucesin. Observemos que el primer rectngulo tiene altura igual a
lo que su rea es igual a

a1 .

a1

y base 1, por

Por su parte, el segundo rectngulo tiene altura igual a

a2

14.3.

325

LAS SERIES

base 1, por lo que su rea es igual a

que, por ejemplo,

a1 + a2 + a3 + a4

a2 , As sucesivamente con los dems rectngulos. Por lo

representar la suma de las reas de los cuatro primeros

rectngulos.

Diremos que una serie es aritmtica (resp. geomtrica) cuando sea la

serie asociada a una sucesin aritmtica (resp. geomtrica).

Denicin 14.3.

14.3.1. La serie aritmtica

Sea

(ai )

isimo

una serie aritmtica con trmino inicial

ser igual a

y diferencia

d.

Por lo tanto, el trmino

a + (i 1)d.

Problema 14.1.

Hallar una frmula para la suma de los n primeros trminos de la serie

aritmtica asociada a la sucesin aritmtica (a+(i1)d. En otras palabras, hallar el trmino
nsimo de la correspondiente serie aritmtica.

Ejemplo 14.3.1.
para

Una sucesin aritmtica bsica es 1, 2, 3, 4, . . . . Buscaremos la frmula

S = 1 + 2 + 3 + + 100.

La solucin que daremos se debe al matemtico alemn

Karl Friedrich Gauss, quien la invent cuando tena alrededor de diez aos. Se cuenta que el
maestro de Gauss, para tener un poco de tiempo libre le asign a sus estudiantes, la suma
indicada. Gauss mostrando su precocidad matemtica, no hizo la suma como esperaba el
maestro, nmero tras nmero, sino que pens una manera ms breve de hacerlo, por lo que
acab rpidamente con la asignacin.
Puedes imaginarte un truco para calcular rpidamente esa suma de cien nmeros? A continuacin mostraremos el truco de Gauss.
El truco consiste en escribir la suma tal como est dada y, luego. escribirla en orden inverso.
Ahora lo importante es observar que puesta de esa manera es la misma suma, y que los
sumandos que quedan alineados suman lo mismo, 101.

S = 1 + 2 + + 99 + 100
S = 100 + 99 + + 2 +
1
2S = 101 + 101 + + 101 + 101.
Cunto 101 hay? Claramente 100 de ellos, por lo que el doble de la suma buscada es igual
a

100 101,

de donde

S=

Actividad

100 101
= 5050.
2

14.1. Por qu funciona el truco de Gauss? Ser aplicable a otras series?

Apliquemos el mtodo de Gauss para obtener una frmula general para la suma,

primeros nmeros naturales.

S =
1
+
2
++ n 1 +
n
S =
n
+ n 1 ++
2
+
1
2S = n + 1 + n + 1 + + n + 1 + n + 1.

S,

de los

326

CAPTULO 14.

Cunto  n + 1 hay? Claramente

a

n (n + 1),

MATEMTICAS DISCRETAS: INDUCCIN

n de ellos, por lo que el doble de la suma buscada es igual

de donde

S = 1 + 2 + + +n =

Ejemplo 14.3.2.
(a)
(c)

Sea

(14.2)

Usando la frmula anterior, calcular las siguientes sumas.

1 + 2 + 3 + + 50 =
3 + 6 + 9 + + 150 =

Resolucin.

n(n + 1)
.
2

(b)
(d)

Sn = 1 + 2 + + n =

2 + 4 + 6 + + 200 =
51 + 52 + + 100 =
n(n + 1)
.
2

Entonces,

50 51
= 1275,
2

(a)

1 + 2 + 3 + + 50 = S50 =

(b)

2 + 4 + 6 + + 200 = 2(1 + 2 + 3 + 100) = 2 S100 = 2 5050 = 10100.

(c)

3 + 6 + + 150 = 3(1 + 2 + + 50) = 3 S50 == 3 1275 = 3025.

(d)

51+52+ +100 = (1+2+ 100)(1+2+ +50) = S100 S50 = 50501275 = 3775.

Ejemplo 14.3.3.

Resolucin 1.

Hallar

S = 2 + 5 + 8 + + 101.

Apliquemos el truco de Gauss.

S = 2 + 5 + + 101
S = 101 + 98 + +
2
2S = 103 + 103 + + 103.
La interrogante es cuntos 103 hay. La sucesin 2, 5, 8, . . . es aritmtica con trmino inicial

d, por lo que su nsimo trmino es igual a 2 + (n 1) 3. La pregunta es entonces

para qu valor de n, 2 + (n 1) 3 = 101. Resolviendo esa ecuacin obtenemos que n = 34.
2 y razn
Luego,

S=

34 103
= 1751.
2

Resolucin 2.
S = 2 + 5 + 8 + + 101 = (3 1 1) + (3 2 1) + + (3 34 1)
34 35
34 = 1751.
= 3 (1 + 2 + 34) (1 + 1 + 1) = 3
2

14.3.

327

LAS SERIES

La frmula general para la suma.

a y razn d. Sea S

la suma de los

Sea

(an ) una sucesin aritmtica con trmino inicial

n primeros trminos de la sucesin. Hallaremos una frmula

S con los

para la suma aplicando los trucos de los ejemplos. O sea que escribiremos una vez
trminos en orden ascendente y, luego, en orden descendente.

S =
a
+
a+d
+ + a + (n 1)d
S = a + (n 1)d + a + (n 2)d + +
a
Sumando los dos trminos en la primera columna despus del igual, obtenemos

2a+(n1)d.

El mismo valor se obtendr en cada una de las otras columnas, ya que en la la de arriba

d, mientras
2S = n (2a + (n 1)d). Luego,

el valor aumenta por

que en la de abajo disminuye por

S = a + (a + d) + + a + (n 1)d =
Observemos que el trmino entre parntesis es igual a

d.

Se tiene as que

n
(2a + (n 1)d).
2

a1 + an ,

(14.3)

por lo que tambin podemos

recordar la frmula anterior como

a + (a + d) + + a + (n 1)d =

Ejemplo 14.3.4.

Resolucin.

Evaluar la serie aritmtica

n
(a1 + an ).
2

(14.4)

3 + 7 + 11 + + 123.

La serie tiene trmino inicial 3 y diferencia 4. Para poder usar la formula (14.4)

nsimo de la
an = 4n+3 se tiene que an = 4n+3 = 123 = n = (1233)/4 = 30.

necesitamos saber la cantidad de trminos en la suma. Como el trmino

sucesin de trminos es

Luego, la suma ser igual a

30
(3 + 123) = 1890.
2

Ejemplo 14.3.5.

Hallar la suma de los primeros 120 trminos de una sucesin aritmtica,

sabiendo que su trmino inicial es 5 y la suma de sus primeros cuarenta trminos es 2540.

Resolucin. Observemos que podramos calcular la suma pedida, si conociramos la diferencia. Usando la frmula (14.3) para la suma tendremos que

40
(2 5 + 39 d) = 2540.
2
De donde

d=

1 2540
(
10) = 3,
39 20

Luego, usando la frmula (14.3), la suma pedida ser igual a

120
(2 5 + 119 3) = 22020.
2

328

CAPTULO 14.

MATEMTICAS DISCRETAS: INDUCCIN

14.3.2. Las series geomtricas

Sea

(ai )

una sucesin geomtrica con trmino inicial

y razn

r.

Por lo tanto, el trmino

isimo ser igual a ari1 .

Problema 14.2.

Hallar una frmula para la suma de los n primeros trminos de la serie

asociada a la sucesin geomtrica (ari1 ).
Al igual que en el caso de las series aritmticas usaremos un truco para obtener el resultado.
Escribiremos la suma y luego la suma multiplicada por la razn, pero escribiendo cada
trmino desplazado una posicin hacia la derecha.

S = a+ ar + ar2 + + arn1
rS =
ar + ar2 + + arn1 + arn .
Observemos que resulta que en cada columna de los sumandos, excepto en la primera y la
ltima, aparece lo mismo. por lo que restando la segunda de la primera, obtendremos que

S rS = a arn = a(1 rn ).
De donde obtendremos la siguiente frmula para la suma.

a + ar + + arn1 = a

Ejemplo 14.3.6.

1 rn
,
1r

r 6= 1.

(14.5)

Hallar la suma de los diez primeros trminos de la serie geomtrica

5+

15 + 45 + .
Resolucin. La serie tiene trmino inicial 5 y razn 3, luego, la suma pedida ser igual a

Ejemplo 14.3.7.
Resolucin.

1 311
= 442, 865.
13

Hallar la suma de la serie geomtrica

3 + 3/2 + + (3/2)13 .

La serie tiene trmino inicial 3 y razn (1/2) y catorce trminos. Por lo tanto,

la suma ser igual a

1 (1/2)14
49149
=
5.9996.
1 (1/2)
8192

14.3.3. La notacin sumatoria

Usaremos la notacin sumatoria para abreviar la escritura de las sumas de los trminos de
una sucesin. En lugar de escribir

aj + aj+1 + + ak ,

14.3.

329

LAS SERIES

escribiremos

k
X

ai .

i=j

la sumatoria de los ai 's, cuando i va desde j hasta

a, j y
Pk
ya que estn siendo usadas para otros propsitos. O sea que
m=j am representa a la
misma suma anterior. La letra usada para indicar un subndice cualquiera (i o m, en nuestros

Leeremos a la ltima expresin como

k.
k,

En lugar de la letra

ejemplos) se llama el

podremos usar cualquier otra letraexcepto, en este caso,

ndice de la sumatoria, y la observacin sobre el nombre del ndice se

recuerda diciendo que el

ndice es mudo. Cuando no se puede usar el smbolo , por ejemplo

en calculadoras o en pginas interactivas Web, se acostumbra a escribir, lo anterior como

sum(ai , i, j, k).

Revisar su calculadora, para ver si tiene esta facilidad.

Ejemplos 14.3.8.

10

1.

X1
1 1
1
1 + + + +
=
.
2 3
10
k
k=1

2.

12 + 22 + + n 2 =

n
X

i2 .

i=1
3.

a + (a + d) + (a + 2d) + + (a + (n 1)d) =

Pn

i=1 (a

+ (i 1)d).

14.3.4. Series geomtricas innitas

Recordemos que la expansin decimal de

1/3

es

0.333333 . . .

es decir que armamos que

1
3
3
3
=
+ 2 + 3 +
3
10 10
10
Observemos que la suma de la derecha tiene dos caractersticas importantes

es una serie geomtrica con razn

1/10

y con trmino inicial

3/10,

es una suma innita!!!

Como muestra el ejemplo anterior, resultar natural considerar sumas innitas de trminos
de una sucesin geomtrica y, en general, de cualquier sucesin. Tenemos dos problemas que
precisar, qu entenderemos por una suma innita? y cundo esa suma innita produce un
nmero?

Sea (an ) una sucesin. Llamaremos serie innita con

X
trminos en la sucesin an a la expresin
ai , cuyo valor estar denido de la siguiente

Denicin 14.4 (Series Innitas).

manera

k=1

X
k=1

ai = lm

n
X
k=1

ak .

330

CAPTULO 14.

MATEMTICAS DISCRETAS: INDUCCIN

Cuando el lmite de la derecha produzca un nmero, diremos que ese nmero es el

la serie innita y que la serie converge.

Ejemplo 14.3.9.
Llamemos

Sn

Sea

(an )

valor de

1/2 y razn 1/2.

S _inf ty a la serie

la sucesin geomtrica con trmino inicial

a la suma de los primeros

trminos de esa sucesin y

innita. Sabemos que

Sn =
Observemos que para todo

n
que (1/2 )

>

1 1 ( 21 )n
1

= 1 n.
1
2
2
1 2

se cumple que

(1/2n+1 ), de donde sigue que

de sumas parciales

(Sn )

Sn < 1. Adems como 2n < 2n+1

Sn < Sn+1 . Concluimos as que la

se tiene
sucesin

es una sucesin no decreciente y acotada superiormente. Sigue de

los postulados de completitud (ver seccin 5.5.1) que esa sucesin efectivamente dene un
nmero real, es decir, cuando

tienda a innito, dicha sucesin dene un nmero real. Por

lo que podemos armar que la serie converge. A cunto converge? Si miramos la conducta
de

1/2n

vemos que a medida que

n crece ese nmero se hace ms y ms pequeo, por lo que

diremos que en el lmite tiende a cero. Luego,

S = lm Sn =
n

lm (1

ninf ty

1
) = 1 0 = 1.
2n

O sea, que armamos que

1 1 1
1
+ + + + n = = 1.
2 4 8
2
Mirar la gura 14.2 para ver una representacin grca de la suma anterior.

1
8

1
32
1
16

1
2
1
4

Figura 14.2: Suma de una serie innita

Ejemplo 14.3.10.
Si llamamos

Sn

Sea

an = n.

Que se puede decir de

1 + 2 + + n + ?

a la suma de los primeros trminos de esa serie, vemos que el valor de esa

suma crece de manera indenida, por lo que el lmite de sus valores a medida que
no dene a un nmero real. Por lo que diremos que la correspondiente serie
opuesto a converge).

crece

diverge

(lo

14.3.

331

LAS SERIES

El razonamiento del ejemplo 14.3.9 puede generalizarse para cualquier serie geomtrica con
razn

tal que

1 < r < 1.

Consideraremos primeramente el caso

positivo. Tenemos, por

un argumento semejante al ejemplo mencionado (ver el ejercicio al nal de esta seccin) que
cuando

0 < r < 1,

rn

la sucesin

trminos de la serie geomtrica con trmino inicial

lm Sn = lm a

n
El resultado se extiende para
que

|r|n rn |r|n ,

Sn es la suma de los
razn r , tendremos que

converge a 0. Luego, si

tal que

primero

1 rn
1
=a
.
1r
1r

1 < r < 1, observando que siempre se cumple

|r|n tiende a cero, tambin lo har rn . Luego,

para concluir que si

tenemos que,

S = a + ar + + arn + = a

Ejemplo 14.3.11.
Resolucin.

Evaluar

1
,
1r

|r| < 1.

(14.6)

4 + (4/3) + (4/9) + (4/27) + .

Como se trata de una serie geomtrica con razn

1/3,

que en valor absoluto es

menor que 1, tenemos que

S =

Ejemplo 14.3.12.
Resolucin.

4
1

3 1

1
3

= 2.

Expresar como un nmero racional el nmero decimal peridico

Llamemos

0.12372.

al nmero. Tenemos que

x=

12
372 372
+ 5 + 8 +
100 10
10

Observemos que, excepto por el primero sumando, es resto es una serie geomtrica con razn

1/103

y trmino inicial

x=

372/105 .

Luego,

372
1
12
372
206
12
+

=
+
=
.
100 105 1 (1/103 )
100 99900
1665

Finalmente, queremos observar que hay series innitas no geomtricas que tambin son
convergentes. Algunos ejemplos aparecern en los ejercicios del nal del captulo.

Ejercicios 14.3
1. Expresar las sumas siguientes en la notacin de sumatoria.
(a)

x1 + x2 + + x20

(c)

La suma de los primeros cincuenta nmeros impares

(d)

La suma de los primeros

inicial

y razn

r.

(b)

x10 + x11 + + x81

trminos de una sucesin geomtrica con trmino

332

CAPTULO 14.

MATEMTICAS DISCRETAS: INDUCCIN

2. Hallar la suma de las siguientes series aritmticas.

(c)

5 + 9 + 13 +
73
X
(12k 5).

(e)

La suma de los primeros cincuenta nmeros impares

(a)

(60 trminos).

3 + 10 + 17 + + 486
25
X
(250 12j).

(b)
(d)

j=1

k=23

3. Hallar la suma de las siguientes series geomtricas.

(a)
(c)

5 + 10
+ 20 + (20 trminos).
1 + 2 + 2 + + 220 .
20
X

(e)

2 + 6 + 18 + + 118098.
P20
k
k=1 (3/2 ).

(b)
(d)

(1)n (2/3)n .

(f )

j=1

(g)

n0

(2/5)n .

. (h)

n=5

(an )

4. Sea

3(1/4)n .

una sucesin aritmtica tal que

.
( 2)n
n1
X

a5 = 4

a20 = 7.

Hallar la suma de los

primero 30 trminos de la sucesin.

5. Sea

(an )

a3 = 24 y a7 = 12/27. Hallar
6
para n = 10, 100, 1000, 10

una sucesin geomtrica tal que

primeros trminos de esa sucesin,

la suma de los

6. Hallar el racional representado por los siguientes decimales.

(a)

0.43

7. (a) Sea
(b) Sea

h > 0.

(b)

5.321

Probar que para todo

(c)

3.123456

natural se cumple que

(d)

0.010

(1 + h)n 1 + nh.

a > 1. Probar que la sucesin (an ) es creciente, y usar la parte (a) para concluir

que la sucesin no tiene cota superior. Lo que muestra que

lm an = +.

(c) Sea

0 < r < 1,

probar que la sucesin

(rn )

es decreciente y tal que para

n
sucientemente grande r puede hacerse tan pequeo como se quiera. Concluir
que

lm rn = 0.

14.4.

333

LAS SUMATORIAS

14.4.

Las Sumatorias

En las secciones pasadas nos hemos encontrado con sumas de muchos trminos de una
sucesin. Para escribir de forma abreviada esas expresiones se introdujo la notacin de

matoria

su-

que explicaremos a continuacin. A continuacin, daremos una denicin recursiva

de sumatoria. Tal denicin, nos ayudar a probar resultados sobre sumatorias y series.

Denicin 14.5 (Sumatoria).

1
X

k+1
X

ai := a1

i=1

Ejemplo 14.4.1.

Sea

S =

ai =

i = 1k + ak+1 .

i=1

P4

i=1 ai . Escribiremos

sin usar sumatoria, y veremos que

obtendremos la expresin intuitiva.

S=

4
X

ai =

i=1

3
X

2
1
X
X
ai + a4 = (
ai + a3 ) + a4 = ((
ai + a2 ) + a3 ) + a4

i=1

i=1

i=1

= ((a1 + a2 ) + a3 ) + a4 = a1 + a2 + a3 + a4

Actividad
a)

14.2. Sea

4
X

ai .

an = 3n + 1. Evaluar cada
4
X
b)
3 ai .

i=1

una de las siguientes expresiones.

c)

i=1

50
X

(ai+1 ) ai .

i=1

Las sumatorias tienen varias propiedades que extienden las propiedades usuales de la suma.
La primera propiedad importante a recordar es que el valor de la suma es independiente del
nombre usado para el ndice de sumacin, o sea que, como se dice, el ndice es

Proposicin 14.4.1.

n
X

ai =

i=1

Demostracin.
P

Si

n = 1,

n
i=1

n
X

mudo.

aj .

j=1

(Induccin sobre

ai = a1

n.)
a
j=1 j = a1 ;

P1

Supongamos el resultado vlido cuando

k+1
X
i=1

ai =

lo que muestra la validez de la relacin cuando

n=k

k
X

o sea suponemos que

ai + ak+1 =

i=1

k
X

Pk

i=1

ai =

Pk

j=1

n = 1.

aj .

Entonces,

aj + ak+1

j=1

Los siguientes resultados resumen algunas de las principales propiedades de las sumatorias.
Cada una de ellas se prueba por induccin. A continuacin de la proposicin, ilustraremos
con ejemplos, las propiedades enunciadas.

334

CAPTULO 14.

Proposicin 14.4.2.

MATEMTICAS DISCRETAS: INDUCCIN

Sean (ai ), (bi ) sucesiones de nmeros reales. c un nmero real cual-

quiera. Entonces,
Pn
Pn
Pn
(a)
i=1 bi .
i=1 ai +
i=1 (ai + bi ) =
Pn
Pn
(b)
i=1 ai .
i=1 (cai ) = c
Pn
(c)
i=1 1 = n. (La sucesin es an = 1)
Demostracin.

Ejercicios

Ejemplo 14.4.2.
(a)
(b)

Suponer que

P20

i=1 ai

= 50

y que

P20

i=1 bi

= 30.

Entonces,

P20

i=1 (ai

+ bi ) = 50 + 30 = 80.
P20
P20
P20
P20
P20
i=1 (3ai +7bi ) =
i=1 (3ai )+
i=1 (7bi ) = 3
i=1 ai +7
i=1 bi = 350+730 = 360.

EjemploP14.4.3.
Evaluar

30
2
i=1 (3i

Resolucin.

Sea

S=3

30
X
i=1

Suponer conocido que

n(n+1)(2n+1)
(se probar ms adelante).
6

la suma pedida.

i2 5

30
X

i7

i=1

30
X

1=3

i=1

La suma se puede realizar

1
12
1 1
= ( )
1 2
1
= 1
n+1

S =

2
i=1 i

5i + 7)

Ejemplo 14.4.4 (Suma Telescpica).

Resolucin.

Pn

30 31 61
30 31
5
7 30 = 82, 980
2
2

1
1
1
+
+ +
.
12 23
n(n + 1)
1
1
1
observando que
n(n+1) = n n+1 . Luego,
Evaluar

1
1
1
+
++
.
23
34
n(n + 1)
1 1
1 1
1
1
+ ( ) + ( ) ++ (
)
2 3
3 4
n n+1

La observacin anterior, debida a Leibniz, permite resolver una serie interesante de sumas.
Escribiremos el truco usado como una proposicin.

Proposicin 14.4.3 (Series Telescpicas).

para todo nmero natural n. Entonces

n
X
k=1

Sean (ak ) y (bk ) series tales que an = bn bn+1

an = b1 bn+1 .

14.4.

Ejemplo 14.4.5.
Resolucin.

Hallar una frmula para

Llamemos

12 + 22 + + n 2 .

a la suma pedida.

+ 1)3

(k
k 3P= k 3 + 3k 2 +
3k + 1 P
k 3 = 3k 2 + 3k + 1.
P
n
n
n
3
3
2
k=1 [(k + 1) k ] = 3
k=1 k + 3
k=1 k +
k=1 1.

Observemos que
que

335

LAS SUMATORIAS

Por lo que tenemos

Pn

De donde

(n + 1)3 1 = 3S + 3

n(n + 1)
+ n,
2

lo que implica que

n(n + 1)
n+1
n1=
(2(n + 1)2 3n 2)
2
2
n+1
n+1
=
(2n2 + n) =
n(2n + 1).
2
2

3S = (n + 1)3 3

O sea,

12 + 22 + + n2 =

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

Ejercicios 14.4
1. Evaluar las siguientes sumas.

(a)

(c)

P50

k=20 k

50
X
j=1

1
).
j(j + 2

(b)

(d)

P25

2
i=5 (3i

80
X
k=1

7i + 21)

2
.
1

4n2

2. Probar las proposiciones de la seccin.

3. Usando los mtodos del ejemplo 14.4.5, probar que

Pn

k=1 k

= [n(n + 1)]2 .

336

CAPTULO 14.

14.5.

MATEMTICAS DISCRETAS: INDUCCIN

Demostraciones de Frmulas por Induccin

Problema 14.3.

Suponer que se trata de probar que

para todo nmero natural

n se cumple

que

A(n) = F (n).
Al menos que la relacin sea una identidad deducible de propiedades generales de los nmeros
reales, tal como

n+5 = 5+n, la manera usual de realizar la demostracin ser por induccin.

El procedimiento consiste de dos pasos:

Base. Vericar que la igualdad es vlida cuando n = 1. Usualmente es una vericacin

simple que

A(1) = C

y que

B(1) = C

y, por lo tanto, que

A(1) = B(1). Importante: la

vericacin debe proceder desde ambos lados de la igualdad en forma independiente.

Paso de Induccin. Suponiendo que A(k) = B(k) se trata de probar que A(k + 1) =
B(k + 1).

(La ltima igualdad se prueba como en el caso anterior)

En muchos de los ejercicios de esta seccin se tratar de probar frmulas para una cierta
sumatoria, digamos que se trata de probar que, para todo nmero natural

n
X

se cumple que

an = F (n).

i=1
Sea

S(n)

igual a la sumatoria, o sea que lo que queremos probar es que

base consiste en probar que

S(1) = F (1).

Como

S(1) = a1 , todo se
que S(k) = F (k) y

F (1) = a1 . En el paso de induccin suponemos

S(k + 1) = F (k + 1). Aqu, lo importante es darse

S(n) = F (n).

La

reduce a probar que

debemos probar que

cuenta de que

S(k + 1) = S(k) + ak+1 .

Ejemplo 14.5.1.

n se cumple que
n(n + 1)(2n + 1)/6
Pn .
2
ai = i , S(n) = i=1 ai y

Probar que para todo nmero natural

cuadrado de los primeros

la suma de los

nmeros naturales es

Resolucin. Por induccin sobre n. En este caso

n(n + 1)(2n + 1)
F (n) =
.
6
1(1 + 1)(2 1 + 1)
(Base, n = 1.) F (1) =
= 1 y S(1) = a1 = 1.
6
(Paso de Induccin, S(k) = F (k) = S(k + 1) = F (k + 1))
k(k + 1)(2k + 1)
Supongamos que S(k) =
. Entonces,
6

Luego,

S(1) = F (1).

k(k + 1)(2k + 1)
k+1
+ (k + 1)2 =
[k(2k + 1) + 6(k + 1)]
6
6
k+1 2
k+1
[2k + k + 6k + 6] =
(2k 2 + 7k+).
=
6
6

S(k + 1) = S(k) + ak+1 =

14.5.

337

DEMOSTRACIONES DE FRMULAS POR INDUCCIN

F (k + 1) =

(k + 1)(k + 1 + 1)(2(k + 1) + 1)
k+1
k+1
=
(k + 2)(2k + 3) =
(2k + 7k + 6).
6
6
6

S(k + 1) = F (k + 1). Por lo tanto, por el PIM la igualdad es vlida para todo nmero
natural n.
Luego,

Ejemplo 14.5.2.

Probar que

n
X

n N,

n
X
i=1

n
1
=
.
n(n + 1)
n+1

1
n
y F (n) =
.
i(i + 1)
n+1
i=1
1
1
1
1
Base. S(1) = a1 =
= y F (1) =
= . Por lo tanto, S(1) = F (1).
12
2
1+1
2
(Paso de induccin.) Supongamos que S(k) = F (k). Entonces,

Resolucin.

Sean

S(n) =

ai

con

ai =

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

S(k + 1) = S(k) + ak+1 = F (k) + ak+1 =

F (k + 1) =

k+1
.
k+2

Luego, por induccin, para todo

Ejemplo 14.5.3.
(Base,
(Paso

n, S(n) = F (n).

Probar que para todo

n 4, n2 3n > 3.

n = 4.) A(4) = 42 3 4 = 4 > 3.

de Induccin) Suponer k 4 y que A(k) > 3.
A(k + 1) =
=
=
>
>
>

Sea

A(n) = n2 3n

Entonces,

(k + 1)2 3(k + 1)
k 2 + 2k + 1 3k 3
k 2 3k + 2k 2
3 + 2k 2
3+82
3.

ya que
ya que
ya que

A(k) > 3
k4
8 2 > 0.

Por induccin se tiene el resultado.

Ejemplo 14.5.4.

Probar que para todo

n, A(n) = n3 + 3n2 + 2n es un mltiplo de 6. Puede

suponer conocido que el producto de dos enteros consecutivos es un nmero par.

Se tiene que
6.

A(1) = (1)3 + 3 (1)2 + 2 (1) = 6,

lo que muestra que

A(1)

es un mltiplo de

338

CAPTULO 14.

Supongamos que

A(k) = 6s

MATEMTICAS DISCRETAS: INDUCCIN

(o sea un mltiplo de 6). Entonces,

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

= k 3 + 3k 2 + 3k + 1 + 3k 2 + 6k + 3 + 2k + 2
2
2
= |k 3 + 3k
{z + 2k} +3k + 3k + 6k + 6
A(k)

= 6s + 3k(k + 1) + 6(k + 1)
= 6s + 3 2t + 6(k + 1)
= 6(s + t + k + 1)
Lo que prueba que

A(k + 1)

es un mltiplo de 6. El resultado sigue por induccin.

Ejercicios 14.5
Probar las armaciones siguientes usando induccin.

n(n + 1)
.
n

1.

1 + 2 + 3 + + n =

2.

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

3.

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

4.

1 + 3 + 5 + + (2n 1) = n2 .

5.

1 + 2 + 4 + + 2n1 = 2n 1.

6.

7.

1
1
1
1
n
+
+
+ +
=
.
13 35 57
(2n 1)(2n + 1)
2n + 1

8.

n
X

n
X

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

1 1
1
1
+ + + (1)n+1 n1 = 1 ( )n .
3 9
3
3

[a + (i 1)d] =

i=1

9.

n(3n 1)
.
2

ari1 = a

i=1

n
[2a + (n 1)d].
2

1 rn
, r 6= 1.
1r

a, b en R, a 6= b y todo n natural
an bn
= an1 + an2 b + abn2 + bn1 .
ab

10. Para todo

se cumple que

14.6.

0 < a < 1 entonces an < a



n
n
X
 X


ai 
|ai |.




11. Si

12.

339

EJERCICIOS DEL CAPTULO 14.

i=1

para todo

n 2.

i=1

13. Para todo

natural,

n(n + 1)

14. Para todo

natural,

n3 n

es divisible por 3.

15. Para todo

natural,

n5 n

es divisible por 5.

16. Sea

(xi )

es un nmero par.

una sucesin de nmeros enteros divisibles por 13 y sea

Pn

i=1 ai xi

cualquiera de enteros. Entonces,

17. Para todo

natural,

7n 1

18. Para todo nmero natural

19.

(ai )

una sucesin

es tambin divisible por 13.

es divisible por 6.

n , 7n 5n

es divisible por 2.

ln(a1 a2 a3 an ) = ln(a1 ) + ln(a2 ) + + ln(an ).

(3/2)n > n.

20. Para todo

n 1,

21. Para todo

n 4, 3n > 2n + 10n.

22. Para todo

n 6, 2n > n2 + 27.

14.6.

se cumple que

Ejercicios del Captulo 14.

1. Evaluar las siguientes sumas.

(a)

(d)

(g)

150
X

(5n + 23).

(k)

20
X

(300 + 20j).

130
X

(5000 12i).

k=1

j=5

i=50

15
X

n
X

(e)

(h)

(2n + 2n ).

(f )

(3p2 5p + 9).

n=1

p=1

X  n

n1

1
.
n(n + 1)

(i)

n>0

La suma de los cuadrados de los cincuenta primeros nmeros positivos pares.

La suma de los cuadrados de los cincuenta primeros nmeros positivos impares.

(l)

(c)

20
X
5
.
2k
n=1
n
X
k(k + 1)
k=1

(j)

(b)

10
X
i=1

[1.2i],

donde

[x]

es la parte entera de

x.

340

CAPTULO 14.

MATEMTICAS DISCRETAS: INDUCCIN

2. Probar usando la denicin recursiva las siguientes propiedades de las potencias:

(a)

0n = 0

1n = 1

(b)

(c)

am+n

(d)

amn = (am )n .

3. La torre de Hanoi.

........................
..
..
.........................................
..
....
..........................................................
...
....
..
.

En una tabla hay tres prtigas. Una de ellas contiene tres arandelas de diferente tamao, puestas de acuerdo a su orden con la mayor en la parte inferior. Mostrar como
se pueden mover las tres arandelas de una prtiga, si cada arandela se puede mover
a cualquiera de las otras prtigas, pero nunca se puede colocar una arandela mayor
sobre otra menor. Calcular tambin el nmero mnimo de movidas necesarias.
Se podr realizar la movida con 4 arandelas? con 5? con 52? Cul sera el nmero
mnimo de movidas?

(xn ) la

x1 = 2,

4. Sea

sucesin denida por

x2 =

2+

Probar que para todo

q
2

x3 =

2+

a)

2,

etc..

(xn )

denida por

es igual a la suma de los dos trminos anteriores.

Escribir los diez primeros trminos de la sucesin.

b)

n, xn < 2,

5. Se llama sucesin de Fibonacci a la sucesin

n > 2, xn

2+

Probar que

xn =

n
1+ 5
2

 n
12 5

.
5

x1 = x2 = 1,

y para