Araştırmacının Pusulası
Beş cismin arkasındaki yapı: Derinlemesine bakış
Aşağıdaki sekiz başlık, "neden beş?" sorusunun ikinci bir kanıtından simetri
gruplarına, yüksek boyutlardan bugün hâlâ çözülemeyen açılım sorusuna uzanıyor.
Her başlıkta bir durum etiketi var: kanıtlanmış, açık soru,
matematik felsefesi ya da araç-veri.
1. Aynı sonuca ikinci yol: Euler formülüyle sayım
kanıtlanmış
\(\{p,q\}\) türünde bir cisimde her yüzün \(p\) kenarı vardır ve her kenar iki
yüze aittir: \(pF = 2E\). Her köşede \(q\) kenar buluşur ve her kenarın iki ucu
vardır: \(qV = 2E\). Bunları \(V - E + F = 2\) içine yerleştirip \(2E\)'ye bölersek:
\[ \frac{1}{q} - \frac{1}{2} + \frac{1}{p} = \frac{1}{E} > 0 \quad\Longrightarrow\quad \frac1p + \frac1q > \frac12 \]
\(p, q \ge 3\) için bu eşitsizliği sağlayan çiftler yalnızca \(\{3,3\}, \{3,4\},
\{4,3\}, \{3,5\}, \{5,3\}\)'tür. Üstelik formül kenar sayısını da verir: örneğin
\(\{5,3\}\) için \(1/E = 1/3 - 1/2 + 1/5 = 1/30\), yani onikiyüzlünün 30 kenarı vardır.
Öklid'in açı kanıtı geometrik, bu kanıt ise kombinatoryaldır:
uzunluklara ve açılara hiç bakmadan, yalnızca sayarak aynı sonuca varır.
2. \(V - E + F = 2\) neden doğru?
kanıtlanmış (Legendre 1794, Cauchy 1813)
Cauchy'nin fikri şöyledir: cismin bir yüzünü çıkarın ve kalanını, lastikten
yapılmış gibi düzleme yayın. Elinizde, dış bölgesi çıkarılan yüze karşılık
gelen düzlemsel bir ağ (graf) olur. Şimdi ağı adım adım sadeleştirin: üçgen
olmayan yüzleri köşegenlerle bölün (her bölme \(E\)'yi ve \(F\)'yi birer artırır,
\(V - E + F\) değişmez), sonra dış kenardaki üçgenleri teker teker silin (her
silme ya bir kenarı ve bir yüzü ya da bir köşeyi, iki kenarı ve bir yüzü
götürür; yine değişmez). Sonunda tek bir üçgen kalır: \(3 - 3 + 1 = 1\). En
başta çıkardığımız yüzü geri eklersek \(2\) elde ederiz.
Laboratuvardaki Euler aracı tam olarak bu tür "değişmezlik" adımlarını
deniyor. Bu sayı, yüzeyin biçimine değil yalnızca topolojisine
bağlıdır; bugün ona Euler karakteristiği deniyor.
3. Canavarlar ve tanımlar: Lakatos'un dersi
matematik felsefesi
Ortasından kare bir delik açılmış bir küpü (resim çerçevesi) düşünün. 16 köşesi,
32 kenarı ve 16 yüzü vardır: \(V - E + F = 0\). İçi boş bir küp (küp içinde küp)
ise \(4\) verir. Bu örnekler 19. yüzyılda formülün "yanlış" olduğu tartışmalarını
başlattı. Matematikçiler üç yoldan birini seçti:
- Canavarı dışlamak: "Bu bir çokyüzlü değil." Tanım daraltılır.
- Teoremi daraltmak: "Formül yalnızca küreye benzeyen (deliksiz, tek parça) cisimler için geçerlidir."
- Teoremi genelleştirmek: \(g\) delikli bir yüzey için \(V - E + F = 2 - 2g\). Çerçevede \(g = 1\), sonuç 0.
Lakatos'un vurguladığı nokta, üçüncü yolun en verimli olduğu: karşı örnek,
teoremi yok etmek yerine onu daha derin bir teoreme (topolojiye) dönüştürdü.
Bir sonraki yazılardan biri olan Möbius şeridi ve topoloji konusu tam buradan
devam edecek.
4. Descartes'ın 720 derecesi ve eğrilik
kanıtlanmış
Descartes'ın gözlemi Euler formülüyle aynı şeyi söyler. Bütün yüzlerin iç
açılarının toplamı \(\sum (\text{kenar sayısı} - 2)\cdot 180^\circ = (2E - 2F)\cdot 180^\circ\)
olduğundan, toplam açı eksiği
\[ 360^\circ\cdot V - 180^\circ(2E - 2F) = 360^\circ\,(V - E + F) = 720^\circ \]
olur. Bu sonucun pürüzsüz yüzeylerdeki karşılığı, 19. yüzyılda Gauss ve Bonnet'nin
kanıtladığı teoremdir: bir yüzeyin toplam eğriliği, Euler karakteristiğinin
\(2\pi\) katıdır. Yani açı eksiği, çokyüzlünün köşelerinde "toplanmış" eğriliktir.
Bir küreyi ne kadar çok yüzlü bir çokyüzlüyle yaklaşık olarak çizerseniz çizin,
toplam eğrilik hep aynıdır.
5. Simetri grupları: 12, 24 ve 60
kanıtlanmış
Bir cismi, görünümünü değiştirmeden kaç farklı biçimde döndürebiliriz? Dörtyüzlü
için 12, küp ve sekizyüzlü için 24, onikiyüzlü ve yirmiyüzlü için 60. İkiz
cisimlerin aynı sayıyı paylaşması tesadüf değildir: bir cismi koruyan her dönme,
ikizini de korur. Bu dönmeler birer grup oluşturur ve grupların
kendileri de ünlüdür: 60 elemanlı yirmiyüzlü grubu, beşinci dereceden denklemlerin
neden genel bir kök formülü olmadığını açıklayan Galois kuramında karşımıza çıkan
gruptur. Felix Klein 1884'te bu bağlantı üzerine bütün bir kitap yazdı.
Sayının arkasındaki basit hesap
Küpün herhangi bir yüzünü 6 yüzden birinin yerine getirebilir, sonra o yüzü
kendi merkezi etrafında 4 farklı biçimde çevirebilirsiniz: \(6 \times 4 = 24\).
Yirmiyüzlüde 20 yüz ve her yüzde 3 dönüş: \(20 \times 3 = 60\). Onikiyüzlüde
\(12 \times 5 = 60\). Aynı sayı, iki farklı yoldan.
6. Dört boyutta altı, beş boyutta üç
kanıtlanmış (Schläfli, ~1852)
Düzgün cisimlerin sayısı boyutla şöyle değişir: düzlemde sonsuz sayıda düzgün
çokgen, üç boyutta 5 cisim, dört boyutta 6 çokyüzey, beş ve daha fazla boyutta
yalnızca 3. Her boyutta var olan üç aile, dörtyüzlünün (simpleks), küpün
(hiperküp) ve sekizyüzlünün (çapraz politop) genellemeleridir. Dört boyutun
fazladan üç üyesi (24 hücreli, 120 hücreli ve 600 hücreli çokyüzeyler) yalnızca
orada vardır. Matematikte böyle "istisnai" nesneler, genellikle daha derin bir
yapının işaretidir. H. S. M. Coxeter'in 1948 tarihli "Regular Polytopes" kitabı
bu konunun temel kaynağıdır; aynı Coxeter,
Kollatz yazısında da karşımıza çıkmıştı.
7. Doğa beş cismi seviyor mu?
araç-veri
Platon cisimleri doğada sık görülür, ama çoğu zaman "bilerek" değil, fiziksel
bir zorunluluk sonucunda. Sofra tuzu kristalleri küp biçimindedir, çünkü sodyum
ve klor atomları kübik bir kafeste dizilir. Birçok virüsün kabuğu yirmiyüzlüdür,
çünkü az sayıda genle çok sayıda aynı parçadan kapalı bir kabuk kurmanın en
verimli yolu budur. Öte yandan doğada "kusursuz" bir onikiyüzlü bulmak zordur:
Ernst Haeckel'in ünlü radiolaria (tek hücreli deniz canlıları) çizimleri,
sanatsal olarak düzeltilmiştir. Tasarımda ise Platon cisimleri her yerdedir:
masa oyunlarının zarları, Buckminster Fuller'ın jeodezik kubbeleri ve
futbol toplarının dikiş desenleri.
8. Hâlâ açık: her dışbükey çokyüzlünün bir açılımı var mı?
açık soru
Dürer'in 1525'te çizdiği açılımlar, bugün Dürer problemi diye
bilinen bir soruya yol açtı: her dışbükey çokyüzlü, yalnızca kenarlarından
kesilerek, üst üste binmeyen tek parça bir düzlemsel şekle açılabilir mi?
Geoffrey Shephard bu soruyu 1975'te açıkça sordu. Beş Platon cisminin ve bilinen
bütün özel cisimlerin açılımları var; ama genel durum, yaklaşık 50 yıldır
kanıtlanamıyor. Ayrıca rastgele seçilen kesimlerin çoğu zaman üst üste binen
açılımlar verdiği biliniyor. Laboratuvardaki küp açılımı aracı, bu sorunun en
basit hâli.
2025'teki iki sonuç, bu eski cisimler hakkında hâlâ yeni şeyler
öğrenilebildiğini gösteriyor. Noperthedron, "her dışbükey çokyüzlü kendi
içinden geçebilir" tahminini çürüttü. Bille ise yoğunluğu eşit dağılmış hiçbir
dörtyüzlünün tek kararlı olamayacağı bilinirken, ağırlığı ustaca yerleştirilmiş
bir dörtyüzlünün bunu başarabileceğini gösterdi. İkisinde de bilgisayar destekli
hesaplar önemli rol oynadı.