Cap tulo 2: Induccin y recursin o o Clase 1: El principio de Induccin o

Matemtica Discreta - CC3101 a Profesor: Pablo Barcel o

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

1 / 14

Motivacin o

Es comn decir en matemtica que una propiedad es cierta de u a todos los nmeros naturales: u

Para todo entero positivo n, n! nn .

La induccin es una tcnica muy usual en matemticas que sirve o e a para probar este tipo de resultados:

Sus or genes se pueden remontar hasta Euclides y varios matemticos persas; a los primeros que la formalizaron fueron Fermat y Maurolico, en el Siglo XVI.

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

2 / 14

Principio de induccin o

Principio de induccin: Una propiedad P es cierta de todos los o nmeros naturales si: u

P(1) es cierto, y para todo nmero natural n, si P(n) es cierto entonces u P(n + 1) es cierto.

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

3 / 14

Principio de induccin o

Principio de induccin: Una propiedad P es cierta de todos los o nmeros naturales si: u

P(1) es cierto, y para todo nmero natural n, si P(n) es cierto entonces u P(n + 1) es cierto.

O ms formalmente: a P(1) k(P(k) P(k + 1)) nP(n)

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

3 / 14

Ilustracin del principio o

Si el primer domin cae, y si cae un domin entonces cae el siguiente, o o entonces todos los dominos caen.

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

4 / 14

Ejemplo: Formlas de suma u

Ejemplo: Utilice induccin para probar que la suma de los n o primeros enteros positivos es n(n+1) . 2

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

5 / 14

Ejemplo: Formlas de suma u

Ejemplo: Utilice induccin para probar que la suma de los n o primeros enteros positivos es n(n+1) . 2 Primero probamos que la propiedad se cumple para 1 (esto usualmente se llama caso base).

Funciona en este caso pues 1 =

1(1+1) . 2

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

5 / 14

Ejemplo: Frmulas de suma o

Luego probamos el caso inductivo: Si la propiedad se cumple en un o e nmero n arbitrario (hiptesis inductiva) entonces tambin se u cumple en n + 1.

Sea n un entero positivo arbitrario. Por hiptesis inductiva: o 1 + 2 + + n = n(n + 1) 2

Pero entonces, 1 + 2 + + n + (n + 1) = = = n(n + 1) + (n + 1) 2 n(n + 1) + 2(n + 1) 2 (n + 1)(n + 2) 2

6 / 14

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

Deciencias de la induccin o

Observacin: A pesar de que la induccin es una excelente tcnica o o e para demostrar este tipo de propiedades, tiene el problema de que no nos dice en absoluto cmo llegar a la frmula que se quiere o o probar.

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

7 / 14

Deciencias de la induccin o

Observacin: A pesar de que la induccin es una excelente tcnica o o e para demostrar este tipo de propiedades, tiene el problema de que no nos dice en absoluto cmo llegar a la frmula que se quiere o o probar. Ejercicio: Conjeture una frmula que dena la suma de los o primeros n nmeros impares, donde n es un entero positivo, y u demuestre por induccin que esta frmula es correcta. o o

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

7 / 14

Ejemplos ms complejos de induccin a o

La induccin no slo funciona para propiedades de los enteros o o positivos. Tambin funciona si queremos probar algo para cada e entero b.

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

8 / 14

Ejemplos ms complejos de induccin a o

La induccin no slo funciona para propiedades de los enteros o o positivos. Tambin funciona si queremos probar algo para cada e entero b. Ejercicio: Demuestre que para todo entero no negativo n, si r = 1 entonces: n ar n+1 a ar j = r 1
j=0

El caso base es trivial. A continuacin probamos el caso inductivo. o

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

8 / 14

Ejemplos ms complejos de induccin a o

Caso inductivo: Asuma por hiptesis inductiva que para un entero o n+1 a no negativo arbitrario n se tiene que n ar j = ar r 1 . j=0 Luego,
n+1 j j=0 ar

ar n+1 a r 1

+ ar n+1 .

