Sei sulla pagina 1di 141

COMBINATOR

Mara

Luisa

Prez

Segu

UNAS PALABRAS

DE LOS EDITORES

Disfrut ese momento como ningn otro en su vida. Ah estaba de pie,


recibiendo la primera medalla de oro para un estudiante mexicano en una
olimpiada internacional de matemticas. Muchos pensamientos se arremolinaron en su cabeza. Por un momento record a muchos compaeros,
concentraciones, ciudades, la palabra sacrificios alcanz a asomarse ligeramente, pero no alcanz a cristalizarse, la verdad es que haba trabajado
intensamente y, sin embargo, tambin haba disfrutado, pues resolver problemas de matemticas se haba convertido en una pasin que no lo iba a
abandonar nunca. Pens en su regreso a Mxico, en sus amigos y en su
familia. Tambin, sin saber por qu, record a un periodista tonto que
critic a un atleta mexicano que haba obtenido un quinto lugar en los
pasados juegos olmpicos, cmo si eso no fuera una hazaa! Se distrajo
saludando a sus compaeros de delegacin...
Las olimpiadas mexicanas de matemticas se han realizado desde 1987.
Profesores, matemticos y muchos jvenes han dedicado esfuerzos loables
por hacerlas crecer. Todos ellos comparten la aficin, que en muchos casos se acerca a la adiccin, y que en otros se vuelve una forma de vida,
por los problemas matemticos. El edificio que han construido ha permitido detectar y preparar a muchos de los jvenes ms talentosos para esta
disciplina.
Los mejores logros que ha conseguido Mxico son:
-trigsimo lugar en la Olimpiada Internacional de Matemticas, Corea,
2000,
-segundo lugar en las Olimpiadas Iberoamericanas de Matemticas de Costa
Rica en 1996 y de Venezuela en 2000,
-tres medallas de plata en las olimpiadas internacionales de matemticas,
ganadas por: Patricio T. Alva PuHeau (Argentina, 1997), Omar Antoln
Camarena (Taiwan, 1998) y Carlos A. Villalvazo Jauregui (Corea, 2000),
-diez medallas de oro en la olimpiadas iberoamericanas de matemticas,
ganadas por: Bernardo Abrego Lerma (Argentina, 1991), Patricio T. Alva
PuHeau (Costa Rica, 1996), Jess Rodrguez Viorato (Mxico, 1997), Roberto
D. Chvez Gndara (R. Dominicana, 1998), Carlos Romn Cuevas (Cuba,

1999), Javier A. Chvez Domnguez, Carlos A.VillalvazoJauregui (ambos


en Venezuela, 2000) y David J. Mireles Morales (Uruguay, 2001).
Esta serie est diseada como material de apoyo a los jvenes que se
preparan para la olimpiada nacional de matemticas. Nuestro deseo es que
estos cuadernos sirvan como un bloque ms de la pirmide que algn da
tendr en su cspide a un joven como el que describimos al principio de
esta presentacin.
Queremos agradecer al Instituto de Matemticas de la UNAM, en particular a su director, el DI. Jos Antonio de la Pea Mena, por su apoyo
para la publicacin de estos cuadernos.
Los Editores

Contenido

Introduccin.

. . . . . . . . . . .. . . . . . . . . . . . .. . . . . . . . . . . . . .. i

PRIMERA PARTE

1. Principios Bsicos. .. . . .. . ... . . . . . . . . . . .. . . . . . . . ..


2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

Teorema del Binomio


Comparaciones
Induccin Matemtica.
. . . . . . . . . . . . . . . . . . . . . . . ..
Caminos
Inclusin y Exclusin. . . . . .. . . . . . .. . . . . . . .. . . . ..
Probabilidad
Grficas
Principio de las Casillas. .. . . .. . .. . .. . .. . . . .. . ...
Separadores
Coloracin
Problemas Dinmicos

17
21
25
45
49
53
63
69
75
79
83

SEGUNDA PARTE
13. Problemas
14. Sugerencias
15. Soluciones
Lecturas
Glosario.

Complementarias.

89
99
107
. . . . . . . . . . . . . . . . . . . . . . .. 131

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 132

INTRODUCCIN

El presente tiene el propsito de presentar de manera lo ms completa posible el material de Combinatoria que le conviene conocer a un
alumno en las primeras etapas de la Olimpiada de Matemticas (antes
del Concurso Nacional), e incluso, al inicio de una preparacin para
olimpiadas de nivel internacional.
Una buena parte del entrenamiento consiste en que el alumno se
familiarice con el lenguaje usual en las matemticas; esto no puede
obtenerse mediante innumerables (y ridas) definiciones, sino con la
prctica, utilizando el lenguaje conforme se necesite. Para poder leer
estas notas no se necesita conocer la terminologa de Teora de Conjuntos ni los trminos que utilizan los matemticos en sus demostraciones;
la notacin que aparece se explica en el momento de su aparicin o es
fcilmente deducible del contexto.
En la primera parte (secciones de la 1 a la 12) se desarrolla la teora.
Se incluyen numerosos ejemplos resueltos y ejercicios. El alumno deber
intentar resolver los ejemplos por s mismo antes de ver la solucin,
pues slo de esa manera podr darse cuenta de las dificultades que
se presentan al intentar un mtodo errneo; despus deber comparar
su respuesta con la presentada aqu. La mayora de los ejercicios que
se han intercalado en esta parte son rutinarios; tienen el propsito de
afianzar lo aprendido y debern resolverse conforme aparezcan.
En la seccin 1 se presenta el desarrollo bsico de las tcnicas de
combinatoria; este material podra constituir la primera parte de un
entrenamiento. Las secciones 2, 3,4 y 5 son intermedias y constituyen
una segunda parte del entrenamiento.
Aunque no es un tema propiamente de Combinatoria, la seccin 4 estudia Induccin Matemtica;
sta es una tcnica de demostracin bastante til al probar afirmaciones

sobre nmeros enteros; en la misma seccin se aprovecha la tcnica


estudiada para demostrar algunas frmulas importantes de enteros. Las
secciones de la 6 a la 12 contienen material ms especializado; son
temas interesantes que pueden resultar importantes al buscar una buena
formacin en combinatoria para la etapa nacional de las Olimpiadas de
Matemticas y sentar las bases para un entrenamiento ms avanzado.
En la segunda parte se presenta una lista de problemas resueltos tipo Olimpiada de Matemticas; en ellos se practican las tcnicas
aprendidas en la Primera Parte, pero adems su resolucin requiere
de bastante ingenio. La seccin 13 contiene los enunciados de los problemas; las secciones 14 y 15 contienen, respectivamente, sugerencias
y soluciones para los problemas planteados en la seccin 13. La seleccin presentada aqu intenta ser variada en temas y en dificultad. La
mayor parte de los problemas incluidos son del dominio pblico o de
mi propia invencin (indicados con [MLPS]). He tratado, dentro de lo
posible, de hacer referencia al autor del problema, as como al primer
examen de olimpiadas donde apareci. Pido disculpas por cualquier
omisin o error a este respecto.
Estas notas son el producto de una gran cantidad de sesiones de
entrenamiento para alumnos en Olimpiadas de Matemticas. Sus incontables e invaluables comentarios, as como muchas de las soluciones
que ellos daban a los problemas han quedado incluidos aqu. Dedico
a todos ellos con mucho cario este trabajo. Agradezco a Luis Miguel
Garca Velzquez la lectura cuidadosa y corre~in de las notas, y a Gerardo Raggi Crdenas el montaje (y enseanza de uso) de los macros
que permitieron elaborar la presentacin de este trabajo.

ii

Primera Parte

Seccin 1

Principios

bsicos

Uno de los conceptos matemticos abstractos ms primitivos que


conocemos es el de nmero y, dentro de los nmeros, el de los nmeros
naturales o enteros positivos: 1, 2, 3, 4, etc. Con ellos representamos
las cantidades de objetos que se nos presentan en la vida cotidiana. En
esta seccin desarrollaremos algunas tcnicas que permiten determinar con facilidad cantidades. Comencemos por ilustrar la necesidad de
aprender estas tcnicas de conteo con unos ejemplos: Si se nos ensea
un puado de canicas y se nos pregunta cuntas son, un vistazo nos
bastar para contadas y dar la respuesta; sin embargo si se nos pregunta 'cuntas patas tienen 100 perros, en lugar de buscar los 100 animales y contarles las patas, haremos una abstraccin, y la operacin:
4 x 100

400 nos dir la respuesta;

utilizamos

aqu una tcnica muy

simple de multiplicacin. Desde luego hay preguntas que necesitan


tcnicas ms elaboradas. Estudiaremos estas tcnicas mediante ejem-

plos que iremos complicando gradualmente.

Analicemos primero con cuidado un ejemplo que a primera vista es


trivial pero que nos ensea la clave bsica del conteo.

1. Principios

bsicos

[1.1] Ejemplo.
hay?

Cuntos nmeros enteros de tres o menos cifras

Solucin. La respuesta a esta pregunta es fcil: Hay 1000 pues


son todos los nmeros enteros del O al 999. Esta solucin no nos ensea
gran cosa. Retornemos ahora el problema buscando una solucin constructiva; esto es, para cualquier n = 1,2,3, . . ., la cantidad de nmeros
de hasta n + 1 cifras se puede obtener de la cantidad de nmeros de
hasta n cifras: simplemente se multiplica por 10. Vamos a describir
con detalle este procedimiento:
Nmeros de a lo ms una cifra hay 10, a saber, 0,1,2,3,4,5,6,7,8
y 9. Para contar los de hasta dos cifras (del O al 99) no necesitamos
escribir los todos; basta con observar que la primera cifra puede ser
cualquiera de los 10 dgitos 0,1,2,3,4,5,6,7,8,9,
y por cada uno de
stos hay 10 terminaciones distintas; por ejemplo, los nmeros de dos
cifras que empiezan con 4 son: 40,41,42,43,44,45,46,47,48
y 49, diez
en total; lo mismo para cada una de las otras decenas. As la cantidad
de enteros entre O y 99 es 10 x 10

100. El siguiente paso es anlogo:

Para contar los nmeros de hasta tres cifras hay que agregar un dgito
(posiblemente O) a cada uno de los 100 nmeros de 2 o menos cifras;
como hay diez posibilidades la respuesta ser 10 x 100 = 1000.

Este procedimiento de "construir sobre lo ya construido" que hemos


utilizado se llama procedimiento inductivo. Muchas demostraciones de
propiedades y frmulas de nmeros naturales se basan en l. En la
seccin 4 se estudiar esto con detalle. El principio combinatorio que
manejamos en el ejemplo anterior (y que manejaremos en los siguientes)
es:
[1.2] Principio Fundamental
de Conteo. Si una cierta tarea
puede realizarse de m maneras diferentes y, para cada una de esas
formas, una segunda tarea puede realizarse de n maneras distintas,
entonces las dos tareas juntas pueden realizarse (en ese orden) de mn
formas diferentes.
[1.3] Ejemplo.
2

Cuntas palabras de tres letras se pueden for-

1. Principios bsicos

mar si se dispone de un alfabeto


permisibles palabras como bba.)

con dos letras:

a y b. (Nota:

Solucin.
Procederemos como en el ejemplo anterior.
conviene ilustrarlo haciendo un "diagrama rbol":
letra
inicial

letra
central

a
a

(
b

a
b

(
b

letra
final

En este caso

palabra
formada

......

aaa

......

aab

a ......

aba

......

abb

.. ....

baa

......

bab

a . . ....

bba

......

bbb

Son

Resolvamos ahora el ejemplo utilizando nuestro Principio Fundamental

de Conteo.

Consideremos

tres casillas:

, la primera

para la letra inicial, la segunda para la letra central y la tercera para


la letra final. En cada casilla hay dos elecciones posibles: la letra a o

la letra b. La respuesta es entonces 2. x 2. x 2. = 8. El procedimiento.


inductivo es como sigue: En la primera casilla hay 2 posibilidades para
elegir la letra. Una vez formada una palabra de una letra: a o b, para
agrandarla a una palabra de dos letras hay dos posibilidades, as que
palabras

de dos letras hay 2 x 2

= 4.

Para completar

cada una de

1?tasa una palabra de tres letras hay dos posibilidades; entonces hay
3

1. Principios

4 X2

bsicos

= 8 palabras

de tres letras. -

[1.4] Ejemplo.
Cuntas placas distintas hay con dos letras a
la izquierda y tres nmeros a la derecha? (Nota: Consideraremos el
alfabeto de 27 letras castellanas.
Solucin.
anterior:

Seguimos el procedimiento de las casillas del ejemplo


27 x 27 x 10 x 10 x 10 = 729000.
---

lugares
para letras

--:-

para

----

lugares
nmeros

[1.5] Ejemplo. Cuntas banderas bicolores se pueden formar si


se dispone de 4 lienzos de tela de colores distintos y un asta? (Nota:
Banderas como rojo-rojo no son permisibles; por otro lado, es importante el color que queda junto al asta, de esta manera banderas como
rojo-azul y azul-rojo se consideran distintas.)
Solucin. En este caso consideramos dos casillas. La de la izquierda, digamos, representa el lienzo junto al asta, el cual tiene 4 elecciones
posibles. Una vez elegido ste, el color para la derecha se puede escoger
de 3 formas (pues no se permite la repeticin de colores). As hay
4 x 3 = 12 formas distintas de formar las banderas. [1.6] Ejercicio. Escribir todas las banderas que pueden formarse
segn el ejemplo anterior si los colores son rojo (R), azul (A), verde
(V) y blanco (B).
[1.7] Ejemplo. Misma pregunta que en el ejemplo anterior pero
ahora suponiendo que no hay asta. (En este caso no habr distincin
entre las banderas rojo-azul y azul-rojo.)
Solucin. Para resolver este ejemplo analicemos la respuesta del
ejemplo anterior. En aqul, en la coleccin total de las 12 banderas
posibles podemos aparear cada bandera con su opuesta; por ejemplo la
bandera azul-verde la apareamos con la bandera verde-azul. Cada una
de las del ejemplo anterior se esta contando dos veces y, por tanto, la
respuesta es ~2= 6. -

1. Principios bsicos
[1.8] Ejercicio.
En el resultado del ejercicio [1.6] aparear cada
una de las banderas con su opuesta. Dar una lista de 6 banderas que
ilustre la respuesta del ejemplo [1.7].
[1.9] Ejemplo. De cuntas formas se pueden sentar 5 personas
en 5 sillas numeradas del 1 al 5?
Solucin. En el asiento #1 se puede sentar cualquiera de las 5
personas; para cada eleccin de la primera persona, la segunda puede
ser cualquiera de las 4 restantes; as en las dos primeras sillas el nmero
de elecciones posibles es 5 x 4 = 20. Continuamos de manera anloga.
Para simplificar dibujemos 5 casillas simbolizando los 5 asientos. Sobre
cada casilla escribamos el nmero respectivo de posibilidades y multipliquemos:
Q x 1. x ;l x 2 x 1 = 120.

Si n es un nmero natural, el producto de todos los nmeros naturales del 1 al n aparece muy frecuentemente en problemas de combinatoria; se llama n factoralo factoral de n y se denota por n!. (As la
respuesta del ejemplo [1.9] es 5! = 120.)
Alejndose de la interpretacin de n! como el producto de los naturales de 1 a n, se define
O!= 1;
esto perro.ite incluir el caso n = O en algunas frmulas en las que interviene n!. Entonces
O!= 1

=
2! =
3! =
4! =
1!

1x 2

1x 2 x 3

1 x 2 x 3 x 4 = 24.

Es fcil darse cuenta que el nmero 5 del ejemplo [1.9] y el que


sean personas y asientos en lugar de cualquier otra cosa no es relevante; podemos generalizarlo como sigue:
El nmero Pn de distintas formas en que se pueden ordenar n ob5

1. Principios

bsicos

jetos es n!. Cada una de las listas ordenadas que se forman con los n
objetos se llama permutacin (de los objetos). Tenemos entonces que
el nmero de permutaciones de n objetos es Pn = n!.
[1.10] Ejemplo. De un grupo de 5 estudiantes quiere elegirse una
comisin de 3 para que cada uno visite un museo de una lista de 3
museos. Cuntas comisiones distintas se pueden formar?
Solucin.
Utilizando el esquema de casillas (cada una representando un museo) como arriba, tenemos que el resultado es

Qx 4:x ~ = 60.

[1.11] Ejemplo.
De un grupo de 5 estudiantes quiere elegirse
una comisin de 3 para que juntos visiten un museo (el mismo todos).
Cuntas comisiones diferentes se pueden formar?
Solucin. Hay que observar que la diferencia entre este ejemplo
y el anterior es que no importa el orden en la eleccin. En el ejemplo
anterior haba disticin entre las casillas pues cada una representaba un
museo en particular distinto a los otros; en ste no hay distincin entre
las casillas pues, por ejemplo, una comisin en que se haya elegido la
sucesin de alumnos Ana-Beto-Carlos se considerar igual a la sucesin
Beto...Carlos-Ana y tambin igual a la sucesin Ana-Carlos-Beto. Nuestro inters es entonces determinar en la cantidad 5 x 4 x 3, en cuntas
sucesiones aparece el mismo conjunto de alumnos. Para responder esto
conviene plantear esta parte del ejemplo al revs: Consideremos un
conjunto fijo de 3 personas, por ejemplo el formado por Ana (A), Beto
(B) y Carlos (e) y contemos de cuntas formas se pueden ordenar estos
3. Observemos que el nmero de formas es precisamente el nmero de
permutaciones

de las 3 personas,

o sea, P3

3!

6. Entonces

cada

grupo de 3 personas se est contando 6 veces en el producto 5 x 4 x 3,


as que la respuesta al ejemplo ser
5 x 4 x 3 = 10. .
3!
6

1. Principios

bsicos

[1.12] Ejercicio. En los ejemplos [1.10] y [1.11] supongamos que


el grupo de los 5 alumnos est formado por Ana (A), Beto (B), Carlos
(C), Daniel (D) y Elena (E). Hacer la lista de los 60 arreglos de estos
alumnos en los que se elige 3 para visitar museos distintos, agrupando
en esa lista las colecciones que resultan iguales si todos van a un mismo
museo.
En el ejemplo anterior aprendimos el siguiente principio:
El nmero de colecciones (en las que el orden no importa) con r elementos que se pueden seleccionar dentro de un conjunto de n elementos
(n2:r2:1)es

n x (n - 1) x ... x (n - (r - 1))
r!

[1.13]

Este nmero recibe el nombre de combinaciones de n en r y se denota


por (;). Dicho de otra manera, el nmero de subconjuntos de r elementos que tiene un conjunto con n elementos es
[1.11], n

5 Yr

(;). (En el ejemplo

3 Y la respuesta es (~).) Ntese que la frmula

[1.13] no tiene sentido para n

O; sin embargo s tiene sentido ~blar

del nmero de subconjuntos con O elementos dentro de un conjunt0'(on


n elementos; sabemos que este nmero es 1 pues slo hay un conjunto
sin elementos que es el llamado conjunto vaco. Definimos entonces

(~) = 1.
[1.14] Ejercicio.
conjuntos de X con
i)
)
i)
iv)
v)
vi)

Sea X = {a, b,e, d, e}. Escribir todos los sub-

O elementos,
1 elemento,
2 elementos,
3 elementos,
4 elementos y
5 elementos.
7

1. Principios

bsicos

Verificar que en cada caso el nmero de subconjuntos obtenido sea (~)


y que el nmero total de subconjuntos

sea 25

= 32.

(Ver ejercicio [2.6]

y ejemplo [3.2]).
[1.15] Ejercicio. Basndose en la interpretacin de (~) como el
nmero de subconjuntos de r elementos dentro de un conjunto con n
elementos, explicar porqu

(;)=(n:r)'
[1.16] Ejercicio. Calcular G), G), (~) y (:).
Con la intencin de simplificar la frmula [1.13] sobre las combinaciones de n en r, observemos que, para 1 :S r :S n - 1, el numerador se
puede "completar" a n! multiplicando por (n - r)! ; si lo "completamos"
deberemos compensar dividiendo tambin por (n - r)!. Tendremos entonces que para r = 1,2,..., n - 1,
n!
n
[1.17]

( r ) = r!(n

- r)!'

Recordemos que se ha definido O! = 1 Y (~) = 1; notemos entonces


que si, sustituimos r = O (y, posiblemente tambin n = O) en el lado
derecho de la frmula [1.17] obtendremos O~~!= 1. De la misma manera,
al sustituir

n obtendremos

n~!

1. As, tambin

en estos casos

extremos vale la frmula [1.17].


[1.18] Ejercicio. Volver a hacer los ejercicios [1.15] y [1.16] utilizando la frmula [1.17].
[1.19] Ejemplo. De un grupo de 10 nios y 15 nias se quiere
formar una coleccin de 5 jvenes que tenga exactamente 2 nias.
Cuntas colecciones distintas se pueden formar?

1. Principios bsicos
Solucin. La eleccin de las 2 nias se puede hacer de en =
= 105 formas. Como deben ser 5 en total y debe haber 2 nias
exactamente, entonces los nios sern 3; stos se pueden escoger de
(~O) = 10Xa~X8 = 120 formas. Por tanto el resultado es 105 x 120 =
12600.
15;,14

Como hemos visto, al determinar cantidades buscamos simplificar


nuestras cuentas utilizando "homogeneidades" en el problema. Con
este propsito, en algunas ocasiones es conveniente dividir en casos de
manera que en cada uno de ellos haya homogeneidad, y despus sumar
las respuestas. Un ejemplo muy simple de esto sera el siguiente: Si
tenemos 4 paquetes de 100 hojas de papel y otros 3 paquetes de 200
hojas cada uno, entonces el nmero total de hojas que tenemos es
4 x 100 + 3 x 200 = 1000.
Comparemos el siguiente ejemplo con el anterior, tomando en cuenta
la bsqueda de homogeneidades, como acabamos de decir.
[1.20] Ejemplo. De un grupo de 10 nios y 15 nias se quiere
formar una coleccin de 5 jvenes que tenga a lo ms 2 nias. Cuntas
colecciones distintas se pueden formar?
Solucin. Vamos a resolver este ejemplo como el anterior pero
separando por casos y despus sumando las respuestas de cada uno de
los casos.
Caso 1:
Que la coleccin tenga 2 nias exactamente:
12 600.
Caso 2:
Que la coleccin tenga exactamente
1 nia:
3150.

(r;) CaO)=
(~5) C40) -

Caso 3: Que la coleccin no tenga nias: C) C~) = 252.


La respuesta al ejemplo es 12600 + 3 150 + 252 = 16002.

[1.21] Ejemplo. Un grupo de 15 personas quiere dividirse en 3


equipos de 5 personas cada uno. Cada uno tendr una labor especfica
9

1. Principios bsicos
distinta a las dems. De cuntas formas distintas es posible hacer la
distribucin?
Solucin.

Escojamos uno por uno los equipos.

La eleccin del

equipo puede hacerse de (~5) = 3003 formas; para elegir el


segundo equipo ya slo habr 10 personas de dnde escoger, por tanto
primer

ste se podr elegir de (~) = 252 formas. El tercer equipo quedar


formado automticamente con la eleccin de los otros dos. Entonces el
nmero

756756.

de formas de hacer la eleccin sucesiva es 3 003 x 252 x 1

[1.22] Ejemplo.
Un grupo de 15 personas quiere dividirse en 3
equipos de 5 personas cada uno. Todos los equipos tendrn la misma
labor. De cuntas formas es posible hacer la distribucin?
Solucin.
En este caso no hay distincin entre los equipos as
que hay que dividir el resultado del ejemplo anterior entre 3!, que es
el nmero de permutaciones de los equipos. La respuesta es entonces
126126.

[1.23] Ejemplo. En una bolsa hay 3 pelotas rojas y 2 azules. Se


quiere formar una fila con todas ellas. De cuntas maneras distintas
puede quedar la fila?
Solucin. Primera forma. Consideremos todas las permutaciones
de las' 5 pelotas y contemos cuntas de esas permutaciones son indistinguibles entre s. Las permutaciones de las 5 pelotas sabemos que son
5! = 120. En cualquiera de las permutaciones fijmonos en la ubicacin
de las pelotas rojas; por ejemplo - roja - roja roja. stas pueden
revolverse entre s (3! veces) formando colecciones indistinguibles, y lo
mismo ocurre con las del otro color . Vamos a explicar lo anterior con
ms detalle: Denotemos las pelotas rojas por Rl, R2 Y R3, y las azules
por Al y A2. Entonces las siguientes listas (en las que se han permutado las rojas pero se han dejado fijas las azules) representan la misma
coleccin:

10

1. Principios

Al
Al

Rl
Rl

A2
A2

R2
R3

R3
R2

Al
Al
Al
Al

R2
R2
R3
R3

A2
A2
A2
A2

Rl
R3
Rl
R2

R3
Rl
R2
Rl

bsicos

3!.

En cada una de ellas tambin se pueden revolver las azules entre s


(2! permutaciones). Entonces al considerar las permutaciones de las 5
pelotas,

cada arreglo se est contando

La respuesta

al ejemplo

es pues

3! x 2!

12 veces en lugar de 1.

3~~!= 10.

Segunda forma. Primero podemos contar las posibilidades para


colocar las pelotas rojas en los 5 lugares disponibles; esto nos dar la
eleccin de 3 lugares, que puede hacerse de (~) = 10 maneras. Para
colocar las 2 azules ya slo sobran 2 lugares as que esto se puede hacer
de (;) = 1 forma. El resultado es 10 x 1 = 10.

[1.24] Ejercicio. Escrbanse las 10 filas distintas que se pueden


formar con las pelotas en el ejemplo [1.23].
[1.25] Ejemplo. En una bolsa hay 3 pelotas rojas y 2 azules.
Cuntas filas distintas de 3 pelotas se pueden formar?
Solucin. Como son 5 pelotas en total pero slo se van a considerar filas de 3, hay que dejar dos pelotas sin colocar. Consideraremos
los distintos casos por separado y despus sumaremos las respuestas
parciales. Si las dos pelotas que quedan fuera son rojas, hay l~~!= 3
arreglos con las restantes. Anlogamente hay
= 1 fila que deja las
2 pelotas azules fuera, y 2~i! = 3 filas que dejan una azul y una roja
fuera. La respuesta al ejemplo es 3 + 1 + 3 = 7.

[1.26] Ejercicio.
[1.25].

Escribir los 7 arreglos de pelotas del ejemplo

En algunas ocasiones, para poder hacer bien las cuentas, nuestra


