În geometrie, sfera mediană sau intersfera unui poliedru este o sferă care este tangentă la fiecare muchie a poliedrului. Adică atinge orice muchie exact într-un singur punct. Nu orice poliedru are o sferă mediană, dar pentru fiecare poliedru există un poliedru echivalent combinatoric, poliedrul canonic, care are o sferă mediană.

Un poliedru și sfera sa mediană. Cercurile roșii sunt limitele vizibile din fiecare vârf ale calotelor sferice
Compus de cub și octaedru (duale) cu sfera mediană comună

Numele de „sferă mediană” provine din faptul că la poliedrele care au o sferă înscrisă (care este tangentă la fiecare față a poliedrului) și o sferă circumscrisă (care trece prin fiecare vârf), sfera mediană fiind între acestea.

Exemple modificare

Poliedrele uniforme, inclusiv poliedrele regulate, cvasiregulate, semiregulate și dualii lor au toate sfere mediane. La poliedrele regulate, sferele înscrisă, mediană și circumscrisă există toate și sunt concentrice.[1]

Cercuri tangente modificare

Dacă O este sfera mediană a unui poliedru, P, atunci intersecția lui O cu orice față a lui P este un cerc. Cercurile formate în acest fel pe toate fețele lui P formează în O un sistem de cercuri care sunt tangente la muchiile sale în punctele unde ele se intersectează cu muchiile lui P.

Dual, dacă v este un vârf al lui P, atunci există un con care are vârful în v și care este tangent la O într-un cerc; acest cerc formează limita vizibilă din acel vârf a calotelor sferice de pe suprafața sferei mediane. Adică, cercul este orizontul sferei mediane așa cum este privit din vârf. Cercurile formate în acest fel sunt tangente între ele exact în locul în care vârfurile cărora le corespund sunt conectate printr-o muchie.

Dualitate modificare

Dacă un poliedru P are o sferă mediană O, atunci poliedrul dual față de P are aceeași O ca sferă mediană. Planurile fețelor poliedrului dual conțin cercurile de pe O care sunt tangente la conurile cu vârfurile în vârfurile lui P.[2]

Poliedru canonic modificare

O formă mai puternică a teoremei împachetării cercurilor afirmă că la reprezentarea grafurilor plane prin sisteme de cercuri tangente fiecare graf poliedric poate fi reprezentat de un poliedru cu sferă mediană. Cercurile orizontului unui poliedru canonic pot fi transformate, prin proiecție stereografică, într-o colecție de cercuri din planul euclidian, cercuri care nu se întretaie și sunt tangente unul la celălalt dacă vârfurile la care le corespund sunt adiacente.[3] Însă există poliedre care nu au o formă echivalentă cu o sferă înscrisă sau circumscrisă.[4]

Oricare două poliedre cu aceeași latice a fețelor și aceeași sferă mediană pot fi transformate unul în celălalt printr-o transformare proiectivă a spațiului tridimensional care lasă sfera mediană în aceeași poziție. Restricția acestei transformări proiective la sfera mediană este o transformare Möbius.[5] Există un mod unic de a efectua această transformare, astfel încât sfera mediană să fie sfera unitate iar centroidul punctelor de tangență să fie în centrul sferei; aceasta dă o reprezentare a poliedrului dat, care este unic din punct de vedere al congruenței, poliedrul canonic.[6] Alternativ, un poliedru transformat care maximizează distanța minimă a unui vârf față de sfera mediană poate fi găsit algoritmic într-un timp proporțional cu complexitatea poliedrului; poliedrul canonic ales în acest mod are simetrie maximă față de toate celelalte alegeri.[7]

Note modificare

  1. ^ Coxeter (1973) afirmă asta pentru poliedrele regulate, iar Cundy & Rollett 1961. pentru poliedrele arhimedice.
  2. ^ Coxeter (1973)
  3. ^ Schramm (1992); Sachs (1994). Schramm afirmă că existența unui poliedru echivalent cu o sferă mediană a fost susținută de Koebe (1936), dar Koebe a demonstrat acest rezultat doar pentru poliedre cu fețe triunghiulare. Schramm atribuie rezultatul complet lui William Thurston, dar partea relevantă din notele de curs ale lui Thurston Arhivat în , la Wayback Machine. afirmă și ele în mod explicit rezultatul doar pentru poliedrele cu fețe triunghiulare.
  4. ^ Schramm (1992); Steinitz (1928).
  5. ^ Sachs (1994)
  6. ^ Ziegler (1995)
  7. ^ Bern & Eppstein (2001)

Bibliografie modificare

  • en Bern, M.; Eppstein, D. (), „Optimal Möbius transformations for information visualization and meshing”, SWAT and WADS conferences, 7th Worksh. Algorithms and Data Structures, Lecture Notes in Computer Science, 2125, Providence, Rhode Island: Springer-Verlag, pp. 14–25, arXiv:cs.CG/0101006 , doi:10.1007/3-540-44634-6_3 
  • en Coxeter, H. S. M. (), „2.1 Regular polyhedra; 2.2 Reciprocation”, Regular Polytopes (ed. 3rd), Dover, pp. 16–17, ISBN 0-486-61480-8 .
  • en Cundy, H. M.; Rollett, A. P. (), Mathematical Models (ed. 2nd), Oxford University Press, p. 117 .
  • de Koebe, Paul (), „Kontaktprobleme der Konformen Abbildung”, Ber. Sächs. Akad. Wiss. Leipzig, Math.-Phys. Kl., 88: 141–164 .
  • en Sachs, Horst (), „Coin graphs, polyhedra, and conformal mapping”, Discrete Mathematics, 134 (1–3): 133–138, doi:10.1016/0012-365X(93)E0068-F, MR 1303402 .
  • en Schramm, Oded (), „How to cage an egg” (PDF), Inventiones Mathematicae, 107 (3): 543–560, Bibcode:1992InMat.107..543S, doi:10.1007/BF01231901, MR 1150601 .
  • de Steinitz, Ernst (), „Über isoperimetrische Probleme bei konvexen Polyedern”, Journal für die reine und angewandte Mathematik, 159: 133–143 .
  • en Ziegler, Günter M. (), Lectures on Polytopes, Graduate Texts in Mathematics, 152, Springer-Verlag, pp. 117–118, ISBN 0-387-94365-X .

Legături externe modificare