ENTRENAMIENTO OLÍMPICO INSTITUTO NACIONAL 2010

TÉCNICAS BÁSICAS DE RESOLUCIÓN DE PROBLEMAS

MATERIAL 2

CRISTÓBAL PARRAGUEZ CRUZAT

CRISTOBAL.PARRAGUEZ@GMAIL.COM

1. Introducción
El principio del palomar, también llamado principio de Dirichlet, establece que
si n palomas se distribuyen en m nidos, y si n > m, entonces al menos habrá un nido
con más de una paloma. Otra forma de decirlo es que m huecos pueden albergar
como mucho m objetos si cada uno de los objetos está en un hueco distinto, ası́ que
el hecho de añadir otro objeto fuerza a volver a utilizar alguno de los huecos. De
otra manera: si se toman trece personas, al menos dos habrán nacido el mismo mes.

El primer enunciado del principio se cree que proviene de Dirichlet en 1834 con el
nombre de Schubfachprinzip (”principio de los cajones”). No debe confundirse
con otro principio sobre funciones armónicas, también con el nombre de este autor.

Podemos formalizar un poco mas este principio y decir, sean m, n y p tres números
naturales. Si se desean colocar np + m objetos en n cajas, alguna caja debe con-
tener al menos p + 1 objetos. Esto es claro pues si cada caja contiene como mucho
p objetos, el número total de objetos que podemos colocar es np < np+1 ≤ np+m.

En su versión más simple, este principio dice que no puede existir una aplicación
inyectiva entre un conjunto de m elementos y otro de n elementos, si m > n.
Equivalentemente, si se desean colocar m objetos en n cajas, con m > n, al menos
una caja debe contener al menos 2 objetos. Si A y B son conjuntos finitos con
|A| > |B| entonces no existe ninguna función inyectiva de A en B, demostremoslo
por inducción.

Caso Base: Supongamos |B| = 0 , es decir, B = φ . Entonces no existe ninguna

función f : A → B, en particular no existe ninguna función inyectiva.

Hipótesis inductiva: f : A → B, no es inyectiva para todo conjunto finito A

y para todo conjunto finito B, que cumplan |A| > |B| , y |B| ≤ n , con n ≥ 0.

Tesis inductiva: Para |A| > |B| = n + 1, no existe una función f : A → B

inyectiva. Como A no es vacı́o, elijamos un a ∈ A. Pueden ocurrir dos cosas, o bien
existe otro elemento distinto a a en A, llamémosle a0 que cumpla f (a) = f (a0 ), o
bien no existe tal elemento. Si el caso es que existe, la función f no es inyectiva y ter-
mina la demostración. Tomemos el caso que no existe, entonces f (a) tiene solo una
preimagen que es a. Consideramos la función g : A−{a} → B−{f (a)}, que coincide
1
2 CRISTÓBAL PARRAGUEZ CRUZAT CRISTOBAL.PARRAGUEZ@GMAIL.COM

con f en todos los elementos de A − {a}. Ahora aplicamos la hipótesis inductiva

pues B−{f (a)} tiene n elementos y |A−{a}| = |A|−1 > |B|−1 = |B−{f (a)}| = n,
por lo tanto g no es inyectiva. Como g no es inyectiva, f no es inyectiva, que es lo
que querı́amos demostrar.

Aunque el principio del palomar puede parecer una observación trivial, se puede
utilizar para demostrar resultados inesperados. Por ejemplo, hay por lo menos 2
personas en Santiago con el mismo número de pelos en la cabeza. Demostración:
la cabeza de una persona tiene en torno a 750.000 cabellos y tener un millón de
pelos requerirı́a de una cabeza gigante (nadie tiene un millón de pelos en al cabeza).
Asignamos un nido por cada número de 0 a 1.000.000 y asignamos una paloma a
cada persona que irá al nido correspondiente al número de pelos que tiene en la
cabeza. Como en Santiago hay más de un millón de personas, habrá al menos dos
personas con el mismo número de pelos en la cabeza.

Una versión generalizada de este principio dice que, si n objetos discretos deben
n
guardarse en m cajas, al menos una caja debe contener no menos de d m e objetos,
donde d. . . e denota la función cajón superior.

2. Ejemplos
♣ Ejemplo 1. Las n2 casillas de un cuadrado de nxn son llenadas arbitrariamente
con 1’s, 0’s y −1’s. Luego se considera la suma de cada columna, fila y ambas
diagonales. Demuestre que hay dos sumas iguales.

♦ Solución. Notemos que las sumas posibles oscilan entre −n y n, es decir ten-
emos 2n + 1 sumas posibles. Por otro lado notemos que hay n filas, n columnas y
2 diagonales, como 2n + 2 > 2n + 1 es claro que se repetira una suma. 

♣ Ejemplo 2. 55 puntos son distribuidos en un cuadrado de 1x1. Demuestre

que almenos 3 puntos pueden ser cubiertos por un cuadrado de 15 x 15

