1

MATEMTICA I
Captulo 3

SUCESIONES
1.1.

Introduccin. Nociones bsicas.

1. Considere los siguientes nmeros naturales:

1, 3, 5, 7, 9, 11, 13...
a) Los anteriores nmeros tienen un orden especial?
b) Existe un patrn para crear ese orden? Cul?
c) Qu nmero seguir despus de 13?
d) Qu nmero seguir despus de 51?
e ) Qu nmero existir antes de 85?

2. Considere la siguiente lista de nmeros reales:

1 1 1 1
1, , , , ,...
2 3 4 5
a) Cul es el sexto trmino?
b) Cul ser el dcimo trmino?
c) Existir algn patrn para crear el orden de la anterior lista de trminos?
Cul?
d) Si n representa cualquier nmero natural. Qu nmero ser el trmino n?

3. Considere la relacin, cuya grfica es la siguiente:

3
4

9
16

Los puntos suspensivos en los conjuntos indican que hay ms nmeros, podemos
considerar que ambos conjuntos, son los conjuntos de nmeros naturales.
Decimos que esta relacin asigna o hace corresponder, a cada nmero natural otro
nmero natural. Podemos indicar que el correspondiente de 1 es 1, el de 2 es 4, y as
sucesivamente.
a) Escriba como parejas ordenadas la anterior relacin, para los nmeros que se muestran en el
grfico.
b) Qu nmero corresponder al nmero 6?
c) Si n es cualquier nmero natural. Cul ser su correspondiente? y del nmero n+1?

Definicin:
Una sucesin es una relacin entre los nmeros naturales y un conjunto A cualquiera,
con la siguiente condicin:
A cada natural le corresponde un nico elemento del conjunto A.
Si a esta relacin la llamamos S, puede expresarse como S : A , e indicamos sus
elementos:
S(1)= a1
S(2)= a2 . , donde

a1 , a2 , son elementos de A

En general si k es un nmero natural cualquiera diremos que

ak es el k-simo trmino

de la sucesin, tambin se lo llama trmino general de la sucesin. Esta descripcin de

trmino general es porque k est representando un natural cualquiera.
Notemos que la eleccin de la letra k es arbitraria, podemos hablar de an o at y
diremos entonces que es el n-simo trmino o el t-simo trmino respectivamente. Del mismo
modo llamamos a a los elementos de la sucesin pero podemos elegir cualquier otra letra.
En adelante nos referiremos a la sucesin slo por los elementos de A con el orden dado
por los nmeros naturales.
En este curso vamos a trabajar con sucesiones tales que el conjunto A de la definicin
son los nmeros reales.

Ejemplo 1:
Sea S la sucesin dada por 1,3,5,7,9,.
Diremos que

a1 =1, a2 =3, a3 =5,

Basta la enumeracin en orden de sus elementos para saber a qu natural le corresponde cada
nmero de la sucesin.
Esta sucesin est formada por los nmeros impares, podemos entonces escribir:
a1 =1= 2.1-1

a2 =3= 2.2-1
a3 =5= 2.3-1

an =2.n-1
Donde

an es el n-simo trmino o trmino general.

Ejemplo 2:
Sea H la sucesin dada por 2,4,6,8,10,.
Diremos que

a1 =2, a2 =4, a3 =6,

Esta sucesin est formada por los nmeros pares, o mltiplos de 2, podemos entonces
escribir:

a1 =2= 2.1
a2 =4= 2.2
a3 =6= 2.3

an =2.n
Encontramos entonces nuevamente el trmino general .

Diferentes formas de expresar una sucesin.

Enumeracin de los primeros trminos:

Consiste en escribir los primeros trminos de la sucesin.

Ejemplos: 1) 2, 4, 6, 8,.
2) 3, 9, 27, 81,.
3) 1, 1, 2, 3, 5, 8, 13,
4) 2, 3, 5, 7, 11, 13, 17,

Forma descriptiva:

Consiste en describir con palabras la ley de formacin de la sucesin, en los ejemplos

anteriores podramos describir:
1) sucesin de los nmeros pares
2) sucesin de las potencias de 3
3) sucesin formada a partir de la suma de los dos trminos anteriores. Esta descripcin no
es tan trivial, a veces no resulta tan fcil advertirla. Esta sucesin se conoce con el
nombre de Sucesin de Fibonacci.
4) Sucesin de los nmeros primos.

Forma explcita:

Consiste en dar una frmula que defina el trmino general de la sucesin en funcin del
ndice, dando informacin acerca del valor inicial del ndice. Permite para un valor de n
cualquiera saber cul es el trmino correspondiente.
Veamos en los ejemplos dados si es posible encontrarla:
1) an =2.n , n 1
2)

bn = 3n

, n1

3) ? No es posible por ahora encontrar una frmula explcita, por lo menos no es posible
deducirla a partir de la expresin de sus trminos.
4) Imposible, no se ha descubierto an si hay un patrn para generar los nmeros primos,
slo sabemos que son infinitos pero no hay una frmula que permita hallar el primo n de
esta sucesin.

Forma recursiva:

Consiste en dar los primeros k trminos de la sucesin ( a estos se los llama condiciones
iniciales de la sucesin) y luego establecer cmo se construye el trmino n-simo de la
sucesin a partir de trminos anteriores.
En los ejemplos dados podramos definir:
1) a1 = 2

an = an 1 + 2 , n 2
2)

b1 = 3
bn = bn 1 3 , n 2
c1 = 1

3)

c2 = 1
cn = cn 1 + cn 2

,n3

4) Nuevamente es imposible definir esta sucesin en forma recursiva, ya que an no

conocemos una relacin entre primos consecutivos.
Vemos entonces que no siempre es tan sencillo encontrar formas de definir sucesiones, los
ejemplos 1 y 2 son los ideales por llamarlos de alguna manera ya que nos permiten su
definicin en distintas formas, pero en general esto no ocurre, por eso aparecen distintas
formas de definir sucesiones.

Ejemplo 3:
Hallar una definicin para la sucesin dada por :

1 1 1 1
1, , , , ,...
2 4 8 16

La idea es entonces descubrir la ley de formacin de esta sucesin. Como vemos el numerador
es siempre 1 y en el denominador aparecen las potencias de 2, enumerando los trminos
tenemos:

a1 = 1, a2 =

1
1
1
, a3 = , a4 = ...
2
4
8

Podemos tratar de escribirla relacionando el valor del trmino con el subndice del mismo:

a1 =

1
1
1
1
, a2 = 1 , a3 = 2 , a4 = 3 ... vemos que la potencia a la que aparece el 2 es el nmero
0
1
2
2
2

anterior al subndice, entonces:

a1 =

1
1
1
1
, a2 = 2-1 , a3 = 3-1 , a4 = 4-1 ... , con lo que podemos conclur que:
1
2
2
2

an =

1
, n 1
2n 1

11

Hemos hallado una forma explcita para la sucesin, tambin podramos pensar en otra
descripcin, analizando que cada trmino se obtiene del anterior multiplicndolo por .
Esta afirmacin nos lleva a dar una definicin recursiva, de la siguiente manera:

