Uszczelka apollońska
Zacznij od czterech wzajemnie stycznych okręgów, tak aby jeden otaczał pozostałe. Każda zakrzywiona trójkątna szczelina pozwala na wstawienie kolejnego stycznego okręgu, a powtarzanie tego procesu tworzy uszczelkę apollińską.

Twierdzenie Kartezjusza o okręgu
W przypadku czterech wzajemnie stycznych okręgów ich krzywizny ze znakiem spełniają zależność kwadratową znaną jako twierdzenie Kartezjusza. Biorąc pod uwagę trzy kompatybilne okręgi, określa ono możliwe wartości czwartej krzywizny i umożliwia generowanie rekurencyjne.
W przypadku trzech wzajemnie stycznych okręgów twierdzenie Kartezjusza określa ich krzywizny jako bᵢ=1/rᵢ. Czwarty okrąg styczny spełnia warunek (b₁+b₂+b₃+b₄)²=2(b₁²+b₂²+b₃²+b₄²). Zazwyczaj istnieją dwa rozwiązania: małe koło wewnątrz szczeliny oraz koło otaczające. Powtarzanie obliczeń dla każdej nowej szczeliny pozwala rozbudowywać upakowanie bez konieczności zgadywania ani promienia, ani położenia.
Upakowanie bez wypełniania
Nowe okręgi zajmują coraz mniejsze szczeliny. Ich zbiór staje się gęsty w pobliżu zbioru resztkowego o strukturze fraktalnej, podczas gdy odsłonięta szczelina ma zerową powierzchnię w granicy idealnej.
Każde nowe koło zajmuje część zakrzywionej trójkątnej luki, ale tworzy trzy mniejsze luki. W granicy zbiór pozostałości ma zerowy obszar, podczas gdy granica zawiera nieskończenie wiele kół. Grafika skończona musi kończyć się ze względu na promień lub rozmiar piksela; w przeciwnym razie koła o rozmiarze mniejszym niż piksel stają się szumem. Wypełnienie obszaru i widoczna kompletność to dwie różne rzeczy: matematyczne upakowanie trwa, podczas gdy obraz wymaga sensownego ograniczenia skali.
Geometria spotyka się z arytmetyką
Gdy początkowe krzywizny zostaną odpowiednio dobrane, każde koło w upakowaniu może mieć krzywiznę całkowitą. Te upakowania całkowite łączą wizualną rekurencję z równaniami Diofantowymi, działaniami grupowymi i współczesną teorią liczb.
Wychodząc od krzywizn całkowitoliczbowych, rekurencyjna operacja Kartezjusza może nadal generować krzywizny całkowitoliczbowe. Tworzy to nieoczekiwane powiązanie z równaniami Diofantowymi i działaniami grupowymi. Kolorowe obrazy okręgów nie ujawniają tej arytmetyki automatycznie; ujawnia się ona dopiero po oznaczeniu krzywizn lub zbadaniu klas reszt. Przykład ten łączy pozornie elementarną geometrię styczną z głęboką teorią liczb leżącą u podstaw obrazu.
Źródła i literatura uzupełniająca
Artykuł ten stanowi podsumowanie poniższych źródeł specjalistycznych, przy zachowaniu oryginalnego brzmienia. Dostęp uzyskano i dokonano redakcyjnej weryfikacji w sierpniu 12 2026.
- Apollonian GasketWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley


