duiventilprincipe

Het duiventilprincipe, duivenhokprincipe of ladenprincipe van Dirichlet is een principe in de wiskunde dat stelt dat als n duiven in een duiventil met m hokjes geplaatst worden, waarbij , dat er dan minstens één hokje is waar meer dan één duif in zit. Het duiventilprincipe werd waarschijnlijk voor het eerst geformuleerd door Johann Dirichlet in 1834.