a1 = 1
an =an 1

1
,n2
2

Nota: En este curso estamos tomando sucesiones con subndice natural, pero tambin pueden
definirse sucesiones con subndice entero. Hemos tomado adems los nmeros naturales a
partir del 1, esto es una convencin, encontrarn textos donde se toman los naturales a partir
del 0.

Ejemplo 4:
Hallar los 4 primeros trminos de la sucesin:

ah = (1) h +1 3h , h 1

a1 = (1)1+1 31 = 3
a2 = (1) 2+1 32 = -9
a3 = (1)3+1 33 = 27
a4 = (1) 4+1 34 = -81
Hallemos ahora los 4 primeros trminos de la sucesin:

bh = (1) h 1 3h , h 1

b1 = (1)11 31 = 3
b2 = (1) 2 1 32 = -9
b3 = (1)31 33 = 27
b4 = (1) 4 1 34 = -81
Finalmente veamos los 4 primeros trminos de la sucesin:

ct = (3)t , t 1

c1 = (3)1 = 3
c2 = (3) 2 = -9
c3 = (3)3 = 27
c4 = (3) 4 = -81
Qu observa?, evidentemente las 3 sucesiones son iguales, es decir que los nmeros
generados por la frmula de la definicin son los mismos.
Por lo tanto podemos conclur que no hay una nica frmula explcita de una sucesin y
corresponde hablar de un trmino general en lugar de el trmino general.

Ejercicios:
1) Hallar los 4 primeros trminos de las siguientes sucesiones :
a)

ah = (1) h 3h , h 1

b)

bj = 2 j + 3 j , j 1

c)

ct = 2t 1, t 1

d)

d h = h2 , h 1

e)

e1 = 4,

ek = 3ek 1 + 2, k 2

f)

f1 = 2,

f2 = 1

g)

gh = 4 , h 1

h)

x1 = 3

f k = 3 f k 1 f k 2 , k 3

x k +1 = x k tan x k , esta sucesin genera aproximaciones de .

2) Hallar una frmula para el trmino general de las siguientes sucesiones:

a) 1, -1, 1, -1, 1, -1,
b) -1, 1, -1, 1, -1, 1,
c) 1, 8, 27, 64, 125,
d) 4, 9, 14, 19, 24, 29,
e) -3, -1, 1, 3, 5, 7, 9,
f)

1, 1/2, 1/3, 1/4, 1/5,

g) 2, 5, 7, 12, 19, 31, 50,

h) -1, 1/2, -1/3, 1/4, -1/5,
i)

0, 5, 10, 15, 20,

h2
, h 1 . Encuentre d 3 , d 5 , d j y d h +1
h +1
b) Dada la sucesin f1 = 2, f 2 = 1 f k = 3 f k 1 f k 2 , k 3 . Encuentre

3) a) Dada la sucesin

ft ,

f j+2 ,

f k 3

dh =
f h +1

4) Dar una frmula explcita para las siguientes sucesiones:

a) 4, 1, 1/4, 1/16, 1/64,
b) 5, 15, 25, 35, 45,
c) , 1/5, 1/10, 1/17, 1/26,
d) 0, -4, 8, -12, 16, -20,

5) Algunas calculadoras utilizan un algoritmo similar al siguiente para calcular

n , para un

n
y encuentra aproximaciones sucesivas x 2 , x3 ,...
2
n
1
mediante la siguiente frmula: x k = ( x k 1 +
) hasta obtener la precisin deseada.
x k 1
2
nmero n real positivo: sea

x1 =

Utiliza este mtodo para calcular

18 con una precisin de 6 cifras decimales.

6) Complete la siguiente tabla. Recuerde que no todas las sucesiones pueden expresarse en
estas cuatro formas, hemos visto como ejemplos la Sucesin de Fibonacci y la sucesin
de los nmeros primos.

Forma descriptiva

Primeros trminos

Forma explcita

Forma recursiva

Sucesin
de
los
nmeros naturales

1, 2, 3, 4,

an = n, n 1

a1 = 1
an = an 1 + 1, n 2

4, 9, 16, 25, 36,

sn = 3n , n 1

Sucesin
de
nmeros pares

los

Sucesin
de
nmeros impares

los

4, 7, 10, 13, 16,

1.2 Sucesiones especiales.

Nos ocuparemos de algunas sucesiones que tienen caractersticas particulares, ya que
podemos encontrar con facilidad su trmino general individualizando algunos parmetros.

Sucesiones aritmticas

1) Encuentre los cuatro primeros trminos de la sucesin que se obtiene de acuerdo

a las siguientes condiciones y de una definicin recursiva:
a) El primer trmino es 3.
b) El segundo trmino se obtiene al sumar 10 al primer trmino.
c) El tercer trmino se obtiene al sumar 10 al segundo trmino.
d) El cuarto trmino se obtiene al sumar 10 al tercer trmino.

2) Analice la siguiente sucesin: 1, 4, 7, 10, 13, 16...

Cada trmino se puede obtener sumndole al anterior un mismo nmero. Qu nmero es? De
una definicin recursiva

Definicin:
Una progresin aritmtica es una sucesin en la cual cada trmino se puede obtener del
anterior, sumando un mismo nmero, llamado diferencia.
Trmino general:
En los casos 1 y 2 se ha pedido que de una definicin recursiva, ya que como hemos
dicho cada trmino es igual al anterior ms un nmero fijo.
Veamos ahora como hallar una definicin explcita.
Si llamamos a1, a2, a3 ... an, a los n primeros trminos de una progresin aritmtica,
siendo d la diferencia, el trmino general de la progresin se puede obtener de acuerdo con el
siguiente anlisis:
a1
a2=
a3=
a4=
a5=

a1 +
a1 +
a1 +
a1 +

d
d+ d= a1+2 d
d+ d+ d= a1+3 d
d +d +d + d = a1+4 d

Por consiguiente, el n-simo trmino de la progresin aritmtica es:

an = a1 +(n-1)d
Donde: an es el trmino n-simo, a1 es el primer trmino y d es la diferencia.

EJEMPLO 1.
Hallar el sptimo trmino de la progresin aritmtica cuyos primeros trminos son 3, 6, 9.

Vemos que :

a1 = 3

a2 = 6
a3 = 9
Sabemos que el primer trmino es 3 , para hallar la diferencia, tomamos dos trminos
consecutivos cualesquiera y hacemos la diferencia d= an an 1 , como la progresin es aritmtica
alcanza con mirar cualquier diferencia y asegurarnos que esa ser la diferencia entre dos
trminos cualesquiera.
Miramos entonces a3 a2 = 9 6 = 3
Decimos entonces que la diferencia es 3 y por consiguiente:

an = a1 + (n 1)d , entonces an = 3 + (n 1)3

El sptimo trmino lo hallamos haciendo

a7 = 3 + 6.3 = 3 + 18 = 21
EJEMPLO 2.
Hallar el primer trmino de una progresin aritmtica si se sabe que el dcimo trmino es 67 y
la diferencia es 7.
Como tenemos una progresin aritmtica sabemos que su trmino general es:

