Huzita-Hatoriowska aksjomatyka
Podobnie jak geometria euklidesowa jest budowana z operacji związanych z compenem i prostą kreską, geometria origami opiera się na niewielkiej liczbie pojedynczych operacji składania, skatalogowanych przez Humiaki Huzitę w 1991 roku i uzupełnionych przez Koshiro Haritora – siedem aksjomat Huzity-Hatori. Pierwsze pięć z nich jest osiągalne przy użyciu compena i prostej kreski. Przełom stanowi aksjomat O6: umieszczenie dwóch punktów na dwóch prostych jednocześnie, problem styczności do dwóch paraboli, równoważny rozwiązywaniu ogólnego równania trzeciego stopnia. Ponieważ kompas i prosta kreska mogą jedynie rozwiązać równania kwadratowe (ciągi pierwiastków kwadratowych), origami jest ściśle bardziej potężne jako geometria konstruktywna.
Dzielenie kąta przez składanie
Rozwiązanie trójkątnego kąta byłe jednym z trzech głównych nierozwiązanych problemów starożytności. Pierre Wantzel udowodnił w 1837 roku, że jest ono niemożliwe przy użyciu kompasu i linijki, ponieważ trójkątowanie wymaga rozwiązania niepodległego równania sześciennego (z tożsamości cos(3θ) = 4cos³θ − 3cosθ). Origami, mając dostęp do tego równania sześciennego poprzez aksjomat O6, może je wykonać: klasyczna konstrukcja, dzięki Hisashi Abe, umieszcza kąt w rogu kwadratu, dodaje dwa równoległe kreślenia poziome i używa jednego współbieżnego składania, aby podzielić kąt na trzy dokładnie równe części — dowód, że medium obliczeniowe zmienia to, co jest konstruowane. Podwojenie sześcianu (konstrukcja ∛2) jest niemożliwe z tego samego powodu i również można je osiągnąć poprzez składanie.
Składanie płaskie: Kawasaki i Maekawa
Wzór Kawasziki mówi, że w przypadku składania płaskiego wewnętrznego wierzchołka, suma zmieniających się kątów wokół niego wynosi zawsze 180° – równoważnie α1+α3+α5+… = α2+α4+α6+… = 180°. Teoria Maekawa mówi, że liczba górskich i dolnych zgięć spotykających się w tym wierzchołku zawsze różni się o dokładnie dwa, |M−V|=2. Oba są to warunki konieczne lokalnie, ale określenie, czy cały wzór z zagnieceń jest składany płasko globalnie, jest problemem NP-kompletnego (Bern i Hayes) – origami idealnie wpisuje się w teorię złożoności obliczeniowej.
Kawasaki: α1 − α2 + α3 − α4 + … − α2n = 0 Maekawa: |mountain folds − valley folds| = 2 Trisection cubic: cos(3θ) = 4cos³θ − 3cosθ (needs axiom O6, unreachable by ruler/compass)
Miura-ori i papierowe figury geometryczne w inżynierii
Tessellation Miury, zaprojektowana przez astrofizyka Koryo Miurę, to hewnowy układ geometryczny, który porusza się po jednym stopniu swobody – ciągnięcie dwóch przeciwległych rogów rozszerza lub skręca całą płytę jednocześnie – i wykazuje ujemny współczynnik Poissona (zachowanie auxetyczne). Papierowe figury geometryczne wymagają, aby powierzchnie pozostawały idealnie płaskie, a jedynie zgięcia działają jako zawiasy – stan, który ma znaczenie, gdy panele są wykonane ze stali, szkła lub ogniw słonecznych. NASA i JAXA latają układy słoneczne oparte na Miura właśnie z tego powodu: geometria zgięć gwarantuje czystą, bezproblemową pojedynczą operację rozkładu. Ta sama logika współczynnika pakowania skaluje się do stentów inspirowanych papierowymi figurami geometrycznymi, które kurczą się w celu wprowadzenia przez naczynie krwionośne i rozszerzają się po umieszczeniu, a także wzorów składania powietrznych poduszek bezpieczeństwa, które określają kolejność inflacji regionów w celu uniknięcia niebezpiecznych zacięć.
Frequently asked questions
Dlaczego origami może trójkątować kąt, gdy kompas i linia prosta nie mogą?
Trójkątowanie kąta wymaga rozwiązania niemożliwego równania trzeciego stopnia, które Pierre Wantzel udowodnił w 1837 roku, a jedynie z pomocą kompasu i linii prostej. Axiom O6 origami – umieszczenie dwóch punktów na dwóch liniach jednocześnie – jest równoważny rozwiązywaniu ogólnego równania trzeciego stopnia, więc pojedyncze złożenie może dokładnie trójkątować każdy kąt.
Jakie to twierdzenia Kawasakiego i Maekawa?
Twierdzenie Kawasakiego mówi, że w płaskim wierzchołku możliwym do złożenia, sumy przeciwnych kątów wokół niego są równe (180° każdy). Twierdzenie Maekawa mówi, że liczba zgięć w górę i zgięć w dół spotykających się w tym wierzchołku zawsze różni się o dokładnie dwa. Obie te warunki są niezbędne lokalnie dla możliwości złożenia na płasko, choć globalna kontrola wzoru zgięć jest problemem NP-kompletnego.
Co to jest Miura-ori i dlaczego jest używane w inżynierii kosmicznej?
Miura-ori, opracowana przez astrofizyka Koryo Miurę, to tessellacja w kształcie hewningu, która składa się lub rozwija się wzdłuż jednego stopnia swobody – ciągnięcie dwóch przeciwległych rogów rozkłada cały arkusz w jednym ruchu. NASA i JAXA używają systemów słonecznych opartych na origami, a także pokrewnych sztywnych wzorów, ponieważ geometria gwarantuje czyste, bezproblemowe rozłożenie po osiągnięciu orbity przez statek kosmiczny.
Wypróbuj na żywo
Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz the simulation 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ę the simulation