ra

Captulo 1

Tcnicas de demostracin
Bor
Pg. 2 Tcnicas de demostracin

1.1. Induccin matemtica

La induccin juega un papel importante en el diseo de algoritmos y

ra
es una herramienta necesaria para las matemticas discretas.
Una de las frmulas ms utilizadas es la sumatoria de los n primeros
Pn
nmeros enteros positivos S(n) = i=1 i = n(n+1)2 . Se puede probar para
los primeros valores como sigue:

S(1) 1= 1
S(2) 1+2 = 3
S(3) 1+2+3 = 6
S(4) 1+2+3+4 = 10
S(5) 1+2+3+4+5 = 15
S(6) 1+2+3+4+5+6 = 21
S(7) 1+2+3+4+5+6+7 = 28
Bor Cuadro 1.1: Sumatoria de los n primeros enteros positivos.

La frmula es correcta para los siete primeros valores de n, por ejem-

plo, el ltimo valor probado en la tabla 1.1, es S(7) = 7(7+1)
2 = 28. Parece
ser razonablemente correcta la frmula, pero no matemticamente. Nece-
sitamos una forma de demostrarlo.
Para empezar podemos pensar en la siguiente ilustracin: Si el padre
fundador de una familia tiene cierta propiedad, y cada generacin hereda
esta propiedad a la siguiente generacin (los padres heredan a los hijos),
la familia siempre tendr esta propiedad.
Regresando al ejemplo de la sumatoria, podemos probar que la suma-
toria de los ocho primeros nmeros es igual a S(8) = 36? considerando que
recientemente hemos probado que S(7) = 28. La respuesta por supuesto
es sumar ocho a lo que ya habamos probado, es decir:

S(8) = S(7) + 8 = 36 (1.1)

De esta forma podemos seguir probando y adems obteniendo las sub-

siguientes sumatorias indefinidamente como se muestra en la tabla 1.2.
Una forma de generalizar este procedimiento es separar la frmula.

S(n) = 1 + 2 + 3 + ... + (n 1) + n
Oliver A. Vilca H. Pg. 3

S(1) = 1 1
S(2) = S(1)+2 3
S(3) = S(2)+3 6

ra
S(4) = S(3)+4 10
S(5) = S(4)+5 15
S(6) = S(5)+6 21
S(7) = S(6)+7 28
S(8) = S(7)+8 36
... ...

Cuadro 1.2: Sumatoria de los n primeros enteros positivos.

 
S(n) = 1 + 2 + 3 + ... + (n 1) +n
Bor | {z
primeros n1 trminos
}

La primera parte de la sumatoria es justamente la suma de los n 1

primeros nmeros, es decir, S(n 1) = (n1)n
2 . Luego:

S(n) = S(n 1) + n
S(n) = (n1)n
2 +n (1.2)
n(n+1)
S(n) = 2

Lo que se quera demostrar, y del mismo modo se puede probar otras

frmulas.
Lo que hemos hecho es asumir la valides de la sumatoria para los
primeros n 1 nmeros (ecuacin 1.2) para probar la frmula para los n
primeros nmeros. En otras palabras, lo que en realidad se demostr es
que si la frmula es verdadera para un valor n 1, entonces tambin es
verdadero para el siguiente valor (n), es decir, si S(n 1) es verdadero
entonces tambin es verdadero S(n).
Esto es suficiente para concluir que es verdadero para todo n. Se de-
mostr que es verdadero para n = 1, y por lo que se acaba de demostrar,
es tambin verdadero para n = 2, esto muestra que el clculo efectuado
para n = 2 en la tabla 1.2 no era necesario porque es consecuencia del
caso n = 1. De igual manera la valides de la frmula para n = 2 implica
que es verdadero para n = 3, el cual implica que es verdadero para n = 4,
etc. Luego la frmula es verdadera para todos los valores de n.
Pg. 4 Tcnicas de demostracin

Esta tcnica de demostracin se denomina induccin (o algunas veces

induccin matemtica, para distinguirlo de una nocin en filosofa). Se
puede resumir como:

