Olimpiadas de Matematica:

Teora de Grafos
J. C. Bonilla
27 de noviembre de 2011
Resumen
Este documento recopila el taller impartido del 22 al 25 de noviembre del 2011, en el XV Congreso Nacional de Matem
atica Educativa, organizado por la Licenciatura en Matem
atica Aplicada de la Universidad de San Carlos de Guatemala.
El tema del taller es la Teora de Grafos, una rama relativamente reciente de la Matem
atica, que tuvo su origen en ciertos
problemas resueltos por Leonhard Euler en el siglo XVIII. Con el documento se busca cubrir el material mnimo para probar
m
as adelante el teorema de Euler sobre poliedros, y a la vez familiarizar al lector con las t
ecnicas y teoremas de uso com
un
en la soluci
on de problemas de Olimpiadas Internacionales de Matem
atica. A lo largo del documento, la palabra ejercicio se
P indica que
asocia con una dificultad inferior al nivel olmpico, reservando la palabra problema para este nivel. El smbolo
S indica la presencia
se puede encontrar una pista para el ejercicio o problema, en la secci
on de respuestas, en tanto que
de una soluci
on completa. En la presente versi
on se aument
o el contenido, y se anexaron ejercicios complementarios.

1.
1.1.

Conceptos B
asicos
Definiciones Iniciales

Hablando de manera informal, un grafo es una representacion abstracta de un conjunto de objetos,

en el cual algunos pares de objetos est
an enlazados mediante cierta relacion. A los objetos representados
les llamamos v
ertices, en tanto que los enlaces son llamados aristas. Estos conceptos son tpicamente
representados mediante puntos y segmentos de recta o curvas que los unen. Por ejemplo, si 10 equipos:
A, B, C, D, E, F, G, H, I, J compiten en un torneo de alg
un deporte, podemos representar cada partido
entre dos equipos mediante una arista, como puede apreciarse en la figura 1.
A la arista que une el vertice B con el vertice G la llamamos BG para abreviar. Algunas aristas se
intersectan en puntos que no est
an nombrados en el listado de vertices, como las aristas F D y GE; este
tipo de intersecciones no son vertices, sino simplemente accidentes de dibujo. En el ejemplo podemos
observar que A y B est
an enlazados por tres aristas, representando tres partidos realizados entre esos
equipos. A los grafos en los cuales existe al menos un par de vertices unidos por mas de una arista se
les llama multigrafos. Los equipos H, I, J han jugado entre ellos pero no han jugado con otros equipos.
Adem
as, el equipo C no ha jugado ning
un partido (tal vez porque el grafo representa los partidos jugados
hasta una fecha determinada). N
otese que si el grafo representa un torneo no tiene mucho sentido que
una arista comience y termine en el mismo vertice. A este tipo de aristas se les denomina bucles.
Tal vez quisieramos agregar a nuestro grafo alguna marca que nos indique cuales equipos resultaron
vencedores en sus respectivos partidos (asumiendo que no es posible empatar en el deporte considerado).
Si sustituimos las aristas en la figura 1 por flechas que se
nalen a los perdedores (o tal vez a los ganadores,
si se desea) obtenemos lo que se conoce como digrafo, o bien, grafo dirigido. Si un grafo cualquiera
no es digrafo, no es multigrafo y no posee bucles se le llama grafo simple. A un grafo que posee una

I
H
J

A
C

Figura 1: Ejemplo de grafo

cantidad finita de vertices y una cantidad finita de aristas se le conoce como grafo finito. A lo largo de
este documento trabajaremos casi exclusivamente con grafos simples finitos.
Olvidemos ahora que nuestro grafo representaba un torneo y supongamos ahora que nos muestra diez
ciudades y las varias carreteras que unen a ciertos pares de ellas. Un camino es una sucesion de aristas
tales que el extremo final de una de ellas es el extremo inicial de la siguiente, y en la cual no se repite
ninguna arista. Por prop
ositos te
oricos es permitido un camino vaco, es decir, uno que comienza y termina
en el mismo punto sin utilizar aristas. A manera de ejemplo, podemos llegar de la ciudad B a la ciudad F ,
tomando un camino que pasa por la ciudad G. De hecho, existen otros caminos que van de B a F , pero
ninguno nos llevar
a de B a H. A un grafo en el cual se puede llegar desde cualquier vertice a cualquier
otro mediante alg
un camino se le llama grafo conexo. Por esta razon decimos que nuestro ejemplo es un
grafo disconexo.
Un subgrafo es un subconjunto de los vertices de un grafo dado, junto con algunas de las aristas que
unan a los vertices elegidos. Por ejemplo, en la figura 2 podemos ver dos subgrafos del ejemplo original.
A
A
B

F
(a) Subgrafo 1

(b) Subgrafo 2

Figura 2: Subgrafos

Un subgrafo debe ser considerado como un grafo por s mismo. Ambos subgrafos mostrados en la
figura 2 son conexos. Notamos, sin embargo, que el segundo subgrafo es mas completo que el primero,
en el sentido de que el subgrafo 1 es subgrafo del subgrafo 2. Ademas, todas las aristas que unan a los
vertices A, B, D, E, F, G en el grafo original estan dibujadas en el subgrafo 2. Finalmente, no podemos
agregar ning
un otro vertice del grafo original, con sus respectivas aristas que lo conecten a los vertices ya
dibujados, sin que se pierda la propiedad de conexidad. A un subgrafo que cumpla estas propiedades le
llamamos componente conexa del grafo original. Nuestro ejemplo de la figura 1 tiene 3 componentes
conexas, a saber: el subgrafo 2, el subgrafo conformado por los vertices H, I, J junto con sus 3 aristas, y el
subgrafo constituido exclusivamente por el vertice C (Un grafo que consta de un u
nico vertice es conexo
en virtud de la existencia de los caminos vacos). Los vertices que no poseen ninguna arista en un grafo
son llamados v
ertices aislados. En la figura 3 hemos delimitado con lneas punteadas las componentes
conexas del grafo original.

I
H
J

A
C
B

G
F

Figura 3: Componentes conexas

Un circuito o ciclo es un camino que comienza y termina en el mismo vertice. Por ejemplo, en la
figura 1 podemos ir del vertice G al F , del F al D, del D al E (eligiendo una de las dos posibles aristas), y
de E regresar a G, con lo que cerramos el circuito. A un grafo conexo que no posea circuitos le llamamos

arbol; el subgrafo 1 es un
arbol, pero el subgrafo 2 no lo es. La distancia entre dos vertices se define
como la longitud (n
umero de aristas) del camino mas corto entre dichos vertices.
Dos grafos G1 , G2 son llamados isomorfos si ambos poseen el mismo n
umero de vertices, y si a cada
vertice de G1 le podemos asociar un vertice de G2 , de manera que esta asociacion respete las aristas. Esto
B
de G2 , entonces
quiere decir que si los vertices A, B del grafo G1 estan asociados con los vertices A,

A, B est
an conectados por una arista de G1 si y solo si A, B estan conectados mediante una arista de G2 .
Esencialmente podemos pensar en dos grafos isomorfos como distintas representaciones del mismo grafo.
La asociaci
on de vertices de la que hablamos es una funcion matematica conocida como isomorfismo.
Los isomorfismos conservan la conexidad, lo que quiere decir que un grafo conexo no puede ser isomorfo
a uno disconexo.

1.2.

Grafos Completos y Bipartitos

Sea n un n
umero natural. A un grafo simple con n vertices tal que entre cada par de vertices existe
exactamente una arista se le denomina grafo completo de n vertices, y usualmente lo representamos

mediante el smbolo Kn . Esta notaci

on se adopta debido a que cualesquiera dos grafos completos de n
vertices son isomorfos entre s; es m
as, para todo proposito practico podemos imaginarnos que, habiendo
fijado el valor de n, existe un u
nico grafo completo de n vertices. En la figura 4 podemos apreciar algunos
grafos completos.

K5

K4

K6

Figura 4: Grafos completos

Un grafo no dirigido G es llamado bipartito, si los vertices de G pueden ser divididos en dos conjuntos
U, V disjuntos, de tal forma que cada arista de G conecta un vertice del conjunto U con uno del conjunto
V . A los conjuntos U, V se les llama partes del grafo bipartito. En la figura 5 tenemos un grafo bipartito
en el cual las partes U, V han sido resaltadas mediante lneas punteadas.
Se puede probar f
acilmente que un grafo es bipartito si y solo si cada una de sus componentes conexas
es bipartita. Si las partes poseen el mismo n
umero de elementos, decimos que G es un grafo bipartito
balanceado. Los vertices aislados pueden ser colocados en cualquiera de las dos partes, lo que indica que
en general las partes U, V no est
an determinadas de manera u
nica.

F
B

G
C
H

Figura 5: Grafo bipartito

