INDUCCIN MATEMTICA Y RECURSIVIDAD

En muchos casos queremos demostrar que alguna propiedad relativa a los nmeros naturales es cierta. Para
hacerlo podemos analizar algunos casos particulares -para algunos valores naturales- pero no podemos hacerlo con
todos, pues son infinitos.
Por ejemplo, si observamos la suma de los primeros nmeros impares:

1=1
1+3=4
1+3+5=9
1 + 3 + 5 + 7 = 16
Nots algo en particular? Observ bien los resultados...
Vemos que todos son cuadrados perfectos:

1 = 1 = 12
1 + 3 = 4 = 22
1 + 3 + 5 = 9 = 32
1 + 3 + 5 + 7 = 16 = 42
Por lo tanto, si agregamos otro nmero impar seguramente obtendremos 52 = 25 y as sucesivamente.
Pero, podemos estar seguros de ello? Se cumplir realmente con cualquier cantidad de impares sumados? Para
poder responder con certeza a este interrogante y muchos similares vamos a utilizar la Induccin Matemtica,
que estudiaremos en esta seccin.
Para comenzar definiremos conjunto inductivo y conjunto de nmeros naturales, as como la relacin entre ambos.

Qu es un conjunto inductivo?
Sea R el conjunto de los nmeros reales, dado A , decimos que A es inductivo si:

1) 1 A
2) x A x+1 A

Qu es el conjunto de nmeros naturales?

naturales?
=

IA

tal que A es inductivo

AR

O sea que
el conjunto de los nmeros naturales es la interseccin de todos los conjuntos inductivos. Es el ms pequeo
de los conjuntos inductivos en el sentido de la inclusin.

Una herramienta que podemos utilizar para demostrar propiedades relativas al conjunto de los naturales es la
induccin completa.

Principio de Induccin Completa (PIC)

.
Sea p(n) un predicado o funcin proposicional con dominio en el conjunto de los nmeros naturales
Si:
1) v [ p(1) ] = V

2) v [ p(h) ] = V v [ p(h+1) ] = V
Entonces: todas las p(n) son verdaderas.

Tengamos presente que:

a)

el paso 1) se llama PASO BASE de la induccin y consiste en evaluar la proposicin con n = 1

b) el paso 2) se llama PASO INDUCTIVO

El antecedente de 2) se llama HIPOTESIS INDUCTIVA y el consecuente es la TESIS INDUCTIVA
La hiptesis inductiva consiste en tomar como vlida la propiedad en un determinado valor de n que llamamos h. A
partir de esto, se debe probar la tesis inductiva, o sea que la propiedad es vlida para el valor siguiente de h, es
decir para h+1.

Tengamos en cuenta que este mtodo se puede usar aunque no se comience con n=1
Dado m 1:
Si :

1) v [ p(m) ] = V

2) v [ p(h) ] = V v [ p(h+1) ] = V
Entonces: p(n) es verdadera para todo n m.

Veamos algunos ejemplos del proceso de induccin

Ejemplo 1
n

Demostrar que:

k k! = ( n+1 )! 1

k =1

Qu significa el smbolo y el signo de admiracin?

Vayamos de a poco.

El smbolo indica sumatoria, es decir, una suma de varios trminos.

Debajo del signo hay una letra que es el contador igualado a su valor inicial. Arriba del
signo se escribe el valor final del contador; luego, se reemplaza en la expresin por los
sucesivos valores del contador y se suman.
Por ejemplo:
5

n2 = 12 + 22 + 32 + 42 + 52 = 1 + 4 + 9 + 16 + 25 = 55

n 2n = 1 21 + 2 22 + 3 23

n=1
3
n=1

Ahora veamos el signo de admiracin; este signo es el smbolo de factorial.

