INDUCCION MATEMATICA Y

RECURSIVIDAD

Para probar que una proposicin de la forma es verdadera, donde

es un predicado sobre el conjunto U, hay que demostrar que para cada la
proposicin es verdadera. Si el conjunto U es infinito lo anterior no se puede
hacer de manera directa elemento por elemento. En esta seccin mostraremos para
el caso en que U =N, un mtodo de demostracin que nos permita concluir de
manera indirecta que es verdadera. Este mtodo es llamado el
principio de induccin matemtica. Supongamos que de alguna forma hemos
demostrado para un predicado sobre N las siguientes dos afirmaciones:

(B) es verdadera

(P) Si es verdadera entonces es verdadera, para cualquier .

De que manera podemos utilizar este hecho para probar que es verdadera?

Solucin: Haciendo en (P)

(1) Si es verdadera, entonces es verdadera.

(2) Si es verdadera, entonces es verdadera.

(3) Si es verdadera, entonces es verdadera.

(4) Si es verdadera, entonces es verdadera.

Veamos la forma como se utilizan estas implicaciones para demostrar que es

verdadera:

o Se sabe, por (B), que es verdadera. Por lo

tanto, por (1), concluimos que es verdadera.
o Como es verdadera, utilizando (2),
deducimos que es verdadera.
o Ahora que sabemos que es verdadera,
usando (3), podemos concluir que es verdadera.
 o Al ser verdadera, aplicando (4), tenemos
que es verdadera.

Es decir, a partir de (B) usando sucesivamente (P), hemos probado que

son verdaderas. Haciendo lo anterior para cualquier
concluimos que la sucesin infinita de proposiciones, son
verdaderas.

El siguiente principio lgico formaliza lo anterior.

Principio de induccin matemtica. Sea un predicado sobre N.Si tiene

las siguientes propiedades

(B) es verdadera.

(P) Para cualquier ,Si es verdadera entonces

esverdadera,entonces es verdadera.

Utilizando la notacin del clculo de predicados el anterior principio puede ser

expresado como:

El principio de induccin matemtica se basa en el hecho de que despus de cada

entero k hay un siguiente k+1y que todo entero n puede ser alcanzado mediante
un nmero finito de pasos, a partir de 1.

El principio de induccin matemtica nos ofrece la siguiente tcnica de

demostracin.

Mtodo de demostracin usando induccin matemtica. Sea un

predicado sobre N. Para demostrar que la proposicin es verdadera, es
suficiente demostrar las dos afirmaciones:

(B) es verdadera.

(P) Para cualquier , si es verdadera entonces es verdadera.

Nos referimos a (B), es decir al hecho que es verdadera, como el paso bsico
de la induccin y nos referimos a (P)como el paso inductivo. En general, el paso
bsico es sencillo de verificar; para demostrar el paso inductivo se supone que,
es verdadera, y se demuestra que es verdadera. En este caso llamamos
a hiptesis de induccin.

Ejemplo: Progresiones aritmticas

Para todo valor de n, la suma 1+2+3++n de los n primeros nmeros naturales es

igual a .

Consideremos la proposicin

Demostremos por induccin que es verdadera.

(B) Se deber probar que es verdadera, como se observa

es evidentemente verdadero

(P) Supngase que se sabe que es verdadera para algn . Esto es, se
supone para algn fijo,

Ahora se debe probar que es verdadera, es decir, la igualdad

Hiptesis

Otra forma de probar (1.1) es escribiendo la suma de dos maneras:

Al sumar miembro a miembro las dos igualdades obtenemos:

Puesto que en el lado izquierdo de esta igualdad hay n sumandos en total tenemos

que, , es decir,

De (1.1) se puede decir la formula de la suma de los primeros trminos de

cualquier progresin aritmtica,

Demostracin:

Para el caso y , se obtiene la misma formula (1.1).

Ejemplo: Progresiones geomtricas

Otra formula importante es la suma de cualquier progresin geomtrica:

Por ejemplo para y se obtiene la formula:

Demostremos por induccin que para todo n se tiene

(B) Veamos que para n=1,

 es verdadera.

(P) Supongamos que para algn , la siguiente igualdad es verdadera.

Demostremos que la proposicin

es verdadera

Otra forma de probar la formula (1.2) es como sigue. Sea

Multiplicando ambos miembros de la igualdad anterior por q :

Restando miembro a miembro las dos igualdades anteriores:

Ejemplo: Suma de los n primeros cuadrados.

La suma de los n primeros cuadrados se puede hallar usando la formula:

La prueba por induccin es como sigue. Sea,

(B) (p1) es verdadera, ya que

(P) Supongamos que p(n) es verdadera, es decir, supongamos que

Demostremos que

2)
es verdadera
Otra forma de probar (1.3) es haciendo uso del producto notable:

de donde obtenemos

Esta igualdad es valida para cualquierk. En particular para k=1,2,3,n

respectivamente, obtenemos las igualdades:

Si escribimos

Y hacemos uso de la formula

Al sumar miembro a miembro las igualdades anteriores obtenemos:

Realizando operaciones algebraicas tenemos:

De forma anloga a la anterior pueden hallarse formulas para potencias superiores

de los entero, ,donde k es un entero positivo

Ejemplo: Suma de los n primeros nmeros impares.

Probaremos por induccin que:

es verdadera para todo .

(B) De la igualdad

Concluimos que (p1) es verdadera

(P) supongamos que p(n) es verdadera, es decir, supongamos que la siguiente

igualdad se cumple:

Necesitamos mostrar que,

es verdadera.

De la misma forma como se verific (1.1) sin utilizar induccin matemtica,

podemos encontrar otra manera de probar la frmula para la suma de los n
primeros nmeros impares.

