GUA PRINCIPIO MATEMTICO

DE INDUCCIN COMPLETA

Alumnos:
Andrea Alisson Jaime Olivares
Oscar Eduardo Lavn Ardiles
Profesor:
Sergio Calvo U.

ndice

1.

ndice................................................................................................................2

2.

Introduccin.................................................................................................... 3

3.

Teorema de la Induccin matemtica y metodologa................................ 4

4.

Aplicacin del teorema de Induccin matemtica............................. 5 - 10

5.

Ejercicios resueltos.............................................................................. 11 - 22

6.

Ejercicios propuestos............................................................................23 - 25

Introduccin

Objetivo

El principio matemtico de induccin completa es un

procedimiento que sirve para demostrar un Teorema general, o una frmula, a
partir de casos particulares.
Tener en cuenta:
La suma de los nmeros impares sucesivos, comenzando
con el uno, es igual al cuadrado del nmero de enteros impares que se
suman.
Ejemplo:
1
1
1
1

=
+
+
+

1
3 = 2
3 + 5 = 3
3 + 5 + 7 = 4

4 nmeros impares
Del ejemplo anterior podemos desprender lo siguiente:
1 + 3 + 5 +.........+ (2n 1) = n
Siendo n = Entero Positivo.
Atencin

:
En el ejemplo anterior quizs solo se podr comprobar con
algunos trminos, por lo que, otros quedarn fuera de esta proposicin.
NO! Cualquier ejemplo nos demuestra la propuesta general, y menos
debemos considerar que cualquier nmero de tales ejemplos constituya una
prueba de que la frmula es cierta en todos los casos; es necesario,
entonces, disponer de un procedimiento lgico que pueda usarse para

establecer la validez de una frmula propuesta. El procedimiento usado para

este propsito esta basado en el:
TEOREMA DE LA INDUCCIN MATEMTICA.
TEOREMA DE LA INDUCCIN MATEMTICA

Siendo P(n) una proposicin asociada con un nmero natural n. Si

P(1) es cierta, y P(k)
P(k+1), para un nmero natural arbitrario k,
entonces P(n) es cierta para toda n.
Se ha hecho ver explcitamente que P(1) es cierta, entonces, tomando
k=1, vemos que la implicacin general P(k)
P(k+1) garantiza la
validez de P(2). A su vez P(2)
P(3), P(3)
P(4), y as
sucesivamente, de modo que se concreta una interminable cadena de
implicaciones.

METODOLOGA

1. Reemplazamos n = 1, de manera que donde est la letra n

reemplazarla por el nmero 1. Luego debemos resolver el ejercicio para
probar que la frmula es verdadera.
2. Reemplazamos n = k, de manera que la proposicin quede con
la letra k donde estaba n.
3. Volvemos a reemplazar, pero ahora donde estaba n colocamos
k+1; entonces n = k+1. Luego resolvemos la operacin con k+1
dejndola lo ms reducida posible.

4. Tomamos el ltimo trmino de P(k+1) y se lo sumamos a P(k),

resolviendo luego la operacin y posteriormente determinando si
hemos llegado al resultado de P(k+1).
APLICACIN DEL TEOREMA DE INDUCCIN MATEMTICA

La aplicacin de este teorema se puede realizar en varios tipos de

ejercicios y que pueden ser:
A) La proposicin P(n) asociada con el entero n en una igualdad,
por ejemplo:
1 + 3 + 5 +................+ (2n - 1) = n.
1.

Probamos P(1):
(2*1 - 1) = 1
1
= 1

2.

Reemplazamos n = k:

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

Reemplazamos n = k+1:

1 + 3 + 5 +................+ [2(k+1) - 1] = (k+1)

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

Llevamos el ltimo trmino de P(k+1) y lo sumamos a P(k):

1 + 3 + 5 +................+ (2k - 1) = k / + (2k + 1)

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

Podemos determinar entonces que la frmula es cierta y que se

verifica para todos los valores de n, entero y positivo.

B) La induccin matemtica es til de muchas maneras relacionadas

con proposiciones que no involucran igualdades, por ejemplo:
Demostrar que A2n - B2n es divisible por A + B, siendo n un
nmero cualquiera entero y positivo.

1. El teorema se cumple para n = 1, ya que A2 - B2 = (A + B)(A - B)

2. Supongamos que es cierto para n = k, entonces
A2k - B2k es divisible por A + B
3. Reemplazamos k+1 en n de manera que n = k+1:
A2( k + 1) - B2( k + 1) es divisible por A + B
A2 k + 2 - B2 k + 2 es divisible por A + B
A2 k + 2 - B2 k + 2 = A2(A2k B2k) + B2k(A2 - B2)
Se deduce que A2k+2 - B2k+2 es divisible por A + B si lo es A2k - B2k.

