PRINCIPIO DE INDUCCIN MATEMTICA

La induccin matemtica es un mtodo de demostracin que se utiliza cuando se trata de

establecer la veracidad de una lista infinita de proposiciones. El mtodo es bastante
natural para usarse en una variedad de situaciones en la ciencia de la computacin.
Algunas aplicaciones tienen un sabor muy matemtico, tal como verificar que todo entero
positivo satisface cierta frmula. Otra utilizacin frecuente es la de demostrar que un
programa de computacin o que un algoritmo con ciclos funciona como se espera.

Principio de induccin matemtica

Consideremos una lista de proposiciones p(1), p(2), p(3), ... con ndices en los enteros
positivos +. Todas las proposiciones p(n) son verdaderas a condicin que:

(B) p(1) sea verdadera.

(I) p(n + 1) es verdadera siempre que p(n) lo sea.

Nos referimos a (B), es decir al hecho de p(1) es verdadera, como la base de la

induccin y nos referimos a (I) como el paso inductivo. En la notacin del clculo
proposicional (I) equivale decir que:
+
La implicacin p(n) p(n + 1) es verdadera n .

Sea P una propiedad definida en los nmeros naturales (enteros positivos) .

Si 1 satisface esa propiedad y adems si a partir de cualquier natural n que
satisface esa propiedad se llega a que n + 1 , tambin la satisface, entonces cada
nmero natural la satisface.

Para probar que una propiedad P se cumple en los nmeros naturales, usando el
principio de induccin matemtica, se siguen los siguientes pasos:

1 ) Se comprueba para n = 1 ( Comprobacin ) .

2 ) Se asume que se cumple para n = k ( Hiptesis de induccin ) .

3 ) Se predice que se cumple para n = k + 1 ( Tesis ) .

4 ) Se demuestra que si se cumple para n = k , entonces se cumple

para n = k + 1 ( Demostracin ) .

Observacin: En algunos casos la propiedad se cumple a partir de un cierto

natural m > 1 . Dada esa situacin, en el primer paso se comprueba
para n = m .

Ejemplo 01:
Demostrar por induccin que:

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

Demostracin: Nuestra n-sima proposicin p(n) es:

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

y ntese que:
p(1) = 2 = 1(2), donde 2 = 2
p(2) = 2 + 4 = 2(3), donde 6 = 6
p(3) = 2 + 4 + 6 = 3(4), donde 12 = 12
p(4) = 2 + 4 + 6+ 8 = 4(5), donde 20 = 20
.
.
.

As p(1) asegura 2= 1( 1 + 1) y como es verdadera por inspeccin tal como lo establece

la base de la induccin matemtica.

Para el paso inductivo, supongamos que p(n) es verdadera para algn n, esto es

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

Es verdadera. Ahora queremos probar que para p(n + 1)

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

Es decir

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

Tal como lo establece el paso inductivo.

Como p(n) es verdadera por hiptesis, y trabajando con el lado izquierdo de la igualdad,
temos que:

2 + 4 + ... + 2(n) + (2n + 2) = [2 + 4 + ... + 2n] + (2n +2)

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

Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el primer principio de
+
induccin matemtica se concluye que p(n) es verdadera n .

Ejemplo 2:

Demuestre por induccin matemtica que:

2 + 6 + 10 + . . . . . + ( 4 n 2 ) = 2n2

a ) Sea n = 1 , entonces:
 4n 2 = 2

2n2 = 2 (Verdadero ) .

b ) Sea n = k , entonces:

2 + 6 + 10 + . . . . . + ( 4 k 2 ) = 2k2 ( Hiptesis de
induccin ) .

c ) Sea n = k + 1 , entonces:

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 ) =

2(k + 1)2 ( Tesis ) .

d ) Demostracin:

2 + 6 + 10 + . . . . . + ( 4 k 2 ) = 2 k 2 ( Por hiptesis de
induccin)

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 ) = 2
k2 + (4(k + 1) 2)

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 ) = 2
k2 + 4k + 2

Por lo tanto 2 + 6 + 10 + . . . + (4 k 2 ) + ( 4 ( k + 1) 2) =

2 (k + 1 ) 2

Ejemplo 3:

Determinar si el producto de 3 nmeros impares consecutivos es siempre divisible por

6.

Solucin: Sea p(n): (2n 1)(2n + 1)(2n + 3) = 6.

q donde q es algn nmero natural.

Queremos determinar si p(n) se cumple para todo n N. p(1) : 1 3 5 = 15 = 6q = q

= 5 2 / N.

Luego p(1) es falso. Se puede continuar analizando p(2), p(3), p(4), ... y vemos que
todos no cumplen la condicin que sea divisible por 6.

Es fcil ver que (2n 1)(2n + 1)(2n + 3) = 8n 3 + 12n 2 2n 3 = 2(4n 3 + 6n 2 n

1) 1 luego este nmero es de la forma 2j 1 que es un nmero impar y por lo tanto no
es divisible por 6.