##  [Méthode des Tiroirs](/fr/node/62806) 

 Définition

Une technique de raisonnement combinatoire qui partitionne des objets en un nombre fini de classes (tiroirs) et utilise le principe des tiroirs pour imposer des coïncidences ou des bornes, appliquée en géométrie pour garantir des recouvrements, des distances répétées ou des conclusions de densité.

 

 

 

 

 

 





## Principe

Principe

Si l'on place plus d'objets (pigeons) que de classes (tiroirs), alors au moins une classe contient plusieurs objets ; des partitions géométriques de l'espace ou des configurations entraînent des coïncidences forcées lorsque les comptes dépassent la capacité.

 

 

 

 

 





## Démonstration

Démonstration

Diviser un carré unité en 9 petits carrés égaux ; placer 10 points dans le carré unité oblige, par le principe des tiroirs, deux points à se trouver dans le même petit carré, ce qui borne immédiatement leur distance par la diagonale de ce petit carré.

 

 

 

 

## Mauvaise application

Mauvaise application

Appliquer la méthode sans s'assurer que la partition limite effectivement la capacité (par exemple, utiliser des régions chevauchantes ou des partitions dont la capacité varie) peut donner de fausses garanties ; oublier les cas de partage de bord peut conduire à un mauvais comptage.

 

 

 

 

 





## Conséquence

Conséquence

Fournit des résultats d'existence élémentaires et des bornes quantitatives (par exemple proximité garantie, mesures répétées, ou nombre minimal de caractéristiques coïncidentes) qui sont souvent non constructifs mais suffisants pour avancer dans des démonstrations ou initier des constructions.

 

 

 

 

## Inversion

Inversion

Au lieu de partitionner, construire explicitement des répartitions évitant les coïncidences (pour un contre-exemple) ou utiliser des méthodes continues pour montrer qu'aucune borne discrète des tiroirs ne s'applique ; l'inversion cherche une distribution explicite respectant la capacité plutôt que de déduire l'inévitabilité des collisions.

 

 

 

 

 





## Limite

Limite

Efficace lorsqu'il existe une partition finie naturelle ou une mesure de comptage ; il ne s'applique pas aux cadres continus non dénombrables sans introduire une partition discrète ou une partition mesurable, et il n'indique pas laquelle des classes contient la collision au-delà de l'existence.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Diffère des arguments probabilistes ou de densité : le principe des tiroirs est purement basé sur le comptage et non probabiliste, tandis que les méthodes probabilistes peuvent fournir des valeurs d'espérance ou des probabilités de collision ; les deux peuvent se compléter mais sont conceptuellement distincts.

 

 

 

 

 





## Synthèse

Synthèse

Partitionner le domaine de sorte que les comptes forcent plusieurs éléments dans une même cellule ; exploiter cette coïncidence forcée pour déduire des bornes géométriques ou des résultats d'existence en vérifiant que les partitions sont bien définies et non chevauchantes.