Midsphere

In geometry, the midsphere or intersphere of a convex polyhedron is a sphere which is tangent to every edge of the polyhedron. Not every polyhedron has a midsphere, but the uniform polyhedra, including the regular, quasiregular and semiregular polyhedra and their duals all have midspheres. The radius of the midsphere is called the midradius. A polyhedron that has a midsphere is said to be midscribed about this sphere.^[1]

An opaque white polyhedron with four triangular faces and four quadrilateral faces is crossed by a transparent blue sphere of approximately the same size, tangent to each edge of the polyhedron. The visible portions of the sphere, outside the polyhedron, form circular caps on each face of the polyhedron, of two sizes: smaller in the triangular faces, and larger in the quadrilateral faces. Red circles on the surface of the sphere, passing through these caps, mark the horizons visible from each polyhedron vertex. The red circles have the same two sizes as the circular caps: smaller circles surround the polyhedron vertices where three faces meet, and larger circles surround the vertices where four faces meet. — A polyhedron and its midsphere. The red circles are the boundaries of spherical caps within which the surface of the sphere can be seen from each vertex.

When a polyhedron has a midsphere, one can form two perpendicular circle packings on the midsphere, one corresponding to the adjacencies between vertices of the polyhedron, and the other corresponding in the same way to its polar polyhedron, which has the same midsphere. The length of each polyhedron edge is the sum of the distances from its two endpoints to their corresponding circles in this circle packing.

Every convex polyhedron has a combinatorially equivalent polyhedron, the canonical polyhedron, that does have a midsphere, centered at the centroid of the points of tangency of its edges. Numerical approximation algorithms can construct the canonical polyhedron, but its coordinates cannot be represented exactly as a closed-form expression. Any canonical polyhedron and its polar dual can be used to form two opposite faces of a four-dimensional antiprism.

Definition and examples edit

A midsphere of a three-dimensional convex polyhedron is defined to be a sphere that is tangent to every edge of the polyhedron. That is to say, each edge must touch it, at an interior point of the edge, without crossing it. Equivalently, it is a sphere that contains the inscribed circle of every face of the polyhedron.^[2] When a midsphere exists, it is unique. Not every convex polyhedron has a midsphere; to have a midsphere, every face must have an inscribed circle (that is, it must be a tangential polygon), and all of these inscribed circles must belong to a single sphere. For example, a rectangular cuboid has a midsphere only when it is a cube, because otherwise it has non-square rectangles as faces, and these do not have inscribed circles.^[3]

For a unit cube centered at the origin of the Cartesian coordinate system, with vertices at the eight points ${\textstyle {\bigl (}{\pm {\tfrac {1}{2}}},\pm {\tfrac {1}{2}},\pm {\tfrac {1}{2}}{\bigr )}}$ , the midpoints of the edges are at distance $1{\big /}\!{\sqrt {2}}$ from the origin. Therefore, for this cube, the midsphere is centered at the origin, with radius ${\textstyle 1{\big /}\!{\sqrt {2}}}$ . This is larger than the radius of the inscribed sphere, ${\textstyle 1/2}$ , and smaller than the radius of the circumscribed sphere, ${\textstyle {\sqrt {3/4}}}$ . More generally, for any Platonic solid of edge length $\ell$ , the midradius is^[4]

${\tfrac {1}{2{\sqrt {2}}}}\ell$ for a regular tetrahedron,
${\tfrac {1}{2}}\ell$ for a regular octahedron,
${\tfrac {1}{\sqrt {2}}}\ell$ for a regular cube,
${\tfrac {\varphi }{2}}\ell$ for a regular icosahedron, where $\varphi$ denotes the golden ratio, and
${\tfrac {\varphi ^{2}}{2}}\ell$ for a regular dodecahedron.

The uniform polyhedra, including the regular, quasiregular and semiregular polyhedra and their duals all have midspheres. In the regular polyhedra, the inscribed sphere, midsphere, and circumscribed sphere all exist and are concentric,^[5] and the midsphere touches each edge at its midpoint.^[6]

The centers of four pairwise tangent spheres form the vertices of a Crelle's tetrahedron. Here, four equal spheres form a regular tetrahedron. The midsphere passes through the six points of tangency of these spheres, which in this case form a regular octahedron.

