Beruflich Dokumente
Kultur Dokumente
En muchas ocasiones nos encontramos con problemas donde debemos demostrar proposiones como:
2 N se cumple 1 + 2 +
2 N se cumple (n 2) = n2
n
X
2 N se cumple
(2k 1) 3k = (n
n=
1
n (n + 1)
2
4n + 4
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
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.
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
3
2
132 <
3
2
k2 <
(1)
1+
1
k
(k + 1)
<
3
2
k2
k2
(k + 1) <
3
2
k2 <
3
2
3
2
k+1
a2 = 13;
an+2 = 5an+1
6an
demostrar que
an = 2n + 3n
(2)
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
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
; P (k
1) implican P (k)