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 (B) (P) Si es verdadera es verdadera entonces es verdadera, para cualquier . sobre N las siguientes dos afirmaciones:

De que manera podemos utilizar este hecho para probar que Solucin: Haciendo (1) Si (2) Si (3) Si (4) Si en (P) es verdadera. es verdadera. es verdadera. es verdadera.

es verdadera?

es verdadera, entonces es verdadera, entonces es verdadera, entonces es verdadera, entonces

Veamos la forma como se utilizan estas implicaciones para demostrar que verdadera: o o deducimos que o Se sabe, por (B), que tanto, por (1), concluimos que Como es verdadera. Ahora que sabemos que usando (3), podemos concluir que es verdadera. es verdadera, es verdadera. es verdadera, utilizando (2),

es

es verdadera. Por lo

o que es verdadera.

Al ser

verdadera, aplicando (4), tenemos

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, verdaderas. El siguiente principio lgico formaliza lo anterior. Principio de induccin matemtica. Sea las siguientes propiedades (B) es verdadera. ,Si es verdadera entonces es verdadera. un predicado sobre N.Si tiene son

(P) Para cualquier esverdadera,entonces

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 predicado sobre N. Para demostrar que la proposicin suficiente demostrar las dos afirmaciones: (B) es verdadera. , si es verdadera entonces es verdadera. un es verdadera, es

(P) Para cualquier

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 llamamos a hiptesis de induccin. es verdadera. En este caso

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 (B) Se deber probar que

es verdadera.

es verdadera, como se observa

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

Ahora se debe probar que

es verdadera, es decir, la igualdad

Hiptesis

Otra forma de probar (1.1) es escribiendo la suma o o Al sumar miembro a miembro las dos igualdades obtenemos:

de dos maneras:

Puesto que en el lado izquierdo de esta igualdad hay n sumandos en total tenemos que, , es decir, primeros trminos de

De (1.1) se puede decir la formula de la suma de los cualquier progresin aritmtica,

Demostracin:

Para el caso

, se obtiene la misma formula (1.1).

Ejemplo: Progresiones geomtricas Otra formula importante es la suma de cualquier progresin geomtrica:

Por ejemplo para

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

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 verdadera, para cualquier : es

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 entonces

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

Por lo tanto para demostrar que una proposicin de la forma 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 + 1)(2n + 1)(3n 2 + 3n 1) a. i = 30 i =1
n 4

b.

i(2 ) = 2 + (n 1)2
i i =1

n +1

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

2.

Para n Z + ; defina la suma Sn mediante la formula:

Sn = 1 2 3 ( n 1) n + + + + + 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:

1 =1 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 b. C n = 3n + 7 c. C n = 7 d. C n = (n + 1)(n + 2)
n e. C n = 7

f. C n = 11n 8
2 g. C n = n
n h. C n = 2 (1)

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.