bsqueda de homogeneidad nos lleva a que es ms fcil contar lo opuesto
11

1. Principios

bsicos

de lo que queremos y despus restar de un total. Ilustramos esto con el


siguiente ejemplo.
[1.27] Ejemplo. De cuntas maneras pueden ordenarse en un
estante 3 cuadernos rojos, 4 azules y 2 verdes, si los verdes no deben
quedar juntos?
Solucin. Conviene contar primero todas las arde naciones posibles y despus restar aqullas en las que los verdes quedan juntos. El
nmero total de filas (incluyendo aqullas en que los verdes quedan
juntos

es 3!~2!= 1260. Para contar las que tienen juntos

los cuadernos

verdes pensemos stos como pegados formando un solo cuaderno; ahora


determinemos el nmero de arreglos con 3 cuadernos rojos, 4 azules y 1
verde; ste es 3~~!= 280. La respuesta al ejemplo es 1260-280 = 980.

Los ejemplos siguientes se refieren a la baraja usual de pkar: Cada


carta tiene un smbolo llamado nmero que puede ser cualquiera de los
13 smbolos siguientes: A, 2, 3, 4, 5, 6, 7, 8, 9, 10, J, Q o K, Y
otro smbolo llamado palo que puede ser cualquiera de los 4 siguientes:
(espada), C? (corazn), <;>(diamante) o .. (trbol). Todos los palos
se combinan con todos los nmeros para formar la baraja completa con

13 x 4
AQ
A0

52 cartas como se ilustra a continuacin:

'2Q
20

3Q
30

4Q
40

5Q
50

6Q
60

7Q
70

8Q
80

9Q
90

10Q
100

JQ QQ KQ
J0 Q0 K0

A. 2. 3. .4. 5. 6. 7. 8. 9. 10. J. Q. K.
A. 2. 3. 4. 5. 6. 7. 8. 9. 10. J. Q. K.

Se llama mano de pkar cualquier coleccin de 5 cartas de la baraja.


La siguiente nomenclatura es usual:
par: dos cartas del mismo nmero.
tercia: tres cartas del mismo nmero.
pkar: cuatro cartas del mismo nmero.
full: una tercia y un par.
flor: cinco cartas del mismo palo.
12

1. Principios

bsicos

corrida: cinco cartas con numeracin consecutiva (segn el orden


en que se escribieron arriba, pero permitiendo A tambin como nmero
final, en seguida de K).
Observemos que el nmero total de manos de pkar es
2598960.

en =

[1.28] Ejemplo.
Cuntas manos de pkar tienen tercia exactamente (es decir, que no sea full ni pkar).
Solucin. Primera forma. Ponemos 5 casillas: las tres primeras
para la tercia y las otras dos para las otras cartas. La primera carta
se puede escoger arbitrariamente; la segunda slo tiene 3 posibilidades
pues debe tener el mismo nmero que la primera; la tercera ya slo
puede ser elegida de 2 maneras distintas; como no importa el orden de
estas 3 cartas, este nmero deber dividirse entre 31. La cuarta carta
se debe escoger dentro de las 48 que son de nmero distinto al de la
tercia. Para la quinta carta ya slo sobran 44 cartas pues el nmero
debe ser tambin distinto. La cuarta y quinta pueden haberse escogido
en cualquier orden por lo que se deber dividir entre 21.

52 x ~ x ~
3.,
tercia

x, ~

x 14
2.

~
cartas distintas

= 54 912.

Segunda forma. Tambin formamos primero la tercia pero eligiendo


antes el nmero que le corresponder: Tenemos 13 nmeros para escoger y, una vez escogido el nmero, las 3 cartas que forman la tercia
deben escogerse dentro de 4 posibles; entonces el nmero de tercias es
13(:). Para escoger las otras dos cartas utilizando este mismo mtodo
razonamos como sigue: Hay que escoger 2 nmeros (pues queremos
que las otras 2 cartas sean de nmeros distintos) dentro de los 12 que
sobran; esta eleccin se puede hacer entonces de en formas. En cada
uno de estos nmeros que se hayan elegido hay que escoger 1 carta, cosa
que puede hacerse de (i) formas. El resultado escrito en esta forma es

13(:) x e;) G)"


13

1. Principios

bsicos

que, desde luego, tambin es igual a 54912. .


[1.29] Ejemplo.
tintos). exactamente?

Cuntas manos de pkar tienen dos pares (dis-

Solucin. Procedemos como en el ejemplo [1.28].


Primera forma.
1er

par

2 par

~...----....
fiZx.a~x.a
2!
2!
2!

44 = 123552.

(Nota: Hay que dividir entre 2! porque no importa el orden entre los
dos pares.)
Segunda forma.

C23)G) 2
[1.30] Ejemplo.

44

= 123"552.

Cuntas manos de pkar tienen corrida?

Solucin. El nmero ms bajo de la corrida puede ser cualquiera de


los siguientes: A, 2, 3, 4, 5, 6, 7, 8, 9 o 10, que son 10 posibilidades.
Pongamos 5 casillas; la primera casilla ser para la carta de nmero
menor, la siguiente casilla ser para el siguiente nmero, y as sucesivamente hasta la quinta casilla que ser para la carta con el nmero
mayor. Una vez escogido el nmero menor para la corrida, todos los
dems nmeros quedan determinados y lo nico que falta escoger es el
palo. Entonces la cantidad de corridas es lOx4x4x4x4x4= 10240.

Ejercicios
[1.31] De cuntas maneras diferentes se pueden ordenar 8 personas alrededor de una mesa redonda? (Nota: Dos distribuciones se
considerarn iguales si una se puede obtener de la otra mediante un
giro.)
14

1. Principios

bsicos

[1.32] De cuntas maneras distintas se pueden sentar 5 personas


en una fila de 8 asientos numerados del 1 al 8?
[1.33] Cuntas diagonales tiene un polgono regular de n lados?
[1.34] Probar la Frmula de Paseal:

(~:~) = (~) + (r:l)'


para r y n nmeros enteros con O~ r < n.
[1.35] El Tringulo de Paseal est definido como el tringulo de
nmeros en el que el rengln nmero n aparecen los n + 1 nmeros

( ~ ), (~), (~),

. . ., (n

: 1)' (~).

Se muestran a continuacin los primeros 4 renglones del Tringulo de


Pasca!. Utilizar la frmula del ejercicio anterior para construir los 10
primeros renglones.
1
1
1
2
1
1
1
3
3
1
4
4
1
6
[1.36] De un grupo de 24 personas se quiere elegir 5 representantes
de la siguiente forma: Pedro y Luis deben estar en el grupo elegido.
Hay 8 mujeres en total pero a lo ms deben figurar 2 en el grupo. De
cuntas maneras distintas puede hacerse la eleccin?
[1.37] De un grupo de 30 socios de un club se quiere elegir una mesa
directiva con un presidente, un secretario y 3 equipos de 2 personas
cada uno. Cuntas mesas directivas distintas se pueden formar?
[1.38] Cuntas palabras distintas se pueden escribir revolviendo
las letras de la palabra MATEMATICA?
15

1. Principios

bsicos

[1.39] De un conjunto de 10 botes de distintos colores se quiere


escoger 5 de tal manera que 3 sean para dulces y 2 sean para chocolates.
De cuntas formas distintas es posible hacer la eleccin?
[1.40] Se dispone de una coleccin de 30 pelotas divididas en 5
tamaos distintos y 6 colores diferentes de tal manera que en cada
tamao hay los 6 colores. Cuntas colecciones de 4 pelotas tienen
exactamente 2 pares de pelotas del mismo tamao (que no sean las 4
del mismo tamao)?
El siguiente problema se refiere al conjunto usual de 28 fichas de
domin en que cada ficha muestra dos nmeros de la coleccin O, 1, 2,
3, 4, 5 Y 6 (posiblemente repetidos), como esquematizamos a continuacin:

rnmJ

rnJQ1

ffiHJffim]~

rnm ffirn]

[QH][QIQ]~

LmJ ffiIm