C)

Demostrar la frmula del binomio

(A+X)n = An +NAn-1X+N(N - 1)An-2X2 +.....+N(N1)...(NR+2)An-r+1 Xr-1 +......+Xn

2!

(R-1)!

1. La frmula se verifica para n = 1

(A+X)1 = A + X

2.

Reemplazamos k sobre n, de manera que n = k

(A+X)k = Ak +KAk-1X+K(K - 1)Ak-2X2 +.....+K(K1)...(KR+2)Ak-r+1 Xr-1 +......+Xk

2!

(R-1)!

Multiplicando ambos miembros por a + x, reemplazando n por k+1,

el segundo miembro se hace igual a:
Ak +1+KAkX+K(K - 1)Ak-1X2 +.....+K(K1)...(KR+2)Ak-r+2 Xr-1 +......+AXk

2!

(R-1)!

+AkX +KAk-1X2+.......+K(K-1).....(K-R+3) Ak-r+2 Xr-1 +......+Xk+1

(R-2)!
ya que K(K-1)......(K-R+2) Ak-r+2 Xr-1 + K(K-1).......(K-R+3) Ak-r+2 Xr-1
(R-1)!
(R-2)!
= K(K-1)....(K-R+3) Ak-r+2 Xr-1 { K-R+2 + 1} = (K+1)K(K-1).....(K-R+3) Ak-r+2 Xr-1

(R-2)!

R-1

(R-1)!

luego...
(A+X)k+1 = Ak+1 +(K+1)Ak X +..........+(K+1)K(K-1).....(K-R+3) Ak-r+2 Xr-1 +.........+Xk+1

(R-1)!
que es la frmula del binomio cuando se sustituye n por k+1.

Por tanto si la frmula es cierta para n = k, tambin se verifica para

n = k+1. Como la frmula se verifica para n = 1, tambin se
verificar para n = 1+1 = 2 y as sucesivamente.

D) El principio matemtico de induccin tambin se puede aplicar en

, debido a que es un mtodo que sirve para demostrar la validez de
diversos tipos de proposiciones, igualdades y frmulas expresadas en
trminos de una variable que toma valores naturales.
Ejemplo:
supongamos que deseamos probar la igualdad siguiente:
n

(2k 1) = n2

k=1

suma de los primeros n trminos impares

n

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

k=1
1

n = 1

(2*1 1) = 1 ^ 12 =1

k=1
2

n = 2

(2k 1)

= 1 + 3 = 4 ^ 22 = 4

(2k 1)

= 1 + 3 + 5 = 9 ^ 32 = 9

k=1
3

n = 3

k=1

En la expresin anterior podemos ir tomando y verificando con todos

los valores de k, que la igualdad se cumple, pero esto no es una
demostracin vlida. Para demostrar la validez de lo anterior,
ocuparemos el principio de induccin matemtica, que establece lo
siguiente:

Si una proposicin q, expresada en trminos de una variable k,

cumple los siguientes pasos:
1. es verdadera para k = 1
2. es verdadera para k = p
3. deber ser verdadera o vlida para k = p + 1.
Si la proposicin q cumple estos tres pasos, entonces siempre ser
vlida.
Demostrar que:
n

(2k 1) = n2

k=1

Demostracin:
1.- se demuestra para k=1
1

K=1

(2k 1) = 1 ^ 12

k=1

2.- suponemos que se cumple esta igualdad para k=p

p

K=P

(2p 1) = p2

k=1
p+1

3. deber cumplirse

k=1

Aplicacin

(2k 1) = p2

[2 (p + 1) 1] = (p + 1)2

k=1
1

+...................+ (2k 1)

/ + [2 (p + 1) 1]

= p2

1 + 3 + 5 +.........+ (2k 1) + [2 (p + 1) 1] = p2 + [2 (p + 1) 1]

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

(2 p +1) = p2 + (2 p + 1)

p+1

[2 (p + 1) 1]

(p + 1)2

k=1

E)
Otro tipo de aplicacin del mtodo de induccin es en la
siguiente funcin:
Sea f: |N
|N definida por f (1) = 2 ; f (n+1) = f (n) + 3:
examinando algunos de sus valores, conjeture una frmula para f en
trminos de n solamente.
Sea f: : |N

|N definida por f (1) = 2 ; f (n+1) = f (n) + 3:

F (1) = 2
F (2) = f (1 + 1) = f (1) + 3 = 2 + 3 = 5
F (3) = f (2 + 1) = f (2) + 3 = 5 + 3 = 8