♦ Solución. Dividamos
 55  el cuadrado en 25 cuadrados de 15 x 15 , uno de los cuadrados
posee almenos 25 = 3 

♣ Ejemplo 3. Sea A cualquier conjunto de veinte enteros escogidos de la pro-

gresión aritmética {1, 4, ..., 100}. Demuestre que hay al menos dos enteros difer-
entes en A cuya suma es 104.

♦ Solución. Agrupemos los números de la progresión en 19 subconjuntos como se

muestra a continuación:
{1}, {52}, {4, 100}, {7, 97}, {10, 94}, ..., {49, 55}
Como se tienen que escoger 20 números y 20 > 19 entonces es claro que tendremos
lo pedido.

♣ Ejemplo 4. Demuestre que entre siete enteros positivos distintos ≤ 126, siempre
se puede conseguir dos de ellos a y b satisfaciendo b < a ≤ 2b.
 ENTRENAMIENTO OLÍMPICO INSTITUTO NACIONAL 2010 3

♦ Solución. Dividamos el conjunto {1, 2, 3, ..., 126} en los seis subconjuntos

{1, 2}, {3, 4, 5, 6}, {7, 8, ..., 13, 14}, {15, 16, ..., 29, 30}, {31, 32, ..., 61, 62}, {63, 64, ..., 126}
Dos de los siete enteros viviran en el mismo subconjunto y tendran las desigual-
dades mencionadas. 

♣ Ejemplo 5. No importa cuales cincuenta y cinco enteros se seleccionen del

conjunto {1, 2, ..., 100}, demuestre que siempre habra dos cuya diferencia será 10.

♦ Solución. Notemos que si elegimos n + 1 enteros de cualquier conjunto de

2n enteros consecutivos, entonces habrá dos cuya diferencia será n. Mas explici-
tamente agrupemos el conjunto {a + 1, a + 2, a + 3, ..., a + 2n} en los n pares
{a + 1, a + n + 1}, {a + 2, a + n + 2}, ..., {a + n, a + 2n}. Por lo tanto dividamos el
conjunto del enunciado en
{1, 2, ...20}, {21, 22, ..., 40}, {41, 42, ..., 60}, {61, 62, ..., 80}, {81, 82, ..., 100}
Si seleccionamos cincuenta y cinco enteros, entonces, forzozamente habremos de se-
leccionar once del mismo subconjunto. Considerando ahora la primera obseración
(con n = 10), habrá dos cuya diferencia será 10 

♣ Ejemplo 6. Dado cualquier subconjunto A de diez enteros del conjunto {1, 2, ..., 98, 99}
demuestre que siempre habrá dos subconjuntos disjuntos de A cuyos elementos
tienen la misma suma.

♦ Solución. Hay 210 − 1 = 1023 subconjuntos no vacios que se pueden formar con
un conjunto de diez elementos. A cada uno de estos subconjuntos le asociamos su
suma. La maxima suma que se puede obtener es 90 + 91 + ... + 99 = 945 < 1023.
Luego, hay dos subconjuntos, digamos S, T (no necesariamente disjuntos) cuya
suma de elementos es identica. Luego, S − (S ∩ T ) y T − (S ∩ T ) tambien tienen
la misma suma. 

3. Propuestos
Problema 1. (ASHME 1994) Consideremos a un disco con la etiqueta ”1”, a dos
discos con la etiqueta ”2”, a tres discos con la etiqueta ”3”, . . . , a cincuenta
discos con la etiqueta ”50”. Coloquemos a estos 1 + 2 + 3 + + 50 = 1275 discos
en una caja. Se sacan luego discos de la caja, al azar y sin remplazo. Cuál es el
número mı́nimo de discos que se debe sacar para garantizar al menos diez discos
con la misma etiqueta?

Problema 2. (ASHME 1995) Dados cualesquiera 9 enteros cuyos factores pri-

mos esten en el conjunto 3,7,11, demuestre que habrá dos cuyo producto es un
cuadrado perfecto.

Problema 3. (Olimpiada Nacional) Si se toman n + 1 enteros del conjunto

{1, 2, ..., 2n} , demuestre que siempre habrá dos que son relativamente primos.

Problema 4. (ASHME 1991) Una mesa circular tiene exactamente sesenta sil-
las y hay n personas ya sentadas de manera que la próxima persona a sentarse por
fuerza se sentará al lado de alguien. Cuál es el valor mı́nimo de n?
4 CRISTÓBAL PARRAGUEZ CRUZAT CRISTOBAL.PARRAGUEZ@GMAIL.COM

Problema 5. (Problema tı́pico) Pruebe que entre n + 1 enteros, siempre habrá dos
cuya diferencia será divisible por n.

Problema 6. (Problema tı́pico) Cinco puntos cualesquiera son colocados sobre

un
√
cuadrado de lado 1. Demuestre que dos de ellos estan a una distancia a lo mas
2
2 .

Problema 7. (Olimpiada nacional) Demuestre que para cualquier natural im-

par n distinto de 5 existe un número constituido por solo 9’s que es divisible por
n.