Qu es el factorial de un nmero?
Se llama factorial de un nmero natural a otro nmero natural que se obtiene
multiplicando todos los naturales anteriores al dado.
En forma recursiva se define: 0! = 1 n! = (n-1)! n
Ejemplos:
4! = 4 3! = 4 3 2! = 4 3 2 1! = 4 3 2 1 0! = 24
5! = 5 4! = 5 24 = 120
Solucin:
Paso base: n = 1:
1

p(1):

k k! = ( 1+1 )! 1

k =1

Vamos a analizar el valor de verdad de p(1). Para ello calculamos ambos miembros por separado y luego
comparamos:

Primer miembro de p(1):

1 1! = 1
Segundo miembro de p(1): (1+1)! - 1 = 2! - 1 = 2 - 1 = 1
Como los dos miembros son iguales, entonces v [p(1)] = V

Paso inductivo:
h

Hiptesis Inductiva: n = h

k k! = ( h+1 )! - 1

k =1

h+1

Tesis Inductiva: n = h+1

k k! = ( h+1+1 )! - 1

k =1

Demostracin: para demostrar la igualdad de la tesis partimos del primer miembro y trataremos de llegar al
segundo.

h+1

k k! =(1)

k =1

k k! + (h+1) (h+1)! =(2) (h+1)! - 1 + (h+1) (h+1)! =(3)

k =1

=(4) (h+1)! (1+h+1) -1 =4 (h+1+1)! -1

As, llegamos al segundo miembro. Justificaciones:

(1) De los h+1 trminos dejamos aparte el ltimo de ellos

(2) Utilizamos la hiptesis inductiva
(3) Sacamos factor comn (h+1)! entre primer y tercer trminos
(4) Usamos definicin recursiva de factorial

Ejemplo 2:

Demostrar n 3 : (2n)! > 8n-1 n2

Solucin:
Paso base: n = 3:
(En este caso comenzamos de n=3 en vez de n=1 ya que lo dice el enunciado)

p(1):

(2 3)! > 83-1 32

Veamos si p(1) es verdadera:

Primer miembro de p(1):
(2 3)! = 6! = 720
Segundo miembro de p(1): 83-1 32 = 64 9 = 576
Como 720 > 576, entonces v [p(1)] = V

Paso inductivo:

Hip. Ind.: n = h

(2h)! > 8h-1 h2

Tesis Ind: n = h+1

(2(h+1))! > 8h (h+1)2

Demostracin: para demostrar la tesis, partimos del primer miembro de la misma y trataremos de probar
que es mayor que el segundo.

(2(h+1))! = (2h + 2)! =(1) (2h+2) (2h+1) (2h)! >(2) (4h2 + 6 h + 2) 8h-1 h2 >(3)
>(3) (h2 + 2 h + 1) 8h 8-1 h2 >(4) 8h (h+1)2 8-1 h2 >(5) 8h (h+1)2
Con lo cual qued demostrado que: 2(h+1))! > 8h (h+1)2

Justificaciones de cada paso:

(1) Usamos la definicin recursiva de factorial
(2) Distribuimos el producto de (2h+2)(2h+1) y utilizamos la hiptesis inductiva
(3) Acotamos la expresin (4h2 + 6h + 2) por una expresin menor (h2+ 2 h + 1) ya que
resulta conveniente para lo que debemos probar
(4) Escribimos el cuadrado de una suma que tenamos desarrollado
(5) Dado que como h 3 entonces h2 9 por lo tanto h2 > 8

SUCESIONES
Una sucesin es una lista de objetos, uno despus del otro, numerada en el orden creciente de los
nmeros naturales.
Formalmente, una sucesin es una funcin f:
Hay que tener en cuenta que en una sucesin:
1. Los elementos pueden o no repetirse.
2. A veces en vez de se puede tomar 0
Por ejemplo:
S1 : 1,4,9,16,25,...,n2,....
S2 :1,-1,1,-1,1,-1,1,-1,......,(-1)n,...
Notaciones:

S: a1,a2,......,an,......