Si un grafo bipartito G es tal que para cada par de vertices que no esten en la misma parte existe
exactamente una arista que los une, decimos que G es un grafo bipartito completo. Si sus partes U, V
poseen respectivamente n y m elementos (n, m son n
umeros naturales), a G usualmente lo representamos
mediante el smbolo Kn,m . Naturalmente, Kn,m es isomorfo a Km,n .
Cualquier grafo bipartito puede ser completado agregandole las aristas faltantes para que la definici
on de grafo bipartito completo se cumpla. Por ejemplo, aplicandole este procedimiento al grafo de la
figura 5, obtenemos K4,5 .

Ejercicios
S Determinar, en t
1.
erminos de n, el n
umero de aristas de Kn .

P
S Sea G un grafo simple, conexo y con un n
2.
umero finito de vertices. Demuestre que existe un
subgrafo T, tal que T es un
arbol que incluye a todos los vertices de G y algunas de sus aristas.
S Si T es un
3.
arbol cualquiera con v vertices y a aristas (donde v es un entero positivo, a es un
entero no negativo), muestre que v a = 1.

Problema
P
S (SELIMO Italia, 2007) Sea n un entero positivo impar. Existen n computadoras y exactamente
4.
un cable uniendo a cada par de computadoras. Usted debe colorear las computadoras y los cables
de forma que se cumplan las siguientes reglas:

No hay dos computadoras coloreadas del mismo color.

El color de cada cable es distinto de los colores de las dos computadoras que une.
Si dos cables se conectan a la misma computadora, sus colores son distintos.
Cu
al es el mnimo n
umero de colores necesario para lograr la haza
na?

2.

Teoremas Fundamentales de Grafos

2.1.

Grados y Ordenes

Si G es un grafo, al conjunto de vertices de G se le simboliza con V(G). Al n

umero de vertices se le
conoce como orden de G y, al tratarse de la cardinalidad del conjunto anterior, frecuentemente se le denota
por |V(G)|. Al conjunto de aristas de G se le representa con el smbolo A(G). Al n
umero de aristas se le
llama tama
no o grado de G, y se le simboliza mediante |A(G)|, o bien g(G). Si V es un vertice en G, al
n
umero de aristas de G que tienen a V como uno de sus extremos se le llama grado1 o valencia del vertice
V , y se le denota por g(V ). Cuando nos referimos a los grados de m
ultiples vertices en ocasiones tambien
les decimos grados locales, en contraposicion al grado de G, que en tales circunstancias llamamos grado
global.
Por ejemplo, en el grafo de la figura 1 tenemos los siguientes valores globales y locales:
|V(G)| = 10

g(G) = 13

g(A) = 4, g(B) = 4, g(C) = 0, g(D) = 3, g(E) = 4, g(F ) = 2, g(G) = 3, g(H) = 2, g(I) = 2, g(J) = 2
El teorema de los saludos, tambien llamado primer teorema de grafos, nos ofrece una relacion explcita
entre los grados locales y el global.
Teorema 1 (Teorema de los Saludos o Primer Teorema de Grafos). Si n es un n
umero natural y G es
un grafo con n vertices llamados V1 , V2 , . . . , Vn , entonces g(V1 ) + g(V2 ) + . . . + g(Vn ) = 2 g(G). Dicho
en lenguaje coloquial, la suma de los grados locales en un grafo es igual al doble del grado global.
Demostraci
on. En realidad, la prueba es trivial, basta considerar que una arista AB es contada dos veces
en la suma de los grados locales, una vez en g(A), y otra en g(B).
Teorema 2 (Segundo Teorema de Grafos). El n
umero de vertices con grado impar en un grafo G, es
par.
1

Algunos autores le llaman orden del vertice, pero preferimos no emplear esta terminologa para evitar posibles confusiones.
Lo mismo sucede con el grado de G, que en algunos libros lo definen como el doble del valor que tomamos nosotros, esto por
razones que se har
an evidentes con el primer teorema de grafos.

Demostraci
on. Supongamos que el grafo G tiene n vertices de grado impar: V1 , V2 , . . . , Vn ; y m vertices de
grado par: W1 , W2 , . . . , Wm , esto es, en total tiene n + m vertices. Queremos probar que n es un n
umero
par. La f
ormula del primer teorema de grafos queda escrita as:
g(V1 ) + g(V2 ) + . . . + g(Vn ) + g(W1 ) + g(W2 ) + . . . + g(Wm ) = 2 g(G)
Podemos pasar a restar todos los grados pares al otro lado de la ecuacion:
g(V1 ) + g(V2 ) + . . . + g(Vn ) = 2 g(G) g(W1 ) g(W2 ) . . . g(Wm )
Aqu vemos que en el miembro derecho de la ecuacion tenemos un n
umero par al que le hemos restado
una cierta cantidad de n
umeros pares. El resultado debe ser par, de donde concluimos que el miembro
izquierdo tambien es par. M
as especficamente, tenemos que la suma de n n
umeros impares devuelve un
resultado par. La u
nica posibilidad es que n sea par, que es lo que queramos demostrar.
Los dos teoremas anteriores son empleados frecuentemente en la resolucion de problemas de olimpiadas internacionales y no deben ser subestimados a pesar de su simpleza. Ahora continuaremos nuestro
desarrollo en una direcci
on que tiene aplicaciones inmediatas en los torneos deportivos.

2.2.

Descomposici
on en Rondas

Consideremos un torneo con n competidores en el que se desea que cada competidor juegue exactamente
una vez con cada uno de los dem
as competidores. El grafo del torneo sera precisamente Kn . De acuerdo
n(n1)
partidos. Se podran llevar a cabo en secuencia, comenzando cada partido
al ejercicio 1 se tienen
2
cuando acaba el anterior, sin embargo esto es poco practico por cuestiones de tiempo. Podramos poner
a jugar a varias parejas simult
aneamente en rondas,2 intentando reducir el n
umero de rondas al mnimo
posible. Cu
al es este mnimo? Antes de revelar la respuesta, consideremos un ejemplo peque
no. Si n = 4, y
los competidores son etiquetados A, B, C, D, cada competidor tiene exactamente 3 contrincantes, as que,
para que el jugador A pueda competir con cada uno de los demas se requiere como mnimo 3 rondas.
Veremos que es posible hacer que los demas jugadores tambien completen sus partidos con solo 3 rondas,
por lo que 3 es la respuesta para este caso particular. Podemos descomponer al grafo K4 en tres rondas,
tal como lo ilustra la figura 6.

Torneo

Ronda 1

Ronda 2

Ronda 3

Figura 6: Descomposicion minimal en rondas de K4

A este tipo de descomposici
on de un grafo en el mnimo n
umero de rondas, tal que en las distintas
rondas cada competidor no juega m
as de un partido, se le llama descomposicion minimal en rondas.
Generalmente existen muchas descomposiciones minimales diferentes.3 Cualquier grafo finito es suceptible
a ser descompuesto en rondas, aunque tpicamente el procedimiento es empleado en la descomposici
on
2
Esto se hace generalmente en torneos de ajedrez, donde s
olo estamos limitados por el n
umero de tableros. En el caso de
deportes que requieran canchas u otros implementos costosos, se debe imponer una limitante al n
umero de partidos que se
pueden jugar en una misma ronda, y los resultados de esta secci
on se veran modificados.
3
No s
olo podemos intercambiar el orden de las rondas, sino que en muchos grafos existen descomposiciones minimales con
rondas que son esencialmente distintas.

de los grafos completos Kn . Cuando el grafo de un torneo es Kn , tambien se le conoce como torneo
tipo round-robin o torneo tipo todos contra todos. Si n es un n
umero par, podemos agrupar a los
jugadores en n2 parejas y, puesto que se deben jugar n(n1)
partidos
en
total, suena razonable tomar como
2
candidato a mnimo de rondas al n
umero n 1. El siguiente teorema nos asegura que las n 1 rondas
son suficientes para lograr nuestro prop
osito.
Teorema 3 (Descomposici
on de torneos round-robin, caso par). Si n es par, el n
umero de rondas en
una descomposici
on minimal de Kn es n 1.
La demostraci
on de este teorema consiste basicamente en construir la descomposicion. No la llevaremos
a cabo en este momento pues su demostracion se sigue de las soluciones al problema 4 y el ejercicio
8, ajustando algunos detalles.4 Directamente del problema 4 podemos deducir el caso impar, el cual
enunciamos separadamente por comodidad, pues el n
umero de rondas mnimo resulta distinto.
Teorema 4 (Descomposici
on de torneos round-robin, caso impar). Si n es impar, el n
umero de rondas
en una descomposici
on minimal de Kn es n.

2.3.

Caminos Eulerianos y Hamiltonianos

