PL 
EnglishDomyślny
Українська⭕ Dywan Apoloniusza — fraktalne upakowanie okręgów
Wypełniaj rekurencyjnie luki między trzema wzajemnie stycznymi okręgami nowymi okręgami stycznymi, korzystając z twierdzenia Kartezjusza: (k1+k2+k3+k4)^2 = 2(k1^2+k2^2+k3^2+k4^2).
Podobne symulacje
O okręgach Apolloniusza
Uszczelka Apolloniusza (fraktal Apolloniusza) to nieskończenie złożony fraktal zbudowany z wzajemnie stycznych okręgów. Zaczynając od trzech wzajemnie stycznych okręgów, twierdzenie Kartezjusza o okręgach (Descartes' Circle Theorem) — (k₁+k₂+k₃+k₄)² = 2(k₁²+k₂²+k₃²+k₄²), gdzie k = 1/promień — jednoznacznie wyznacza krzywiznę czwartego okręgu stycznego do wszystkich trzech. Każdy nowy okrąg tworzy trzy nowe luki, które są wypełniane rekurencyjnie, generując samopodobny wzór, którego wymiar Hausdorffa wynosi w przybliżeniu 1,3057. Gdy początkowe cztery krzywizny są liczbami całkowitymi, każda kolejna krzywizna w całej nieskończonej uszczelce jest również liczbą całkowitą — niezwykła własność teorioliczbowa łącząca upakowania okręgów z teorią form kwadratowych.
Przewijaj, aby przybliżać, i przeciągaj, aby przesuwać widok. Suwaki maksymalnej głębokości (Max depth) i minimalnego promienia (Min radius) kontrolują, ile poziomów rekursji jest renderowanych, zanim okręgi staną się zbyt małe, by je narysować. Cztery palety kolorów (Fiolet, Spektrum, Żar, Lód) kolorują każdy okrąg według głębokości jego generacji, dzięki czemu hierarchia fraktalna jest od razu widoczna. Wybierz spośród czterech konfiguracji początkowych — w tym klasyczne upakowanie całkowitoliczbowe o krzywiznach −1, 2, 2, 3 — aby zobaczyć, jak geometria początkowa kształtuje ostateczny wzór.
Najczęściej zadawane pytania
Czym dokładnie jest twierdzenie Kartezjusza o okręgach?
Opublikowane przez Kartezjusza w liście z 1643 roku do księżniczki Elżbiety Czeskiej, twierdzenie mówi, że jeśli cztery okręgi są wzajemnie styczne, ich krzywizny k₁, k₂, k₃, k₄ spełniają równanie (k₁+k₂+k₃+k₄)² = 2(k₁²+k₂²+k₃²+k₄²). Rozwiązanie względem k₄ daje k₄ = k₁+k₂+k₃ ± 2√(k₁k₂+k₂k₃+k₃k₁), co daje dwa rozwiązania — dwa okręgi, które mogą być styczne do danej trójki.
Dlaczego zewnętrzny okrąg obejmujący ma ujemną krzywiznę?
Krzywizna k = 1/r jest dodatnia, gdy okrąg zakrzywia się w stronę swojego wnętrza (zwykłe okręgi), a ujemna, gdy pozostałe okręgi są upakowane wewnątrz niego. Zewnętrzny okrąg obejmuje wszystko, więc upakowane okręgi stykają się z jego wewnętrzną powierzchnią. Użycie k = −1/r dla okręgu zewnętrznego sprawia, że twierdzenie Kartezjusza działa poprawnie z tym samym wzorem dla wszystkich konfiguracji.
Jaki jest wymiar Hausdorffa uszczelki Apolloniusza?
Wymiar Hausdorffa fraktalu Apolloniusza wynosi w przybliżeniu 1,3057, niezależnie od wybranej konfiguracji początkowej — wartość ta została rygorystycznie ustalona przez Thomasa McMullena w 1998 roku. Leży między 1 (krzywa) a 2 (wypełniony obszar), co odzwierciedla fakt, że uszczelka nie wypełnia płaszczyzny ani tak rzadko jak krzywa, ani tak gęsto jak bryła.
Czym są liczby Apolloniusza i dlaczego są niezwykłe?
Gdy pierwsze cztery krzywizny są liczbami całkowitymi, każda krzywizna wygenerowana przez rekursję jest również liczbą całkowitą, co wynika bezpośrednio z twierdzenia Kartezjusza. Klasyczny przykład zaczyna się od −1, 2, 2, 3 i daje okręgi o krzywiznach 6, 11, 14, 15, 18, 23, … To, które dodatnie liczby całkowite się pojawiają, jest aktywnym zagadnieniem badawczym powiązanym z formami kwadratowymi i grupami cienkimi w teorii liczb.
Jak obliczany jest środek każdego nowego okręgu stycznego?
Zespolone rozszerzenie twierdzenia Kartezjusza daje środek za pomocą wzoru k₄z₄ = k₁z₁ + k₂z₂ + k₃z₃ ± 2√(k₁k₂z₁z₂ + k₂k₃z₂z₃ + k₃k₁z₃z₁), gdzie z = x + iy koduje środek każdego okręgu. Ten elegancki wzór oblicza jednocześnie pozycję i dwa możliwe wybory okręgu stycznego, odkryty przez Philipa Beecrofta (1842), a później przez Fredericka Soddy'ego (1936).
Kim był Apoloniusz z Pergi i co właściwie udowodnił?
Apoloniusz (ok. 262–190 p.n.e.) był greckim matematykiem z Pergi w dzisiejszej Turcji, znanym przede wszystkim z ośmioksięgowego traktatu Stożkowe (Conics). Jego zaginione dzieło O stycznościach dotyczyło znajdowania okręgów stycznych do trzech danych okręgów — problemu Apolloniusza — który ma do ośmiu rozwiązań. Uszczelka nosząca jego imię została sformalizowana znacznie później za pomocą wzoru na krzywiznę Kartezjusza.
Czy istnieje związek między uszczelkami Apolloniusza a geometrią hiperboliczną?
Tak — i to głęboki. Punkty styczności uszczelki Apolloniusza tworzą zbiór graniczny grupy Kleina — nieskończonej grupy transformacji Möbiusa na sferze Riemanna. Uszczelka istnieje na brzegu hiperbolicznej przestrzeni 3D, a symetrie upakowania są izometriami czworościanu hiperbolicznego. Doprowadziło to do istotnych postępów w teorii spektralnej i teorii ergodycznej na rozmaitościach hiperbolicznych.
Dlaczego symulacja zatrzymuje się, zanim okręgi staną się nieskończenie małe?
Rekursja jest teoretycznie nieskończona, ale okręgi o promieniu ekranowym poniżej około 1 piksela są niedostrzegalne. Symulacja zatrzymuje się, gdy promień ekranowy okręgu spada poniżej progu minimalnego promienia. Zmniejszenie progu odsłania więcej szczegółów fraktala kosztem dłuższych obliczeń; suwak głębokości dodaje niezależny twardy limit, aby zapobiec niekontrolowanej rekursji.
Czym jest heksplet Soddy'ego i jak się z tym wiąże?
Heksplet Soddy'ego (1936) to trójwymiarowy odpowiednik: mając dwie kule wewnętrznie styczne do trzeciej, dokładnie sześć kul może być jednocześnie stycznych do wszystkich trzech i do siebie nawzajem, tworząc pierścień. Frederick Soddy odkrył to i ogłosił w formie wiersza w czasopiśmie Nature obok trójwymiarowego twierdzenia Kartezjusza dla kul — zarówno heksplet, jak i uszczelka Apolloniusza są przejawami tej samej geometrii inwersyjnej.
Jaki jest związek między upakowaniami Apolloniusza a teorią liczb?
Upakowania Apolloniusza mają głębokie związki z hipotezą lokalno-globalną (Local-Global Conjecture): przypuszcza się (i częściowo udowodnili to Bourgain, Kontorovich i inni), że każda wystarczająco duża liczba całkowita spełniająca skończony zbiór warunków kongruencji rzeczywiście pojawia się jako krzywizna. Grupa upakowania jest "grupą cienką" w sensie teorii liczb, co czyni to jednym z najbardziej aktywnych frontów badawczych w geometrii arytmetycznej.
Jak kolory palety odwzorowują głębokość fraktala?
Każdemu okręgowi przypisywana jest głębokość generacji (0 dla okręgów zalążkowych, 1 dla pierwszych nowych okręgów i tak dalej). Funkcja palety mapuje głębokość liniowo na odcień lub jasność, więc najstarsze, największe okręgi mają jeden kolor, a najnowsze, najmniejsze — inny. Dzięki temu rekurencyjna struktura jest natychmiast dostrzegalna — każda widoczna granica koloru oznacza jeden krok głębiej w nieskończonej hierarchii.