Principio del Palomar

Enunciado
El principio del palomar, también llamado principio de Dirichlet o principio de
las cajas, establece que si n palomas se distribuyen en m palomares, y
si n > m, entonces al menos habrá un palomar con más de una paloma.
 Enunciado General:
Una versión generalizada de este principio dice que, si n objetos discretos deben guardarse
en m cajas, al menos una caja debe contener no menos de:

Además existirá otra caja que contendrá no más de:

 Aplicaciones y usos:
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 Guatemala con
el mismo número de pelos en la cabeza.

El principio del palomar es encontrado a menudo, también, en informática. Por ejemplo,

las colisiones son inevitables en una tabla hash porque el número de posibles valores que
pueden tomar los elementos de un vector exceden a menudo el número de sus índices.
Ejemplo en Python:
Web y bibliografía:
https://es.wikipedia.org/wiki/Principio_del_palomar

Johnsonbaugh. (2000). Discrete mathematics. Pearson Education.

Harry R. Lewis and Christos H. Papadimitriou; Elements of the Theory of Computation,

Second Edition; Prentice-Hall, Englewood Cliffs, New Jersey, 1997