an = a1 + (n 1)d
Por lo tanto el dcimo trmino ser:

a10 = a1 + 9.7 = 67

Despejando tenemos que:

a1 = 67 63 = 4

As, el primer trmino de la sucesin es 4.

EJEMPLO 3.
Hallar la diferencia de la progresin aritmtica cuyo primer trmino es 1, y el trmino treinta y
cinco es 18.
Nuevamente reemplazando en la frmula del trmino general de una sucesin aritmtica ,
tenemos:

a35 = 1 + 34.d = 18
Al despejar de la frmula obtenemos:

d=

18 1 17 1
=
=
34
34 2

EJEMPLO 4.
Encontrar los valores de a, b, c, d y e de modo que la sucesin 3, a, b, c, d, e, -5 sea una
progresin aritmtica.

10

Tenemos el primer trmino de la sucesin, llammoslo

b1 = 3 .

Tenemos tambin el sptimo trmino de la sucesin ,

b7 = 5

Como buscamos una sucesin aritmtica, sabemos que

Reemplazando tenemos que

b7 = 3 + 6d = 5 d =

b7 = b1 + 6d

5 3 8 4
=
=
6
6
3

Para encontrar entonces los trminos pedidos slo resta reemplazar en la frmula:

4 5
=
3 3
4
8 1
b = b3 = 3 + 2( ) = 3 =
3
3 3
4
12 3
= 1
c = b4 = 3 + 3( ) = 3 =
3
3
3
4
16 7
d = b5 = 3 + 4( ) = 3 =
3
3
3
4
20 11
=
e = b6 = 3 + 5( ) = 3
3
3
3
a = b2 = 3

Verifique entonces que con esta definicin

b7 = 5

Sucesiones geomtricas

3) Considera la siguiente sucesin:

1, 3, 9, 27, 81...
a) Cul es el primer trmino?
b) Cmo puede obtener el segundo trmino a partir del primero?
c) Cmo puede obtener el tercer trmino a partir del segundo?
d) Cmo puede obtener el quinto trmino a partir del cuarto?
e) Cul ser el sexto trmino ?
h) Encuentra una definicin recursiva para la sucesin.
4) Considera la siguiente sucesin:
192, 48, 12, 3,
a) Calcule los cocientes

b
b2
b
, 3 , 4 , Qu observa?
b1
b2
b3

b) Cmo se construye el segundo trmino de la sucesin a partir del primero? y el tercero a

partir del segundo?
c) Cul ser el quinto trmino de la sucesin?
d) De una definicin recursiva para la sucesin

11

Definicin:
Una progresin geomtrica es una sucesin en la cual cada trmino se puede obtener del
anterior, multiplicandolo por un mismo nmero, llamado razn.

Trmino general:
En los casos 3 y 4 se ha pedido que de una definicin recursiva, ya que como hemos
dicho cada trmino es igual al anterior multiplicado por una constante.
Veamos ahora como hallar una definicin explcita.
Si llamamos a1, a2, a3 ... an, a los n primeros trminos de una progresin geomtrica,
siendo r la razn, el trmino general de la progresin se puede obtener de acuerdo con el
siguiente anlisis:
a1
a2=
a3=
a4=
a5=

a1 .r
a1 .r.r = a1 .r2
a1 .r.r.r = a1 . r3
a1 .r.r.r.r = a1 . r4

Por consiguiente, el n-simo trmino de la progresin geomtrica puede expresarse

como:
an = a1 . rn-1
Donde: an es el trmino n-simo, a1 es el primer trmino y r es la razn.

EJEMPLO 1
Hallar el quinto trmino de la sucesin geomtrica: - 2, - 6, -18, - 54...

Para hallar el quinto trmino es necesario conocer la razn.

La razn es el cociente entre un trmino y el trmino precedente, por lo tanto en este caso
podemos calcularla tomando:
-6/-2 = 3

-18/-6=3

, etc

Como hemos hallado que la razn es 3 y el primer trmino es -2 , aplicamos la frmula para
hallar el trmino quinto:
a5 = a1 . r5-1

, entonces

a5 = -2 . 34 = -162
EJEMPLO 2

El segundo y tercer trmino de una progresin geomtrica son 30 y 45 respectivamente.

Calcular el primer trmino y la razn.

Sabemos que :

12

a2 = 30
adems

a3 = 45

a2 = a1 . r

Por lo tanto

30 = a1 .r

a3 = a1 . r2

y
y

45 = a1 . r2

Despejamos de la primer ecuacin a1 ,

45 = (30/r) r2 , por lo tanto r = 45/30

30/r = a1

y reemplazamos en la segunda,

simplificando r= 3/2

Y reemplazando en la primer ecuacin 30 = a1 3/2

Entonces la sucesin puede expresarse como

implica a1 = 20

an = a1 . (3/2)n-1

La sucesin de Fibonacci.
Se define la sucesin : 1, 1, 2, 3, 5, 8, 13, 21, 34...
Cada nmero a partir del tercero, se obtiene sumando los dos que le preceden. Por
ejemplo, 21 = 13 + 8; el siguiente a 34 ser 34 + 21 = 55.
Esta sucesin es la llamada "sucesin de Fibonacci", tal el nombre con el que se conoci
al rico comerciante Leonardo de Pisa (1170-1240). Viaj por el Norte de frica y Asia y trajo a
Europa algunos de los conocimientos de la cultura rabe e hind, entre otros la ventaja del
sistema de numeracin arbigo (el que usamos) frente al romano.
La sucesin de Fibonacci presenta diversas regularidades numricas. Quizs la ms
sorprendente sea la siguiente propiedad. Dividamos dos trminos consecutivos de la sucesin,
siempre el mayor entre el menor y veamos lo que obtenemos:
1 :1 = 1
2 :1 = 2
3 : 2 = 1,5
5 : 3 = 1,66666666
8 : 5 = 1,6
13 : 8 = 1,625
21 :13 = 1,6153846....
34 :21 = 1,6190476....
Si continuamos realizando los cocientes entre los nmeros consecutivos de esta
sucesin, veremos que se aproximan al nmero

1+ 5
, llamado nmero de oro, ya que est
2

presente en la proporcin del cuerpo humano (la relacin entre la altura de un ser humano y la
altura de su ombligo, la relacin entre la distancia del hombro a los dedos y la distancia del
codo a los dedos) y de muchos fenmenos de la naturaleza.
Cuando se mira una girasol, automticamente aparecen espirales que van a favor y en
contra de las agujas del reloj, formadas por las semillas. Claramente estas semillas crecen de
forma tal de aprovechar al mximo el espacio disponible. El nmero de las espirales depende
del tamao del girasol. Lo ms comn es encontrar 34 espirales en un sentido y 55 en el otro,
pero se han encontrado y documentado casos con ms espirales: 89/55, 144/89 e incluso
233/144. Todos estos nmeros son, por supuesto, nmeros de Fibonacci consecutivos.

13

