Principe des tiroirs
Période historique : 1834 (Dirichlet)
Si l'on range n+1 chaussettes dans n tiroirs, au moins un tiroir contiendra au moins deux chaussettes.
Contenu & Formulation mathématique
Genèse & Portée historique
Également appelé principe de Dirichlet ou des pigeons, cet énoncé intuitif et fulgurant affirme que si un ensemble fini contenant n éléments est partitionné en k sous-ensembles avec n > k, alors au moins un sous-ensemble contient strictement plus d'un élément.
Peter Gustav Lejeune Dirichlet formalisa ce principe sous le nom de 'Schubfachprinzip' en 1834 pour démontrer des théorèmes majeurs d'approximation diophantienne des nombres réels par des rationnels.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Principe des tiroirs
Principe : Non-injectivité automatique de toute application d'un ensemble fini vers un ensemble de cardinal strictement inférieur.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.