UNIVERSIDAD CENTRAL DEL ECUADOR

CARRERA DE MATEMTICA Y FSICA

NOMBRE: Gmez P. Klber F.

CURSO: 4to semestre

DEBER: Desarrollo de la clase

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

Entonces se va a tener la expresin:

P(n): 2 + 4 + 6 + 8 + + 2n = n ( n + 1 )
Observacin: Si se tiene 2n su siguiente sumando va a ser 2(n+1) es decir 2n+2 y no como saben confundir los
estudiantes y piensan que es 2n +1 y es un error frecuente.
CONTEXTUALIZACIN
INDUCCIN MATEMTICA
El mtodo de induccin matemtica consiste en demostrar una serie de proposiciones a partir de un gran nmero de
casos que deben cumplir una secuencia y se usa a menudo para verificar proposiciones obtenidas en el mtodo
inductivo.
Considerando una lista de proposiciones P(1), P(2), P(3) con ndices enteros positivos + , tenemos que demostrar que
todas estas proposiciones que las notaremos con P(n) son verdaderas, usndose el mtodo de induccin matemtica con
las siguientes condiciones:
1.
2.
3.
4.

Que la propiedad P(n) es verdadera para n = 1.

Se supone que la propiedad P(n) es verdadera para n = k.
Se supone que la propiedad P(n) es verdadera para n = k + 1.
Se demuestra que n = K => n = k + 1.

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)

3. Se supone que la propiedad es vlida para = + 1

En la formula inicial se reemplaza los n por k
=+
4 + 8 + 12 + 16 + + 4 + 4( + 1) = 2( + 1)[( + 1) + 1]
=+

4 + 8 + 12 + 16 + + 4 + 4( + 1) = 2( + 1)( + 2)

Se demuestra que H => T, n = K => n = k + 1, utilizando el mtodo directo.

Hiptesis => Tesis
+ + + + + = ( + ) => + + + + + + ( + ) = ( + )( + )

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

Luego, 4 + 8 + 12 + 16 + + 4 = 2( + 1), se cumple para cualquier entero positivo mltiplo de 4.

Ejemplo 2:

Sea (): . + . + + ( + ) = ( + )( + ), demostrar por induccin matemtica.

Utilizando el mtodo de induccin matemtica se tiene los siguientes pasos:
1. La propiedad se cumple para = 1.
=

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
=

. + . + + ( + ) = ( + )( + )

3. Se supone que la propiedad es vlida para = + 1

En la formula inicial se reemplaza los n por k

= +;

. + . + + ( + ) + ( + )( + + ) = ( + )(( + ) + )(( + ) +

=+

. + . + + ( + ) + ( + )( + ) = ( + )( + )( + )

Se demuestra que H => T, n = K => n = k + 1, utilizando el mtodo directo.

Hiptesis => Tesis
. + . + + ( + ) =

( + )( + ) => . + . + + ( + ) + ( + )( + ) = ( + )( + )( + )

PROPOSICIONES
1.

RAZONES

Dato

. + . + + ( + ) = ( + )( + )

2.

. + . + + ( + ) + ( + )( + ) =

3.

. + . + + ( + ) + ( + )( + ) =

4.

. + . + + ( + ) + ( + )( + ) =

(+)(+)

+ ( + )( + )

(+)(+)+(+)(+)

(+)(+)(+)

Axioma aditivo (=)

Suma de fracciones
Factor comn en 3

Luego,. + . + + ( + ) = ( + )( + ), se cumple para cualquier n entero positivo.

Ejemplo 3:
Sea (): + + + + ( ) = , demostrar por induccin matemtica.
Utilizando el mtodo de induccin matemtica se tiene los siguientes pasos:
1. La propiedad se cumple para = .
=

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
=

+ + + + ( ) =

3. Se supone que la propiedad es vlida para = +

En la formula inicial se reemplaza los n por k
=+;

=+

+ + + + ( ) + (( + ) ) = ( + )
+ + + + ( ) + ( + ) = ( + )

Se demuestra que H => T, n = K => n = k + 1, utilizando el mtodo directo.

Hiptesis => Tesis

+ + + + ( ) = => + + + + ( ) + ( + ) = + +
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 (): + + + + =

(+)(+)

, demostrar por induccin matemtica.

Utilizando el mtodo de induccin matemtica se tiene los siguientes pasos:

1. La propiedad se cumple para = .
(+)(()+)

()()

=
=

= ; Si se cumple para =
2. Se supone que la propiedad es vlida para =
En la formula inicial se reemplaza los n por k
=

+ + + + =

(+)(+)

3. Se supone que la propiedad es vlida para = +

En la formula inicial se reemplaza los n por k
=+;

+ + + + + ( + ) =

(+)[(+)+] [(+)+]

=+

+ + + + + ( + ) =

(+)(+) (+)

Se demuestra que H => T, n = K => n = k + 1, utilizando el mtodo directo.

Hiptesis => Tesis
+ + + + =

(+)(+)

=> + + + + + ( + ) =

PROPOSICIONES
(+)(+)

+ + + + =

2.

+ + + + + ( + ) =

3.

+ + + + + ( + ) =

4.

+ + + + + ( + ) =

6.

+ + + + + ( + ) =

7.

+ + + + + ( + ) =

Luego, + + + + =

Dato

+ + + + + ( + ) =

RAZONES

1.

5.

(+)(+) (+)

(+)(+)

+ ( + )

(+)(+)+(+)

(+)[(+)+(+)]

(+)[ +++]

(+)[ ++]

(+)(+)(+)

(+)(+)

Axioma aditivo (=)

Suma de fracciones
Factor comn en 3
Axioma distributivo

Trminos semejantes
Trinomio de la forma + + =

, se cumple para cualquier n entero positivo.

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