Ejercicios:
1) Analizar si las siguientes sucesiones son geomtricas o aritmticas. Dar una definicin
explcita en todos los casos.
a) 1, 4, 9, 25,..
b) 1, -1, 1, -1,.
c) 1, 2, 3, 4, 5,.
d) 4, 5, 6, 7, 8, ..
e) 13, 20, 27, 34, 41,.
f) 8, 2/3, 1/18, 1/216,.
g) an = 2n

n1

h) an = 2n

n1

i) 10, 19/2, 9, 17/2, 8, 15/2,

j) 300, -30, 3, -0.3,
k) 2, 6, 18, 54,
2) El tercer trmino de una sucesin aritmtica es 85 y el decimocuarto es 30, hallar el
primer trmino y la diferencia
3) Encontrar tres nmeros f, g y h tales que 20, f, g , h , 52 sean los 5 primeros trminos
de una sucesin geomtrica.
4) Hallar el primer trmino y la diferencia de una sucesin aritmtica sabiendo que la suma
del tercer trmino y el octavo da 75 y la diferencia entre el noveno y el segundo es 49.
5) La superficie de un tringulo rectngulo es 54 cm2 . Hallar la longitud de sus lados
sabiendo que estn en progresin aritmtica.
6) Se desea construr una escalera de 16 escalones cuyas longitudes decrecen
uniformemente de 50 cm en la base a 30 cm en la parte superior. Encuentra una frmula
para saber cunto mide el escaln n.
7) Halla el trmino especificado de la sucesin aritmtica a partir de los trminos dados:
a) a11
b) a1

, siendo a1= 2 + 2
y a2 = 3
, siendo a8= 47 y a9 = 53

8) Encontrar la razn de una sucesin geomtrica cuyo primer trmino es 320 y el sptimo
es 5.
9)

Hallar todos los posibles valores de r para una sucesin geomtrica con los trminos
dados:

a) a4 = 3 y a6 = 9

b) a3 = 4

y a7 =

14

10) La cantidad de bacterias en cierto cultivo es inicialmente 500 y el cultivo se duplica todos
los das.
a. Encuentra la cantidad de bacterias despus de uno, dos y tres das.
b. Da una frmula para hallar la poblacin bacteriana despus de n das
11) Habitualmente se agrega cloro al agua de las piscinas para controlar los
microorganismos. Si el nivel de cloro es mayor de 3 ppm (partes por milln), los
nadadores sentirn ardor en los ojos e incomodidad en la piel; si el nivel baja a menos
de 1 ppm, existe la posibilidad de que el agua tome color verde por la presencia de
algas. El cloro debe agregarse al agua a intervalos regulares. Si no se agrega cloro a una
piscina en un perodo de 24 hs, alrededor del 20% del cloro existente se disipar en la
atmsfera y el 80 % permanecer en el agua.
a. Determina una sucesin recursiva a n que exprese la cantidad de cloro presente
despus de n das, si la piscina tiene

a 0 ppm de cloro al principio y no vuelve a

agregarse.
b. Si al inicio tiene 7 ppm , determina el primer da en que el nivel de cloro baja de
3 ppm

15

1.3. Notacin sigma.

En algunas situaciones puede interesarnos sumar trminos de una sucesin.
Por ejemplo si queremos sumar los 6 primeros trminos de la sucesin definida por
an = 1 + (n 1)3 , escribimos:
1 + 4 + 7 + 10 + 13 + 16
Si quisiramos sumar los k primeros trminos de dicha sucesin escribimos:
1 + 4 + 7 + 10 + ... +

(1 + (k 1)3)

Podemos reescribirla de la siguiente manera:

1+(1-1)3 +

1+(2-1)3 +

1+(3-1)3 + ... +

(1 + (k 1)3)

Podemos leer esa suma diciendo:

Sume los trminos de la sucesin

an = 1 + (n 1)3 , haciendo variar n de uno en uno ,

desde 1 hasta k
Esta tarea es exactamente la que hace la notacin sigma que presentamos a continuacin:
La suma de los k primeros trminos de una sucesin de trmino general

an puede

expresarse como:
k

a
n =1

= a1 + a2 + a3 + ... + ak

y se lee: Sume los trminos de la sucesin

an , con n variando de uno en uno desde 1 hasta k

Ejemplo 1:
si queremos sumar los trminos de la sucesin

ah = 2h desde el primero hasta el dcimo,

escribimos:
10

a
k =1

= a1 + a2 + a3 + ... + a10

10

2k =2.1 + 2.2 + 2.3 + 2.4 + 2.5 + .... + 2.10

k =1

Ejemplo 2:
Queremos sumar los trminos de la sucesin
entonces escribimos:

bt = 3t , desde el primero hasta el k-simo,

16

b
j =1

= b1 + b2 + b3 + ... + bk

=31 + 32 + 33 + 34 + ... + 3k

j =1

Ejemplo 3:
Queremos sumar los trminos de la sucesin

ck = 3 + 4k , desde el cuarto hasta el decimoquinto,

entonces escribimos:
15

c
j =4

= c4 + c5 + c6 + ... + c15

15

3 + 4 j =(3 + 4.4) + (3 + 4.5) + (3 + 4.6) + ... + (3 + 4.15)

j =4

Nota: observemos en los ejemplos que la variable con la que est definida la sucesin es muda,
es decir que puedo usar cualquier letra para el subndice, siempre que respete la expresin. Por
otro lado esta notacin para sumar trminos puede comenzar en cualquier trmino siempre que
la variable que se usa para el subndice de la sucesin vare de uno en uno, es decir que la
variable k del ejemplo 1 recorre los naturales a partir del 1 hasta el 10 , la variable j del
ejemplo 2 recorre los naturales desde el 1 hasta el natural k y la variable j del ejemplo 3
recorre los naturales desde el 4 hasta el 15.

Algunas propiedades:
Si

a1 , a2 ,..., an ,... y b1 , b2 ,..., bn ,... son sucesiones infinitas, entonces para todo natural n, se

tiene que:
n

j =1

j =1

(a j b j ) = a j b j

I)

j =1
n

c.a

II )

j =1

=c. a j
j =1

III )

c =n.c
j =1

Ejercicios:

1) Desarrollar las siguientes sumas y dar el resultado:

7

a ) (2k 4)
k =1
10

b) (3t + t 2 )
t =4

14
4
c) (2 )
h
h =5

17

2) Completar las siguientes igualdades:

28

...

k =1

k =1

...

10

10

...

a) (2k 4) = (2k 4) + (2k 4)

b) (3t + t 2 ) = (3t + t 2 ) (3t + t 2 )
t =4

t =1

14

...

...

...

4
4
4
c) (2 ) = (2 ) (2 )
h
h
h
...
...
h =5
10

...

d ) (2i + i) = (24 + 4) + (2i + i )

i =4

...

1+ j
1+ j
1 + 18
) = (
)+(
)
e) (
18
j
j
...
j =3
18

...

45

f ) (
j =2

4 j 44 4 j
) = (
) + ........
j + 1 j =2 j + 1

h 1
4
4
g ) (
) = (
) + .........
n =3 n + 1
n =3 n + 1
h

h ) (
t =6

k 1
t
t
) = (
) + ..........
t + 2 t =6 t + 2

