Departamento de Matemticas

Gua Induccin Matemtica

Objetivos:
Entender el principio del buen orden
Realizar demostraciones matemticas por medio del principio de induccin
matemtica

El principio del buen orden: induccin matemtica

Dados dos enteros diferentes x, y, sabemos que x y o y x . Sin embargo, esto tambin
es cierto si, en vez de ser enteros, x y y son nmeros racionales o nmeros reales. Qu
hace especial a la Z en este caso? Supongamos que tratamos de expresar el subconjunto
z de Z , mediante los smbolos de desigualdad > y . Vemos que podemos definir el
conjunto de los elementos positivos de Z como

Z x Z | x 0 x Z | x 1.

No obstante, cuando intentamos hacer lo mismo con los nmeros racionales y reales vemos
que
Q x Q | x 0 y R x R | x 0,

Pero no podemos representar Q o R con como lo hicimos con Z

El conjunto Z es diferente de los conjuntos Q o R por el hecho de que todo

subconjunto no vaco X de Z contiene un entero tal que sea a X , para todo x X ;
es decir, X contiene un elemento menor (o mnimo). Esto no ocurre para Q o R . Estos
conjuntos en si mismos no contienen elementos mnimos: no existe un nmero racional
positivo ni un nmero real positivo mnimo. Si q es un nmero racional positivo, entonces,
como 0 q / 2 q , tendramos un nmero racional positivo ms pequeo q / 2 .
Estas observaciones dan lugar a la siguiente propiedad del conjunto Z z .

Este principio sirve para distinguir a Z de Q o R . Pero conduce a algo que sea
interesante o til desde el punto de vista matemtico? La respuesta es un rotundo SI es la
base de una tcnica de demostracin conocida como induccin matemtica. Esta tcnica
nos ayudara con frecuencia para demostrar una proposicin matemtica general relacionada
con los enteros positivos, cuando algunos casos de esa proposicin sugieran un patrn
general.
Ahora estableceremos la base de esta tcnica de induccin.

Teorema 1

Principio de induccin finita o principio de induccin matemtica. Sea S (n) una

proposicin matemtica abierta (o un conjunto de tales proposiciones abiertas), en la que
aparece una o varias veces la variable n, que representa a un entero positivo.

a) Si S (1) es verdadera: y
b) siempre que S (k ) sea verdadera (para algn k Z particular, pero elegido al azar),
entonces S (k 1) ser verdadera; entonces S (n) es verdadera para todo n Z .

Demostracin: Sea S (n) una proposicin abierta con las condiciones (a) y (b), y sea

F t Z | S (t ) es falsa . Queremos mostrar que F , as que para obtener una
contradiccin suponemos que F . Entonces, por el principio del buen orden, F tiene un
elemento mnimo s. como S (1) es verdadera, S 1 por lo que s > 1 y, en consecuencia,
s 1 z S ((s 1) 1) S (s) es verdadera, lo que contradice que s F . La contradiccin
surge de la hiptesis F . Por lo tanto. F .

Hemos utilizado el principio del buen orden en la demostracin del principio de induccin
matemtica. Tambin es cierto que el principio de induccin matemtica nos sirve para
demostrar el principio del buen orden sin embargo, no nos detendremos en este punto por
ahora. En esta seccin, nuestro principal objetivo es comprender y utilizar el principio de
induccin matemtica.

En el enunciado del teorema 1, la condicin de la parte (a) se conoce como la base de la

induccin, mientras que la parte (b) se conoce como el paso inductivo.

La eleccin de 1 en la primera condicin del teorema 1 no es obligatoria. Lo nico que se

necesita es que la proposicin abierta S (n) sea verdadera para un primer elemento n0 z
Para que el proceso de induccin tenga un lugar de inicio. No necesitamos que S (n0 ) sea
verdadera como base de la induccin. El entero n0 podra ser 5 o 1. Incluso podra ser 0 o
negativo, puesto que el conjunto z junto con {0} o cualquier conjunto finito de enteros
negativos sigue siendo bien ordenado. (Si hacemos una demostracin por induccin y
partimos de n0 , nos fijamos en el conjunto de todos los enteros negativos consecutivos
n0 , unido con 0 y z .)
En estas circunstancias, podemos expresar el principio de induccin finita, usando
cuantificadores, como
Podemos comprender mejor la razn de la validez de este mtodo de demostracin usando
nuestra intuicin, junto con la situacin que se presenta en la figura

En la parte (a) de la figura vemos las primeras cuatro fichas de una disposicin (ordenada)
finita de dichas de domino, cada una puesta de forma vertical. El espacio que hay entre dos
fichas consecutivas es siempre el mismo y es tal que si cualquier ficha (digamos, la k-
sima) se empuja hacia la derecha, entonces golpeara la siguiente (k 1) -esima. Este
proceso se representa en la figura x . (b). Nuestra intuicin nos hace pensar que este
proceso continuara: la (k 1) -esima ficha golpeara (a la derecha) la (k 2) -esima, etcera