S : ( ai ) i N

A continuacin demostraremos un ejercicio de divisibilidad:

5 23n - 18n , n

Para demostrar esta propiedad vamos a utilizar induccin completa.

Nos conviene escribir la proposicin en forma de igualdad, de esta forma:

23n - 18n = 5 k k

P(n):

Paso base:

231 181 = 5 = 5 1 1

n =1:
Paso inductivo:

Hip. Ind:
Tesis Ind:

h+1

Dem./ 23

23h 18h = 5 k k
23h+1 18h+1 = 5 t t

18h+1 = 23h 23 18h 18 = 23h ( 5 + 18 ) 18h 18 =

= 5 23h + 18 ( 23h 18h ) = 5 23h + 18 5 k = 5 (23h + 18 k ) = 5 t

Pues 23h + 18 k por ser productos y suma de enteros.
Por lo tanto, por principio de induccin, n se cumple p(n) es verdadera

RECURSION

Una definicin es recursiva si hace referencia a ella misma.

Por ejemplo: la definicin de factorial es recursiva n! = n (n-1)! con 0! = 1

Lo mismo ocurre al dar una sucesin, es decir que tambin puede definirse en forma recursiva. Al definir el trmino
general, se puede hacer referencia a trminos anteriores.

Ejemplo:
Sea la sucesin definida por: an = 2 an-1

con a1 = 4

Veamos algunos elementos de la sucesin:

Ya sabemos que a1 = 4. calculemos el siguiente:

a2 = 2 a1 entonces:

a2 = 2 4 = 8

Y el prximo es: a3 = 2 a2 entonces: a3 = 2 8 = 16

Y as sucesivamente.
En este caso es fcil darse cuenta que los elementos de la sucesin son todos potencias de 2, pero hay muchos
casos donde no es tan sencillo descubrir la regla general a simple vista.
A las sucesiones dadas en forma recursiva, se las llama relaciones o ecuaciones de recurrencia.

Qu significa resolver una relacin de recurrencia? Significa encontrar una expresin del an que satisfaga la relacin
y que no sea recursiva.

Clasificacin de relaciones de recurrencia:

Orden:
Orden: es la mayor diferencia entre los subndices de los elementos de la sucesin que figuran en la relacin de
recurrencia. Es decir, el orden indica cuntos trminos anteriores hay que conocer para obtener uno en particular.
Grado:
Grado: es el mayor exponente al que estn elevados los elementos de la sucesin que figuran en la relacin de
recurrencia.
Ecuacin Homognea:
Homognea: al igual que las ecuaciones algebraicas, las homogneas son las que no tienen trminos
independientes; pero en este caso no necesariamente los trminos independientes son constantes sino que todos
aquellos en los que no figuran elementos de la sucesin. Por ejemplo los siguientes trminos son independientes:
3 n, 4, n2, etc.
Ecuacin de coeficientes constantes:
constantes: en estas ecuaciones ninguno de los coeficientes de los elementos de la
sucesin dependen de n. Por el contrario, si alguno depende de n, se dice que la ecuacin tiene coeficientes
variables.

Algunos ejemplos:
a) an = 3 an-1 + 2n2 es de orden 1 (diferencia entre n y n-1), grado 1 o lineal (exponentes 1), no homognea
(pues figura el trmino 2n2) y de coeficientes constantes (1 y 3).
b) an = an-1 + an-2 es de orden 2, lineal, homognea y de coeficientes constantes.
c) an3 = 2 an-1 1 es de orden 1, grado 3, no homognea y coeficientes constantes.
d) 2 an = n an-2 es de orden 2, lineal, homognea y de coeficientes variables (n)

Vamos a analizar ahora las relaciones de recurrencia de orden 1 y de orden 2, homogneas con coeficientes
constantes y sus respectivas resoluciones

Relaciones de recurrencia lineales de orden 1, homogneas

Son de la forma: an = k an-1 siendo k una constante real no nula.

