Material de Entrenamiento: Técnicas de Resolución de Problemas

Principio del palomar de Dirichlet

Sebastián Henrı́quez Acosta (sebagarage en www.fmat.cl)

La versión simple dice: Si (n + 1) palomas son puestas en n nidos, entonces

al menos un nido tiene más de una paloma.

Este simple principio combinatorio fue por primera vez usado de forma ex-
plı́cita por Dirichlet (1805-1859) en teorı́a de números, y es también conocido
como principio de la caja de Dirichlet. A pesar de su simplicidad tiene un número
enorme de usos absolutamente inesperados, por ejemplo para probar complica-
dos teoremas. F.P. Ramsey hizo extensas generalizaciones del principio, y su
tópico ”Números de Ramsey”pertenece a los más complejos problemas de com-
binatoria. A pesar de grandes esfuerzos, los progresos en esta área son muy
lentos.
Es fácil reconocer si el principio va a ser usado. Todo problema de existencia
sobre conjuntos finitos, y a veces infinitos, es usualmente resuelto por él. Es
una afirmación simple de existencia. No sirve para encontrar cuáles nidos están
ocupados. La principal dificultad es la identificación de las palomas y los nidos.

Para empezar, a continuación se presenta una lista de problemas sin solución:

1. Entre tres personas, ¿hay al menos dos del mismo sexo?

2. Entre 13 personas, ¿hay al menos dos que nacieron el mismo mes?
3. Nadie tiene más de 250.000 pelos en su cabeza. El portal fmat.cl tiene
300.000 usuarios. ¿Puede usted afirmar con certeza que hay dos usuarios
con el mismo número de pelos en su cabeza?
4. ¿Cuántas personas se necesitan como mı́nimo para estar seguros que hay
al menos dos que cumplen años el mismo dı́a? ¿y para que hayan al menos
3? ¿y para que hayan al menos n?
5. Si nm + 1 perlas son colocadas en m cajas, ¿hay al menos una caja que
contenga más de n perlas?

La versión general del principio dice: Si n objetos son colocados en k cajas,

entonces existe al menos una caja que contiene al menos nk objetos.


(dxe es la función cajón superior, que entrega el menor entero ≥ x. Por ejem-
plo dπe = 4, d−1, 5e = −1 y d5e = 5)
 Los proximos ejemplos muestran tı́picas aplicaciones:

E1. Hay n personas presentes en un salón. Pruebe que entre ellas hay al menos
dos que tienen el mismo número de amigos en el salón.

Intuición. Lo primero es reconocer a las palomas y a los nidos. Como se pi-

de probar la existencia de personas, éstas serán las palomas. Como tienen que
cumplir tener el mismo número de amigos, los nidos contendrán a las personas
con el mismo número de amigos.

Solución. Una persona (paloma) va al nido #i si tiene i amigos. Tenemos n

personas y n nidos numerados 0, 1, 2, ..., (n − 1). Pero los nidos con los números
0 y (n − 1) no pueden ser ocupados al mismo tiempo, pues si alguien pertenece
al nido (n − 1) quiere decir que es amigo de todos, y entonces no hay nadie con
0 amigos; y viceversa. Entonces hay que repartir n palomas en (n − 1) nidos,
de donde habrá un nido con más de una paloma, es decir, habrán al menos dos
personas con la misma cantidad de amigos.

E2. Sea A un conjunto de 20 enteros distintos escogidos de la progresión ar-

itmética 1, 4, 7, ..., 94, 97, 100. Probar que hay dos enteros en A cuya suma es
104.

Intuición. Inmediatamente reconocemos que las palomas deben ser los enteros
en A. Como hay que hallar al menos dos que sumen 104, los nidos contendrán
a los enteros que suman 104. Para eso notemos que la progresión contiene a los
números de la forma 3n + 1 para n ∈ {0, 1, 2, ..., 33}. Esto quiere decir que son
34 números en total. Ahora busquemos parejas que podrı́an sumar 104. Éstas
son {4, 100}, {7, 97}, {10, 94}, ..., {49, 55}. En total son 16 parejas (32 números)
de los cuales solamente están excluidos el 1 y el 52.

