Dido Problemi: Bir Öküz Derisiyle Kurulan Şehrin Ardındaki Geometri

Roma'nın büyük şairi Vergilius, Aeneis destanında çarpıcı bir hikâye anlatır. Fenikeli prenses Dido (kendi dilinde Elissa), kardeşi kralın gazabından kaçarak bir grup adamı ve gemisiyle Kuzey Afrika kıyılarına sığınır. Yerel kabile reisine "biraz toprak" rica eder. Reis biraz aşağılayıcı bir biçimde "Sana bir öküz derisinin kapsadığı kadar yer veriyorum" cevabını verir.

Dido, hızlı zekâlıdır. Deriyi mümkün olan en ince şeritlere böler ve uçtan uca bağlayarak çok uzun bir ip elde eder. Sonra bu ipi kıyı boyunca öyle bir şekilde yerleştirir ki içine kocaman bir arazi alır. İşte bu arazinin üzerine, sonradan Roma'nın en büyük rakibi olacak Kartaca şehrini kurar.

Hikâyenin matematik tarihinde ayrı bir adı vardır: Dido problemi. Tek bir soru sorar:

Sabit uzunlukta bir ip ile çevrelenebilecek en geniş alan hangi şeklin altındadır?

Sezgi denemesi: kare mi, üçgen mi, çember mi?

Aynı uzunlukta dört çubukla bir çokgen yaptığınızı düşünün. Tam $4$ metre ipiniz var:

• Kare yaparsanız ($1\,$m × $1\,$m), alan $1\,$m².
• Eşkenar üçgen yaparsanız (üç eşit kenar ≈ $1{,}33\,$m), alan yaklaşık $0{,}77\,$m².
• Düzgün altıgen yaparsanız, alan yaklaşık $1{,}15\,$m².
• Düzgün $12$-gen yaparsanız, alan yaklaşık $1{,}24\,$m².

Düzgün çokgen kenar sayısı arttıkça alan büyür ve şekil giderek çembere yaklaşır. $4\,$m uzunlukta çevreye sahip bir çember için alan:

$A = \frac{C^2}{4\pi} = \frac{16}{4\pi} \approx 1{,}273 \;\text{m}^2$

Yani aynı çevre uzunluğunda en geniş alanı çember kapsar. Çokgenlerin hiçbiri ona ulaşamaz; ancak yaklaşır.

İzoperimetrik eşitsizlik

Matematikçiler bu gözlemi kesin bir eşitsizlik olarak formüle eder. Düzlemde çevresi $L$, kapsadığı alanı $A$ olan herhangi bir kapalı eğri için:

$4\pi A \le L^2$

Eşitlik yalnızca eğri çember olduğunda sağlanır. Bu eşitsizliğe izoperimetrik eşitsizlik denir ("izo" = eşit, "perimetre" = çevre).

Aynı eşitsizliği ters çevirerek de okuyabilirsiniz: belirli bir alanı kapatmak istiyorsanız, en kısa çevreyi yine çember verir. Kısa bir cümleyle: çember, "alan başına en az çevre" şeklidir.

Dido'nun ek hilesi: deniz kıyısı

Vergilius'un hikâyesinde küçük bir matematiksel ayrıntı vardır. Dido aslında ipi bir çemberin tamamı olarak değil, kıyıya yaslı bir yarım çember olarak kullanır. Çünkü kıyının kendisi zaten bir doğal sınırdır; o tarafa ip harcamasına gerek yoktur.

Bu durumda problemin cevabı değişir: sabit uzunlukta ipi doğal bir doğru kenara yaslayarak kapatabileceğiniz en geniş alan, yarım çember ile elde edilir. Aynı $L$ uzunluğundaki ip kıyı boyunca yerleştirildiğinde, çevreyi tamamen ipinizden oluşan kapalı bir çembere göre yaklaşık iki katı alan kaplar. Dido'nun zekâsı sadece deriyi kesmekte değil; aynı zamanda denizi de "ücretsiz çevre" olarak kullanmaktadır.

Bunu nereden biliyoruz?

Eski Yunan'da Zenodorus (M.Ö. 2. yüzyıl), aynı çevreli çokgenler arasında en geniş alanı düzgün çokgenin verdiğini gösterdi. Ama gerçek "düzlemdeki tüm eğriler" için tam ispat çok daha sonra geldi.

19. yüzyılda İsviçreli Jakob Steiner, çok zarif bir simetrileme argümanı ortaya koydu (1838). Steiner'in fikri kabaca şudur: çember olmayan herhangi bir kapalı eğriyi alın. Onu uygun bir doğruya göre "yansıtıp simetrik hâle getirirseniz" çevre korunur ama alan artar (ya da en azından azalmaz). Bu işlemi yeterince tekrarlarsanız eğri her doğrultudan simetrik hâle gelir — yani çember olur. Demek ki başlangıçtaki şekil çember değilse onu iyileştirmek hep mümkündür; "en iyisi" olamaz. Dolayısıyla en geniş alan ancak çemberde elde edilir.

Steiner'in argümanı çok güzeldir ama eksik bir varsayım içerir: "en iyi" eğri vardır da onu bulmaya çalışıyoruz. Bu varsayımı titizleştirmek için Karl Weierstrass ve diğer 19. yüzyıl analizcileri devreye girdi. Modern ispat, bugün Brunn-Minkowski eşitsizliği gibi daha geniş bir ailenin parçası olarak verilir.

Üç boyut ve ötesi

İzoperimetrik fikir, sadece düzlemde geçerli değildir.

• Üç boyutta: sabit yüzey alanlı bir kapalı yüzey içinde en büyük hacmi küre kapsar. Bu, bir sabun köpüğünün küresel olmasının nedenidir: doğa yüzey gerilimi sayesinde "aynı hava hacmini en az yüzeyle çevreleme" eğilimindedir.
• Daha yüksek boyutlarda: her doğal "izoperimetrik" probleme cevap, küre veya küreye benzer simetrik bir geometrik nesnedir.

Bu, doğadaki birçok şeklin neden yuvarlak olduğunu açıklar: su damlaları, gezegenler, hücreler. Hepsi, yüzey enerjisini minimize etmek için izoperimetrik ilkeye uyar.

Antik bir efsane, modern bir ders

Dido problemi, üç bin yıllık bir hikâyenin içinde gizlenmiş en eski optimizasyon problemlerinden biridir. Kraliçe Dido bir matematikçi değildi, ama hikâye onun adıyla anılmayı hak ediyor: "Eldeki sınırlı kaynakla en geniş olanağı yaratmak" — bu, hem antik şehir kurmanın hem de modern mühendisliğin özeti.

Bir sonraki sefer bir sabun köpüğüne baktığınızda, bir su damlasının yuvarlaklığını gördüğünüzde, kendinize Dido'nun ipini hatırlayın. Doğa, en geniş alanı en az çevre ile çevrelemek için sürekli aynı geometrik denklemi çözüyor: $4\pi A \le L^2$. Eşitlik mi? O da yalnızca eğri çember olduğunda.