es una P. A.
con d = 3

F (4) = f (3 + 1) = f (3) + 3 = 8 + 3 = 11
F (5) = f (4+ 1) = f (4) + 3

= 11 + 3 = 14

F (n) = 2 + (n 1) * 3 = 3n - 3 + 2 = 3n - 1
F (k) = 3k - 1
F (k+1) = 3 (k + 1) - 1 = 3k + 2

10

frmula.

F (k) + 3
3k - 1

= 3k + 2

EJERCICIOS RESUELTOS

1. Demuestre por el mtodo de Induccin Matemtica, cada una de las siguientes

proposiciones:
a.-

3 + 6 + 9 +........ + 3n

P(1):

3*1
3
3

3 n (n + 1)
2
= 3 * 1 (1+1)
2
= 3* (2)
2
= 3

Entonces, p(1) es Verdadero.

P(k):

3 + 6 +

P(k+1):

3 + 6

+ 9

+............+ 3(k+1)

+ 6

+ 9

+............+ 3(k+1)

+ 6

+6

+ 9

P(k):

+............+

+.........+

3k

= 3k (k + 1) /+ 3(k+1)
2
+........+3K + 3 (k+1) = 3k (k + 1) +3(k+1)
2
= 3k + 3k + 3k +3
2
2
= 3k +9k +3
2
2
2
= 3 ( k +3k+2)

11

3k

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

2
= 3 (k+1)(k+2)
2
Entonces, es Verdadero, debido a que se lleg al ltimo resultado de
p(k+1).
b.-

+..........+

P(1):

(2n

- 1)

(2*1

= 1n (2n -1) (2n +1)

3

- 1)

(2 - 1)

= 1 *1 (2*1 -1) (2*1 +1)

3
= 1 (2 -1) (2 +1)
3

(1)

= 1 (1) (3)
3

P(1) es Verdadero.
P(k):

1 + 3 +..........+ (2k

- 1)

= 1 k (2k -1) (2k +1)

3
P(k+1): 1 + 3 +..........+ (2 (k+1) - 1) = 1 (k+1)(2(k+1)-1) (2(k +1)+1)
3
1 + 3 +..........+ (2 (k+1) - 1) = (1k+1) (2k+2-1) (2k +2+1)
3 3
1 + 3 +..........+ (2 (k+1) - 1) = (1k+1) (2k+1) (2k+3)
3 3
1 + 3 +..........+ (2 k+2 - 1)

12

= (1k+1) ( 4k2 +6k+2k+3)

3 3

P(k):

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

= 1 (k+1) ( 4k2 +8k+3)

3

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

= 1 [ 4k3 +12k2+11k+3 ]
3

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

= 4 k3 + 4k2 +11k +1
3
3

1 + 3 +..........+ (2k

= 1 k (2k -1) (2k +1) /+(2k+1)2

3

- 1)

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

3
= k (4k2-1) + 4k2 +4k +1
3
= 4 k3 - k + 4k2 + 4k + 1
3
3
= 4 k3 + 4k2 +11k +1
3
3
c.-

13

33 + ........... + ( 2n - 1)3 =

[( 2 * 1) - 1]3 = 12 [(2 * 12 )- 1]

P(1):

( 2 - 1)3

P(k):

n2 (2n2 - 1)

13 + 33 + ........ +

= 1[ (2 * 1) - 1]

( 1)3

1 (2 - 1)

( 2k - 1)3 =

13

k2 (2k2 - 1)

P(k+1): 13 + 33 + ... + ( 2 (k +1) - 1)3 = (k + 1 )2 (2 ( k +1 )2 - 1)

P(k+1): 13 + 33 + ... + ( 2 (k +1) - 1)3 = (k2 + 2k + 1 ) (2 ( k2 +2k + 1 ) - 1)
P(k+1): 13 + 33 + ... + ( 2 (k +1) - 1)3 = (k2 + 2k + 1 ) ( 2k2 +4k + 2 - 1 )
P(k+1): 13 + 33 + ... + ( 2 (k +1) - 1)3 = 2k4+ 8k3 + 11k2 + 6 k + 1
P(k):

13

33 + ....... +

( 2k - 1)3

= k2 (2k2 - 1) / + ( 2k + 1 )3
= k2 (2k2 - 1) + ( 2k + 1 )3
= 2k 4- k 2 +8k3 +12k2+6k +1
= 2k4 + 8k3 +11k2 + 6k +1

d.-

13 + 23 + 33

+ .......... + n 3

= 1 n2 ( n + 1 ) 2
4

