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

12 = 3 x 4

2 + 4 + 6 + 8 = 20

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

+
Z

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

+
Z .

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:

P ( n ) : 4+ 8+12+ 16++ 4 n=2 n ( n+1 ) ,

demostrar por induccin matemtica.

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

1. La propiedad se cumple para

n=1.

n=1

4=2(1)(1+1)

4=2 ( 2 )
4=4
Si se cumple para

n=1

2. Se supone que la propiedad es vlida para

n=k

En la formula inicial se reemplaza los n por k

n=k

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

3. Se supone que la propiedad es vlida para

n=k +1

En la formula inicial se reemplaza los n por k

n=k +1
n=k +1

4 +8+12+16+ +4 k +4 (k + 1)=2(k +1)[( k +1 ) +1]

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

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

Hiptesis => Tesis

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

PROPOSICIONES
RAZONES
1.

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

2.

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

3.

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

Factor comn en 2

4.

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

Factor comn en 3

Luego,

Axioma aditivo (=)

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

de 4.

Ejemplo 2:
Sea

1
P ( n ) :1.2+2.3+ +n(n+1)= n(n+1)(n+2) , demostrar por induccin matemtica.
3

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

1. La propiedad se cumple para

n=1.
1
1.2= .1(1+1)(1+2)
3

n=1
1
2= (2)(3)
3

1
2= ( 2 ) ( 3 )
3
2=

6
3

2=2
Si se cumple para

n=1

2. Se supone que la propiedad es vlida para

n=k

En la formula inicial se reemplaza los n por k

1
1.2+2.3++ k (k +1)= k (k +1)(k + 2)
3

n=k

3. Se supone que la propiedad es vlida para

n=k +1

En la formula inicial se reemplaza los n por k

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

n=k +1

1
1.2+2.3++ k ( k +1 ) +( k +1)(k +1+1)= (k + 1)((k +1)+1)
3
1
1.2+2.3++ k ( k +1 ) +( k +1)( k +2)= (k +1)(k +2)(k +3)
3

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

Hiptesis => Tesis

1
1
1.2+2.3++ k (k +1)= k (k +1)(k + 2)=1.2+2.3+ +k ( k +1 ) +(k +1)(k +2)= (k +1)(k +2)(k + 3)
3
3
PROPOSICIONES
RAZONES
1.

1
1.2+2.3++ k (k +1)= k (k +1)(k + 2) Dato
3

2.

1.2+2.3++ k ( k +1 ) + ( k +1 ) ( k +2 )=

k ( k + 1 )( k + 2 )
+ ( k + 1 )( k + 2 )
3

3.

1.2+2.3++ k ( k +1 ) + ( k +1 ) ( k +2 )=

k ( k + 1 )( k + 2 )+ 3 ( k +1 )( k +2 )
3

Axioma aditivo (=)

Suma de fracciones

4.

1.2+2.3++ k ( k +1 ) + ( k +1 ) ( k +2 )=

( k + 1 )( k + 2 ) (k +3)
3

Luego, 1.2+2.3++ n(n+1)= 3 n(n+1)(n+2),

Factor comn en 3

se cumple para cualquier n entero

positivo.
Ejemplo 3:

P ( n ) :1+3+5+ + ( 2 n1 ) =n2 , demostrar por induccin matemtica.

Sea

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

1. La propiedad se cumple para

n=1.
2

n=1

1=1
1=1

Si se cumple para

n=1

2. Se supone que la propiedad es vlida para

n=k

En la formula inicial se reemplaza los n por k

1+3+5++(2 k1)=k 2

n=k

3. Se supone que la propiedad es vlida para

n=k +1

En la formula inicial se reemplaza los n por k

n=k +1

k +1

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

n=k +1

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

k +1

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

Hiptesis => Tesis
2

1+3+5++(2 k1)=k =

1+3+5++ ( 2k 1 ) + ( 2 k +1 )=k 2+ 2 k +1
PROPOSICIONES

RAZONES
2

1.

1+3+5++(2 k1)=k

2.

1+3+5++ ( 2k 1 ) + ( 2 k +1 )=k 2+(2 k +1) Axioma aditivo (=)

3.

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

4.

Dato

k +1

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

Luego, 1+3+5++(2 n1)=n ,

Supresin de signos

Trinomio cuadrado perfecto

se cumple para cualquier n entero positivo.

Ejemplo 4:

P ( n ) :12 +22 +32 ++ n2=

Sea

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

, demostrar por induccin matemtica.

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

1. La propiedad se cumple para

n=1.
2

n=1

1=

12=
2

1=

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

1 ( 2 ) (3)
6
6
6

1=1 ; Si se cumple para

2. Se supone que la propiedad es vlida para

n=1

n=k

En la formula inicial se reemplaza los n por k

12+22+3 2++k 2 =

n=k

3. Se supone que la propiedad es vlida para

k ( k +1 )( 2 k +1 )
6

n=k +1

En la formula inicial se reemplaza los n por k

n=k +1

k +1

12+ 22+3 2+ +k 2 +

k +1

2
2
2
1 + 2 +3 + +k 2 +

n=k +1

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

Hiptesis => Tesis

k+1

k ( k +1 )( 2 k +1 )
2
2
2
2
1 + 2 +3 + +k =
= 12 +22 +32 ++ k 2+
6
PROPOSICIONES
1.

1 + 2 +3 + +k =

k ( k +1 )( 2 k +1 )
Dato
6

RAZONES

2.

12+ 22+3 2+ +k 2 + ( k + 1 )2=

k ( k +1 )( 2 k +1 )
+ ( k +1 )2 Axioma aditivo (=)
6

3.

12+ 22+3 2+ +k 2 + ( k + 1 )2=

k ( k +1 )( 2 k +1 )+6 ( k +1 )2
6

Suma de fracciones

( k +1 ) [k ( 2 k+ 1 )+ 6 ( k +1 ) ]
6

Factor comn en 3

4.

1 + 2 +3 + +k + ( k + 1 ) =

5.

12+ 22+3 2+ +k 2 + ( k + 1 ) =

6.

1 + 2 +3 + +k + ( k + 1 ) =

7.

12+ 22+3 2+ +k 2 + ( k + 1 ) =

( k +1 ) [2k 2+ k +6 k +6 ]
6

Axioma distributivo

( k +1 ) [2k 2+7 k +6]

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

Trminos semejantes
Trinomio de la forma

mx + px+ q=0
2

Luego, 1 + 2 +3 + +n =

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

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/cap1/1-7.htm el 2016-06-23