La parte (c) de la figura indica que la verdad de S (n0 ) proporciona el empuje (a la derecha)
de la primera ficha (en n0 ). Esto proporciona la base de la induccin y pone en
movimiento el proceso S (k ) es verdadera, S (k 1) es verdadera, lo que nos proporciona el
paso inductivo y continua el proceso de cada de fichas. Entonces, podemos inferir el hecho
de que S (n) es verdadera para toda n n0 si imaginamos todas las fichas sucesivas
cayendo (hacia la derecha)

Ejemplo 1
Para cualquier n Z , i 1 i 1 2 3 n (n)(n 1) / 2
1

Demostracin: para n 1 , la proposicin abierta

n
S ( n) : i 1 2 3 n n(n 1) / 2.
i 1
Se convierte en S (1) : i 1 i (1)(1 1) / 2. As, S (1) es verdadera y tenemos nuestra base
1

para la induccin. Un punto de inicio para comenzar la induccin. Si suponemos que el

resultado es cierto para n k (para algn k z ), queremos establecer nuestro paso
inductivo mostrando que la verdad de S (k ) obliga a aceptar la verdad de S (k 1) . [La
hiptesis de la verdad de S (k ) es nuestra hiptesis de induccin.] Para establecer la verdad
de S (k 1) , necesitamos mostrar que

k 1
(k 1)(k 2)
i
i 1 2
.

Hacemos lo siguiente.

k 1
k k (k 1)

i 1
i 1 2 k ( k 1) i (k 1)
i 1 2
(k 1),

ya que estamos suponiendo la verdad de S (k ) . Pero

k (k 1) k (k 1) 2(k 1) (k 1)(k 2)
(k 1) ,
2 2 2 2

Lo que establece el paso inductivo [condicin (b)] del teorema.

En consecuencia, por el principio de induccin finita, S (n) es verdadera para todo n z

n
Ahora que hemos obtenido la formula para la suma i 1
i de dos formas nos desviaremos
un poco del tema principal y estudiaremos un ejemplo que usa esta formula de la suma.

Ejemplo 2

Una ruleta tiene nmeros del 1 al 36 pintados en ella de manera aleatoria. Mostraremos
que, independientemente de la posicin de los nmeros, hay tres nmeros consecutivos (en
la ruleta) que suman 55 o ms.
Sea x1 cualquier nmero de la ruleta. Contamos en direccin de las manecillas del reloj a
partir de x1 , y llamamos a los dems nmeros x2 , x3 ,..., x36 . para que el resultado sea falso,
debemos tener x1 x2 x3 55, x2 x3 x4 55,..., x34 x35 x36 55, x35 x36 x1 55 y
x36 x1 x2 55 . En estas 36 desigualdades, cada uno de los trminos x1 , x2 ,..., x36
aparece exactamente tres veces, por lo que cada uno de los enteros 1,2,,36 aparece tres
36
veces. Si sumamos las 36 desigualdades, tenemos que 3 i 36(55) 1980 pero
i i

36
i 1
i (36)(37) / 2 666 y esto nos da la contradiccin 1998 = 3(666)<1980
La siguiente formula para una suma nos lleva de la primera potencia a los cuadrados.

Ejemplo 3

Demuestre que para cualquier n z , i 1 i 2 (n)(n 1)(2n 1) / 6

n

Demostracin: Aqu trabajamos con la proposicin abierta

n
S (n) : i 2 (n)(n 1)(2n 1) / 6
i 1

Base de la induccin: comenzamos con la proposicin S (1) y vemos que

