Distanța inversă

Distanța inversă este o modalitate de a măsura „ distanța ” dintre două cercuri , indiferent dacă cercurile se intersectează, se ating sau nu au puncte comune [1] .

Proprietăți

Distanța inversă nu se modifică dacă cercurile sunt inversate sau supuse transformării Möbius [1] [2] [3] . O pereche de cercuri poate fi translată într-o altă pereche de cercuri folosind transformarea Möbius dacă și numai dacă ambele perechi au aceeași distanță inversă [1] .

Pentru o distanță inversă, este îndeplinit un analog al teoremei Beckman-Quorles - dacă o bijecție a unui set de cercuri pe un plan invers păstrează o distanță inversă între o pereche de cercuri la o distanță fixă , atunci trebuie să fie o Transformarea Möbius care păstrează toate distanțele inverse [3] .

Formula distanței

Pentru două cercuri pe planul euclidian cu raze și și distanța dintre centre , distanța inversă poate fi determinată cu formula [1]

Formula dă:

Unii autori definesc distanța inversă absolută ca fiind valoarea absolută a distanței inverse.

Unii autori modifică formula distanței luând cosinusul hiperbolic (areacosinus) reciproc al valorii date mai sus [2] . Adică, în loc de distanța inversă este definită ca numărul dat de egalitate

Deși conversia distanței inverse în acest fel face formula mai complicată și împiedică aplicarea acesteia la o pereche de cercuri care se intersectează, formula are avantajul că (ca distanța obișnuită dintre punctele dintr-un plan) distanța devine aditivă pentru cercuri în un mănunchi de cercuri disjunse . Adică, dacă trei cercuri aparțin aceluiași mănunchi, atunci (folosind în schimb ca distanță inversă) una dintre cele trei distanțe perechi va fi suma celorlalte două [4] [5] .

În alte geometrii

Este posibil să se definească o distanță inversă pentru cercuri pe o sferă sau pe o suprafață hiperbolică [1] .

Aplicații

Lanțuri Steiner

Un lanț Steiner pentru două cercuri care nu se intersectează este o succesiune finită de cercuri suplimentare, fiecare tangent la două cercuri date și două cercuri adiacente în lanț. Porismul lui Steiner afirmă că, dacă două cercuri au un lanț Steiner, ele au infinit de astfel de lanțuri. Lanțul are voie să ruleze de mai multe ori în jurul a două cercuri date și poate fi descris printr-un număr rațional , al cărui numărător este egal cu numărul de cercuri din lanț și al cărui numitor determină numărul de rotații ale lanțului. Toate lanțurile pentru două cercuri date au aceeași valoare . Dacă distanța inversă dintre două cercuri (după luarea cosinusului hiperbolic invers) este , atunci poate fi găsită prin formula

În schimb, oricare două cercuri care nu se intersectează pentru care această formulă dă un număr rațional au un lanț Steiner. Mai general, o pereche arbitrară de cercuri disjunse poate fi aproximată în mod arbitrar aproape de o pereche de cercuri având un lanț Steiner a cărui valoare este o aproximare rațională a valorii date de formula pentru cele două cercuri date [4] .

Cercuri de ambalare

Distanța inversă este utilizată pentru a defini conceptul de distanță inversă a unui pachet de cercuri - un set de cercuri cu proprietatea că un subset specificat de perechi de cercuri (corespunzător marginilor unui grafic plan ) au dat distanțe inverse între fiecare alte. Această noțiune generalizează împachetarea cercurilor descrisă de teorema de împachetare a cercurilor , în care perechile alese de cercuri sunt tangente una la alta [1] [6] . Deși se știe mai puțin despre existența unei împachetari cu distanțele inverse date în comparație cu o împachetare cu tangență, se știe că, având în vedere existența unui astfel de împachetare, cercurile pot fi definite în mod unic (până la o transformare Möbius) printr-o dată. graficul plan maximal și un set de distanțe inverse euclidiene sau hiperbolice. Această proprietate de rigiditate poate fi generalizată în esență la metricile euclidiene și hiperbolice pe varietăți triangulate cu defecte de colț la vârfuri [7] . Totuși, pentru varietăți cu geometrie sferică, astfel de împachetari nu vor fi unice [8] . La rândul lor, împachetarea cercurilor cu distanță inversă pot fi utilizate pentru a construi aproximări ale mapărilor conforme [1] .

Note

  1. 1 2 3 4 5 6 7 Bowers, Hurdal, 2003 , p. 3–34.
  2. 1 2 Coxeter, Greitzer, 1967 , p. 123–124.
  3. 1 2 Lester, 1991 , p. 492–498.
  4. 1 2 Coxeter, 1966 , p. 73–83.
  5. Coxeter, Greitzer 1978 , p. 152.
  6. Bowers, Stephenson, 2004 , p. 78–82.
  7. Luo, 2011 , p. 2299–2319.
  8. Ma, Schlenker, 2012 , p. 610–617.

Literatură

Link