3) Escribir las siguientes sumas utilizando la notacin sigma:

a) 1 + 4 + 9+ 25 ++81
b) 1 -1 + 1 -1 +1 -1+1
c) 1 + 2 + 3 + 4 + 5 +.+46
d) 4 + 5 + 6 + 7 + 8 + .+34
e) 13+ 20+ 27+ 34+ 41+.+(13+n.7)
f) 8 + 2/3 + 1/18 + 1/216 + +8 (1/12)k
g) 2 + 4 + 6 + 8 + + 2.t
4) Dar el resultado de las siguientes sumas:

( j 1)
j = 3 ( j 2)

a ) 4i 2 + 5
i =1
8

c) k (k 1)
k =3

b)
9

d ) 1 + (1) t
t =5

200

70

e)10

f ) 20

i =1

j =8

18

1.4. Suma de sucesiones aritmticas y geomtricas.

Hemos definido con carcter de sucesiones especiales a las sucesiones aritmticas y
geomtricas. Parte de esta caracterizacin es que se conoce el resultado de sumar cualquier
nmero finito de trminos de estas sucesiones.
Suma aritmtica:
Recordemos la frmula de la sucesin aritmtica:

ak = a1 + (k 1)d

Llamemos

Sn al resultado de sumar los n primeros trminos de una sucesin aritmtica,

entonces :
n

S n = ak = a1 + a2 + ... + an

es claro tambin que :

k =1
n

S n = ak = an + an 1 + ... + a1

y sumando tenemos :

k =1

2 S n = 2 ak = (a1 + an ) + (a2 + an 1 ) + (a3 + an 2 ) + ... + (an + a1 ), donde

k =1

a2 + an 1 = (a1 + d ) + (a1 + (n 2)d ) = a1 + an

a3 + an 2 = (a1 + 2d ) + (a1 + (n 3)d ) = a1 + an
a4 + an 3 = (a1 + 3d ) + (a1 + (n 4)d ) = a1 + an
....

Todos los parntesis de la suma resultan ser iguales a

a1 + an

Por lo tanto podemos escribir:

k =1

k =1

2 S n = 2 ak = n(a1 + an ) S n = ak =

n(a1 + an )
2

Entonces, conociendo el primer trmino y la diferencia de una sucesin aritmtica podemos

conocer la suma de sus trminos.
Ejemplo:
Sume los trminos de la sucesin aritmtica de primer trmino 3 y diferencia -5 desde el 1ero
hasta el 25

25

25

k =1

k =1

ak = [3 + (k 1)(5)] =

25(3 + (123))
2

19

Suma geomtrica:
Recordemos la frmula de la sucesin geomtrica:

ak = a1r k 1
Llamemos nuevamente

Sn al resultado de sumar los n primeros trminos de una sucesin

geomtrica, tenemos entonces:

n

S n = a k = a1 + a1 r + a1 r 2 + ... + a1r n 1 es claro tambin que :

k =1

rS n = a k = a1 r + a1r 2 + a1 r 3 + ... + a1 r n

y res tan do tenemos :

k =1

k =1

k =1

S n rS n = a k r a k = a1 + (a1 r a1 r ) + (a1 r 2 a1r 2 ) + ... + (a1r n 1 a1 r n 1 ) a1 r n

Por lo tan to :
n

(1 r ) S n = (1 r ) a k = a1 a1 r n , entonces
k =1

S n = ak =
k =1

a1 a1 r n
1 r

ak =
k =1

a1 (1 r n )
1 r

Entonces, conociendo el primer trmino y la razn de una sucesin geomtrica podemos conocer la suma de
sus trminos.
Ejemplo:
Sume los trminos de la sucesin geomtrica de primer trmino 3 y razn desde el 1ero hasta el 38:

38

a
k =1

38

1
= 3.( ) k 1
2
k =1

1
3(1 ( ) 38
2
=
1
1
2

Nota: observar que en ambos casos faltara resolver la cuenta, pero es slo una cuenta y no la
suma de 38 o 25 trminos. Observar tambin que estas expresiones son vlidas slo si se
suman los trminos de una sucesin aritmtica o geomtrica, a partir del primero.

20

Ejercicios:
1) Calcular las siguientes sumas de dos formas diferentes: a) aplicando la suma de una
sucesin geomtrica, b) aplicando las propiedades de la sumatoria vistas en 1.5
30

33

a ) 4i + 5

b) 3( j 1) + 2

i =1

j =1

45

c) 4 + 5(k 1)
k =1

2) Dada

c1 = 3
3) Dada

la

d ) 3t + 1
t =1

siguiente

y c n = 4 + c n 1
la

sucesin,

si n 2 , calcular

definida

c
k =1

siguiente

sucesin

en

forma

recursiva:

sus

primeros

trminos:

m
k

definida

s1 = 1, s 2 = 4, s 3 = 9, s 4 = 14,... calcular

por
t

s
j =1

4) Calcular la suma de los 100 primeros nmeros naturales

5) Calcular la suma de los 100 primeros naturales impares
6) Una pila de troncos tiene 24 troncos en la base, 23 en la 2da hilera, 22 en la tercera, y
as siguiendo hasta llegar a la capa superior en la que tiene 10 troncos. Encuentra la
cantidad total de troncos en la pila.
7) Sabiendo que la suma de los 10 primeros trminos de una sucesin aritmtica es 50 y el
primer trmino es -2. Calcular la diferencia de la sucesin.
8) Encuentra la cantidad de enteros entre 32 y 395 divisibles por 6. Da el resultado de su
suma.
9) Pablo sum todos los nmeros enteros positivos de 4 dgitos, pero se salte uno. La
suma de Pablo es igual a 8499 veces el nmero que se salte Pablo.
10) Un ciclista avanza cuesta abajo a razn de 4 pies el primer segundo. En cada segundo
sucesivo, avanza 5 pies ms que en el segundo anterior. Si el deportista llega a la parte
inferior del cerro en 11 segundos, encuentra la distancia total recorrida.
11) Si el primero de octubre ahorro 10 centavos, el 2 de octubre ahorro 20, el 3 de octubre
ahorro 30, y as sucesivamente,
a. Cunto dinero ahorrar el 31 de octubre?
b. Cunto dinero ahorrar en todo el mes de octubre?
12) Calcular las siguientes sumas:
30

30

1
a ) ( ) i 1
i =1 2

1
b) ( ) j
j =1 2

45
1
c) ( ) k +1
k =1 2

d ) 5.2 t 1

1
e) 4( ) k 1
3
k =1

t =1

d ) 2 .8 t
t =1

21