ra
Sea T un teorema (o una propiedad) que se desea demostrar. Supon-
ga que T tiene un parmetro n cuyo valor puede ser cualquier nmero
natural (un nmero natural es un entero positivo). En lugar de probar
directamente que T trabaja para todos los valores de n, se prueba las
siguientes dos condiciones:

1. T es verdadera para n = 1.
2. Para cada n > 1, si T es verdadera para n 1, entonces T es
verdadera para n.

Estas dos condiciones son suficientes para demostrar T . La condicin

(1) y (2) implican directamente que T es verdadero par n = 2. Si T es
Bor
verdadero para n = 2, entonces la condicin (2) implica que T es verdadero
para n = 3, y as sucesivamente.
Usualmente la forma ms adecuada de demostrar por induccin es:
Primero es probar T para n = 1 denominado caso base. Luego se de-
muestra para un valor general n asumiendo que T es verdadero para n1,
a este supuesto se le denomina hiptesis de induccin.
El caso base no necesariamente se inicia con n = 1 sino puede ser con
n = 0 u otro valor segn sea el caso.
Hay ligeras variaciones de esta tcnica de demostracin, que finalmente
es lo mismo. Por ejemplo, en lugar de utilizar n1 y n, utilizar n (hiptesis
de induccin) y n + 1. El principio de induccin seria: Si T es verdadero
para n = 1, y si, para cada n 1 la validez de T para n implica la validez
para n + 1, entonces T es verdadero para todo nmero natural.
Una variante denominada induccin fuerte es: Si T es verdadero
para n = 1, y si, para cada n > 1, la validez de T para todos los nmeros
naturales menores a n implican la validez para n, entonces T es verdadero
para todo nmero natural.
La induccin se puede utilizar en diferentes formas para demostrar
propiedad de estructuras que no son nmeros.

1.2. Ejercicios resueltos.

1. Qu se obtiene si se suman los n primeros nmeros impares? lo
primero que se puede hacer es observar los resultados iniciales:
Oliver A. Vilca H. Pg. 5

S(1) 1= 1
S(2) 1+3 = 4
S(3) 1+3+5 = 9

ra
S(4) 1+3+5+7 = 16
S(5) 1+3+5+7+9 = 25
S(6) 1+3+5+7+9+11 = 36
S(7) 1+3+5+7+9+11+13 = 49
... ... = ...
S(n) 1+3+5+...+(2n-3)+(2n-1) = n2

Cuadro 1.3: Sumatoria de los n primeros nmeros naturales impares.

Es fcil observar que se obtiene cuadrados, pero para estar seguros es

necesario demostrarlo. En general para n, el n-simo nmero impar
es 2n 1. Entonces lo que se requiere probar es:
Bor S(n) = 1 + 3 + 5 + ... + (2n 3) + (2n 1) = n2

Demostrar el siguiente teorema utilizando induccin matemtica.

Teorema 1.1. La sumatoria de los n primeros nmeros impares es
n2 .
Demostracin 1.2. La demostracin es por induccin sobre n.
Caso base, si n = 1, entonces el teorema es verdadero S(1) = 1
(en este caso es trivial ver tabla 1.3). Hiptesis de induccin
se asume S(n 1) = (n 1)2 , se debe probar que a partir de esto
la suma de los n primeros nmeros naturales es S(n) = n2 . Caso
inductivo: Por definicin tenemos de que S(n) = S(n1)+(2n1)
y por lo que se asume, S(n 1) = (n 1)2 , y por lo tanto S(n) =
(n 1)2 + (2n 1) = n2 que es lo que se quera demostrar.

2. Los nmeros armnicos son de utilidad en las matemticas discretas

y combinatoria, se define como Hn = 1 + 21 + 31 + 14 + + n1 , para
cada n Z+ . Demuestre la siguiente propiedad:

n
X
Hi = (n + 1)Hn n, para todo n Z+
i=1

Demostracin 1.3. La demostracinP es por induccin sobre n.

Caso base: si n = 1, es verdadero 1i=1 H1 = (1 + 1)H1 1 = 1.
Pg. 6 Tcnicas de demostracin

Pn1
Hiptesis de induccin se asume i=1 Hi = ((n1)+1)Hn1
(n 1). Caso inductivo: Por definicin tenemos :