Proseguimos nuestro desarrollo con una definicion y un teorema mas. Supongamos que G es un grafo
cualquiera que no es digrafo. Un camino que recorre cada una de las aristas de G exactamente una vez es
llamado camino euleriano o camino de Euler.5 Por ejemplo, en el Subgrafo 2 de la figura 2, un posible
camino euleriano estara dado siguiendo la siguiente secuencia de vertices: G, B, A, B, A, E, G, F, D, E, D;
en los puntos en los que existe m
as de una arista que conecte dos vertices, se puede elegir cualquiera
teniendo el cuidado de no repetirla cuando la eleccion se presente nuevamente. En el caso de digrafos
se pide adem
as que el camino respete la orientacion dada de las aristas. Se le llama euleriano pues
el matem
atico Leonhard Euler fue el primero en discutir y resolver el problema de hallar condiciones
necesarias y suficientes para asegurar la existencia de tales caminos en un grafo, esto en el a
no 1736. Las
conclusiones de Euler quedan resumidas en el siguiente teorema.
Teorema 5 (Caminos eulerianos). Un grafo finito G que no es digrafo, tiene un camino de euler si, y
s
olo si, se cumplen las siguientes dos condiciones:
G es un grafo conexo.
No existen vertices con orden impar en G, o bien existen exactamente dos.
Bosquejo de demostraci
on. La prueba se fracciona en tres partes:
(a) Si el grafo G tiene un circuito de euler entonces todos sus vertices tienen grado par.
(b) Si todos los vertices del grafo G tienen grado par entonces G tiene un circuito de euler.
(c) El grafo G tiene un camino de euler que no es circuito si, y solo si, G tiene exactamente 2 vertices
de grado impar.
Demostraci
on de la parte (a). Note que en este caso asumimos que posee un circuito euleriano, esto
es, un camino euleriano que termina en su punto inicial. Cuando salimos del punto inicial, el n
umero de
aristas libres de dicho vertice (las que a
un no hemos utilizado) se reduce en uno. Conforme avanzamos en
el circuito euleriano entramos a un vertice y salimos de el por otra arista, reduciendo en dos la cantidad
de aristas libres de todos los vertices por los que pasamos. Puesto que el circuito euleriano se detendr
a en
el vertice inicial, todos los dem
as vertices deben tener grado par, pues siempre que entramos a uno de
ellos volvemos a salir. Al vertice inicial se le redujo en uno la cantidad de aristas libres al comenzar el
4
5

Pueden consultarse las soluciones a los problemas que fueron anexadas al final del documento.
Como segundo anexo tenemos una biografa de Leonhard Euler, despues de los ejercicios complementarios.

camino, luego se le reduce de dos en dos conforme entremos y salgamos de el, hasta que el camino se
detenga definitivamente, con lo cu
al reduciremos en uno nuevamente sus aristas libres, alcanzando por fin
el valor cero. El resultado neto es que tambien este vertice tiene grado par.
Demostraci
on de la parte (b). Asumimos ahora que el grafo es tal que todos sus vertices tienen grado
par, y debemos probar que existe un circuito de Euler. Comencemos en un vertice cualquiera V1 y avancemos formando un camino, eligiendo de manera aleatoria en cada vertice la arista en la cual seguimos.
Siempre que llegamos a un vertice distinto de V1 , al entrar a el reducimos en uno la cantidad de aristas
libres y, puesto que se trata de un n
umero par, siempre existira una arista por la cual podremos salir de
ese vertice. En otras palabras, podemos continuar nuestro camino hasta que, eventualmente, alcancemos
de nuevo el vertice V1 . Al alcanzarlo, habremos formado un circuito C1 que redujo la cantidad de aristas
libres en cada uno de sus vertices en n
umeros pares. Si C1 usa todas las aristas del grafo, hemos terminado.
Si no las usa todas, existe algun vertice V2 en C1 que posee aristas libres. Esto se debe a que el grafo es
conexo y si no existiera V2 entonces C1 sera una componente conexa que estara separada del resto del
grafo. Si existen varios candidatos a V2 , elegimos cualquiera. Ahora, del grafo original G borremos todas
las aristas de C1 y todos los vertices de C1 que hayan agotado sus aristas. El resultado es un subgrafo de
G que contiene a V2 , subgrafo al que llamaremos G2 . Comenzamos ahora a crear un nuevo camino que
comienza en V2 , empleando aristas de G2 . Por los mismos argumentos, eventualmente regresaremos a V2 ,
cerrando un circuito C2 . Ahora adjuntaremos C2 a C1 , formando un circuito mas grande. La manera de
hacerlo es considerar el viaje en C1 que va desde V1 hasta V2 , luego detenernos en nuestro trayecto, tomar
ahora la ruta trazada por C2 hasta regresar a V2 , y luego proseguir nuestro camino en C1 hasta regresar a
V1 . Este nuevo circuito posee las aristas de los dos circuitos a partir de los cuales lo formamos; si ya tiene
a todas las aristas de G, hemos terminado. Si no fuera el caso, podemos repetir el procedimiento descrito
anteriormente, formando cada vez circuitos mas grandes hasta que eventualmente se tenga el circuito de
Euler.
Demostraci
on de la parte (c). Esencialmente, la idea aqu es adjuntar una arista extra que una los dos
vertices de grado impar, formando un grafo mas grande.6 En este nuevo grafo todos los vertices tienen
grado par, as que existe un circuito euleriano. Removiendo la arista nuevamente, el circuito de Euler se
transforma en un camino de Euler que no es circuito, para el grafo original. Confiamos en que el lector
puede suplir los detalles que considere faltantes en las tres demostraciones.
El teorema anterior no aparece tan comunmente en soluciones de problemas olmpicos, sin embargo,
nunca est
a de m
as acrecentar nuestra cultura general. Concluimos esta seccion discutiendo un concepto
relacionado. Cuando un camino es tal que pasa por cada vertice del grafo exactamente una vez, se le
llama camino hamiltoniano,7 y en el caso de que se cierre sobre s mismo, circuito hamiltoniano. En
la figura 7 vemos un grafo con un camino hamiltoniano resaltado. Los caminos y circuitos hamiltonianos
no son en general u
nicos, al igual que los caminos y circuitos eulerianos, a
un si hacemos caso omiso a la
orientaci
on en la que se recorren las aristas y, en el caso de los circuitos, a la eleccion del punto inicial.
En cierto sentido, el vertice inicial de un circuito hamiltoniano sera visitado dos veces, al ser tambien
el vertice final, pero recordemos que en un circuito cualquier vertice puede ser considerado como punto
6

Se le llama supergrafo, en contraposici

on a subgrafo. Si G2 es subgrafo de G1 , entonces G1 es supergrafo de G2 .
Sir William Rowan Hamilton (4 de agosto de 1805 2 de septiembre de 1865) fue un matem
atico, fsico, y astr
onomo
irlandes, que hizo importantes contribuciones al desarrollo de la o
ptica, la din
amica, y el a
lgebra. Su descubrimiento de los
n
umeros cuaterniones, junto con el trabajo que realiz
o en din
amica son sus contribuciones m
as conocidas. Este u
ltimo trabajo
fue despues decisivo en el desarrollo de la mec
anica cu
antica, donde un concepto fundamental llamado operador hamiltoniano
lleva su nombre. Los circuitos hamiltonianos fueron bautizados en su honor debido a que construy
o un juguete en el que se
deba encontrar un circuito de este tipo en la superficie de un dodecaedro, al que se le llam
o juego icosiano. El nombre del
juego est
a relacionado con la estructura algebraica propuesta por Hamilton para estudiar el grupo de rotaciones del icosaedro,
estructura que el propio Hamilton bautiz
o como C
alculo Icosiano. El c
alculo icosiano fue un producto de su futil intento por
encontrar un sistema algebraico semejante al de los n
umeros complejos, pero de dimensi
on tres sobre los reales. A la larga, esto
lo llev
o a descubrir los cuaterniones.
7

Figura 7: Camino hamiltoniano en un grafo

de partida. La interpretaci
on m
as correcta es la que se obtiene olvidando que el circuito posea un punto
de inicio y considerando todos los vertices de manera indistinta.
Uno de los grafos m
as interesantes que no poseen un circuito hamiltoniano es el grafo de Herschel,8
que podemos apreciar en la figura 8. No se conocen condiciones que sean simultaneamente necesarias
y suficientes, y que simplifiquen el trabajo de determinar cuales grafos poseen un camino hamiltoniano,
aunque algunas condiciones suficientes son conocidas. Por este motivo no presentamos un teorema elegante
como el de Euler.

Figura 8: Grafo de Herschel

Ejercicios
S Supongamos que existe un cierto n
5.
umero entero positivo N de personas dentro de un mismo
cuarto. Cada persona tiene exactamente a cinco amigos dentro del cuarto (considere que la relaci
on
de amistad es simetrica, esto es, que si Juan es amigo de Pedro, entonces Pedro es amigo de Juan.
Adem
as considere que nadie puede ser amigo de s mismo). Muestre que no es posible que N sea
igual a 23.
S Determine para qu
6.
e valores de N es posible el enunciado del problema anterior. Para resolver
este problema se debe declarar el conjunto de valores invalidos y explicar el motivo de la invalidez,
8

Alexander Stewart Herschel fue un profesor y astr

onomo ingles, realiz
o un trabajo pionero en espectroscopa de meteoritos. El grafo lleva su nombre por sus estudios relativos al juego icosiano de Hamilton. Vease el ejercicio 28 en la secci
on de
ejercicios complementarios.

