⭕ Uszczelka Apoloniusza — fraktal z twierdzenia Kartezjusza o okręgach
Zbuduj nieskończony fraktal wzajemnie stycznych okręgów, korzystając z zespolonego twierdzenia Kartezjusza o okręgach i rekurencyjnie wypełniając każdą lukę. Reguluj głębokość, zarodki i paletę; obserwuj rosnące krzywizny.
Podobne symulacje
⭕ Co ilustruje ta symulacja
Uszczelka Apolloniusza to fraktal powstający przez rozpoczęcie od trzech wzajemnie stycznych okręgów i rekurencyjne wpisywanie nowego okręgu w każdą krzywoliniową trójkątną lukę pozostałą między nimi, w nieskończoność. Ten symulator wykorzystuje prawdziwe twierdzenie Kartezjusza o okręgach, po raz pierwszy sformułowane przez René Descartes'a w 1643 roku: dla dowolnych czterech wzajemnie stycznych okręgów o krzywiznach k₁, k₂, k₃, k₄ (krzywizna = 1/promień, przyjmowana jako ujemna dla okręgu obejmującego pozostałe), (k₁+k₂+k₃+k₄)² = 2(k₁²+k₂²+k₃²+k₄²). Rozwiązanie tego równania kwadratowego dla czwartej krzywizny, przy trzech znanych okręgach, daje k₄ = k₁+k₂+k₃ ± 2√(k₁k₂+k₂k₃+k₃k₁), a odpowiadający wzór na liczbach zespolonych lokalizuje jej środek. Symulator stosuje to rozwiązanie na każdym poziomie rekurencji, więc każdy widoczny okrąg jest prawdziwym rozwiązaniem warunków styczności, a nie przybliżeniem.
Zaczynając od jednego dużego okręgu obejmującego całość i dwóch okręgów wewnętrznych, każda nowa luka generuje świeżą trójkę wzajemnie stycznych okręgów, a twierdzenie stosowane jest ponownie — krzywizny rosną gwałtownie, a promienie kurczą się w stronę zera wraz z pogłębianiem rekurencji, tworząc samopodobną kratę kurczących się okręgów, która nadaje uszczelce jej fraktalną strukturę.
Jak korzystać
- Dostosuj suwak Głębokość (0–6), by kontrolować liczbę rekurencyjnych pokoleń okręgów rozwiązywanych i rysowanych — wyższe głębokości są ograniczone ze względu na wydajność, ponieważ liczba okręgów rośnie wykładniczo.
- Przełącz Kolor według krzywizny, by przejść między cieniowaniem okręgów według głębokości rekurencji lub według wielkości ich krzywizny.
- Włącz Pokaż wartości krzywizny, by wyświetlić obliczoną wartość krzywizny na okręgach na tyle dużych, by ją zmieścić.
- Kliknij Losuj, by zmienić promienie dwóch początkowych okręgów wewnętrznych i wygenerować inny układ uszczelki.
Czy wiesz, że...
Gdy cztery początkowe krzywizny uszczelki Apolloniusza są liczbami całkowitymi, każdy pojedynczy okrąg w całej nieskończonej uszczelce ma również całkowitą krzywiznę — niezwykły fakt związany z arytmetyką form kwadratowych i współczesną teorią liczb. Klasyczne „całkowite uszczelki Apolloniusza" (0, 0, 1, 1) oraz (−1, 2, 2, 3) były szeroko badane pod kątem wzorców liczbowych pojawiających się wśród ich krzywizn, a upakowania kół Apolloniusza pojawiają się też w starożytnej geometrii greckiej — Apoloniusz z Pergi rozwiązał ogólny problem okręgów stycznych około 200 roku p.n.e., długo przed zrozumieniem interpretacji fraktalnej.
O tej symulacji
Ten symulator buduje prawdziwą uszczelkę Apolloniusza, rozwiązując twierdzenie Kartezjusza o okręgach na każdym poziomie rekurencji. Zaczynając od dużego okręgu obejmującego całość i dwóch okręgów wewnętrznych, każda trójka wzajemnie stycznych okręgów jest podawana do wzoru twierdzenia, by obliczyć dokładną krzywiznę i środek okręgu wypełniającego pozostałą lukę — bez stałej tabeli odniesienia, bez przybliżeń, jedynie prawdziwe równania styczności rozwiązywane na żywo.
🔬 Co pokazuje
Mając krzywizny k1, k2, k3 trzech wzajemnie stycznych okręgów, czwarty styczny okrąg spełnia k4 = k1+k2+k3 ± 2√(k1k2+k2k3+k3k1). Odpowiadający wzór na liczbach zespolonych z4·k4 = z1k1+z2k2+z3k3 ± 2√(k1k2z1z2+k2k3z2z3+k3k1z3z1) podaje jego środek. Rozwiązywane są oba pierwiastki, a nowy, nieduplikujący się okrąg jest zachowywany i dalej rekurencyjnie przetwarzany.
🎮 Jak korzystać
Suwak Głębokość (0–6) ustala liczbę rekurencyjnych pokoleń rozwiązywanych i rysowanych. Przełącz kolorowanie według krzywizny lub głębokości pokolenia i włącz wartości krzywizny, by etykietować okręgi bezpośrednio. Przycisk Losuj zmienia promienie dwóch początkowych okręgów wewnętrznych, generując nowe układy uszczelki przy zachowaniu wzajemnej styczności wszystkich okręgów.
💡 Czy wiesz, że…
Jeśli cztery początkowe krzywizny są liczbami całkowitymi, twierdzenie Kartezjusza gwarantuje, że każdy potomny okrąg w całej nieskończonej uszczelce również ma całkowitą krzywiznę — to całkowita uszczelka Apolloniusza, związana z głębokimi wynikami teorii liczb dotyczącymi form kwadratowych.
Najczęściej zadawane pytania
Czym jest twierdzenie Kartezjusza o okręgach?
Wiąże ono krzywizny czterech wzajemnie stycznych okręgów: (k1+k2+k3+k4)² = 2(k1²+k2²+k3²+k4²), gdzie krzywizna k równa się 1/promień i jest przyjmowana jako ujemna dla okręgu wygiętego w przeciwną stronę, obejmującego pozostałe. Rozwiązanie tego równania dla nieznanej czwartej krzywizny, przy trzech znanych, daje wzór stosowany w całym tym symulatorze.
Dlaczego krzywizna okręgu zewnętrznego jest ujemna?
Krzywizna mierzy, jak ostro zakrzywia się okrąg, a znak wskazuje orientację. Okrąg obejmujący owija wszystkie okręgi wewnętrzne, zamiast być styczny od zewnątrz, więc zgodnie z konwencją przypisuje się mu ujemną krzywiznę, odwracając znak tak, by ten sam wzór poprawnie generował zarówno okręgi wewnętrzne, jak i graniczny.
Jak znajdowany jest środek każdego nowego okręgu?
Wersja twierdzenia Kartezjusza na liczbach zespolonych traktuje środek każdego okręgu jako liczbę zespoloną. Tożsamość z4·k4 = z1k1+z2k2+z3k3 ± 2√(k1k2z1z2+k2k3z2z3+k3k1z3z1) daje ważony krzywizną środek nowego okręgu bezpośrednio z trzech znanych okręgów, odpowiadający wybranemu pierwiastkowi krzywizny (k4).
Dlaczego liczba okręgów rośnie tak szybko wraz z głębokością?
Każdy nowy okrąg utworzony w luce tworzy dwie nowe trójkątne luki ze swoimi sąsiadami, więc liczba okręgów dodawanych w każdym pokoleniu rośnie mniej więcej geometrycznie. Dlatego głębokość rekurencji jest ograniczona do 6 w tym symulatorze — powyżej tej wartości liczba okręgów i czas obliczeń rosną bardzo szybko, a same okręgi i tak stają się mniejsze niż piksel.
Czym jest całkowita uszczelka Apolloniusza?
To uszczelka, której cztery początkowe okręgi mają wszystkie krzywizny całkowite. Twierdzenie Kartezjusza jest równaniem kwadratowym o współczynnikach całkowitych, gdy dane wejściowe są całkowite, więc każda kolejna krzywizna generowana przez proces rekurencyjny również jest gwarantowanie całkowita, co daje uderzające wzorce badane w teorii liczb.