El Principio del Palomar

March 28, 2011

Presentaremos un principio elemental llamda Principio del Palomar tambin conocido como Principio de los Casilleros, Principio de las Casillas o Principio del Direchlet; el ltimo nombre en honor a Peter Dirichlet matematico alemn que vivio durante el siglo XIX. Comenzaremos con un ejemplo antes de introducir el principio a estudiar:

Ejemplo

Si en una sala hay 13 o ms personas, entonces exite un par (quiz

ms) de personas cuyo cumpleaos cae el mismo mes. Encontremos ahora una manera para darnos cuenta de que lo anterior

Solucin

es cierto, como un ao tiene doce meses y hay ms personas que meses, por obligacin en algn mes estaran cumpliendo aos al menos 2 pesonas.

Enunciemos ahora el principio del Palomar en tres versiones.

Primera versin
Si tenemos

palomares y en ellos duermen

m+1

palomas entonces hay al

menos un palomar donde duerme ms de una paloma.

Segunda versin
Si se tiene un conjunto de ms objetos. Notemos que hay diferencias entre el la primera y la segunda versin, para la segunda versin cambiamos los palomares por casilleros y a las palomas por objetos, tambin nos damos cuenta que en la primera versin podemos externer a que dados los

objetos, repartidos en

casilleros y

n>m

(hay

ms objetos que casilleros) entonces hay al menos un casillero donde hay 2 o

nmero mayor que

palomares no slo tener a m + 1 palomas si no a cualquier m y el principio sigue siendo cierto. Lo que estamos haciendo

con la segunda versin es una generalizacin de la primera, es decir abarcar muchos ms casos en donde podamos aplicar dicho principio. Si bien es cierto esta versin es bastante ms general que la primera, an podemos generalizarla un poco ms, de la siguiente manera:

Tercera versin
Si se tiene un conjunto de

objetos, repartidos en

casilleros y

un nmero natural, entonces hay al menos un casillero donde hay

n > km, con (k + 1) o

ms objetos. Esta ltima generalizacin pudiera, a primera vista no ser tan obvia, pero despus de un momento de analizarla es fcil convencerse de que es cierta. Por otro lado en matemticas, las proposiciones no se asumen convenciendose, ni haciendo muchos ejemplos, es necesario dar una demostracin de lo que se arma.

Demostracin del Principio del Palomar

Supongamos que tenemos casilleros con

objetos repartidos en

casileros con

n > km,

supongamso por contradiccin que el principio es falso, es decir, que no hay

(k + 1)

o ms objetos. Esto quiere dicr que todos los casilleros

tienen a lo ms k objetos (k o menos objetos). Entonces el nmero de objetos que hay en los casilleros ser igual a o menos, luego

N1 + N2 + ... + Nm ,

siendo

Ni

el nmero

k objeros N1 k, N2 k y as cada Ni k . Sumando las ecuaciones anteriores obtenemos que N1 + N2 + ... + Nm km, es decir, el nmero total de objetos en los casilleros es menor o igual a km es decir n km. Pero esto es una contradiccin ya que en un principio comenzamos con n km. Luego,
nuestra suposicin de que el principio era falso es incorrecta. Por lo tanto, el Principio del Palomar es cierto. La demostracin a sido por un metodo llamado demostracin por contradiccin o reduccin al absurdo y consiste en suponer la negacin de lo que se pretende demostrar, tomarlo como una hiptesis ms y hacer una sucesin coherente de pasos hasta encontrar una contradiccin. No se pretende ensear esta tcnica en este trabajo pero sera de ayuda buscar mas informacin al respecto. Ahora nos concentraremso en algunos problemas en cuya solucin utilizaremos esta nueva herramienta que acabamos de introducir.

de objetos en el casillero i. Pero ya sabemos que en cada casillero hay

Problema Solucin
es

En un estadio hay 10000 personas. Demostrar que hay al menos un

grupo de 28 personas que cumplen aos el mismo da. Es suciente considerar a las personas del estadio como nuestros obAs que tenemos

jetos y a los das del ao como nuestros casilleros.

que el nmero de personas es

n = 10000

y el nmero de das del ao

k = 366(considerando

el caso fortuito de que haya personas nacidas

en das 29 de febrero). Podemos notar, adems, que tonces como

366x27 = 9882, en10000 > 27x366 (para nuestro caso en el principio del Palomar

k = 27),

luego, el Principio del Palomar nos asegura que en alguno de los

das del ao hay 28 o ms personas que cumplen aos el mismo da.

Problema

Sea un cuadrado de diagonal 3 en el que se marcan al azar 10 puntos.

Demostrar que siempre podemos encontrar al menos 2 puntos que estn a una distancia no mayor a 1.

Solucin

Nos gustara usar el principo del Palomar para resolver este problema.

Sabemos que se van a marcar 10 puntos al interior del cuadrado; luego, que cada punto deba forzosamente entara en alguno de los casilleros, el

si creamos 9 casilleros que cubran completamente el cuadrado de mo do principio del palomar nos asegurara que al menos 2 puntos caeran en el mismo casillero. luego, para resolver el problema nos bastara encontar una forma de crear 9 casilleros con la gracias que si dos puntos caen en el mismo casillero entonces la distancia entre ambos sea menor o igual a 1. Una forma de lograr esto es divivir el cuadrado en 9 cuadrados ms pequeos iguales entre s. Supongamos que los bordes de los cuadrados los asigmanos a alguno de los cuadrados que bordea (por ejemplo, podemos decir que las lneas horizontales pertenecen al cuadrado inmediatemente superior, las verticales pertenecen al cuadrado inmediatamente a la izquierda y los vrtices al cuadrado inmediatamente arriba y a la izquierda). De esta manera, cualquir punto que pongamos en el cuadrado grandre pertenecer a uno y slo uno de los cuadrados pequeos, Adems como el cuadrado grande tiene diagonal 3, los cuadrados pequeos tendrn diagonal 1. luego, la distancia mxima que puede haber entre dos puntos dentro de un mismo cuadrito ser de 1. As el principio del Palomar nos asegura que, al marcar 10 puntos, dos de ellos debern quedar en el mismo cuadrito, y por lo tanto la distancia entre dichos dos puntos ser menor o igual que 1.