declarar el conjunto de valores v

alidos y proporcionar un grafo (para cada uno de esos valores), que
muestre que en efecto es v
alido.
S Construya una descomposici
7.
on minimal en rondas para K6 .
S Asumiendo que el teorema de los torneos round-robin, caso par, ya ha sido demostrado, pruebe el
8.
caso impar. H
agalo construyendo una descomposicion para cada valor impar que dependa de alguna
descomposici
on para un valor par.

Problemas
a
P
S (Propuesto por Mongolia para la 32 Olimpiada Internacional) Se quiere dise
9.
nar una competencia entre 7 jugadores de tal manera que en cualquier coleccion de 3 competidores al menos 2
compitan entre s. Cu
al es el mnimo n
umero de juegos con el que se puede lograr esta condici
on?
P
S (Olimpiada Iberoamericana, El Salvador 2002) Dado un conjunto de 9 puntos en el plano tales
10.
que no hay 3 que esten alineados, muestre que para cada punto P del conjunto se cumple que: el
n
umero de tri
angulos con vertices en los 8 puntos restantes, que tengan a P en su interior, es par.

3.

La Caracterstica de Euler y los S

olidos Plat
onicos

3.1.

Poliedros

Informalmente hablando, un poliedro es un solido geometrico en 3 dimensiones que tiene caras planas.
Cada cara debe ser un polgono, y cada lado de una cara debe ser compartido completamente con otra
cara. Se requiere adem
as que el conjunto de caras que comparten un vertice se pueda ordenar cclicamente
de forma que cada par de caras consecutivas compartan un lado. Generalmente, cuando usamos la palabra
poliedro, nos referimos a la superficie (la superficie esta conformada por las caras, sus bordes y vertices)
y no consideramos que el interior (si es que existe) sea parte de la figura. Esto dependera del contexto en
el que nos encontremos trabajando. Decimos que un poliedro es convexo si la superficie no se intersecta
consigo misma (lo que implica que existe interior propiamente hablando), y si el segmento de recta que
une cualquier par de puntos de la superficie esta contenido en la union del interior y la superficie. En
las figuras 9 y 10 podemos apreciar algunos ejemplos de poliedros. Si sustituimos la palabra cubo por
hexaedro, podemos usar los cinco nombres de poliedros listados en la figura 9 para bautizar a cualquier
otro s
olido geometrico que posea el mismo n
umero de caras. Las ilustraciones muestran el representante
de cada grupo de s
olidos que posea el mayor n
umero posible de simetras.

Tetraedro

Cubo

Octaedro

Figura 9: Solidos Platonicos

10

Dodecaedro

Icosaedro

Decimos que un poliedro es regular si sus caras son polgonos regulares,9 todas ellas congruentes10
entre s, y si las caras se ensamblan de la misma manera en cada vertice (mismo n
umero de caras,
empleando los mismos
angulos). Existen 9 poliedros regulares, 5 de ellos son convexos y 4 no lo son. A los
convexos se les llama com
unmente S
olidos Plat
onicos (Ver figura 9), en tanto que los no convexos son
llamados Estrellas Regulares (Ver figura 10). Una condicion equivalente a la del ensamblaje identico
en cada vertice, es que el conjunto de los vertices del poliedro yazca en una misma esfera.

Peque
no Dodecaedro Estrellado

Gran Dodecaedro

Gran Dodecaedro Estrellado

Gran Icosaedro

Figura 10: Estrellas Regulares

3.2.

La Caracterstica de Euler

Si calculamos el n
umero de caras (c), aristas (a), y vertices (v) de cada uno de los solidos platonicos,
y realizamos la operaci
on c a + v, nos llevamos la grata sorpresa de que el resultado siempre es 2, como
lo muestra el Cuadro 1.

S
olido Plat
onico
Tetraedro
Cubo
Octaedro
Dodecaedro
Icosaedro

c
4
6
8
12
20

a
6
12
12
30
30

v
4
8
6
20
12

ca+v
2
2
2
2
2

Cuadro 1: Caras, aristas y vertices de los solidos platonicos

En este punto, podramos preguntarnos si el valor de dicha operacion es siempre 2 para cualquier
poliedro. La respuesta a la pregunta es, tristemente, no. De hecho, para dos de las estrellas regulares el
valor es distinto. Podramos atribuir este fracaso a la falta de convexidad, y en cierto sentido estaramos
en lo correcto, sin embargo, existen poliedros no convexos para los cuales el valor s resulta ser 2 (por
ejemplo, las otras dos estrellas regulares). A pesar de estos contraejemplos, el resultado es verdadero para
una gran clase de poliedros y, a
un entre los que no fuera as, se presenta considerable regularidad al
clasificarlos seg
un el valor de la operaci
on.
9

Un polgono es regular si es equil

atero y equiangular. Equil
atero significa que todos sus lados miden lo mismo. Equiangular
indica que sus a
ngulos (la forma en la que ensamblamos los lados) miden lo mismo. Se debe tener cuidado con esta definici
on,
pues una estrella de 5 picos dibujada apropiadamente puede ser considerada como un pent
agono regular en el que los lados se
intersectan en otros puntos, adem
as de los extremos. Tal figura es llamada pent
agono regular no convexo.
10
Dos figuras geometricas son congruentes si una se puede convertir en la otra mediante una serie de rotaciones, reflexiones
o traslaciones, es decir, si son la misma figura en posiciones (tal vez) diferentes.

11

Para abreviar, al resultado de c a + v lo representaremos mediante el smbolo (se pronuncia ji ).

Nuevamente, el gran matem
atico Leonhard Euler fue el primero en demostrar el hecho de que = 2 para
poliedros convexos. Aunque el no exigi
o ninguna restriccion en el poliedro, su prueba solo puede aplicarse
si se supone la convexidad. Su demostracion aparece en una carta dirigida a Goldbach,11 fechada en 1750.
Es por este motivo que es conocido como la caracterstica de Euler de un poliedro. Existen varias
formas de precisar las condiciones necesarias para que la caracterstica de Euler valga 2. La siguiente
forma de enunciarlas, y la demostraci
on que veremos a continuacion, se la debemos al matematico von
Staudt,12 quien la public
o en 1847.
Teorema 6 (Teorema de Euler sobre poliedros). Sea P un poliedro que satisface las siguientes condiciones:
El grafo formado por los vertices y aristas de P es conexo.
Cualquier curva poligonal cerrada simple dibujada en la superficie de P separa la superficie en dos
partes.
Entonces = 2 para P.
Aqu debemos aclarar que una curva poligonal cerrada simple es un trazo hecho de segmentos de recta
contiguos que termina en su punto inicial, y que no se intersecta consigo mismo. Los segmentos de recta
no necesariamente son aristas del poliedro.
Demostraci
on. Por el ejercicio n
umero 2, el grafo de la primera condicion del enunciado posee un subgrafo
T que es un
arbol que incluye todos los vertices de P y algunas de sus aristas. Ahora formaremos lo que
se conoce como grafo dual de T. Este dual es otro grafo D definido de la siguiente manera: Por cada cara
Dos vertices A y B
estaran enlazados por una arista de D, si y
A de P, le daremos a D un vertice A.
s
olo si A y B son caras adyacentes que se tocan en una arista que no pertenece a T. Uno puede incluso
dibujar a D sobre la superficie de P, eligiendo a A como un punto en el interior de la cara A, y dibujando
las aristas del grafo D de tal forma que se doblan sobre la superficie, como se muestra en la figura 11.
cara C

cara A

cara B

Dual D

Arbol
T
cara D

Figura 11: Construccion del grafo dual en un tetraedro.

11

Christian Goldbach fue un matem

atico prusiano, nacido en K
onigsberg, hijo de un pastor. Estudi
o leyes y matem
aticas.
Viaj
o por toda Europa conociendo a muchos matem
aticos, entre ellos Euler, con los que m
as tarde sigui
o en contacto por
correspondencia. Hoy en da es conocido por la llamada Conjetura de Goldbach, que dice que todo n
umero par mayor que dos se
puede representar como la suma de dos n
umeros primos. Esta conjetura se encontr
o en una carta que envi
o Goldbach a Euler
en 1742. Goldbach tambien estudi
o y demostr
o varios teoremas sobre potencias perfectas.
12
Karl Georg Christian von Staudt fue un matem
atico alem
an, nacido en Rothenburg. Asisti
o a la universidad de
G
ottingen, donde fue alumno de Gauss, quien era el director del observatorio. Fue uno de los primeros en adoptar un estilo
riguroso al tratar el tema de la geometra proyectiva, evitando la menci
on de distancias, a
ngulos o perpendiculares. Adem
as de
su notable trabajo respecto a c
onicas, polos y polares, tetradas arm
onicas y cu
adricas, tambien hizo contribuciones en teora de
n
umeros.

12