13) Una pelota de ping pong se lanza desde una altura de 16 mts. En cada rebote se eleva
verticalmente de la altura alcanzada en la cada previa.
a. A qu altura se elevar en el sptimo rebote?
b. Cul es la distancia total que la pelota recorri despus de ese tiempo?
14) Un mendigo le propuso a un avaro: durante este mes le dar a usted un peso el
primer da, dos pesos el segundo da, 3 el tercero y as sucesivamente. A cambio usted
slo me dar 1/1000 centavo el primer da, 2/1000 centavo el segundo da, 4/1000
centavo el tercero, y as sucesivamente.
El avaro acept entusiasmado y convinieron en realizar el pago a fin de mes. Cunto le
deber cada uno al otro al cabo de ese tiempo?
12) Tamiz de Sierpinsky. Modifica un tringulo equiltero utilizando la siguiente regla de
iteracin: trazar los segmentos que unen los puntos medios de los lados; borrar o sacar
el tringulo del medio del tringulo original de modo que:
* Los lados de los tringulos resultantes miden la mitad de la longitud de los lados del
tringulo original
* Permanecen tres tringulos congruentes entre s.

a. Analizar las variaciones de rea y permetro, en la sucesin de tringulos que se

obtiene, si el lado del tringulo inicial mide 10cm.
b. Analizar las variaciones de rea y permetro, en la sucesin de tringulos que se
obtiene, si el lado del cuadrado inicial mide a cm.
c. Encuentra la cantidad de tringulos que se borran en el paso n- simo.
d. Encuentra la cantidad total de tringulos borrados en el paso n-simo.

13) El mtodo de doble disminucin del saldo es un mtodo de depreciacin en el que, por
cada ao k=1,2,...n, el valor de una propiedad disminuye en una fraccin

Ak =

2
2
(1 ) k 1 de su costo inicial.
n
n
a. Si n= 5 , encuentra los 5 primeros trminos de la sucesin.
b. Demuestra que la sucesin dada es geomtrica.
c. Si el valor inicial de una propiedad es 100.000 pesos, cunto se habr devaluadp
despus de 3 aos?
d. Tomando un valor inicial V de una propiedad , indicar cunto se devala despus
de h aos.

22

1.5 Induccin matemtica

En lo que sigue n representar un nmero natural.

Ejemplo 1
Consideremos la siguiente expresin:

n es par

Pregunta: La expresin anterior es una proposicin?

Recordemos que para que lo sea, es necesario poder asignarle de manera inequvoca un valor
de verdad: verdadero o falso. Es posible hacerlo? No, puesto que no conocemos qu nmero
natural es n.
Ahora bien, si asignamos a n un valor concreto, por ejemplo 1064, nuestra expresin queda:

1064 es par

que es claramente una proposicin Cul es su valor de verdad?.

Lo mismo sucedera si asignamos a n cualquier otro nmero natural. Obtendramos siempre una
proposicin, cuyo valor de verdad estar determinado por el nmero particular utilizado.
Definicin
Una funcin proposicional sobre el conjunto de los nmeros naturales es una expresin P(n)
con la propiedad de que reemplazando n por cualquier nmero natural la expresin obtenida es
una proposicin.
Ejemplos
1. Las siguientes son funciones proposicionales:

P (n ) :

n +1> n

Q( n ) :

n es un nmero primo

S(n ) :

j =

E (n ) :

n 2 3n + 2 = 0

j =1

n(n + 1)
2

2. Las siguientes no son funciones proposicionales:

n2 + 1

n
k =1

n 2 3n + 2

Si P(n) es una funcin proposicional entonces, para cada nmero natural k dado, la
expresin P(k) es una proposicin. El conjunto de los naturales k para los cuales P(k) es
verdadera se denomina conjunto de verdad de P. Simblicamente:

V ( P) = {k N : P(k ) es verdadera}

23

Ejemplo 2
Encontremos el conjunto de verdad para cada una de las funciones proposicionales del
ejemplo anterior.

Es bastante claro que cualquiera sea el nmero k la desigualdad k + 1 > k es

verdadera. Por lo tanto, V(P)= N
V (Q) = n N : n no tiene divisores propios lo cual no agrega mucho.

Si aplicamos la frmula de la suma de una sucesin aritmtica a la sucesin de los

primeros k nmeros naturales, tendremos:

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

k (a1 + a k ) k (k + 1)
=
2
2

Por lo tanto, S(k) es verdadera cualquiera sea el natural k, y tendremos: V(S)= N

Por ltimo, si resolvemos la ecuacin k 2 3k + 2 = 0 obtenemos V (E ) = {1,2}

Ejercicios:
1. Encuentre el conjunto V(P) para la funcin proposicional P(n) en los siguientes casos:

a.
b.

P (n ) :
P (n ) :

(3 + 5)n = 3 n + 5n
n < 10

c.

P (n ) :

n 2 = 3n 2

d.

P (n ) :

n 3 + 11n = 6n 2 + 6

2. Encuentre en cada uno de los siguientes casos el valor de verdad de P(1), P(2), P(3):

a.
b.

P (n ) :
P (n ) :

2 + 6 + 10 + ... + (4n 2) = 2n 2
4 + 8 + 12 + ... + 4n = 2n(n 1)

c.

P (n ) :

a 5 a n = a5 + n

d.

P (n ) :

9 n 1 es divisible por 4

e.

P (n ) :

4n 1 es divisible por 3

Las funciones proposicionales de las que nos ocuparemos sern aqullas que expresen una
propiedad interesante o til referida a los nmeros naturales. En esos casos nuestra intencin
ser determinar si P(n) es verdadera independientemente de cul sea el nmero n o, si por el
contrario eso no sucede.
Esto es, nos interesa saber si, para una funcin proposicional P(n) dada, se verifica V(P)= N, o
bien V(P) N.
Ejemplo 3
a) Hemos visto que para una progresin geomtrica de razn r y primer trmino a0 la suma de
a (1 r n )
los n primeros trminos es igual a 0
. Para la funcin proposicional P(n): la suma de los
1 r
primeros n trminos de una sucesin geomtrica de razn r primer trmino a0 es igual a
a0 (1 r n )
, tendremos V(P)= N.
1 r
b) Consideremos la funcin proposicional siguiente:

24

P(n): n 2 n + 11 es un nmero primo

Cmo haramos para decidir si V(P)= N o V(P) N.?
Lo primero significa que cualquiera sea el nmero natural n que consideremos la expresin
n 2 n + 11 es un nmero primo. Para comprobar lo segundo bastar mostrar un nmero
cualquiera para el cual la expresin nos suministre un nmero compuesto.
Lo primero que podramos hacer es probar con algunos valores. Para ello podemos hacer una
tabla como la siguiente:
P(n)
n n 2 n + 11
1
11
primo
verdadero
2
13
primo
verdadero
3
17
primo
verdadero
4
23
primo
verdadero
5
31
primo
verdadero
6
41
primo
verdadero
7
53
primo
verdadero
8
67
primo
verdadero
9
83
primo
verdadero
Qu nos informa la tabla anterior acerca de V(P)? Podemos concluir que V(P) = N.? De
ninguna manera, solamente homos comprobado que k V (P ) para k = 1,2,3,...,9 . O sea que la
proposicin P (k ) es verdadera para esos nueve valores de k. Nada sabemos del resto todava.
Una funcin proposicional de la que se desconoce si es verdadera para todos los valores de n, o
si no es verdadera para todos los valores de k se llama conjetura.
Hasta este momento entonces, nuestra funcin proposicional
P(n): n 2 n + 11 es un nmero primo
es una conjetura. Hemos verificado su validez para algunos valores; esa verificacin podra
sugerirnos que en realidad P(n) es verdadera para todo n. Sin embargo, si intentamos un par
de valores ms:
P(10): 10 2 10 + 11 = 101 es un nmero primo es verdadero
P(11): 112 11 + 11 = 121 = 11 11 es un nmero primo es falso
De esta manera podemos afirmar que V(P) N.
Hemos llamado conjetura a una funcin proposicional de la que desconocemos si es siempre
verdadera o si no lo es. Notemos que el estado de conjetura subsiste mientras nosotros
desconozcamos si el conjunto verdad es N o es N.
Demostrando que dicho conjunto es todo N nuestra conjetura se convertir en un teorema,
esto es una propiedad vlida para todos los nmeros naturales; o bien encontrando un valor de
n para el cual nuestra funcin proposicional sea falsa, podemos excluir nuestra conjetura de las
propiedades vlidas de los nmeros naturales.

