Principio de Dirichlet o principio del palomar

Hay dos iguales?

60 personas estn comparando sus mviles (cada persona tiene exactamente un mvil). Hay mviles de 4
fabricantes distintos, y cada fabricante produce 5 modelos distintos. Adems, cada modelo puede tener
cmara y bluetooth, tener slo bluetooth, o no tener ni bluetooth ni cmara. Podemos garantizar que hay
dos mviles iguales? Y si en vez de 60 personas son 61?
Hay 4 posibilidades para fabricante, 5 para modelo, y 3 para complementos, para un total de 60 posibles
tipos distintos de mviles. Si hay exactamente 60 mviles, pueden ser cada uno de un tipo, y no podemos
garantizar que hay dos iguales. Si hay 61 mviles, tiene que haber necesariamente dos iguales, pues si
fueran todos distintos, habra 61 tipos de mvil, pero slo hay 60.

Cuntos iguales hay?

Supongamos ahora que, con los mismos tipos de mviles que en el caso anterior, hay 2009 personas.
Buscamos el tipo del que ms mviles hay iguales. Cul es el mximo nmero de mviles de dicho tipo
que podemos garantizar que haya?
Conseguiremos que haya un nmero mnimo de mviles en cada tipo cuando distribuyamos los mviles
de la forma ms equilibrada posible entre los 60 tipos distintos. As, como 2009=6033+29, podemos en
principio tomar 33 mviles de un mismo tipo, para 30 tipos distintos, y 34 mviles de un mismo tipo, para
otros 30 tipos distintos, para un total de
34 29 + 33 31 = 986 + 1023 = 2009 mviles.
No podemos entonces garantizar que haya ms de 34 mviles iguales de cualquier tipo. S podemos
garantizar que va a haber ms de 33 mviles de cada tipo, pues como 6033=1980, en cuanto tengamos
ms de 1980 mviles, tiene que haber al menos un tipo del que haya ms de 33 mviles, pues si no habra
ms de 60 tipos.

El principio del palomar

El principio del palomar, tambin llamado principio de Dirichlet, dice que, si hay n huecos en un
palomar, y n+1 palomas, entonces hay al menos un hueco en el que viven al menos dos palomas. Este
resultado se puede generalizar de la siguiente forma: si hay k conjuntos, y N elementos distribuidos en
dichos conjuntos, donde podemos escribir N=ak+b, siendo a un entero no negativo y b uno de los
nmeros (1,2,3,...,k), entonces hay al menos un conjunto que tiene al menos a+1 elementos. En el caso
anterior, tenamos 60 conjuntos (tipos de mviles), 2010 elementos (mviles), con lo que a=33 y b=30, y
tenemos al menos un tipo del que hay al menos a+1=34 mviles. Vemos ahora otro par de ejemplos, en
los que hay que preparar el terreno antes de aplicar el principio del palomar. Normalmente, esto suele
requerir, bien calcular el nmero de conjuntos, bien calcular el nmero de elementos que necesitamos en
cada conjunto, bien el nmero total de elementos, bien una combinacin de estos clculos.
Ejemplo 1: Cuntos nmeros que sean cuadrados perfectos (es decir, que sean el resultado de elevar al
cuadrado un entero) necesito como mnimo, para garantizar que hay al menos dos de ellos cuya diferencia
es mltiplo de 5?

Solucin: si divido un nmero entero cualquiera entre 5, puedo obtener un cociente entero c, y un resto r
que puede tomar valores 0, 1, 2, 3 o 4, pudiendo escribir el nmero como 5c+r. Si elevo al cuadrado,
obtengo 5(5c2+2cr)+r2. Como r2 puede tomar valores 0, 1, 4, 9, o 16, el resto al dividir (5c+r)2 entre 5
slo puede ser igual a 0 (si r=0), 1 (si r=1 o 4) o 4 (si r=2 o 3). La diferencia entre dos nmeros es
mltiplo de 5, si y slo si tienen el mismo resto al dividir entre 5, es decir, lo que me piden es que
garantice que hay al menos dos elementos en un mismo conjunto, de entre tres conjuntos posibles de
restos al dividir por 5 que puede tener un cuadrado perfecto. El principio del palomar me garantiza que
eso es cierto en cuanto hay 4 elementos distintos, y si tengo como mximo 3 elementos, puedo
distribuirlos hasta tener como mucho uno en cada conjunto (por ejemplo 1, 4 y 25). Luego tomando 4
cuadrados perfectos, puedo garantizar que la diferencia entre dos de ellos va a ser mltiplo de 5, pero no
con menos.
Ejemplo 2: dibujamos en el plano un hexgono regular de lado 3 metros, y pintamos en su interior o en su
frontera 2009 puntos rojos distintos. Demuestra que hay un tringulo equiltero de lado 1 metro, incluido
en el interior o la frontera del anterior, en cuyo interior o frontera hay al menos 38 puntos rojos distintos.
Solucin: podemos dividir el hexgono regular en tres tringulos equilteros de lado 3 metros, dibujando
sus diagonales mayores. Cada uno de estos tringulos puede ser a su vez dividido en 9 tringulos
equilteros de lado 1 metro, dividiendo primero cada lado en tres segmentos iguales, y luego dibujando
por cada uno de los puntos de divisin lneas paralelas a los lados del tringulo (prueba t mismo a hacer
el dibujo!). Tenemos as el hexgono dividido en 54 tringulos equilteros de lado 1 metro, de forma que
los interiores y las fronteras de estos tringulos cubren completamente el interior y la frontera del
hexgono. Como 2009=5437+11, y cada punto rojo, al estar en el hexgono, est en uno de los 54
tringulos, entonces por el principio del palomar hay al menos uno de los tringulos que contiene al
menos 38 puntos.

Ejercicios propuestos
En un pas imaginario juegan a la quiniela de forma extraa: hay 14 partidos de los que hay que adivinar
el resultado, que puede ser 1, X o 2, y para ganar basta con acertar 5 resultados. Cuntas quinielas hace
falta rellenar como mnimo para garantizar que con al menos una de ellas se gana? No te conformes con
ver que con un nmero de quinielas est garantizado ganar, demuestra tambin que con menos no basta!

Pintamos los lados y las diagonales de un hexgono regular de rojo, o de azul (cada lado o cada diagonal
de un color, y slo de uno, de forma independiente a como pintemos el resto de lados o diagonales).
Demostrar que siempre hay un tringulo cuyos vrtices son vrtices del hexgono, y cuyos lados son del
mismo color. Puedo garantizar lo mismo si en vez de con un hexgono repito el proceso con un
pentgono?

Hay un conjunto de 17 nmeros enteros distintos, ninguno de los cules es divisible por ningn nmero
primo mayor que 10. Demostrar que hay dos de ellos cuyo producto es un cuadrado perfecto.

Dividimos cada lado de un cuadrado en cuatro partes iguales, y se trazan las lneas paralelas a los lados
que pasan por las divisiones, de forma que el cuadrado queda dividido en 16 cuadraditos iguales. Cada
uno de los 25 puntos que son vrtice de alguno de estos cuadraditos, se pinta de azul o de rojo
independientemente del color de los dems. Demuestra que entre estos 25 puntos, hay cuatro del mismo
color que son vrtices de un rectngulo. Qu pasara si repitiramos el problema pero dividiendo los
lados del cuadrado en tres partes iguales y considerando los 16 puntos resultantes?