Si nos imaginamos que el poliedro P esta hecho de papel, podemos recortar a lo largo de las aristas del
rbol T, y luego desdoblar la figura para aplanarla, logrando en el proceso que las aristas del grafo dual
a
D puedan dibujarse como segmentos de recta. Se le llama desarrollo plano del poliedro a la figura
geometrica que se obtiene al recortar algunas aristas del poliedro de forma que la superficie siga constando
de una sola pieza, y que pueda ser desdoblado para aplanarlo (ver problema 37).
Prosiguiendo, si dos vertices de D no estuvieran conectados por un camino en D, eso se debera a que
dichos vertices estaran aislados uno del otro mediante un circuito en T (Esto requiere una prueba m
as
rigurosa, si se quiere ser enteramente formal. Tal prueba recurrira al teorema de Jordan sobre las curvas
cerradas simples.). Puesto que T es un
arbol, esto no puede suceder, de donde inferimos que D es un grafo
conexo. Es m
as, D es un
arbol tambien, pues si tuviera un circuito, ese circuito dividira a P en dos partes
(por la segunda condici
on del teorema), y en cada una de las partes tiene que haber vertices de T que
quedaran separados por el circuito, violando la conexidad de T.
Por el ejercicio 3, tenemos que el n
umero de vertices menos el n
umero de aristas en cada uno de estos
arboles vale 1, utilizando subndices que indiquen el arbol podemos escribir:

vT aT = 1

vD aD = 1

sumando ambas ecuaciones, y agrupando los terminos negativos obtenemos:

vT (aT + aD ) + vD = 2
Pero, por construcci
on:
vT
aT + aD
vD

representa la cantidad (v) de vertices en P, pues T los tiene todos.

es el n
umero (a) de aristas de P, pues las que no estan en T estan contadas en D.
es la cantidad (c) de caras, pues hay un vertice en D por cada cara en P.

Colocando v, a, c en los lugares correspondientes de la ecuacion anterior, completamos el argumento.

3.3.

Los S
olidos Plat
onicos

Los s
olidos plat
onicos han sido estudiados desde la antig
uedad. Dise
nos ornamentados de ellos fueron
fabricados por la gente neoltica de Escocia, al menos mil a
nos antes de Platon. Existen dados con forma
de cubos y tetraedros que datan de epocas anteriores a
un. Los antiguos griegos los estudiaron de manera
amplia; algunos historiadores atribuyen a Pitagoras13 la determinacion de los 5 poliedros regulares. Otras
evidencias sugieren que el descubridor del icosaedro fue Teeteto,14 un contemporaneo de Platon. No
importando cu
al sea el caso, Teeteto elaboro una descripcion matematica de los 5 solidos y es el autor de
la que probablemente es la primera demostracion conocida de que no existen mas.
Los s
olidos plat
onicos fueron bautizados de esa manera debido a que ocupan un lugar preponderante en
la filosofa de Plat
on, quien en su di
agolo intitulado El Timeo los relaciona con los 4 elementos. La tierra
estaba asociada con el cubo, el aire con el octaedro, el agua con el icosaedro, el fuego con el tetraedro,
13

Pit
agoras de Samos fue un matem
atico y fil
osofo griego j
onico del siglo VI antes de Cristo, fundador del movimiento
religioso llamado pitagoreanismo, que sostena que todo en el universo puede ser explicado mediante n
umeros, y se rige conforme
a ellos; dicho de manera poetica: Todo es n
umero. Los pitag
oricos, los que estudiaban en la escuela que Pit
agoras fund
o,
atribuan todos sus resultados a su maestro, por lo que es difcil determinar quien es el autor de las demostraciones, incluso la
del famoso teorema de Pit
agoras.
14
Teeteto de Atena fue un matem
atico del perodo cl
asico. Sus contribuciones principales se centran en los s
olidos regulares
y Plat
y las distancias irracionales. El
on fueron instruidos por Teodoro de Cirene, un matem
atico que explor
o en gran detalle la
teora de las cantidades inconmensurables. Teeteto continu
o esos estudios con gran entusiasmo, y varios de sus resultados fueron
incluidos en el libro X de Los Elementos.

13

en tanto que el dodecaedro estaba relacionado de alguna manera con el espacio y las estrellas.15 El calor
del fuego se siente filoso y punzante, como si se tratara de peque
nos tetraedros. Las rafagas de viento
tambien pueden asociarse con puntas agudas, pero fluyen de manera mas ordenada, motivo por el cual
se crea que el aire estaba compuesto de octaedros microscopicos. Icosaedros muy peque
nos y en grandes
cantidades fluyen como si se tratara de esferas min
usculas, y por esto el agua se compona de ellos. En
cambio la tierra, que no fluye tan f
acilmente pero tampoco corta ni aguijonea al tacto, deba estar hecha
de cubos, que podan ordenarse compactamente en rocas o distribuirse de manera torpe, dejando espacios
intersticiales, para formar tierra suelta.
Euclides16 dio una descripci
on matematica detallada de los solidos regulares en su libro Los elementos; el tomo XIII (
ultimo tomo de la obra) esta enteramente dedicado a sus propiedades. Presenta, entre
otros resultados, las construcciones de los 5 solidos, la relacion entre la longitud de sus aristas y los di
ametros de las esferas que los circunscriben, y la demostracion de que no existen otros. Algunos sostienen que
la obra entera tiene como prop
osito construir la estructura matematica necesaria para tratar finalmente
este tema.

La Prueba
Olvidemos moment
aneamente que sabemos cuantos poliedros regulares convexos existen, y cuales son.
Nuestro objetivo ahora es el de probar que, en efecto, son los 5 mostrados en la figura 9. Supongamos que
P es un poliedro regular convexo en el que cada cara tiene p lados (aristas de P), y supongamos adem
as
que en cada uno de los vertices de P se ensamblan q caras.
Utilizando la ecuaci
on de la caracterstica de Euler podemos probar la formula:
1 1
1 1
+ = +
p q
2 a
Esta f
ormula tiene u
nicamente 5 soluciones no degeneradas en n
umeros enteros positivos (las soluciones
son tros de n
umeros (p, q, a) que se pueden sustituir en la ecuacion anterior, devolviendo una identidad.
Ver problema 12). Cada una de esas soluciones corresponde a un solido platonico, lo cual prueba que no
existen m
as de 5. A esto debemos agregar una prueba de existencia, que nos muestre que estas 5 opciones
son v
alidas, cosa que se puede hacer, por ejemplo, construyendo las figuras.

Ejercicio
P Verifique los datos del Cuadro 1 para el dodecaedro y el icosaedro, haciendo uso de la siguiente
11.
informaci
on:

Un dodecaedro tiene 12 caras con forma de pentagonos. En cada vertice se ensamblan 3 caras.
Un icosaedro tiene 20 caras con forma de triangulo equilatero. En cada vertice se ensamblan 5
caras.
Utilice la informaci
on para calcular el n
umero de vertices y el n
umero de aristas de ambos solidos.
15

Posiblemente mediante aquella substancia hipotetica que despues fue bautizada eter.
Euclides de Alejandra fue un matem
atico griego, com
unmente llamado el padre de la Geometra. Fue activo en la
ciudad de Alejandra durante el reinado de Ptolomeo I. Su colecci
on de libros intitulada Los Elementos es probablemente el
documento cientfico m
as influyente de todos los tiempos, sirviendo de libros de texto (particularmente para la ense
nanza de
geometra) hasta principios del siglo XX. A pesar de ser principalmente conocidos por su contenido geometrico, Los Elementos
tambien incluyen teora de n
umeros. En ellos, Euclides considera la relaci
on entre los n
umeros perfectos y los primos de Mersenne,
la infinitud de los n
umeros primos, el lema de Euclides sobre factorizaci
on (que conduce al teorema fundamental de la aritmetica)
y el algoritmo euclidiano para encontrar el m
aximo com
un divisor de dos n
umeros. Tambien escribi
o tratados sobre perspectiva,
geometra esferica, secciones c
onicas, teora de n
umeros y rigor matem
atico.
16

14

Problemas
S Obtener la u
12.
ltima f
ormula mencionada, a partir de la ecuacion de la caracterstica de Euler, y
verificar que en efecto posee u
nicamente 5 soluciones que puedan ser interpretadas como poliedros
no degenerados (Por ejemplo p = 2 corresponde a un caso degenerado).
P
S Hallar un poliedro para el cual la caracter
13.
stica de Euler valga 0, y uno para el cual valga 4.

15

ANEXO

A.

Ejercicios Complementarios

Esta secci
on incluye ejercicios y problemas que no fueron considerados en el Congreso de Matem
atica
Educativa, y que amplan el material cubierto, a la vez que permiten practicar lo aprendido. El listado
no est
a ordenado de acuerdo a su dificultad.

