Perhatikan kasus ketika terdapat lebih banyak merpati dibandingkan sarangnya. Sebagai contoh, jika ada merpati yang dimasukkan ke dalam
sangkar merpati maka terdapat sangkar yang ditempati oleh setidaknya dua merpati. Secara umum, teorema berikut berlaku.
Teorema. Jika ada merpati yang dimasukkan ke dalam
sangkar merpati, maka terdapat sangkar yang ditempati oleh setidaknya dua merpati.
Bukti. Diketahui ada merpati dan
sangkar. Jika masing-masing sangkar terisi oleh
atau
(inklusif) merpati saja, maka jumlah total merpati yang telah menempati sangkar hanya sebesar kurang dari
. Dengan demikian, ada lebih dari
merpati yang belum masuk ke dalam sangkar. Jika masing-masing kotak hanya diisi oleh
ekor merpati, maka jumlah total merpati yang telah menempati sarang ada
merpati dan masih ada
merpati yang masih di luar sangkar. Jika merpati tersebut dimasukkan ke dalam salah satu sangkar, maka akan terdapat satu sarang yang terisi oleh
(dua) merpati.
Pada kasus umum ”merpati” bisa diganti dengan ”obyek”, dan ”sarang merpati” diganti dengan ”perlakuan/penempatan”. Sebagai contoh, akan dipilih bilangan bulat dari himpunan
. Dapat ditunjukkan bahwa bagaimanapun cara pengambilannya, selalu terdapat
bilangan yang jumlahnya adalah
. Hal ini dapat dilihat dari algoritma berikut:
- Pasangan bilangan yang jumlahnya
adalah
- Ada
pasang bilangan yang setiap pasangnya berjumlah
.
- Menggunakan analogi sarang merpati, terdapat
merpati yang akan menempati
sarang.
- Hal ini sama saja mengatakan bahwa dari
bilangan yang dipilih pasti ada dua bilangan yang berpasangan.
Terbukti bahwa ada bilangan yang jumlahnya
.
Tutorial: Soal Latihan dan Pembahasan Prinsip Sarang Merpati
Komentar