Induccin Matemtica

En muchas ocasiones nos encontramos con problemas donde debemos demostrar proposiones como:

2 N se cumple 1 + 2 +

(2) Mostrar que para todo n

2 N se cumple (n 2) = n2
n
X
2 N se cumple
(2k 1) 3k = (n

(3) Mostrar que para todo n

n=

1
n (n + 1)
2
4n + 4

(1) Mostrar que para todo n

1) 3n+1 + 3

k=1

Este tipo de problemas donde debemos probar que se cumple para todo valor de cierto parmetro "n",
podemos hacer uso de la induccin para su prueba, la cul se basa en el siguiente axioma
Axioma (Principio de induccin matemtica)
Sea el subconjunto S N con la propiedad que:
1. 1 2 S
2. Para todo k 2 R; si k 2 S implica que k + 1 2 S
Entonces S = N

La primera parte del axioma (1) se llama la base de la induccin y la segunda parte del axioma se
llama la parte inductiva.
Este principio se usa para las pruebas de las proposiciones anteriormente mencionadas y podemos
resumirla de la siguiente manera
Sea P (n) la proposicin a probar
(a) Mostrar que P (1) es verdadero
(b) Mostrar que si P (k) es verdadero entonces P (k + 1) es verdadero
con lo cul concluimos que P (n) es verdadero para todo n 2 N
Ciertos demostraciones requieren unas variantes del mtodo clasico de induccin matemtica, como
por ejemplo el siguiente problema
Problema
Probar que
8n 2 N : n

13 se tiene que n2 <

3
2

Es claro que esta proposicin no es vlida para n = 1; es ms, la proposicin suguiere que el primer
natural en cumplir con la proposicin es n = 13: Por tanto necesitanos algo mas que el principio bsico
de induccin.

Variante del principio de induccin matemtica.

Si S

N tiene las propiedades

1. n0 2 Z

2. 8n 2 Z; n

n0 ; n 2 S ! n + 1 2 S

entonces fn 2 Z; n

n0 g = S

Con esta generalizacin estamos en condiciones de resolver el problema

vericanos que se cumple para n = 13; esto es
13

3
2

132 <

compruebe que esto es verdadero

ahora suponemos que la proposicin es verdadera para n = k
k

3
2

k2 <

(1)

probaremos que se cumple para n = k + 1

(k + 1)

1+

1
k

(k + 1)

<

3
2

k2

k2

usando la ecuacin (1) tenemos que

3
2

(k + 1) <

3
2

k2 <

3
2

3
2

k+1

con lo cual queda probado que la proposicin es verdarera para n = k + 1

Por tanto la proposicin es verdadera para n 13
Ahora veamos un problema donde los esquemas estudiados hasta ahora no es suciente.
Problema
Consideremos la sucesion (an ) denida por
a1 = 5;

a2 = 13;

an+2 = 5an+1

6an

demostrar que
an = 2n + 3n

(2)

Como vemos el trmino depende de conocer el valor de los trminos anteriores.

Lo primero que haremos es vericar que los trminos a1 ; a2 satisfacen la ecuacin (2)
a1

5 = 21 + 31

a2

13 = 22 + 32

entonces en este caso para probar que an = 2n + 3n debemos conocer los trminos an
conduce al siguiente esquema de induccin matemtica:

1 ; an 2 ,

esto nos

base induccin P (1) ; P (2) el cual se debe de vericar

hipotesis inductiva P (k) ; P (k + 1) ! P (k + 2)
Por tanto podemos que concluir que se cumple para todo n 2 N
Aplicando este esquema de induccin
an

2n

+ 3n

an

2n

+ 3n

ahora como
an

5an

an

5 2

an

2n + 3 n

1
n 1

6an

2
1

+ 3n

6 2n

+ 3n

por tanto concluimos que se cumple para todo n 2 N

Por ltimo presentamos la generalizacin del esquema anterior que es conocido como induccin fuerte
induccin completa
2

Base de la induccin: P (1)

Hipotesis inductiva: P (1) ; P (2) ;

; P (k

1) implican P (k)