Geometri · MÖ 400'den Bugüne

Platon Cisimleri: Neden Sadece Beş Düzgün Çokyüzlü Var?

Düzlemde istediğiniz kadar kenarı olan düzgün çokgen çizebilirsiniz: eşkenar üçgen, kare, düzgün beşgen, yüz kenarlı bir çokgen… Ama üç boyutta, bütün yüzleri aynı düzgün çokgenden oluşan ve her köşesi birbirinin aynısı olan cisimlerden yalnızca beş tane vardır. Platon bu beş cismi evrenin yapı taşları saydı, Öklid "Elementler"ini onların kanıtıyla bitirdi, Kepler gezegenlerin yörüngelerini onlarla açıklamaya çalıştı. Aşağıdaki cisimleri farenizle ya da parmağınızla çevirin; köşeleri, kenarları ve yüzleri sayın.

Engin Dikkulak

Engin Dikkulak

Çekirgeler Eğitim ve Sigma Olympics Kurucu Ortağı

Beş Platon cismi, döndürülebilir

Önce Temel Kavramlar

Yüz, kenar, köşe ve "düzgün" olmanın iki şartı

Bir çokyüzlü (polyhedron), düz çokgenlerle sınırlanmış bir cisimdir. Çokgenlere yüz (face), iki yüzün buluştuğu doğru parçalarına kenar (edge), kenarların buluştuğu noktalara köşe (vertex) denir. Bir çokyüzlünün düzgün (regular) sayılması için iki şart gerekir:

  • Bütün yüzler aynı düzgün çokgendir (kenarları ve açıları eşit).
  • Her köşede aynı sayıda yüz buluşur; yani bütün köşeler birbirinin aynısıdır.

Ayrıca cismin dışbükey (convex) olmasını isteriz: içinde iki nokta seçtiğinizde onları birleştiren doğru parçası tamamen cismin içinde kalır. Bu üç şartı sağlayan cisimlere Platon cisimleri denir. Bir cismi, yüzlerinin \(p\) kenarlı olduğunu ve her köşede \(q\) yüz buluştuğunu belirten \(\{p,q\}\) simgesiyle (Schläfli simgesi) kısaca yazabiliriz.

Cisim\(\{p,q\}\)Yüz (F)Kenar (E)Köşe (V)\(V-E+F\)
Dörtyüzlü (tetrahedron)\(\{3,3\}\)4 üçgen642
Küp (hexahedron)\(\{4,3\}\)6 kare1282
Sekizyüzlü (octahedron)\(\{3,4\}\)8 üçgen1262
Onikiyüzlü (dodecahedron)\(\{5,3\}\)12 beşgen30202
Yirmiyüzlü (icosahedron)\(\{3,5\}\)20 üçgen30122

Neden yalnızca beş? Bir köşeye bakmak yeter

Bir köşede buluşan yüzleri düz bir masaya açtığınızı düşünün. Cismin sivri bir köşesi olabilmesi için bu yüzlerin açılarının toplamı \(360^\circ\)'den küçük olmalıdır; tam \(360^\circ\) olursa yüzler düz bir zemin oluşturur, fazlası ise üst üste biner. Ayrıca bir köşede en az üç yüz buluşmalıdır. Düzgün \(p\)-genin bir iç açısı \(180^\circ(p-2)/p\) olduğuna göre şart şudur:

\[ q\cdot\frac{180^\circ(p-2)}{p} < 360^\circ \quad\Longleftrightarrow\quad (p-2)(q-2) < 4, \qquad p,q\ge 3 \]
  • Üçgen (\(60^\circ\)): köşede 3, 4 ya da 5 üçgen olabilir (\(180^\circ, 240^\circ, 300^\circ\)). Altı üçgen \(360^\circ\) eder ve düzlemi döşer.
  • Kare (\(90^\circ\)): yalnızca 3 kare (\(270^\circ\)). Dört kare düz bir zemin olur.
  • Beşgen (\(108^\circ\)): yalnızca 3 beşgen (\(324^\circ\)).
  • Altıgen (\(120^\circ\)): üç altıgen bile \(360^\circ\) eder. Altı ya da daha fazla kenarlı çokgenlerle hiç köşe kurulamaz.