Problema Solucin

Se tienen los nmeros del 1 al

2n escritos en una pizarra.

Se tachan

n1

de ellos. Probar que entre los nmeros que quedaron sin tachar en

la pizarra, al al menos 2 de ellos que son consecutivos. En esta ocasin hay que tener cuidado, pues los nmeros que deEs decir, nuestros objetos sern los nmeros sin Como son

seamos que sumplan la propiedad de ber consecutivos son los nmero que tachar, que son

quedaron sin tachar.

2n (n 1) = n + 1.

n + 1 nmeros y queremos

que al menos dos de ellos sean consecutivos nos conviene crear n casilleros de tal forma que si dos nmeros pertenecen al mismo casillero entonces son consecutivos. La idea es dividir el conjunto total de trabajo en casilleros, en este caso el conjunto total de

2n

nmeros originales. Como snon 1,2 3,4 ...

2n

podemos dividirlos de la siguiente manera: el casillero 1 ubicamos los nmeros y

2n-1,2n . En

1 y 2, en el casillero 2, los nmeros 3 4, y as sucesivamente hasta que en el casillero n ubicamos los nmeros 2n 1 y 2n. De este modo si dos nemros estn en el mismo casillero, entonces sern consecutivos. Como los nmeros sin tachar son n + 1, y cada uno de llos pertenece a alguno de los n casilleros indicados previamente,
entonces el Principio del Palomar asegura que habr un casillero que contenga 2 de los nmeros sin tahcar. Estos dos nmeros sern consecutivos por nuestra construccin de casillas.

Problema

Supongamos que tenemos 27 nmeros impares positivos menores

que 100. Demostrar que hay al menos dos de ellos cuya suma es 102.

Solucin

Deberamos ser capacer de intuir que lo que nos conviene es tomar

los 27 nmeros como nuestros objeros y crear 26 casilleros que contengan a esan en el mismo casillero, entonces su suma es 102. Sabiendo eso tenemos

todos los impares menores que 100 con la propiedad de que si dos nmeros entonces que el nmero 3 debe estar en el mismo casillero que el nmero 99, y asimismo el 5 con el 97, el 7con el 95, etc. pero surge un problema Qu pasa con el nmero 1? Es claro que no hay ningn impar menor que 100 que sumado con 1 de 102. En este caso, lo que ms nos vonviene es dejarlo en un casillero aparte. De esta manera ser imposible que dos nmeros distintos queden en ese casillero pues ese casillero es especial para el nmero 1. Lo mismo hacermos para el nmero 51. Sabiendo esto, podemos dividir el conjunto de los nmeros impares positivos menores que 100 como sigue 1 3,99 ... 49,53 51 de esta manera hemos dividido el conjunto en exactamente 26 casilleros distintos, y como en el problema original tenemos 27 nmeros impares positivos menores que 100, el Principio del Palomar nos asegura que dos de ellos caern en el mismo casillero. Y por la menera como hemos contrudo las casillas, la suma de ambos nmeros ser 102.

Problema Problema

Cuntas veces, como mnimo, debe lanzarse un par de dados para

aseguarse que el puntaje obtenido (la suma de los dados) se repita? Contar el nmero de resultados posibles y aplicar el Principio del

Sugerencia Sugerencia

Palomar deniendo a las casillas como los resultados posibles. Comprobar que en una reunin de 6 personas siempre pasa que 3

de ellas se conocen entre s o bien 3 de ellas nos e conocen entres s. Fijar una persona y a las 5 restantes separarlas en dos grupos, las

que la conocen y las que no. Ver los dos casos posibles cuando un grupo de 3 personas que la conocen y cuando hay un grupo de 3 peronas que no la conocen.

Problemas propuestos
1. Demostar que en una esta siempre hay dos personas que conocen al mismo nmero de personas. 2. En un tringulo de rea 4 se colocan 9 puntos. Muestre que hay 3 de ellos que forman un tringulo de rea menor o igual a 1. 3. Con los vrtices de una cuadrcula de 6x9 se forman 24 tringulos. Demuestre que hay 2 tringulos que tienen un vrtice en comn. 4. En un cajn, hay calcetines negros, rojos, azules y blancos. Cul es el menor nmero de cancetines que hay que sacar para estar seguros de que hay al menos dos del mismo color?

5. Se tiene un conjunto de 10 nmeros naturales. menos un par cuya diferencia es mltiplo de 9.

Demostrar que hay al

6. Cul es el menor nemro de relojes que debe haber en una relojera, de modo que haya al menos un par de relojes que tengan una diferencia de 1 minutos a lo ms? 7. Los puntos en un plano son coloreados de verde y azul de alguna manera. Prueba que existe un rectngulo con los vrtices del mismo color. 8. Los cuadros de un cuadrado de 7x7 son coloreados de dos colores. lados paralelos a los lados del cuadrado. 9. En un cuadrado de lado 4 se encuentran 9 puntos. Muestre que existen tres de ellos de manera que el tangulo que determinan tiene rea menor o igual a 2. 10. En un grupo de 7 personas, la suma de las edades es 332 aos. Probar que se puede escoger a tres de ellos de manera que la suma de sus edades sea al menos 143 aos. De-

muestra que existen 21 rectngulos con vrtices del mismo colo y con