Tylko pięć, a Euklides dowiódł to
Platonowe sześciany to wypukłe wielościenne ciała zbudowane z jednego rodzaju regularnych wielokątów, z takim samym liczbem ścian spotykających się w każdym wierzchołku. Istnieje dokładnie pięć takich sześcianów: czworościan (4 trójkątne ściany), szescian (6 kwadratowych ściany), oktaedr (8 trójkątnych ściany), dwunastokątny sześcian (12 pięciokątnych ścian) i dwadzieściakątny sześcian (20 trójkątnych ścian). Platon przypisał je klasycznym elementom w Timaeusie — ogniem, ziemi, powietrzem, wodą i kosmos samotny — ale matematyczne stwierdzenie jest znacznie starsze od filozofii: Euklides zamyka Elementy, Księgę XIII, dowodem, że tych pięciu i tylko tych pięciu istnieje.
Dlaczego liczba jest skończona: argument suma kątów
Dowód polega na prostych obliczeniach arytmetycznych dotyczących kątów. W każdym wierzchołku muszą zetknąć się przynajmniej trzy ściany (dwie ściany samodzielnie nie mogą zamknąć się w skojarzonym z solidem wierzchołku), a suma kątów wewnętrznych w wierzchołku musi być mniejsza niż dokładnie 360° — 360° leży płasko, a więcej jest geometrycznie niemożliwe dla wypukłego wierzchołka. Kąt wewnętrzny trójkąta równobocznego wynosi 60°, więc 3, 4 lub 5 takich kątów (180°, 240°, 300°) zmieszczą się w wierzchołku, co daje sześcian, oktaedr i ikosaedr; 6 trójkątów sumują się dokładnie do 360° i układają się na płaszczyźnie zamiast zamknąć się w solid. Kąt kwadratu wynosi 90°, więc tylko 3 takich kątów (270°) zmieszczą się w wierzchołku, co daje szachownicę; 4 kwadraty sumują się dokładnie do 360° i układają się na płaszczyźnie. Kąt wewnętrzny pięciokąta regularnego wynosi 108°, więc tylko 3 takich kątów (324°) zmieszczą się w wierzchołku, co daje dwunastokątny. Kąt wewnętrzny sześciokąta wynosi już 120°, a 3 takie kąty sumują się dokładnie do 360° — ponownie płasko, bez możliwości tworzenia solidu, a każdy wielokąt o większej liczbie boków jest jeszcze gorszy. To wyczerpuje każdą kombinację: pięć sól, więcej nie ma.
Formuła Eulera jako niezmiennik w czasie
Każde wygładzone wielościan obywa się pod formułą Eulera, V − E + F = 2, gdzie V, E, F oznaczają wierzchołki, krawędzie i ściany. Jest to niezmiennik topologiczny, prawdziwy dla dowolnego wielościanu jednozętnego, niezależnie od tego, jak wykrzywione lub nierównowigowe są jego ściany — zależy on tylko od faktu, że powierzchnia jest topologicznym sferą. Ta symulacja ponownie oblicza i wyświetla V, E, F dla wybranego wielościanu, a formuła zachodzi dokładnie w każdym przypadku:
Tetraedr: V=4, E=6, F=4 → 4 - 6 + 4 = 2 Kwadratowy szachownica: V=8, E=12, F=6 → 8 - 12 + 6 = 2 Oktaedr: V=6, E=12, F=8 → 6 - 12 + 8 = 2 Dodekaedr: V=20, E=30, F=12 → 20 - 30 + 12 = 2 Ikosaedr: V=12, E=30, F=20 → 12 - 30 + 20 = 2 Szybka sprawdzenie wzorców jest wartość wyróżniana: wymianę V i F między kwadratową szachownicą a oktaedrem przynosi dopasowanie liczb krawędzi. To nie jest przypadkowe — to duality.
Tetrahedron: V=4, E=6, F=4 → 4 - 6 + 4 = 2 Cube: V=8, E=12, F=6 → 8 - 12 + 6 = 2 Octahedron: V=6, E=12, F=8 → 6 - 12 + 8 = 2 Dodecahedron: V=20, E=30, F=12 → 20 - 30 + 12 = 2 Icosahedron: V=12, E=30, F=20 → 12 - 30 + 20 = 2
Dualność: pięć sólów sprowadza się do trzech rodzin
Umieść wierzchołek w centrum każdego ścianka sześcianu i połącz wierzchołki, których oryginalne ścianki dzieliły wspólną krawędź, a wynikiem jest oktaedr. Podobnie dla oktaedra otrzymujemy ponownie sześcian. Sześcian i oktaedr są dwusiecznymi — mają taką samą liczbę krawędzi (12), podzielonej między wierzchołki a ścianami (8 ↔ 6). Dodekaedr (20 wierzchołków, 12 ścian) i ikosaedr (12 wierzchołków, 20 ścian) tworzą podobne pary, dzieląc się 30 krawędziami. Tetraksoedr jest autodwusieczny: jego dwusiecznym to taki sam tetraksoedr, co dokładnie dlatego, że liczba wierzchołków i ścian jest równa (4 i 4). Pod kryjówką pięciu sól istnieje rzeczywiście tylko trzy rodziny dwusieczne, a dualność jest powodem, dla którego obracanie grup simetrii sześcianu opisuje również symetrii oktaedra.
Renderyzacja szkieletowa vs szkieletowa z oświetleniem
Renderyzowanie tych obiektów na płaszczyźnie 2D wymaga tylko trzech elementów: listę współrzędnych wierzchołków 3D, listę krawędzi (lub ścian) jako indeksów par lub krotek wskazujących na ten zestaw, oraz macierz rotacji zastosowaną na każdym ramek przed prosiectorem ortograficznym lub perspektywnym, które zmniejszają (x, y, z) do ekranu (x, y). Tryb szkieletowy polega tylko na narysowaniu każdej krawędzi; tryb z oświetleniem dodatkowo wymaga obliczenia normali wychodzącej dla każdego obszaru (dla wykluczania tych półscian i oświetlania płaskiego) za pomocą iloczynu wektorowego dwóch wektorów krawędzi, a następnie iloczynu skalarnego z ustaloną kierunkiem światła do oświetlenia jasności. Przed obliczeniem współrzędnych wierzchołków na podstawie dokładnej konstrukcji algebraicznej każdego sześcianu (zamiast iteratywnego relaksowania) zachowuje każdy długość krawędzi i kąt ściany matematycznie dokładny, a nie widocznym przybliżeniem.
Często zadawane pytania
Dlaczego istnieje dokładnie pięć sódów platonowych?
Bo wypukły wierzchołek musi mieć co najmniej 3 ściany, które się tam spotykają i ich kąty sumują do mniej niż 360°. Sprawdzenie każdego regularnego wielokąta (trójkąt, czworokąt, pięciokąt, sześciokąt i dalej) przeciwstwem tego ograniczenia da exactly five valid combinations — 3, 4 lub 5 trójkątów, 3 kwadratów, lub 3 pięciokątów — a Euklides udowodnił, że to wyexhausts wszystkie możliwe kombinacje w końcowym tomie Elementów.
Co exactly Euler's formula V - E + F = 2 rzeczywiście oznacza?
To inwentarz topologiczny dla dowolnego wypukłego (genus-0) wielościanu: liczba wierzchołków odejmij liczbę krawędzi dodaj liczbę ścian zawsze daje 2, niezależnie od konkretnego kształtu wielościanu. Ten wzór jest prawdziwy dla nieporządanych wypukłych wielościanów, a nie tylko pięciu sódów platonowych — zanika tylko dla kształtów o dziurach, jak torus, gdzie staje się V - E + F = 0.
Co to jest dualność między sódami platonowymi?
Umieszczenie nowego wierzchołka w centrum każdej ściany jednego sódu i połączenie centrów sasiednich ścian tworzy jego dualny. Sześcian i oktaedr są dualne wzajemnie, tak jak dwunastokąt i icosahedron; czworokąt jest autodualny. Pary dualne zawsze mają taką samą liczbę krawędzi i wymieniają się liczbami wierzchołków i ścian.
Wypróbuj na żywo
Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Platonic Solids i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.
▶ Otwórz symulację Platonic Solids