Güvercin yuvası ilkesi
Matematikte Güvercin Yuvası İlkesi ()ya da çekmece ilkesi ya da Dirichlet kutu (çekmece) ilkesi, çok basit bir ilke olmasına karşın bu ilkeyi kullanarak ispatlanabilecek ilişkiler çok ilginç olabilir. Bu ilke tam olarak şunu der: N ve k pozitif tamsayılar ve N > k olmak üzere N nesne k kutuya yerleştirildiğinde öyle bir kutu vardır ki o kutuda birden çok nesne bulunmak zorundadır. Bu doğru olmasaydı, yani her kutuda en fazla birer nesne olsaydı, k kutuda en fazla k nesne olabilecekti.