1 3 = 1 * 12 ( 1 + 1 ) 2
4

P(1):

= 1 ( 2 )2
4

1 = 1 * 4
4
1
P(k): 13 + 23

+ 33 + .............. + k3

= 1 k2 ( k + 1 ) 2 Hiptesis
4

13 +23 + 33 + ..... + k3 + ( k + 1 ) 3 = 1 (k + 1 )2 ( k + 1 )2
4
Hiptesis

14

1 k2 (k + 1 )2 + ( k + 1 )3 =
4
( k +1 )2 [ 1 k2 + k + 1 ] =
( k + 1 )2 [ k2 + 4k + 4 ]
4

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

1 ( k + 1 )2
4

( k + 2 )2

e.-

3 2n

P(n):

3 2n

P(1):

3 2* 1 -

32

P(1): Es Verdadero.
P(2):

3 2* 2

34

15

80

P(2) es Verdadero.

3 2k

P(k):

P(k + 1):

3 2 ( k + 1)

3 2k * 3 2

3 2k * 3 2

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

Hiptesis
-9

+ 1
-8

=
=

S es solucin, debido a que se cumple que el resultado final es mltiplo de

8...ESTE ES OTRO MODELO DE INDUCCIN MATEMTICA.

f.-

( 1 + 1 )2 * ( 1 + 1 )3 * ( 1 + 1 )4 * ... * ( 1 + 1 ) n+1 = ( n + 1 )n+1

1
2
3
n
n!
= ( 1 + 1 )1+1
1!

P(1):
( 1 + 1 )2
1

= ( 2 )2
1!

16

(2)2

P(k): (1 + 1 )2 * ( 1 + 1 )3 * ( 1 + 1 )4 * ... * ( 1 + 1 ) k+1 =

1
2
3
k

( k + 1 )k+1
k!

P(k+1): (1+1 )2 *( 1+1 )3* ( 1 + 1 )4 *......*( 1 + 1 )k+1+1 =

1
2
3
k+1

(k +1+1)k+1+1
(k+1)!

(1+1 )2 *( 1+1 )3* ( 1 + 1 )4 *......*( 1 + 1 )k+2 =

1
2
3
k+1

(k +2) k+ 2
(k+1)!

(1+1)2 *(1+1 )3* (1+1 )4 *..... * (1 (k +1)+1) k + 2 =

1
2
3
k +1

(k+ 2) k+ 2
(k + 1)!

(1+1)2 *(1+1 )3* (1+1 )4 *............*

1
2
3

k+2
(k +1)!

k+ 2
k +1

k+ 2

P(k): (1+1 )2 * (1+1 )3 * (1+1 )4 *...*(1+1) k+1 =

1
2
3
k

k+1
k!

k+1
k!

=
=

17

k+1
k!

k+ 1

k+ 1

)2