Solución. Separamos el conjunto {1, 4, 7, ..., 94, 97, 100} en los siguientes 18
subconjuntos {1}, {52}, {4, 100}, {7, 97}, ..., {49, 55}. Entonces al escoger 20 en-
teros, habrán al menos dos que pertenecen al mismo subconjunto, esto es, su
suma es 104.

Observación. Nótese que como tenı́amos 18 subconjuntos, el enunciado sigue

siendo válido si se escogieran sólo 19 enteros.

E3. Muestre que entre cualesquiera 7 enteros positivos que no excedan al 126,
uno puede encontrar dos de ellos (llamémoslos a y b) que satisfagan b < a ≤ 2b

Intuición. Nuevamente es fácil reconocer que las palomas son los 7 enteros.
Sin embargo, no resulta tan obvio cuales son los nidos, siendo ésta la mayor
dificultad del problema. En este caso encontrarlos depende de la intuición y
experiencia personal.

2
Solución. Los enteros positivos que no exceden a 126 son aquellos n que
cumplen 0 < n ≤ 126. A todos los separamos en los siguientes 6 conjuntos
{1, 2}, {3, 4, 5, 6}, {7, 8, ..., 14}, {15, 16, ..., 30}, {31, 32, ..., 62}, {63, 64, ..., 126}. En-
tonces al elegir 7 enteros, al menos dos pertenecerán al mismo conjunto (llamémos-
los a y b, con a > b). Notemos que el doble de cualquier entero de un conjunto
es mayor o igual a todos los elementos del conjunto. En particular b ≥ a.

E4. Dada una secuencia de 2n enteros consecutivos, probar que si escogemos

(n+1) de ellos, siempre será posible encontrar una pareja que se diferencie en n

Intuición. A esta altura debiera resultar más fácil asociar los (n + 1) enteros
con las palomas, y las parejas que se diferencian en n con los nidos.

Solución. Notemos que cualquier secuencia de 2n enteros consecutivos se puede

escribir de la forma a + 1, a + 2, ..., a + 2n para algún a entero. Separamos la se-
cuencia en las siguientes n parejas {a+1, a+(n+1)}, {a+2, a+(n+2)}, ..., {a+
n, a + 2n}. Entonces al escoger n + 1 de estos enteros, al menos dos pertenecerán
a la misma pareja. Estos dos enteros se diferencian en n.

E5. El crucero del amor tiene 206 pasajeros provenientes de cinco paı́ses distin-
tos. Se sabe que siempre que se sientan seis pasajeros en una misma mesa, al
menos dos de ellos tienen la misma edad. Demuestre que entre los 206 pasajeros
hay al menos cinco pasajeros que tienen la misma edad, el mismo sexo y la mis-
ma nacionalidad.

Intuición. Lo primero es desentrañar la afirmación sobre las edades. Para en-

contrar personas con varias caracterı́sticas la estrategia será analizar las carac-
terı́sticas una a una, dividiendo cada nido o grupo de personas en nidos o grupos
más pequeños.

Solución. Notemos que entre los pasajeros hay a lo más cinco edades distintas,
pues si fueran seis o más podriamos juntar seis personas en una mesa todos con
edades distintas, lo que contradice el enunciado. Entonces podemos dividir las
206 personas en 5 grupos de la misma edad, de donde habrán al menos 41 per-
sonas en un mismo grupo (misma edad). Podemos dividir éstas 41 en 5 grupos
de la misma nacionalidad, de donde habrán al menos 9 personas en un mismo
grupo (misma edad y nacionalidad). Y entre éstas 9 dividiéndolas en 2 grupos
de igual sexo, habrán al menos 5 en un mismo grupo. Éstas 5 comparten las
tres caracterı́sticas.

E6. En un plano yacen una recta l y un triángulo ABC, tal que la recta no pasa
por ninguno de los vértices del triángulo. Pruebe que no puede cortar todos los
lados del triángulo.