Resolucin:
Supongamos que conocemos el valor de a0. Cunto vale el a1?
Y a 2?

a2 = k a1 que a su vez es

a2 = k k a0 = k2 a0

Y a 3?

a3 = k a2 que a su vez es

a3 = k k k a0 = k3 a0

a1 = k a0

O sea que pareciera que: an = kn a0

Pero para estar seguros de la frmula encontrada, debemos demostrarla. Vamos a hacerlo por medio de Induccin
Completa.

Qu es lo que hay que demostrar?

Dato del ejercicio: la frmula recursiva an = k an-1 y el valor de a0
Frmula encontrada no recursiva: an = kn a0
Lo que debemos probar es que la nueva frmula define la misma sucesin que la otra.
Paso base:
n = 0 (ya que el primer trmino es a0)
Lo calculamos con la nueva frmula: a0 = k0 a0 = a0 entonces se cumple p(0) es V

Paso inductivo:
Hip. Ind: n = h
ah = kh a0
Tesis Ind: n = h+1 ah+1 = kh+1 a0
Dem./
ah+1 = k ah = k kh a0 = kh+1 a0

Por dato del ejercicio

Hip. Ind.

Producto de potencias de igual base

Por lo tanto, queda demostrado que n N0: p(n) es verdadera

Ejemplo:
La siguiente relacin de recurrencia: 3 an - 5 an-1 = 0 con a0 = 4

5
an-1
3

Es equivalente a:

an =

Tiene por solucin:

5
an = a n = .4
3

Relaciones de recurrencia lineales de orden 2, homogneas

Son de la forma:

cn an + c n-1 a n-1 + c n-2 a n-2 = 0

Resolucin:
Supongamos que an = xn es una solucin de la ecuacin. Por lo tanto debe satisfacerla:

cn xn + cn-1 xn-1 + cn-2 xn-2 = 0

Sacamos factor comn ... y obtenemos:

xn-2 ( cn x2 + cn-1 x + cn-2 ) = 0

Como x no puede ser cero, entonces debe ser cn x2 + cn-1 x + cn-2 = 0
Lo cual es una ecuacin algebraica de segundo grado que se llama ecuacin
ecuacin caracterstica.

reales y distintas
reales e iguales (una raz doble)
complejas conjugadas

Sus races pueden ser

Segn sean las races de la ecuacin caracterstica, la solucin general ser:

Reales distintas:

an = k1 r1n + k2 r2n

Reales iguales:

an = k1 r1n + k2 n r1n

Complejas: dem primer caso pero se opera con De Moivre (no se consideran en esta materia)

Las constantes k1 y k2 se calculan con los datos iniciales

Importante: Para poder resolver una relacin de recurrencia de orden n se necesitan conocer n condiciones iniciales.
Veamos dos ejemplos:
Ejemplo 1

an - 5 an-1 + 6 an-2 = 0

con a0 = 3 y a1 = 5

Directamente planteamos la ecuacin caracterstica: x2 - 5 x + 6 = 0

Calculamos sus races, que son:
r1 = 2 y r2 = 3
Resultaron ser races REALES y DISTINTAS
n
n
Planteamos la forma de la solucin general: an = k1 r1 + k2 r2
Y ahora, teniendo en cuenta las condiciones iniciales:
a0 = 3 entonces 3 = k1 r10 + k2 r20 o sea k1 + k2 = 3
a1 = 5 entonces 5 = k1 r11 + k2 r21 o sea 2 k1 + 3 k2 = 5
Nos ha quedado un sencillo sistema de ecuaciones lineales. Al resolverlo obtenemos: k1 = 4 y k2 = -1
Por lo tanto, nuestra solucin es: an = 4 2n - 3n
Ejemplo 2:

an+2 = 4 an+1 - 4 an

con a0 = 1 y a1 = 5

