Principio de Induccin

Principio de Induccin
Mariam Cobalea
Universidad de Mlaga Dpto. de Matemtica Aplicada

Principio de buena ordenacin

Cada subconjunto no vaco de N tiene primer elemento.

El principio de buena ordenacin y el principio de induccin son equivalentes. Es decir, el principio de buena ordenacin se puede demostrar usando el principio de induccin y el principio de induccin se puede demostrar usando el principio de buena ordenacin.

Curso 13/14

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin

1 / 28

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin

3 / 28

Principio de Induccin
El principio de induccin es el mtodo de demostracin bsico de propiedades de los nmeros naturales. Se sustenta en la construccin recursiva de los nmeros naturales Denicin 1 (B) 0 N (R) Si n N, entonces n + 1, llamado el sucesor de n, tambin pertenece a N. (E) Cada n N distinto de 0 es el sucesor de algn nmero de N. (P.B.O.) Cada subconjunto no vaco de N tiene primer elemento. La condicin (P.B.O.) se llama Principio de Buena Ordenacin.

Principio de Induccin
Principio de Induccin Matemtica 1 Sea P un enunciado relativo a los nmeros naturales tal que: Paso Base: P(0) es verdadero. P(k ) implica P(k + 1), para todo P. k 0. Paso de Induccin:

Entonces todos los nmeros naturales verican el enunciado 2 P (k ) se llama hiptesis de induccin

* En las demostraciones por induccin no se supone que verica para todos los enteros. * Slo se demuestra que si se supone que P (k ) P (k + 1) tambin es verdadero.

P (k )

se

es verdadero, entonces

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin

2 / 28

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin

4 / 28

Principio de Induccin
Ejemplo 1 Demuestra por induccin que para todo entero n 0 se verica: 20 + 21 + 22 + + 2n = 2n+1 1
Solucin: Sea Paso base: P (n) : 20 + 21 + 22 + + 2n = 2n+1 1 P (0) es verdadero, ya que 20 = 1 = 21 1

Principio de Induccin
Paso Inductivo: k (k + 1) , para k 1 2 (k + 1)(k + 2) y demostramos P (k + 1) : 1 + 2 + + k + (k + 1) = 2 En efecto, Suponemos P (k ) 1 + 2 + 3 + + k = 1 + 2 + + k + (k + 1) = = = = 1 + 2 + + k + (k + 1) k (k + 1) + (k + 1) 2 k (k + 1) 2(k + 1) + 2 2 (k + 1)(k + 2) 2 n 1.
Principio de Induccin 7 / 28

Paso inductivo: Suponemos que P(k ) es verdadero 20 + 21 + 22 + + 2k = 2k +1 1 y demostramos que P (k + 1) es verdadero, es decir, 20 + 21 + 22 + + 2k +1 = 2k +2 1 Usando la hiptesis de induccin P(k ),
k +1 k +1 k +1

20 + 21 + 22 + + 2k + 2k +1 = (20 + 21 + 22 + + 2k ) + 2k +1 = (2 =2 Por lo tanto, para todo

Mariam Cobalea (UMA)

k +2 2

n 0,

Matemtica Discreta, Curso 13/14

2 + 2 + 2 + + 2 = 2

1) + 2
n

=22
n +1

Por tanto, el enunciado se verica para cada nmero natural

5 / 28 Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14

Principio de Induccin

1.

Principio de Induccin
Podemos demostrar que P (n) se verica para todo entero mayor o igual que n0 en lugar de 0. Para ello se puede usar el principio de induccin cambiando el paso base. En ese caso, la conclusin ser que todos los naturales mayores o iguales que n0 tienen la propiedad P . Ejemplo 2 Demuestra por induccin que para todo entero n 1 se verica: 1 + 2 + 3 + + n = Solucin: Sea P (n ) : 1 + 2 + 3 + + n = n(n + 1) 2

Principio de Induccin
Ejemplo 3 Demuestra que para todo entero n 1 se verica: Solucin: Sea P (n ) :
n X i =1 n X i =1

(2i 1) = n2

(2i 1) = n2
k X i =1

Paso bsico:

P (1) es verdadero, ya que 2 1 1 = 1 = 12

k +1 X i =1

Paso Inductivo: Suponemos P (k ) : y demostramos P (k + 1) : En efecto,

k +1 X i =1
6 / 28

(2i 1) = k 2 , para k 1

(2i 1) = (k + 1)2

Paso bsico:
Mariam Cobalea (UMA)

n(n + 1) 2 1(1 + 1) P (1) es verdadero, ya que 1 = . 2

Matemtica Discreta, Curso 13/14 Principio de Induccin