Pero, claramente: ar n+1 a ar n+2 ar n+1 ar n+2 a ar n+1 a + ar n+1 = = . r 1 r 1 r 1 r 1 Esto termina nuestra hiptesis inductiva, y tambin nuestra o e demostracin. o

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

9 / 14

Desigualdades e induccin o

Mediante la induccin tambin podemos demostrar desigualdades. o e Ejercicio: Los nmeros armnicos Hn , n = 1, 2, 3, . . . , se denen u o como 1 1 Hn = 1 + + 2 n Demuestre que para todo entero no negativo n, H2n 1 + n . 2 Slo probaremos a continuacin el caso inductivo. o o

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

10 / 14

Desigualdades e induccin o

Caso inductivo: Asuma por hiptesis inductiva que para un nmero o u n n 1+ entero no negativo arbitrario n se tiene que H2 2. Note que H2n+1 = H2n + Adems, a
1 2n +1 1 2n +1

Por hiptesis inductiva, H2n 1 + n . o 2 + +

1 2n+1

+ +
1 2n+1

1 . 2n+1

2n
n 2

= 1. 2
n+1 2 .

Concluimos que H2n+1 1 +

1 2

=1+

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

11 / 14

Usos creativos de la induccin o

Ejemplo: Un nmero impar de gente se para en un parque de u manera que la distancia entre ellos es mutuamente distinta. Cada persona lanza una torta a la persona que tiene ms cerca. a Demuestre usando induccin que siempre existe una persona a la o que no le llega una torta en la cara.

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

12 / 14

Usos creativos de la induccin o

Ejemplo: Un nmero impar de gente se para en un parque de u manera que la distancia entre ellos es mutuamente distinta. Cada persona lanza una torta a la persona que tiene ms cerca. a Demuestre usando induccin que siempre existe una persona a la o que no le llega una torta en la cara. Demostraremos la siguiente proposicin para cada entero n > 0: o Existe una persona a la que no le llega la torta cuando el nmero u de personas que se para en el parque es 2n + 1. Por qu esto es suciente? e

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

12 / 14

Usos creativos de la induccin o

Ejemplo: Un nmero impar de gente se para en un parque de u manera que la distancia entre ellos es mutuamente distinta. Cada persona lanza una torta a la persona que tiene ms cerca. a Demuestre usando induccin que siempre existe una persona a la o que no le llega una torta en la cara. Demostraremos la siguiente proposicin para cada entero n > 0: o Existe una persona a la que no le llega la torta cuando el nmero u de personas que se para en el parque es 2n + 1. Por qu esto es suciente? e Ejercicio: Demuestre el caso base.

P. Barcel o

Matemtica Discreta - Cap. 2: Induccin y Recursin a o o

12 / 14

Usos creativos de la induccin o

Caso inductivo: Asuma por hiptesis inductiva que alguien se salva o cuando el nmero de personas es 2n + 1. u Asuma que hay 2n + 3 personas participando. Sean A y B las personas que estn a la m a nima mutua distancia. (Entre todo otro par de personas hay mayor distancia). Por tanto, A y B se lanzan la torta mutuamente. Si alguien ms le lanza la torta a A o B, entonces el mximo de a a tortas lanzadas entre el resto de los participantes es 2n, y por tanto, hay alguien al que no le llega torta. Asuma entonces, que la unica torta que recibe A es la de B, y viceversa. El resto del grupo incluye a 2n + 1 personas a distancias mutuas diferentes. Por hiptesis inductiva a alguien no le llega la o torta en este grupo.
P. Barcel o Matemtica Discreta - Cap. 2: Induccin y Recursin a o o 13 / 14

Ejercicios
Ejercicio: Demuestre que si h > 1, entonces para todo entero no negativo n se tiene que 1 + nh (1 + h)n . Ejercicio: Demuestre que para todo entero positivo n se tiene que n 1 =1 > 2( n + 1 1). Ejercicio: Sean a1 , a2 , . . . , an nmeros reales positivos. La media u aritmtica se dene como e (a1 + a2 + + an )/n mientras que la media geomtrica se dene como e (a1 a2 an ) n Demuestre que A G .
P. Barcel o Matemtica Discreta - Cap. 2: Induccin y Recursin a o o 14 / 14 1