La ecuacin caracterstica es: x2 - 4 x + 4 = 0 que tiene como races: r1 = 2 y r2 = 2

O sea que son races REALES e IGUALES
Planteamos la forma de la solucin general: an = k1 2n + k2 n 2n
Y ahora, teniendo en cuenta las condiciones iniciales:
a0 = 1 entonces k1 = 1
a1 = 5 entonces 2 k1 + 2 1 k2 = 5 entonces: k2 = 1.5

Por lo tanto, nuestra solucin es:

an = 2n + 1.5 n 2n

Demostracin por Induccin:

Paso base:
Por ser de segundo orden hay que probar los dos datos iniciales:
n = 0: a0 = 20 + 1.5 0 20 = 1
n = 1: a1 = 21 + 1.5 1 21 = 2 + 3 = 5 se verifica
Paso inductivo:
ah = 2h + 1.5 h 2h
ah-1 = 2h-1 + 1.5 (h-1) 2h-1
Tesis Ind: n = h+1 ah+1 = 2h+1 + 1.5 (h+1) 2h+1
Hip. Ind: n = h

Dem./
Comenzamos desarrollando el primer miembro de la tesis:
ah+1 = 4 ah 4 ah-1 = 4 ( 2h + 1.5 h 2h ) 4 ( 2h-1 + 1.5 (h-1) 2h-1) =
= 4 2h + 6 h 2h 4 2h-1 - 6 (h-1) 2h-1 = 4 2h + 6 h 2h 2 2h - 3 h 2h + 3 2h =
= 4 2h + 6 h 2h 2 2h - 3 h 2h + 3 2h = 5 2h + 3 h 2h ( expresin 1)
Ahora desarrollamos el segundo miembro de la tesis:
2h+1 + 1.5 (h+1) 2h+1 = 2h 2 + 1.5 h 2h 2 + 1.5 2h 2 = 2 2h + 3 h 2h + 3 2h =
=5 2h + 3 h 2h (expresin 2)

10

Como ambas expresiones son iguales, ha quedado probada la tesis. Y por principio de induccin: n N0: p(n)
es verdadera

Relaciones recurrencia con races complejas

Observacin: cuando los ceros de la ecuacin caracterstica son nmeros complejos, para hallar la
solucin general debemos usar la frmula que nos brinda el Teorema de Moivre1.
La expresin polar de un nmero complejo es z= x + y i= r (cos + i sen)
El teorema de Moivre se usa para calcular la potencia ensima de un nmero complejo y
tiene la siguiente expresin:
zn= rn (cos n + i sen n) (que puede probarse usando induccin).
En el caso que tengamos que resolver una ecuacin de recurrencia donde las races de la ecuacin
caracterstica sean complejas, slo hallaremos, en este curso, la solucin general ya que para calcular las
soluciones particulares es necesario poner en juego saberes previos que no tenemos.
Ejemplo

Para an = 2 an-1 2 an-2

El polinomio caracterstico es p(x)= x2 -2x + 2
Los ceros de la ecuacin caracterstica son: r1 = 1 + i, r2= 1 i
La solucin general es an = A(1 + i)n + B( 1 i)n .

Relaciones de recurrencia lineal no homognea

Llamamos relacin de recurrencia lineal no homogneas de orden k, con coeficientes constante,
a una expresin de la forma siguiente:
an= k1an-1 + k2an-2 +...+ kr an-r con n > r (I)
donde i=0,k , los ki son nmeros reales
n > k, nN
N
an=f(n)
Si f(n)= 0 es homognea

Algunos ejemplos:
a)

an

= 2a n-1 + 3( 2n)

Se utiliza para calcular las races de un nmero complejo

11

b)

an + 2a n-1 = n2 - n -1

c)

an - 2a n-1 + a n-2 = 3

Cmo se resuelven?
1) Dada (I) (que es la ecuacin de recurrencia que se quiere resolver), llamamos relacin de
recurrencia homognea asociada a (I) a la siguiente:

0= k1an-1 + k2an-2 +...+ kr an-r con n > r (II)

2) Aceptamos , sin demostrar, la siguiente propiedad:

Cualquier solucin (an) de (I), para determinadas condiciones iniciales puede escribirse como:
an = p n + h n
hn es la solucin de homognea asociada
pn es una solucin particular de (I)
3) Para hallar la solucin particular de (I) , no hay una regla general, sino un conjunto de pautas
4) Algunos ejemplos:
a)

an 3 an-1 = 2
en este caso f(n) es una constante, no depende de n, se puede probar con an = A
se sustituye en la ecuacin y se obtiene:
A 3 A =2, de donde A= -1 , por lo tanto la solucin particular buscada es an=-1 slo resta
buscar la solucin de la homognea asociada

b) an +1- an= n , a2 =1, n2 (I)

La homognea asociada es an +1- an=0, de donde an +1= an cuya solucin es K(1)n
La solucin particular se puede pensar como un polinomio de grado 1, digamos
A n + B, siendo B solucin de la homognea, por ser una constante de donde conviene
multiplicar (A n + B) por la menor potencia de n que asegure la no existencia de constantes (en
este caso n)
Queda an= A n2 + Bn , (I) se escribe an +1= an + n
Se reemplaza y queda:
A(n +1)2 + B(n+1) = A n2 + Bn +n , operando y comparando los coeficientes de las potencia
semejantes queda:

12

Para n2: A = A,
Para n: 2A +B = B+1
Para el trmino independiente: A +B = 0

A=

1
,
2

B=

1
2

La solucin particular es:

an =

1 2 1
n + n
2
2

La solucin de la homognea asociada es k.

La solucin que se busca es:

an =

1 2 1
n + n + c
2
2

Usando las condiciones iniciales queda que c debe ser 0 y por lo tanto:

an =
c)

1 2 1
n + n
2
2

Si la ecuacin es an= 3 an -1 + 5( 3n) se puede proponer pn= A3n

n
n
por lo tanto se modifica por pn= An3 y queda 5n3 como solucin particular quedando como

solucin general: an = k3n+ 5n3n, donde el valor de k se obtiene aplicando las condiciones
iniciales.

d) La siguiente tabla nos ayuda para encontrar la forma de la solucin particular en algunos casos
determinados
F(n)

Solucin particular

Constante

N
n

n t natural
n

r r real

An + B
2

An + Bn + C
Polinomio completo de grado 1
Arn

13

Sintetizando:
-

El Principio de Induccin Completa se utiliza para demostrar propiedades

relativas al conjunto de los nmeros naturales.

El PASO BASE de la induccin consiste en evaluar la proposicin con n = 1

(o el primer elemento indicado). En el PASO INDUCTIVO el antecedente se
llama HIPOTESIS INDUCTIVA y el consecuente es la TESIS INDUCTIVA.
Si se verifica la igualdad en el paso base y de la hiptesis inductiva se obtiene
la tesis inductiva, la propiedad es vlida para todos los nmeros naturales.

Una sucesin es una lista de objetos, uno despus del otro, numerada en el
orden creciente de los nmeros naturales. Formalmente, una sucesin es una
funcin f: .

Hay que tener en cuenta que en una sucesin: los elementos pueden o no
repetirse; a veces en vez de se puede tomar 0.

Una definicin es recursiva si hace referencia a ella misma.

A las sucesiones dadas en forma recursiva se las llama relaciones o

ecuaciones de recurrencia. Resolver una relacin de recurrencia significa
encontrar una expresin del an que satisfaga la relacin y que no sea recursiva.

En una relacin de recurrencia se caracteriza

homogeneidad y los coeficientes.

Las relaciones de recurrencia lineales de orden 2, homogneas son de la

forma: cn an + c n-1 a n-1 + c n-2 a n-2 = 0

el orden, el grado, la

14