Not every irregular tetrahedron has a midsphere. The tetrahedra that have a midsphere have been called "Crelle's tetrahedra"; they form a four-dimensional subfamily of the six-dimensional space of all tetrahedra (as parameterized by their six edge lengths). More precisely, Crelle's tetrahedra are exactly the tetrahedra formed by the centers of four spheres that are all externally tangent to each other. In this case, the six edge lengths of the tetrahedron are the pairwise sums of the four radii of these spheres.^[7] The midsphere of such a tetrahedron touches its edges at the points where two of the four generating spheres are tangent to each other, and is perpendicular to all four generating spheres.^[8]

Properties edit

Tangent circles edit

If $O$ is the midsphere of a convex polyhedron $P$ , then the intersection of $O$ with any face of $P$ is a circle that lies within the face, and is tangent to its edges at the same points where the midsphere is tangent. Thus, each face of $P$ has an inscribed circle, and these circles are tangent to each other exactly when the faces they lie in share an edge. (Not all systems of circles with these properties come from midspheres, however.)^[1]

Dually, if $v$ is a vertex of $P$ , then there is a cone that has its apex at $v$ and that is tangent to $O$ in a circle; this circle forms the boundary of a spherical cap within which the sphere's surface is visible from the vertex. That is, the circle is the horizon of the midsphere, as viewed from the vertex. The circles formed in this way are tangent to each other exactly when the vertices they correspond to are connected by an edge.^[9]

Duality edit

Cube and dual octahedron with common midsphere

If a polyhedron $P$ has a midsphere $O$ , then the polar polyhedron with respect to $O$ also has $O$ as its midsphere. The face planes of the polar polyhedron pass through the circles on $O$ that are tangent to cones having the vertices of $P$ as their apexes.^[2] The edges of the polar polyhedron have the same points of tangency with the midsphere, at which they are perpendicular to the edges of $P$ .^[10]

Edge lengths edit

For a polyhedron with a midsphere, it is possible to assign a real number to each vertex (the power of the vertex with respect to the midsphere) that equals the distance from that vertex to the point of tangency of each edge that touches it. For each edge, the sum of the two numbers assigned to its endpoints is just the edge's length. For instance, Crelle's tetrahedra can be parameterized by the four numbers assigned in this way to their four vertices, showing that they form a four-dimensional family.^[11]

As an example, the four points (0,0,0), (1,0,0), (0,1,0), and (0,0,1) form one of Crelle's tetrahedra, with three isosceles right triangles and one equilateral triangle for a face. These four points are the centers of four pairwise tangent spheres, with radii ${\tfrac {1}{2}}{\sqrt {2}}\approx 0.707$ for the three nonzero points on the equilateral triangle and $1-{\tfrac {1}{2}}{\sqrt {2}}\approx 0.293$ for the origin. These four numbers (three equal and one smaller) are the four numbers that parameterize this tetrahedron. Three of the tetrahedron edges connect two points that both have the larger radius; the length of these edges is the sum of these equal radii, ${\sqrt {2}}$ . The other three edges connect two points with different radii summing to one.

When a polyhedron with a midsphere has a Hamiltonian cycle, the sum of the lengths of the edges in the cycle can be subdivided in the same way into twice the sum of the powers of the vertices. Because this sum of powers of vertices does not depend on the choice of edges in the cycle, all Hamiltonian cycles have equal lengths.^[12]

Canonical polyhedron edit

A circle packing in the plane (blue) obtained by stereographically projecting the horizon circles on the midsphere of an octahedron. The yellow vertices and red edges represent the octahedron itself, centrally projected onto the midsphere and then stereographically projected onto the plane.

One stronger form of the circle packing theorem, on representing planar graphs by systems of tangent circles, states that every polyhedral graph can be represented by the vertices and edges of a polyhedron with a midsphere. Equivalently, any convex polyhedron can be transformed into a combinatorially equivalent form, with corresponding vertices, edges, and faces, that has a midsphere. The horizon circles of the resulting polyhedron can be transformed, by stereographic projection, into a circle packing in the Euclidean plane whose intersection graph is the given graph: its circles do not cross each other and are tangent to each other exactly when the vertices they correspond to are adjacent.^[13] Although every polyhedron has a combinatorially equivalent form with a midsphere, some polyhedra do not have any equivalent form with an inscribed sphere, or with a circumscribed sphere.^[14]

