Princípio de Dirichlet

["Bruno Furlan" <brunobfurlan@xxxxxxxxx>]

O Princípio das Gavetas de Dirichlet (Peter Dirichlet, alemão, 1805-1859),
também chamado de Princípio da Casa dos Pombos, diz:

1. "Suponha que n objetos são colocados em k caixas. Se n>k, pelo menos uma
caixa conterá pelo menos 2 objetos. Generalizando, se n>km, pelo menos uma
caixa conterá pelo menos m+1 objetos, pois se toda caixa contivesse no
máximo m objetos, haveria não mais de km objetos no total."

2. "Se n objetos ocupam k caixas, então pelo menos uma caixa contém
|_n-1/k_| +1 objetos."

(obs.: |_x_| representa "piso de x", ou seja, maior inteiro menor ou igual a
x)