Ejercicios
14. Diga cu
ales s
olidos plat
onicos tienen caminos eulerianos y cuales no.
15. Si en un torneo con n equipos, n N, cada equipo debe jugar 3 veces contra cada uno de sus
contrincantes, Cu
antos partidos se jugaran en el torneo? Y si debe jugar k N veces contra cada
contrincante?
16. Consideremos un torneo con n equipos, donde n N, n > 3. Si cada equipo debe jugar exactamente
3 partidos en total, Cu
antos partidos se jugaran a lo largo de todo el torneo?
17. Cu
al es el mnimo orden (n
umero de vertices) posible para un grafo conexo que no posea caminos
hamiltonianos? Construir un ejemplo de tal grafo.
18. Decimos que un grafo es k -regular si todos sus vertices poseen grado igual a k, Donde k N. Cu
al
es el grado global de un grafo k-regular de orden n?
19. Cualquier segmento de recta que tenga por extremos dos vertices no consecutivos de un polgono
regular es llamado diagonal del polgono. Cuantas diagonales posee un polgono regular de n lados?
20. Asuma para este ejercicio que la relacion de amistad es simetrica, esto es, que si Juan es amigo
de Pedro entonces Pedro es amigo de Juan. Demuestre que en cualquier conjunto A de 6 personas
siempre existe un subconjunto B de 3 personas, tal que todas las parejas de personas en B son
amigos entre s, o bien existe un subconjunto B de 3 personas tal que ning
un par de personas de B
guardan la relaci
on de amistad.17
21. Si n, m son enteros positivos, considere una cuadrcula de n m formada de cuadritos de lado 1.
Ese dibujo puede ser considerado como una representacion de un grafo en el que los vertices de la
cuadrcula son los vertices del grafo, y las aristas son los lados de los cuadritos. Demuestre que todo
grafo cuadrcula es bipartito.
22. Pruebe que todo
arbol es bipartito.
23. Demuestre que un grafo es bipartito si no posee circuitos de longitud impar.
24. Cu
antas aristas posee Kn,m ? Cu
antas rondas posee su descomposicion minimal?
25. Al grafo que consiste u
nicamente de un vertice y no posee aristas se le llama trivial. Un vertice de
grado 1 en un grafo cualquiera es llamado v
ertice terminal. Demuestre que todo arbol no trivial
17

El valor 6 es el mnimo necesario de elementos que debe haber en A para que podamos asegurar la existencia de B. La rama
de la combinatoria que estudia este tipo de problemas se conoce como teora de Ramsey. Este ejercicio es el mnimo caso no
trivial estudiado por la teora, y el valor 6 es conocido como n
umero de Ramsey del par (3, 3) en dos colores o, para abreviar,
R2 (3, 3).

16

posee al menos un vertice terminal.

26. Demuestre que todo
arbol no trivial posee al menos dos vertices terminales.
27. (Problema de Roger Penrose en el libro La Mente Nueva del Emperador) El siguiente grafo posee
exactamente 2 ciclos hamiltonianos. Cuales son?

28. Muestre que el grafo de Herschel (figura 8) es bipartito y use este hecho para probar que no posee
un circuito hamiltoniano.
29. Considere los vertices de un polgono regular de 8 lados. Para este ejercicio dibujaremos grafos
con aristas rectas exclusivamente, es decir, las aristas seran segmentos de recta que unen 2 de
los 8 vertices mencionados anteriormente. A las distintas representaciones de grafos que podamos
dibujar de esta manera les llamaremos dibujos rectilneos (El termino es de uso exclusivo para
este ejercicio). Dos dibujos rectilneos son congruentes si uno se puede convertir en el otro mediante
rotaciones, reflexiones y/o traslaciones (el mismo dibujo en una posicion diferente). Liste al menos
12 dibujos rectilneos que representen grafos 3-regulares y tales que ning
un par de dibujos rectilneos
en su listado sean congruentes entre s. Explique por que la relacion de congruencia es diferente de
la relaci
on de isomorfa.
30. Construya dos grafos de orden 8, que sean 3-regulares y que no sean isomorfos. Demuestre que no
son isomorfos.
31. Encuentre dos descomposiciones minimales en rondas para K6 que sean esencialmente distintas, esto
es, que la primera no se pueda convertir en la segunda mediante un intercambio en el orden de sus
rondas.
32. Muestre que cada s
olido plat
onico, al ser considerado como un grafo, posee un ciclo hamiltoniano.
33. En la notaci
on empleada en la parte de los solidos platonicos, probar las siguientes formulas para
un poliedro regular:
v=

4p
,
4 (p 2)(q 2)

a=

2pq
,
4 (p 2)(q 2)

c=

4q
4 (p 2)(q 2)

34. En la demostraci
on del teorema de Euler sobre poliedros, en la figura 11, mostramos una posible
elecci
on del
arbol T para un tetraedro. Existe solamente una forma diferente de construir el arbol
de tal forma que no sea isomorfo al mostrado. Cual es esa forma? Dibuje el desarrollo plano del
tetraedro para cada uno de los dos posibles arboles.

Problemas
35. En una olimpiada de matem
atica participan n personas, donde n N, n 2. Vamos a suponer que
si A conoce a B entonces B conoce a A (A, B son competidores de la olimpiada). Curiosamente,

17

para cualquier pareja de desconocidos se cumple que ellos tienen exactamente 2 conocidos en com
un.
Supongamos que Rafael y Marcos se conocen entre s pero no tienen conocidos en com
un. Demostrar
que el n
umero de conocidos de Rafael es igual al n
umero de conocidos de Marcos (entre las personas
de la competencia).
36. Un vertice V en un grafo es llamado mediano de los vertices A, B, C, si V pertenece a alg
un
camino m
as corto entre A y B, alg
un camino mas corto entre B y C, y alg
un camino mas corto
entre A y C. En tal caso, al vertice V tambien lo denotamos por M(A, B, C). Un grafo G es llamado
grafo mediano, si para cualquier tro de vertices A, B, C de G existe un u
nico vertice mediano
M(A, B, C). Demuestre que todo
arbol es un grafo mediano. Demuestre tambien que todo grafo
cuadrcula es un grafo mediano (ver ejercicio 21).
37. La imagen siguiente muestra un posible desarrollo plano de un cubo:

Cu
antos desarrollos planos del cubo existen de manera que las figuras obtenidas no sean congruentes
entre s? Elabore un listado y pruebe que no hay mas formas.
38. Si sustituimos cada arista de un grafo completo por una flecha (eligiendo la direccion de cada flecha
de manera aleatoria) obtenemos un grafo dirigido completo. Demostrar que en todo grafo dirigido
completo existe un camino hamiltoniano dirigido (es decir, un camino hamiltoniano cuyo recorrido
respeta las direcciones en el grafo).
39. Un grafo es llamado planar si puede ser dibujado en un plano de manera que las aristas (que pueden
ser segmentos curvilneos) s
olo se intersecten en los vertices del grafo. En otras palabras, un grafo
planar puede ser dibujado sin intersecciones accidentales. Demuestre que un grafo planar con n
vertices no puede tener m
as de 3n 6 aristas.

Problemas Miscel
aneos
Estos problemas pueden requerir herramientas fuera de la teora de grafos o, tal vez, fuera de la combinatoria.
39. Existen n personas en un grupo de apoyo. Las personas se llaman ocasionalmente para mostrar su
compa
nerismo. Supongamos que en el u
ltimo mes cualquier pareja de miembros ha tenido una o
menos conversaciones telef
onicas. Ademas de esto, siempre que se elige un subconjunto de n 2
personas del grupo, el total de conversaciones telefonicas en el u
ltimo mes que involucren a al menos
una persona del subconjunto es 3m , donde m es un n
umero natural que no depende de la elecci
on
del subconjunto. Determinar los posibles valores de n.
40. La generalizaci
on del concepto de poliedro a espacios con mas de 3 dimensiones es el llamado
politopo. As como en R2 tenemos los polgonos regulares y en R3 los solidos platonicos, en Rn
hay politopos regulares para cada posible valor natural de n. En R4 existen 6 politopos regulares
convexos y 10 no convexos. Para n 5, esto es, para cinco o mas dimensiones, los politopos no
convexos dejan de existir, en tanto que hay tres convexos para cada valor de n. Estos tres politopos
regulares corresponden a las generalizaciones respectivas del tetraedro, el cubo y el octaedro, que

18

son llamados n-tetraedro, n-cubo y n-octaedro, donde el valor de n ya ha sido fijado previamente.

C
omo se podran definir tales generalizaciones? (Este
no es tanto un problema matematico formal
sino uno de intuici
on e ingenio).
41. Un 0-cubo es un vertice aislado, un 1-cubo es un segmento de recta, 2-cubo es otro nombre para un
cuadrado, y un 3-cubo es el cubo tradicional; de all en adelante comienzan las generalizaciones. Observe como con las aristas de un 3-cubo se dibujan tambien seis 2-cubos que lo limitan (llamemosles
2-cubos limtrofes), que son precisamente sus caras. As tambien, el 3-cubo tiene doce 1-cubos
limtrofes (sus aristas). Si n, k N, n k Cuantos k-cubos limtrofes posee un n-cubo? Responda
en forma de una f
ormula cerrada.18 Halle formulas semejantes para los n-tetraedros y n-octaedros,
con las restricciones que considere convenientes.