ra
n
X n1
X
Hi = H i + Hn
i=1 i=1
Xn
Hi = ((n 1) + 1)Hn1 (n 1) + Hn
i=1
n
X 1
Hi = (n)[Hn ] (n 1) + Hn
i=1
n
n
X
Hi = nHn 1 (n 1) + Hn
i=1
Xn
Hi = (n + 1)Hn n
Bor i=1

3. Pruebe que para cualquier entero positivo n, el nmero 22n 1 es

divisible por tres.

Caso base: si n = 1, es verdadero 22(1) 1 = 3. Hiptesis de

induccin se asume 22(n1) 1 es divisible por tres, y es lo mismo
que afirmar 22(n1) 1 = 3m para algn entero m. 22n2 = 3m+1.
Caso inductivo: Queremos demostrar que: 22n 1 es divisible por
tres.

22n 1 = 22 22n2 1
= 22 .(3m + 1) 1, por la hipotesis
de induccion
= 12m + 4 1
= 12m + 3
= 3(4m + 1)

Que es divisible por tres.

Oliver A. Vilca H. Pg. 7

1.3. Ejercicios propuestos.

1. Demostrar que la proposicin es verdadera utilizando induccin ma-

ra
temtica:

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

(b) 1 + 2 + 22 + 23 + ... + 2n = 2n+1 1, para cualquier n 0
(c) 12 + 22 + 32 + ... + n2 = n(n+1)(2n+1)
6
Pn 1 1 1 1 1
(d) i=1 i(i+1) = 12 + 23 + 34 + + n(n+1) = n+1
n
, para todo
n 1.
Pn
(e) i=1 i(i!) = 1(1!) + 2(2!) + 3(3!) + + n(n!) = (n + 1)! 1
(f) n < 2n , para todo n entero positivo.
(g) Para todos los nmeros naturales x y n, xn 1 es divisible por
x 1.
Bor (h) n3 n es divisible por tres, para todo n entero positivo.
(i) n4 4n2 es divisible por tres para todo n 0.

2. Demostrar el teorema de De Moivre:

(cos + i sin )n = cos n + i sin n

Para todo R y todo n N. Nota: i = 1
3. Una progresin aritmtica (secuencia aritmtica) es una secuencia
de trminos donde existe un trmino inicial a y cada trmino sub-
siguiente se obtiene por la suma de un valor constante d al trmino
anterior. Pruebe que la frmula de la suma de los n primeros trmi-
nos de una secuencia aritmtica (n 0) es:

n(n1)d
a + (a + d) + (a + 2d) + + [a + (n 1)d] = an + 2
Pg. 8 Tcnicas de demostracin

1.4. El principio del palomar

Si Fantasilandia1 es un pas. Qu responderas? si te preguntan: Se

ra
puede encontrar en Fantasilandia dos personas que tengan el mismo n-
mero de cabellos? Alguien podra decir seguramente este est ebrio (por
hacer una pregunta descabellada) y otros podran pensar que es impo-
sible responder a esta pregunta, debido a que uno ni siquiera sabe cuantos
cabellos hay en su cabeza.
Dejando de lado el nmero de cabellos de cada persona en Fantasilan-
dia cuyo nmero exacto es difcil determinar. Hay algunas cosas que si se
sabe: Nadie tiene ms de 500 000 cabellos (una observacin cientfica), y
hay ms de 10 millones de habitantes en Fantasilandia. Ahora se pue-
de responder la pregunta inicial? Si. Porque, si no hubiera dos personas
con el mismo nmero de cabellos, entonces habra al menos una persona
con 0 cabellos, al menos una persona con un cabello, y as sucesivamente.
Finalmente habra una persona con exactamente 500 000 cabellos, Pero
Bor
esto significara que no haya ms de 500 001 habitantes en Fantasilandia.
Debido a que esto contradice lo que sabemos de Fantasilandia, se concluye
que debe haber dos personas que tienen el mismo nmero de cabellos.
Se puede formular la solucin de la siguiente manera. Imagine 500 001
enormes cajas (casilla del palomar). El primero se le denomina personas
con cero cabellos al segundo se le denomina personas con un cabello
al siguiente personas con dos cabellos, as sucesivamente. La ltima
caja se le denomina personas con 500 000 cabellos. Si cada uno va a su
propia caja, entonces las ms de 10 millones de personas de Fantasilandia
se asignan a alguna caja (casilla del palomar). Debido a que hay solo 500
001 cajas, habr una caja conteniendo ms de una persona. Esto es obvio,
pero es una herramienta poderosa.
En general se le conoce con el nombre del Principio del Palomar
para que todos lo entiendan fcilmente (pigeonhole principle en ingls) o
tambin como el principio de las cajas o el principio de Dirichlet2 . Adems
merece un nombre, ya que se usa como herramienta bsica de muchas
demostraciones. Se formula sobre la idea de palomares y sus agujeros,
como sigue:
ste principio tan simple permite resolver de forma rpida y elegante
problemas de distinta naturaleza. La clave en estos problemas es encontrar
los objetos y los conjuntos (casillas).
1 Un pas con ms de 10 millones de habitantes (por ejemplo Per).
2 Este interesante principio fue formulado por primera vez de manera formal por
Peter Gustav Lejeune Dirichlet (1805-1859). Dirichlet contribuy mucho en las mate-
mticas aplicadas y la teora de nmeros.
Oliver A. Vilca H. Pg. 9