Toplam beş olasılık kalır ve her biri gerçekten bir cisim verir. Laboratuvar bölümündeki köşe aracıyla bu hesabı kendiniz deneyebilirsiniz.

Açı eksiği: köşenin ne kadar "sivri" olduğu

Bir köşede \(360^\circ\)'ye ulaşmak için eksik kalan açıya açı eksiği (angular defect) denir. Küpün her köşesinde \(360^\circ - 3\cdot 90^\circ = 90^\circ\) eksik vardır; küpün 8 köşesi olduğuna göre toplam eksik \(720^\circ\) eder. Dörtyüzlüde her köşede \(180^\circ\) eksik, 4 köşe: yine \(720^\circ\). Yirmiyüzlüde \(60^\circ\), 12 köşe: yine \(720^\circ\). Bu bir tesadüf değil: René Descartes, bütün dışbükey çokyüzlülerde toplam açı eksiğinin \(720^\circ\) olduğunu fark etti. Hero'daki araç, seçtiğiniz cisim için bu hesabı gösteriyor.

İkiz cisimler: yüzleri köşelere çevirmek

Bir cismin her yüzünün ortasına bir nokta koyup komşu yüzlerin noktalarını birleştirirseniz yeni bir cisim elde edersiniz: ilk cismin ikizi (dual). Küpün ikizi sekizyüzlü, sekizyüzlünün ikizi küptür; onikiyüzlü ile yirmiyüzlü de birbirinin ikizidir. Dörtyüzlü ise kendi kendinin ikizidir. İkizleşmede yüz sayısı ile köşe sayısı yer değiştirir, kenar sayısı aynı kalır; tablodaki sayılara bakın. Hero'daki aracın "ikizini göster" kutusu bu yapıyı cismin içine çiziyor.

Beş Cismin 2500 Yıllık Yolculuğu

Taş toplardan bilgisayar kanıtlarına

Platon cisimleri hem matematiğin hem de felsefenin, sanatın ve bilimin sürekli geri döndüğü bir konu oldu. Aşağıdaki duraklarda her dönemin bu beş cisme nasıl yeni bir soru sorduğunu göreceğiz.

MÖ ~3000

İskoçya'nın oyma taş topları: bir efsanenin sınanması

Neolitik dönem İskoçya; tarihçi David Lloyd'un 2012 tarihli değerlendirmesi

İskoçya'da bulunan yüzlerce oyma taş topun bir kısmı, Platon cisimlerinin simetrilerini taşıyor gibi göründüğü için sık sık "Platon'dan 2500 yıl önce biliniyordu" diye sunulur. Lloyd, topların çoğunun bu simetrilere sahip olmadığını, birkaç örneğin fotoğraflarının ise yanıltıcı biçimde seçildiğini gösterdi. Ders şu: bir nesnenin ne amaçla yapıldığını bilmeden, ona bugünkü matematiğimizi yüklememek gerekir.

MÖ ~380

Theaitetos: sekizyüzlü ve yirmiyüzlü

Atinalı matematikçi Theaitetos; Öklid'in XIII. kitabına eklenmiş eski bir nota göre

Küp, dörtyüzlü ve onikiyüzlünün Pisagorcular tarafından bilindiği aktarılır. Sekizyüzlü ile yirmiyüzlünün ilk kez Platon'un öğrencisi ve dostu Theaitetos tarafından incelendiği, beş cismin tamamını ilk ele alan kişinin de o olduğu kabul edilir. Platon, diyaloglarından birine onun adını verdi.

MÖ ~360

Platon'un "Timaios"u: evrenin yapı taşları

Platon, "Timaios" diyaloğu

Platon, dört öğeyi dört cisimle eşleştirdi: ateşi sivri dörtyüzlüyle, havayı sekizyüzlüyle, suyu kolayca "yuvarlanan" yirmiyüzlüyle, toprağı sağlam duran küple. Beşinci cismi, onikiyüzlüyü ise evrenin bütününün biçimine ayırdı. Bilimsel olarak yanlış olan bu fikir, doğayı matematiksel biçimlerle açıklama arzusunun en eski ve en etkili örneklerinden biridir. Cisimler adlarını buradan alır.