18

Cerrada significa no recursiva.

19

B.

Biografa: Leonhard Euler

Fue un respetado matem

atico y fsico. Nacio el 15 de abril de 1707 en Basilea (Suiza) y murio el 18 de
septiembre de 1783 en San Petersburgo (Rusia). Se lo considera el principal matematico del siglo XVIII
y como uno de los m
as grandes de todos los tiempos. Vivio en Rusia y Alemania la mayor parte de su
vida y realiz
o importantes descubrimientos en areas tan diversas como el calculo o la teora de grafos.
Tambien introdujo gran parte de la moderna terminologa y notacion matematica, particularmente para
el
area del an
alisis matem
atico, como por ejemplo la nocion de funcion. Asimismo se le conoce por sus
trabajos en los campos de la mec
anica, optica y astronoma. Una afirmacion atribuida a Pierre Simon
Laplace expresa la influencia de Euler en los matematicos posteriores: ((Leed a Euler, el es el maestro de
todos nosotros.))

Retrato de Leonhard Euler por Emanuel Handmann

Euler trabaj
o pr
acticamente en todas las areas de las matematicas: geometra, calculo, trigonometra,
lgebra, teora de n
a
umeros, adem
as de varias areas de la fsica. Fue uno de los matematicos mas prolficos
de la historia. Su actividad de publicaci
on fue incesante (un promedio de 800 paginas de artculos al a
no
en su epoca de mayor producci
on, entre 1727 y 1783), y una buena parte de su obra completa est
a sin
publicar. Se le considera el ser humano con mayor n
umero de trabajos y artculos en cualquier campo
del saber, s
olo equiparable a Gauss. Si se imprimiesen todos sus trabajos, muchos de los cuales son de
una importancia fundamental, ocuparan entre 60 y 80 vol
umenes. Ademas, no se ha estudiado mas de
un 10 % de sus escritos. Por todo ello, el nombre de Euler esta asociado a un gran n
umero de cuestiones
matem
aticas.
En 1736, Euler resolvi
o el problema conocido como problema de los puentes de Konigsberg. La
ciudad de K
onigsberg, en Prusia Oriental (actualmente Kaliningrado, en Rusia), estaba localizada en el
ro Pregel, e inclua dos grandes islas que estaban conectadas entre ellas y con las dos riberas del ro
mediante siete puentes. El problema consista en decidir si era posible seguir un camino que cruzase todos
los puentes una sola vez y que finalizase llegando al punto de partida. No lo hay, y Euler logro probarlo
matem
aticamente demostrando que no exista un ciclo euleriano, debido a que el n
umero de puentes en
m
as de dos bloques era impar. A esta solucion se la considera la primera demostracion en la teora de
grafos. Euler tambien introdujo el concepto conocido como caracterstica de Euler del espacio, y una
f
ormula que relaciona el n
umero de lados, vertices y caras de un polgono convexo con esta constante. El
estudio y la generalizaci
on de esta f
ormula, especialmente por Cauchy y LHuillier, supuso el origen de la
topologa.

20

C.
C.1.

Respuestas
Pistas

2. Para resolver este ejercicio se puede presentar un algoritmo que nos construya el arbol en cuesti
on.
Comenzar en un vertice cualquiera (la raz del arbol) y agregar un vertice a la vez.
4. Pensar en la suma m
odulo n, o bien en rectas paralelas.
9. Encontrar un grafo que posea el candidato a mnimo, luego probar que cualquier grafo que cumpla
las condiciones del problema tiene mas aristas, o la misma cantidad. Poner especial atencion en el
vertice de grado mnimo.
10. Pensando en el segundo teorema de grafos, construir un grafo en el que cada vertice represente a
uno de los tri
angulos del enunciado, de forma que aquellos que tengan a P en su interior sean de
grado impar en el grafo.
11. Un dodecaedro tiene 12 caras, cada una de sus caras tiene 5 vertices, as que resulta natural multiplicar: 12 5, pero en este c
alculo hemos contado 3 veces a cada vertice, pues pertenece a 3 caras
= 20 vertices en el dodecaedro. Todos los dem
as
distintas. Corrigiendo el resultado obtenemos 125
3
datos se pueden verificar haciendo razonamientos similares.
13. Para hallar un poliedro con = 0, pensar en una dona. Para = 4, buscar un poliedro tal que el
grafo de sus vertices y aristas tenga dos componentes conexas, esto es, un poliedro con dos superficies
separadas (debe ser un solo poliedro).

21

C.2.

Soluciones

1. Este ejercicio es tan b

asico e importante que presentaremos 3 soluciones.
soluci
on 1: Si le damos alg
un orden a los vertices, desde el primero de ellos debemos trazar n 1
aristas hacia todos los dem
as. El segundo vertice ya tiene trazada una arista, as que falta dibujar
n 2 m
as. Desde el tercer vertice debemos agregar n 3 aristas, y as sucesivamente, hasta llegar al
pen
ultimo vertice, desde el cual agregamos una u
ltima arista. El total es 1+2+3+. . .+(n2)+(n1)
que, por la f
ormula de Gauss, es equivalente a n(n1)
.
2
soluci
on 2: Hay n vertices, y desde cada uno de ellos debemos trazar n 1 aristas. Es natural
hacer el producto n(n 1), sin embargo, en ese resultado hemos contado cada arista 2 veces (por
ejemplo, la arista AB fue contada como una de las aristas de A, y tambien como una de B), por lo
que debemos dividir ese total entre 2.
soluci
on 3: Hay una arista por cada subconjunto de 2 elementos elegidos
del conjunto de n vertices

(Esta
en realidad es
que tenemos. Dicho n
umero est
a dado por el coeficiente binomial n2 = n(n1)
2
la misma soluci
on anterior, pero en forma mas tecnica).
2. Comenzaremos con T definido como un grafo vaco, y le iremos agregando vertices y aristas de
acuerdo al siguiente procedimiento:
Paso 1: Elija un vertice cualquiera de G y agreguelo a T, para que juegue el papel de la raz del
arbol.

Paso 2: Elija un vertice de G que este a distancia 1 de alguno de los vertices anteriormente
agregados a T, y agreguelo junto con alguna arista a la que se le atribuya la distancia 1. Si
ya no existen vertices de G a esa distancia, entonces hemos terminado.
Paso 3: Regrese al paso 2.
Conforme vamos ejecutando el procedimiento, notemos que cada uno de los pasos conserva la propiedad de que T es un
arbol (para cerrar un circuito deberamos agregar dos aristas). Ademas, con
cada paso se agrega un vertice, as que eventualmente agregaremos a todos los vertices de G.
3. Consideremos un
arbol cualquiera con al menos dos vertices M, N . Puesto que el arbol es conexo,
existe un camino que conecta a dichos vertices. Si agregamos una arista M N que no estaba, tal
arista junto con el camino anterior conforman un circuito, de donde podemos concluir la siguiente
proposici
on: si a un
arbol le agregamos una arista extra, deja de ser un
arbol.
Ahora para resolver el ejercicio, apliquemos el algoritmo de la solucion anterior a T. El procedimiento
nos devolver
a un sub
arbol que posee todos los vertices de T y algunas de sus aristas. Sin embargo,
no pueden faltar aristas, ya que al agregarlas para obtener a T, el grafo dejara de ser un arbol por la
proposici
on anterior. Esto indica que cuando aplicamos el algoritmo a un grafo que ya es un arbol,
el algoritmo construye completamente al grafo.
Notemos ahora que en el procedimiento cada vertice es a
nadido junto con su arista respectiva,
excepto el primer vertice (la raz del arbol); luego, la cantidad de vertices supera en 1 a la cantidad
de aristas.
4. El mnimo n
umero de colores necesario para lograrlo es n. Primero notemos que con menos colores
es imposible, ya que debe haber al menos un color por cada computadora. Ahora mostraremos que
con n colores es posible. Para futura referencia, numeremos los colores del 1 al n. Presentamos dos
formas de demostrar que n colores son suficientes, formas que son aparentemente distintas aunque
ultimadamente se fundamentan en el mismo principio.
m
etodo 1: Numeremos tambien las computadoras del 1 al n, aunque esta numeracion es solamente
provisional, y no representa el color que le correspondera a la computadora. El n
umero del color

22

con el que pintaremos cada cable sera el resultado de la suma m