Any two convex polyhedra with the same face lattice and the same midsphere can be transformed into each other by a projective transformation of three-dimensional space that leaves the midsphere in the same position. This transformation leaves the sphere in place, but moves points within the sphere according to a Möbius transformation.^[15] Any polyhedron with a midsphere, scaled so that the midsphere is the unit sphere, can be transformed in this way into a polyhedron for which the centroid of the points of tangency is at the center of the sphere. The result of this transformation is an equivalent form of the given polyhedron, called the canonical polyhedron, with the property that all combinatorially equivalent polyhedra will produce the same canonical polyhedra as each other, up to congruence.^[16] A different choice of transformation takes any polyhedron with a midsphere into one that maximizes the minimum distance of a vertex from the midsphere. It can be found in linear time, and the canonical polyhedron defined in this alternative way has maximal symmetry among all combinatorially equivalent forms of the same polyhedron.^[17] For polyhedra with a non-cyclic group of orientation-preserving symmetries, the two choices of transformation coincide.^[18] For example, the canonical polyhedron of a cuboid, defined in either of these two ways, is a cube, with the distance from its centroid to its edge midpoints equal to one and its edge length equal to ${\sqrt {2}}$ .^[19]

Construction edit

A numerical approximation to the canonical polyhedron for a given polyhedral graph can be constructed by representing the graph and its dual graph as perpendicular circle packings in the Euclidean plane,^[20] applying a stereographic projection to transform it into a pair of circle packings on a sphere, searching numerically for a Möbius transformation that brings the centroid of the crossing points to the center of the sphere, and placing the vertices of the polyhedron at points in space having the dual circles of the transformed packing as their horizons. However, the coordinates and radii of the circles in the circle packing step can be non-constructible numbers that have no exact closed-form expression using arithmetic and $n$ th-root operations.^[21]

Alternatively, a simpler numerical method for constructing the canonical polyhedron proposed by George W. Hart works directly with the coordinates of the polyhedron vertices, adjusting their positions in an attempt to make the edges have equal distance from the origin, to make the points of minimum distance from the origin have the origin as their centroid, and to make the faces of the polyhedron remain planar. Unlike the circle packing method, this has not been proven to converge to the canonical polyhedron, and it is not even guaranteed to produce a polyhedron combinatorially equivalent to the given one, but it appears to work well on small examples.^[19]

Applications edit

The canonical polyhedron and its polar dual can be used to construct a four-dimensional analogue of an antiprism, one of whose two opposite faces is combinatorially equivalent to any given three-dimensional polyhedron. It is unknown whether every three-dimensional polyhedron can be used directly as a face of a four-dimensional antiprism, without replacing it by its canonical polyhedron, but it is not always possible to do so using both an arbitrary three-dimensional polyhedron and its polar dual.^[1]

Caging an egg edit

The midsphere in the construction of the canonical polyhedron can be replaced by any smooth convex body. Given such a body, every polyhedron has a combinatorially equivalent realization whose edges are tangent to this body. This has been described as "caging an egg": the smooth body is the egg and the polyhedral realization is its cage.^[22] Moreover, fixing three edges of the cage to have three specified points of tangency on the egg causes this realization to become unique.^[23]

Notes edit

^ ^a ^b ^c Grünbaum (2005).
^ ^a ^b Coxeter (1973).
^ Wheeler (1958).
^ Coxeter (1973), Table I(i), pp. 292–293. See column " ${}_{1}\!\mathrm {R} /\ell$ ", where ${}_{1}\!\mathrm {R}$ is Coxeter's notation for the midradius, noting also that Coxeter uses $2\ell$ as the edge length (see p. 2).
^ Coxeter (1973) states this for regular polyhedra; Cundy & Rollett 1961 for Archimedean polyhedra.
^ Pugh (1976).
^ László (2017). The irregular tetrahedra with a midsphere provide a counterexample to an incorrect claim of Pugh (1976): it is not true that only the regular polyhedra have all three of a midsphere, insphere, and circumsphere.
^ Byer & Smeltzer (2015).
^ Ziegler (2007).
^ Cundy & Rollett (1961).
^ László (2017).
^ Fetter (2012).
^ Schramm (1992); Sachs (1994). Schramm states that the existence of an equivalent polyhedron with a midsphere was claimed by Koebe (1936), but that Koebe only proved this result for polyhedra with triangular faces. Schramm credits the full result to William Thurston, but the relevant portion of Thurston's lecture notes [1] Archived 2021-01-21 at the Wayback Machine again only states the result explicitly for triangulated polyhedra.
^ Schramm (1992); Steinitz (1928).
^ Sachs (1994).
^ Ziegler (1995).
^ Bern & Eppstein (2001).
^ Springborn (2005).
^ ^a ^b Hart (1997).
^ Mohar (1993).
^ Bannister et al. (2015).
^ Schramm (1992).
^ Liu & Zhou (2016).

