Prinsip rumah burung
From Wikipedia, the free encyclopedia
Prinsip rumah burung menyatakan bahwa untuk dua bilangan asli dan
,
, jika
burung ditaruh di dalam
rumah atau kotak, maka paling sedikit satu kotak berisi lebih dari satu burung. Secara lebih formal, dapat dikatakan bahwa tidak ada fungsi satu-satu pada himpunan terhingga yang memiliki kodomain lebih kecil daripada domain.
Prinsip ini pertama kali dinyatakan oleh Dirichlet pada 1834 dan diberi nama Schubfachprinzip (prinsip rak). Dalam beberapa bahasa, prinsip ini disebut prinsip Dirichlet.