MÖ ~300

Öklid: "Elementler"in son teoremi

Öklid, "Elementler", XIII. kitap

Öklid, on üç kitaplık eserinin son kitabında beş cismin her birini bir küre içine nasıl yerleştireceğimizi gösterdi ve kitabı, bu beş cisimden başka düzgün dışbükey çokyüzlü olmadığının kanıtıyla bitirdi. Kanıtı, Temeller bölümünde anlattığımız açı argümanıdır. Geometrinin en etkili kitabının bu beş cisimle bitmesi, birçok tarihçiye göre bir rastlantı değil, eserin varmak istediği hedefti.

MÖ ~250

Arşimet'in on üç cismi

Arşimet; İskenderiyeli Pappus'un "Synagoge" adlı eserindeki aktarımla

"Bütün yüzler aynı çokgen olsun" şartını gevşetip birden çok türde düzgün çokgene izin verirseniz (ama köşeler yine birbirinin aynısı kalırsa), on üç yeni cisim bulunur. Arşimet'in bu cisimleri anlattığı eser kayıptır; listeyi Pappus'tan öğreniyoruz. Bugün bir futbol topunun deseni olan kesik yirmiyüzlü de bunlardan biridir.

~990

Ebu'l-Vefa el-Bûzcânî: zanaatkârlar için geometri

Ebu'l-Vefa el-Bûzcânî (940–998), Bağdat; "Kitâb fî mâ yahtâcu ileyhi's-sâni' mine'l-a'mâli'l-hendesiyye"

Bağdat'ta çalışan astronom ve matematikçi Ebu'l-Vefa, zanaatkârların ihtiyaç duyduğu geometrik çizimleri bir kitapta topladı. Kitapta, düzgün ve yarı düzgün çokyüzlülerin bir küre üzerine nasıl çizileceği de anlatılır. Bu çalışmalar, İslam dünyasının mimarisinde ve süsleme sanatında görülen karmaşık geometrik desenlerle aynı geleneğin parçasıdır.

1509 / 1525

Leonardo'nun çizimleri, Dürer'in açılımları