References edit

Aravind, P. K. (March 2011), "How spherical are the Archimedean solids and their duals?", The College Mathematics Journal, 42 (2): 98–107, doi:10.4169/college.math.j.42.2.098, JSTOR 10.4169/college.math.j.42.2.098, MR 2793141, S2CID 116393034, Zbl 1272.97023
Bannister, Michael J.; Devanny, William E.; Eppstein, David; Goodrich, Michael T. (2015), "The Galois complexity of graph drawing: why numerical solutions are ubiquitous for force-directed, spectral, and circle packing drawings", Journal of Graph Algorithms & Applications, 19 (2): 619–656, arXiv:1408.1422, doi:10.7155/jgaa.00349, MR 3430492, Zbl 1328.05128
Bern, M.; Eppstein, D. (2001), "Optimal Möbius transformations for information visualization and meshing", Proceedings of the 7th Workshop on Algorithms and Data Structures, WADS 2001, 8-10 August, Providence, Rhode Island, Lecture Notes in Computer Science, vol. 2125, Springer-Verlag, pp. 14–25, arXiv:cs.CG/0101006, doi:10.1007/3-540-44634-6_3, MR 1936397, Zbl 0997.68536
Byer, Owen D.; Smeltzer, Deirdre L. (2015), "Mutually tangent spheres in $n$ -space", Mathematics Magazine, 88 (2): 146–150, doi:10.4169/math.mag.88.2.146, JSTOR 10.4169/math.mag.88.2.146, MR 3359040, S2CID 125524102, Zbl 1325.51011
Coxeter, H. S. M. (1973), "2.1 Regular polyhedra; 2.2 Reciprocation", Regular Polytopes (3rd ed.), Dover, pp. 16–17, ISBN 0-486-61480-8, MR 0370327
Cundy, H. M.; Rollett, A. P. (1961), Mathematical Models (2nd ed.), Oxford University Press, pp. 79, 117, MR 0124167, Zbl 0095.38001
Fetter, Hans L. (2012), "A polyhedron full of surprises", Mathematics Magazine, 85 (5): 334–342, doi:10.4169/math.mag.85.5.334, JSTOR 10.4169/math.mag.85.5.334, MR 3007214, S2CID 118482074, Zbl 1274.52018
Grünbaum, Branko (2005), "Are prisms and antiprisms really boring? (Part 3)" (PDF), Geombinatorics, 15 (2): 69–78, MR 2298896, Zbl 1094.52007
Hart, George W. (1997), "Calculating canonical polyhedra", Mathematica in Education and Research, 6 (3): 5–10
Koebe, Paul (1936), "Kontaktprobleme der Konformen Abbildung", Ber. Sächs. Akad. Wiss. Leipzig, Math.-Phys. Kl., 88: 141–164, JFM 62.1217.04, Zbl 0017.21701
László, Lajos (2017), "An inequality and some equalities for the midradius of a tetrahedron" (PDF), Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, 46: 165–176, MR 3722672, Zbl 1399.51014
Liu, Jinsong; Zhou, Ze (2016), "How many cages midscribe an egg", Inventiones Mathematicae, 203 (2): 655–673, arXiv:1412.5430, Bibcode:2016InMat.203..655L, doi:10.1007/s00222-015-0602-z, MR 3455159, S2CID 253741720, Zbl 1339.52010
Mohar, Bojan (1993), "A polynomial time circle packing algorithm", Discrete Mathematics, 117 (1–3): 257–263, doi:10.1016/0012-365X(93)90340-Y, MR 1226147, Zbl 0785.52006
Pugh, Anthony (1976), Polyhedra: A Visual Approach, University of California Press, p. 4, ISBN 9780520030565, MR 0451161, Zbl 0387.52006
Sachs, Horst (1994), "Coin graphs, polyhedra, and conformal mapping", Discrete Mathematics, 134 (1–3): 133–138, doi:10.1016/0012-365X(93)E0068-F, MR 1303402, Zbl 0808.05043
Schramm, Oded (1992), "How to cage an egg", Inventiones Mathematicae, 107 (3): 543–560, Bibcode:1992InMat.107..543S, doi:10.1007/BF01231901, MR 1150601, S2CID 189830473, Zbl 0726.52003
Springborn, Boris A. (2005), "A unique representation of polyhedral types: Centering via Möbius transformations", Mathematische Zeitschrift, 249 (3): 513–517, arXiv:math/0401005, doi:10.1007/s00209-004-0713-5, MR 2121737, S2CID 7624380, Zbl 1068.52015
Steinitz, E. (1928), "Über isoperimetrische Probleme bei konvexen Polyedern", Journal für die reine und angewandte Mathematik, 1928 (159): 133–143, doi:10.1515/crll.1928.159.133, JFM 54.0527.04, MR 1581158, S2CID 199546274
Wheeler, Roger F. (December 1958), "25. Quadrilaterals", Classroom Notes, The Mathematical Gazette, 42 (342): 275–276, doi:10.2307/3610439, JSTOR 3610439, S2CID 250434576
Ziegler, Günter M. (1995), Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152, Springer-Verlag, pp. 117–118, doi:10.1007/978-1-4613-8431-1, ISBN 0-387-94365-X, MR 1311028, Zbl 0823.52002
Ziegler, Günter M. (2007), "Convex polytopes: extremal constructions and $f$ -vector shapes", in Miller, Ezra; Reiner, Victor; Sturmfels, Bernd (eds.), Geometric Combinatorics, IAS/Park City Mathematics Series, vol. 13, Providence, Rhode Island: American Mathematical Society, pp. 617–691, arXiv:math/0411400, doi:10.1090/pcms/013/10, MR 2383133, Zbl 1134.52018