Intuición. A simple vista no parece ser un problema de palomar, pero al tratar

de resolverlo nos damos cuenta que es fácil argumentar con ayuda del principio.

3
En este caso las palomas serán los vértices del triángulo y los nidos los semi-
planos que determina la recta.

Solución. Como la recta divide al plano en dos semiplanos, en un semiplano

habrán al menos dos vértices del triángulo. El trazo que los une no es cortado
por la recta.

E7. Un blanco tiene la forma de un triángulo equilátero de lado 2. Si se le dis-

para 5 veces, ¿habrán dos hoyos con distancia ≤ 1?. Si se le dispara 17 veces,
¿cuál es la mı́nima distancia entre dos hoyos a lo más? (en ambos casos asuma
que los disparos acertan en algún lugar del blanco).

Intuición. En ambos casos es fácil relacionar las palomas con los hoyos que
dejan los disparos. Para los nidos, en el primer caso lo ideal serı́a construir 4 o
menos sectores del triángulo, de forma que 2 hoyos en el mismo sector no estén
a una distancia mayor a 1. Para lograr esto no hace falta mucho conocimiento
en geometrı́a. El segundo caso se vuelve entonces mucho más obvio.

Solución. Unimos los puntos medios del trı́angulo dividiéndolo en 4 triángulos

equiláteros de lado 1. De los cinco disparos, al menos dos caerán en el mismo
triángulo de lado 1, y por tanto estarán a una distancia ≤ 1. Si volvemos a
dividir cada triángulo en otros 4 de la misma forma, en total se formarán 16
triángulos equiláteros de lado 1/2. De los 17 disparos, al menos dos caerán en el
mismo triángulo de lado 1/2, y por tanto estarán a una distancia ≤ 1/2, siendo
entonces ésta la máxima distancia como mı́nimo a la que estarán dos hoyos.

Los próximos problemas quedan propuestos:

P1. n personas están en un salón. Todos estrechan manos entre si. Pruebe
que durante la ceremonia de saludo hay siempre al menos dos personas que han
estrechado el mismo número de manos.

P2. En un torneo con n jugadores, todos juegan contra todos exactamente una
vez. Pruebe que durante el torneo siempre hay al menos dos jugadores que han
jugado el mismo número de veces.

P3. En una mesa redonda para n personas, ante cada asiento hay una tarje-
ta que marca para quien está reservado. Llegan las n personas esperadas, pero
ninguna se sienta donde les corresponde. Pruebe que podemos girar la mesa de
forma que al menos dos personas queden en el asiento que les estaba reservado.

P4. 51 insectos pequeños están posados sobre un cuadrado de lado 1. Pruebe

que hay al menos tres insectos que pueden ser cubiertos por un único disco de
radio 1/7.

4
P5. Sea n un entero que no es divisible ni por 2 ni por 5. Pruebe que hay un
múltiplo de n que está formado solamente por unos.

P6. Dados 81 número naturales, cuyos divisores pertenecen al conjunto {2, 3, 5},
pruebe que siempre hay 4 números, cuyo producto es una potencia a la cuarta
de un entero.

P7. Pruebe que entre diez naturales distintos de dos dı́gitos, uno siempre puede
escoger dos conjuntos disjuntos no vacı́os, tales que sus elemento tienen la mis-
ma suma.

P8. Pruebe que entre 70 enteros positivos distintos ≤ 200, siempre hay dos
cuya diferencia es 4, 5 ó 9

P9. Pruebe que entre seis personas, siempre hay al menos 3 que se conocen
entre ellas o al menos 3 que son completos extraños.

P10. 17 cientı́ficos se escriben unos a otros. Entre todos tratan sobre tres tópi-
cos, pero entre cualquiera dos de ellos se trata sólo un tópico. Pruebe que hay
al menos 3 cientı́ficos que se escriben unos a otros sobre el mismo tópico.

Fuentes:
1. Arthur Engel: Problem Solving Strategies (Springer, 1998)
2. Foro Fmat: www.fmat.cl