i
i 1
2
12 (1)(1 1)(2(1) / 6

Por lo que S (1) es verdadera.

Paso inductivo: supongamos ahora la verdad de S (k ) para un k z (particular), es decir,
supongamos que

i
i 1
2
(k 1)(2k 1) / 6,

Es una proposicin verdadera (al reemplazar n por k ). De esta hiptesis queremos deducir
la verdad de

k 1
S (k 1) : i 2 (k 1)((k 1) 1)(2(k 1) 1) / 6
i 1
= (k 1)(k 2)(2k 3) / 6

Si usamos la hiptesis de induccin S (k ) , vemos que

k 1 k

i
i 1
2
12 2 2 ... k 2 (k 1) 2 i 2 (k 1) 2
i 1

(k )(k 1)(2k 1) / 6 (k 1) 2

De esto tenemos

k 1

i 2
(k 1)(k )(2k 1) / 6 (k 1) (k 1) (2k 2 7k 6) / 6
i 1

= (k 1)(k 2)(2k 3) / 6,

y el resultado general se obtiene por induccin matemtica.

Antes de presentar ms resultados en los que utilizamos el principio de induccin

matemtica para establecer su validez, observamos el inicio de las demostraciones de los
ejemplos 1 y 3. En ambos casos, simplemente reemplazamos la variable n por 1,
obtenemos igualdades sencillas y verificamos si son verdaderas. Si consideramos que era
definitivamente ms complicado establecer el paso inductivo en el resto de estas
demostraciones, talvez nos preguntemos por que hay que preocuparse por la base de la
induccin. Por ello, vamos a analizar el siguiente ejemplo.

Ejemplo 4
Si n z , establezca la validez de la proposicin abierta

n
S (n) : i 1 2 3... k (n 2 n 2) / 2
i 1

Esta vez vamos directamente al paso inductivo. Si suponemos la verdad de la preposicin

k
S (k ) : i 1 2 3 ... k (k 2 k 2) / 2.
i 1

Para algn k z 2 (particular), queremos ver si podemos inferir la verdad de la proposicin

k 1
S (k 1) : i 1 2 3... k (k 1) (k 1) 2 (k 1) 2
i 1

= (k 2 3k 4) / 2.

Como lo hicimos anteriormente, usamos la hiptesis de induccin y hacemos el clculo

siguiente:
k 1
k
i 1
i 1 2 3 ... k ( k 1) i (k 1) (k 2 k 2) / 2 (k 1)
i 1
= (k k 2) / 2 (2k 2) / 2 (k 2 3k 4) / 2.
2

Por lo tanto, para cualquier k Z , se tiene que S (k ) S (k 1). pero antes de decidir si
aceptamos la proposicin nS (n) como verdadera, reconsideremos el ejemplo 1, donde
n
aprendimos que i n(n 1) / 2, para todo n z
i 1

. por lo tanto, podemos usar estos dos

resultados (el ejemplo 1 recin establecido) para concluir que

 n

n n(n 1) / 2 i (n 2 n 2) / 2.
i 1

As, tenemos que todo n z ,

n(n 1) / 2 (n 2 n 2) / 2,

Lo que implica que n(n 1) n 2 n 2 y 0 2 . (Algo est mal!)

1
si n 1, entonces 1 1 pero (n
i 1
2
n 2) / 2 (1 1 2) / 2 2 . As, S (1) no es verdadera

pero tal vez pensemos que este resultado nicamente indica que elegimos el punto de inicio
incorrecto tal vez S (n) sea verdadera pare todo n 3 o todo n 7 o todo n 137. Sin
embargo, si usamos el argumento anterior, sabemos que para cualquier punto inicial
n0 z , si S (n0 ) fuera verdadera, entonces

n0
(n02 n0 2) / 2 i 1 2 3 ... n0 .
i 1
n0
del resultado del ejemplo 1, tenemos i n0 (n0 2) / 2, por lo que nuevamente
i 1
tendramos 0 2 ; as, no tenemos un punto de inicio.

Este ejemplo debe indicar al lector la necesidad de establecer la base de la induccin; sin
importar lo fcil que sea verificarla.

Ejemplo 5

Progresiones geomtricas

Otra formula importante es la suma de cualquier progresin geomtrica:

Por ejemplo para a 1 y q 2 se obtiene la formula:

Demostremos por induccin que para todo n se tiene

(B) Veamos que para n 1 ,

a(1 q 2 )
p(1) : a aq es verdadera.
1 q

(P) Supongamos que para algn n 1, la siguiente igualdad es verdadera.

Demostremos que la proposicin

1 q n2
p(n 1) : a aq aq 2 aq n aq n 1 a q 1 es verdadera
1 q

Otra forma de probar la formula (1.2) es como sigue. Sea

Multiplicando ambos miembros de la igualdad anterior por q:

Restando miembro a miembro las dos igualdades anteriores:

Ejemplo 6

Suma de los n primeros cuadrados.

La suma de los n primeros cuadrados se puede hallar usando la formula:

La prueba por induccin es como sigue. Sea,

(B) (p1) es verdadera, ya que

(P) Supongamos que p(n) es verdadera, es decir, supongamos que

Demostremos que
 p(n 1) : 12 2 2 3 2 n 2 (n 1) 2
(n 1n 12n 3 es verdadera
6

Otra forma de probar (1.3) es haciendo uso del producto notable:

de donde obtenemos

Esta igualdad es valida para cualquier k. En particular para k 1,2,3, , n respectivamente,

obtenemos las igualdades:

Si escribimos
Y hacemos uso de la formula

Al sumar miembro a miembro las igualdades anteriores obtenemos:

Realizando operaciones algebraicas tenemos:

De forma anloga a la anterior pueden hallarse formulas para potencias superiores de los
entero, 1k 2 k 3k n k , donde k es un entero positivo

Ejemplo 7

Suma de los n primeros nmeros impares.

Probaremos por induccin que:

es verdadera para todo n 1.

(B) De la igualdad

Concluimos que (p1) es verdadera

(P) supongamos que p(n) es verdadera, es decir, supongamos que la siguiente igualdad se
cumple:

Necesitamos mostrar que,

es verdadera.

De la misma forma como se verific (1.1) sin utilizar induccin matemtica, podemos
encontrar otra manera de probar la frmula para la suma de los n primeros nmeros
impares.

Bibliografa

Ralph Grimaldi. Matemtica discreta y combinatoria. Prentice Hall. 3 Ed. 1998.

Kolman, Busby y Ross. Estructuras de matemticas discretas para la computacin.
Pearson Educacin. 3 Ed. 1997
K. Ross y C. Wright. Matemticas discretas. Prentice Hall. 2 Ed. 1990.
Richard Johnsonbaugh. Matemticas discretas. Grupo Editorial Iberoamericana.
1998