ra
Figura 1.1: Aves en un palomar (Inspiracin para el principio). [Fuente:
www.wikipedia.org]
Bor Si se tiene n cajas y si se colocan ms de n objetos
dentro de ellas, entonces habr al menos una caja que
contiene ms que un objeto.

Cuadro 1.4: El principio del palomar.

1.5. Principio del palomar extendido

Si hay m cajas y ms de 2m objetos, entonces tres o ms objetos

tendrn que ser asignados a por lo menos una caja. En general si hay ms
objetos se puede dar una conclusin mayor.

Teorema 1.4. El principio del palomar extendido. Si se tiene m

cajas y si se colocan n objetos dentro de ellas, entonces habr al menos
una caja que contiene por lo menos (n 1)/m + 1 objetos.

Demostracin 1.5. (Por contradiccin). Si cada caja no contiene

ms de (n 1)/m objetos, entonces hay como mximo m(n 1)/m
n 1 objetos en total. Esto contradice las suposiciones (de que en realidad
hay n objetos), de modo que una de las cajas debe contener por lo menos
(n 1)/m + 1 objetos.
Pg. 10 Tcnicas de demostracin

1.6. Ejercicios resueltos.

1. Si aleatoriamente se escoge ocho personas de algn conjunto, de-

ra
muestre que por lo menos dos de ellas habrn nacido el mismo da
de la semana.
Demostracin 1.6. A cada persona se le asigna el da de la se-
mana en que naci. Y debido a que hay ocho personas y slo siete
das de la semana, el principio del palomar indica que por lo menos
a dos personas debern asignrseles el mismo da de la semana.

2. Encuentre el mnimo nmero de estudiantes para garantizar que tres

de ellos tengan nombres que inicien con la misma letra.
Demostracin 1.7. Se designa una caja para cada letra del alfabeto
(en el alfabeto espaol hay m = 27 letras). Se colocan a los estudian-
tes en cada caja haciendo que letra inicial de su nombre coinsida en
Bor la letra de la caja, entonces con 54 estudiantes en el peor de los
casos habr dos estudiantes en cada caja (dos estudiantes en la caja
a cuyos nombre inician con a, dos estudiantes en la caja b, ... , dos
estudiantes en la caja z). Luego si hay un estudiante nuevo entonces
cualquiera de las cajas contendr necesariamente tres estudiantes.
Luego el mnimo nmero de estudiates es n = 55 para garantizar
que al menos una caja contenga tres estudiantes.

3. Demuestre que cualquier subconjunto de seis elementos del conjunto

S = {1, 2, 3, ..., 9} contiene dos elementos cuya suma es 10.
Demostracin 1.8. Las palomas constituyen un subconjunto de
seis elementos y las casillas son:

1 2 3 4 5
9 8 7 3

Cuando las palomas van a sus respectivas casillas, se debe llenar al

menos una casilla con dos elementos cuya suma sea 10.

