L'énoncé combinatoire selon lequel si n+1 objets sont placés dans n tiroirs, alors au moins un tiroir contient plus d'un objet ; plus généralement, si on distribue plus d'objets que de casiers, un casier reçoit au moins le plafond de (objets / casiers).

Principe

Inévitabilité par comparaison de cardinalités : l'idée organisatrice est que de simples comparaisons de nombres forcent des collisions ou répétitions lorsque les objets sont plus nombreux que les boîtes, fournissant une garantie minimale sans information détaillée sur la distribution.

Démonstration

Si 13 chaussettes sont placées dans 12 tiroirs, le principe garantit qu'un tiroir contient au moins 2 chaussettes. Plus généralement, distribuer 10 objets dans 3 boîtes assure qu'une boîte contient au moins ⌈10/3⌉ = 4 objets.

Mauvaise application

Appliquer le principe à des distributions continues sans discrétisation, ou déduire l'uniformité de la conclusion (confondre 'quelque boîte a ≥k' avec 'chaque boîte a ≥k'), ou l'utiliser alors que les conteneurs ne sont pas bien définis.

Conséquence

Donne de nombreux résultats d'existence élémentaires et des bornes inférieures en combinatoire, théorie des nombres et informatique (par ex. collisions dans le hachage, résidus égaux modulo m garantis, ou valeurs répétées dans des suites).

Inversion

Le cas inverse survient lorsque les objets ne sont pas plus nombreux que les conteneurs ; alors le principe n'impose pas de collisions et tous les tiroirs peuvent être vides ou occupés par un seul objet ; inverser l'inégalité supprime la répétition garantie.

Limite

S'applique aux distributions discrètes finies avec boîtes bien définies et objets dénombrables ; il ne s'applique pas directement aux mesures continues sans discrétisation et ne précise pas où se produisent les collisions au-delà de l'existence.

Tension sémantique

Tension avec l'espérance probabiliste : le principe des tiroirs garantit une collision extrême combinatoire mais n'informe pas sur les distributions typiques ou probabilités — distinction entre existence dans le pire cas et comportement moyen.

Synthèse

Le Principe des Tiroirs est une garantie de comptage simple : lorsque les objets dépassent les conteneurs, les collisions sont inévitables, offrant un outil d'existence puissant pour prouver répétitions, bornes inférieures et inévitabilité en mathématiques discrètes.