Ejemplo: Suma de los n primeros nmeros pares

haciendo uso de las formulas:

Podemos hallar una frmula para la suma de los primeros n nmeros pares.

Puesto que, la primera igualdad se cumple para todo n, podemos reemplazar n por
2n para obtener

Restando miembro a miembro las igualdades,

Obtenemos la formula para la suma de los n primeros nmeros pares:

Ejemplo: Demostraremos que es divisible por 3 cuando n es un entero

positivo, como un ejemplo del uso de induccin matemtica para probar
propiedades que involucran divisibilidad de enteros.

Para realizar la prueba denotemos

(B) (p1) es verdadera, puesto que es divisible por 3

(P) Supongamos que p(n) es verdadera, es decir,

Debemos probar que p(n+1) es verdadera, en otras palabras, tenemos que

demostrar que

Al efectuar operaciones algebraicas tenemos que:

Adems, como , entonces .Por lo tanto,

 ,donde,

Esto significa que es divisible por 3. Los siguiente ejemplos muestran

como se puede usar induccin matemtica para demostrar propiedades sobre
desigualdades.

Ejemplo: , para todo .

Para demostrar esta desigualdad por induccin llamemos

(B) Como , (p1) es verdadera

(P) Supongamos que p(n) es verdadera. Es decir, supongamos que

Tenemos que probar que

es verdadera.

Comenzando por la hiptesis de induccin. La demostracin consiste en adicionar 1

a ambos lados de , y luego tener en cuenta que la desigualdad es
verdadera, para cualquier :

Por la propiedad transitiva de la relacin concluimos que

De esta forma hemos mostrado que p(n+1) es verdadera, basados en que p(n) es
verdadera.

El principio de induccin matemtica es igualmente valido si el paso bsico es un

nmero entero m distinto de 1. Es decir, m puede ser positivo, cero, o positivo. En
este caso, el principio de induccin matemtica se enuncia de la siguiente forma.

Sea y p(n) un predicado con las siguientes propiedades

(B) p(m) es verdadera.

(P)Para cualquier , Si p(n) es verdadera entonces p(n+1) es verdadera,
entonces es verdadera.

Por lo tanto para demostrar que una proposicin de la forma es

verdadera, utilizando el principio de induccin matemtica, slo es necesario
demostrar que p(m) es verdadera (el paso bsico) y que la implicacin
es verdadera para , (el paso inductivo).

TALLER DE INDUCCION MATEMATICA Y

RECURSIVIDAD
1. Demuestre mediante induccin matematica:

n
n(n 1)( 2n 1)(3n 2 3n 1)
a. i
4

i 1 30

n
b. i(2 ) 2 (n 1)2
i 1
i n 1

c. Si n>3, entonces, 2 n n!

2. Para n Z ; defina la suma Sn mediante la formula:

1 2 3 ( n 1) n
Sn
2! 3! 4! n! ( n 1)!

a. Verifique que para n=1 el valor de la sumatoria es ,

para n=2 el valor de la sumatoria es 5/6.
b. Calcular para n=3,4, y , 5

c. Con base en los resultados conjeture la formula general

para Sn.

d. Verifique la conjetura hecha en la parte c y demuestrela

por induccin matematica.
 3. Consideremos las siguientes 6 ecuaciones:

11
1 4 (1 2)
1 4 9 1 2 3
1 4 9 16 (1 2 3 4)
1 4 9 16 25 1 2 3 4 5
1 4 9 16 25 36 (1 2 3 4 5 6)

Conjeture la formula general sugerida por estas seis ecuaciones y

demuestre su conjetura.

4. De una definicin recursiva para cada una de las siguientes

sucesiones de enteros C1, C2, C3,. Donde para cada n Z
tenemos:

a. C n 7 n e. C n 7
n

b. C n 3n 7 f. C n 11n 8

c. C n 7 g. C n n
2

d. C n (n 1)(n 2) h. C n 2 ( 1)
n

5.
a. Determine una relacin de recurrencia para el numero de
cadenas de n bits que contienen dos ceros
Consecutivos.
b. Cuales son las condiciones iniciales?
c. Cuntas cadenas de siete bits contienen dos ceros
consecutivos?

6.
a. Determine una relacin de recurrencia para el numero de
cadenas de n bits que no contienen tres ceros
Consecutivos.
b. Cuales son las condiciones iniciales?
c. Cuntas cadenas de siete bits no contienen tres ceros
consecutivos?
7.
 a. Determine una relacin de recurrencia para el numero de
cadenas de longitud n sobre el alfabeto
= {0, 1, 2} que no contienen dos ceros consecutivos.
b. Cuales son las condiciones iniciales?
c. Cuntas cadenas de longitud 6 no contienen dos ceros
consecutivos?

8. Supongamos que cada pareja de una variedad de conejos

producen dos nuevas parejas de conejos al cabo
De un mes y seis nuevas parejas de conejos a los dos meses y cada
mes a partir de entonces. Si inicialmente
Hay una pareja de conejos encuentre una relacin de recurrencia
para el numero de parejas de conejos que
Habr transcurridos n meses, suponiendo que ningn conejo muere.

Demostrar que

Demostracin

Debemos comprobar si la afirmacin es cierta para , ya que la sumatoria

parte desde .

Sea , entonces

y la afirmacin es cierta para .

Supongamos ahora, que la afirmacin es cierta para un fijo, y veamos

que sucede para .

Por propiedad de las sumatorias tenemos que

como la afirmacin es cierta para , tenemos que

ordenando

como es distinto de , pordemos simplificar y

que es lo que queramos demostrar.

As, la afirmacin tambin es verdadera para .

Luego, la afirmacin es cierta para todo .