Principio Palomar

 PRINCIPIO DEL PALOMAR

El Principio del Palomar (o Principio de Dirichlet) establece que si n palomas se distribuyen en m palomares, y n > m, entonces al menos un palomar debe contener más de una paloma.

FORMULACIÓN MATEMÁTICA

Si n > m, entonces al distribuir n objetos en m grupos, al menos un grupo debe contener al menos ⌈n/m⌉ objetos.

Donde ⌈n/m⌉ representa el menor entero mayor o igual que n/m.

FORMULACIÓN GENERALIZADA

Si n objetos se distribuyen en m grupos, entonces al menos un grupo debe contener al menos ⌈n/m⌉ objetos, y al menos un grupo debe contener a lo sumo ⌊n/m⌋ objetos.

10 palomas en 9 palomares: al menos un palomar tiene más de una paloma

DEMOSTRACIÓN POR CONTRADICCIÓN

1. Supongamos que cada palomar contiene a lo sumo una paloma.
2. Entonces, el número máximo de palomas sería igual al número de palomares (m).
3. Pero tenemos n palomas, donde n > m.
4. Esto es una contradicción, por lo que nuestra suposición es falsa.
5. Por lo tanto, al menos un palomar debe contener más de una paloma.