[iH] GmJ GIl] [ID] [ill


cmJ~ rnrn [NID
~

[ID] ~

[ffi] [1]Q]
[QillJ
Se llaman fichas dobles aqullas en que lOs dos nmeros mostrados
son iguales. Se llama mano de domin cualquier coleccin de 7 de
las 28 fichas. Ntese que el nmero total de manos de domin es

e:) =

1184040.

[1.41] Cuntas manos de domin tienen por lo menos 2 fichas


dobles?

16

Seccin 2

Teorema del Binomio

El siguiente es un resultado muy importante en aritmtica. Lo


probaremos aqu utilizando algunas de las tcnicas de combinatoria
que hemos aprendido. Ms adelante volveremos a probarlo usando el
mtodo de induccin.
[2.1] Teorema del Binomio de Newton. Sean a y b nmeros
arbitrarios y sea n un nmero natural. Entonces

(a+b)" = (~)an + (7)an-lb+ ... + (~) rb'

+ ... + (:)bn

Demostracin.
La expresin (a + b)n significa que tenemos que
multiplicar a + b consigo mismo n veces. Entonces, al desarrollar todo
el producto, los trminos que obtenemos estn dados por todas las
posibles elecciones de los nmeros a o b en cada uno de los n factores
(por ejemplo, (a + b)3 = (a + b)(a + b)(a + b) = aaa + aab + aba + abb +
baa + bab + bba + bbb = a3 + 3a2b + 3ab2 + b3). Observemos entonces
que los trminos

obtenidos

son de la forma aBbr, con O ::;


s,r ::;
n y

2. Teorema del Binomio

s + r = n, es decir, s = n - r. Ahora notemos que an-r br aparece


cada vez que se eligi b en r de los factores y a en el resto, as que el

nmero de veces que aparece este trmino es

semejantes tenemos la frmula deseada. .

(;). Al agrupar

trminos

Como hemos visto, los nmeros (;) (para O :S: r :S: n) aparecen
como coeficientes en la expansin de un binomio elevado a la potencia
n; por esta razn reciben el nombre de coeficientes binomiales. En los
ejercicios [1.34] y [1.35] vimos que para una n elegida no muy grande
podemos obtener fcilmente los coeficientes binomiales sin recurrir en
cada caso a la frmula (nr ) = ( n _n\.,.
r .r.
[2.2] Ejemplo.

Solucin.
nomio:

Desarrollar (2x - y)5 .

Sustituimos a

(2x - y)5 =

2x y b

-y en la Frmula del Bi-

(~) (2x)5+ (~) (2X)4(-y) + (~) (2X)3(_y)2

+ (:) (2X)2(_y)3 + (~) (2x)( _y)4 + (:) (_y)5


= (2X)5+ 5(2x)4(_y) + lO(2x)3(-y)2
+ 1O(2x)2(_y)3 + 5(2x)( _y)4 + (_y)5

= 32x5 -

80x4y + 80x3y2 - 40x2y3 + lOxy4 - y5.

Ejercicios
[2.3] Utilizar el Teorema del Binomio y el Tringulo de Pase al (ver
ejercicios [1.34] y [1.35]) para desarrollar la expresin (2a - 3b2)8.
. [2.4] Utilizar el Teorema del Binomio para desarrollar

la expresin

(a + 2b - V4.
[2.5] Encontrar el coeficiente del trmino a7b4ce2en el desarrollo
18

2. Teorema del Binomio

de (a + b + e + d + e) 14. Sugerencia:
Teorema del Binomio.

Proceder

como en la prueba del

[2.6] Utilizar el Teorema del Binomio para probar la frmula

( ~) + (7) + (~) + .. . + (~) = 2n.


(Comparar con el ejemplo [3.2].)
[2.7] Utilizar el Teorema del Binomio para probar la frmula

(~) + (~) + (:) +...= (~) + (;) + (;) ....


Qu interpretacin se puede dar a esta frmula en trminos de subconjuntos de un conjunto?
[2.8] Probar que para cualquier nmero natural se tiene la frmula

(~)' + (~)' + (;)' +... + (:)' = e:).


Sugerencia: Examinar el coeficiente de xn al desarrollar ambos miembros de la igualdad (1 + x)2n = (1 + x)n(1 + x)n. (Comparar con el
ejercicio [5.3].)
[2.9]' Encontrar el trmino que no contiene a x en el desarrollo de

( v'X+ :x)'.

19

Seccin 3

Comparaciones

Hemos visto ya que para simplificar muchos problemas de combinatoria, es importante la interpretacin que se da a lo que se quiere
contar. De esta manera hemos visto la utilidad de hacer conteos indirectos. Ejemplos de esto los tuvimos gradualmente en [1.7] y [1.11], que
nos llevaron al desarrollo general
n

(r )

=nx

(n - 1) x . . . x (n - (r - 1)).

r!

Vimos en esa ocasin que convena contar arreglos en orden (n x (n 1) x . . . x (n - (r - 1))) y despus identificar aqullos que se hubieran
repetido (r!). Esta idea de comparar o de contar en forma indirecta
est implcita en muchos conteos (ver tambin, por ejemplo, el ejercicio
[1.15], o ms adelante, el Principio de Inclusin y Exclusin). En esta
seccin veremos algunos ejemplos en los que el contar de dos maneras
dIferentes lo mismo nos conduce a obtener ciertas frmulas en combinatoria (que a su vez pueden usarse para resolver otros problemas).

3. Comparaciones

[3.1] Ejemplo. Probar la frmula de Gauss


1+2+3+"'+n=

n(n + 1) .
2

Solucin. Contaremos las colecciones de 2 elementos que pueden


escogerse dentro de un conjunto de n+ 1 elementos de dos maneras diferentes. La comparacin de los dos resultados nos demostrar la veracidad de la frmula. Consideremos as el conjunto X = {XI, X2, . . . ,Xn+1}'
Pongamos los subconjuntos de X que tienen dos elementos en una lista,
como sigue:
{XI,X2},

{XI,X3},
{X2, X3},

{XI,X4}'
{X2, X4},
{X3,X4},

{Xl, Xn+1},
{X2, Xn+1},
{X3,Xn+1},
{Xn-I,

xn+d.

De esta lista es fcil observar que el nmero de subconjuntos de X


con 2 elementos es precisamente lo que aparece del lado izquierdo en la
igualdad que queremos probar. Por otro lado, sabemos que el nmero de
subconjuntos de 2 elementos que tiene un conjunto con n + 1 elementos
es (n~l), que es precisamente lo que aparece en el miembro derecho de
la igualdad, y as queda completa la demostracin. [3.2] Ejemplo.

Probar la frmula

(~) + (~) + (~) + .. . + (~) = 2n.


Solucin. Probaremos que cada uno de los miembros de la igualdad en la frmula cuenta el nmero de subconjuntos que tiene un conjunto de n elementos. Esto es claro para el miembro izquierdo (ver
ejercicio [1.14]). Para probar que tambin el miembro derecho representa lo mismo, una vez ms, contemos otra cosa que es equivalente:
22

3. Comparaciones

el nmero de sucesiones de longitud n que se pueden formar con dos


smbolos S y N, es decir el nmero de "palabras" de n letras que
pueden formarse con los smbolos S y N. Obviamente, este nmero
es 2n, que es el miembro derecho de la igualdad buscada, as que, para
completar nuestra prueba, bastar que probemos que el nmero de
sucesiones mencionado es tambin el nmero de subconjuntos. Para
lograrlo, establezcamos una correspondencia entre las sucesiones y los
subconjuntos de manera que cada sucesin represente un sub conjunto
y viceversa. Esto lo podemos hacer observando que para determinar un
subconjunto hay que ir tomando uno a uno los elementos del conjunto
total, e ir diciendo si el elemento pertenece (S) o no (N) al subconjunto.
Para que esto quede ms claro, ilustremos el "apareo" de sucesiones con
subconjuntos

en el caso del conjunto

X = {a, b,e} (n = 3):

{a, b,e} f-+ SSS


{a, b}

f-+

SSN

{a, e}
{b,c}

f-+

SNS
NSS

{a}
{b}

f-+

f-+

f-+

SNN
NSN

{e} f-+ NNS


{ } f-+ NNN.

Es interesante tambin notar que en el ejemplo anterior, al probar


que el nmero de subconjuntos de un conjunto con n elementos es
2n, establecimos una comparacin (en este caso, correspondencia uno a
uno) entre los subconjuntos y las sucesiones de longitud n que constan
de los smbolos S y N.

Ejercicios
[3.3] Probar que si m, n y r son naturales con O :S r :S m, n,
23

3. Comparaciones

entonces

(m

; n) = (~) (~) + (7) (r : 1) + (;) (r :

2) + . . . + (~) (~)

[3.4] Contar el nmero de ternas de nmeros del 1 al n (n natural)


que estn en orden creciente de dos maneras distintas para probar la
frmula

(;) =
(Ver [4.27].)

24

(~) + (~) +...+

(n~l).

Seccin

Induccin

Matemtica

La induccin matemtica es un mtodo muy til en algunas demostraciones. Se emplea generalmente al probar frmulas o propiedades
de nmeros naturales. En esta seccin, adems de ilustrar ampliamente
el mtodo de demostracin por induccin, lo aprovecharemos para probar algunas frmulas y propiedades de nmeros enteros que son tiles
en Matemticas. Empecemos con un ejemplo sencillo para ilustrar el
mtodo.
[4.1] Ejemplo. Analicemos la sucesin (lista) de nmeros n2 + n
para n natural. El primer trmino de nuestra lista es 2, pues cuando
n = 1, n2 + n = 12+ 1 = 2; el segundo trmino es 6 ya que 22+ 2 = 6.
As obtenemos la sucesin:
2,6,12,20,30,42,56,72,90,...
Podemos notar que todos los trminos que escribimos son pares. Ser
cierto que todos los trminos de la sucesin son pares? La respuesta es
s. Podemos probar esto directamente (sin usar induccin matemtica),

4. Induccin

Matemtica

observando que para cualquier natural n, el nmero n2 + n se puede


escribir como n( n + 1), o sea que todos los trminos de la sucesin son
el producto de dos enteros consecutivos y, como uno de los dos enteros
debe ser par, el producto tambin lo ser.
Ms abajo haremos otra demostracin del mismo resultado (es decir, de que todos los trminos de la sucesin son pares) utilizando el
mtodo de induccin, pero primero hablemos un poco sobre el procedimiento que seguiremos:
Notemos que con la sola proposicin: "Para cualquier natural n, el
nmero n2 + n es par", estamos abarcando una infinidad de proposiciones (una para cada n): 12 + 1 es par, 22 + 2 es par, 32 + 3 es par,
etc. Si tratamos de probar cada una individualmente no llegaremos
muy lejos; en cambio, si probamos
(11) que la primera proposicin es cierta y
(12) que, cada vez que todas las proposiciones anteriores a una fija
P sean verdaderas tambin lo es la misma P,
entonces podemos concluir que todas las proposiciones son ciertas.
En efecto, comprobemos por ejemplo que de nuestro lIltodo de demostracin (probando (11) e (12)) se deduce que la 4a proposicin es
cierta: La la proposicin es cierta por (11); utilizando esto tenemos
que, por (12), la 2a proposicin tambin es cierta; pero entonces, al
tener que la primera y la segunda afirmaciones son ciertas, por (12)
deducimos que la 3a proposicin es verdadera; ahora ya tendemos que
la primera, la segunda y la tercera son ciertas as que, otra vez usando
(12) concluimos que la 4a proposicin tambin es vlida.
As como llegamos a la 4a proposicin, a cualquier proposicin
podemos llegar en un nmero finito de pasos, as que, con slo demostrar (11) e (12), podemos afirmar que todas las proposiciones son
verdaderas.
1a proposicin cierta:::}

1: propos~c~~ncierta

{ 2 proposlclon

cierta:::}

1: propos~c~~nc~erta
2 proposlclOn

cIerta:::}

{ 3a proposicin cierta

. ..

Probemos entonces (11) e (12) en nuestra situacin particular, esto


es, para probar la afirmacin: Para todo natural n, el nmero n2+ n
26

4. Induccin Matemtica

es par.
Demostracin

de (Id.

12 + 1 = 2, que es par.

Demostracin de (12), Supongamos que k ;::: 2 Y que todas las


afirmaciones desde la primera hasta la k-sima (es-decir, la que se encuentra en el lugar k) son verdaderas. Queremos utilizar esta suposicin
para probar que, en este caso, tambin ser verdadera la (k+ l)-sima.
De hecho en nuestra demostracin utilizaremos slo la validez de la
k-sima (es decir, no requeriremos utilizar toda la fuerza de nuestra suposicin). El que la k-sima afirmacin sea cierta nos dice que tomamos
como verdadero el que k2 + k sea par y queremos usar esto para probar que (k + 1)2 + (k + 1) tambin es par. Desarrollemos la expresin
(k + 1)2 + (k + 1) para poder compararla con k2 + k:
(k+1)2+(k+1)

k2+2k+1+k+1

(k2+k)+2k+2

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

De esta manera hemos logrado expresar (k + 1)2 + (k + 1) como suma


de dos nmeros pares, a saber k2 + k (que estamos suponiendo es par)
y 2(k + 1) (que es par por tener el nmero 2 como factor). Como la
suma de nmeros pares tambin es par, (k + 1)2+ (k + 1) es par, como
queramos probar. Esto termina la demostracin de (12),
Puesto que (11) e (12) quedaron probadas en nuestro caso, concluimos que para todo nmero natural n, el nmero n2 + n es par. N.tese que en el mtodo de induccin se necesita un punto de partida: demostrar que una primera afirmacin es verdadera; en algunos
casos, como veremos ms adelante (ver ejemplo [4.11]), el punto de
partida deber abarcar ms de una afirmacin puesto que de alguna
manera se utilizar dentro de la demostracin de (12) el que haya un
nmero determinado de proposiciones ya demostradas. A ese punto
de partida le llamaremos base de la induccin o, en forma abreviada,
BL La suposicin de que todas las proposiciones anteriores a una dada
son verdaderas se llama hiptesis de induccin o HL Como vimos en el
ejemplo, en algunas ocasiones, basta con que la proposicin anterior a
una dada sea cierta para que la proposicin dada tambin lo sea; en estos casos la hiptesis de induccin puede simplificarse. La prctica nos
dir qu tan fuerte necesitamos hacer nuestra hiptesis de induccin y
27

4. Induccin Matemtica

cuntas afirmaciones debern tomarse como base de induccin.


Una forma de ilustrar porqu el mtodo de induccin proporciona
una demostracin correcta de algunas proposiciones es la siguiente:
Supongamos que se tiene una hilera de fichas de domin colocadas de
manera tal que cada vez que una caiga empujar a la siguiente para
que tambin caiga (esto corresponde a (12)); si una persona empuja la
primera ficha (corresponde a (I)), podremos afirmar que cada una de
las fichas deber caer en algn momento.
En (12), la forma en que uno hace ver cmo la validez de una
proposicin (o varias proposiciones) "empuja(n)" la validez de la siguiente depende del problema particular de que se trate; en algunos
casos la demostracin puede ser muy sencilla y en otros muy complicada.
Por otro lado, el que una persona no pueda demostrar satisfactoriamente un resultado por induccin, no quiere decir nada sobre la validez
del resultado; puede ser simplemente que la sucesin de afirmaciones
no tenga una liga tal que la validez de cada afirmacin "empuje" la
validez de la siguiente. Siguiendo la analoga de las fichas de domin
podramos proponer un ejemplo en que las fichas de domin estuvieran
alejadas entre s pero que de todas maneras se cayeran por otra razn
(por ejemplo porque colocramos un ventilador con suficiente fuerza
enfrente de ellas). Tambin la prctica nos dir en qu tipo de proposiciones podemos intentar hacer una demostracin por induccin y en
cules no.
Es importante tambin aclarar que la hiptesis de induccin debe
abarcar la base de induccin; es decir, la primera afirmacin que se
suponga verdadera en la hiptesis de induccin debe haber quedado
demostrada independientemente en la base. Tambin es importante
hacer notar que en cualquier demostracin por induccin hay un paso
comparativo en el que se establece la relacin o liga que existe entre
una afirmacin y la(s) precedente(s).
En resumen, para hacer una demostracin por el mtodo de induccin matemtica se debern seguir los siguientes tres pasos.
28

4. Induccin Matemtica

Primer paso. Identificar la sucesin de proposiciones que abarca la


proposicin general que se va a demostrar.
Segundo paso. Identificar y probar la base de induccin.
Tercer paso. Hacer una hiptesis de induccin (suposicin de que
todas las proposiciones que preceden a una proposicin fija son verdad eras) abarcando la base de induccin y utilizar esa suposicin (o
parte de ella), para probar que la proposicin fija tambin es cierta.
(Para ello debe haberse hecho una comparacin entre la afirmacin fija
que se va a demostrar y la(s) anterior(es)).
Aplicaremos estos tres pasos en los siguientes ejemplos.
[4.2] Ejemplo.
2n

Demostrar que para n = 4,5,6,...,

se tiene que

< nI.
Solucin.

La sucesin de proposiciones es:

1a proposicin: 24 <
2a proposicin: 25 <
3a proposicin: 26 <
4a proposicin: 27 <

41.
5!.
6!.
71.

La base de induccin consiste en demostrar la 1a afirmacin. La


demostracin aqu es sencilla puesto que 24 = 16, 4! = 24 Y 16 < 24,
, 4
4
aSl 2 <::..
La hiptesis de induccin puede ser, en este caso, la siguiente: Para
cierta k 2:4 se tiene 2k < k!. (Notemos que la primera afirmacin que

'

se toma como cierta en esta hiptesis

es para k

4 Y que sta qued

demostrada en la base de induccin.) Ahora usaremos la hiptesis de


induccin para hacer ver que 2k+1 < (k + 1)!' En efecto, esto se deduce
de la siguiente cadena de igualdades y desigualdades en la que en la
primera desigualdad se us la hiptesis de induccin y en la segunda
desigualdad se utiliz que k + 1 > 2 (esto ltimo es porque k 2: 4):
2k+1 = 2 X 2k

< 2 x k! < (k + 1) x k! = (k + 1)!.

(Notemos aqu que las dos igualdades en la cadena fueron de tipo com29

4. Induccin Matemtica
parativo: sirvieron para establecer la liga entre la afirmacin que estaba
por probarse y la anterior, que se supona cierta segn la hiptesis de
induccin.) Hemos completado satisfactoriamente los tres pasos en el
mtodo de induccin, as que el resultado queda probado. [4.3] Ejemplo.

Probar por induccin la frmula de Gauss

1 + 2 + 3 +... + n

= n(n 2+ 1) '

para n natural. (Ver ejemplo [3.1].)


Solucin. Ntese que el miembro izquierdo de la frmula indica
que dado el nmero natural n hay que sumar todos los naturales ms
chicos que n, incluyendo el mismo n. As, la sucesin de proposiciones
es:

1a proposicin:

2a proposicin:

1+ 2 =

3a proposicin:

1+ 2+ 3 =

4a proposicin:

1+ 2+ 3+ 4 =

lx2
2

.
2x3
2

.
3x4
2

.
4x5
2

En' este caso la base de la induccin consiste en demostrar la la


proposicin, la cual es obvia.
Tomaremos como hiptesis de induccin la siguiente: Para cierta
k ~ 1 (abarcando la BI) se tiene que 1+2+3+:' .+k = k(k2+1).Queremos

usar esto para probar que 1+ 2+ 3+. . .+ (k + 1) =

(k+1)((~+l)+1)

. Para

ello tomamos el lado izquierdo de la igualdad que queremos probar y


buscamos la forma de acomodar los trminos para usar la hiptesis de
induccin y despus obtener el lado derecho de la igualdad:

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

4. Induccin

Matemtica

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

2
(k + 2)(k + 1)

Notamos que la primera igualdad es el paso comparativo y en la segunda


igualdad se us la HI. Esto termina la demostracin. Nota. La frmula del ejemplo anterior puede probarse tambin sin
usar el mtodo de induccin (ni combinatoria). En efecto, llamemos Sn
a la suma de los primeros n naturales, escribamos Sn de dos maneras
diferentes y sumemos miembro a miembro:
1
n

Sn
Sn
2Sn

+
+

2
n - 1

+ ...
+ ...

n - 1 +
2
+

+
+

n
1

+ (n + 1) + (n + 1).

(n + 1) + (n + 1) + ...

De la ltima ecuacin tenemos la frmula buscada.


Con induccin podemos tambin probar frmulas en que hay ms
de una variable. El siguiente es un ejemplo tpico. El contenido de la
frmula es muy til en diversos problemas.
[4.4] Ejemplo. Si r es cualquier nmero distinto de 1 (no necesariamente
natural), entonces
,
1 + r + r 2 +... + rn =

rn+l

r -1

para cualquier natural n.


Demostracin.

La sucesin de proposiciones est indicada por n:

1a proposicin: 1 + r = rl:~~l.
2a P ro p osicin: 1 + r + r2 = r2+1-1
r-l

= r3:~ ~1 .
4a proposicin: 1 + r + r2 + r3 + r4 = r4:~~1
.
3a proposicin: 1 + r + r2 + r3

31

4. Induccin Matemtica
Para probar la primera afirmacin (base de la induccin) recordemos que (r + l)(r - 1) = r2. - 1. Ahora basta dividir esta ecuacin por
r -lo
La H 1 en este caso es: "Para cierta k 2: 1 se cumple 1 + r + r2 +

.. . + rk = rk:~11." A partir de esta suposicin probemos la frmula


= k + 1:
1 + r + . . . + rk+l = 1+ r + . . . + rk + rk+l

correspondiente para n

rk+l - 1
r-1

+ rk+l

(por H 1)

- rk+l - 1 + (r - l)rk+l
r-1
rk+l - 1 + rk+2 - rk+l
r-1
rk+2 - 1

r-1
r(k+l)+1- 1
r-1
De esta serie de igualdades concluimos que, si la frmula se supone
vlida para

= k,

entonces tambin

lo ser para n

k + 1, Y con

esto completamos satisfactoriamente todos los pasos en el mtodo de \


induccin. Por lo anterior podemos afirmar que la frmula es cierta

para cualquiernatural n. .
[4.5] Ejercicio. Probar la afirmacin del ejemplo anterior en forma
no inductiva. Sugerencia: Utilizar la misma idea con la que probamos
la base de induccin.
Probaremos otra vez (ver [2.1]) la Frmula del Binomio utilizando,
en esta ocasin, la induccin.
[4.61 Teorema del Binomio de Newton. Sean a y b nmeros
arbitrarios y sea n un nmero natural. Entonces

32

4. Induccin

(a

+ bt

Matemtica

(~)an+ (~)an-lb+... + (;)an-rbr+... + (~)bn.

Demostracin.

La sucesin de proposiciones es:

1a proposicin: (a + b)l = (~)a + G)b.


2a proposicin:
(a + b)2= (~)a2+ G)ab
+
3a proposicin:

(;)b2.
(a+ b)3= (~)a3
+ (Da2b
+ G)ab2
+ G)b3.

La prueba de la base de induccin (es decir de la validez de la


frmula para n = 1) es inmediata. Hagamos la hiptesis de induccin:
"Para cierta

(a

k 2:: 1 se tiene

+ b)k= (~)ak + (~)ak-lb+... + (~)ak-rbr+... + (~)bk."

Utilizando esta hiptesis probemos que la frmula tambin vale para


n = k + 1. Utilizaremos la Frmula de Pase al

(;:~)= (;) +(r:l)'


para r y n nmeros enteros con O S; r < n (ver ejercicio [1.34]). Por
definicin y por H 1 tenemos
I

(a + b)k+l

= (a + b)k(a + b)

= ((~)ak+ (~)ak-lb+"'+ (~)ak-rbr+...+(~)ak)(a+b).


Ahora, desarrollando la multiplicacin indicada (primero multiplicando
por a y despus por b) obtenemos

(~)ak+l+ (~)akb+... + (~)ak-r+lbr+... + (~)abk+l


+ (~)akb
+... + (r ~ ~)ak-r+1br
+... + (k~ l)bk+l+ (:)bk+1.
33

4. Induccin Matemtica
Al agrupar trminos semejantes en toda esta suma, observemos que el
primero y el ltimo trminos aparecen slo una vez y sus respectivos
coeficientes

son (~)

= e~l)

y (Z)

otros trminos ak+l-rbr para O ;::: r


multiplicar

(~)ak-rbr

k+l

= 1 = (ZD; cada uno de los


k, aparece dos veces, una al

por a y otra al multiplicar

b; entonces, por la Frmula


Obtendremos entonces

(a+ b)

;:::

k+1

( O )

de Pase al quedar

a k+l +...+

k+ 1

C~l)ak-(r-l)br-l
con coeficiente

ak+l-r br +...+

por
(k~l).

k+1

( k+1 )

bk+l

'

como queramos. La induccin nos dice entonces que la frmula vale

para todo nmeronatural n. .


Recordemos que dado un nmero natural n hemos definido n! como
el producto de todos los naturales menores o iguales que n y que hemos
convenido

que O! = 1. La definicin de n! tambin

se puede dar en

forma inductiva o recursiva (es decir, se tiene una base y la definicin


de los trminos despus de esa base se da en relacin con los trminos
anteriores que ya se suponen conocidos). Dicha definicin recursiva es
como sigue: Se define O!= 1 y, para n ;::: 1 se define n! = n x (n - 1)!.
En los siguientes ejemplos compararemos algunas definiciones no
recursivas con otras recursivas.
,

[4.7] Ejemplo. Definamos la sucesin al, a2, a3, . . . recursivamente por al = 1 y, para n ;::: 2, an = an-l + 2, decir cul es el valor de los
primeros 6 trminos de la sucesin y dar una definicin no recursiva de
la misma sucesin.
Solucin.

Para obtener los primeros 6 trminos de la sucesin par-

timos de la base al

1 Y vamos construyendo

los siguientes

trminos

sumando 2 al trmino recin construido:

1, 3, 5, 7, 9, 11. Una
definicin no recursiva de la misma sucesin es an = 2n - 1.
El ejemplo anterior es un caso particular de las llamadas sucesiones o progresiones aritmticas; en general una sucesin aritmtica
34

4. Induccin Matemtica

es una sucesin de nmeros al, a2, a3, . . . en que la diferencia entre dos

trminos consecutivos cualesquiera es un nmero constante d, es decir


anH = an + d, para toda n.
Otros ejemplos de sucesiones aritmticas son:
1,2,3,4,5,... (aqu d = 1 Y al = 1),
2,4,6,8,10,... (aqu d = 2 Y al = 2),
10,17,24,31,38,... (aqu d= 7 Y al = 10).
O,-~, -1, -~, -2, -~,... (aqu d = ~l Y al = O).
Hemos visto que podemos determinar cualquier sucesin aritmtica
por recursin, es decir, en forma inductivaj es de esperar entonces que
las demostraciones de afirmaciones sobre sucesiones aritmticas utilicen de alguna manera la induccin. Damos a continuacin un ejemplo
sencillo de esto que nos permitir trabajar en forma no recursiva con
sucesiones aritmticas.
[4.8] Ejemplo.

Sea al, a2, a3, . . . una sucesin aritmtica con dife-

rencia d (es decir, para toda n, anH = an + d. Probar que para n 2 2


se tiene an = al + (n - l)d.
Demostracin.
La sucesin de afirmaciones es:
a2
a3

= al + (2 - l)d.
= al + (3 - 1)d.

3a afirmacin:

a4

4a afirmacin:

a5

= al + (5 - l)d.

la afirmacin:
2a afirmacin:

al

+ (4 - l)d.

La base de induccin es, en este caso, la primera afirmacin (es


decir, la afirmacin para n = 2). Es fcil darse cuenta de la validez
de esta proposicin pues, por definicin, a2 = al + d. Hagamos ahora
la hiptesis de induccin: "Para cierta k 2 2 es verdad que ak =
al + (k - l)d". Utilizando esta HI probemos que tambin es cierto el
resultado para n = k + 1:
akH

= ak + d

(por definicin)
35

4. Induccin

Matemtica

= al + (k - 1)d + d
= al + kd.

(por H I)

Esto termina la demostracin. Como mencinamos arriba, el ejemplo anterior nos permite usar
una nueva definicin no recursiva de sucesiones aritmticas; utilizando
esta nueva definicin podramos probar afirmaciones sobre sucesiones
aritmticas sin utilizar la induccin, en particular, podramos conocer
cualquier trmino de la sucesin sin necesidad de conocer el anterior.
[4.9] Ejercicio. Dada la sucesin aritmtica con primer trmino
al = 2 Y d = encontrar
alOO'

[4.10] Ejemplo.

Probar que si al, a2,. . . es una sucesin aritmti-

ca con diferencia d, entonces para toda n ~ 2, la suma Sn := al

+ a2 +

. . . + an

de los primeros n trminos de la sucesin se puede calcular


segn la siguiente frmula:
Sn

= n(al 2+ an) .

Solucin. No utilizaremos induccin sino el resultado obtenido en


el ejemplo [4.8] y la Frmula de Gauss (ver [4.3]):
Sn

= al + (al + d) + (al + 2d)+ ... (al + (n - 1)d)(por[4.8])


=

nal

(d + 2d + . . . + (n - 1)d)

= nal + (1 + 2 + ... + (n - 1))d


= nal + n(n 2- 1) d
n
= -(2al
+ (n - 1)d)
2
n

2(al + an)

Esto termina la demostracin. 36

(por Gauss)

(por [4.8])

4. Induccin Matemtica
En todas las pruebas por induccin que hemos hecho hasta el momento, al demostrar que la (k + l)-sima afirmacin es verdadera slo
hemos utilizado la validez de la k-sima afirmacin; inclusive, en cada
caso simplificamos la hiptesis de induccin de tal manera que abarcara
slo la afirmacin anterior a la que queramos probar y no todas las anteriores. En los ejemplos que trataremos a continuacin s necesitaremos
hacer la hiptesis de induccin como la anunciamos al principio de esta
seccin. La diferencia entre los casos que siguen y los anteriores es que
cada afirmacin est ligada no slo a la que la precede sino a una o ms
de las anteriores. La prctica nos dir cmo reconocer en qu caso nos
encontramos; mientras tanto, podemos siempre hacer la hiptesis de
induccin en su forma ms general y, una vez que estemos en el tercer
paso de la demostracin inductiva, utilizar slo lo que necesitemos de
la hiptesis.
Considerando que llegado este punto ya debe ser obvio para el lector el primer paso de la induccin (es decir, identificar la sucesin de
afirmaciones que abarca la afirmacin general que se quiere probar), de
aqu en adelante ya no incluiremos ste en nuestras demostraciones.
[4.11] Ejemplo. La sucesin de Fibonacci 11,12,13,... se define
como sigue: f = 1,12 = 1 y, para n 2: 3, 1n = 1n-1 +1n-2. Construir los primeros 10 trminos de la sucesin de Fibonacci y probar la
siguiente frmula que nos proporciona una definicin no recursiva de la
sucesin:
-

1n -

e+2v'5f

- e-2v'5f

V5

Solucin. Construyamos los primeros 10 trminos de la sucesin


siguiendo la definicin: Los primeros dos trminos son ambos 1 y, para
construir cada uno de los trminos siguientes, sumemos cada vez los
ltimos dos que ya tengamos: 1,1,2,3,5,8,13,21,34,55.
Como pudimos observar en la misma definicin, para conocer un trmino es necesario conocer no slo el inmediato anterior sino los dos que le preceden.
Es natural entonces pensar que una demostracin por induccin de una
37

4. Induccin Matemtica

afirmacin sobre todos los trminos de la sucesin de Fibonacci deba


tener una hiptesis de induccin que abarque las afirmaciones correspondientes a los dos trminos que preceden al que se considera en ese
momento. Por otro lado, los primeros dos trminos estn dados de
manera independiente y los dems se basan en ellos; por esta razn, la
base de induccin debe constar de la prueba de las dos afirmaciones correspondientes a stos trminos. Tomemos el lado derecho de la frmula
que queremos probar para n

(1+2v'5f -

(~f

1:

- (1+ V5)- (1 - V5) = 2V5 = 1 = 11'


-

2V5

Hagamos ahora lo mismo para n

(~)2

- (~)2

V5

= 2:

- (1+2V5+5) - (1-2V5+5)
-

4V5

= 4V5 = 1,
4V5

que es igual a 12' Con esto concluimos la base de induccin. Ahora


tomemos k ~ 3 Y hagamos la hiptesis de induccin: "La frmula es
verdadera para todos los naturales menores que k". Tenemos entonces
Ik

= Ik-l + Ik-2

e+2v'5) k~l

- (~)k-2

(por definicin)
- e-2v'5) k-l

(~+

e+2v'5)k-2 - e-2v'5) k-2


V5
(por H 1)

1) - (~)k-2

(~+

1)

V5

- (~)k-2 (~)

- (~)k-2 (~)

V5

Por otro lado, consideremos el miembro derecho de la frmula para


38

4. Induccin Matemtica

n= k:

(~)k

(~)k - (~)k-2 (~r

V5

- (~)k-2

- (~t-2

(~)2

V5
e+2{5+5)- (~t-2

V5

- (up)k-2 (~)

(l-2{5+5)

- (~)~-2 (~)
V5

Hemos obtenido lo mismo que tenamos arriba, as que la frmula


tambin es verdadera para n = k, Y esto concluye la demostracin. [4.12] Ejemplo. Definamos una sucesin ao, al, a2,. . . como sigue:
ao = 1 y, para n ~ 1,

an = (~)ao + (~)al + (~)a2 +... + (n: l)an-l'


Probar que todos los trminos de la sucesin son impares.
Solucin.
Antes de empezar la demostracin de que todos los
trminos son impares notemos primero que en la misma definicin de
la sucesin se hizo una recursin que utiliza no slo el trmino anterior
al que se est definiendo sino todos los anteriores. Es natural entonces
pensar que para probar que un trmino an (n ~ 1) es impar, debemos utilizar el que todos los anteriores (ao, al, a2, . . ., an-) lo son; as
que en este caso, la hiptesis de induccin deber abarcar todos stos.
.Conviene tambin escribir los primeros trminos de la sucesin, pues
el anlisis cuidadoso de varios trminos en particular muchas veces da
una idea de cmo hacer la demostracin general. (Nota: Esto no sera
necesario si utilizramos congruencias (mdulo 2), que es una tcnica
para estudiar la divisibilidad entre enteros; lo que sigue se simplificara
39

4. Induccin Matemtica

considerablemente utilizando, entonces, la frmula de [2.6].) Tenemos:


ao = 1,
al

a2

= (~) x 1
= 1 x 1 = 1,
= (~) x 1 + (~) x 1

= 1 x 1 + 2 x 1 = 3,
a3

= (~) x 1 + (~) x 1 + (~) x 3

=1x
a4

1+ 3 x 1+ 3 x 3

= 13,

= (~) x 1 + (~) x 1 + (~) x 3 + (:) x 13

= 1 x 1 + 4 x 1 + 6 x 3 + 4 x 13 = 75,

a5

= (~) x 1 + (~) x 1+ (~) x 3 + (:) x 13+ (:) x 75

= 1 x 1 + 5 x 1 + 10 x 3 + 10 x 13 + 5 x 75 = 541.

Observamos aqu que los coeficientes que van apareciendo son los del
tringulo de Pascal, el cual sabemos que es simtrico respecto a la vertical central (esto es,

(;) = (n~r)). Tambin

sabemos que los trminos

centrale,s en los renglones pares (es decir, los de la forma (i)) son todos
nmeros pares (pues son la suma de los dos nmeros iguales arriba de
l). Hechas estas observaciones procedamos con la demostracin.
La base de induccin es la prueba de que el primer trmino de
la sucesin (es decir, ao) es impar, lo cual es cierto por definicin.
Tomemos k 2::1 Ysupongamos que ao, al ,a2, . . .,ak-l son impares (sta
es nuestra hiptesis de induccin). Probaremos que ak es impar. Dividimos la prueba en dos casos: cuando k es impar y cuando k es
par. En el primer caso, factorizando los coeficientes binomiales con suS
simtricos, tenemos
ak

40

= 1+ (~)

(al + ak-l)+

(~)

(a2 + ak-2)+...+ (k:l)

(ak;:l+ a~).

4. Induccin Matemtica

Ahora utilizamos la hiptesis de induccin: como cada ai (con 1 S

i S k - 1) es impar, cada una de las sumas al


ak-l

+ ak+l

+ ak-l,

a2

+ ak-2, ...,

es un nmero par; con esto ya es claro que ak es impar,

y ~qu terkina la prueba para el caso en que k sea impar. En el caso


en que k sea par, agrupamos de la misma manera pero nos sobrar un
trmino sin agrupar:
ak

= 1 + (~) (al + ak-l) + (~) (a2+ ak-2)+... + (;)a~.

Sin embargo, el trmino no agrupado tambin ser par pues el coeficiente binomial en l lo es. Esto concluye la prueba en el caso en que
k sea par. Hemos completado satisfactoriamente los pasos de la induccin en todos los casos as que todos los trminos de la sucesin son

impares. El resultado que sigue ya lo habamos probado en la seccin 3 con


las tcnicas de esa seccin. Lo probaremos ahora usando el mtodo de
induccin matemtica.
[4.13] Proposicin. Todo conjunto con n elementos tiene 2n subconjuntos (ver ejemplo [3.2]).
Demostracin.
El resultado es obvio para cuando n = O pues el
conjunto con O elementos slo tiene un subconjunto que es l mismo.
Sea n 2 1; HI: "Todo conjunto con n -1 elementos tiene 2n-l subconjuntos." Consideremos el conjunto X = {Xl, X2,"', xn} con n elementos. Queremos utilizar la HI para probar que X tiene 2n subconjuntos.
Consideremos el conjunto Y obtenido al quitarle a X el elemento Xn'
Por HI, Y tiene 2n-l subconjuntos. Ahora bien, los subconjuntos de X
podemos dividirlos en dos clases: los que no tienen al elemento Xn (es
decir, los que estn contenidos en Y) y los que s lo tienen. El nmero
de conjuntos de las dos clases es el mismo pues cada conjunto de la segunda clase se obtiene adjuntando el elemento Xn a uno de los conjuntos
de la primera. Entonces, por HI, cada una de estas clases tiene 2n-l
conjuntos;

en total

X tendr

2n-l

+ 2n-l

= 2 x 2n-l = 2n

como queramos probar. Esto termina la demostracin.

subconjuntos,

41

4. Induccin

Matemtica

Ejercicios

[4.14] Hacer una prueba inductiva y otra no inductiva de que el


producto de tres enteros consecutivos es mltiplo de 6.
[4.15] Hacer una prueba inductiva y otra no inductiva de la siguiente frmula para n natural:
1
1
1
n
-+-+...+
=-.
1x 2 2x 3
n x (n + 1)
n+ 1
Sugerencia: Para la prueba no inductiva, observar que k(k~l)

= t - k~l.

[4.16] Sea X = {Xl,X2,X3,X4}' Encontrar las dos clases de subconjuntos de X de que se habla en la demostracin de [4.13] y aparear
los conjuntos de una clase con los de la otra como indica esa prueba.
[4.17] Demostrar por induccin que todo conjunto tiene la misma
cantidad de sub conjuntos con un nmero par de elementos que con un
nmero impar. (Comparar con [2.7].)
[4.18] Probar por induccin que para n natural se tiene la frmula:
12 + 22 + 32 +...

+ n2

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

[4.19] Probar la frmula del ejercicio anterior en forma no inductiva


como sigue: Para k = 1,2,... sea ak = (k + 1)3 - k3. Calcular la
suma al + a2 + . . . + an de dos maneras distintas e igualar. Despejar
12+ 22 + 32 + ... + n2.
[4.20] Calcular directamente la suma 13+ 23 + 33 + . . . + n3 para
n = 1,2,3 Y 4. Basndose en estos ejemplos proponer una frmula
para calcular la suma para cualquier natural n y probar la frmula por
induccin.
[4.21] Calcular la suma 13 + 23 + 33 +
42

... + n3

utilizando

un ra-

4. Induccin Matemtica
zonamiento parecido al del ejercicio [4.19]. Sugerencia: En este caso
deber considerarse ak = (k + 1)4 - k4 para k = 1,2, . . ..
[4.22] Calcular la suma
1 x 1000 + 2 x 999 + 3 x 998 + . .. + 999 x 2 + 1000 x 1.
[4.23] Calcular la suma
111
1
1 x 3 + 3 x 5 + 5 x 7 + . . . + 999 x 1001 .

[4.24] Sea. ao,al ,a2,. . . la sucesin de nmeros definida recursivaan-l+an-2


men t e como sIgue: ao = - 1 , al = 1 y, para n_,> 2 an =
Probar por induccin que para n 2 1, an 2 o.

[4.25] Una sucesin o progresin geomtrica con razn r es una


sucesin de nmeros al, a2,' . . en que cada uno se obtiene del anterior
multiplicando por el nmero r (es decir, para n 22, an = an-Ir). Dar
una definicin no re cursiva para la sucesin geomtrica con al
r

~. Calcular la suma de los primeros

=5

100 trminos de esta sucesin.

[4.26] Probar por induccin la frmula siguiente para n natural:

(~) + (7) + . .. + (~) = 2n.


(Comparar con [2.6]y [3.2].) Sugerencia: Utilizar la Frmula de Pasea!.
[4.27] Probar por induccin la frmula siguiente para n y k enteros
con O ::; k ::; n:
k
(k )

k+1
( k )

k+2

+( k )+

. ..

+ ( k)

n+ 1

( k+1' )

Sugerencia: Usar la Frmula de Pasea!. (Ver [3.4].)


[4.28] La siguiente afirmacin es obviamente falsa: "En cualquier
43

4. Induccin Matemtica

lista de n nmeros enteros, todos son iguales entre s." Determinar


cul es el error en la "demostracin" por induccin que presentamos a
continuacin (es decir, encontrar en qu momento el procedimiento que
se sigue en la supuesta demostracin es incompleto o incorrecto): "B l :
Para n = 1 la afirmacin es verdadera pues slo hay un nmero en la
lista. H l: Supongamos que el resultado es cierto para cualquier lista de
n nmeros y tomemos una lista de n + 1 nmeros: al, a2 . . . , am an+l.
Entonces, por H l, los primeros n nmeros al, a2 . . . , an son iguales
entre s; aplicando tambin la hiptesis de induccin a los ltimos n
nmeros: a2,..., an, anH, stos son tambin iguales entre s. Pero
entonces todos son iguales a a2, as que todos son iguales entre s."
[4.29] La siguiente afirmacin es obviamente falsa: "El conjunto N
de los nmeros naturales es finito." Determinar cul es el error en la
"demostracin" por induccin que presentamos a continuacin (es decir,
encontrar en qu momento el procedimiento que se sigue en la supuesta
demostracin es incompleto o incorrecto): "Para cada natural n sea
An = {n}. Sabemos que la unin de todos los conjuntos An nos da el
conjunto N, Y que la unin de dos conjuntos finitos es finito. Entonces
Bl: Al U A2 es finito. Hl: Supongamos que Al U A2 U ... U An-l
es finito para cierta n 2': 3. Entonces, como Al U A2 U . . . U An =
(Al U A2 U . . . U An-l) U An, que es la unin de dos conjuntos finitos
(usando la HI), tambin es finito. Queda entonces probado que N es
finito."

44

Seccin 5

Caminos

Analizaremos en esta seccin un ejemplo bsico de cuenta de caminos siguiendo lneas en figuras. En este ejemplo aprenderemos dos
tcnicas para la resolucin de problemas de este estilo y tendremos
oportunIdad de practicar algunas tcnicas de combinatoria aprendidas
antes.
[5.1] Ejemplo. En una cuadrcula de m por n, sea A el vrtice
inferior izquierdo y sea B el vrtice superior derecho. Cuntos caminos
hay de A a B siguiendo las lneas de la figura, si slo se puede avanzar
hacia la derecha y hacia arriba?
Solucin.

Ilustremos un camino con m = 4 Y n = 6.

5. Caminos

A'

Primera forma. Notemos que cada camino debe recorrer una distancia total de m + n = 10 segmentos, de los cuales 6 segmentos se
recorren horizontalmente y 4 verticalmente. Entonces cada camino se
puede identificar con una "palabra" de 10 letras que usa 6 letras H
(horizontal) y 4 letras V (vertical). (Por ejemplo, el camino de la
figura est representado por la palabra HVV H H HV HV H .) Como
sabemos (ver ejemplo [1.23]), el nmero de estas palabras es C40).
Segunda forma. Observemos que hay dos maneras para llegar a cada
vrtice que no forme parte del lado izquierdo o del lado de abajo de la
cuadrcula (a los cuales slo hay una forma de llegar): verticalmente
(desde el vrtice inmediatamente abajo de l) y horizontalmente (desde
el vrtice inmediatamente a la izquierda de l). Entonces, el nmero
de caminos que llegan a uno de esos vrtices es la suma de los caminos
que llegan a los vrtices adyacentes a la izquierda y abajo de l. As
podemos poner en la figura, junto a cada vrtice, el nmero de caminos
que llegan a l:
o

1 l4
1
L--_J2

lJL_
~__'70 t2~-~ O
LO

-Q ~_5

13 1_6 ~Jl ~l) ---L---f8


~_3

Ll5

A.1---J1 LL L h
46

p4

6-17

J1

5. Caminos

Ejercicios
[5.2] Dentro de un cubo de alambre e de dimensiones 5 x 5 x 5
se colocan alambres dividiendo e en cubos de dimensiones 1 x 1 xl.
Llmese A al vrtice inferior izquierdo de la cara anterior de e y sea B
el vrtice opuesto a A en e (es decir, B es el vrtice superior derecho de
la cara posterior de e). Cuntos "caminos" diferentes llegan del punto
A al punto B siguiendo los alambres del cubo, si las nicas direcciones
permitidas son: hacia atrs, hacia la derecha y hacia arriba?
[5.3] Usar caminos para probar la frmula de naturales n:

(~)' + (7)' + (;)' +." + (:)' = e:).


Sugerencia: Contar caminos en una cuadrcula de n x n como en la
primera forma en el ejemplo [5.1], fijndose en los puntos donde el
camino atraviesa la diagonal que va de la esquina superior izquierda a
la esquina inferior derecha. (Comparar con ejercicio [2.8].)
[5.4] Usar caminos para probar la frmula de Pase al

(~::)= (~) + (r:1)'


para r Y'n nmeros enteros con O~ r < n. Sugerencia: Comparar las
dos formas de resolver el ejemplo [5.1]. (V~r [1.34].)

47

Seccin 6

Inclusin

y Exclusin

Empecemos esta seccin analizando un ejemplo que nos dar la


clave del llamado Principio de Inclusin y Exclusin.
[6.1] Ejemplo. Cuntos nmeros menores que 10 000 no son divisibles ni por 2, ni por 3, ni por 5?
Solucin.
A 10000 habr que restarle la cantidad de nmeros
divisibles por alguno de 2, 3 o 5. Sin embargo esto hay que hacerlo
con cuidado para evitar repeticiones; por ejemplo, los nmeros que son
divisibles tanto por 2 como por 3 se consideran dos veces: al contar
los divisibles por 2 y al contar los divisibles por 3. Vamos a determinar primero, por separado, cuntos mltiplos hay de cada una de las
distintas combinaciones entre 2, 3 Y 5.
Hay 5 000 nmeros
3333 divisibles por
2000 divisible s por
1 666 divisibles por

divisibles por 2,
3,
5,
6,

6. Inclusin y Exclusin

1000 divisibles por 10,


666 divisibles por 15 y
333 divisibles por 30.
Al restarle a 10000 la cantidad de nmeros divisibles por 2 y luego
los divisibles por 3 y a continuacin los divisibles por 5:
10 000 - (5 000 + 3 333 + 2 000),
los que son divisibles por 6, por 10 o por 15 pero no por 30 se habrn
quitado dos veces cada uno, y los que son mltiplos de 30 se habrn
quitado tres veces. Entonces al agregar a la cuenta los que son mltiplos
de 6, de 10 o de 15, los que son divisibles por 30 se habrn quitado
primero tres veces al restar los mltiplos de 2, de 3, Y de 5, Y despus
se habrn vuelto a sumar tres veces al sumar los mltiplos de 6 y los
de 10 y los de 15, as que tendremos que restarlos. La respuesta al
ejemplo es pues:
10 000 - (5000 + 3333+ 2 000) + (1666 + 1000 + 666) - 333 = 2666.

[6.2] Ejercicio. En cierta escuela hay 100 alumnos. De ellos 50


saben ingls, 30 saben alemn y 30 saben francs. Adems 10 saben
ingls y francs, 14 saben francs y alemn, 11 saben ingls y alemn,
y 6 saben los tres idiomas. Determinar cuntos alumnos no saben
ninguno de los tres idiomas.
El procedimiento que utilizamos en el ejemplo anterior puede generalizarse, segn veremos en el siguiente prin<1pio.
[6.3] Principio
de Inclusin y Exclusin.
Supongamos que
tenemos n conjuntos Ab A2"'" An (posiblemente con elementos en
comn). Entonces el nmero total k de elementos que tienen entre
todos es igual a k1 - k2 + k3 - k4 + >,

. . . kn,

donde k1 es la suma de

los elementos que pertenecen a (por lo menos) uno de los conjuntos,


k2 es la suma de los elementos que pertenecen a (por lo menos) dos
de los conjuntos, y as sucesivamente hasta kn, que es el nmero de
elementos en comn a todos los conjuntos. (Utilizando el lenguaje usual
50

6. Inclusin y Exclusin

de teora de conjuntos donde IXI denota el nmero de elementos de un


conjunto X, U es el smbolo usual de unin y n es el smbolo usual de
interseccin, tenemos: k = IAlUA2 U... UAnl, k1 = IAll+ IA21+... +

IAlnA21+IAlnA31+"
'+IA1nAnl+IA2nA31+"
y as sucesivamente hasta kn = IAl n A2 n ... n Anl.)
IAnl, k2

'+IAn-lnAnl,

Demostracin.
Tomemos un elemento cualquiera y supongamos,
por ejemplo, que el elemento pertenece a los conjuntos Ail' Ai2' . . . , Air
para cierta r, y slo a stos. Entonces el nmero de veces que dicho
elemento se considera en la suma kl - k2 + k3 - k4 + - . . . kn es

(~) - (;) + (;) - (~) +

(~),

que, por el ejercicio [2.7], es igual a (~), que es 1. Entonces la suma


kl - k2 + k3 - k4 + - . . . kn cuenta cada elemento exactamente una vez,
que es lo que queramos demostrar. .
Para el siguiente ejemplo recordemos que todo nmero natural N
se puede escribir en forma nica como producto de potencias de primos
Pl < P2 < ... < Pr: N = p~lp~2. . . p~r (al, a2, . . ., ar son naturales)
y que a sta se le llama la descomposicin cannica del nmero N.
Recordemos tambin que se dice que dos nmeros son primos relativos
cuando su mximo comn divisor es 1 (en otras palabras, cuando los
primos q;ue aparecen en sus descomposiciones cannicas, son distintos).
[6.4] Ejemplo. Sea N = p~lp~2. . .p~r la descomposicin cannica
del nmero natural N. Se llama <p(N), o funcin <Pde Euler al nmero
de enteros menores que N y primos relativos con N. (Por ejemplo
<P(12) = 4 pues los enteros menores que 12 y primos relativos con 12
son 4, a saber, 1, 5, 7 Y 11.) Probar que
<p(N) = p~1-lp~2-l.. 'p~r-l(pl - 1)(P2- 1)... (Pr - 1).

Solucin. Aplicamos el Principio de Inclusin y Exclusin. Los


mltiplos de cada Pi son i;; los mltiplos de cada PiPj (para i i= j)
51

6. Inclusin y Exclusin

son P~j; los mltiplos

de los productos

N
N
N
N-(-+...+-)+(-+...+
Pl

a2

P1 p 2
al-l
(p 1

i, j y k ndices

son Pi~Pk ' Y as sucesivamente. Entonces <1>(N)es igual a:

distintos)

al

PiPjPk (para

ar
Pr

oo.

a2-1

p2

Pr
al-l

PIP2

a2

ar
Pr

Pr-lPr
al G2-1
1 p2

+p
- (p 1 p
ar-l-l
ar
al
. .. Pr + . . . +p l' .. Pr-l
2'"

)
ar

Pr

oo.

ar-l

pr

+(-1)
+

oo.

+p

PIP2'"
al a2
1

p2

Pr
ar-l

... P r

)+

) + ...+

(-1 r p~1-lp~2-1. . .p~r-l.


Podemos observar que los sumandos en la expresin anterior son todas
las expresiones de la forma p~lp~2. . .p~r, donde cada bi es igual a ai o
a ai - 1; adems la paridad del nmero de sumandos que son ai - 1
determina el que se sume o se reste el trmino correspondiente en la
expresin. Entonces la expresin se puede simplificar:
<1>(N)

= (p~l -

p~1-1)(P~2- p~2-1)... (p~r - p~r-l)

= p~1-1(Pl- 1)p~2-1(P2- 1).. 'p~r-l(Pr - 1),


que es la frmula que queramos probar. 8
Ejercicios
[6.5] Usar la frmula probada en el ejemplo anterior para calcular
<1>(600), <1>(1995), <1>(23) Y <1>(128).

El siguiente ejercicio est basado en el conjunto de fichas del domin


(antes del ejercicio [1.41Japarece la descripcin de este conjunto).
[6.6] Se dice que una mano de domin tiene falla si alguno de los
nmeros entre el O y el 6 no aparece en la mano (cada nmero faltante
es una falla); por ejemplo la mano ~,
[[[ID, [Qill, film, [!NI, rnNJ,
~ tiene falla a 4' s. Probar que el nmero de manos de domin que
no tienen falla es 501015.

52

Seccin 7

Probabilidad

Como una aplicacin de los mtodos de conteo que hemos estudiado en la seccin 1, daremos ahora una introduccin muy breve al
estudio de la probabilidad. No daremos aqu una definicin formal del
concepto matemtico de probabilidad; en lugar de ello daremos un principio bsico (vlido slo dentro de los conjuntos finitos) y trabajaremos
varios ejemplos que nos aclararn la forma correcta en que dicho principio debe interpretarse.
La probabilidad de que algo ocurra es el cociente del nmero de
casos favorables entre el nmero total de casos posibles.
Un ejemplo muy sencillo es el siguiente: La probabilidad que al
lanzar una moneda al aire la cara que salga (es decir, la cara que se
muestra hacia arriba cuando la moneda cae) sea guila es ~,pues de 2
que es el nmero total de casos posibles (guila y sol), 1 es el favorable.
Lo que esto quiere decir es que, suponiendo condiciones ideales (por
ejemplo que la moneda est bien nivelada en cuanto a peso y forma,

7. Probabilidad

que se lance la moneda de tal manera que no sea posible controlar lo


que va a salir, que la moneda no pueda caer de canto), si la moneda
se lanza al aire muchas veces, se espera que alrededor de la mitad de
ellas caiga guila. (Ver el comentario despus del ejemplo [7.5], donde
se explica cmo debe interpretarse esto.)
Otro ejemplo clsico es el del lanzamiento del dado. Aqu la probabilidad de que al lanzar un dado salga 3 es 1 pues hay 1 caso favorable
de los 6 posibles que son: que salga 1, que salga 2, etc. Desde luego,
aqu tambin se supone que las condiciones del dado y del lanzamiento
son ideales.
Cabe advertir que el aplicar nuestro principio descuidadamente nos
puede llevar a razonamientos errneos como el siguiente:
"La probabilidad de que el nmero que salga al lanzar un dado sea

3 es

pues son 2 los casos posibles: que salga 3 o que no salga 3, Y

de stos 1 es favorable."
El error aqu es que, an cuando es cierto que stos son los casos
posibles, stos no son comparables al mismo nivel de frecuencia (decimos que no son "igualmente probables"), la frecuencia con la que se
espera que salga el 3 no es la mitad de las ocasiones, pues se espera
que cada nmero salga con la misma frecuencia.
Mencionaremos a continuacin a!g~nas propiedades que satisface la
probabilidad. No es difcil convencerse de su validez. Despus de cada
una haremos algn comentario al respecto.
[7.1] Propiedades.
(Pl) La probabilidad de que algo ocurra es un nmero entre O y
1. Es O cuando es imposible que ocurra, y es 1 cuando es seguro que
debe ocurrir.
Esta propiedad es clara pues los casos favorables son una parte de
los totales.
Los casos que nosotros tratamos aqu son todos nmeros racionales,
es decir, cocientes de enteros. Sin embargo al trabajar la probabilidad
en un contexto ms general (con conjuntos infinitos), dado cualquier
54

7. Probabilidad

nmero entre O y 1 (racional o no) se pueden dar ejemplos cuya probabilidad sea el nmero dado.
(P2) Si la probabilidad de que algo ocurra es p, entonces la proba-

bilidad de que no ocurra es 1 - p.


Esto tambin es claro pues los casos generales se componen de los
favorables y los desfavorables. Por ejemplo, la probabilidad de que al
lanzar un dado no salga el 3 es

=1-

~.

(P3) Si dos cosas no pueden ocurrir simultneamente, la probabilidad de que ocurra una o la otra (es decir, cualquiera de las dos) es la
suma de las probabilidades.
Por ejemplo, la probabilidad de que al lanzar un dado salga 3 o un
nmero par es ~ - ~ + ~. Lo que dice la propiedad es que los casos
favorables se pueden contar globalmente (en el ejemplo: 3, 2, 4 y 6
son los cuatro casos favorables de los 6 posibles), o parcialmente, y
luego juntarlos (en el ejemplo, considerar por separado 3 y despus los
pares). Observemos que la propiedad no sera vlida si no pidiramos
que los sucesos fueran mutuamente excluyentes, es decir, si hubiera la
posibilidad de que ocurrieran simultneamente; por ejemplo, la probabilidad de que al lanzar un dado lo que salga sea un nmero mayor que

3 o que sea un nmero par es

(los casos favorables son 2, 4, 5 y 6)

y no ~ + ~ = 1, que sera la suma de las probabilidades (los casos 4 y


6 son comunes a los dos y se estaran contando dos veces al sumar las
probabilidades)

(P4) La probabilidad de que ocurran dos cosas en un orden determinado es el producto de las probabilidades.
Por ejemplo, la probabilidad de que al lanzar dos veces una moneda

primero salga guila y luego salga sol es

= ~. Esto

es claro si

recordamos que al contar los arreglos (tanto los favorables como los
generales) tambin multiplicamos. En el ejemplo, el nmero total de
posibilidades es 2 x 2 = 4: guila-guila, guila-sol, sol-guila y solsol; slo hay uno favorable formado por las posibilidades favorables
individuales: primero guila y despus sol. .
55

7. Probabilidad

Como ya habamos hecho notar, el principio que propusimos de


#de casos favorables
#total de casos
debe interpretarse con cuidado.
entender un poco ms esto.

El ejemplo siguiente nos ayudar a

[7.2] Ejemplo. Dentro de cierto grupo de 4 caballos numerados


del #1 al #4 se ha observado que la frecuencia con que el caballo #1
gana es el doble que con la que gana el #2; que ste a su vez gana el
doble de veces que el #3, y que el #3 gana el doble de veces que el
#4. Encontrar la probabilidad de que en la prxima carrera el caballo
ganador sea el #1 o el #3.
Solucin. Sera incorrecto decir que el nmero total de casos es 4
y que de stos los favorables son 2, pues se nos ha advertido que las
frecuencias con las que los caballos ganan no son las mismas. Tenemos
que dar cierto "peso" a cada caballo de tal manera que la frecuencia con
la que dicho caballo gana est representada; esto lo hacemos como sigue:
Representemos con fichas la proporcin con que ganan los caballos; por
ejemplo asignemos
1 ficha al caballo #4,
2 fichas al caballo #3,
4 fichas al caballo #2 y
8 fichas al caballo # 1 .

El nmero total de casos ser entonces el nmero de fichas: 1 +


2 + 4 + 8 = 15, y el nmero de casos favorables ser 2 + 8 = 10, que
es el nmero de fichas correspondientes a los caballos #1 y #3. La
probabilidad

es i~

= j.

Para eliminar complicaciones tcnicas, en los dos ejemplos siguientes consideraremos el ao con 365 das (sin contar en ningn caso el
29 de febrero) y supondremos que la distribucin de los cumpleaos es
pareja a lo largo del ao.
56

7. Probabilidad

[7.3] Ejemplo. Encontrar la probabilidad de que una persona determinada haya nacido en noviembre o diciembre.
Solucin. El nmero de das favorables es 61, as que la probabilidad es 3~15'que es aproximadamente igual a ~. .
[7.4] Ejemplo. Encontrar la probabilidad de que en un grupo de
61 personas al menos 2 tengan el mismo cumpleaos.
Solucin.
Notemos que este ejemplo difiere del anterior en que
las fechas de cumpleaos no se comparan con fechas fijas sino entre s.
Veremos que los resultados son muy distintos. Para resolver el ejemplo
resulta ms fcil contar la probabilidad opuesta: que no haya ningn
cumpleaos repetido, y despus usar la propiedad (P2). Utilizaremos
repetidamente la propiedad (P 4). Consideremos un orden fijo para las
personas. La probabilidad de que el segundo cumpleaos sea distinto
del primero es ;~:. La probabilidad de que el tercero sea distinto de los
dos anteriores es ;~~, y as sucesivamente. El resultado es

1 - 364 x 363 x . . . x 305


36560
'
que es aproximadamente igual a 0.995. Esto quiere decir que de 1000
grupos de 61 personas cada uno, se espera que en slo 5 de los grupos no haya cumpleaos comunes. (Comprese este resultado con el
del ejemplo anterior. Resulta que basta con 23 personas para que la
probabilidad de que haya cumpleaos repetidos entre ellas sea mayor
que ~.)

[7.5] Ejemplo.
Encontrar la probabilidad de que al lanzar una
moneda al aire 10 veces caigan exactamente 5 guilas.
Solucin. Si escribimos A por guila y S por sol, el resultado de
los diez lanzamientos puede representarse por una sucesin de longitud
10 formada por los smbolos A y S, de manera que el nmero total de
posibilidades es 210 = 1024. Los casos favorables estn representados
por las "palabras" que tienen exactamente 5 A' s y esto es el nmero
de formas en que se pueden escoger 5 posiciones (donde aparezcan
57

7. Probabilidad

las A's) dentro de un total de 10, es decir, e~) = 252. Entonces


la probabilidad de que al lanzar una moneda al aire 10 veces salgan
exactamente 5 guilas es 12;;4'que es aproximadamente igual a 0.25. .
En forma anloga a la resolucin del ejemplo anterior tenemos que
la probabilidad de que de un total de 20 lanzamientos de la moneda
10 salgan guila es 2~O
(~~), que es aproximadamente igual a 0.176. Se
puede demostrar que mientras ms lanzamientos se hagan, la probabilidad de que la mitad de las veces salga guila es menor. Esto no
contradice lo que se haba dicho anteriormente sobre que si una moneda se lanzaba al aire un nmero grande de veces se esperara que un
nmero cercano a la mitad de las ocasiones cayera guila; la explicacin
para esto es que la idea de "cercana" debe manejarse en forma relativa al tamao del nmero; por ejemplo, en el caso de 10 lanzamientos
podramos decir que los casos en que salieran entre 3 y 7 guilas son
todos "cercanos" a la mitad, y en el caso de 20 lanzamientos diramos
que los casos "cercanos" a la mitad son entre 5 y 15.
[7.6] Ejercicio.
Encontrar la probabilidad de que al lanzar una
moneda al aire 10 veces salga guila entre 3 y 7 veces.
[7.7] Ejemplo. Alejandra y Delia van a jugar un juego. Alejandra
lanzar un dado y le dar una moneda a Delia cada vez que lo que salga
en el dado no sea 2. Si se quiere que ninguna de las dos jugadoras tenga
ventaja sobre la otra, cuntas monedas deber pagar Delia cada vez
que salga el 2?
Solucin. Como la probabilidad de que salga el 2 es ~, se espera
que de cada 6 veces una de ellas salga 2; entonces Delia deber darle
5 monedas cuando esto ocurra. En 6 juegos se espera que Alejandra
pierda 5 veces una moneda y gane una vez 5 monedas, por lo que su
ganancia esperada es de O. .
Generalicemos el ejemplo que acabamos de estudiar. Si algo puede
ocurrir de un total de r formas (mutuamente excluyentes) con probabilidades P1, P2, ..., Pr (de manera que P1+ P2+ . . . + Pr = 1) Y
58

7. Probabilidad

ganancias respectivas 91, 92, ..., 9r, entonces el valor esperado E del
suceso se define como
E

= 91P1 +

92P2 + . . . + 9rPr.

Para entender mejor esta nueva definicip. analicemos en el ejemplo [7.7]


cul es la ganancia esperada de Alejandra si Delia le da 5 monedas cada
vez que salga el 2. Llamemos P1 a la probabilidad de que no salga el 2 y
P2 a la probabilidad de que s salga; entonces P1 = ~, P2 = ~, 91 = -1
(pues Alejandra pierde una moneda cuando no sale el 2) Y 92 = 5.

El valor esperado del suceso (ganancia esperada para Alejandra) es


E= (-1) x ~+5 x ~ =0.
[7.8] Ejemplo.
En el juego de ruleta hay 36 nmeros (del 1 al
36) Y adems los smbolos O y 00, con los que el dueo de la ruleta
gana automticamente. Se ofrece pagar 36 veces lo apostado cada vez
que salga el nmero al que uno apost (es decir, si uno indica uno de
los 36 nmeros y paga una ficha por jugar, en caso que al girar la
ruleta la bolita se detenga en el nmero escogido, el dueo de la ruleta
le devolver su ficha al jugador y le dar otras 35 ms). Cul es la
ganancia esperada de un jugador?
Solucin.

Llamemos P1 a la probabilidad de que el jugador gane, y


P2 a la ,probabilidad de que pierda. Entonces P1 = 318' P2 = ~~, 91 = 35
Y 92 = -1; as E = 35 x 3~ + (-1) x ~~ = 3;' que es aproximadamente
igual a -0.05. Esto quiere decir que el jugador espera perder alrededor
de un 5% de lo apostado; en otras palabras, el dueo de la ruleta espera
ganar el 5% de lo que se apueste. 8

Ejercicios
En algunos de los ejercicios que se presentan a continuacin se hace
referencia al juego de baraja o al de domin. Las descripciones de stos
se pueden encontrar, respectivamente, en las explicaciones que aparecen
antes de los ejercicios [1.28Jy [1.41].
59

7. Probabilidad

[7.9] Una persona quiere apostar que la suma de lo que muestren


dos dados es cierto nmero. A qu nmero le conviene apostar? Calcular la probabilidad de que salga dicho nmero.
[7.10] Supongamos que se va a jugar un juego de pkar muy simple
en el que se reparten 5 cartas y el "mejor juego" (es decir, el que tiene la
menor probabilidad de ocurrir) gana. Segn las probabilidades cmo
debe ser la jerarqua entre las manos que contengan exactamente cada
uno de los siguientes: full, flor, corrida, un par, dos pares, pkar y
tercia?
[7.11] Se eligen al azar n cartas de la baraja. Cmo debe ser n
para que la probabilidad de que entre las cartas elegidas haya (al menos)
dos del mismo nmero sea mayor que ~? Cul es la probabilidad si
n = 14?
[7.12] En cierto examen de opcin mltiple con 5 opciones en cada
respuesta se califica como sigue: por cada respuesta correcta se otorga

+ 1 punto, por cada respuesta incorrecta se otorga -

de punto, y por

cada pregunta sin contestar se otorgan O puntos. Qu calificacin


esperara obtener alguien que contestara todo el examen al azar?
[7.13] Con qu frecuencia un jugador de domin espera tener una
mano con al menos dos fichas dobles?
[7.14] Calcular la probabilidad de que al lanzar tres veces dos dados, las tres veces los nmeros que salgan s'an iguales entre s (por
ejemplo, la primera vez (6,6), la segunda (1,1) y la tercera (6,6)).
[7.15] Se escogen al azar en sucesin tres nmeros (posiblemente
iguales) entre el 1 y el 100. Cul es la probabilidad de que se hayan
escogido en orden creciente estricto?
[7.16] Un grupo de 4 mujeres y 4 hombres se dividir en dos
equipos con 4 miembros cada uno. Cul es la probabilidad de que
60

7. Probabilidad

en uno de los equipos queden todos los hombres y en el otro todas las
mujeres?
[7.17] Un dado se lanza al aire 6 veces. Cul es la probabilidad
de que aparezca cada uno de los seis nmeros una vez?
[7.18] Supongamos que de un grupo de 10 enfermedades cada una
tiene probabilidad 110de atacar a un animal determinado a lo largo de
su vida. Qu probabilidad tiene ese animal de enfermarse de al menos
una de esas enfermedades?
[7.19] Comparar las respuestas de las tres preguntas siguientes:
i) Lanc una moneda al aire dos veces y una de ellas sali guila.
Cul es la probabilidad de que la otra tambin haya salido
guila?
ti) Cul es la probabilidad de que al lanzar una moneda al aire
dos veces las dos veces salga guila?
iii) Lanc una moneda al aire y sali guila. Cul es la probabilidad de que al lanzar la moneda otra vez vuelva a salir guila?

61

Seccin 8

Grficas

En algunos problemas de combinatoria ciertos objetos tienen una


relacin determinada entre s. Conviene en muchos de esos casos hacer
una representacin de los objetos mediante puntos en el plano (o en el
espacio) y expresar la relacin entre ellos mediante lneas que unan esos
puntos. 'Esta representacin es una grfica (o grafo) para el problema
(no debe confundirse este concepto con el de grfica de una funcin,
pues no tienen ninguna relacin). Los objetos se llaman vrtices de la
grfica, y las lneas entre los objetos se llaman aristas. Por ejemplo, la
siguiente es una grfica con vrtices A, B, C, D, E Y F. Notemos que
la interseccin de las aristas EC y BD no es un vrtice; podemos decir
que es un "accidente" del dibujo. Notemos tambin que ninguna arista
llega al vrtice F.

8. Grficas

.F

Desde luego, las grficas pueden ser de naturaleza muy diversa,


segn el problema que representen. Resolveremos algunos ejemplos de
aplicaciones. Se aprovecharn stas para ir introduciendo la nomenclatura usual en grficas.
[8.1] Ejemplo. Se quiere disear una competencia con n participantes en la que cada uno compita exactamente con otros k. Probar que
una competencia tal puede disearse si y slo si nk es par y n 2: k + 1.
Solucin. Supongamos primero que nk es par y que n 2: k + 1.
Marquemos en una figura los participantes con un punto y pongamos
una lnea entre dos de esos puntos para indicar que los dos participantes
compiten entre s, obteniendo una grfica.
Primer caso: k par. Pensemos en los puntos como los vrtices de
un n-gono y unamos cada vrtice con los ~ vrtices de cada lado que
estn ms cerca (en la ilustracin se tom k = 4). Como n 2: k + 1,
entonces k ~ n - 1, as que lo de arriba s es posible.

Segundo caso: k impar. Como nk es par, entonces n debe ser par.


Como antes, consideremos los puntos como los vrtices de un n-gono.
Tenemos que k - 1 es par, as que k;l es un entero. Unamos cada
64

8. Grficas
vrtice con los k;l ms cercanos de cada lado y tambin con el opuesto
(observamos que s hay un opuesto pues n es par y que hay suficientes
vrtices para unir puesto que k :S n - 1).
Recprocamente, ahora pensemos que la competencia ya est dada y
probemos que nk es par y que n ~ k + 1. La segunda condicin es clara
pues cada uno de los n participantes no puede competir con ms de n-1
(los restantes). Para ver la otra condicin contemos el nmero de aristas
en la grfica de competencias. Como hay n participantes y cada uno
compite contra otros

k,

entonces

nk es el doble del nmero de aristas

(cada arista se cuenta dos veces, por cada uno de los participantes), de

aqu que nk es par. .


Llamamos orden o valencia de un vrtice V al nmero de aristas
que llegan a V; denotamos este nmero por o(V) (por ejemplo, en la
grfica que aparece antes de [8.1], o(A) = 1, o(B) = o(C) = o(D) = 3,
o(E) = 2 y o(F) = O, y en [8.1] todos los vrtices tienen valencia
k). Con esta terminologa, podemos abstraer de la solucin del ejemplo
anterior el siguiente resultado: Si en una grfica con n vrtices todos los
vrtices tienen la mismo valencia k, entonces el nmero total de aristas
es igual a la mitad de nk. Con esta misma idea podemos tambin
determinar nmero de aristas o de vrtices en poliedros regulares, como
analizamos en el siguiente ejemplo.
[8.2] Ejemplo.

Cuntos vrtices hay en un icosaedro regular?

Solucin. Recordemos primero que en el icosaedro las 20 caras son


tringulos equilteros y que a cada vrtice llegan 5 caras (y 5 aristas).
Entonces, como cada cara tiene tres vrtices y cada vrtice pertenece a
5 caras, el nmero de vrtices es 2;3 = 12.

[8.3] Ejercicio.

Cuntas aristas hay en un icosaedro regular?

[8.4] Ejemplo.
Cuntos vrtices y cuntas aristas hay en un
dodecaedro regular? (Nota: Las 12 caras son pentgonos y a cada
vrtice llegan 3 caras).
65

8. Grficas

Un reto comn para nios pequeos es el siguiente problema. Es


posible dibujar el "sobre" que se indica en la figura sin levantar el lpiz
del papel y sin pasar dos veces sobre la misma lnea?

La respuesta al problema es no, y la razn es muy simple: hay ms


de dos vrtices de valencia impar. Para poner en forma ms general y
precisa este resultado, llamemos recorrido en una grfica a una sucesin
de aristas al, a2, . . ., an tal que que para cada i = 2, . . ., n - 1, uno de
los extremos de ai coincide con uno de ai-l (llamado extremo inicial
de ai en el recorrido) y el otro con uno de aH1 (extremo final de
ai en el recorrido). Tenemos que al comparte un vrtice con a2; al
otro vrtice de al se le llama extremo inicial del recorrido; de manera similar se define el extremo final del recorrido. Decimos que el
recorrido es completo en aristas si cada arista de la grfica aparece
exactamente una vez en la sucesin. Entonces, nuestra afirmacin es
que no existe ningn recorrido completo en aristas en el sobre, lo cual
quedar establecido en la siguiente proposicin. Necesitamos antes una
definicin: Decimos que una grfica es conexa si dados cualesquiera dos
vrtices en la grfica existe un recorrido que tiene a uno como extremo
inicial y al otro como extremo final; intuitivamente, la grfica es conexa
cuando es un solo "bloque" (por ejemplo, la grfica que aparece al
principio de esta seccin no es conexa porque F no est conectado con
los dems vrtices; sin embargo, si a esa grfica se le quita F, entonces
s es conexa). En la siguiente proposicin determinaremos exactamente
cules son las grficas que tienen recorrido completo en aristas; es claro
que esas grficas deben ser conexas, as que slo para ellas se enunciar
el resultado.
[8.5] Proposicin.
66

En una grfica conexa hay un recorrido com-

8. Grficas

pleto de aristas si, y slo si, la grfica tiene O o 2 vrtices de valencia


impar. Ms an, en el caso en que la grfica no tenga vrtices de
valencia impar, el recorrido puede iniciar en cualquier vrtice.
Demostracin.
Suponiendo que hay un recorrido completo de
aristas al, a2, . . ., an, cada pareja de aristas sucesivas contribuye en 2 a
la valencia del vrtice compartido, as que todos los vrtices "intermedios" del recorrido tienen valencia par (es decir, como al llegar a cada
vrtice, hay que volver a salir hasta haber utilizado todas las aristas,
entonces todos los vrtices, excepto tal vez el inicial y el final, tienen
valencia par). De la misma manera, si el vrtice inicial tiene valencia
impar, entonces es claro que el recorrido termina en otro vrtice de
valencia impar.
Probemos el recproco por induccin sobre el nmero de aristas.
Consideremos primero el caso de grficas sin vrtices de valencia impar.
La demostracin de la base de induccin (O aristas) es clara. Sea G
una grfica con a 2:: 1 aristas y O vrtices de valencia impar. Tenemos la hiptesis de induccin siguiente: En una grfica conexa con O
vrtices de valencia impar y menos de a aristas se puede construir un
recorrido completo en aristas iniciando en cualquier vrtice. Utilizando
esta hiptesis construyamos un recorrido en G iniciando en cualquier
vrtice v. Para esto tomemos cualquier arista que tenga un extremo en
v y despus una arista que inicie donde esa arista termin; continuemos
as suce,sivamente mientras podamos ir escogiendo aristas sin repetir.
En el momento en que nuestro recorrido no pueda continuar ser porque
llegamos a un vrtice en el que todas las aristas ya se han usado; como
todos los vrtices tienen valencia par, eso querr decir que el recorrido se
cerr, es decir, que llegamos al vrtice v (donde habamos empezado).
En este momento es posible que todava no se hayan usado todas las
aristas; sin embargo, cada una de las partes conexas de la grfica que
no hayan sido recorridas es una grfica en la que todos los vrtices son
de valencia par y que tiene menos aristas que nuestra grfica. Entonces,
consideremos un vrtice w del recorrido ya construido en el que haya
alguna arista todava no usada y sea e la parte conexa de la grfica
que contiene a w y que todava no ha sido recorrida. Por la hiptesis
67

8. Grficas

de induccin, en C hay un recorrido completo en aristas que inicia en


w. Entonces a nuestro recorrido le intercalamos esa parte (que obviamente debe terminar en el mismo w). Podemos hacer 10 mismo en
todos los vrtices donde haya aristas no usadas todava, obteniendo as
el recorrido completo en aristas.
El caso de una grfica con exactamente dos vrtices de valencia
impar se reduce al anterior: Construimos el recorrido iniciando en uno
de los vrtices de valencia impar. Con el mismo procedimiento de arriba
es claro que obtendremos un recorrido que termina en el otro vrtice

de valenciaimpar. .
En la demostracin anterior nos topamos con recorridos que "se
cierran". Tenemos un concepto que expresa esta situacin: Un ciclo en
una grfica es un recorrido que empieza y termina en el mismo vrtice
(no es necesario que use todos los vrtices). Por ejemplo EC, CD, DE
es un ciclo en la grfica que aparece al inicio de estas notas. Una grfica
conexa sin ciclos se llama rbol.
[8.6] Ejercicio. Probar que si un rbol tiene v vrtices (v 2::1) Y
a aristas, entonces v - 1 = a.
Hemos visto aqu algunas generalidades de grficas. En algunos
problemas que aparecen en la seccin 13 tendremos oportunidad de
utilizar Iesta herramienta.

68

Seccin 9

Principio

de las Casillas

A primera vista el Principio de las Casillas (tambin llamado Principio de los Palomares) parece extremadamente simple e inofensivo. Sin
embargo tiene muchas aplicaciones en problemas de del tipo que nos
interesan en estas notas.
[9.1] Principio de las Casillas. Si se dispone de n casillas para
colocar m objetos y m > n, entonces en alguna casilla debern colocarse por lo menos dos objetos.
Empezaremos ilustrando con un ejemplo muy simple y tpico de
aplicacin varias veces del Principio de las Casillas.
[9.2] Ejemplo. Un ~ostal est lleno de canicas de 20 colores distintos. Al azar se van sacando canicas del costal. Cul es el mnimo
nmero de canicas que deben sacarse para poder garantizar que en la
coleccin tomada habr al menos 100 canicas del mismo color?
Solucin.

Notemos que si sacramos 20 canicas, podra ser que

--

--

9. Principio de las Casillas

todas fueran de colores distintos, as que slo podramos garantizar


que hay dos canicas del mismo color si sacramos 21 canicas (aqu se
aplic el Principio de las Casillas). De la misma manera, necesitaramos
41(= 20 x 2 + 1) canicas para poder afirmar que con seguridad hay 3
canicas (al menos) del mismo color, pues con 40 canicas podra ser que
cada color apareciera exactamente 2 veces. Con el mismo razonamiento
que hemos seguido llegamos al resultado:

Se necesitan

20 x 99+ 1 = 1981

canicas. [9.3] Ejercicio. En un papel cuadriculado de 6 x 9 cuadrados se


consideran 25 tringulos arbitrarios y diferentes que tienen sus vrtices
en los puntos de interseccin de las lneas de la cuadrcula. Mostrar
que no importa como se elijan los tringulos, forzosamente habr (al
menos) dos tringulos con (al menos) un vrtice en comn.
Los siguientes ejemplos son todos de naturaleza muy distinta; sin
embargo, en la solucin de todos ellos utilizamos el Principio de las
Casillas.
[9.4] Ejemplo.
Algunos de los cuadritos de una cuadrcula de
3 x 7 se pintan de negro y los otros se dejan en blanco. Probar que
forzosamente las lneas de la cuadrcula forman un rectngulo en cuyas
cuatro esquinas los cuadraditos tienen el mismo color (los cuatro blancos
o los cllatro negros).
Solucin.
Supongamos que tenemos una cuadrcula pintada de
manera tal que no se forma el rectngulo con las esquinas del mismo
color. Simbolicemos por N al color negro y por B al color blanco, y
observemos que los cuadritos de una columna pueden haber quedado
pintados segn las siguientes 8 posibilidades: Pl = N N N, P2 = N N B ,
P3 = NBN, P4 = BNN, Ps = NBB, P6 = BNB, P7 = BBN Y
ps

B B B. Supongamos

que una de las columnas

est pintada

segn

la posibilidad Pl; entonces con cualquiera de las posibilidades en que


la columna tiene dos N' s se formar un rectngulo con las esquinas
negras, as que ninguna columna est pintada as; pero entonces las
columnas estn slo pintadas segn las posibilidades Pl, ps, P6,P7 Y Ps;
70

9. Principio de las Casillas

como el nmero de columnas es 7, entonces el Principio de las Casillas


nos dice que debe haber dos columnas iguales, pero aqu tambin, por el
Principio de las Casillas, como son tres cuadritos en cada columna y slo
dos colores, hay un color que se repite, y entonces es obvio que se forma
un rectngulo con las esquinas del mismo color. Concluimos entonces
que la posibilidad Pl no aparece. Lo mismo ocurre al considerar la
posibilidad Ps. Entonces ninguna de las posibilidades Pl y Ps aparece;
pero as sobran slo 6 posibilidades, con lo cual, otra vez aplicando el
Principio de las Casillas, tenemos dos columnas iguales, y de ah una

contradiccin. -

[9.5] Ejercicio.
Algunos de los cuadritos de una cuadrcula de
19 x 4 se pintan de rojo, otros de azul y otros de verde (no se deja
ninguno en blanco). Probar que forzosamente las lneas de la cuadrcula
forman un rectngulo cuyas cuatro esquinas tienen el mismo color.
[9.6] Ejemplo.
Probar que en cualquier conjunto de 6 personas
forzosamente hay 3 que se conocen todas entre s o 3 tales que ninguna
conoce a las otras 2.
Solucin.
Por cada una de las personas pongamos un punto e
indiquemos que dos personas se conocen poniendo una lnea entre los
puntos que las representan, obteniendo as la grfica de conocidos. Si
A es uina de las personas, las restantes 5 se pueden dividir en dos
grupos: las conocidas de A y las desconocidas de A. Por el Principio
de las Casillas, alguno de los grupos tendr 3 o ms elementos. Primero
supongamos que el de los conocidos de A tiene tres o ms elementos y
sean Bl, B2 Y B3 conocidos de A.
A

~::

Bl

""",

2
-------

:B3
71

9. Principio de las Casillas


Si dos de B1, B2 Y B3 se

conocen entre s, entonces A junto con esos

dos formar el grupo de los tres conocidos que buscbamos.


Si no,
entonces B1, B2 Y B3 formarn el grupo de los tres desconocidos que
queramos. El caso en que el nmero de desconocidos de A sea 3 o ms
se trata

de manera anloga al anterior,

considerando

tres desconocidos

C1, C2 y C3 de A. .
El ltimo ejemplo de esta seccin nos servir, adems de para ver
una aplicacin interesante (y muy simple) del Principio de las Casillas, para recordarnos algunas propiedades importantes de los nmeros.
Recordemos que los nmeros reales son aqullos que nos sirven para
"medir con direccin", es decir, aqullos que se pueden representar en
una recta una vez que se ha establecido un punto de partida (el O) y se
ha indicado otro punto distinto (el l) que nos seala precisamente la
medida 1 y que la direccin del O al 1 es la positiva; as, los nmeros
reales del mismo lado del O que ell son los positivos, mientras que los
reales del lado opuesto son los negativos. Entonces tenemos que todo
nmero entero es real, pero hay reales que no son enteros, como por
ejemplo -1.5, 2.47, V2 y 7r.

positivos

ne~ativos
-3

El conjunto

-t

t-

H2

:IR de los nmeros reales se descompone

7r

en dos conjun-

tos ajenos (es decir, dos conjuntos sin elementos en comn): el de los
nmeros racionales (denotado por Q) y el de los nmeros irracionales
(denotado por JI). Los nmeros racionales son los que se pueden expresar como cociente de enteros, y los irracionales son los que no. Por
ejemplo, son nmeros racionales -1.5, O, -3 y 2.47, pues se pueden
expresar, respectivamente,

como

~3,~, ~3 Y ~~~. Utilizando

resultados

de divisibilidad de enteros no es difcil probar que V2 no es racional.


Un resultado conocido pero difcil de demostrar es que 7r tampoco es
racional. La escritura conocida con cifras de un nmero real cualquiera
72

9. Principio de las Casillas

se llama expansin decimal del nmero (O sea, la expansin decimal


del nmero 23053.04 es, precisamente, 23053.04). La razn para esta
nomenclatura es que la expresin se basa en un sistema posicional en
que en cada posicin la cifra (que puede ser cualquier entero entre O y
9) representa el nmero de veces que debe tomarse la potencia de 10
correspondiente a esa posicin; por ejemplo:
23053.04

2 x 104 + 3 x 103 + 5 x 101 + 3 x 100 + 4 x

_102

'

No debemos pasar por alto que algunas expansiones decimales son infinitas (despus del punto decimal), como por ejemplo la expansin de
l, que consta de una infinidad de 3's. Esto usualmente se representa
por

l = .3, indicando

que el 3 debe repetirse una infinidad de veces. De

esta manera, tambin podemos considerar nmeros reales como 1.2403


en donde, a partir del 2 la repeticin es de las tres cifras 403. En los
casos que acabamos de considerar en que hay una repeticin infinita de
cifras, decimos que la expansin de los nmeros es peridica y llamamos
periodo a lo que se repite (en el primer caso el periodo es 3 y en el segundo, el periodo es 403). Podemos decir que las expansiones finitas
son peridicas con periodo O (por ejemplo, 2.4 = 2.40). Es importante
notar que hay nmeros reales que no tienen expansin peridica, como
por ejemplo el nmero .1010010001..., en el que despus del punto los
l' s estn intercalados entre cada vez ms O's. No es difcil probar que:
Si un n'mero real tiene una expansin peridica, entonces el nmero es
racional: Si el nmero se llama x, lo podemos multiplicar por potencias
apropiadas de 10, de tal manera que al restar una de otra se elimine el
periodo, y despus despejar x de una expresin de enteros (por ejemplo, si x = 3.825, entonces 103x - lOx = 3825.25 - 38.25 = 3787, as
que x = 3::07). El contenido del siguiente ejemplo, que demostraremos
utilizando el Principio de las Casillas, es, precisamente, el recproco de
este resultado.
[9.7] Ejemplo.
Probar que la expansin decimal de cualquier
nmero racional es peridica.
Solucin.

Sea

el nmero considerado, donde a y b son enteros y


73

9. Principio de las Casillas

O. Al hacer la divisin segn el algoritmo usual, los residuos que van


quedando son enteros entre Oy b-l, as que forzosamente deber haber
alguna repeticin; a partir de ese momento, los cocientes y los residuos
que se van obteniendo van formando un periodo de repeticin. b

=1=

[9.8] Ejercicio. En un congreso internacional se renen n cientficos de 6 pases. Durante el congreso los cientficos se dividen en cuatro
secciones de tal manera que dentro de cualquier grupo de 6 participantes
de la misma seccin siempre hay dos cientficos de la misma edad. Encuentra el mnimo nmero n para el cual, bajo las condiciones mencionadas arriba, se puede asegurar que existen tres cientficos de una
misma seccin que tienen la misma edad y pertenecen al mismo pas.

74

Seccin 10

Separadores

Ilustraremos la tcnica de los separadores analizando el siguiente


ejemplo.
[10.1] Ejemplo. De cuntas formas pueden comprarse 20 galletas de una tienda que vende galletas de 5 sabores?
Solucin. Supongamos que los sabores de las galletas son: vainilla
(V), chocolate (C), nuez (N), azcar (A) y mantequilla (M). Cada
coleccin de 20 galletas puede representarse por 24 casillas (-) en las
que se han puesto 4 separadores (1); las casillas que quedan entre los
separadores nos dicen el nmero de galletas de cada tipo; por ejemplo,
la colleccin de 4 V' s, 1 C, O N' s, 10 A' s y 5 M' s se representa por

1-11

1-----.

Recprocamente, una sucesin tal de casillas con separadores representa


una coleccin de galletas. Entonces el resultado es de C44). .

10. Separado res

El ejemplo [10.1] es un caso particular de la siguiente situacin:


Dados nmeros

naturales

r y N,

cuntas

r -adas

(al, a2, . . . , ar) de

enteros no negativos al, a2,' . ., ar se pueden encontrar de tal manera


que al + a2 +

. . . + ar

= N? Como vimos en el ejemplo, la respuesta

de

esta pregunta se puede encontrar con separadores y es (N:~;l).


[10.2] Ejercicio.
Decir cuntos trminos tiene la expansin de
(a + b + C)5 y de qu forma son.
Consideremos ahora la misma situacin planteada despus del ejemplo [10.1] pero pidiendo ahora que los nmeros al, a2, . . ., ar sean enteros positivos. Este ejemplo podra resolverse tambin con separadores, pero en esta ocasin se pondran N casillas y los separadores deberan colocarse en los espacios que quedan entre las casillas. Sin embargo, esta misma situacin puede resolverse basndose en la anterior.
Explicaremos esto con ms detalle, generalizando an ms la situacin,
en la siguiente proposicin.
[10.3] Proposicin.
Dados naturales r y N, el nmero de r-adas
(al, a2, . . ., ar) de enteros al, a2, . . ., ar que satisfacen al +a2+' . .+ar =
N sujetos a la restriccin:
al ~ kl, a2 ~ k2"'"
ar ~ kr, donde
kl, k2, . . ., kr son enteros dados, es

N - (kl + k2 +... + kr) + r - 1 .


r-1
)
(
Demostracin.

Para i

= 1,2, . . .,r, se b= a -

k. Observemos
que entonces b ~ O Y que la condicin al + a2 + . . . + ar = N es
equivalente a bl + b2+ . . . + br = N - (kl + k2 + . . . + kr). Entonces el

problema se ha reducido al que ya sabamos resolver y la respuesta es


la indicada en el enunciado de la proposicin. .
[lOA] Ejemplo. De cuntas formas pueden escogerse 8 enteros
al, a2, . . . , as, no necesariamente distintos, tales que 1 ::; al ::; a2 ::;
. . . ::; as ::; 8?
76

10. Separadores

Solucin. Primera forma. Hagamos la cuenta segn cuntos grupos i de nmeros iguales hay (i = 1,2,.. .,8). Por ejemplo, algunas sucesiones

de enteros

que tienen

3 son (1,1,4,4,4,4,4,7),

(3,3,3,3,3,3,6,8)
Y (5,5,5,6,6,6, 7, 7). Para contar de qu formas se
pueden poner i grupos, hay que poner i - 1 separadores en los 7 huecos
que hay en 8 casillas; en los ejemplos de arriba las posiciones respectivas

de los separadores seran - -

- - - - - 1-, - - - - - - 1- 1- y

- - -1 - - - I - -; entonces las formas de poner los separadores son


C~l)' Una vez elegida la posicin de los separadores hay que escoger
los i enteros del conjunto {1, 2,3,4,5,6,7, 8} (y despus ponerlos en
orden de magnitud; en los ejemplos, los subconjuntos elegidos fueron,
respectinvamente {1, 4, 7}, {3, 6, 8} y {5, 6, 7} ); esto se puede hacer de
(D . . Entonces la respuesta es

(~) (~) + (~) (~) + (~) (:) + . . . + (~) (~).


Segunda forma. Pongamos 15 casillas y marquemos 8 lugares, de manera que al est representado por 1 ms el nmero de casillas hasta la
primera marca; a2 est representado por al ms el nmero de casillas hasta la segunda marca, y as sucesivamente, hasta as que estar
representado por a7 ms el nmero de espacios hasta la octava marca.
Entonces la respuesta es en.
De lp probado en este ejemplo es fcil (ver la seccin 3 sobre comparaciones) deducir la frmula de nmeros naturales n:

(~) (n

1) + (7) (n

; 1) + .. . + (:) (: : ~)=e:: n.

77

Seccin

11

Coloracin

En varios de los problemas de esta seccin se estudia la posibilidad


de cubrir tableros de un determinado tamao o forma con fichas que
cumplen ciertas caractersticas. Se entiende que las fichas no deben
traslaparse ni cubrir rea fuera del tablero. Se pide adems que entre
todas las fichas se tape todo el tablero. Para ilustrar, consideremos el
caso de cubrir un tablero de 8 x 8 con fichas de tamao 2 x 1. Es muy
fcillograrlo y en la figura esquematizamos 2 formas de hacerlo.

11. Coloracin

Desde luego, el ejemplo anterior fue muy sencillo y no tuvo ningn


inters terico. Sin embargo una ligera variacin lo vuelve mucho ms
interesante, como veremos a continuacin.
[11.1] Ejemplo. Utilizando fichas de tamao 2 xl, es posible
cubrir un tablero de 8 x 8 del que se han quitado dos esquinas opuestas
(de 1 x 1)7
Solucin. Podramos hacer muchos intentos sin lograr cubrir el
tablero; sin embargo esto no nos demostrara que no es posible. Utilizamos un argumento ingenioso: pintar el tablero como si fuera un
tablero de ajedrez (alternando los colores blanco y negro). Observamos
entonces que a las dos esquinas que se eliminaron les corresponda el
mismo color, as que quedaron ms cuadros de un color que de otro.
Por otro lado, sin importar el lugar donde se coloquen las fichas de
2 xl, cada una de ellas cubre un cuadro negro y uno blanco as que,
si se pudiera cubrir el tablero, el nmero de cuadros blancos cubierto
sera el mismo que el de negros. Este argumento demuestra que no es
posible cubrir el tablero. 8
IMH~j

.0.0.0.0.",

"M?,O.
w.w.
:::0:0,*:

~~*

1m
mil

[11.2] Ejemplo. A un tablero cuadriculado de 9 x 9 se le han


quitado tres de sus esquinas (de 1 xl). Es posible cubrir lo con fichas
de 3 x 17
Solucin. Utilizamos ahora 3 colores que indicamos en la figura
con los nmeros 1, 2 Y 3.

80

11. Coloracin

3
2
1
3
2
1
3
2

2
1
3
2
1
3
2
1
3

3
2
1
3
2
1
3
2
1

1
3
2
1
3
2
1
3
2

2
1
3
2
1
3
2
1
3

3
2
1
3
2
1
3
2
1

1
3
2
1
3
2
1
3
2

2
1
3
2
1
3
2
1
3

2
1
3
2
1
3
2

En este caso, cualquier colocacin de las fichas de 1 x 3 cubre una vez


cada uno de los colores, as que en la coloracin debera haber la misma
cantidad de cuadros de cada color; pero esto no es cierto ya que en
la cuadrcula de 9 x 9 s haba la misma cantidad de cuadros de cada
color, pero a dos de los tres cuadros que se quitaron les corresponda
el mismo color (el 1). (notemos que hay que escoger la coloracin en
forma adecuada; por ejemplo, si se hubiera quitado la esquina inferior
izquierda en lugar de la derecha, la coloracin dada no servira pues
se quitara un cuadro de cada color, en ese caso hubiera convenido
comenzar el segundo rengln con el color 2 y despus seguir alternando

de la mismamanera.) .
Ejercicios
[11.3] Rehacer el ejemplo [11.2] utilizando slo dos colores.
[11.4] Es posible construir un rectngulo con las cinco fichas que
se muestran a continuacin (todos los cuadritos marcados son de 1 x 1)?

[b

EBd3cfb
81

11. Coloracin
[11.5] La estrella que se muestra abajo consta de 108 tringulos
equilteros iguales. Es posible cubrir la con fichas de 4 tringulos
equilteros (del mismo tamao que los de la estrella) como la que se
muestra alIado de la estrella?

/\IV

[11.6] Se considera la grfica (ver la seccin 8) dibujada sobre la.


superficie de un cubo como sigue: los vrtices son los vrtices del cubo
y los puntos medios de las caras del cubo; las aristas son los segmentos
que unen cada punto medio de una cara con los 4 vrtices del cubo que
forman esa cara. Es posible hacer un recorrido que pase exactamente
una vez por cada uno de los vrtices de la grfica?

82

Seccin 12

Problemas Dinmicos

Trataremos aqu algunos problemas clsicos de tipo dinmico, es decir, en los que una determinada situacin va cambiando en el problema
mediante pasos sucesivos.
[12.1] Ejemplo. En las casillas de una cuadrcula de 2 x 4 estn
escritos 'los nmeros O y 1 como se indica en la figura.

[ili@Ol

Se va aplicar la siguiente operacin: A dos casillas que compartan un


lado se les puede sumar o restar la misma cantidad. Aplicando esta
operacin las veces que se quiera, es posible llevar todos los nmeros
en la cuadrcula a O's7
Solucin.

Coloreemos los cuadros de la cuadrcula en forma alter-

12. Problemas Dinmicos

nada, como en un tablero de ajedrez, y en cada momento consideremos


la diferencia entre la suma de los nmeros que aparecen en las casillas
negras y la suma de los que aparecen en las casillas blancas.
.:..*,:<
'm.ID:

MMf
:ff
mm;

.. ::i1m
.....
..........

..,:<.:.:.:.:.:.:
::$%>:,::
.::::::::;:::

Observamos entonces que la operacin permitida no altera esta diferencia pues se le suma o resta la misma cantidad a una casilla negra
y a una blanca. Como la diferencia al principio es 2 y la diferencia en
la posicin en que todos los nmeros son O es O, concluimos que no es

posible. Como pudimos observar en el ejemplo anterior, lo importante fue


darse cuenta de qu se mantiene invariante a lo largo del problema.
Tratemos otro ejemplo de este estilo.
[12.2] Ejemplo. Dada una lista de O's y l's le podemos aplicar la
operacin siguiente: Se escogen dos nmeros a y b de la lista, se borran

y se agrega a la lista el nmero Osi a = b, Y 1 si a

=1=

b. Serepite esta

operacin hasta quedarse con un solo nmero. Determinar cmo debe


ser la lista para terminar con un 1.
Solucin. Consideremos la cantidad C de l's que hay en un momento determinado, y la cantidad C' de l's que hay despus de haber.
aplicado la operacin una vez. Observamos que la paridad de C y la
de C' es la misma (es decir, que si C es par o impar, entonces tambin
lo es C'). Entonces,

la condicin necesaria y suficiente para obtener un

solo 1 al final es haber iniciado con una cantidad impar de l' s. En los dos ejemplos siguientes consideraremos problemas dinmicos
en los que lo importante es darse cuenta que una situacin no puede
cambiar indefinidamente.

84

12. Problemas Dinmicos


[12.3] Ejemplo. De un grupo de personas se sabe que cada una de
ellas tiene a lo ms 3 amigos dentro del grupo. Probar que se pueden
separar en dos grupos de tal manera que en cada grupo cada persona
tenga a lo ms un amigo.
Solucin. Dividamos de cualquier forma las personas en dos grupos y consideremos, para cada persona A, el nmero p(A) de amigos de
A dentro del mismo grupo que A (entonces p( A) :S 3). Analicemos la
suma total de todos los p(A)'s. Si algn p(A) > 1, entonces cambiemos
A de grupo. De esta manera, la suma de todos los p( A) disminuye con
respecto a la anterior. Volvemos a repetir el procedimiento mientras
haya algn p( A) > 1. Como la suma es siempre un entero mayor o
igual que O, el procedimiento no puede continuar indefinidamente; esto
quiere decir que en algn momento todos los p(A) sern a lo ms 1,
que es lo que buscbamos.

[12.4] Ejemplo.
A una lista de nmeros enteros se le aplica la
siguiente operacin: Cada nmero se cambia por el nmero de veces
que ese mismo nmero aparece en la lista. Esta operacin se aplica
sucesivamente. Por ejemplo, a continuacin se puso por renglones cmo
ira cambiando la lista de nmeros que aparece en el primer rengln:
1 4
4 2
4 2
4 2
4 2

7 1
1 4
3 4
6 4
6 4

4
2
2
2
2

2
3
3
6
6

3
1
3
6
6

2
3
3
6
6

2 1
3 4
3 4
6 4
6 4

1 5
4 1
4 3
4 6
4 6

Probar que en algn momento la lista queda invariante (es decir, permanece sin cambios, como ocurre en el ejemplo a partir del cuarto
paso) .
Solucin. Supongamos que la lista consta inicialmente de n nmeros (posiblemente algunos de ellos repetidos). Observamos que a partir
de la segunda vez que se aplica la operacin, cada nmero se sustituye
por uno mayor o igual que l (pues, por ejemplo, si un nmero apareca
3 veces, se escribe 3 abajo de ese nmero, as que el 3 se repite por lo
85

12. Problemas Dinmicos

menos 3 veces y en el siguiente rengln el 3 se sustituir por algo mayor


o igual que 3). Como lo mximo que se puede escribir en cada lugar es
n (pues hay n nmeros), entonces el procedimiento no puede continuar
indefinidamente produciendo nmeros distintos. En el momento que
una lista es igual que la anterior, la lista ya queda invariante. El siguiente ejemplo trata de un juego famoso. Para estudiar su
solucin conviene que recordemos en qu consiste la expansin binaria
o expansin en base 2 de un nmero. En la seccin 9 recordamos que
la expansin decimal (o en base 10) de un nmero es la que nos dice
cuntas unidades, decenas, centenas, etc., se toman del nmero. As el
nmero 1081 tiene 1 unidad, 8 decenas, y 1 millar:
1081 = 1 x 103+ O x 102+ 8 x 10 + 1.
En cada caso, los nmeros que se toman son enteros del O al 9 (pues,
por ejemplo, 10 decenas se considera como una centena). La expansin
binaria de un nmero determina cada una de las potencias de 2 que
forman al nmero y, en este caso, cada potencia de 2 se toma Oo 1 vez.
El mismo nmero del ejemplo, 1081, tiene expansin binaria
1X21O+0x29+Ox28+0x27 +Ox26+1 x25+1 x24+1 x23+0x22+0x2+1.
(No es difcil darse cuenta que todo nmero tiene expansin binaria;
por ejemplo, para encontrar la expansin binaria de 1081 se busca la
potencia de 2 ms cercana menor que el nmero: 210 y se resta del
nmero:

1081 - 210

57; as sucesivamente.)

Utilizamos

tambin

la notacin posicional, escribiendo un 2 pequeo como sub ndice para


expresar que se considera la expansin
100001110012 .

binaria del nmero; as: 1081

En buena parte, las operaciones que estamos acostumbrados a realizar con nmeros usando su expansin decimal pueden efectuarse de
la misma manera usando la expansin binaria. Dejamos como ejercicio
los detalles de esto.
[12.5] Ejercicio.
----

86

Determinar qu tipo de expansin binaria tienen

12. Problemas Dinmicos


los nmeros pares.
[12.6] Ejercicio. Efectuar las operaciones: 11001012 + 1000112 y
11001012 X 1000112 en base 2.
[12.7] Ejercicio.
Determinar cundo un nmero es mayor que
otro segn su expansin binaria.
La expansin binaria nos apoyar para resolver el siguiente ejemplo,
en el que adems estudiaremos lo que significa tener o no estrategia
ganadora en un juego.
[12.8] Ejemplo. En el juego del nim hay varios montones de fichas.
El juego se juega entre dos personas que alternan turnos. En cada
turno un jugador debe quitar tantas fichas como desee de alguno de
los montones (slo de uno de los montones y por lo menos una). La
persona que quite la ltima ficha gana. Determinar si hay estrategia
ganadora; es decir si una de las personas puede establecer una forma
de jugar mediante la cual, sin importar cmo juegue la otra persona,
ella siempre gane.
Solucin.
Debemos primero entender bien qu significa estrategia ganadora. En cada momento del juego las fichas quedan en una
posicin determinada. Consideramos que el conjunto de posiciones se
divide en dos: ganadoras y perdedoras. Desde luego, en el caso de este
juego, cuando un jugador se encuentra con un solo montn de fichas
en su turno, entonces tiene una posicin ganadora, pues en ese mismo
turno puede recoger todas y ganar. Sin embargo, hay otras posiciones
a lo largo del juego que cuando se le presentan a un jugador ste puede
forzar el juego para terminar ganando; a sas les llamamos posiciones
ganadoras, es decir: Una posicin es ganadora si se le presenta a una
persona en un turno y sta puede ganar en ese momento o dejar una
posicin perdedora para el jugador contrario; una posicin es perdedora si el jugador debe forzosamente dejar una posicin ganadora al
otro jugador. En el ejemplo, determinemos las posiciones perdedoras y
las ganadoras utilizando expansin binaria como sigue: Escribamos la
87

12. Problemas Dinmicos

cantidad de fichas que hay en cada montn en base 2, y sumemos en


base 10 los dgitos de cada posicin en la expansin binaria (es decir,
para cada n 2: O sumamos los coeficientes de 2n). Por ejemplo, si en
algn momento del juego se tuvieran 12 montones con 9, 9, 7, 7, 7, 7,
7, 4, 3, 3, 2 Y 1 fichas, respectivamente, al escribir estos nmeros en
base 2 tendramos: 1001, 1001, 111, 111, 111, 111, 111, 100, 11, 11,
10 Y 1, Y las sumas de los dgitos seran 2, 6, 8 Y 10. Afirmamos que
las posiciones perdedoras son aqullas en las que todas las sumas son
pares (como en este caso), es decir, el jugador que se encuentre con una
posicin de este tipo, sin importar cmo juegue dejar al otro jugador
una posicin del otro tipo (o sea, una posicin en que por lo menos
una de las sumas es impar), con la cual est en peligro de perder si el
otro jugador juega correctamente. En efecto, empecemos por observar
que la posicin en que slo hay un montn, alguno de los dgitos debe
ser 1, as que no todas las sumas son pares y es una posicin obviamente ganadora (el jugador que encuentra esta posicin, gana). Por
otro lado, si a un jugador se le presenta una situacin en la que todas
las sumas son pares, entonces al quitar cualquier nmero de fichas de
cualquier montn, altera al menos uno de los dgitos (en base 2) del
montn, as que la nueva suma en el lugar de ese dgito alterado queda
impar. El jugador que tenga una posicin en la que las sumas no sean
todas pares, puede quitar un nmero de fichas que s deje slo sumas
pares; para lograrlo encuentra la primera columna de la izquierda que
produce una suma impar y se fija en un montn que contribuya en 1
a esa columna; de ese montn quita el nmero de fichas necesario para
obtener puras sumas pares (conviene practicar con algunos ejemplos
para que esto quede claro). Entonces, la estrategia ganadora consiste
en dejar siempre al otro jugador en una posicin en que todas las sumas

sean pares. -

88

Segunda Parte

Seccin 13

Problemas

En esta seccin aparecen enunciados de problemas; la seccin 14


contiene sugerencias para su solucin y la seccin 15 contiene las soluciones.
La resolucin de los primeros diez problemas prcticamente no necesita de la teora estudiada en las secciones precedentes aunque s requiere de ingenio, trabajo y comprensin de los conceptos bsicos de la
Combinatoria. Son problemas de olimpiada de un primer nivel.
[13.1] Se van escribiendo en orden todos los enteros positivos hasta
que entre todas las cifras de los nmeros escritos se haya usado un milln
de unos. Cul es el ltimo nmero que se va a escribir? (Por ejemplo,
si la condicin para terminar fuera usar 5 unos, el ltimo nmero que
se escribira sera el 12 pues en la lista 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12,
se ocupan: un 1 para el1, uno para ellO, dos para el 11 y uno para el
12. Adems sta es la nica respuesta posible pues el siguiente nmero
que se escribira es el 13, que usara un 1 ms.)

13.

Problemas

[13.2] Juan y Pepe estn jugando volados. Cada uno deposit $20
de apuesta. El total ($40) se lo llevar el primero que gane diez volados.
Cuando Juan lleva nueve volados ganados y Pepe lleva siete, deciden
repartirse justamente la cantidad, es decir, proporcionalmente a las
probabilidades que tiene cada uno de ganar. Cmo deben repartirse
el dinero? [MLPS]
[13.3] Cuntos nmeros menores que un milln tienen en su expansin decimal dos l's seguidos (al menos)?
[13.4] En el plano se encuentran 10 conjuntos de rectas de manera
que un conjunto tiene una recta, otro tiene dos rectas, otro tres y as
sucesivamente hasta diez. Las rectas de cada uno de los diez conjuntos
son paralelas entre s pero no son paralelas a las de ninguno de los dems
conjuntos. Adems entre todas las rectas no hay tres concurrentes (es
decir, no hay tres rectas que pasen por un mismo punto). Calcula
el nmero de puntos de interseccin que tiene la coleccin completa
de las rectas (cada dos rectas no paralelas determinan un punto de
interseccin). [7 Examen Eliminatorio de Michoacn]
[13.5] Se quiere fabricar un juego de fichas cuadradas de cartn en
las que una cara de la ficha sea negra y la otra est pintada de colores con
el diseo de tringulos que se muestra en la figura. Se usarn 4 colores
(aunque no todas las fichas usen los 4). Se quiere que las fichas sean
simtricas desde su centro y que dos tringulos adyacentes no tengan
el mismo color (dos tringulos no adyacentes s pueden llevar el mismo
color). Cuntas fichas deber tener el juego si se quiere abarcar todas
las posibilidades y que no haya fichas iguales? (Nota: Una ficha puede
parecer distinta a otra al colocarse sobre la mesa pero si al girarse queda
igual, slo deber tomarse en cuenta una de ellas.) [MLPS, 8 Examen
Eliminatorio de Michoacn]

~
90

13. Problemas

[13.6] Se escriben en sucesin todos los nmeros del 1 al 1995, en


orden, uno a continuacin del otro, para formar un nmero G muy
grande (G = 1234567891011.. .941995). Cul es la cifra central de
G? A qu nmero de los de la sucesin corresponde esa cifra? [9
Examen Semifinal de Michoacn]
[13.7] Cada uno de un grupo de 10 nios es amigo de exactamente
otros 7 del mismo grupo (la amistad es mutua). Probar que no es
posible dividirlos en tres equipos de tal manera que en cada uno de los
tres equipos no haya un par de amigos. [MLPS, 8 Examen Final de
Michoacn]
[13.8] Ana ha decidido salir a caminar exactamente un kilmetro
cada da. Vive en una ciudad cuadriculada de 5 km x 5 km en que cada
cuadra mide 100 m x 100 m y su casa est en una esquina del centro.
Durante cuntos das puede hacer recorridos distintos si siempre empieza los recorridos saliendo de su casa y terminando tambin en ella
pero sin repetir ningn otro punto en el recorrido de cada da? (Nota:
Recorridos de das distintos pueden tener partes en comn e inclusive
determinar el mismo camino pero en sentido contrario.) [MLPS, 9
Examen Final de Michoacn]
[13.9] Cuntos nmeros de 4 cifras cumplen la propiedad de que
el producto de dichas cifras es un cuadrado perfecto? [MLPS]
[13.10] Dentro de los cuadros de una cuadrcula de 22 x 22 se
escriben los nmeros 1,2,3, . . .,400 y ochenta y cuatro veces el nmero
O como sigue: Los nmeros O se escriben en todos los cuadros de la
orilla; despus, en forma espiral, se van escrbiendo sucesivamente los
nmeros 1, 2, 3, . . ., 400 como se indica en la figura.

91

13. Problemas

O O O ... O O O

O 76 77 78

O 75

...
...
...

19 20

94 21 O
95 22 O

... 111 38 O
O 58 57 56 ... 40 39 O
O O O O ... O O O
O 59

Ahora en cada vrtice interior de la cuadrcula hay que poner la suma de


todos los nmeros que aparecen en los cuadrados que forman el vrtice;
por ejemplo, hay que poner 156 y 5, respectivamente, en los vrtices
centrales de

[!ID

[ili]

[TII]

Calcular la suma de todos los nmeros escritos en los vrtices. [MLPS,


6 Examen Final de Michoacn]
[13.11] Se quiere disear una competencia entre 7 jugadores de
tal manera que de cualquier coleccin de tres de ellos al menos dos
compitan entre s. Cul es el mnimo nmero de juegos con el que
se puede lograr esta condicin? [Propuesto por Mongolia para la 323
Olimpiada Internaciona~
[13.12] Siguiendo las lneas de la figura, cuntos caminos hay para
ir del punto A al punto B que no pasen dos veces por el mismo punto
y que slo avancen hacia abajo y hacia los lados pero no hacia arriba?
[3er Examen Naciona~
92

13. Problemas

B
[13.13] En cada subconjunto de {1, 2, 3,4,5,6,7,8,9,
ID} con 7 elementos, toma el elemento mayor. Cul es la suma de todos esos
elementos mayores?
[13.14] En la figura, para llegar del punto A al punto B slo
se pueden recorrer caminos en la direccin que indican las flechas.
Cuntos caminos distintos se pueden encontrar? [6 Examen del Distrito Federa~

[13.15] Cuntos rectngulos distintos tienen sus lados sobre las


lneas de una cuadrcula de 10 x lO? [5 Examen Final de Michoacn]
[13.16] Considrese el conjunto de todos los nmeros enteros cuya
notacin decimal es ab con a y b del 1 al 5. Por cada eleccin de cuatro
de estos nmeros considerar todos los dgitos que son necesarios para la
formacin de esos cuatro. (Por ejemplo, si los cuatro nmeros escogidos
son 15, 31, 35 Y 54, entonces los dgitos necesarios para su formacin
son 1, 3, 4 y 5; el dgito 2 no se us.) Cuntas colecciones de cuatro
de esos nmeros necesitan todos los dgitos del 1 al 5? [MLPS, 7
Examen Final de Michoacn]

93

13. Problemas

[13.17] Sea A el conjunto de vrtices en una cuadrcula perfecta


de k x k. Cuntos cuadrados con vrtices en A se pueden formar si
los lados de los cuadrados que se formen no necesariamente deben ser
paralelos a los ejes?
[13.18] Utilizando los 36 vrtices de una cuadrcula perfecta de
5 x 5 como vrtices, cuntos tringulos distintos no degenerados se
pueden formar?
Para resolver el siguiente problema se necesitan conocimientos bsicos de Teora de Congruencias.
[13.19] Para cuntas parejas de enteros (n, r) con O :::; r
se tiene que

(;) con

(;) = 2 (mod 3)?

O :::; r

:::;

:::;

:::;

:::;

80

Calcular la suma mdulo 3 de todas las

80. [Propuesto por Jos Antonio Gmez Ortega]

[13.20] De cuntas maneras se puede disear una competencia


entre 6 jugadores de tal manera que exactamente dos de ellos compitan
contra la misma cantidad de jugadores y cada uno de los otros 4 compita
contra diferente nmero? (Se permite que algn o algunos jugadores
compitan contra Ojugadores, es decir, que no compitan.) [MLPS, 6
Examen Final de Michoacn]
En el siguiente problema, aunque no indispensable, es de bastante
ayuda el conocimiento de la Teora de Congruencias.
[13.21] Cuntas colecciones de cuatro nmeros enteros del 1 al
25 suman un mltiplo de 5? (Por ejemplo la coleccin {18, 9,1, 17}
cumple la condicin pues la suma es 45 que es mltiplo de 5.) [MLPS,
8 Examen Final de Michoacn]
[13.22] Dada una red de comunicacin por avin entre n ciudades
(pensando que si de la ciudad X hay un vuelo directo a la ciudad Y
entonces tambin 10hay de Y a X), digamos que la distancia entre dos
ciudades X y Y es k si k es el mnimo nmero de vuelQs que deben
94

13. Problemas

tomarse para llegar de X a Y.


(a) Suponiendo que n = 8 dar un diseo de una red en la que todas
las distancias sean a lo ms 2 y en el que cada ciudad est comunicada
con a lo ms otras 3.
(b) Probar que si n = 9 Y todas las distancias son a lo ms 2,
entonces hay (por lo menos) una ciudad comunicada directamente con
otras 4 (al menos). [MLPS, 8 Examen Final de Michoacn]
[13.23] Probar que dados 6 nmeros irracionales, se pueden encontrar 3 de tal manera que la suma de 2 cualesquiera de esos 3 es
irracional.
[13.24] Los alumnos de cierto curso estn divididos en n equipos
E!, E2, . . . , En. Llega un conjunto V de visitantes de otra escuela
que se rene con cada uno de los equipos para formar otros equipos
Fl, F2, . . . , Fn (es decir, Fl = V U El, F2 = V UE2, ..., Fn = V U En).
Se les va a aplicar un examen a todos (tanto a los del curso como a los
visitantes). Segn los resultados del examen se quiere premiar a menos
de ~ y de tal manera que en la mayora de los Fi la cantidad elegida
(en cada uno) sea par. Probar que, en este caso, el nmero de alumnos visitantes premiados ser par. [Propuesto por Humberto Crdenas
Trigos; 9 Examen Final de Michoacn]
[13.25] En una oficina hay 10 empleados. Cada uno es especialista
en una labor distinta a la de los dems. Para no aburrirse, les gusta
intercambiar sus puestos; sin embargo, el buen funcionamiento de la
oficina exige que en cada momento haya exactamente 4 empleados trabajando en su especialidad. Cuntas distribuciones de los puestos se
pueden hacer bajo estas condiciones? [MLPS, 9 Examen Final de
Michoacn]
[13.26] Demostrar que si 5 puntos estn dentro de un tringulo
equiltero de lado 2, entonces dos de esos 5 puntos tienen distancia a
lo ms 1.

95

13. Problemas

[13.27] Hay doce duendes viviendo en el bosque, cada uno de ellos


en su propia casa que puede ser azul o roja. En el i-simo mes del ao, el
i-simo duende visita a sus amigos y si encuentra que la mayora de ellos
tiene su casa de diferente color a la suya, entonces se les une y cambia
de color su casa. Probar que llegar un momento (tal vez despus de
varios aos) en que ningn duende tenga que volver a repintar su casa.
(La amistad de los duendes es mutua y no cambia a travs del tiempo.)
[13.28] La sucesin de Fibonacci (11,12,13,...) est definida por
11 = 1, h = 1 y, para n 2::2, In+1 = In + In-1 (ver [4.11]).

(a) Cunto vale 1~+1- I ni n+2?


(b) Demuestra que 51~ + 4( -1)n es un cuadrado perfecto.
[13.29] En una cuadrcula de n x n se escriben los nmeros del 1
al n2 en el orden habitual (de izquierda a derecha y de arriba a abajo,
como se ilustra en la figura para el caso n = 3).

1 2 3
4 5 6
7 8 9
Llamamos camino en la cuadrcula a una sucesin de pasos de un cuadro
a otro, desde el cuadro que tiene el nmero 1 hasta el que tiene el nmero
n2, de' tal manera que en cada paso el movimiento sea hacia la derecha
o hacia abajo. Si C es un camino, denotamos por L( C) a la suma de
los nmeros por los que pasa el camino C.
(a) Sea M la mayor L(C) que se puede obtener de entre todos los
caminos C en una cuadrcula fija de tamao n x n y sea m la menor
L(C) (tambin de entre todos los caminos C en una cuadrcula fija de
tamao n x n). Probar que M - m es un cubo perfecto.
(b) Probar que en ninguna cuadrcula hay un camino C tal que
L(C) = 1996.
[Propuesto por Enrique Cetina, 110 Examen Naciona~

96

13. Problemas

[13.30] Probar que no es posible cubrir una cuadrcula de 6 cm x


6 cm con 18 rectngulos de 2 cm x 1cm, de tal manera que cada una
de las rectas de longitud 6 cm que forman la cuadrcula y que estn en
el interior de la misma pase por el centro de por lo menos uno de los
rectngulos. Demostrar tambin que s es posible cubrir una cuadrcula
de 6 cm x 5 cm con 15 rectngulos de 2 cm x 1cm, de tal manera
que cada una de las rectas de longitudes 5 cm o 6 cm que forman la
cuadrcula y que estn en el interior de la misma pase por el centro
de por lo menos uno de los rectngulos. [Propuesto por Hctor Flores
Cant, 110 Examen Nacona~
[13.31] Sea M un conjunto de 10 enteros entre 1 y 100. Probar que
dentro de M se pueden encontrar dos subconjuntos ajenos (es decir,
sin elementos en comn) de tal manera que la suma de los elementos
de stos conjuntos sea la misma.
[13.32] Utilizando fichas como la que se indica en la figura (cada
cuadrito es de 1 xl), es posible cubrir una cuadrcula de 6 x 7 de
tal manera que cada cuadrito de la cuadrcula quede cubierto el mismo
nmero de veces? (Nota: En los ejemplos presentados en la seccin 11
sobre coloracin, los cubrimientos con fichas eran de "una sola capa" y
as las fichas no podan traslaparsej en este problema s se permiten los
traslapes, puesto que cada cuadrito debe cubrirse varias veces.)

cfP
[13.33] En un campo hay caminos formando una cuadrcula de
n x n (n 2: 2) con sus diagonales a 450 como se ilustra en la figura para
n = 4. Un campesino sale del punto A caminando sobre el camino
para llegar a B. Cada vez que recorre un lado de un tringulo deja
caer una semilla sobre el (los) tringulo(s) del (de los) cual(es) ese lado
es parte. Suponiendo que no puede caminar dos veces sobre el mismo
lado de un triangulito, determinar para qu n' s es posible describir un
97

13. Problemas

recorrido con el cual al final cada triangulito tenga exactamente dos


semillas. [MLPS, 5a Olimpiada Iberoamericana]
B

A
[13.34] Probar que en cualquier conjunto de n + 1 enteros entre 1
y 2n siempre hay dos elementos tales que uno es mltiplo del otro.
[13.35] Una hormiga camina sobre las aristas de un dodecaedro.
(a) Probar que la hormiga puede hacer un recorrido que pase por
todos los vrtices una y slo una vez.
(b) Mostrar que en un recorrido de la forma anterior, la hormiga
debe recorrer en forma consecutiva cuatro aristas de alguna cara. [110
Examen Semifinal del Distrito Federa~

98

Seccin

14

Sugerencias

[14.1] Contar por bloques: primero del O al 9, luego del O al 99,


luego del O al 999, etc. (En cada bloque usar el resultado obtenido en
el bloque anterior.)
[14.2] Pensar en todas las combinaciones que hay si se tira la moneda 3 veces ms (se puede pensar que, por ejemplo, Pepe apuesta
guila todas las veces). Qu proporcin de esas combinaciones le da
el gane a cada uno?
[14.3] Contar los que no tienen dos l' s seguidos segn las distintas
posibilidades: sin l' s, con dos l' s, con tres l' s, etc.
[14.4] Contar primero las intersecciones del segundo conjunto con
las del primero, luego las del tercero con los dos primeros, y as sucesivamente.

14. Sugerencias

[14.5] Usar la condicin de simetra para reducir el problema a


pintar slo la mitad del cuadrado (los cuatro tringulos que se marcan
en la figura). Luego contar cuntas posibilidades hay de pintar los
tringulos centrales de la mitad que qued, utilizando la condicin de
que dos tringulos adyacentes no deben tener el mismo color; finalmente
volver a utilizar esta condicin para ver el nmero de posibilidades de
pintar los dos tringulos de las esquinas que quedaron.

[Z]SJ
[14.6] Contar primero cuntas cifras tiene G; despus analizar
cuntas cifras hay hasta la central y utilizar la cuenta inicial (la de
las cifras de G) para ver cuntos nmeros se necesitan para llegar a la
central.
[14.7] Suponiendo que s es posible, considerar el equipo que tenga
ms nios y analizar cuntos nios hay fuera de ese equipo.
[14.8] Analizar qu tipo de dibujos son posibles como recorridos de
Ana (dividirlos en tipos y despus hacer consideraciones de simetra);
tambin analizar cules son las posibilidades en cada figura para el
punto de inicio del recorrido, as como el sentido que puede llevar el
IDlsmo.
[14.9] Separar
(a) Con ceros.
(b) Sin ceros.
(bd Sin ceros,
(b2) Sin ceros,
(b 3) Sin ceros,
(b4) Sin ceros,
(b 5) Sin ceros,

en los siguientes casos:

con
con
con
con
con

todas las cifras iguales.


tres cifras iguales.
dos cifras iguales y las otras dos distintas.
dos pares de cifras iguales.
todas las cifras distintas.

[14.10] Observar que cada nmero dell al 400 afecta exactamente


100

14. Sugerencias

4 vrtices.
[14.11] Considerar la grfica de competencias (por cada jugador
poner un punto y representar con una lnea entre dos de esos puntos el
que los jugadores correspondientes compitan entre s). Proponer una
grafica que se crea tiene el mnimo nmero de segmentos y despus
comprobar que ese nmero de segmentos es mnimo analizando una
grfica cualquiera que cumpla la condicin y probando que forzosamente
tendr ms segmentos que la propuesta inicialmente. Para esto observar
que si x es un vrtice no unido con nb1guno de los vrtices Xl, X2, . . . ,Xr,

entonces stos ltimos deben estar todos unidos entre s. Luego tomar
un punto que tenga el mnimo nmero de conexiones dentro de la grfica
y analizar los distintos casos.
[14.12] Llamar no, nI, n2, ..., n7 los niveles horizontales (como
se indica en la figura) Dado un camino de A a B (de los permitidos), considerar A = Bo, Bl, B2,.. ., B6 los ltimos vrtices que toca
el camino en los niveles respectivos (observar el ejemplo marcado en
la figura). De cuntas maneras pueden elegirse Bo, BI, B2, . . . , B6 ?, Y
de cuntas maneras se puede "bajar" de cada Bi a Bi+1?

101

14. Sugerencias

[14.13] Contar primero en cuntos subconjuntos de 7 elementos


aparece cada nmero como elemento mayor.
[14.14] Empezando en A y siguiendo el orden marcado por las
flechas, en cada vrtice contar sucesivamente el nmero de formas para
llegar a l.
[14.15] Primera forma: Cada rectngulo est determinado por dos
lneas horizontales y dos verticales.
Segunda forma: Cada rectngulo est determinado por dos vrtices
opuestos.
[14.16] Aplicar el Principio de Inclusin y Exclusin: Considerar
primero cuntas colecciones de cuatro de esos nmeros no tienen, por
ejemplo, al 1; tambin analizar cuntas no tienen ni al 1 ni al 2, etc.;
ahora, para resolver el problema, al total de colecciones de cuatro de
esos nmeros restarle las que no tienen cada uno de los dgitos, cuidando
de ajustar si se resta de ms.
[14.17] Cada cuadrado oblicuo est inscrito en un nico cuadrado
vertical. Contar cuntos cuadrados verticales hay de cada tamao y despus, para cada cuadrado vertical de lado e, contar cuntos cuadrados
oblicuos estn inscritos en l.
[14.18] Primero contar todos los tringulos (incluyendo los degenerados). Despus restar los que tienen sus vrtices alineados segn las
distintas direcciones de alineacin.
[14.19] Para la primera parte, construir el tringulo de Pascal
mdulo 3 (recordando que en una suma se pueden sustituir los nmeros
por congruentes a ellos, sin alterar la validez de la congruencia). Analizar las repeticiones que hay (por bloques). Para la segunda parte recordar que para n fija tenemos que

(~) + (7) + . . . + (~) = 2n,


102

14. Sugerencias

as que conviene sumar por renglones en el tringulo de Pascal.


[14.20] Llamar X y Y a los jugadores que compiten con la misma
cantidad. Si r es dicha cantidad, analizar las posibilidades para r.
Indicar por (8, t, U,v) los otros nmeros de competencias que tengan
los dems jugadores, conviniendo que 8 > t > u > v. Observar cmo
es la suma 8 + t + u + v y qu relaciones pueden guardar entre s los

nmeros r, 8, t, u y v. Dividir en casos segn las posibilidades para


r.
[14.21] Thabajar con residuos mdulo 5. Analizar todas las posibilidades en que la suma de 4 residuos sea mltiplo de 5 y para cada una
de estas posibilidades contar cuntos nmeros del 1 al 25 determinan
esa coleccin de residuos.
[14.22] Para la segunda parte, suponer que se tiene una grfica de
comunicaciones entre 9 ciudades en la que todas las distancias son 2 y
en la que en cada vrtice hay tres aristas o menos. Probar que entonces
a todos los vrtices llegan exactamente tres aristas. Deducir de aqu
una contradiccin examinando el nmero de aristas que debe haber en
una grfica con esas condiciones.
[14.23] Considerar una grfica en la que los vrtices representen
los nmeros dados, y en la que se pone una lnea roja entre dos vrtices
si la suma de los nmeros que representan es irracional, y una lnea
azul si la suma es racional. Usar el ejemplo [9.6] para deducir que debe
haber un tringulo rojo o uno azul. Usando que las operaciones bsicas
entre nmeros racionales nos producen de nuevo nmeros racionales,
probar que no se puede encontrar un tringulo azul.
[14.24] Hacer un esquema (diagrama de Venn) que ilustre cmo
estn relacionados los conjuntos del problema. Llamar P al nmero de
alumnos premiados y suponer que P n V tiene un nmero impar de
elementos. Entonces, cuntos alumnos premiados hay en Ei si P n Fi
tiene un nmero par de elementos? Usar esta respuesta y la hiptesis de
103

14. Sugerencias

~ para

que el nmero de premiados es menor que

concluir un absurdo.

[14.25] Usar el Principio de Inclusin y Exclusin. Un ejemplo


en el que se cuente cuntas permutaciones de 4 elementos en las que
ninguno de ellos queda fijo puede ayudar.
[14.26] Partir el tringulo en cuatro tringulos equilteros.
[14.27] Considerar la grfica de las amistades. Cada mes pintar
de verde las aristas que unen casas de distinto color y analizar cmo
cambia esto a travs del tiempo.
[14.28] Para el inciso (a), calcular fi - hh,

J'f - h!4, fJ - hls


y Il - 1416,y, en base a esto, conjeturar. Para el inciso (b), usar la
relacin en (a) para obtener una ecuacin cuadrtica en In+!' Observar
qu pasa al resolver dicha cuadrtica (suponiendo que en ese momento
ya se conoce

In.

[14.29] Para el inciso (a), observar que cada camino C cruza exactamente una vez cada una de las diagonales que se muestran en la
figura.
, J'

"
"

,,
,,
,,

,,
',

, 2,'
'"
,,
,,
,,
,,
,,

',
,,

",
,

, 1t

,
'

21
,
, , ,,
,
,,
"
,
,,

"l

Observar tambin que sobre las diagonales en cuadritos- que comparten


un vrtice, la diferencia es n-l.
Para el inciso (b), usar el valor de m
y de M para encontrar un rango de valores permitidos para una n que
pudiera cumplir L(C) = 1996 Y utilizar el inciso (a) para probar que
ninguno de esos valores es posible.
104

14. Sugerencias

[14.30] Observar que si fuera posible cubrir la cuadrcula de 6 x 6


con rectngulos como se pide en el enunciado, entonces cada lnea interior vertical deben estar atravesada por un nmero par de rectangulitos horizontales, y lo mismo ocurrira en el otro sentido.
[14.31] Usar el Principio de las Casillas para encontrar dos conjuntos que tengan la misma suma (aunque no sean ajenos).
[14.32] Colorear 12 cuadros de negro de tal manera que, sin importar cmo se coloquen las fichas, cada una cubra exactamente un cuadro
negro. Contar de dos maneras distintas cuntos cuadrados quedaran
cubiertos en caso que se tuviera una cubierta como la pedida.
[14.33] Los caminos que dejan dos semillas en cada tringulo tienen
dos caractersticas importantes: pasan por exactamente dos de los tres
lados de cada tringulo y en cada vrtice (excepto en A y en B) usan
un nmero par de aristas. Empezando en el vrtice inferior derecho
analizar qu marca puede dejar una trayectoria tal.
[14.34] Todo entero se puede expresar en la forma 2kb, con k 2: O
y b impar. Usar Principio de las Casillas.
[14.35] Recordar que un dodecaedro tiene 12 caras, cada una de
las cuales es un pentgono y que a cada vrtice llegan exactamente
tres aristas para probar que un camino que pase por todos los vrtices
exactamente una vez debe usar 20 aristas; de aqu probar que en alguna
cara se usan 4 aristas. Luego, observar que en cada vrtice queda una
arista sin usar para demostrar que el camino usa 4 aristas del pentgono
en forma consecutiva. Para construir el camino apoyarse en el resultado
recin obtenido (se puede indicar un camino en un esquema aplanado
del dodecaedro, con una cara como un pentgono ms grande que queda
por atrs al desaplanarlo).

105

Seccin 15

Soluciones

[15.1] Contemos el nmero de l/s que se usan por bloques:


* Del O al 9 se usa 1.
* Del O al 99 se usan 20: un 1 por cada decena (por los nmeros
terminados en 1) Y 10 ms por los nmeros que empiezan con 1.
* Del O al 999 se usan 300: 20 por cada centena ms 100 por cada
nmero que empieza con 1.
* Del O al 9999 se usan 4000: 300 por cada millar ms 100 por
cada nmero que empieza con 1.
As sucesivamente, tenemos:
* Del O al 99 999 se usan 50000.
* Del O al 999 999 se usan 600 000 .
En este punto ya slo nos faltan 400 000, as que no podemos poner
todos los nmeros de 7 cifras y debemos contar por bloques menores.
* Del 1 000000 al 1099 999 se usan 150000 (50000 por las ltimas
seis cifras ms 100000 pues todos empiezan con un 1).
* Del 1100000 al 1199999 se usan 250000 (50000 por las ltimas

15. Soluciones
cinco cifras ms 2 x 100000 pues todos empiezan con dos l's).
Entonces 1199999 es el nmero que buscbamos y es la nica respuesta posible pues el siguiente nmero sera 1 200000 que utilizara
un 1 ms.
[15.2] Podemos pensar que se va a tirar la moneda tres veces ms
y que Pepe va a apostar al guila en todas. En este caso la nica
posibilidad que le da el triunfo a Pepe es que salga guila las tres veces.
Pero hay en total 23 posibilidades, as que la proporcin justa es que
Pepe se quede con ~40 = 5 pesos.
[15.3] Es ms fcil contar los nmeros menores que un milln que
no tienen dos l' s seguidos. Para ello analicemos los distintos casos:
(a) Los nmeros que no tienen l's son 96 - 1 (pues en cada cifra
podemos elegir cualquiera de los dgitos del Oal 9 excepto el1 y despus
hay que quitar la eleccin de puros O's) .
(b) Los nmeros que tienen exactamente un 1 son 6 . 95 pues el 1
puede ocupar cualquiera de los 6 lugares y en cada uno de los otros
podemos escoger cualquier otro dgito.
(c) Los nmeros que tienen exactamente dos l's (no seguidos). Las
posibilidades para colocar los l's son 10: 1.1. .., 1 . .1 .., 1...1.,
1 . . . .1, .1. 1 . ., .1. .1., .1 . . . 1, .. 1 . 1., .. 1 . .1 Y . . .1 . 1. Los otros
4 lugares pueden ser llenados con 9 dgitos diferentes, as que en este
caso hay 10 x 94.
(d) Los nmeros que tienen exactamente tres l' s. Las posibilidades
de los lugares para los l' s son: 1. 1 . 1., 1. 1 . .1, 1..1. 1 Y .1 . 1 . 1.
Entonces en este caso hay 4 x 93.
Ya no se pueden poner cuatro l's pues quedaran forzosamente dos
juntos al menos. La respuesta entonces es:
999999 - ((96 - 1) + 6 x 95 + 10 x 94 + 4 x 93)
=999999 - 93(93+ 6 x 92 + 10 x 9 + 4) + 1
=999999 - 729(1309) + 1
=45739.
108

15. SQluciones

[15.4] Vayamos contando las intersecciones de las rectas de cada


conjunto con las de los conjuntos con menos rectas:
Las rectas del segundo conjunto se intersectan en dos puntos con las
del primero; cada una de las 3 rectas del tercer conjunto se intersecta
con las de los otros dos conjuntos, as que stas determinan otros 3(1+2)
puntos de interseccin; anlogamente, las 4 rectas del cuarto conjunto
agregan 4(1 + 2 + 3) intersecciones ms, as sucesivamente. En total
hay
2 + 3(1 + 2) + 4(1 + 2 + 3) + . . . + 10(1+ 2 + 3 + . . . + 9) = 1320
intersecciones.
[15.5] Bastar considerar los colores que van a ponerse slo en la
mitad del cuadrado puesto que se quiere que las fichas sean simtricas,
as que pensemos que vamos a pintar slo cuatro tringulos (los que se
muestran en la figura), dos centrales y dos en las esquinas.

lN
Pensemos tambin que los colores son rojo (R), verde (V), blanco
(B) y azul (A). En los tringulos centrales hay que escoger 2 de los
cuatro ,colores, sin importar su orden (pues al girar la ficha, el orden se
invierte); las posibilidades son 6: R - V, R - B, R - A, V - B, V - A
y B - A. Por cada una de estas elecciones en cada esquina se pueden
poner cualesquiera de los tres colores que no se usaron en el tringulo
central junto a esa esquina.

Entonces

la respuesta

es 6 x 3 x 3

= 54.

[15.6] El nmero total de cifras de G es


9+2(99-9)+3(999-99)+4(1995-999)

= 9+180+2700+3984 = 6873.

Entonces la cifra central est en el lugar 3437. Para llegar a esa cifra
necesitamos todos los nmeros del 1 al 999 (pues son 9 + 180 + 2700' =
2889) Yotras 548 cifras ms. Como a partir del 1000 todos los nmeros
109

15. Soluciones

= 137, necesitaremos 137 nmeros


despus del 999, es decir, hasta el 1136; la ltima cifra (el 6) de este
nmero es la cifra buscada y el nmero al que corresponde es, precisamente, al 1136.
que se escriben tienen 4 cifras y 5:8

[15.7] Supongamos que s. Entonces un equipo e tiene por lo


menos 4 nios. Sobran a lo ms 6 fuera de e as que si a es uno
de los nios de e, entonces por lo menos uno de los otros nios de e
debe ser su amigo.
[15.8] El problema equivale a contar cuntas figuras de permetro
10 se pueden formar con cuadritos de 1 x 1, Y despus multiplicar el
resultado por 10 (que es el nmero de posiciones relativas en la figura
de permetro 10 en las que la casa de Ana puede quedar como vrtice)
y tambin por 2 (para tomar en cuenta los dos sentidos en que se puede
hacer el recorrido). Las figuras mencionadas son de los siguientes tipos:

ITITJ
tipo 1

dF
tipo 4

'-tipo 2

tipo 5

tipo 3

cfb
tipo 6

Contemos ahora cuntas posiciones pueden tener cada uno de estos


tipos. Del tipo 1 hay 2 posiciones: horizontal (como muestra el dibujo)
y vertical. Anlogamente del tipo 2 hay 2, del tipo 3 hay 8, del tipo
4 hay 4, del tipo 5 hay 8 y del tipo 6 hay 4. La respuesta entonces es
20(2 + 2 + 8 + 4 + 8 + 4) = 560.
110

15. Soluciones

[15.9] Contemos por casos.


(a) Nmeros de 4 cifras con al menos un cero hay 9000 - 94 = 2439
(pues hay 94 nmeros sin ceros).
(b) Los nmeros que no tienen ceros conviene separados en casos
segn el nmero de cifras que tengan iguales.
(bd Los nmeros con todas las cifras iguales (de la forma aaaa)
son 9 y todos cumplen la condicin de que el producto de las cifras sea
un cuadrado.
(b2) Los nmeros con tres cifras iguales y la otra distinta son de
la forma aaab, aaba, abaa o baaa. De aqu que deberemos analizar
las distintas posibilidades para a y b (segn la condicin del problema)
y despus multiplicar por 4 (para considerar la posicin de b en el
nmero); stas son de dos tipos; el primer tipo es cuando ambos a y
b son cuadrados (o sea 1, 4 o 9), lo que nos da 3 x 2 posibilidades;
el segundo tipo es cuando a y b son los nmeros 2 y 8 (en cualquier
orden) lo cual nos da otras dos posibilidades. En total en este caso
tenemos 4(3 x 2 + 2) = 32 posibilidades.
(b 3) Los nmeros con dos cifras iguales y otras dos distintas: aabc
con a, b Y e todos distintos entre s y las distintas posibilidades de orden
de a, b Y e que son 12 (pues la posicin de b se puede elegir entre 4
posiciones y entonces la de e, de 3). Analicemos las posibilidades para
a, b y e en el nmero aabc y despus multiplicaremos por 12 para
considerar las distintas posiciones. La primera posibilidad es que b y e
sean cuadrados y a cualquier otro dgito (distinto de b y e); en este caso
hay que escoger 2 de los 3 nmeros 1, 4 Y 9, lo cual es G) = 3 (aqu no
debemos considerar el orden entre b y e pues cuando multipliquemos
por 12 ya se tomar en cuenta); una vez elegidos b y e nos quedarn 7
posibilidades para a (pues a debe ser un dgito distinto de O, de b y de
e); as en este subcaso hay 3 x 7

= 21

posibilidades.

Anlogamente,

si

b y e son 2 y 8 (en cualquier orden), a tiene 7 posibilidades. Entonces


el total en este caso son 12(21 + 7) = 336.
(b4) Nmeros con dos cifras repetidas cada una: forma bsica aabb
111

15. Soluciones

con a

=1=-

b, considerando

las distintas

posiciones

caso la posicin de a (que se puede escoger de

para a y b. En este

G) =

6 formas) deter-

mina la de b. La eleccinde a y b (dos dgitos distintos cualesquiera)


puede hacerse de G) = 36 formas (el papel de a y el de b es indistinguible en esta eleccin, pero una vez elegidos,al fijar cualquiera
de ellos se determinan su posiciones). En este caso tenemos entonces

6 x 36 = 216 posibilidades.
(bs) Nmeros abcd con a, b, e y d todos diferentes. Podemos
pensar que vamos a permutar todas las elecciones de a, b, e y d (hay
4! = 24 permutaciones) y considerar la eleccin de stos sin repetir
colecciones. En ese caso no pueden ser todos cuadrados. Si a = 2 u 8,
b = 3, e = 6 y d un cuadrado, entonces hay 6 posibilidades. Si a = 2,
b = 8 y e y d son cuadrados, entonces hay 3 posibilidades.
En total
hay 24(3 + 6) = 216.

Sumando todos los resultados parciales tenemos el resultado final


que es 3248.
[15.10] Observamos que cada nmero del 1 al 400 afecta exactamente a cuatro vrtices, as que la suma es 4(1 + 2 + ... + 400) =
4(200 x 401). Nota: sta ltima igualdad se obtiene de agrupar 1 con
400, 2 con 399, 3 con 398, etc. (en cada agrupamiento la suma es 401)
por lo que la suma 1 + 2 + 3 + . . . + 400 es igual a 200 x 401.
I

[15.11] Por cada jugador ponemos un punto y representamos con


una lnea entre dos de esos puntos el que los jugadores correspondientes
compitan entre s; de esta manera tendremos la grfica de competencias.
Observemos que la grfica

6~
112

15. Soluciones

satisface las condiciones. Esta grfica tiene nueve segmentos. Supongamos que tenemos una grfica G que satisface las condiciones del problema; probaremos que G tiene por lo menos 9 segmentos, obteniendo
as que 9 es el mnimo. Observemos que si x es un vrtice en G no unido
con ninguno de los vrtices Xl, X2, ..., xr, entonces las condiciones del
problema implican que stos ltimos deben estar todos unidos entre s.
Tomemos X un vrtice en G que tenga el mnimo nmero de conexiones
en G. Si hay 6 puntos no conectados con x entonces esos 6 deben
estar todos conectados entre s, as que el nmero de segmentos en
G es (~)

15 > 9.

Si en G hay 5 vrtices no conectados con x

entonces el nmero de conexiones entre ellos es (~) = 10 > 9. Si hay


4 no conectados con x, entonces el nmero de conexiones entre ellos es
(~) = 6; adems, en este caso, x estar conectado con otros dos puntos:
y y z, lo cual contribuye con dos segmentos ms para G; pero alguno
de y o z debe tener (por lo menos) una conexin ms pues si a es uno
de los vrtices no conectados con x, entonces entre a, y y z deber
haber al menos un conexin, as que, tambin en este caso, el total de
segmentos ser mayor o igual a 9. Si hay 3 o menos no conectados
con x entonces x est conectado con por lo menos 3 vrtices y, por ser
x uno de los vrtices menos conectados de G, todos tendrn 3 o ms
conexiones; el total ser entonces mayor o igual que 7~3 > 9. Con esto
hemos cubierto todos los casos y probado as que el nmero de aristas
de G es mayor o igual a 9.
[15.12] Llamemos
no, nI, n2, . . ., n7 los niveles horizontales (india
cados en la figura).

113

15. Soluciones

A.no
\
\

131nl
\

1 \
1

;__n

1\
1

1
1\
1\1\11\
Q,

.LJM

1\
1\1\11\1\1\
\1

1\1\1\

\1

\'

n3
\

---~

1\

n4

1\
\1

1 - -- 1\-r, - -- 1\r.--- -'\t\ ns


1
\1

"

1\

1\ 1
1\

1\

\1

An-/~---,~_n
1\
1\
1\
1

n_~

\1
1\

-- - -"
1\

\
\

1
\

1\

1\

\1
1\

1
11\'\1\1\

l~

1
\

,l-n_-'A

n_~1\1\ n2

\1

\ _nr.n--r.-n_~\n6
\

1\

\1\1\1\

\1
~

1\

\1
~

1\

"
~

,
'n7

Dado un camino de A a B (de los permitidos), consideremos los ltimos


vrtices A = Bo, Bl, B2, . . . B6 que toca el camino en los nivelesrespectivos (como ilustra el ejemplo marcado en la figura). El nmero de
formas distintas en que puede elegirse cada B es i + 1 pues ste es el
nmero de vrtices en el nivel n y Bi puede ser cualquiera de ellos.
Entonces la sucesin Bo, Bl, B2"'" B6 puede elegirse en conjunto de
7! formas. De cada B se puede "bajar" a Bi+l de dos formas pues
slo se puede bajar al siguiente nivel en dos direcciones y despus de
ah el camino ya estar determinado (se mover lo necesario para llegar
a B+1)' Tenemos entonces que cada camino determina una sucesin
Bo, Bl, B2"'" B6 Y una eleccin de forma de bajar ,en cada Bi, y,
recprocamente, cada eleccin de una sucesin Bo, Bl, B2"'" B6 junto
con una eleccin de cmo bajar en cada nivel determina un camino;
de esta manera, el nmero de caminos es igual al nmero de elecciones
mencionadas arriba, es decir, 7! x 27.
[15.13] El nmero 10 es el elemento mayor en

(:) subconjuntos

de 7 elementos; el 9 es el mayor en (~); el 8 es mayor en (~) y el 7 es

114

15. Soluciones
mayor en (~). Entonces la suma de todos los mayores ser

10(:)+9(:) +8(~)+7(:) = 1155.


[15.14] Empezando en A y siguiendo el orden marcado por las
Hechas, en cada vrtice contemos el nmero de formas para llegar a l,
para lo cual en cada vrtice pondremos lo que hemos puesto en todos
los inicios de las Hechas que le llegan:

El resultado entonces es 987.


[15.15] Primera forma: Como cada rectngulo est determinado
por dos lneas horizontales y dos verticales, hay tantos rectngulos como
se puedan escoger estas lneas, es decir

en 2 = 3025.

Segunda forma: Cada rectngulo est determinado por dos de sus


vrtices opuestos. El nmero de formas distintas de elegir estas parejas de vrtices opuestos es 121~100 = 6050. Sin embargo por cada
rectngulo hay dos parejas de vrtices opuestos, as que el resultado
es 60;0 = 3025.
[15.16] Los 25 nmeros de los cuales vamos a considerar colecciones
de 4 son:
11 12 13 14 15
21 22 23 24 25
31 32 33 34 35
41 42 43 44 45
51 52 53 54 55
El total de colecciones de 4 de ellos es

e:).

Las colecciones que no

115

15. Soluciones

tienen ningn 1 son e46) y este mismo nmero son las que no tienen 2,
o las
total
error
estn

que no tienen 3, etc. Entonces (2:) - 5e46) intenta considerar el


de colecciones que no tienen por lo menos un nmero, pero con un
pues, por ejemplo, las colecciones que no tienen dos nmeros se
restando dos veces; contemos cuntas son stas. Por ejemplo, las

colecciones que no tienen ni 1 ni 2 son (:); en las mismas condiciones


estn las colecciones que no tienen otros dos nmeros entre el 1 y el
5. Pero hay (~) formas de escoger dos nmeros entre el 1 y el 5, por
lo tanto al resultado que tenamos hay que sumarle (D (:). Todava
el resultado que tenemos no es correcto pues las colecciones que no
tienen tres nmeros, en un principio se restaron tres veces y despus se
volvieron a sumar tres veces. Como arriba, stas son G) (:), as que
este nmero debe restarse. La respuesta es

(2:) -

5C46)+ (~) (:) - (:) (:) = 4800.

[15.17] Es claro que cada cuadrado oblicuo est inscrito en un


nico cuadrado vertical. El nmero de cuadrados inscritos en uno de
lado e es e pues cada cuadrado est determinado por uno de los e - 1
vrtices interiores de uno de los lados y a ellos hay que agregarles el
mismo cuadrado. Ahora, el nmero de cuadrados verticales de lado e
(para, 1 ::; e ::; k) es (k - (e - 1))2 pues stas son las posibilidades de
eleccin del vrtice superior izquierdo dentro de la cuadrcula y con esa
eleccin se determina el cuadrado (por ejemplo, los de lado 1 son k2,
los de lado 2 son (k - 1)2, etc.). Entonces la respuesta es
k

(k

c=l

- (e - 1))2C.

[15.18] Las formas distintas de elegir 3 puntos de los 6 disponibles


son e36). Sin embargo, una terna as elegida no forma tringulo si los
puntos estn alineados; por tanto hay que descontar estas posibilidades.
Por cada rengln y columna, la eleccin de tres puntos en ella nos da uno
116

15. Soluciones
de los tringulos degenerados que queremos eliminar; stos son (~) en
cada rengln y cada columna, as que en total son 12(~). Otra posibilidad de elegir puntos alineados es hacerlo sobre las diagonales. Hay dos
diagonales con 6 puntos (stas contribuyen en 2 (~) tringulos degenerados); 4 diagonales de 5 puntos (contribucin: 4(~) ); 4 diagonales de
4 puntos (contribucin 4(:)); y 4 diagonales de 3 puntos (contribucin
4 (D ). Por ltimo hay que restar los tringulos degenerados que se forman al pasar de un rengln a otro pero saltando columnas, y viceversa;
stos se pueden contar directamente: son 8 en cada una de las cuatro
inclinaciones. La respuesta final es

(336)- 12(:) - 2(:) - 4(~) - 4(:) - 4(~) - 4 x 8 = 6768.


[15.19] Recordemos que si a = a' (mod n) y b = b' (mod n),
entonces a + b = a' + b' (mod n), as que podemos trabajar mdulo 3
para construir el tringulo (segn la Frmula de Pascal) y encontrar ah
el nmero de 2' s. Llamemos T al tringulo formado por los primeros
9 renglones:
1
1
1

1
1

1
2

o
o

2
1

1
2

2
2

1
2

1
2

1
1

1
2

Podemos observar que por debajo de ste hay ceros y que ste se repite
en las orillas en los siguientes 9 renglones. Entonces los primeros 27 renglones del tringulo de Pascal (que forman un tringulo que llamaremos
U) estn determinados en bloques de tringulos de 9 renglones como
sigue:
117

15. Soluciones

T
T O T
O S O T

T
donde S es el tringulo

2
2
2
2
2
2
2
2
2

2
1

O
2

2
2

2
1

1
1

2
O

O
O

2
1

2
O

O
1

O
1

2
1

Otra vez, por debajo de U hay ceros y U vuelve a aparecer en bloques,


de tal manera que los primeros 81 renglones son
U
U O U
U O V O U
donde V es el tringulo de 27 renglones:
S
S O S
S O T O S
Hemos construido as los primeros 81 renglones (desde n

O hasta

n = 80) del tringulo de Paseal. Contemos los 2's por bloques: En cada
tringulo T hay 10 y en cada tringulo S hay 26, as que en el tringulo
U hay 5 x 10 + 26 = 76, Y en el tringulo V hay 5 x 26 + 10 = 140.
Entonces en los primeros 81 renglones hay 5 x 76 + 140 = 520.
Para la segunda parte del problema recordemos que para n fija

(~) + (~) + . . . + (~) = 2n,


118

15. Soluciones

as que para sumar todas las

(;), hagmoslo

E (.~n

(;) ) = E 2"

gulo de Pascal:

OS,F.S80

(;)

281

- 1

= (22)40.2-

por renglones en el trin-

1 - 140.2 - 1 = 1 (mod 3).

[15.20] Consideremos una competencia con las condiciones pedidas en el problema. Examinaremos las posibilidades que se presentan.
Llamemos X y Y a los jugadores q1.}ecompiten con la misma cantidad
y sea r dicha cantidad. Analicemos las posibilidades para r, indicando
por (8, t, U,v) los otros nmeros de competencias que tengan los dems
jugadores,

y conviniendo

que 8 > t > u > v (entonces r, s, t, u y

v son todos enteros del O al 5, distintos entre s). Podemos observar


que la suma s + t + u + v debe ser par (pues, sumado con 2r es par
ya que c,ada competencia se cuenta dos veces en dicha suma). Adems,
si uno de los nmeros 'es O, otro no puede ser 5. Utilizaremos estas
observaciones en nuestro anlisis.
Si r = 5. Entonces todos los dems jugadores debern competir
con X y Y, as que 8, t, u y v son todos mayores o iguales que 2 (2,
3 o 4), lo cual no es posible.
Si r

4. En este caso, si v = O, entonces

los competidores

co-

rrespondientes a s, t Y u competiran todos con X y Y, as que s,


t, Y u seran todos mayores o iguales que 2 (2, 3 o 5), lo cual no es
posible pues O y 5 no pueden estar en la misma coleccin. Entonces
(8, t, u, v) = (5,3,2,1), pero la suma aqu es 5 + 3 + 2 + 1 = 11 que no
es par, as que tampoco es posible.
Si r = 3. Entonces (8, t, u, v) = (5,4,2,1) o (4,2,1, O). El segundo
no es posible pues tiene suma impar. El primero s es posible como se
muestra en la grfica de competencias siguiente.

119

15. Soluciones

5
3
2

4
3
El nmero de posibilidades en este caso est dado por la eleccin de los
jugadores segn cada nmero de competencias 5, 4, 2 Y 1, es decir, el
nmero de posibilidades es 6 x 5 x 4 x 3 = 360.
Si r = 2. Entonces (s,t,u,v) = (5,4,3,1) o (4,3,1,0). El primero
no es posible pues tiene suma impar. El segundo s es posible como se
muestra en la grfica de competencias siguiente.
2
1
3

o
2
El nmero de posibilidades en este caso est dado, como en el anterior,
por 6 x 5 x 4 x 3 = 360.
Si r = 1. Entonces 5 y 4 no pueden aparecer juntos en la coleccin,
as que (s,t,u,v) = (4,3,2,0), que no tiene suma par y, por tanto, es
imposible.
Si r = O. Entonces ninguno de 5 y 4 puede aparecer en la coleccin
as que tambin este caso es imposible.
El nmero total de posibilidades es 360 + 360 = 720.
[15.21] Para cada residuo r de la divisin por 5 consideremos la
coleccin r de los nmeros del 1 al 25 que dejan residuo r (por ejemplo
2" = {2, 7, 12, 17, 22}). Es claro que cada r consta de 5 elementos. El
que la suma de 4 nmeros sea mltiplo de 5 equivale a que la suma de
los residuos lo sea. Analicemos todas las posibilidades de residuos con
120

15. Soluciones
suma mltiplo de 5 y contemos las posibilidades de eleccin en nuestra
coleccin segn los residuos:
coleccin de residuos

nmero de posibilidades de eleccin

=5

0,0,0,0

(~)

1,1,1,2
2,2,2,4
3,3,3,1
4,4,4,3
0,0,1,4
0,0,2,3
1,1,0,3
1,1,4,4
2,2,0,1
2,2,3,3
3,3,0,4
4,4,0,2
1,2,3,4

(~) . 5 = 50
50
50
50
(~)

250
250
(~)2

250
100
250
250
54

. 5 . 5 = 250

100

= 625

El total es 2530.
[15.22] Consideraremos la grfica de las comunicaciones de la manera natural.
(a) La red que cumple las condiciones es

(b) Supongamos que en cada vrtice hay 3 aristas o menos. Veamos


entonces que todos los vrtices tienen exactamente 3 aristas. Si un
vrtice A tuviera 2 o menos aristas (digamos a Bl y B2), entonces
121

15. Soluciones

sobraran 6 vrtices (o ms) C1, C2, . . ., C6 que, por no estar conectados


con A (y puesto que sus distancias a A son menores o iguales que
2), deberan estar conectados con B1 o con B2. Pero B1 y B2 slo
aceptan a lo ms dos aristas cada uno, as que sobraran al menos dos
sin conectar (ver esquema).
C1
C2
AZ

/C3
C4
Cs
C6

Ahora veamos que es imposible que cada vrtice tenga exactamente


3 aristas. Si ste fuera el caso, entonces el nmero de aristas sera
9~3 = 2; , lo cual es un absurdo pues ste no es un nmero entero.
[15.23] Consideremos una grfica en la que los vrtices representen
los nmeros dados y en la que se pone una lnea roja entre dos vrtices
si la suma de los nmeros que representan es irracional, y una lnea
azul si la suma es racional. Por el ejemplo [9.6], sabemos que debe
haber un tringulo rojo o uno azul. Usando que las operaciones bsicas
entre nmeros racionales nos producen de nuevo nmeros racionales,
veamos que no se puede encontrar un tringulo azul, y con eso quedar
resuelto el problema, pues un tringulo rojo representa los nmeros
buscados. Supongamos entonces que tenemos un tringulo azul cuyos
vertices corresponden a los irracionales a, b y c. Como a + b y a + e son

racionales, entonces su diferencia, b - e, tambin lo es; pero entonces,


sumando este nmero con b + e que tambin es racional, tenemos que
2b es racional, de donde tambin lo es b, y esto es una contradiccin;
entonces no puede haber ningn tringulo azul, como queramos probar.
[15.24] Sea P el conjunto de alumnos premiados. Queremos pro122

15. Soluciones
bar que P n V tiene un nmero par de elementos. Supongamos que
P n V tiene un nmero impar de elementos y, sin prdida de generalidad, supongamos que cada uno de P n Fl' P n F2' ..., P n Fk tiene
una cantidad par de elementos, donde k > ~. Entonces para cada
i = 1,..., k, los alumnos premiados de Ei son un nmero impar (pues
ellos, junto con los de V deben formar una cantidad par). Pero entonces al menos habr un premiado en cada Ei para i = 1,..., k, es
decir, el nmero de premiados ser mayor o igual que k que es mayor
que ~, lo cual contradice la hiptesis.
[15.25] La eleccin de los cuatro que quedan fijos est dada por
C40). Una vez elegidos stos, en los seis lugares restantes ninguno debe
quedar fijo. Contemos esas posibilidades usando el Principio de Inclusin y Exclusin:
6! - (~) 5! +

(~)4!- (~) 3! + (:) 2! - (:) 1!+ 1 = 265.

(El primer sumando cuenta el nmero total de permutaciones de los 6,


el segundo cuenta las permutaciones con cada uno fijo, el tercero con
dos fijos, etc.) Entonces el resultado es C40)265= 55650.
[15.26] Partamos el tringulo en cuatro tringulos equilteros de
lado 1 trazando paralelas a cada lado que pasen por los puntos medios de
los otros dos lados. Por el Principio de las Casillas, uno de los tringulos
tiene contiene dos puntos; esos dos puntos deben tener distancia menor
a la distancia mxima en el tringulo, la cual es obviamente 1 (la distancia entre dos vrtices).
[15.27] Consideremos la grfica de las amistades y pintemos de
verde todas las aristas que unen casas de distinto color. Cada vez
que un duende tiene que repintar su casa, el nmero de aristas verdes
disminuye (al menos en una) pues la mayora de aristas que llegaban
al vrtice que representa su casa eran verdes, a stas se les quita el
color y se pinta de verde la minora que antes no tena color. Entonces
el nmero de aristas verdes deber permanecer constante a partir de
123

15. Soluciones
cierto momento; a partir de ese momento ya ningn duende tiene que
repintar su casa.
[15.28] La sucesin de Fibonacci es: 1, 1, 2, 3, 5, 8, 13, 21, 34, ....
Entonces
li - hh = 1 - 2 = -1,

1; - 12/4 = 4 - 3 = 1,

{f - 13/5 = 9 - 10 = -1 Y

fi -

/416

= 25 -

24

= 1.

Conjeturamos entonces que para n 2: 2, I~ - I n- d n+1 es 1 si n es


impar y es -1 si n es par. Probemos esto por induccin. La base
de induccin es para n = 2, que ya qued establecida arriba. Ahora
bastar probar que la suma de dos de estas expresiones consecutivas es
O,lo cual hacemos a continuacin con la siguiente cadena de igualdades,
en las que se han expresado In+1 y In+2 en trminos de In-l y In:
(f~ - In-dn+1) + (f~+l - Inln+2) = I~- In-(/n + In-d + (fn-l + In)2-

In(fn + (fn-l + In))


Inln-l - I~

= I~- In-dn - I~-l + I~-l + 2ln-l/n + I~ - I~-

= O.

(b) Por el inciso anterior, tenemos que 1~+1- In(fn + (fn-l + In)

(-1)n, es decir, 1~+1- Inln+1- I~ - (-1)n

= O. Despejando

In+l en

trminos de In de esta ecuacin obtenemos


In+1 =

In:!: J5/~ + 4(-1)n


2
'

de donde 5/~ + 4(-1)n = (2In+1- In)2.


[15.29] (a) Observemos primero que cada camino e cruza exactamente una vez cada una de las diagonales que se muestran en la figura.

124

15. Soluciones
""
l'
,"
,
r1,J
,,
,
,,
,

,,

,
,,

,
, ;;:
'
,,
,
,,

,
,

'"
,,

,
,,

,
",
,
,,
,
,,

,
,

,"
,,
",

,
,,

, Jt

",

,
Pr
,
,
",

, ;-

,,

"1f,

El mnimo valor de un nmero en cada diagonal est arriba a la derecha


y el mximo est abajo a la izquierda, as que m se logra con el camino
que va todo a la derecha hasta terminar el primer rengln y despus
hacia abajo por la ltima columna, y M se logra con el camino que
primero va hacia abajo recorriendo toda la primera columna y despus
hacia la derecha por el ltimo rengln. As
m =1 + 2 +...

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

+ n2, y

M =[1 + (n + 1) + (2n + 1) ... + ((n - l)n + 1)]


+ [((n - l)n + 2) + ... + n2].
Adems observemos que sobre las diagonales en cuadritos juntos, la
diferencia

es de n-l.

(pues en cada.
(n - 1)2 .'s.

Entonces

M - m

(n - 1)2(n - 1)

(n - 1)3

en la cuadrcula hay una diferencia de n - 1 Y hay

(b) Ahora, si buscamos una n y un camino C en una cuadrcula de


n x n que cumpla

L(C)

1996, debemos tener m S; 1996 S; M.

m = [1+2+.. '+(n-1)] + [n+2n+3n+"


n2

(n-1)~(n+1)+n2, y M = m+ (n-1)3,

Pero

'+n2] = n(n2-1)+n (n(n2-1)+


como vimos arriba; entonces

de m S; 1996 obtenemos n S; 15 Y de M 2: 1996 obtenemos n 2: 12


(pues para n = 15 tenemos m = 16.1;,14 + 152 = 1905 < 1996; para
n = 16 tenemos m = 17-1t15 + 162 = 2296 > 1996; para n = 11
tenemos M = 12.~'lO + 112+ 103 = 1781 < 1996, Y para n = 12
tenemos M = 13-122-11 + 122+ 113 = 2333 > 1996). Entonces los posibles
valores para n son 12, 13, 14 Y 15. Ahora recordemos que cualquier

125

15. Soluciones
camino tiene diferencia un mltiplo de n - 1 con el mnimo, as que
debemos tener que 1996 - m debe ser mltiplo de n-l.
Calculemos

- m:
= 1002

entonces en cada caso 1996


Si n

12, entonces m

Y 1996 - m

= 994

que no es mltiplo

de 11.
Si n =
de 12.
Si n =
de 13.
Si n =
de 14.
De los
un camino

13, entonces m = 1261 Y 1996- m = 735 que no es mltiplo


14, entonces m

= 1561

Y 1996

- m = 435 que no es mltiplo

15, entonces m = 1905 Y 1996 - m = 91 que no es mltiplo


clculos anteriores concluimos que no es posible encontrar
C con L(C) = 1996.

[15.30] Supongamos que s es posible cubrir la cuadrcula de 6 x 6


con la propiedad mencionada. Primero observemos que, en este caso,
cada lnea interior vertical deber estar atravesada por un nmero par
de rectangulitos horizontales; para ver esto observemos que cada rectangulito vertical abarca dos cuadritos verticales y 6 es un nmero par,
de tal suerte que entonces en la primera columna vertical habr un
nmero par de rectngulos horizontales; as, en la segunda columna
pasar lo mismo ya que los rectngulos horizontales que cubren cuadritos en la primera columna abarcan un nmero par en la segunda, de
aqu que los cuadritos que quedan en esta columna tambin son un
nmero par, y as sucesivamente. Por la condicin pedida, cada lnea
interior vertical estar atravesada por al menos dos rectangulitos horizontales. Anlogamente, cada lnea interior horizontal estar atravesada por dos rectangulitos verticales. Sin embargo, el nmero total de
lneas interiores es 10 (5 verticales y 5 horizontales) y cada uno de los
18 rectangulitos slo puede atravesar una de ellas, as que no puede
haber las 20 intersecciones que se dice arriba que debe haber. Entonces
no es posible cubrir la cuadrcula como se estaba suponiendo.
Una forma de cubrir la cuadrcula de 6 x 5 con la condicin pedida
se muestra en la figura.
126

15. Soluciones

[15.31] La mxima suma que podran tener los elementos de M es

91 + 92 + ... + 100 = 955. La cantidad de subconjuntos no vacos de


M es 210- 1 = 1023 (ver [3.2]o [4.13]). Entonces, por el Principio de
las Casillas, hay dos conjuntos A y B con la misma suma. Si A y B
no son ajenos, les quitamos a ambos los elementos en comn.
[15.32] Supongamos que tenemos una cubierta como se pide en el
problema y sea k el nmero de veces que cada cuadro queda cubierto
y F el nmero de fichas utilizadas. Como cada ficha cubre 4 cuadros
y hay 42 cuadros, tenemos que 42k = 4F. Coloreemos 12 cuadros de
negro como se indica en la figura. Podemos observar que, sin importar
cmo se coloquen las fichas, cada una cubre exactamente un cuadro
negro, entonces, se necesitan exactamente 12k fichas, as que F = 12k;
pero entonces,

42k

48k, lo cual es un absurdo.

Esto prueba que no

es posible encontrar la cubierta pedida.


b:1$:

*-:::::::*

111:

mm

t1m

ttill:

illif

:m::ffi

imM
:$:$:ffi

@mr
::,:::::::*

:::M$

i<::X:::,
'.'.'.'.'.'.W.
,::::::,:*

tMM.
::::::::::K

>,,:%
'm

<

M@.
'?im
.:,,"<x

Ilfi
mi

**m

127

15. Soluciones

[15.33] El caso n = 2 s es el posible. Un recorido que funciona en


este se obtiene siguiendo la numeracin en el dibujo
8
1

4
Veremos que ste es el nico caso posible. Observemos que los caminos
que dejan dos semillas en cada tringulo tienen dos caractersticas importantes:

(*)

tringulo

y (**)

pasan

por

exactamente

dos de los tres

lados

de cada

en cada vrtice (excepto en A y en B) usan un nmero

par de aristas (pues cada vez que se entra se tiene que salir). Veamos
que para n 2: 3 no se pueden marcar aristas sobre la figura con estas
dos propiedades.
Empecemos suponiendo que n 2: 4 Y que hay un
camino que cumple las condiciones del problema.
Entonces (por (*))
en el vrtice inferior derecho debern estar marcadas las dos aristas (1
y 2 en el dibujo) y as, por (**), se completar el cuadradito
(1234);
otra vez por (**) las aristas sobre los lados del cuadrado grande que
estn junto al cuadradito no pueden estar marcadas as que por (*) s
estarn las otras que completan los triangulitos
(5 y 6); con este mismo
anlisis vemos que estn marcadas 7 y 8 (por (**)) y as tambin 9,

10, 11 y, 12 por (*). Tambin por (*) estn marcadas 13 y 14. Por
(**), 15 est marcada, y por (*), tambin 16 y 17, pero esto nos lleva
a una contradiccin con (**) en el tringulo 9, 15 y 16. El caso n = 3
se puede analizar de la misma manera, usando el argumento tambin

en el vrtice superior izquierdo (por simetra). La contradiccin en este


caso la obtenemos en el vrtice marcado con X en la figura, pues a l
concurren tres aristas.

128

15. Soluciones

:
I

L
I

,__,L

I
I

I
I

.
I

I
I-

,,':

",---:;'-----

:,'
, " : ,':
" ,,'
,
-- ---1<,---,~-_uJ<.'u
'
"'
',1.6
:

----

,',

,"

,,/

:,/

,/'

: ,,14

" 117

~15/.:: 110

- :;

: ,/

--~ u - ,,,-'u u' ,13


/9
,
"
,
, ,,'
,
---~---,"-'
,, , ,':
"
,

',

/8

/7

1<'-- - -'

[15.34] Expresemos cada uno de los nmeros del conjunto en la


forma 2kb con k ~ O Y b impar. Las posibilidades para el nmero
b son n, puesto que todos los nmeros considerados son menores que
2n; sin embargo nuestro conjunto tiene n + 1 elementos as que, por el
Principio de las Casillas, dos de los nmeros del conjunto deben tener
la misma b. Digamos que los nmeros del conjunto con la misma b son
al = 2kl b Y a2 = 2k2 b, con O :::; kl < k2. Entonces es claro que al es
divisor de a2.
[15.35] Recordemos que un dodecaedro tiene 12 caras, cada una de
las cuales es un pentgono; adems a cada vrtice llegan exactamente
tres

aristas.

Entonces

el nmero

de vrtices

es l23x5 = 20. Un camino

que pase 'por todos los vrtices exactamente una vez debe usar 20 aristas
(una por cada vrtice). Supongamos que en cada cara se utilizan a lo
ms tres aristas; pero entonces, puesto que son 12 caras y cada arista
pertenece a 2 caras exactamente el nmero total de aristas usadas ser
a lo ms l22x3= 18, lo cual contradice el hecho de que deben usarse 20
aristas; con esto hemos probado que el camino utiliza por lo menos 4
aristas de alguna cara; pero entonces es claro que deben ser consecutivas
por lo siguiente: Cada vez que el camino llega a un vrtice, debe salir,
y como a cada vrtice llegan 3 aristas, una queda sin usar, de manera
que si 4 aristas de una cara se usaron, esto debe haber sido en forma
consecutiva (porque una vez que se sale de un vrtice ya no se puede
volver a entrar).
129

15. Soluciones

Para construir el camino nos podemos apoyar en el resultado recin


obtenido. Indicamos un camino en el esquema en el que se ha aplanado
el dodecaedro (una cara es el pentgono ms grande; quedara por atrs
al desaplanarlo).

130

LECTURAS

COMPLEMENTARIAS

Comit Organizador
de la Olimpiada Matemtica
Mexicana, Olimpiada de Matemticas, 140 problemas, Academia de la Investigacin Cientfica, Mxico 1993.
Gentile, E., Aritmtica Elemental, Monografa no. 25 de la Serie de Matemticas del Programa Regional de Desarrollo Cientfico y
Tecnolgico de la OEA, Ediciones de la OEA, 1988.
Grimaldi
R., Matemticas Discreta y Combinatoria,
Addison- Wesley Iberoamericana, Mxico, 1989.

Editorial

Spitznagel, E. L., Selected Topics in Mathematics, Holt, Rinehart


and Winston, Inc., 1971.
Vilenkin, N., De Cuntas Formas?
Mir, Mosc, 1972.

(Combinatoria),

Editorial

131

Glosario
rbol (en grfica), 68
arista (en grfica), 63
aritmtica, sucesin/progresin, 34
baraja (de pkar), 12
base de induccin, 27
base 2, expansin en, 86
Bl,27
binaria, expansin, 86
Binomio, Teorema del, 17, 32
caminos, 45
cannica, descomposicin (entero), 51
Casillas, Principio de las, 69
ciclo (en una grfica), 68
coeficientes binomiales, 18
combinaciones, 7
congruencias, teora de, 94
conexa (grfica), 66
correspondencia uno a uno, 23
cubrir con fichas (tablero), 79
decimal, expansin, 73
descomposicin cannica de entero, 51
diferencia (en progresin aritmtica), 35
domin, 16
falla, 52
ficha doble, 16
mano, 16
enteros positivos, 1
estrategia ganadora, 87
Euler, fqncin el), 51
expansin binaria (de un nmero), 86
expansin decimal (de un nmero), 73
extremo inicial (en recorrido), 66
extremo final (en recorrido), 66
factorial, 5
Fibonacci, sucesin de, 37, 96
ficha (de domin), 16
frmula de Gauss, 22, 30
frmula de Pascal, 15
el),funcin de Euler, 51
ganadora, estrategia, 87
ganadora, posicin, 87
Gauss, frmula, 22, 30
grfica, 63
132

grafo, 63
Hl,27
hiptesis de induccin, 27
][, 72
Inclusin y Exclusin, Principio, 49
induccin matemtica, 25
invariante,84
irracionales, nmeros, 72
juego de nim, 87
N,44
natural, 1
Newton, Teorema del Binomio, 17, 32
orden de un vrtice, 65
Palomares, Principio de los, 69
Pascal, frmula, 15
Pascal, tringulo, 15
paso comparativo (en induccin), 28
perdedora, posicin, 87
peridica, expansin decimal, 73
periodo (en expansin decimal), 73
permutacin, 6
pkar, 12
corazn, 12
corrida, 13
diamante, 12
espada, 12
flor, 12
full, 12
mano, 12
nmero, 12
palo, 12
par, 12
pkar, 12
tercia, 12
trbol, 12
posicin ganadora o perdedora, 87
primos relativos, 51
Principio de las Casillas, 69
Principio Fundamental de Conteo, 2
Principio de Inclusin y Exclusin, 49
Principio de los Palomares, 69
probabilidad, 53
procedimiento inductivo, 2

progresin aritmtica, 34
progresin geomtrica, 43
Q,72
:IR, 72
racionales, nmeros, 72
razn (en progresin geomtrica), 43
reales, nmeros, 72
recorrido, 66
recorrido completo en aristas, 66

recursiva (definicin), 34
separadores, 75
sucesin aritmtica, 34
sucesin de Fibonacci, 37, 96
sucesin geomtrica, 43
Teorema del Binomio de Newton, 17,32
valencia (de un vrtice), 65
valor esperado de un suceso en probabilidad), 5
vrtice (en una grfica), 63

133

InstitutodeMatemticas
Universidad Nacional Autnoma de Mxico