Induccin matemtica

Introduccin
En los teoremas pueden distinguirse dos diferentes mtodos de prueba, el llamado
directo y el indirecto. En el mtodo directo de prueba, procedemos de la hiptesis a
la conclusin a travs de una serie de deducciones cada una de las cuales esta justificada
por algn axioma o por algn teorema previamente probado. En las pruebas indirectas,
comenzamos por suponer que la conclucion no es cierta a continuacin, a travs de una
serie de deducciones, obtenemos una proposicin que contradice la hiptesis del
teorema. Luego, bajo la hiptesis, la conclusin del teorema no puede ser falsa y debe,
por tanto, ser cierta.
Si el teorema es una proposicin que ha de verificarse para todos los nmeros enteros
positivos entonces es a menudo posible construir una prueba basada sobre un principio
llamado de induccin matemtica.

Principio de Induccin Matemtica

Suponemos que los enteros positivos poseen la siguiente propiedad, llamada principio
del buen orden.
Todo conjunto no nulo de enteros positivos posee un elemento mnimo
Por ejemplo, el entero mnimo en el conjunto de todos los enteros positivos pares es 2 y
el entero mnimo en el conjunto de todos los enteros positivos impares es 1.

Usando el principio del buen orden, podemos probar:

Teorema: (Principio de induccin)

Cualquier conjunto S de enteros positivos que
1. contiene a 1 y
2. contiene a m+1 siempre que contiene a m
es el conjunto de todos los enteros positivos.

Prueba
Sea NS el conjunto de todos los enteros positivos que no estn en S.
Se desea mostrar que NS es el conjunto nulo.
Suponga que NS no es nulo, entonces por el principio del buen orden NS tiene un
elemento mnimo; llammosle b. Como 1 S; b 1.
Luego b -1 es un entero positivo. Pero b -1 < b (mnimo de NS), entonces b -1 S.
Pero entonces, (b-1)+1 S, es decir

b S, lo cual es absurdo pues

b NS. Este

resultado se debe a la suposicin que NS es no nulo. Por consiguiente NS es nulo; es

decir, S es el conjunto de todos los enteros positivos.

Ejemplo 1
Pruebe que si 0 < x < 1 y n es un entero positivo cualquiera, 0 < x n < 1 .
Prueba
Sea S el conjunto de todos los enteros positivos n tales que 0 < x n < 1
Por el Principio de induccin:
1)

Para n =1 S se tiene 0 < x < 1 , lo cual es cierto por hiptesis.

2)

Supongamos que para un n = m cualesquiera se cumple: 0 < x m < 1

3)

Probamos que se cumple tambin para el entero siguiente, para n = m + 1

0 < x m +1 = x m x < 1.1 = 1 , entonces 0 < x m +1 < 1

Ejemplo 2
Pruebe que para cualquier nmero real

p 1 y cualquier entero positivo n,

(1 + p ) n 1 + np

Prueba
Sea S el conjunto de todos los enteros positivos n para los cuales (1 + p ) n 1 + np
Por el Principio de induccin:
1)

Para n =1 S se cumple (1 + p )1 1 + 1. p = 1 + p

2)

Supongamos que para un n = m cualesquiera se cumple: (1 + p ) m 1 + mp

3)

Probamos que se cumple tambin para el entero siguiente, para n = m + 1

(1 + p) m +1 = (1 + p) m .(1 + p) (1 + mp ) (1 + p) por paso 2

= 1 + p + mp + mp 2 1 + (m + 1) p
Por tanto, podemos concluir que + se cumple (1 + p ) n 1 + np .

Principio de Induccin Matemtica

Ejemplo 3
1 3
(n + 2n) es un entero.
3

Demuestre que si n es un entero positivo cualquiera entonces

Demostracin
Sea S el conjunto de todos los enteros positivos n tales que

1 3
(n + 2n) es un entero.
3

Por el Principio de induccin:

1
(1 + 2) = 1
3

1)