( 2
1

/*

k+ 1

k+2
k +1

* k+2
k +1

* k+2
k+1

k+ 1

k+ 2

k+ 2

k+ 2

* k+2
k +1

(k+1)k+1 * (k+2)k+1 * (k+2)

(k!)k+1
(k+1)k+1
(k+1)

(k+2)k+2
((k+1)!)k+2

k+2
(k+1)!

g.-

6n -

5n

P(1):

61

5*1 +

+
5

P(k):

6k -

P(k+1):

6 k+1 - 5(k+1) +

6 k+1 - 5k - 5 +

5
5

5k

6k+1

- 5k

-1

6k+1

- 5k

-1

- 25k

6k+1

-30k

+24

+25

6 (6k - 5k +4)
Hiptesis

h.-

5n -

4n

16

P(1):

51 -

4*1

16

18

k +2

P(k):

16

16

16

16

5k+1 - 4k - 4 - 1

16

5k+1 - 4k

16

5k+1 - 4k

= / -16k

5k+1 - 20k

5k -

4k

P(k+1): 5k+1 - 4(k+1) -

(5k

4k

1)

Hiptesis

i.-

0,3

1( 1 - 1 )
3
10n

1( 1 - 1 )
3
10n

0,3 + 0,03 + 0,003 +... ........... =

1( 1 - 1 )
3
10n

3 + 3 + 3 +......+ 3 =
10
100 1000
10n

1( 1 - 1 )
3
10n

0,3333333

P(1):

3
10

3 + 3 +......+ 3 =
100 1000
10 1

19

1( 1 - 1 )
3
101

3
10

3 + 3 +......+ 3 =
100
1000
10

3 + 3 + 3 +......+ 3 =
10
100 1000
10
P(k):

3 + 3 + 3 +......+ 3
10
100 1000
10k

1( 9 )
3 10
3
10

1( 1 - 1 )
3
10k

P(k +1): 3 + 3 + 3 +......+ 3 + 3 =

10 100 1000
10k 10k+1

1( 1 - 1 )
3
10k+1

1 (1 - 1 ) + 3
3
10k
10k+1

1 (1- 1 )+ 3
3
10k
10k * 10

1
3

- 1 * 1 + 3 *1
3 10k
10 * 10k

1 - 1 * 1 - 3* 1
3
3 10k 10 10k
1 - 1
1 - 3
k
3
10
3 10
1
3

- 1
10k

10 - 9
30

=
=

1
3

- 1 *
1
k
10
3 * 10

1
3

- 1 *
10k

1 * 1
3
10

20

1
3

1
k

10 * 10

1
3

( 1 3n

j.-

1 )
10k+1

divisible por 2

+
+
+

5
5
5

= 3 +5= 8 /: 2 = 4
= 9 + 5 = 14 / : 2 = 7
=
2q

3p

2q

3 ( 3p

5)

6q

3 p+1

15

6q

3 p+1

6q - 10

3 p+1

2 ( 3q 5 )
2

3 p+1

3q 5

31
32
3p

k=1
k =2
k =p

3p+1 + 5 = 2q

k=p+1

/*3

//

k.-

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

k=1

3
1

Si k=1

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

k=1

= 2.
p

Si k=p

k (k + 1) = p (p + 1) (p + 2)

k=1

21

p+1

Si k=p+1

= (p + 1) (p + 2) (p + 3)

k=1

2 + 6 +1 +........ +p (p + 1)(p + 1)(p + 2) = p (p + 1) (p + 2) + (p + 1)(p + 2)

3
p+1

k (k + 1)

(p + 1) (p + 2) (p + 3)
3

k=1

22

EJERCICIOS PROPUESTOS
Para lograr una mejor ejercitacin del mtodo matemtico de
induccin completa, hemos propuesto algunos ejercicios que se encuentran
con el resultado general al que se llega resolviendo el P(k+1).
Ejercicios:
1. 1 + 3 + 32 +............................+ 3n-1
Comprobacin:
2. A + AR + AR2 +.................+ ARn-1
Comprobacin:
3.

1
+ 1
1*2
2*3
Comprobacin:

4.

1
+ ......... +
3*4

N(N+1)

1 + 3 + 52 + ...............+ (2n - 1)2

1
+
1
2*3*4
3*4*5

= A (Rn R = A (Rk+1
R -

Comprobacin:

5.

= 3n - 1
2
k+1
= 3
- 1
2

1) , R = 1
1
- 1)
1

N
N+1
K+1
K+2

N (N + 1)
2

= (K + 1) (K + 2)
2

+............. +
1
= N (N+5)
(N+1)(N+2)(N+3) 12(N+2)(N+3)

Comprobacin:

= (K+1) (K+6)
12(K+3)(K+4)

23

32n

6.

7
32p+2

Comprobacin:
7.

0,27

es divisible por 8
+

= 9q

3 (1
11

1)
102n

3
11

1
102k+2

Comprobacin:

8.

Determine a, b, c tales que:

1 + 4 + 7 +........... + (3N - 2) = AN2 +BN+C

Comprobacin:
9.

1 + 2

a = 3,
2

b = - 1,
2

+ 3 +........... + N

Comprobacin:
10.

c =

N (N + 1)
2

= (K + 1) (K +2)
2

1*3 + 2*4 + 3*5 +....... + N (N + 2) = N (N + 1) (2N + 7)

6

Comprobacin:

= (K+1)(K+2)(2K+3)
6
23 + 43 + 63 +........ +(2k)3 = 2n2 (n + 1)2

11.
Demostrar

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

k=1

24

2 (p + 1)2 (p + 2)2

Comprobacin:
12.

= (k + 1) (k + 4) = n (n + 4) (n + 5)
k=1
3
Comprobacin:

p (p+5)( p + 6)
3

25

Bibliografa.
1.

Teora y problemas de algebra superior, Schaum; edicin

1978 Murray R. Spiegel, Editorial Mc. Graw Hill.

2.

Algebra superior, Schaum; edicin 1990 Murray R. Spiegel

Editorial Mc. Graw Hill.

3.

Matemticas universitarias,
de Valparaso.

4.

Gua de apuntes laboratorio n 8.

5.

Pruebas aos anteriores Universidad de Valparaso.

6.

Apuntes curso 1 A/B ao 1998.

26

tomo 1,

Universidad

Catlica

27

28