1.7. La paradoja de los gemelos

Un profesor despus de haber enseado el Principio del Palomar, de-
cide jugar: Les apuesto que hay dos de ustedes que tienen igual fecha de
Oliver A. Vilca H. Pg. 11

cumpleaos! Qu dicen? Varios contestan inmediatamente: Hay 366

posibles cumpleaos, entonces usted pude jugar slo si hay al menos 367
estudiantes, pero solo hay 50 y por lo tanto usted podra perder la apues-

ra
ta. Sin embargo, el profesor insiste en la apuesta.
El Principio del Palomar indica que con 367 estudiantes en la clase,
el profesor siempre gana la apuesta. Pero a l slo le interesa tener una
buena oportunidad para ganar la apuesta. Si con 366 estudiantes puede
perder (si todos tienen distintas fechas de cumpleaos) es posible que
con 50 estudiantes tenga buena oportunidad para ganar?
La respuesta es afirmativa, incluso con 23 estudiantes, su oportuni-
dad de ganar es ligeramente mayor a 50 %. Se puede denominarle como
el Principio del Palomar Probabilstico, pero el nombre usual es la Pa-
radoja de los Gemelos.
Suponga que en la clase se escribe la lista de todos los cumpleaos. Si
Bor
hay 50 estudiantes, entonces, hay 36650 diferentes listas de este tipo. Por
cuntas de estas listas l pierde? l pierde por 366.365...317. Entonces la
probabilidad que el pierda la puesta es:

366.365.364. . .317
36650

Usando Maple su valor aproximado es 0.02992692790, esto se obtiene

ejecutando: evalf(366!/(316!*366(50))); Del mismo modo utilizando Ma-
xima es 0.029926927904429, que se obtiene con: float(366!/(316!*36650));
Luego la probabilidad que todos los estudiantes en la clase tengan dife-
1
rentes fechas de cumpleaos es menos que 33 ( 0.03030303030303). Esto
significa que si el profesor hace este juego una vez cada ao, l fallar una
o dos veces en toda su carrera.
En general, cuando se tiene n posibles cumpleaos y k estudiantes. La
probabilidad de perder es:

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

nk

1.8. Ejercicios propuestos.

1. Sea X cualquier conjunto de siete enteros distintos. Demuestre que
existen x, y X tales que x + y x y es divisible por 10.
Pg. 12 Tcnicas de demostracin

2. Una caja contiene 900 tarjetas, numeradas del 100 al 999. Se sacan
al azar (sin reposicin) tarjetas de la caja y se anota la suma de
los dgitos de cada tarjeta extrada. Cul es la menor cantidad de

ra
tarjetas que se deben sacar para garantizar que al menos tres de
esas sumas sean iguales? (Concurso de matemticas fase nacional3 ,
1999).

3. Pruebe que si se escoge 101 nmeros del conjunto S = {1, 2, 3, ..., 200},
entoncens hay dos enteros tales que uno divide al otro. Nota: Re-
cuerde el teorema fundamental de la aritmtica: Para todo X N
se puede escribir X como X = 2k y, con k 0 y M CD(2, y) = 1.
Entonces y debe ser impar y y T = {1, 3, 5, ..., 199}.
Consejo: Los nmeros se representa como X = 2k y. Considerando
que hay solo 100 nmeros impares para los y y que se deben repre-
sentar 101 nmeros, por el principio del palomar, hay dos nmeros
de la forma 2m j y 2n j, para algn j impar y donde m y n son
Bor diferentes, por lo tanto uno divide al otro.
4. Considerando el ejemplo ilustrado en la paradoja de los gemelos,
calcular el valor aproximado de la probabilidad de que el profesor
pierda la apuesta sin utilizar una mquina (calculadora o compu-
tadora).

Hablando de cabellos y aves: ... Con todo ni uno de

ellos est olvidado delante de Dios. 7 Pues aun los
cabellos de vuestra cabeza estn todos contados. No
temis, pues; ms valis vosotros que muchos
pajarillos. Lucas 12:4-7.

3 www.ehu.es/olimpiadamat. Cuidado con la aplicacin directa del principio del pa-

lomar, la respuesta correcta no es 55!