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