اصل لانه کبوتری (به انگلیسی: Pigeonhole principle)، که با نام اصل جعبه (یا کشوی) دیریکله نیز شناخته میشود، بیان میکند که اگر دو عدد طبیعی n و m را با خاصیت n>m داشته باشیم، اگر n شیء در m لانه کبوتر قرار گیرد، آنگاه حداقل یک لانه کبوتر (یا قفسه) دارای بیش از یک شیء خواهد بود. بیانی دیگر از این اصل به این صورت است که اگر در m لانه حداکثر m شیء آن هم با شرط در هر لانه یک شیء، قرار گرفتهاست؛ اضافه کردن یک شیء دیگر ما را مجبور میکند که از یکی از لانهها بار دیگر استفاده کنیم (با این شرط که m متناهی باشد).
تجسمی برای نام اصل: کبوترها در لانهها. در اینجا n = 7 و m = 9 بنابراین میتوانیم نتیجه بگیریم که حداقل دو لانه کبوتر خالی وجود دارد. (که اگر دقیقاً دو کبوتر در یک لانه قرار گرفته باشند، سه خانهٔ خالی وجود دارد)