odulo n de los dos n
umeros de las
computadoras que conecta.19
Consideremos las computadoras A, B, C con n
umeros respectivos a, b, c. los cables AB, AC estar
an
pintados con los colores a + b, a + c (mod n) respectivamente. Ambos cables estan conectados a la
computadora A. Si sus colores fueran iguales, tendramos que a + b a + c (mod n), lo que implica
b c (m
od n) que no se puede dar mientras B, C sean computadoras distintas. Por este motivo, la
coloraci
on de los cables propuesta cumple con la tercera condicion del enunciado. Ahora notemos
que hay n 1 cables de colores distintos unidos a cada computadora. Entre esos n 1 colores falta
uno que ser
a el que usaremos para colorear a la computadora en cuestion, de forma que se cumpla la
segunda condici
on del enunciado. El color que le correspondera a la computadora A sera a + a 2a
(m
od n), ya que es el u
nico n
umero que no se puede obtener como suma modulo n del n
umero a con
otro n
umero que no sea congruente con a. Como el n
umero 2 tiene inverso multiplicativo modulo n
ya que el m
odulo es impar, tenemos que a 6 b (mod n) implica 2a 6 2b (mod n), lo que nos indica
que esta coloraci
on cumplir
a la primera condicion del enunciado.
m
etodo 2: Coloquemos las computadoras en los vertices de un n-agono regular e imaginemos que los
cables son los segmentos de recta que unen los distintos pares de vertices. En la figura geometrica que
obtenemos hay n familias de segmentos paralelos. Para cada familia hay exactamente un vertice que
no es extremo de ning
un segmento de la familia. Coloreemos ese vertice y la familia que le corresponde
del mismo color, usando colores distintos para familias distintas. El resultado es equivalente al que
se obtiene con el primer metodo.
5. Si hubiera 23 personas en el cuarto, y cada quien tuviera 5 amigos, por el teorema de los saludos
que no es
tendramos que el n
umero de aristas en todo el grafo de amistades G sera g(G) = 235
2
un entero, por lo que N 6= 23.
6. N 5 es inv
alido, pues no habra suficiente gente dentro del cuarto para que cada quien tuviera 5
amigos. Para N > 5, todos los valores impares son invalidos por el mismo motivo que el expuesto
en el ejercicio anterior. Los valores pares mayores que 5 son validos. Esto se puede visualizar de
muchas formas, una de ellas es construyendo una representacion geometrica del grafo de la siguiente
manera: colocamos los N vertices ordenados en un N -agono regular, y conectamos cada vertice con
los vertices vecinos en el N -
agono, y tambien con los vecinos de sus vecinos (excepto el mismo), y
finalmente con el vertice opuesto en el polgono. Este es un grafo en el que cada vertice tiene grado
5, como se muestra en la figura para N = 8.

7. Una posible forma de hacerlo es:

Ronda 1

Ronda 2

Ronda 3

19

Ronda 4

Ronda 5

Para el lector que no conozca lo que significa suma m

odulo n, lo invitamos a investigarlo. Puede consultar nuestras publicaciones de a
nos anteriores, o bien internet, o cualquier libro de teora de n
umeros.

23

8. Sea n un n
umero par tal que n 4 y supongamos que ya hemos construido una descomposici
on
minimal de Kn (la cual tendr
a n1 rondas). Queremos construir a partir de ella una descomposici
on
para Kn1 . Lo que debemos hacer es borrar un vertice cualquiera del grafo y de cada una de las
rondas, removiendo las aristas que lo conectaban con otros vertices. En cada ronda, el vertice que
se conectaba con el que fue borrado sera el equipo que debe pasar esa ronda sin jugar un partido.
Vemos que las rondas unidas completan a Kn1 al tratarse de un subgrafo de Kn , y el n
umero de
rondas corresponde con el valor mnimo.
Nota: Este metodo puede ser usado a la inversa tambien, comenzando con una descomposici
on
minimal de Kn1 y formando a partir de ella una para Kn , agregando un vertice que juega con el
equipo que esperaba en cada ronda.
9. Observe que el grafo de 9 aristas siguiente satisface las condiciones. Vamos a probar que el mnimo
es 9.

Supongamos que G es un grafo que satisface las condiciones del problema. Observe que si M es
un vertice en G que no est
a unido a ninguno de los vertices en la coleccion {V1 , V2 , V3 , . . . , Vn },
entonces por las condiciones del problema se tiene forzosamente que esa coleccion conforma un grafo
completo Kn . Tomemos a M como un vertice de grado mnimo. Si g(M ) = 0 o si g(M ) = 1 entonces
los vertices no conectados con M se configuran en un subgrafo tipo K6 o K5 , y cada uno de ellos
tiene m
as de 9 aristas. Si g(M ) = 2, entonces M se conecta con otros dos vertices A, B, y los otros 4
vertices que no se conectan con M conforman un K4 que aporta 6 aristas. A estas hay que agregarle
las dos aristas de M , con lo cual tenemos 8. Si elegimos un tro conformado por A, B y alguno de
los vertices de la configuraci
on K4 , entre ellos debe haber al menos una arista para que se cumpla
el enunciado, y podemos a
nadirla a las 8 que tenamos para totalizar 9. Finalmente si g(M ) 3,
entonces cada uno de los 7 vertices tiene 3 o mas aristas (ya que M tena grado mnimo), y por
el teorema de los saludos tendramos una cantidad de aristas en G que supera el valor 37
2 , que es
mayor que 9.


10. Considere los 83 = 56 tri
angulos que pueden o no tener a P en su interior, como los vertices de un
grafo G de orden 56. Dibujaremos una arista entre dos vertices (esto es, estableceremos una cierta
relaci
on entre dos de los tri
angulos) de G si ambos tienen a P en su interior, y ademas comparten
un lado. Vamos a probar que cada triangulo que tiene a P en su interior sera un vertice de grado 5
en G.
Considere un tri
angulo 4ABC que tiene al punto P en su interior. Dibuje las rectas AP, BP, CP .
De esas rectas, las semirrectas que comienzan en P y no pasan por los vertices del triangulo dividen
al plano en 3 regiones, tal como lo muestra la ilustracion.
D

24

Ya hemos colocado 4 de los 9 puntos en nuestra ilustracion. Si el punto D fuera colocado en la regi
on
en la que se encuentra el vertice A, entonces el triangulo 4BCD se relacionara con 4ABC en G
mediante una arista, pues ambos tendran a P en su interior y comparten el lado BC. Una situaci
on
an
aloga se da si colocamos el punto D en cualquiera de las otras dos regiones. Ademas de A, B, C, P ,
en el conjunto hay otros 5 puntos, por lo que el triangulo 4ABC tendra grado 5 en G (que es un
valor impar). Note que si un tri
angulo no tiene a P en su interior, entonces su grado es cero (que es
par). Una aplicaci
on del segundo teorema de grafos devuelve el resultado deseado.
12. Mediante argumentos similares a los del ejercicio 11 podemos probar estas dos relaciones: v =
2a
2a
endolas en la ecuacion de Euler y dividiendo ambos miembros de la ecuaci
on
q , c = p . Sustituy
entre 2a obtenemos la ecuaci
on requerida. Ahora, para probar que solo posee cinco soluciones no
degeneradas, observe que se necesita p, q 3. Si p, q son simultaneamente mayores o iguales a 4,
entonces el miembro izquierdo de la ecuacion es menor o igual a 41 + 14 = 21 , y claramente no puede
haber soluciones. Si uno de ellos es mayor o igual a 6, entonces el miembro izquierdo es menor o igual
a 16 + 31 = 12 y tampoco habr
a soluciones. Si p = q = 3, podemos completar la solucion con a = 6, que
corresponde al tetraedro. Si entre p, q uno de ellos vale 3 y el otro 4, entonces forzosamente a = 12 y
estas dos posibilidades representan al cubo y el octaedro. Si uno vale 3 y el otro 5, entonces a = 30
y tenemos al icosaedro y el dodecaedro. Y hemos revisado exhaustivamente todas las posibilidades.
13. Considerar el poliedro mostrado en la ilustracion. Removerle el prisma rectangular central, creando
un t
unel que lo atraviesa desde la cara cuadrada superior hasta la cara cuadrada inferior, formando
una especie de dona. El nuevo poliedro posee 16 vertices, 32 aristas y 16 caras.
T
unel

Ahora bien, un poliedro en el que vale 4 se puede formar tomando un cubo cuya arista tiene 3
unidades de longitud, dividiendolo (mentalmente) en 27 cubitos y removiendole el cubito unitario
central. El poliedro resultante tiene 16 vertices, 24 aristas y 12 caras.

25

Referencias
[1] Ore, Oystein. Graphs and their Uses (Grafos y sus Usos), Nueva York: Random House, 1963.
[2] Perez Segu, Mara Luisa. Combinatoria, Mexico: UNAM, Olimpiada Mexicana de Matematicas,
Sociedad Matem
atica Mexicana, 2010.
[3] Diestel, Reinhard. Graph Theory, Nueva York: Springer-Verlag, 2000.

Sitios en lnea
[4] http://en.wikipedia.org/ (Wikipedia en ingles). Artculos: Graph theory, Leonhard Euler,
Glossary of graph theory, Platonic solid,Eulers characteristic.
[5] http://www.artofproblemsolving.com/Forum/resources.php (Anteriormente conocida como
Mathlinks). Secciones: Centroamerican, Iberoamerican, IMO.
[6] http://foro.mate304.org/ (Foro oficial de Guatemala para olimpiadas internacionales). Secci
on:
Combinatoria.

26