(2i 1) =

k X i =1

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

Por tanto, el enunciado se verica para cada nmero natural

Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14

Principio de Induccin

8 / 28

Principio de Induccin
Ejercicio Demuestra por induccin que para todo entero n 1 se verica:
1

Principio de Induccin
Ejemplo 5 Demuestra por induccin que para todo entero n 1, se verica:
2

n X i =1 n X i =1

1 n = i (i + 1) n+1 i (i + 1)(i + 2) = i2 = n(n + 1)(n + 2)(n + 3) 4

Solucin: Sea

n5 n es mltiplo de 5.

Paso bsico:

P (n ) : n 5 n

es mltiplo de 5 15 1 = 0 = 5 0

P (1) es verdadero, ya que

Paso inductivo: Supongamos que k 5 k es mltiplo de 5: k 5 k = 5 m para algn m N Deducimos entonces la propiedad para n = k + 1 :

n X i =1 n X i =1

n X i =1

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

(k + 1)5 (k + 1) = k 5 + 5k 4 + 10k 3 + 10k 2 + 5k + 1 k 1 = (k 5 k ) + 5k 4 + 10k 3 + 10k 2 + 5k = 5 m + 5(k 4 + 2k 3 + 2k 2 + k ) = 5(m + k 4 + 2k 3 + 2k 2 + k ) Por lo tanto, para todo
Principio de Induccin 9 / 28 Mariam Cobalea (UMA)

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

Matemtica Discreta, Curso 13/14

n 1,

n5 n

es mltiplo de 5.
Principio de Induccin 11 / 28

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin
Ejemplo 4 Demuestra por induccin que para todo entero n 1, se verica:
1

Principio de Induccin
Ejercicio Demuestra por induccin que para todo entero n 1 se verica:
6

n3 n

es mltiplo de 3.
3

Solucin: Sea P (n) : n n es mltiplo de 3 Paso bsico: P (1) es verdadero, ya que 13 1 = 0 = 3 0 Paso inductivo: Supongamos que k 3 k es mltiplo de 3: k k = 3 m para algn m N Deducimos entonces la propiedad para n = k + 1 : (k + 1) (k + 1) = (k + 3k + 3k + 1) (k + 1) = (k 3 k ) + 3(k 2 + k ) = 3 m + 3(k 2 + k ) = 3(m + k + k ) Por lo tanto, para todo
Mariam Cobalea (UMA)

n3 + (n + 1)3 + (n + 2)3 n2 + 3n 7n 2n 22n 1 32n 1

es mltiplo de 9.

es mltiplo de 2. es mltiplo de 5. es mltiplo de 3. es mltiplo de 8.

10

n 1,

Matemtica Discreta, Curso 13/14

n3 n

es mltiplo de 3.
Principio de Induccin 10 / 28 Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Principio de Induccin 12 / 28

Principio de Induccin
Ejemplo 6 Demuestra por induccin que Solucin: Sea P (n) : 2n > n P (1) es verdadero, ya que
k

Principio de Induccin
Ejemplo 8 para todo n1 Demuestra por induccin que Solucin: Sea 21 = 2 > 1 2n > n2 + n, para todo n5

2n > n,

P (n) : 2n > n2 + n P (5) es verdadero, ya que 25 = 32 > 30 = 52 + 5

Paso bsico:

Paso Bsico:

Paso inductivo: Suponemos que P(k ) es verdadero 2 > k, k 1 y demostramos que P(k + 1) es verdadero, es decir, 2k +1 > (k + 1) En efecto, 2k +1 = 2k 2

Paso Inductivo: Suponemos P (k ) : 2k > k 2 + k , k 5 y demostramos P (k + 1) : 2k +1 > (k + 1)2 + (k + 1) En efecto, 2k +1 = 2k 2

k +1 Por lo tanto, 2 >n

n

> k 2=k +k n 1.
Principio de Induccin 13 / 28

= k 2 + k 2 + 2k > k 2 + 2k + k + 2 = (k 2 + 2k + 1) + (k + 1) = (k + 1)2 + (k + 1) Por lo tanto, 2n > n2 + n, para todo n 5.

Principio de Induccin 15 / 28 Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14

> (k 2 + k ) 2

para todo

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin
Ejemplo 7 Demuestra por induccin que Solucin: Sea n2 > n + 2, para todo n3

Principio de Induccin
Ejercicio
11

Demuestra por induccin que 2n2 2n 3, para todo n 6.

P (n ) : n 2 > n + 2 P (3) es verdadero, ya que 32 = 9 > 5 = 3 + 2

Paso bsico:

Paso inductivo: Suponemos que P(k ) es verdadero k 2 > k + 2, k 3 y demostramos que P(k + 1) es verdadero, es decir, (k + 1) > (k + 1) + 2 En efecto, (k + 1)2 = k 2 + 2k + 1 > k + 2 + 2k + 1 k +3 Por lo tanto, n2 > n + 2, para todo n3 .
Principio de Induccin 14 / 28 Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Principio de Induccin 16 / 28

Ejercicio
12

4 Encuentra un entero n0 tal que 2n0 > n0 y prueba que el enunciado se verica para todo n > n0 .

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin Completa

Principio de Induccin Completa

Deniciones Recursivas

Teorema 1 ( Principio de Induccin Completa ) Sea P un enunciado relativo a los nmeros naturales tal que: Paso Base: P(0) es verdadero. P (0) P (1) P (k ) implica P. P(k + 1), Paso de Induccin: para todo k 0.

Las sucesiones de elementos de un conjunto imagen de una funcin f : N S . Ejemplo 10 La sucesin de Fibonacci (B) (R) Ejercicio f0 = 0, f1 = 1

se pueden obtener como la

Dando una denicin recursiva de esta funcin podemos especicar la sucesin. {fn } = {0, 1, 1, 2, 3, 5, 8, . . . }, n0 se puede denir:

Entonces todos los nmeros naturales verican el enunciado 2 La hiptesis de induccin es

f n +2 = f n +1 + f n ,

P (0) P (m) P (k )

Demuestra que para todo entero n 1, se verica: n X 13 f j = f n +2 1

j =1
17 / 28 Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Principio de Induccin 19 / 28

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin

Principio de Induccin Completa

Deniciones Recursivas

Principio de Induccin Completa

Ejercicio Demuestra que para todo entero n 1, se verica: n X 14 f j 2 = f n f n +1
j =1
15

El Principio de Induccin proporciona otro mtodo para especicar funciones cuyo dominio es el conjunto de los enteros no negativos. Se hace en dos etapas: (Paso Bsico): se especica el valor de la funcin en cero. (Paso Recursivo): se da una regla para obtener el valor de la funcin en un entero a partir de sus valores para enteros ms pequeos. Ejemplo 9 La funcin factorial (B) (R) f (0) = 1 f (n + 1) = (n + 1) f (n)
Matemtica Discreta, Curso 13/14 Principio de Induccin 18 / 28

Si F =

1 1 1 0

, entonces F =

f n +1 fn

fn fn 1

Ejercicio Usa el Principio de Induccin Completa para demostrar: f (n ) = n ! se puede especicar de la siguiente forma:
16

Para todo entero n 2, Para todo entero n 3 ,

Mariam Cobalea (UMA)

17

1+ 5 2 1+ 5 fn > n2 , donde = 2 fn n1 , donde =

Principio de Induccin 20 / 28

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Principio de Induccin Completa

