Principe des tiroirs (Dirichlet)

• Forme simple : si $n+1$ objets sont placés dans $n$ tiroirs, au moins un tiroir contient $\ge 2$ objets.
• Forme générale : $kn+1$ objets dans $n$ tiroirs ⇒ un tiroir contient $\ge k+1$ objets.
• Forme moyenne : si la somme des $a_i$ vaut $S$, alors $\max a_i\ge S/n$.
• Forme infinie : si une infinité d'objets sont placés dans un nombre fini de tiroirs, un tiroir contient une infinité d'objets.