El calcetín en la oscuridad
Imagina que sacas calcetines de un cajón en la oscuridad. Tienes 10 calcetines rojos y 10 azules, todos mezclados. ¿Cuántos calcetines debes sacar para garantizar un par del mismo color?
La respuesta es 3, no 11. Si sacas 2 ya podrías tener uno de cada color. Pero el tercero siempre coincide con alguno de los anteriores porque solo hay dos colores.
Acabas de usar el principio de la paloma, probablemente sin saberlo. Y es uno de los argumentos más poderosos de la combinatoria olímpica.
El principio y su demostración
Sea un entero positivo. Si distribuimos objetos en cajones, entonces algún cajón contiene al menos 2 objetos.
Demostración por contradicción. Supón que cada cajón tiene a lo sumo 1 objeto. Entonces el total de objetos es a lo sumo . Pero tenemos objetos. Contradicción.
La versión generalizada: si distribuimos objetos en cajones, algún cajón tiene al menos objetos. En general: al menos objetos en algún cajón, si hay objetos y cajones.
Cómo identificar cajones y palomas
El reto real no es aplicar el principio — es formular el problema en términos de palomas y nidos. Esta habilidad separa al olímpico del estudiante promedio.
Regla práctica: las palomas son los objetos que estamos distribuyendo (personas, números, puntos). Los cajones son las categorías en las que caen (meses, residuos, regiones).
Ejemplo: en un salón de 13 personas, ¿siempre hay dos con cumpleaños en el mismo mes? Las palomas son las 13 personas, los 12 cajones son los meses. Como , algún cajón tiene al menos 2 palomas.
El poder del principio: problemas no triviales
El principio de la paloma no solo sirve para calcetines y cumpleaños. Aparece en problemas serios de geometría, teoría de números y combinatoria de nivel olímpico.
En las lecciones siguientes verás cómo usarlo con divisiones del plano, residuos módulo , y configuraciones geométricas. El truco siempre es el mismo: encontrar los cajones correctos.
Una lección clave: el principio no te dice qué cajón tiene dos palomas, solo que alguno los tiene. Esta existencia sin identificación es lo que lo hace tan poderoso para demostraciones.