Ejemplo 11 Sea la sucesin {un } denida ( u0 = 1, u1 = 2 un+1 + un 6un1 = 0, n 2 Demuestra que Solucin: Sea un = 2n , para cada n N P (n) : un = 2n y n=1 tenemos que u0 u1

Principio de Induccin Completa

Ejemplo 12 Sea la sucesin {xn }, dada por ( x1 = 5, x2 = 11 xn+1 5xn + 6xn1 = 0, n 2 Demuestra que Solucin: Sea xn = 2n+1 + 3n1 , para cada n N P (n) : xn = 2n+1 + 3n1 y n=2 tenemos que x1 x2

Paso bsico: Para n = 0

20 = 1 = 21 = 2 = Luego, P (0) y P (1) son ciertos.

Paso bsico: Para n = 1

21+1 + 311 = 5 = 22+1 + 321 = 8 + 3 = 11 = Luego,

Principio de Induccin 21 / 28

P (1) y P (2) son ciertos.

Matemtica Discreta, Curso 13/14 Principio de Induccin 23 / 28

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 13/14

Mariam Cobalea (UMA)

Principio de Induccin Completa

Solucin: Sea P (n) : un = 2n

Principio de Induccin Completa

Solucin: Sea P (n) : xn = 2n+1 + 3n1

Paso Inductivo: Suponemos P (m) : um = 2m , y demostramos

P (k + 1) : uk +1 = 2(k +1) .

para todo 1 m k

Paso Inductivo: Suponemos P (m) : xm = 2m+1 + 3m1 , para todo 2 m k y demostramos P (k + 1) : xk +1 = 2(k +1)+1 + 3(k +1)1 . En efecto, usando la denicin recursiva de la sucesin y la hiptesis de induccin xk + 1 = = = 5xk 6xk 1

En efecto, usando la denicin recursiva de la sucesin y la hiptesis de induccin uk +1 = uk + 6uk 1 = = = (2k ) + 6(2(k 1) ) 2k + 6 2k 1 = 2k 1 (2 + 6) 2k 1 22 = 2(k 1)+2 = 2(k +1) n N.
Principio de Induccin 22 / 28

5(2k +1 + 3k 1 ) 6(2(k 1)+1 + 3(k 1)1 )

2k (10 6) + 3k 2 (15 6) = 2k +2 + 3k = 2(k +1)+1 + 3(k +1)1 n.

Principio de Induccin 24 / 28

Por tanto, el enunciado se verica para cada

Mariam Cobalea (UMA)

Por tanto, el enunciado se verica para todo entero positivo

Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14

Matemtica Discreta, Curso 13/14

Principio de Induccin Completa

Ejemplo 13 Sea la sucesin {an }, denida recursivamente de la forma: ( a1 = 1 an = an1 + 2n 1, n 2 an y demustrala por induccin.

Principio de Induccin
* Es necesario que se cumplan el paso bsico y el paso inductivo. Si no se cumplen ambos, podemos encontrarnos en una de las situaciones siguientes: n3 + 2n = 3n2 es cierto para n = 0, n = 1, n = 2, pero .... se puede armar que se verica para todo n ? La igualdad n = n + 8, cumple el paso inductivo, pero no cumple el paso bsico ni para n = 0, ni para otro valor de n. Ejercicio
18

encuentra una frmula explcita para Solucin:

1

Hallamos los primeros trminos de la sucesin n = 1, n=2 n=3 n=4 a1 a2 a3 a4 = = = = 1 a1 + 2 2 1 = 1 + 4 1 = 4 = 22 a2 + 2 3 1 = 4 + 6 1 = 9 = 32 a3 + 2 4 1 = 9 + 8 1 = 16 = 42 para todo n N.

Para cada
I I

Comprueba que p (1), . . . , p (9) son todos verdaderos. Estudia si para todo n es verdadero p (n).

n N , sea

p (n) : n2 + n + 11

es primo.

19

y hacemos la conjetura:
2 Mariam Cobalea (UMA)

an = n 2

Demostramos que se verica usando el principio de induccin completa.

Matemtica Discreta, Curso 13/14 Principio de Induccin 25 / 28

Para cada n N , sea p (n) : 3n + 2 es mltiplo de 3 . Comprueba que la implicacin p (k ) = p (k + 1) es verdadera para cada k N y determina si p (n) es verdadero para todo n N .
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Principio de Induccin 27 / 28

Principio de Induccin Completa

Solucin: ( P ( n ) : an = n 2 Paso bsico: P (1) es cierto, ya que a1 = 1 = 12 . Paso Inductivo: Suponemos P (m), para cada 1 m k , esto es am = m2 , para cada 1 m k y demostramos P (k + 1) : ak +1 = (k + 1)2 . Usando la denicin recursiva de la sucesin y la hiptesis de induccin ak +1 = ak + 2(k + 1) 1 = k 2 + 2k + 2 1 = (k + 1)2 Por tanto, el enunciado se verica para cada n N.
Mariam Cobalea (UMA) Matemtica Discreta, Curso 13/14 Principio de Induccin 26 / 28

Bibliografa
Matemtica Discreta N.L.Biggs (Ed. Vicens Vives) Elementos de Matemtica Discreta E. Bujalance y otros (Ed. Sanz y Torres) Problemas de Matemtica Discreta E. Bujalance y otros (Ed. Sanz y Torres) Matemtica Discreta F. Garca Merayo (Ed. Paraninfo) Problemas resueltos de Matemtica Discreta F. Garca Merayo, G. Hernndez Pealver y A. Nevot Luna (Ed. Thomson) Matemticas Discreta y combinatoria R.P. Grimaldi (Ed. Addison Wesley) 2000 Problemas resueltos de Matemtica Discreta S. Lipschutz y M. Lipson (Ed. McGraw Hill) Discrete Algorithmics Mathematics S. Maurer and A. Ralston (Ed. Addison Wesley) 201 Problemas resueltos de Matemtica Discreta V. Meavilla Segu (Prensas Universitarias de Zaragoza) Matemtica Discreta y sus aplicaciones K. Rosen (Ed. McGraw Hill)
Mariam Cobalea (UMA) Discreta, Curso 13/14 Principio de Induccin Matemtica Discreta K.A. Matemtica Ross y C.R.B. Wright (Ed. Prentice Hall) 28 / 28

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

Sea
I I