Ejercicios:
3. D dos ejemplos de funciones proposicionales que sean teoremas sobre los nmeros
naturales.

4. D dos ejemplos de funciones proposicionales que no sean teoremas.

5. Considere las siguientes igualdades:

25

1= 1
1+ 3 = 4
1+ 3 + 5 = 9
1 + 3 + 5 + 7 = 16
1 + 3 + 5 + 7 + 9 = 25
Cul es la conjetura sugerida por las igualdades anteriores? Podra decidir si es un teorema?
Cmo lo hara?
6. Considere la siguiente funcin proposicional:
P(n): Si n es un nmero par, entonces n 2 es un nmero par.
Cmo hara para decidir si V(P)=N ?
Es importante recordar en este punto que las proposiciones pueden tener conectivos.
Los conectivos son : y, o, no o no es cierto que , entonces, si y solo si, cuyas
simbolizaciones son : , , , ,
Debemos tener en cuenta entonces como analizar el valor de verdad de una proposicin con
conectivos, por ejemplo :
El 2 es un nmero par o el 7 es mltiplo de 3
es una proposicin verdadera, ya que es de la forma

p q y alcanza con que alguna de las

proposiciones ( p o q) sea verdadera.

El 11 no es primo
es una proposicin falsa, ya que es de la forma

p , y p es verdadera.

Valor de verdad de un condicional:

Cuando analizamos el valor de verdad de un condicional (p q) debemos recordar que slo es
falso cuando el antecedente (p) es verdadero y el consecuente (q) es falso. Por lo tanto slo nos
restringimos a analizar que esa situacin NO se cumpla, ya que en todos los otros casos el
condicional es verdadero.

Para probar entonces que la proposicin del ejercicio 6 es verdadera para todos los naturales,
asumimos el antecedente verdadero y queremos ver que el consecuente tambin tiene
que ser verdadero. Es decir queremos ver que el caso de antecedente verdadero y
consecuente falso no puede darse.
Suponemos entonces que n es un nmero par cualquiera, es decir n=2k, para algn entero k.
Entonces n 2 = (2k)2 =2.2.k.k = 2 (2.k.k) , siendo 2.k.k un nmero entero, por lo tanto n 2
puede escribirse como 2 por un entero y en consecuencia es par.
Partimos de suponer el antecedente verdadero y llegamos a que el consecuente tambin tiene
que serlo, por lo tanto queda probado que el condicional es verdadero para todo n natural.

Veremos a continuacin una importante propiedad de los nmeros naturales, que se

usa para demostrar si un subconjunto dado de N es igual a N.

26

La sucesin de los nmeros naturales puede describirse de una manera bastante sencilla, tal
como lo hemos hecho antes:

El primer elemento es el 1.
Si n es un natural entonces (n+1) tambin es un nmero natural.

El principio de induccin afirma que cualquier subconjunto de los naturales que posea esas
mismas propiedades es necesariamente igual a N.
Lo enunciamos:
Si A es un subconjunto de N que verifica:
1 es un elemento de A.
Si n es un elemento de A entonces n + 1 tambin es un elemento de A
entonces A = N

Un conjunto con estas propiedades se dice que es un Conjunto Inductivo.

Podemos ahora aplicar el principio de induccin a la demostracin de que cierta
funcin proposicional P(n) es verdadera para todos los valores de n. Es decir,
queremos analizar si el conjunto de verdad de una proposicin es el conjunto de los
nmeros naturales.

Si P(n) es una funcin proposicional que verifica:

1 V(P)
si k V(P) k+1 V(P)
entonces V(P)=N
O equivalentemente:
P(1) es verdadera
Si para un nmero k cualquiera P(k) es verdadera
entonces P(n) es verdadera para todo natural n.

P(k+1) es verdadera.

Ejemplo 4
En el ejercicio 33 se peda formular una conjetura sobre la suma de los primeros n nmeros
impares, y demostrarla. Eso puede hacerse mediante la frmula de la suma de una progresin
aritmtica (cada nmero impar se obtiene sumando dos al anterior). Hagmoslo ahora usando
el principio de induccin:
Conjetura:

P (n ) :

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

Vamos a mostrar que el conjunto de verdad de P(n) son todos los naturales. Para ello debemos
ver dos cosas:
Primero: P(1) es verdadero (esto nos dice que 1 V (P ) )
Segundo: Si suponemos P(k) verdadero, entonces P(k+1) tambin es verdadero.
Escribimos P(1):

1 = 12

es obviamente verdadera.

Supongamos que para cierto k, P(k) es verdadera, esto es lo que llamamos hiptesis en una
demostracin, en este caso debido al principio de induccin la llamaremos hiptesis inductiva.
Tendremos entonces:

27

P (k ) :

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

es verdadera

Ahora debemos comprobar que P(k+1) tambin lo es. Escibimos P(k+1):

P (k + 1) :

Queremos ver que

es verdadera
usando que P(k) lo
es.

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

Sabemos que:

1 + 3 + 5 + ... + (2k 1) = k 2
Si sumamos 2(k + 1) 1 = 2k + 1 a ambos miembros obtenemos:

1 + 3 + 5 + ... + (2k 1) + [2(k + 1) 1] = k 2 + 2k + 1

Notemos ahora que k 2 + 2k + 1 = (k + 1)2 . Tenemos entonces que la igualdad siguiente es cierta
(supuesta cierta la anterior):

1 + 3 + 5 + ... + [2(k + 1) 1] = ( k + 1)

Hemos mostrado entonces que si P(k) es verdadera, tambin lo es P(k+1). Como P(1)
tambin es verdadera, obtenemos que P(n) es verdadera para todo n natural.
Ejemplo 5

1
1
1
,
, . . .,
,. . .
1 2 2 3
i (i + 1)

Consideremos la sucesin
n

j ( j + 1)

Sea

la suma de sus n primeros trminos.

j =1

Calculemos esta suma para algunos valores de n :

1

n=1

j =1
3

n=3

1
1
1
=
=
j ( j + 1) 1(1 + 1) 2

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

; n=2

j =1

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

j =1
3