Luca Pacioli, "De divina proportione" (Leonardo da Vinci'nin çizimleriyle); Albrecht Dürer, "Underweysung der Messung"

Pacioli'nin altın oran üzerine kitabı, Leonardo'nun çizdiği iskelet hâlindeki çokyüzlülerle süslendi; bu çizimler, katı cisimlerin içini görünür kılan ilk resimlerdendir. Ressam Dürer ise cisimleri kâğıttan kesilip katlanabilecek biçimde düzleme açtı. Bugün "açılım" (net) dediğimiz bu fikir, Derinlemesine bölümünde göreceğimiz gibi, hâlâ çözülmemiş bir soruya yol açtı.

1596 / 1619

Kepler: gezegenler ve yıldız çokyüzlüler

Johannes Kepler, "Mysterium Cosmographicum" ve "Harmonices Mundi"

Genç Kepler, dönemin bilinen altı gezegeninin yörüngelerinin, iç içe geçmiş beş Platon cismine teğet kürelerle açıklanabileceğini öne sürdü. Fikir yanlıştı; ama yörüngeleri ölçüyle sınama tutkusu onu sonunda gezegen hareketinin yasalarına götürdü. 1619'da ise kenarları birbirini kesen "yıldız" biçimli iki düzgün çokyüzlü tanımladı. Louis Poinsot 1809'da iki tane daha buldu; Augustin Cauchy 1813'te başka olmadığını kanıtladı.

~1630 / 1758

Descartes ve Euler: sayıların arkasındaki yasa

René Descartes, "De solidorum elementis" (1860'ta yayımlandı); Leonhard Euler, "Elementa doctrinae solidorum"

Descartes, toplam açı eksiğinin her dışbükey çokyüzlüde \(720^\circ\) olduğunu not defterine yazdı; defter iki yüzyıl kayıp kaldı. Euler ise 1750'de Goldbach'a yazdığı bir mektupta, her çokyüzlüde köşe, kenar ve yüz sayıları arasında \(V - E + F = 2\) bağıntısı bulunduğunu bildirdi ve 1758'de yayımladı. Euler'in ilk kanıtında boşluklar vardı; ilk sağlam kanıtı Adrien-Marie Legendre 1794'te küresel geometriyle verdi. Euler'in Königsberg köprüleri ile başlattığı graf düşüncesi burada da işin içinde.

~1852

Schläfli: dört ve daha fazla boyut

Ludwig Schläfli, "Theorie der vielfachen Kontinuität" (1901'de yayımlandı)

İsviçreli matematikçi Schläfli, düzgün cisimleri dört ve daha fazla boyutta sınıflandırdı: dört boyutta tam olarak altı düzgün "çokyüzey" (polytope) vardır, beş ve daha fazla boyutta ise yalnızca üç. Yani üç boyutun beş cismi, boyutlar arasında da özel bir konumdadır. Çalışması yaşarken pek ilgi görmedi, ölümünden sonra basıldı.

1963 – 1976

Lakatos: "Kanıtlar ve Çürütmeler"

Imre Lakatos, "Proofs and Refutations"

Macar asıllı filozof Lakatos, Euler formülünün 200 yıllık tarihini bir sınıf tartışması biçiminde yeniden kurdu. Öğrenciler formüle uymayan "canavarlar" bulur (ortasında delik olan bir çerçeve gibi); kimi bunları "çokyüzlü değil" diye dışlar, kimi tanımı değiştirir, kimi teoremi daraltır. Lakatos'a göre matematik, kusursuz kanıtların sessiz bir birikimi değil, tahminlerin ve karşı örneklerin canlı bir tartışmasıdır. Matematik Felsefesi yazısındaki "keşif mi, icat mı?" sorusunun en güzel örnek olaylarından biri.

1962 – 1985

Virüsler, kuasikristaller ve futbol topu molekülü

Donald Caspar ve Aaron Klug; Dan Shechtman; Harold Kroto, Robert Curl ve Richard Smalley

Caspar ve Klug, birçok virüsün dış kabuğunun neden yirmiyüzlü simetrisine sahip olduğunu açıkladı: aynı protein parçalarından kapalı bir kabuk kurmanın en verimli yolu budur. Shechtman 1982'de, o güne kadar imkânsız sanılan yirmiyüzlü simetrisine sahip bir kristal yapı gözlemledi; buluşu 2011'de Nobel Kimya Ödülü'nü getirdi. 1985'te keşfedilen 60 karbon atomlu "buckyball" molekülü ise Arşimet'in kesik yirmiyüzlüsü biçimindedir (Nobel Kimya, 1996).

2025

Kendi içinden geçemeyen cisim ve hep aynı yüzüne düşen dörtyüzlü

Jakob Steininger ve Sergey Yurkevich (ön baskı); Gergő Almádi, Robert Dawson ve Gábor Domokos

17. yüzyılda Ren Prensi Rupert, bir küpün içine açılan bir delikten aynı büyüklükte başka bir küpün geçebileceğini iddia etti; John Wallis bunu kanıtladı. Beş Platon cisminin hepsinin bu "Rupert özelliğine" sahip olduğu gösterilmişti ve bütün dışbükey çokyüzlülerin bu özelliği taşıdığı tahmin ediliyordu. Ağustos 2025'te Steininger ve Yurkevich, 90 köşeli bir cisim (Noperthedron) kurup, bilgisayar destekli bir kanıtla bunun geçerli olmadığını gösterdi. Aynı yaz Budapeşte'deki ekip, nasıl atılırsa atılsın hep aynı yüzünün üzerine düşen bir dörtyüzlü olan "Bille"yi inşa etti; bu, John Conway'in yıllar önce olabileceğini öne sürdüğü bir nesneydi. İki çalışma da yeni ve bağımsız incelemelerden geçmeye devam ediyor.

Kendi Elinizle

Geometri laboratuvarı

Aşağıdaki üç araç, bu yazının üç büyük fikrini elle denemeniz için hazırlandı: bir köşede kaç yüz buluşabilir, Euler'in sayısı neden hep 2 çıkar ve bir cismi kâğıttan nasıl katlarız? Her birinde önce tahmin edin, sonra deneyin.

1. Bir köşe kurun

araç

Düzgün çokgenin kenar sayısını ve bir köşede kaç tane buluşacağını seçin. Araç, yüzleri masaya açılmış gibi çiziyor. Açıların toplamı \(360^\circ\)'den küçükse arada bir boşluk (açı eksiği) kalır ve yüzler katlanıp bir köşe oluşturabilir. Tam \(360^\circ\) ise düzlem döşenir, fazlası ise yüzler üst üste biner.

Köşede buluşan düzgün çokgenler
5
3

2. Euler'in sayısını bozmaya çalışın

araç

Bir cisimle başlayın ve onu değiştirin: bir köşesini kesin, bir yüzüne piramit ekleyin, bir yüzü ikiye bölün. Köşe, kenar ve yüz sayıları değişir; ama \(V-E+F\) inatla 2'de kalır. Sonra "delik aç" düğmesine basın ve Lakatos'un "canavarlarından" birini yaratın.

Euler karakteristiği deneyi

3. Hangi açılım küp olur?

araç

Altı kareden oluşan 35 farklı şekil vardır (bunlara altılı kare, hexomino denir). Bunlardan kaçı katlanınca küp olur? Aşağıdaki ızgarada birbirine kenarından bağlı altı kare seçin. Araç, şekli bir zar gibi kareden kareye "yuvarlayarak" her karenin küpün hangi yüzüne düştüğünü buluyor. Altı yüzün her biri bir kez kullanılıyorsa şekil bir küp açılımıdır. Hepsini bulmaya çalışın: toplam 11 tane.

Küp açılımı denetleyici

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ı.

Terim Sözlüğü

Türkçe ve İngilizce temel terimler

Çokyüzlüler ve topoloji üzerine kaynakların büyük kısmı İngilizce. Aşağıdaki terimler, bu yazıdan sonra okuyacağınız kitap ve makalelerde aradığınızı bulmanızı kolaylaştırmak için hazırlandı.

TürkçeİngilizceKısaca
Çokyüzlüpolyhedron (çoğulu polyhedra)Düz çokgenlerle sınırlanmış cisim
Yüz / kenar / köşeface / edge / vertexÇokyüzlünün iki, bir ve sıfır boyutlu parçaları
Düzgün çokyüzlüregular polyhedron, Platonic solidEş düzgün yüzlü, eş köşeli dışbükey cisim
Dışbükeyconvexİki iç noktayı birleştiren doğrunun içeride kaldığı
Yarı düzgün (Arşimet) cisimArchimedean solidBirden çok türde düzgün yüzlü, eş köşeli cisim (13 tane)
Johnson cisimleriJohnson solidsYüzleri düzgün, köşeleri eş olmayan dışbükey cisimler (92 tane)
Yıldız çokyüzlüKepler–Poinsot polyhedronKendi kendini kesen dört düzgün çokyüzlü
Schläfli simgesiSchläfli symbol\(\{p,q\}\): \(p\)-gen yüzler, köşede \(q\) yüz
İkiz (dual) cisimdual polyhedronYüzlerin köşelere, köşelerin yüzlere dönüştüğü eş cisim
Açı eksiğiangular defect\(360^\circ\) eksi köşedeki yüz açıları toplamı
Euler karakteristiğiEuler characteristic\(\chi = V - E + F\)
CinsgenusBir yüzeydeki "delik" sayısı
Düzlemsel grafplanar graphKenarları kesişmeden düzleme çizilebilen graf
Açılımnet, unfoldingBir çokyüzlünün kenarlarından kesilip düzleme açılmış hâli
Altılı karehexominoKenarlarından birleşmiş altı kareden oluşan şekil
Simetri grubusymmetry groupBir cismi kendisine taşıyan dönüşümlerin kümesi
Çokyüzey (politop)polytopeÇokgen ve çokyüzlünün her boyuttaki genellemesi
Rupert özelliğiRupert propertyBir cismin, kendi içinden açılan bir delikten kendi kopyasını geçirebilmesi
Tek kararlı cisimmonostable bodyYalnızca tek bir yüzü (ya da noktası) üzerinde dengede durabilen cisim

Buradan Nereye?

Konuyu ilerletmek için doğru sorular

Aşağıdaki sorular, bir kitapta, bir ders notunda ya da bir yapay zekâ sohbetinde bu yazının bir adım ötesine geçmeniz için seçildi. Geometride en iyi denetim, kâğıt ve makasla bir model yapmaktır; cevabı mümkünse elle sınayın.

  1. On üç Arşimet cisminin her biri bir Platon cisminden nasıl elde edilir?

    Anahtar kelimeler: truncation, rectification, snub, Archimedean solids. Köşeleri ya da kenarları "kesme" işlemleriyle başlayın; laboratuvardaki köşe kesme düğmesi ilk adım.

  2. Dört boyutlu bir küpün (hiperküpün) üç boyuttaki gölgesi neden içi içe iki küp gibi görünür?

    Anahtar kelimeler: tesseract, Schlegel diagram, projection. Küpün düzleme düşen gölgesinden yola çıkan benzetme, boyut atlamanın en kolay yolu.

  3. 92 Johnson cisminin tam listesi olduğu nasıl kanıtlandı?

    Anahtar kelimeler: Johnson solids, Norman Johnson (1966), Viktor Zalgaller (1969). Kanıtta bilgisayar destekli bir sayım da kullanıldı.

  4. Yirmiyüzlü simetri, beşinci dereceden denklemlerin çözümsüzlüğüyle nasıl ilişkilidir?

    Anahtar kelimeler: icosahedral group, A5, Galois theory, Felix Klein, "Lectures on the Icosahedron" (1884). Önce grup kavramını küçük örneklerle (karenin simetrileri) çalışın.

  5. Gauss–Bonnet teoremi, küresel bir üçgenin açılarının toplamının neden 180 dereceden fazla olduğunu nasıl açıklar?

    Anahtar kelimeler: Gauss–Bonnet theorem, spherical excess, Girard's theorem. Bir portakalın kabuğu üzerinde çizilen üçgenle deneyin.

  6. Bir küpün içinden, aynı büyüklükteki bir küp nasıl geçebilir?

    Anahtar kelimeler: Prince Rupert's cube, Nieuwland constant. Küpe bir köşegeni boyunca bakıldığında görünen altıgen, işin sırrı.

Bu Sayfada

Beş cisim, sonsuz soru

Platon cisimlerinin hikâyesi, basit bir kısıtlamanın ne kadar zengin bir matematik doğurabileceğini gösteriyor. "Her köşe aynı, her yüz aynı" şartı, Öklid'in kanıtıyla beş cisme indi; Euler'in sayımı bu beş cismin ötesine geçip topolojinin kapısını açtı; Lakatos aynı formülün tarihinden matematiğin nasıl ilerlediğine dair bir felsefe çıkardı. Ve 2025'te hâlâ, bu cisimlerin akrabaları hakkında yeni teoremler kanıtlanıyor. Euler'in graf düşüncesi için Königsberg Köprülerinden Graf Teorisine, altın oranın onikiyüzlü ve yirmiyüzlüdeki izleri için Özel Sayılar yazılarına bakabilirsiniz.

Ne kanıtlandı?

Tam olarak beş düzgün dışbükey çokyüzlü vardır (Öklid). Her dışbükey çokyüzlüde \(V-E+F=2\) ve toplam açı eksiği \(720^\circ\)'dir. Dört boyutta altı, beş ve daha fazla boyutta üç düzgün çokyüzey vardır. Altılı karelerden tam 11'i küp açılımıdır.

Ne hâlâ açık?

Her dışbükey çokyüzlünün üst üste binmeyen bir açılımı var mı (Dürer problemi)? Hangi cisimlerin Rupert özelliği var? Belirli simetrilere sahip cisimlerin denge özellikleri tam olarak nasıl sınıflandırılır?

Bir kâğıt, bir makas ve biraz yapıştırıcıyla bu sayfadaki her cismi masanıza koyabilirsiniz. Belki de Dürer'in 500 yıllık sorusunun cevabı, böyle bir masada kâğıt katlayan birinin aklına gelecek.

Kaynakça

Daha fazla okumak isteyenler için

Sayfadaki tarihler ve açıklamalar aşağıdaki özgün çalışmalara ve standart kaynaklara dayanmaktadır. Sayısal örnekler hesaplanarak doğrulanmıştır.

  • MÖ ~360Platon, Timaios, 53c-56c (öğeler ve cisimler).
  • MÖ ~300Öklid, Elementler, XIII. kitap, önerme 13-18; T. L. Heath (çev. ve şerh), The Thirteen Books of Euclid's Elements, Cambridge (1908).
  • ~320İskenderiyeli Pappus, Synagoge, V. kitap (Arşimet cisimlerinin aktarımı).
  • ~990Ebu'l-Vefa el-Bûzcânî, Kitâb fî mâ yahtâcu ileyhi's-sâni' mine'l-a'mâli'l-hendesiyye (Zanaatkârın ihtiyaç duyduğu geometrik çizimler üzerine).
  • 1509L. Pacioli, De divina proportione, Venedik (Leonardo da Vinci'nin çizimleriyle).
  • 1525A. Dürer, Underweysung der Messung mit dem Zirckel und Richtscheyt, Nürnberg.
  • 1596 / 1619J. Kepler, Mysterium Cosmographicum, Tübingen; Harmonices Mundi, Linz.
  • ~1630 / 1860R. Descartes, De solidorum elementis; A. Foucher de Careil (ed.), Œuvres inédites de Descartes, Paris (1860).
  • 1758L. Euler, "Elementa doctrinae solidorum", Novi Commentarii Academiae Scientiarum Petropolitanae, 4, 109-140.
  • 1794A.-M. Legendre, Éléments de géométrie, Paris.
  • 1813A.-L. Cauchy, "Recherches sur les polyèdres", Journal de l'École Polytechnique, 9, 68-86.
  • ~1852 / 1901L. Schläfli, Theorie der vielfachen Kontinuität, Denkschriften der Schweizerischen Naturforschenden Gesellschaft, 38.
  • 1884F. Klein, Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade, Leipzig.
  • 1948H. S. M. Coxeter, Regular Polytopes, Methuen, Londra (3. baskı Dover, 1973).
  • 1962D. L. D. Caspar ve A. Klug, "Physical principles in the construction of regular viruses", Cold Spring Harbor Symposia on Quantitative Biology, 27, 1-24.
  • 1966N. W. Johnson, "Convex polyhedra with regular faces", Canadian Journal of Mathematics, 18, 169-200.
  • 1975G. C. Shephard, "Convex polytopes with convex nets", Mathematical Proceedings of the Cambridge Philosophical Society, 78(3), 389-403.
  • 1976I. Lakatos, Proofs and Refutations: The Logic of Mathematical Discovery, Cambridge University Press (J. Worrall ve E. Zahar, ed.).
  • 1984 / 1985D. Shechtman, I. Blech, D. Gratias ve J. W. Cahn, "Metallic Phase with Long-Range Orientational Order and No Translational Symmetry", Physical Review Letters, 53(20), 1951-1953; H. W. Kroto ve diğ., "C60: Buckminsterfullerene", Nature, 318, 162-163.
  • 2012D. R. Lloyd, "How old are the Platonic solids?", BSHM Bulletin: Journal of the British Society for the History of Mathematics, 27(3), 131-140.
  • 2017R. P. Jerrard, J. E. Wetzel ve L. Yuan, "Platonic passages", Mathematics Magazine, 90(2), 87-98 (Platon cisimlerinin Rupert özelliği).
  • 2025J. Steininger ve S. Yurkevich, "A convex polyhedron without Rupert's property", arXiv:2508.18475 (ön baskı); G. Almádi, R. J. MacG. Dawson ve G. Domokos, "Building a monostable tetrahedron", arXiv (ön baskı).
  • Genel başvuruD. S. Richeson, Euler's Gem: The Polyhedron Formula and the Birth of Topology, Princeton University Press (2008); P. R. Cromwell, Polyhedra, Cambridge University Press (1997); E. D. Demaine ve J. O'Rourke, Geometric Folding Algorithms, Cambridge University Press (2007).
Bu sayfa, Çekirgeler Eğitim blogunun matematik tarihi yazılarından biridir ve eğitim amaçlıdır. Tüm sayısal örnekler hesaplanarak doğrulanmıştır.