Professional Documents
Culture Documents
FECHA: 2016-06-24
INDUCCIN MATEMTICA MTODO DE DEMOSTRACIN
EXPERIENCIA CONCRETA
Sucesiones numricas
Conjunto de nmeros enteros dispuestos uno a continuacin de otro siguiendo un orden dado.
Ejemplo.
Los nmeros impares 1, 3, 5, 7, 9, 11, 13,, n se puede representar por 2n 1, con n .
Los nmeros impares 2, 4, 6, 8, 10, 12, 14,, n se puede representar por 2n, con n .
Sumatoria de nmeros o progresiones aritmticas.
Si se quiere sumar los nmeros pares 2 +4 + 6 + 8 + + 2n
Se tiene si se suma
2+4=6
6=2x3
2 + 4 + 6 = 12
2 + 4 + 6 + 8 = 20
12 = 3 x 4
20 = 4 x 5
Donde n = k vamos a tener como hiptesis (H) y n = k + 1 va a ser la tesis (T) en donde se utiliza el mtodo directo Hipotesis
=> Tesis ( H => T )
Entonces se demuestra que P(n) se cumple para cualquier n + .
Vamos a observar unos ejemplos para comprender la solucin por induccin matemtica.
Ejemplo 1:
Sea P(n) la suma de los n mltiplos de 4 es igual al producto de los enteros 2n y (n+1), esto se puede expresar como:
(): + + + + + = ( + ), demostrar por induccin matemtica.
Utilizando el mtodo de induccin matemtica se tiene los siguientes pasos:
1. La propiedad se cumple para = 1.
=
4 = 2(1)(1 + 1)
4 = 2(2)
4=4
Si se cumple para =
2. Se supone que la propiedad es vlida para =
En la formula inicial se reemplaza los n por k
=
4 + 8 + 12 + 16 + + 4 = 2( + 1)
4 + 8 + 12 + 16 + + 4 + 4( + 1) = 2( + 1)( + 2)
PROPOSICIONES
1.
2.
3.
4.
RAZONES
4 + 8 + 12 + 16 + + 4 = 2( + 1)
4 + 8 + 12 + 16 + + 4 + 4( + 1) = 2( + 1) + 4( + 1)
4 + 8 + 12 + 16 + + 4 + 4( + 1) = ( + 1)(2 + 4)
4 + 8 + 12 + 16 + + 4 + 4( + 1) = 2( + 1)( + 2)
Dato
Axioma aditivo (=)
Factor comn en 2
Factor comn en 3
Ejemplo 2:
1.2 = . ( + )( + )
2 = ()()
2 = ()()
2=
2=
Si se cumple para =
2. Se supone que la propiedad es vlida para =
En la formula inicial se reemplaza los n por k
=
. + . + + ( + ) = ( + )( + )
= +;
. + . + + ( + ) + ( + )( + + ) = ( + )(( + ) + )(( + ) +
=+
. + . + + ( + ) + ( + )( + ) = ( + )( + )( + )
( + )( + ) => . + . + + ( + ) + ( + )( + ) = ( + )( + )( + )
PROPOSICIONES
1.
RAZONES
Dato
. + . + + ( + ) = ( + )( + )
2.
. + . + + ( + ) + ( + )( + ) =
3.
. + . + + ( + ) + ( + )( + ) =
4.
. + . + + ( + ) + ( + )( + ) =
(+)(+)
+ ( + )( + )
(+)(+)+(+)(+)
(+)(+)(+)
1 = 12
1=1
Si se cumple para =
2. Se supone que la propiedad es vlida para =
En la formula inicial se reemplaza los n por k
=
+ + + + ( ) =
=+
+ + + + ( ) + (( + ) ) = ( + )
+ + + + ( ) + ( + ) = ( + )
+ + + + ( ) = => + + + + ( ) + ( + ) = + +
PROPOSICIONES
1.
2.
3.
4.
RAZONES
+ + + + ( ) =
Dato
Axioma aditivo (=)
Supresin de signos
Trinomio cuadrado perfecto
+ + + + ( ) + ( + ) = + ( + )
+ + + + ( ) + ( + ) = + +
+ + + + ( ) + ( + ) = ( + )
Luego, + + + + ( ) = , se cumple para cualquier n entero positivo.
Ejemplo 4:
Sea (): + + + + =
(+)(+)
()()
=
=
= ; Si se cumple para =
2. Se supone que la propiedad es vlida para =
En la formula inicial se reemplaza los n por k
=
+ + + + =
(+)(+)
+ + + + + ( + ) =
(+)[(+)+] [(+)+]
=+
+ + + + + ( + ) =
(+)(+) (+)
(+)(+)
=> + + + + + ( + ) =
PROPOSICIONES
(+)(+)
+ + + + =
2.
+ + + + + ( + ) =
3.
+ + + + + ( + ) =
4.
+ + + + + ( + ) =
6.
+ + + + + ( + ) =
7.
+ + + + + ( + ) =
Luego, + + + + =
Dato
+ + + + + ( + ) =
RAZONES
1.
5.
(+)(+) (+)
(+)(+)
+ ( + )
(+)(+)+(+)
(+)[(+)+(+)]
(+)[ +++]
(+)[ ++]
(+)(+)(+)
(+)(+)
Trminos semejantes
Trinomio de la forma + + =
BIBLIOGRAFA:
Bastidas, P. (2015). Folleto de Relacin de implicacin . Quito-Ecuador.
I. S. SOMINSKI. Mtodo de induccin matemtica. Editorial MIR. Mosc
WEB GRAFA:
Induccin matemtica. Recuperado de:
http://www.eneayudas.cl/induccionmatematica/induccionmatematica.htm#0 el 2016-06-23
Ejercicios de induccin matemtica. Recuperado de:
http://aprendeenlinea.udea.edu.co/boa/contenidos.php/742bf9672a16b54da7b4d72c3f7e16c5/296/1/contenido/c
ap1/1-7.htm el 2016-06-23