n=4

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

j =1

Esto nos sugiere que la siguiente conjetura:

n

P(n):

j ( j + 1)
j =1

n
.
(n + 1)

pero . . . cmo lo demostramos? Obviamente no es posible considerar uno a uno todos los
casos y est claro que, por enorme que sea la cantidad de casos analizados esto no constituira
demostracin alguna.
Veamos . . .

28

1) Es cierto que P(1):

j ( j + 1) = 1(1 + 1) = 2

es verdadera

j =1

2) Queremos ver que si

k +1
1
1
k +1
k
=
es
verdadera

P(k+1):
=
tambin lo es.

(k + 1)
k +2
j =1 j ( j + 1)
j =1 j ( j + 1)
k
1
k
Suponemos P(k):
=
verdadera, entonces:
(k + 1)
j =1 j ( j + 1)
k

P(k):

Usamos la
hiptesis
inductiva
k +1

j =1

k
1
1
1
k
1
= (
=
+
=
)+
j ( j + 1)
(k + 1)(k + 1 + 1) k + 1 (k + 1)(k + 1 + 1)
j =1 j ( j + 1)

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

En este segundo paso: suponiendo que la igualdad

j ( j + 1)

j =1

n
(n + 1)

es cierta para n

igual a algn natural k, vimos que entonces tambin es cierta para n igual al natural
k

siguiente ( k + 1 ). Observe que hemos utilizado la hiptesis de que

j ( j + 1) =
j =1

k
(k + 1)

al escribir la segunda igualdad.

n

1) y 2) demuestra que

j ( j + 1)
j =1

n
(n + 1)

se

cumple para todos los nmeros

naturales.
La igualdad se cumple para el 1, y entonces, como hemos visto en el segundo paso, se
debe cumplir tambin para el siguiente del 1,(ya que k es un natural cualquiera, en
particular puede ser el 1) que es el 2. Como se cumple para el 2, se cumple tambin para
el siguiente del 2. Como se cumple para el 3 . . .
Esto es lo que afirma el principio de induccin.
Ejemplo 6
Utilizaremos el principio de induccin matemtica para demostrar que
1 + 2 + 4 + 8 + . . .+ 2n1 = 2n 1 , para todo n1
Llamemos P(n) al enunciado que queremos demostrar.
1. Debemos comprobar que P(1) es verdadero (o sea, que el enunciado es verdadero si n
= 1)
En efecto,

si n = 1 ,

1 + 2 + 4 + 8 + . . .+ 2n1 = 1

Por lo tanto, P(1) es verdadero.

y tambin

2n 1 = 1

29

2. Debemos probar que el condicional P(k) P(k+1) es verdadero, cualquiera sea el

nmero natural k (o sea, que P(k+1) es verdadero si se supone verdadero P(k)).
Supongamos que P(k) : 1 + 2 + 4 + 8 + . . .+ 2k1 = 2k 1 es verdadero para
algn k.
Tenemos que demostrar que P(k+1) : 1 + 2 + 4 + 8 + . . .+ 2k+11
entonces verdadero.
Por hiptesis es,

= 2k+1 1 es

1 + 2 + 4 + 8 + . . .+ 2k1 = 2k 1

Sumamos en ambos miembros el trmino 2k+11 :

1 + 2 + 4 + 8 + . . .+ 2k1 + 2k+11

= 2k 1 + 2k+11

Hacemos las cuentas en el segundo miembro:

1 + 2 + 4 + 8 + . . .+ 2k1 + 2k+11

= 2 . 2k 1

1 + 2 + 4 + 8 + . . .+ 2k1 + 2k+11

= 2k+1 1

Luego, P(k+1) es verdadero.

De 1) y 2) concluimos que P(n) es verdadero para todo valor de n.

La siguiente es una versin alternativa, ms general, del principio de induccin de induccin

matemtica:
Sea P(n) una funcin proposicional. Si se cumplen:

P(n0) es verdadero
Si P(k) es verdadero para algn k n0 entonces P(k+1) es tambin
verdadero,

entonces P(n) es verdadero para todo nmero natural n n0

Recuerda las sucesiones definidas recursivamente? La induccin es con frecuencia el mejor

camino para demostrar resultados acerca de objetos definidos en forma recursiva.
La expresin n! se lee n factorial o factorial de n y se define, en forma recursiva, de
la siguiente manera:
1! = 1
n! = n . (n 1)! , si n > 1
De acuerdo con esta definicin es:
2! = 2 . 1! = 2 . 1 = 2
3! = 3 . 2! = 3 . 2 . 1 = 6
.................
n! = n (n 1) (n 2) . . . . .3 . 2 .1

30

P(n):n ! 2n1

Conjetura:

Haga una tabla para explorar la verdad o falsedad de esta conjetura para algunos
valores particulares de n.

Utilizaremos el principio de induccin para demostrar que, para todo natural n 1 se verifica
que P(n) es verdadera.
Tenemos: P(n) : n! 2n1
1) P(1) es verdadero
En efecto :

si n = 1 , es n! = 1 y 2n1 = 20 = 1

2) Supongamos que P(k) : k! 2k1 , es verdadero para algn natural k 1

Veremos que entonces tambin es verdadero P(k+1) : (k+1)! 2k+11

(k+1)!

Por
definicin
de factorial

Porque
suponemos
que k! 2k1

= (k+1) . k!

(k+1) . 2

(k+1)! 2

Tenemos pues:

Porque k +
1 2 ( ya
que k 1)

k1

2.2

k1

= 2

k+11

k+11

Por lo tanto P(k+1) es efectivamente verdadero.

Los pasos 1) y 2) demuestran que n! 2n1 para todo n 1.

EJERCICIOS
7. Utilizando el principio de induccin matemtica, demostrar las siguientes afirmaciones.
a) 2 + 4 + 6 + . . . + 2n = n (n + 1)

para todo n 1.

b) 1 + 3 + 5 + . . . +(2n 1) = n2 , para todo n 1.

2

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

n 2 (n + 1)2
4

c)

i
i =1

d)

i
i =1

, para todo n 1.

, para todo n 1.

e) 1 + 2n < 3 n , si n 2
f)

2n + 1 < 2n , n = 3 , 4 , . . .

g) 9 n 1

es divisible por 4 para n = 1 , 2 , . . .

31
h) 7 n 1
i)

6.7

es divisible por 6 para n = 1 , 2 , . . .

2.3

es divisible por 4 para n = 1 , 2 , . . .

j)

i i! = (n + 1)!1
i =1
n

k)

i (i + 1) =
i =1

n+1

l)

11

m)

n( n + 1)( n + 2)
3
es mltiplo de 5 , para n 1

(2j-1) = (n+1) (n-1)

j =0

n)

(6k+1) = (t+1) (3t+1)

k =0
t

o)

rk =
k =0

r t +1 1
r 1

8. Evaluar sin realizar la suma ( no deje de relacionarlo con el ejercicio 7.)

50

a) (2j-1)
j=0

46

b) (6k+1)
k=5

37
C)

(18k+3)

k = 20
89

d)

i=7

i i!
2

32