Konstruerede fraktaler

Den apolloniske pakning

Start med fire cirkler, der berører hinanden, så den ene kan omslutte de andre. Hvert buet trekantet mellemrum rummer en yderligere berørende cirkel, og ved at gentage indsættelsen skabes en apollonisk pakning.

Konstruktionsdiagram over en apollonisk cirkelpakning
Konstruktion af en apollonisk pakning: yderligere tangentcirkler indsættes i hvert mellemrum mellem tre indbyrdes tangente cirkler.Billede: Stevo-88 · Wikimedia Commons · Public Domain

Descartes’ cirkelsætning

For fire cirkler, der berører hinanden, opfylder deres fortegnede krumninger en kvadratisk sammenhæng, der er kendt som Descartes’ sætning. Givet tre kompatible cirkler bestemmer den de mulige fjerde krumninger og muliggør rekursiv generering.

For tre cirkler, der er tangenter til hinanden, relaterer Descartes’ sætning deres krumninger bᵢ=1/rᵢ. En fjerde tangentcirkel opfylder (b₁+b₂+b₃+b₄)²=2(b₁²+b₂²+b₃²+b₄²). Der er normalt to løsninger: den lille cirkel inde i mellemrummet og en omsluttende cirkel. Ved at gentage beregningen i hvert nyt mellemrum udvides pakningen uden at skulle gætte på hverken radius eller position.

Pakning uden udfyldning

Nye cirkler udfylder stadig mindre mellemrum. Deres forening bliver tæt nær en restmængde, hvis struktur er fraktal, mens den uafdækkede pakning har et areal på nul i den ideelle grænse.

Hver ny cirkel optager en del af et buet trekantet mellemrum, men skaber tre mindre mellemrum. I grænsetilfældet har den tilbageværende mængde areal nul, mens grænsen indeholder uendeligt mange cirkler. En endelig grafik må stoppe ved radius eller pixelstørrelse; ellers bliver subpixel-cirkler til støj. Arealudfyldning og synlig fuldstændighed er to forskellige ting: den matematiske pakning fortsætter, mens et billede har brug for en meningsfuld skaleringsgrænse.

Geometri møder aritmetik

Når de indledende krumninger vælges korrekt, kan hver cirkel i pakningen have en heltalig krumning. Disse heltalige pakninger knytter visuel rekursion sammen med diophantiske ligninger, gruppeaktioner og moderne talteori.

Med udgangspunkt i heltalskurvaturer kan den rekursive Descartes-operation fortsætte med at generere heltalskurvaturer. Dette skaber en uventet forbindelse til diophantiske ligninger og gruppeaktioner. Farverige cirkelbilleder afslører ikke automatisk denne aritmetik; den fremkommer, når kurvaturerne mærkes, eller restklasserne undersøges. Eksemplet forbinder elementær tangentgeometri med den dybe talteori, der ligger bag billedet.

Kilder og yderligere læsning

Denne artikel sammenfatter følgende faglige kilder i den oprindelige ordlyd. Tilgået og redaktionelt gennemgået 12 august 2026.

  1. Apollonian GasketWolfram MathWorld
  2. Fractal Geometry: Mathematical Foundations and ApplicationsWiley