Güvercin Yuvası İlkesi: İstanbul'da Saç Teli Sayısı Aynı Olan İki Kişi Kesinlikle Vardır

Apaçık Bir Gözlem

Şöyle bir durum düşünün: Elinizde 10 güvercin ve 9 yuva var. Tüm güvercinleri yuvalara yerleştirmek istiyorsunuz. Ne olur?

Cevap apaçık: En az bir yuvaya en az iki güvercin düşmek zorundadır. Çünkü her güvercine ayrı bir yuva vermeye kalksanız, 9 yuva ancak 9 güvercine yeter; 10. güvercin mutlaka dolu bir yuvaya gider.

Bu kadar basit. Adına Güvercin Yuvası İlkesi (pigeonhole principle) denir. Resmî hâliyle: "n+1 nesneyi n kutuya yerleştirirseniz, en az bir kutuda en az iki nesne bulunur." (Bu ilkeyi 19. yüzyılda sistematik kullanan matematikçi Dirichlet'in adıyla "Dirichlet ilkesi" de denir.)

Bu kadar bariz bir şey nasıl olur da güçlü bir matematik aracı olabilir? İşte işin sihri burada.

Saç Teli Bilmecesi

Güvercin yuvası ilkesinin en sevilen uygulaması şudur:

İstanbul'da, kafasındaki saç teli sayısı tam olarak aynı olan en az iki kişi kesinlikle vardır.

Hiç kimseyi saymadan, hiç kimsenin saçını incelemeden bunu kesin olarak biliyoruz. Nasıl?

• Bir insanın kafasında en fazla yaklaşık 150.000 saç teli olabilir (cömert bir üst sınır, diyelim en çok 1 milyon bile olsa).
• İstanbul'un nüfusu 15 milyonu aşıyor.

Şimdi "yuvaları" saç teli sayıları (0, 1, 2, ..., 1.000.000) olarak düşünün — yaklaşık bir milyon yuva. "Güvercinler" ise 15 milyon İstanbullu. Güvercinler (15 milyon) yuvalardan (1 milyon) çok daha fazla olduğu için, en az bir "yuvaya" (yani aynı saç teli sayısına) birden fazla kişi düşmek zorundadır.

İşte bu kadar! Tek bir kişinin saçını saymadan, sadece mantıkla, böyle iki kişinin var olduğunu kanıtladık. Güvercin yuvası ilkesinin gücü budur: Bir şeyin var olduğunu, onu bulmadan kanıtlamak.

Daha Fazla Şaşırtıcı Sonuç

İlke, beklenmedik pek çok yerde işe yarar:

• Doğum günleri: Bir odada 367 kişi varsa, en az ikisinin doğum günü kesinlikle aynıdır (yılda en fazla 366 gün var — 366 "yuva", 367 "güvercin"). Dikkat: Bu, daha önce gördüğümüz doğum günü paradoksundan farklıdır! Paradoks "23 kişide %50 ihtimal" derken olasılıkla ilgilenir; güvercin yuvası ise "367 kişide %100 kesinlik" der. Biri olasılık, diğeri kesinlik.
• Eldeki kartlar: 5 kart çekerseniz ve 4 farklı tür (sinek, karo, kupa, maça) varsa, en az iki kart aynı türdendir.
• Saçilebilirlik: Herhangi bir tam sayı seçin; 1, 11, 111, 1111... gibi sadece 1'lerden oluşan sayılardan biri mutlaka o sayıya tam bölünür (kalanların sınırlı olmasından).

Neden Bu Kadar Güçlü?

Güvercin yuvası ilkesi, matematikteki "varlık ispatlarının" en zarif örneğidir. Daha önce Brouwer Sabit Nokta Teoremi'nde benzer bir durumla karşılaşmıştık: Bir şeyin var olduğunu kesin biliyoruz, ama tam olarak hangisi olduğunu (hangi iki İstanbullunun saç sayısının eşit olduğunu) söyleyemiyoruz.

Bu, sezgiye aykırı ama derin bir güçtür. Çoğu zaman "böyle bir şey var mı?" sorusu, onu tek tek arayıp bulmaktan çok daha kolay yanıtlanır — sadece "yuvalardan çok güvercin var" demek yeter.

İleri Matematikte

Bu basit ilke, ileri matematikte (özellikle kombinatorik ve sayılar teorisinde) sürekli kullanılan temel bir kanıt aracıdır. Pek çok zorlu teoremin ispatı, bir noktada "burada nesneler kutulardan fazla, demek ki en az ikisi aynı kutuda" argümanına dayanır. Örneğin Ramsey teorisi (düzensizlik içinde bile düzenin kaçınılmaz olduğunu inceleyen alan) büyük ölçüde bu fikrin gelişmiş versiyonları üzerine kuruludur.

Sonuç

Güvercin yuvası ilkesi, matematiğin "az şeyle çok iş yapma" sanatının en güzel örneklerinden biridir. "Nesneler kutulardan fazlaysa, bir kutuda en az iki nesne vardır" gibi neredeyse çocukça basit bir gözlem, bize hiç kimseyi saymadan İstanbul hakkında kesin bir gerçek söyletiyor.

Ders şu: Matematikte güç, her zaman karmaşıklıktan gelmez. Bazen en basit fikir — doğru yere uygulandığında — en şaşırtıcı kesinlikleri ortaya çıkarır. Bir sonraki sefer kalabalık bir yerde olduğunuzda, çevrenizde sizinle aynı sayıda saç teline sahip birinin kesinlikle bulunduğunu hatırlayın.