1 S ya que

2)

Supongamos que para un n = m cualesquiera se cumple:

3)

Probamos que se cumple tambin para el entero siguiente, para n = m + 1 por

1 3
( n + 2n )
3

paso 2
1
1
(m + 1)3 + 2(m + 1) = ( m3 + 3m 2 + 3m + 1 + 2m + 2 )
3
3
1 3
m + 2m ) + m 2 + m + 1
(
3
Por tanto, podemos concluir que

1 3
( m + 2m ) + m2 + m + 1 es un entero.
3

Ejercicios
1. Si n es un entero positivo, muestre que

n(n + 1)
es un nmero entero.
2

n3 + 3n 2 + 2n
2. Si n es un entero positivo, muestre que
es un nmero entero.
3
3n3 + 3n 2 + n
3. Si n es un entero positivo, muestre que
es un nmero entero.
6
4. Si n es un entero positivo, muestre que

n 4 + 2n 3 + n 2
es un nmero entero.
4

5. Pruebe que para cualquier nmero real p 0 y cualquier entero positivo n;

(1 + p )

1 + np +

n(n 1) p 2
.
2

Sumas Finitas

Definicin: Si n es un entero positivo y a1 , a2 , ... an son nmeros, entonces

n

k =1

a
k =1

= a1 + a2 + ... + an

se lee la suma de ak desde k = 1 hasta k = n

( es la sigma mayscula, la letra griega correspondiente a S )

Ejemplo
La adicin de los primeros n enteros puede escribirse: 1 + 2 + ... + n =

k
k =1

Y la suma de los primeros n enteros: S n =

k =
k =1

n (n + 1)
2

La prueba de la validez de esta frmula puede realizarse usando la induccin

matemtica.

Propiedades de

a
k =1

Para cualquier entero positivo n se cumplen:

n

1.

ak =
k =1

a
k =1

n k +1

1 + 2 + 3 + ... + ( n 2 ) + ( n 1) + n = n + (n 1) + (n 2) + ... + 3 + 2 + 1
Cada miembro de la igualdad tienen los mismos trminos pero el orden en que
estn escritas es el inverso.
2.

k =1

k =1

cak = c ak ; donde c es una constante

En efecto: ca1 + ca2 + ca3 + ... + can = c ( a1 + a2 + a3 + ... + an )
n

3.

(a
k =1

+ bk ) =

a
k =1

b
k =1

En efecto: a1 + b1 + a2 + b2 + ... + an + bn = ( a1 + a2 + ... + an ) + ( b1 + b2 + ... + bn )

4.

=nc

; c es contante

k =1

c + c + c + ... + c = n c ( n sumandos)

En efecto:
n

(a

5.

k =1

ak 1 ) = an a0

Justificacin:
n

n 1

n 1

n 1

k =1

k =1

k =1

k =0

k =1

k =1

ak ak 1 = ak ak = an a0 + ak ak = an a0
Usando la propiedad 5. y considerando ak = k 2 y

a0 = 02 se tiene la frmula de la

suma de los n primeros nmeros enteros positivos.

( k ( k 1)
n

k =1

( 2k 1)

= n 2 02

= n2

k =1
n

k =1

k =1

2k 1 = n 2
n

2 k n = n 2
k =1

k =1

En forma anloga se obtiene:

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

1
2n3 + 3n 2 + n ) ; cuando ak = k 3 y a0 = 03
(
6

k =1

En efecto:

( k ( k 1)
n

k =1

= n3

( 3k
n

k =1

3k + 1) = n3

k =1

k =1

k =1

3k 2 3k + 1 = n3
n
n2 + n
3
3 k 2 3
+n = n
k =1
2
n

Despejando

k
k =1

se tiene:

k
k =1

1
2n3 + 3n 2 + n )
(
6

Bibliografa
HASSER, LASALLE, SULLIVAN; Anlisis matemtico, Cap.7. Pag.315. Editorial Trillas. Mexico, 1974.