[FOOTNOTEGrünbaum2005-1] Grünbaum (2005).

[FOOTNOTECoxeter1973-2] Coxeter (1973).

[FOOTNOTEWheeler1958-3] Wheeler (1958).

[4] Coxeter (1973), Table I(i), pp. 292–293. See column " ${}_{1}\!\mathrm {R} /\ell$ ", where ${}_{1}\!\mathrm {R}$ is Coxeter's notation for the midradius, noting also that Coxeter uses $2\ell$ as the edge length (see p. 2).

[5] Coxeter (1973) states this for regular polyhedra; Cundy & Rollett 1961 for Archimedean polyhedra.

[FOOTNOTEPugh1976-6] Pugh (1976).

[7] László (2017). The irregular tetrahedra with a midsphere provide a counterexample to an incorrect claim of Pugh (1976): it is not true that only the regular polyhedra have all three of a midsphere, insphere, and circumsphere.

[FOOTNOTEByerSmeltzer2015-8] Byer & Smeltzer (2015).

[FOOTNOTEZiegler2007-9] Ziegler (2007).

[FOOTNOTECundyRollett1961-10] Cundy & Rollett (1961).

[FOOTNOTELászló2017-11] László (2017).

[FOOTNOTEFetter2012-12] Fetter (2012).

[13] Schramm (1992); Sachs (1994). Schramm states that the existence of an equivalent polyhedron with a midsphere was claimed by Koebe (1936), but that Koebe only proved this result for polyhedra with triangular faces. Schramm credits the full result to William Thurston, but the relevant portion of Thurston's lecture notes [1] Archived 2021-01-21 at the Wayback Machine again only states the result explicitly for triangulated polyhedra.

[14] Schramm (1992); Steinitz (1928).

[FOOTNOTESachs1994-15] Sachs (1994).

[FOOTNOTEZiegler1995-16] Ziegler (1995).

[FOOTNOTEBernEppstein2001-17] Bern & Eppstein (2001).

[FOOTNOTESpringborn2005-18] Springborn (2005).

[FOOTNOTEHart1997-19] Hart (1997).

[FOOTNOTEMohar1993-20] Mohar (1993).

[FOOTNOTEBannisterDevannyEppsteinGoodrich2015-21] Bannister et al. (2015).

[FOOTNOTESchramm1992-22] Schramm (1992).

[FOOTNOTELiuZhou2016-23] Liu & Zhou (2016).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]