Pizza Teoremi: Bir Dilimi Adil Paylaşmanın Geometrisi

Mükemmel Olmayan Bir Kesim

Diyelim ki bir pizzayı iki kişi paylaşacaksınız. Adil olmak için tam merkezden geçen kesimler yapmak gerekir, değil mi? Peki ya bıçağı dalgınlıkla merkeze değil de rastgele bir noktaya denk getirdiyseniz? Adalet bozulur mu?

Şaşırtıcı bir şekilde, belli bir kurala uyarsanız bozulmaz. İşte bu, matematikte sevimli adıyla pizza teoremidir.

Teoremin Kuralı

Pizza teoremi şunu söyler: Bir daireyi (pizzayı), içindeki herhangi bir noktadan başlayarak, aralarında eşit açı olacak şekilde uygun çift sayıda (örneğin $8$) dilime keserseniz; ardından dilimleri sırayla iki kişiye dağıtırsanız (biri sana, biri bana, biri sana…), iki kişi de tam olarak eşit miktarda pizza alır.

Yani kesim noktası merkezde olmasa bile, dilimleri dönüşümlü paylaştığınızda toplam alanlar eşit çıkar. Büyük dilimlerle küçük dilimler öyle bir dağılır ki, herkesin payı birbirini dengeler.

Bir koşul var: dilim sayısı yeterince çok ve uygun ($8, 12, 16$ gibi) olmalıdır. Çok az dilimde merkez şart olabilir.

Neden Bu Kadar Hoş?

Pizza teoreminin güzelliği, sezgiye ters görünmesinde ve sonra “aslında ne kadar zarif” dedirtmesinde yatar. Merkezi kaçırmak bir hata gibi durur; ama simetrinin gizli dengesi adaleti korur. Büyük bir dilim alan kişi, bir sonraki turda küçük bir dilim alır ve hesap tutar.

Bu teorem, “eğlenceli matematik” (recreational mathematics) denen alanın tipik bir örneğidir: günlük bir durumdan doğan, ispatı zarif, sonucu şaşırtıcı bir problem. İlk kez bir matematik dergisinde bir bilmece olarak ortaya atılmış, sonra titizce kanıtlanmıştır.

Matematik Mutfakta

Pizza teoremi pratikte pizza kesmek için kullanılmaz elbette; ama matematiğin simetri ve alan üzerine düşünme biçimini eğlenceli bir örnekle gösterir. Benzer şekilde, “bir pastayı kıskanmadan paylaşma” problemleri (adil bölüşüm teorisi) ciddi matematik araştırmalarına konu olmuştur ve ekonomiden siyasete birçok alanda uygulanır.

Pizza teoremi bize şunu hatırlatır: bazen kusursuz görünmeyen bir kesim bile, altında yatan simetri sayesinde mükemmel adil olabilir. Matematik, en lezzetli problemlerde bile saklıdır.