Het duivengatenprincipe verklaart dat wanneer er (n) duivengaten zijn in een duivencontainer, het onmogelijk is om meer dan (n) duiven in die container te stoppen, zonder dat er minstens één gat is dat meer dan één duif bevat. De duiven worden hier gebruikt als voorbeeld voor alles wat in containers of onderverdelingen gestopt kan worden.
Deze stelling is belangrijk in de informatica en de wiskunde, vooral in de grafentheorie.
