Next Article in Journal
Some Partitioned Maclaurin Symmetric Mean Based on q-Rung Orthopair Fuzzy Information for Dealing with Multi-Attribute Group Decision Making
Previous Article in Journal
Time-Dependent Behavior of a Circular Symmetrical Tunnel Supported with Rockbolts
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some New Symmetric Equilateral Embeddings of Platonic and Archimedean Polyhedra

1
Department of Applied Mathematics, Computer Science and Statistics, Ghent University, B-9000 Gent, Belgium
2
California Nanosystems Institute and Department of Psychology, University of California, Los Angeles, CA 90095, USA
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(9), 382; https://doi.org/10.3390/sym10090382
Submission received: 11 August 2018 / Revised: 2 September 2018 / Accepted: 3 September 2018 / Published: 5 September 2018

Abstract

:
The icosahedron and the dodecahedron have the same graph structures as their algebraic conjugates, the great dodecahedron and the great stellated dodecahedron. All four polyhedra are equilateral and have planar faces—thus “EP”—and display icosahedral symmetry. However, the latter two (star polyhedra) are non-convex and “pathological” because of intersecting faces. Approaching the problem analytically, we sought alternate EP-embeddings for Platonic and Archimedean solids. We prove that the number of equations—E edge length equations (enforcing equilaterality) and 2 E 3 F face (torsion) equations (enforcing planarity)—and of variables ( 3 V 6 ) are equal. Therefore, solutions of the equations up to equivalence generally leave no degrees of freedom. As a result, in general there is a finite (but very large) number of solutions. Unfortunately, even with state-of-the-art computer algebra, the resulting systems of equations are generally too complicated to completely solve within reasonable time. We therefore added an additional constraint, symmetry, specifically requiring solutions to display (at least) tetrahedral symmetry. We found 77 non-classical embeddings, seven without intersecting faces—two, four and one, respectively, for the (graphs of the) dodecahedron, the icosidodecahedron and the rhombicosidodecahedron.

1. Introduction

Mathematicians have long been fascinated by the symmetry and regularity of certain three-dimensional solids. The ancient Greeks found five regular (or “Platonic”) solids, convex polyhedra with congruent, regular polygonal faces and the same number of faces at each vertex [1]. Permitting regular star polygons as faces or vertex figures, Kepler [2] and Poinsot [3] obtained four regular but non-convex polyhedra with the same graphs as the Platonic solids. Permitting more than one type of face, but still requiring identical vertices, regular faces, full symmetry and convexity, the Greeks and later Johannes Kepler found the 13 semi-regular (or “Archimedean”) solids [1]. With identical vertices, these polyhedra are all described as “uniform”. In 1954, Coxeter and his colleagues [4] described an additional 53 uniform, semi-regular but non-convex polyhedra with the same graphs as the Archimedean solids. Geometrically, the point groups of all of these 75 solids—tetrahedral, octahedral and icosahedral—comprise the “polyhedral” symmetries [1]. Moreover, all of these solids have the full combinatorial symmetry of their graphs.
However, Coxeter and his colleagues neglected a potentially rich vein of uniform solids with the same graphs as the five regular and 13 semi-regular solids but with less than full geometric symmetry. Here, we begin to explore that vein: We still require equally long edges and planar faces—“equiplanarity” (“EP”)—and allow both convex and non-convex geometries, but we drop the requirement for regular faces. We apply exclusively analytic methods to the construction of these lower symmetric, EP-embeddings of the Platonic and Archimedean polyhedra. We show that the EP requirement is a natural one from a mathematical point of view. Based on methods of algebraic geometry, we also show that the analytical solutions become more difficult and more numerous as symmetry order is reduced and as numbers of vertices increase. Indeed, we are able to find all equiplanar solutions for many (but not all) of the icosahedral, octahedral and tetrahedral, regular and semi-regular solids reduced to geometric T d , T h and T symmetry. These new methods provide the foundation for exploring the new vein much further for still lower symmetry, for larger and for non-uniform solids, with numerical methods.
Note. We provide a website with interactive three-dimensional models of the results of Section 6 and Section 7 at URL http://caagt.ugent.be/ep-embeddings/.

2. Definitions and Preliminaries

To properly define what is meant by an “equilateral solid”, we need to consider the planar graph (or cage) formed by the vertices, edges and faces of a solid and the coordinates of its vertices in space:
Definition 1.
Let Γ denote a three-connected planar graph. Let μ denote an embedding of Γ into three-dimensional Euclidian space, i.e., a function that maps vertices of Γ onto coordinate triplets in R 3 . We call μ equiplanarized, or an EP-embedding in short, if and only if it satisfies the following properties:
  • The Euclidian distance d ( μ ( v 1 ) , μ ( v 2 ) ) is the same for every edge v 1 v 2 of Γ, i.e., all edges in the embedding have the same length.
  • If vertices v 1 , v 2 , , v k belong to the same face of V, then μ ( v 1 ) , μ ( v 2 ) , , μ ( v k ) lie in the same plane, i.e., all faces in the embedding are planar.
Note that the set of vertices, edges and faces in three-dimensional space that results from an EP-embedding does not always form a polyhedron in the strict sense. For example, Definition 1 does not require the set of points to be convex. It does not exclude coplanar faces, collinear edges and intersecting edges and faces. In full generality, the definition even allows different vertices of Γ to map to the same point in three-dimensional space.
We are interested in determining all EP-embeddings for a given planar graph Γ . To tackle this problem, we set up a system of equations (which we call the EP-equations for Γ ) that correspond to Definition 1. For this purpose, we assign coordinates ( x i , y i , z i ) to each vertex v i of Γ and express the defining properties of an EP-embedding as equations with the variables x 1 , y 1 and z 1 , x 2 , y 2 and z 2 , … as unknowns. There are exactly 3 V coordinates, where V denotes the number of vertices of Γ .
Before we proceed, it is important to define at what point we consider two embeddings to be the same. For example, we may embed the complete graph on four vertices as a tetrahedron with vertex coordinates ( 1 , 1 , 1 ) , ( 1 , 1 , 1 ) , ( 1 , 1 , 1 ) and ( 1 , 1 , 1 ) , but we can also use the following coordinates instead: ( 2 , 2 , 2 ) , ( 2 , 0 , 0 ) , ( 0 , 2 , 0 ) and ( 0 , 0 , 2 ) , obtained from the first by adding ( 1 , 1 , 1 ) to each point. Essentially, the second embedding is obtained by translating the result of the first to a different position. These two embeddings are therefore considered equivalent.
Similarly, the embedding with coordinates ( 1 , , 1 , 1 ) , ( 1 , 1 , 1 ) , ( 1 , 1 , 1 ) and ( 1 , 1 , 1 ) are again considered “the same” as the original, because it corresponds to a reflection of the original about one of the coordinate planes. More formally:
Definition 2.
Two EP-embeddings are equivalent (or isometric) if one can be obtained from the other by applying an isometry, i.e., a translation and/or rotation and/or reflection.
Note that rescaling an embedding (by a factor other than ± 1 ) is not considered an equivalence by Definition 2. For our purposes, this is not really relevant, as we always fix a side length of an EP-embedding beforehand. An embedding can be translated with three degrees of freedom and rotated with a further three degrees of freedom. This is important when we count distinct (i.e., nonequivalent) solutions of the EP-equations below.
We consider two types of EP-equation: edge equations and face equations.
  • For each edge v i v j of Γ , the following edge equation needs to be satisfied:
    ( x j x i ) 2 + ( y j y i ) 2 + ( z j z i ) 2 = L 2 .
    The constant L denotes the edge length of the embedding. We can always choose L = 1 , but in some cases it turns out that other values of L lead to solutions that are more elegant. There are E equations of this type, where E is the number of edges of Γ .
  • If the vertices v i , v j , v k , form a face of Γ , then the planarity condition holds for that face if and only if the following matrix
    x i x j x k y i y j y k z i z j z k 1 1 1
    has rank at most 3. In terms of equations, this condition can be expressed as the following face equation
    x i x j x k x l y i y j y k y l z i z j z k z l 1 1 1 1 = 0 ,
    for every quadruple v i , v j , v k , v l of vertices in a face.
The face equations for a given face are not algebraically independent. They form a variety of dimension n 3 , where n is the number of vertices in the face. Intuitively, n 3 corresponds to the fact that three of the vertices of a planar n-gon can be chosen freely in three-dimensional space, but for every subsequent vertex we need to impose the condition that it lies in the plane spanned by the first three. However, this argument only works if it is certain that the first three vertices chosen are not collinear. As we are working with unknown coordinates, this condition cannot easily be guaranteed. (In practice, we always use either n versions of Equation (3) or else formulate the fact that the matrix in Equation (2) has rank at most 3 in a different way.)
In short, the number of restrictions imposed by the face equations is equal to n 3 for each n-gonal face, which summed over all faces of Γ amounts to 2 E 3 F , where F is the number of faces of Γ .
Summing up, we obtain a system of equations with 3 E 3 F restrictions on 3 V unknowns, yielding a total of 3 V 3 E + 3 F degrees of freedom. Using Euler’s formula V E + F = 2 for planar graphs, we see that this number is exactly 6. Because six degrees of freedom provide three translations and three rotations, the solutions of the EP-equations up to equivalence generally leave no further degrees of freedom.
An alternative approach to the issue of equivalence is to restrict the solutions as follows:
  • Fix the coordinates of v 1 to be ( 0 , 0 , 0 ) . Indeed, if there is a solution, then we can always move it so that v 1 has exactly these coordinates.
  • Similarly, we may fix v 2 to be of the form ( x 2 , 0 , 0 ) , for we can always rotate a solution in such a way that v 1 v 2 becomes the X-axis.
  • Finally, we can choose v 3 to be of the form ( x 3 , y 3 , 0 ) by rotating the plane v 1 v 2 v 3 around the X-as so that it coincides with the X Y -plane.
This method drops the variables x 1 , y 1 , z 1 , y 2 , z 2 and z 3 from the EP-equations, yielding 3 V 6 variables in all, the same as the number of EP-equations.
Consequently, if the equations for a given polyhedron have no further dependencies, then we expect there to be a finite number of inequivalent solutions. An upper bound for this number of solutions can be derived from Bézout’s theorem: the edge equations are of degree 2, and the face equations are of degree 3, so the total number of solutions (counting multiplicities) is equal to 2 E 3 2 E 3 F = 18 E / 27 F , usually a huge number.
Of course, this bound is only a very rough approximation. Many of the solutions have values for the unknowns that are complex numbers and often the same solution is obtained more than once because of roots with higher multiplicity. In addition, solutions usually come in isometric pairs, where one solution is an inversion of the other with respect to the origin (unless the solution itself has mirror symmetry). Indeed, the equations are invariant under a simultaneous sign change of all unknowns.
Although this is mostly a philosophical issue, we are convinced that the fact that the numbers of equations and variables are equal is an indication that the notion of equiplanarity is a proper mathematical notion to pursue.
We must however point out that, although the system of EP-equations is well-constrained, there is no guarantee that the solution space is zero-dimensional. In other words, it is certainly possible that for a given planar graph the equations have further algebraic dependencies, making the story more complicated. The primary example of a case with dependent equations is the cube. Indeed, every parallelepiped with edges of the same length is a valid EP-embedding of a cube, and there is a three-fold infinity of those solutions. The same phenomenon occurs with other zonohedra. Except in very simple cases, it is very hard to determine the dimension of the solution manifold a priori, except by producing the actual solutions.
In [5], a different method is used to determine the EP-embeddings of cubic (=trivalent) planar graphs, letting the internal angles of the polygonal faces serve as unknowns instead of the vertex coordinates, but the conclusion was the same: equal numbers of equations and degrees of freedom.

3. Analytic Solutions

Whereas, in [5], mostly numerical methods are employed, in the present paper, we concentrate on finding the analytic (exact) solutions of the EP-equations. (One disadvantage of solving the equations numerically is that it is very hard to guarantee that all solutions have been found.) Unfortunately, finding all analytic solutions to the EP-equations is only possible in small cases. To illustrate some of the difficulties that may be encountered in the attempt, we determine all EP-embeddings of the octahedron. The corresponding planar graph Γ is depicted as a Schlegel diagram in Figure 1a.
Without loss of generality, we may fix the coordinates of one of the equilateral triangles to be ( 1 , 0 , 0 ) , ( 0 , 1 , 0 ) and ( 0 , 0 , 1 ) . This makes the edge length L equal to 2 . This choice already removes the six degrees of freedom that stem from translations or rotations. Note however that for each solution there is still a second (isometric) solution that arises from a reflection about the plane X + Y + Z = 1 that contains the chosen triangle.
Three vertices remain to be assigned coordinates, for a total of nine unknowns. We use the unknowns a 0 , a 1 , a 2 , …, c 0 , c 1 , and c 2 as indicated in the diagram. Our special choice of coordinates for the first triangle already ensures us that 3 of the 12 edges have the correct length. We introduce nine edge equations for the remaining edges:
( a 0 1 ) 2 + b 0 2 + c 0 2 = 2 , a 0 2 + b 0 2 + ( c 0 1 ) 2 = 2 , ( a 0 b 2 ) 2 + ( b 0 c 2 ) 2 + ( c 0 a 2 ) 2 = 2 , ( a 1 1 ) 2 + b 1 2 + c 1 2 = 2 , a 1 2 + b 1 2 + ( c 1 1 ) 2 = 2 , ( a 1 b 0 ) 2 + ( b 1 c 0 ) 2 + ( c 1 a 0 ) 2 = 2 , ( a 2 1 ) 2 + b 2 2 + c 2 2 = 2 , a 2 2 + b 2 2 + ( c 2 1 ) 2 = 2 , ( a 2 b 1 ) 2 + ( b 2 c 1 ) 2 + ( c 2 a 1 ) 2 = 2 .
Because the faces are triangles, faces are automatically planar, hence there are no face equations in this case.
There are thus nine quadratic equations in nine variables. Assuming the equations are independent, we expect 512 = 2 9 solutions. Fortunately, it turns out that many of these solutions are identical.
Although it is possible to solve the system of Equation (4) by hand, we have instead chosen to use a computer algebra system to compute the solutions. In particular, we have used the program Singular [6] through the general purpose system Sage [7]. Using an automated method ensures that we do not forget any special cases.
According to the computer algebra system, there are eight cases to consider, depending on whether each of the values for c 0 , c 1 and c 2 is equal to or different from 0. The cases where either none or all of these unknowns are zero yield one solution each:
a 0 a 1 a 2 b 0 b 1 b 2 c 0 c 1 c 2 0 0 0 1 1 1 0 0 0 4 3 4 3 4 3 1 3 1 3 1 3 4 3 4 3 4 3
These correspond to the classical embedding of the octahedron and its reflection with respect to the plane X + Y + Z = 1 .
Each of the other six cases have an infinity of solutions. When exactly one of c 0 , c 1 , c 2 is zero, say c 0 = 0 , then one pair of opposite points of the octahedral graph coincide in the embedding, i.e., ( b 0 , c 0 , a 0 ) = ( 1 , 0 , 0 ) . Consequently, the eight faces collapse into four coincident pairs, yielding a configuration with four equilateral triangles through a common vertex. The relative position of these triangles can be chosen with one degree of freedom.
When two of c 0 , c 1 , c 2 are zero, there are two coincident point pairs and the entire configuration collapses to two equilateral triangles through a common edge, again with a single degree of freedom. This configuration is essentially a special case of the above.
Finally, when c 0 = c 1 = c 2 = 0 we do not only find the classical solution given before, but also the solution where three opposite point pairs coincide and all eight faces are mapped to the same triangle. Again, this embedding is a special case of the above.
This example illustrates that solving the EP-equations for even a simple planar graph Γ is already non-trivial and may lead to many solutions that are of little interest. The situation becomes even worse when there are non-triangular faces, because then also face equations are needed, and these are cubic equations (as opposed to quadratic equations for the edges).
Fortunately, in the case of quadrangles, the face equation can be reduced to linear equations. Indeed, in an equilateral quadrangle opposite sides must be parallel. There are two cases. Either the vectors representing opposite sides have the same direction, and then we find
x 1 + x 3 = x 2 + x 4 , y 1 + y 3 = y 2 + y 4 , z 1 + z 3 = z 2 + z 4 ,
where subsequent vertices of the quadrangle are given coordinates ( x 1 , y 1 , z 1 ) , , ( x 4 , y 4 , z 4 ) , or vectors representing opposite sides have opposite direction, in which case one pair of opposite points coincides. Therefore, if we are only interested in EP-embeddings that have no coincident points, the face equation for a quadrangle can be replaced by the system in Equation (5). Unfortunately, no such simplifications are possible for faces with more than four sides.

4. Algebraic Conjugacy

In what follows, let ϕ = ( 1 + 5 ) / 2 denote the golden ratio. Note that ϕ satisfies ϕ 2 = ϕ + 1 and 1 / ϕ = ϕ 1 .
Consider the embedding of the pentagonal pyramid in Figure 1b. We claim that this embedding is equiplanar. As proof, we must show that all edges have the same length and that the pentagonal base of the pyramid is planar.
Now, it is easily verified that the difference in coordinates between two adjacent vertices is always of the form ( 0 , ± 2 , 0 ) or ( ± 1 , ± ϕ , ± ( ϕ 1 ) ) or a permutation of these. Because 1 2 + ϕ 2 + ( ϕ 1 ) 2 = 4 , all edges have length 4 = 2 . It is also easily checked that all vertices of the pentagonal base lie in the plane with equation X + ϕ Z = ϕ , the only nontrivial case being the vertex ( 1 , 0 , ϕ ) for which X + ϕ Z = ϕ 2 1 , which is indeed equal to ϕ . (This solution is depicted in Figure 2a.)
It is important to note that in this reasoning we have not used the actual value of ϕ but only the fact that ϕ 2 = ϕ + 1 . Consequently, if we substitute ϕ by another root of the equation x 2 = x + 1 , the result is again an EP-embedding.
The other root is equal to ϕ ¯ = 1 ϕ = ( 1 5 ) / 2 , the algebraic conjugate of ϕ . Hence, there is a second EP-embedding of the same graph, obtained from the first, by replacing ϕ by ϕ ¯ in the coordinates everywhere. We call this embedding an algebraic conjugate of the first embedding. It is a pyramid with a base that is a pentagram instead of a pentagon (Figure 2b).
In general, because the EP-equations are polynomial and have rational coefficients, their solutions have coordinates that lie in some finite extension K of the field of rational numbers Q . (In the example above, K = Q [ ϕ ] .) If K Q , which is mostly the case, solutions always have algebraic conjugates because the Galois group of K is then non-trivial. The same phenomenon occurs with other well-known solids with five-fold symmetry. For example, the classical EP-embedding of an icosahedron (Figure 2c) uses the following coordinates for the 12 vertices:
( ± 1 , 0 , ± ϕ ) , ( 0 , ± ϕ , ± 1 ) , ( ± ϕ , ± 1 , 0 ) .
(The edge lengths are again 2.) The algebraic conjugate of this embedding has coordinates
( ± 1 , 0 , ± ϕ ¯ ) , ( 0 , ± ϕ ¯ , ± 1 ) , ( ± ϕ ¯ , ± 1 , 0 )
and corresponds to a great dodecahedron (Figure 2d). Similar to the icosahedron, the great dodecahedron consists of 20 equilateral triangles (which this time cut straight through the body of the solid) with five triangles in each vertex. The vertex figure is a pentagram instead of a pentagon.
Similarly, the classical EP-embedding of a dodecahedron uses the following coordinates for its 20 vertices:
( ± ϕ , ± ϕ , ± ϕ ) , ( ± 1 , 0 , ± ϕ 2 ) , ( 0 , ± ϕ 2 , ± 1 ) , ( ± ϕ 2 , ± 1 , 0 ) .
(Again, it has edge length 2.) If we replace every occurrence of ϕ by ϕ ¯ in these coordinates, we obtain an algebraic conjugate embedding that corresponds to the great stellated dodecahedron (Figure 2e,f). The 12 pentagonal faces of the dodecahedron are now transformed into 12 pentagrams, three in each vertex.
Algebraic conjugation does not always yield a new (=inequivalent) embedding. Consider the EP-embedding of the tetrahedron where the vertices are mapped to the following coordinates:
( 1 , 0 , 0 ) , ( 1 2 , 3 2 , 0 ) , ( 1 2 , 3 2 , 0 ) , ( 0 , 0 , 3 ) .
(The first three vertices form an equilateral triangle in the plane Z = 0 with center ( 0 , 0 , 0 ) , the fourth vertex lies on the Z-axis. Edge lengths are 2.) In this case, algebraic conjugation amounts to interchanging + 3 and 3 . This interchange yields a tetrahedron that can be obtained from the first one by a rotation of 180 around the X-axis.
The examples provided in this section might give the reader the impression that an embedding can have at most one algebraic conjugate but in Section 6 we encounter examples in which the sign of both 2 and 5 can be changed independently, providing three conjugates besides the original. In fact, algebraic conjugates need not arise from square roots only. They can also be produced from polynomial equations of degree larger than 2. The number of conjugates then depends on the Galois group of those equations. It is also possible that some of the conjugates can be embedded in real Euclidian space, while others have coordinates in complex numbers.

5. Symmetric Solutions

In Section 3, we manage to obtain all EP-embeddings for the graph of the octahedron. In Section 2, we mention that there is a threefold infinity of EP-embeddings of the graph of the cube. It is also fairly easy to see that the regular tetrahedron is the only EP-embedding of the complete graph on four vertices.
From these examples, the reader might get the impression that finding the EP-embedings of most well-known polyhedral graphs is a simple matter of setting up the correct EP-equations and handing them to a computer algebra system. Unfortunately, it turns out that already for small graphs the EP-equations are too complex and too high in number for even the current state of the art in computer algebra systems. At this moment we have not yet succeeded in solving the EP-equations for the icosahedron (a system of 30 equations) in full generality, let alone those of the dodecahedron (54 equations).
Although it is generally not feasible to obtain all analytic solutions for a given set of EP-equations, it remains possible to find some of them by adding some additional constraints. In this paper, we impose a certain symmetry on the results. In other words, we only seek those solutions that have a given symmetry group acting on them. This group is necessarily a subgroup of the full symmetry group of the original graph.
The graphs that we consider in this paper are the graphs of the Platonic and Archimedean solids. These solids have full symmetry groups of type I h , I, O h , O or T d . However, the symmetry group that we impose on the embedding is not the full symmetry group of these graphs, but rather the chiral tetrahedral group T, which is a subgroup of all these groups.
In the following pages, we use a schematic representation of the group T and its action on three-dimensional space as presented in Figure 3a. The four triangles in this picture represent the faces of a regular tetrahedron (the reference tetrahedron) that is “folded open”. The three points marked ( 1 , 1 , 1 ) and joined by dashed arcs, actually indicate the same point in three-dimensional space. Similarly, each pair of outer edges in the picture (e.g., the two top horizontal edges) corresponds to the same edge in three-dimensional space.
The group T consists of the identity, three rotations of order 2 (with a rotation angle of π ) and eight rotations of order 3 (with a rotation angle of ± 2 π / 3 ). The three rotations of order 2 are shown as green arrows in the picture and have the X-, Y- and Z-axes as rotation axes. These axes intersect the midpoints of the edges of the reference tetrahedron. These rotations have a simple representation in terms of coordinates:
σ X : ( x , y , z ) ( x , y , z ) , σ Y : ( x , y , z ) ( x , y , z ) , σ Z : ( x , y , z ) ( x , y , z ) .
The eight rotations of order 3 are shown as blue double arrows in the picture. Their axes go through the centers of the four faces of the reference tetrahedron and, although not immediately apparent in the picture, also through the opposite vertex. The rotation with axis through ( 1 , 1 , 1 ) , i.e., the central blue arrow in the picture, acts by “shifting” the coordinates:
ρ : ( x , y , z ) ( y , z , x ) , ρ 2 = ρ 1 : ( x , y , z ) ( z , x , y ) .
There are several ways to extend T to a larger point group (of which T is a subgroup):
  • Extending T with the inversion ( x , y , z ) ( x , y , z ) yields the pyritohedral group T h . This group contains (among other elements) the three mirror symmetries with respect to the coordinate planes, mapping ( x , y , z ) to ( x , y , z ) , ( x , y , z ) and ( x , y , z ) , respectively.
  • Extending T with the coordinate transpositions ( x , y , z ) ( y , x , z ) , ( x , y , z ) ( z , y , x ) and ( x , y , z ) ( x , z , y ) yields the full tetrahedral group T d . The coordinate transpositions are mirror symmetries with respect to the planes X = Y , Y = Z and Z = X .
  • Doing both extensions above at the same time yields the full octahedral group O h . This group contains (among other elements) six rotations of order 4 (i.e., with a rotation angle of π / 2 ), with the X-, Y- and Z-axes as rotation axes:
    ρ X : ( x , y , z ) ( x , z , y ) ,     ρ X 1 : ( x , y , z ) ( x , z , y ) , ρ Y : ( x , y , z ) ( z , y , x ) ,     ρ Y 1 : ( x , y , z ) ( z , y , x ) , ρ Z : ( x , y , z ) ( y , x , z ) ,     ρ Z 1 : ( x , y , z ) ( y , x , z ) .
  • Extending T with the rotations above, but not with any of the mirror symmetries, yields the chiral octahedral group O.
In addition, the icosahedral groups I h (full) and I (chiral) have T as a subgroup. They can be obtained by extending T h or T by a rotation of order 5 (with a rotation angle of 2 π / 5 ). This rotation does not have an elegant representation in the coordinate system that we have chosen here.
The group T has three different types of orbit on the points of the three-dimensional space (excluding the trivial orbit that only contains the center of symmetry).
A first type consists of four points that lie on the four axes of three-fold rotation. These points have coordinates of the form ( ± a , ± a , ± a ) even , where the subscript “even” indicates that of the eight choices of signs, we only consider those with an even number of minus signs. Figure 3b,c shows two different representations of these points. The fact that we use a two-dimensional representation of a three-dimensional set of points, together with the “folding open” of the reference tetrahedron, might be a bit confusing at first. The reader should think of each point on the picture as representing all points in three-dimensional space on a line through the origin. This explains why the point ( a , a , a ) is placed in the same position as the vertex ( 1 , 1 , 1 ) of the reference tetrahedron, although in general this is not the same point. Moreover, the line connecting ( a , a , a ) with the origin intersects the tetrahedron twice, once in a vertex, but also once in the center of the opposite face. In Figure 3c, we have chosen the center of a face to represent the line.
Note that a can also be negative. It might help to think of both representations as corresponding to a different sign of a (and each point representing only half a line). If we extend T to T d , O or O h , then two orbits of this type collapse to a single orbit of six points, with coordinates of the form ( ± a , ± a , ± a ) , without sign restrictions.
A second type of orbit has size 6 and corresponds to points on the axes of twofold rotation. Their coordinates are of the form
( ± b , 0 , 0 ) , ( 0 , ± b , 0 ) , ( 0 , 0 , ± b ) ,
as shown in Figure 3d. Note that the points with “negative” coordinates are shown twice, as indicated by the dashed arcs (but recall that b is allowed to be a negative number). Orbits of this type remain the same when we extend the group to either of the tetrahedral or octahedral groups.
The third type of orbit is that of a general point. This orbit has size 12 and contains points with coordinates ( ± x , ± y , ± z ) even , ( ± z , ± x , ± y ) even or ( ± y , ± z , ± x ) even . This orbit is represented in Figure 3e. In general, two orbits of this type collapse to a single orbit of size 24 when T is extended to T d , T h or O, and four orbits collapse to an orbit of size 48 when T is extends to O h . There are however some specific cases, in which the orbits remain smaller:
  • The orbit size for the point ( 0 , y , y ) remains 12 in all cases.
  • The orbit size for the point ( x , y , y ) , with x 0 , y remains 12 for T h and becomes 24 for T d , O and O h .
  • The orbit size for the point ( 0 , y , z ) , with 0 y z 0 , y remains 12 for T d and becomes 24 for T h , O and O h .

6. Archimedean and Platonic Solids

We now use the information of the previous section to set up the EP-equations with forced tetrahedral symmetry for all Platonic and Archimedean solids. In Table 1, we list these uniform solids with their names and vertex configurations, i.e., the sizes of the faces that occur at each vertex, e.g., in a rhombicuboctahedron (3.4.5.4), each vertex is contained in a triangle, a square, a pentagon and a square, in that order. We treat the various cases in increasing order of complexity of the EP-equations. (This roughly corresponds to the increasing number of vertices and number of edges, but the occurrence of quadrangular faces reduces the complexity somewhat.)
Imposing symmetry on the solutions reduces the number of variables and equations substantially. Instead of setting up edge and face equations for all edges and faces, we need to do so only for one edge or face per orbit of the group T. Similarly, the variables in the equations now correspond to the coordinates of only one vertex per orbit instead of all vertices.
Table 2, Table 3 and Table 4 list the number of orbits of group T of each type for all Platonic and Archimedean solids. The bottom section of each table contains a “measure of difficulty” for the EP-equations that need to be solved in each case. The row marked “Variables” contains the number of variables in the equations after simplification. The row marked “Bézout” contains the products of the degrees of the equations.
In the pictures that accompany the various cases on the following pages (Figure 4), we have used colors to indicate the different orbits of vertices and edges. (For each face orbit, we highlight only a single representative face.) In these pictures we use a condensed notation for coordinates: we drop parentheses and commas (instead of ( x , y , z ) we write x y z ) and the minus sign is replaced by a bar (for ( x , y , z ) we write x ¯ y ¯ z ¯ ).
These orbits are not too hard to compute explicitly, but each case needs to be treated separately. A reader familiar with the topic can easily reproduce our results, for instance by reasoning on a three-dimensional model.
Note. We provide a website with three-dimensional models of all the embedded polyhedra that are reported in this and the following section (http://caagt.ugent.be/ep-embeddings/). The models can be rotated to give a clear impression of their three-dimensional structure.
Tetrahedron (3.3.3) The four vertices of the (graph of the) tetrahedron form a single orbit of T. If the EP-embedding is to be invariant for T, then the coordinates of these vertices must be of the form ( ± a , ± a , ± a ) even , as explained in Section 5. Every vertex is connected to every other vertex by an edge. The edges form a single orbit of T, and hence there is only a single edge equation. Because the faces are triangles, there are no face equations.
For an edge length L = 8 , the edge equation becomes 8 a 2 = 8 with two solutions a = ± 1 . (The edge lengths are chosen differently for each case to reduce the number of square roots in the solutions.) These solutions correspond to two EP-embeddings: one with vertex coordinates ( ± 1 , ± 1 , ± 1 ) even , and the other with vertex coordinates ( ± 1 , ± 1 , ± 1 ) odd . Both embeddings are equivalent: one is mapped to the other by the inversion ( x , y , z ) ( x , y , z ) .
Octahedron (3.3.3.3). The six vertices of the (graph of the) octahedron form a single orbit and therefore map to coordinates ( ± b , 0 , 0 ) , ( 0 , ± b , 0 ) and ( 0 , 0 , ± b ) , as explained in Section 5. The edges form a single orbit, where ( b , 0 , 0 ) · ( 0 , b , 0 ) is a typical edge. This representation leads to a single edge equation 2 b 2 = 2 (this time we choose edge length L = 2 ). There are no face equations. Both solutions b = ± 1 lead to the same result, i.e., the regular octahedron with vertices ( ± 1 , 0 , 0 ) , ( 0 , ± 1 , 0 ) and ( 0 , 0 , ± 1 ) .
Cube (4.4.4). The eight vertices of the (graph of the) cube form two orbits of size 4, as denoted by filled and unfilled vertices in Figure 4a, with coordinates ( a , a , a ) even and ( c , c , c ) even . (They form a single orbit under the full automorphism group of the graph, but here we only consider the subgroup T.) The 12 edges form a single orbit, where ( a , a , a ) · ( c , c , c ) is a typical edge. This leads to the edge equation
( a c ) 2 + 2 ( a + c ) 2 = 4 ,
with edge length L = 2 . There is also a single orbit of quadrangular faces.
Following Section 3, if we are not interested in embeddings with coincident points, we may use Equation (5) to simplify the corresponding face equation to 2 c = 2 a . This simplification yields the solutions ( a , c ) = ± ( 1 , 1 ) , both corresponding to the “classical embedding” of the cube with vertices ( ± 1 , ± 1 , ± 1 ) .
Three-fold rotational symmetry. Before proceeding with the more complex polyhedra, we would like to illustrate how the three-fold rotational symmetry that we impose helps to simplify the face equations for certain hexagonal faces. Consider a hexagon through points with coordinates of the following form:
( x , y , z ) · ( d , e , f ) · ( z , x , y ) · ( f , d , e ) · ( y , z , x ) · ( e , f , d ) · ( x , y , z )
This hexagon is invariant under the three-fold rotation with axis ( 1 , 1 , 1 ) . It is planar if and only if it lies in a plane perpendicular to the axis, and hence, if and only if
x + y + z = d + e + f .
Instead of the three cubic equations that we would obtain in the general case for a hexagonal face, the symmetry that we enforce reduces these equations to a single linear equation.
Truncated tetrahedron (3.6.6). The 12 vertices of the truncated tetrahedron form a single orbit with representative ( x , y , z ) (Figure 4b). There are two orbits of edges, as denoted in the picture by two thicknesses of edges. One orbit, generated by ( x , y , z ) · ( z , x , y ) has size 12. The other orbit, generated by ( x , y , z ) · ( x , y , z ) , has size 6. There is one orbit of four triangles, and one orbit of four hexagons. (One hexagon H lies “behind” the others in the picture.) Each hexagon is rotation invariant for one of the rotation axes of T through a vertex of the reference tetrahedron, as is evident for H in the picture.
The edge equations for this configuration are
( x z ) 2 + ( y x ) 2 + ( z y ) 2 = 8 , 4 x 2 + 4 z 2 = 8 ,
with L = 8 . Because it is rotation invariant, we may apply Equation (6) to H, with the following vertices
( y , z , x ) , ( x , y , z ) , ( x , y , z ) , ( z , x , y ) , ( z , x , y ) , ( y , z , x ) .
We find x y z = z x y , i.e., x = z . Combining these equations, we obtain
( x z ) 2 = 4 , x 2 = 1 , z = x .
with the following solutions
( x , y , z ) = ± ( 1 , 3 , 1 ) , ( x , y , z ) = ± ( 1 , 1 , 1 ) .
The solutions come in isometric pairs. The first pair corresponds to the classical embedding of the regular truncated tetrahedron. The second is degenerate insofar as it has coincident points, e.g., ( x , y , z ) = ( y , z , x ) = ( z , x , y ) . It is therefore not considered a “proper” solution. (The vertices become those of a regular tetrahedron.)
Cuboctahedron (3.4.3.4). The 12 vertices of a cuboctahedron form a single orbit. The edges form two orbits of 12 edges generated by ( x , y , z ) · ( z , x , y ) and ( x , y , z ) · ( y , z , x ) . There are two orbits of triangles and one of quadrangles (Figure 4c).
The edge equations for this configuration are
( x + y ) 2 + ( y z ) 2 + ( x + z ) 2 = 2 , ( x z ) 2 + ( z y ) 2 + ( y x ) 2 = 2 ,
with L = 2 . The face equations of the quadrangle become 2 y = 2 z , by Equation (5). Combining these results, yields
( x + y ) 2 = ( x y ) 2 = 1 , y = z ,
with solutions
( x , y , z ) = ± ( 0 , 1 , 1 ) , ( x , y , z ) = ± ( 1 , 0 , 0 ) .
The first pair corresponds to the classical embedding of the regular cuboctahedron. The second is degenerate and has coincident points, e.g., ( x , y , z ) = ( x , y , z ) . (The vertices become those of a regular octahedron.)
Icosahedron (3.3.3.3.3). The 12 vertices of an icosahedron still form a single orbit under the subgroup T of its full symmetry group I h (Figure 4d). The edges, on the other hand, now form three orbits (as denoted in the picture by three different colors) generated by
( x , y , z ) · ( z , x , y ) , ( x , y , z ) · ( z , x , y ) , ( z , x , y ) · ( z , x , y ) .
The last edge lies in an orbit of size 6, the other orbits have size 12. Three edges that lie “behind” the picture have been drawn here as curved lines. The triangles come in two orbits of 4 (invariant for three-fold rotations) and one orbit of size 12. There are now three edge equations:
( x z ) 2 + ( x y ) 2 + ( y z ) 2 = 4 , ( x + z ) 2 + ( x + y ) 2 + ( y z ) 2 = 4 , 4 x 2 + 4 z 2 = 4 .
Subtracting the first two equations gives 4 x z + 4 x y = 0 . Adding them yields 4 x 2 + 4 y 2 + 4 z 2 4 y z = 8 , and from the last equation we then obtain 4 y 2 4 y z = 4 . Simplified:
x ( z + y ) = 0 , y ( y z ) = 1 , x 2 + z 2 = 1 .
First assume x = 0 . Then, we find ( x , y , z ) = ± ( 0 , 1 , ϕ ) or ± ( 0 , 1 , ϕ ¯ ) , where ϕ is the golden ratio, and ϕ ¯ its algebraic conjugate (cf. Section 4). These pairs correspond to the classical embedding of the regular icosahedron (Figure 2c) and its conjugate (Figure 2d).
Second, assume x 0 and hence y + z = 0 by Equation (7). We then find the solutions ( x , y , z ) = ± ( ± 2 2 , 2 2 , 2 2 ) . These are four degenerate solutions that reduce the icosahedron to a tetrahedron.
Dodecahedron (5.5.5). The 20 vertices of the dodecahedron come in two orbits of size 4, generated by ( a , a , a ) and ( c , c , c ) , and one orbit of size 12, generated by ( x , y , z ) (Figure 4e).
The edges form threee orbits, with representatives
( x , y , z ) · ( a , a , a ) , ( x , y , z ) · ( c , c , c ) , ( x , y , z ) · ( x , y , z ) .
The last edge lies in an orbit of size 6, the other orbits have size 12. There is one orbit of 12 pentagonal faces, with representative vertices
( x , y , z ) · ( x , y , z ) · ( c , c , c ) · ( y , z , x ) · ( a , a , a )
The face equations state
rank x x c y a y y c z a z z c x a 1 1 1 1 1 = 3 .
The edge equations are
( x a ) 2 + ( y a ) 2 + ( z a ) 2 = 4 , ( x c ) 2 + ( y + c ) 2 + ( z + c ) 2 = 4 , 4 x 2 + 4 z 2 = 4 .
It is not difficult to verify that the EP-equations are invariant under the (simultaneous) transformations
a c , x x
and under inversion. It follows that in principle for every solution we find three others. (They turn out always to be equal or equivalent to the original solution.)
In this case, it is no longer feasible to solve the EP-equations “by hand” so instead we have used a computer algebra system. Groebner basis calculations with variable order a < c < x < z < y yield a polynomial of degree 24 in y (of degree 12 in y 2 ) that factors as follows:
( y 2 3 ) · ( y 2 3 y + 1 ) · ( y 2 + 3 y + 1 ) · ( y 2 y 1 ) · ( y 2 + y 1 ) · ( 2 y 2 9 ) · ( 16 y 12 320 y 10 + 1872 y 8 1756 y 6 + 2615 y 4 261 y 2 81 ) .
We investigate each factor separately.
Case 1. y 2 = 3 . This yields a degenerate solution with a = c = 0 and coincident points.
Case 2. y 2 = 3 y 1 , i.e., y = ϕ + 1 or y = ϕ ¯ + 1 = 2 ϕ . The first value of y yields the coordinates of the classical embedding of the regular dodecahedron (Figure 2e):
( a , a , a ) = ( ϕ , ϕ , ϕ ) , ( c , c , c ) = ( ϕ , ϕ , ϕ ) , ( x , y , z ) = ( 0 , ϕ + 1 , 1 ) .
The second yields its algebraic conjugate (Figure 2f). The factor y 2 = 3 y 1 of Equation (9) leads to the same solution, but inverted with respect to the origin.
Case 3. y 2 = y + 1 , i.e., y = ϕ or y = ϕ ¯ = 1 ϕ . For y = ϕ we find
( a , a , a ) = ( ϕ 1 , ϕ 1 , ϕ 1 ) , ( c , c , c ) = ( 1 ϕ , 1 ϕ , 1 ϕ ) , ( x , y , z ) = ( 0 , ϕ , 1 ) .
We have dubbed this embedding the equilateral dodecastemma (Figure 5a), meaning “twelve crowns” as the faces (Figure 5b) somewhat resemble crowns. It is a face-transitive polyhedron (an isohedron) and as such it was already discovered as a member of an infinite family with T h symmetry by B. Grünbaum and G. C. Shephard [8]. (The other members of that family have faces with a similar shape but with one edge that differs in length from the others. The paper does not explicitly mention that there is an equilateral polyhedron among these examples.)
In addition, the algebraic conjugate of Equation (10) provides a solution (Figure 5c). The latter embedding has faces and edges that intersect each other (Figure 5d). Note that inversion leaves this solution invariant. The symmetry group of the equilateral dodecastemma (and of its conjugate) is therefore equal to T h , and not just T, merging the two vertex orbits of size 4 and the two edge orbits of size 12. The factor y 2 + y 1 of Equation (9) yields the same embedding.
Case 4. 2 y 2 = 9 , i.e., y = ± 3 2 2 . (We only discuss the plus sign, as the minus sign yields an equivalent embedding, inverted with respect to the origin.) This case corresponds to the following solution
( a , a , a ) = 2 2 ( 3 , 3 , 3 ) , ( c , c , c ) = 2 2 ( 1 , 1 , 1 ) , ( x , y , z ) = 2 2 ( 1 , 3 , 1 ) .
This embedding is convex but has coplanar faces and collinear edges. (Figure 5e.) It can be constructed by decorating the faces of a tetrahedron with three trapezoids that serve as equilateral pentagons. The same equations lead to another (equivalent) solution that can be obtained from this one by applying Equation (8). Because interchanging two coordinate positions leaves the set of vertices invariant, the symmetry group of this solution is T d .
Case 5. y 2 is a root of the equation
16 X 6 320 X 5 + 1872 X 4 1756 X 3 + 2615 X 2 261 X 81 .
This equation has only one real positive solution, leading to 4 EP-embeddings that are equivalent. One of these is the following:
a : 1.73665936210219 , c : 0.671944941220236 , x : 0.389433329465337 , y : 0.5038694438118030 , z : 0.9210546573909401 .
The others are obtained by inversion and/or applying Equation (9). This solution has chiral tetrahedral symmetry T. It has intersecting faces and edges (Figure 5f).
Note that it is not necessary to resort to numerical methods to determine the number of real roots of a univariate polynomial, or the number of real roots that are positive. This can be done by computing the Sturm sequence of the polynomial symbolically and applying Sturm’s Theorem [9].
Truncated cube (3.8.8). The 24 vertices of the truncated cube come in two orbits of size 12, generated by ( d , e , f ) and ( x , y , z ) (Figure 6a). There are three edge orbits of size 12, with the following representatives:
( x , y , z ) · ( y , z , x ) , ( x , y , z ) · ( d , e , f ) , ( d , e , f ) · ( f , d , e ) .
There are two orbits of four triangles, and one orbit of six octagons, with representative vertices
( x , y , z ) · ( y , z , x ) · ( e , f , d ) · ( d , e , f ) · ( x , y , z ) · ( y , z , x ) · ( e , f , d ) · ( d , e , f )
Note that this octagon is invariant under a rotation of order 2 around the Y-axis. If this octagon is planar, its plane must be invariant under the same rotation. There are two possibilities, either this plane is the X Z -plane or the plane contains the Y-axis.
In the first case, the Y-coordinate of each vertex of the octagon should be the same, i.e.,
y = z = e = f .
In the second case, the vertices are coplanar if and only if their projections onto the X Z -plane are collinear, i.e., if
rank x y e d x y e d z x d f z x d f 1 1 1 1 1 1 1 1 = 2 rank x y e d z x d f = 1 .
The edge equations for the truncated cube are the following
( x z ) 2 + ( y x ) 2 + ( z y ) 2 = 4 , ( x d ) 2 + ( y e ) 2 + ( z f ) 2 = 4 , ( d + f ) 2 + ( d + e ) 2 + ( e f ) 2 = 4 .
Note that the EP-equations are invariant for the transformation ( x , y , z ) ( d , e , f ) , for the transformation e f , y z and, as always, for inversion with respect to the origin.
For the case in Equation (11), the equations can still be solved “by hand”. They reduce to
( x e ) 2 = 2 , ( x d ) 2 = 4 , ( d + e ) 2 = 2 , y = z = e = f ,
with the following solutions:
  • The classical embedding of the truncated cube, with coordinates
    ( x , y , z ) = ± ( 1 , 1 + 2 , 1 + 2 ) , ( d , e , f ) = ± ( 1 , 1 + 2 , 1 + 2 ) .
  • The algebraic conjugate of the above, with coordinates
    ( x , y , z ) = ± ( 1 , 1 2 , 1 2 ) , ( d , e , f ) = ± ( 1 , 1 2 , 1 2 ) .
  • An embedding with coordinates
    ( x , y , z ) = ± ( 1 + 2 , 1 , 1 ) , ( d , e , f ) = ± ( 1 + 2 , 1 , 1 ) ,
    which is equivalent to its algebraic conjugate. This solution is invariant to coordinate transpositions and has symmetry group T d . It has intersecting faces.
The case that corresponds to Equation (12) is slightly more difficult to solve. It results in eight equivalent solutions that (somewhat unexpectedly) involve the golden ratio ϕ :
( x , y , z ) = ( 1 ϕ , 1 , 2 ϕ ) , ( d , e , f ) = ( ϕ , ϕ + 1 , 1 ) .
This solution is also equivalent to its algebraic conjugate. Its symmetry group is T and it has intersecting faces.
Truncated octahedron (4.6.6). The EP-embeddings of the truncated octahedron with 24 vertices turn out to be much easier to compute than those of the truncated cube. There are two orbits of 12 vertices, generated by ( d , e , f ) and ( x , y , z ) (Figure 4f), and three orbits of 12 edges, with the following representatives:
( x , y , z ) · ( d , e , f ) , ( z , x , y ) · ( d , e , f ) , ( z , x , y ) · ( d , e , f ) .
There are one orbit of six quadrangles and two orbits of four hexagons. The edge equations are
( x e ) 2 + ( y f ) 2 + ( z d ) 2 = 2 , ( x + e ) 2 + ( y f ) 2 + ( z + d ) 2 = 2 , ( x d ) 2 + ( y e ) 2 + ( z f ) 2 = 2 .
The face equation for the quadrangle reduces to f = y , by Equation (5). The hexagons are invariant for a three-fold rotation and their face equations reduce to
d + e + f = x + y + z , d e f = x y z .
Combining all this information leads to
x = d , y = f , z = e , ( d e ) 2 = ( d + e ) 2 = ( e f ) 2 = 1 ,
yielding the solution ( d , e , f ) = ± ( 0 , 1 , 2 ) , ( x , y , z ) = ± ( 0 , 2 , 1 ) , the classical embedding of the truncated octahedron, and two degenerate embeddings, reducing the polyhedron to a cuboctahedron or an octahedron.
Rhombicuboctahedron (3.4.4.4). The 24 vertices of the rhombicuboctahedron come in two orbits of 12 vertices, generated by ( d , e , f ) and ( x , y , z ) (Figure 6b). There are four orbits of 12 edges, with the following representatives:
( x , y , z ) · ( y , z , x ) , ( x , y , z ) · ( d , e , f ) , ( x , y , z ) · ( d , e , f ) , ( d , e , f ) · ( e , f , d ) .
(Six “outer” edges have been omitted from the picture for reasons of clarity.) There are two orbits of 4 triangles, one orbit of 6 quadrangles and one orbit of 12 quadrangles. The edge equations read
( x z ) 2 + ( y x ) 2 + ( z y ) 2 = 4 ,     ( x d ) 2 + ( y e ) 2 + ( z f ) 2 = 4 , ( x + d ) 2 + ( y e ) 2 + ( z + f ) 2 = 4 ,     ( d + f ) 2 + ( d + e ) 2 + ( e f ) 2 = 4 .
The face equations of the quadrangles reduce to
e = y and x + e = y d , y + f = e + z , z + d = x f ,
by Equation (5). Combining these equations yields
y = e , z = x = f = d , d 2 = 1 , ( d + e ) 2 = 2 ,
from which we obtain de solution ( d , e , f ) = ( 1 , 1 + 2 , 1 ) , ( x , y , z ) = ( 1 , 1 + 2 , 1 ) , the classical embedding, and also its algebraic conjugate ( d , e , f ) = ( 1 , 1 2 , 1 ) , ( x , y , z ) = ( 1 , 1 2 , 1 ) .
Snub cube (3.3.3.3.4). The last Archimedean solid with 24 vertices again has two orbits of 12 vertices, generated by ( d , e , f ) and ( x , y , z ) (Figure 6c), and this time five orbits of 12 edges:
( x , y , z ) · ( y , z , x ) , ( x , y , z ) · ( d , e , f ) , ( x , y , z ) · ( f , d , e ) , ( x , y , z ) · ( d , e , f ) , ( d , e , f ) · ( f , d , e ) .
(Again, some edges have been omitted from the picture.) There are two orbits of 4 triangles, two orbits of 12 triangles and one orbit of 6 quadrangles. The edge equations read
( x z ) 2 + ( y x ) 2 + ( z y ) 2 = 2 ,     ( x d ) 2 + ( y e ) 2 + ( z f ) 2 = 2 , ( x + d ) 2 + ( y e ) 2 + ( z + f ) 2 = 2 ,     ( d + f ) 2 + ( d + e ) 2 + ( e f ) 2 = 2 , ( x + f ) 2 + ( y + d ) 2 + ( z e ) 2 = 2 .
and the face equations of the quadrangle reduce to y = e . The transformation ( x , y , z ) ( f , e , d ) leaves these equations invariant. Groebner basis calculations with variable order z < x < y < f < e < d yield a polynomial of degree 18 in e (of degree 9 in E = e 2 ) that factors as follows:
e 4 · ( 4 e 6 8 e 4 6 e 2 1 ) · ( 64 e 8 32 e 6 16 e 4 + 16 e 2 5 ) .
The first factor leads to a solution that degenerates to the vertices of the octahedron.
For the second factor, note that 4 E 3 8 E 2 6 E 1 only has a single real root E = 2.61113126 , leading to y = e = ± 1.6158995 . The full solution for the positive value of e is
x = f = 0.477656250512792 , y = e = 1.6158995208738 , z = d = 0.878546815113490 .
This is the classical embedding of a snub cube. The equalities between variables illustrate that the symmetry group of the snub cube is O and not just T. Now consider the third factor of Equation (13). The polynomial 64 E 4 32 E 3 16 E 2 + 16 E 5 has two real roots of which only one is positive ( E = 0.5866798 ), and then e = ± 0.765950237701868 . For each value of e there are two solutions yielding a total of four embeddings that turn out to be equivalent:
x : 1.35478887356868 ,    y : 0.765950237701868 ,    z : 0.200165047577516 , d : 0.0515678659507346 ,    e : 0.765950237701868 ,    f : 0.349029822485272 .
Icosidodecahedron (3.5.3.5). The 24 vertices come in two orbits of size 12, generated by ( d , e , f ) and ( x , y , z ) , and one orbit of size 6, generated by ( b , 0 , 0 ) (Figure 6d). There are five orbits of 12 edges, with the following representatives:
( x , y , z ) · ( y , z , x ) , ( d , e , f ) · ( f , d , e ) , ( x , y , z ) · ( d , e , f ) , ( x , y , z ) · ( 0 , b , 0 ) , ( d , e , f ) · ( 0 , b , 0 ) .
There are two orbits of 4 triangles, and one orbit of 12 triangles. There is also one orbit of 12 pentagons. The face equations become
rank x 0 d e y y b e f z z 0 f d x 1 1 1 1 1 = 3 ,
and the edge equations read
( x z ) 2 + ( y x ) 2 + ( z y ) 2 = 4 ,     ( d + f ) 2 + ( d + e ) 2 + ( e f ) 2 = 4 , x 2 + ( y b ) 2 + z 2 = 4 ,     d 2 + ( e b ) 2 + f 2 = 4 , ( x d ) 2 + ( y e ) 2 + ( z f ) 2 = 4 .
Note that the transformation ( x , y , z ) ( d , e , f ) leaves the EP-equations invariant. Consequently, applying this transformation to any solution yields another solution, that is however not necessarily new. If after transformation the solution remains the same, then the corresponding embedding has T h symmetry.
The face equations make this a complicated set of equations to solve. Using Groebner basis calculations with variable order x < y < z < d < e < f < b yield a polynomial of degree 71 in b leading to the following cases:
Case 1. b = 0 . Degenerates to a cuboctahedron with all vertices connected to the origin.
Case 2. b = ± 2 . Degenerates to an octahedron.
Case 3. b = ± 2 2 . We find ( x , y , z ) = ± ( 2 , 2 2 , 2 ) , ( d , e , f ) = ± ( 0 , 2 , 2 ) . This embed- ding has coplanar faces and can be obtained by “decorating” a truncated tetrahedron appropriately (Figure 7a). This solution is left invariant for coordinate transpositions and therefore has symmetry group T d .
Case 4. b = ± 2 ϕ . We find ( x , y , z ) = ± ( 1 , ϕ 2 , ϕ 1 ) , ( d , e , f ) = ± ( 1 , ϕ 2 , ϕ 1 ) . This is the classical embedding of the icosidodecahedron. This embedding has an algebraic conjugate that is not equivalent to it.
Case 5. ± b is a root of the polynomial b 6 6 b 5 + 18 b 4 40 b 3 + 29 b 2 42 b + 36 and then x = d = 1 , y = e and z = f . (These equalities imply that the result has the larger symmetry group T h instead of just T.) There are two real roots of this polynomial, i.e., b = 0.925885 and b = 3.6557 , yielding the following solutions:
d = x = 1 , e = y = 0.27171948288 , f = z = 1.2512970472 , b = 0.92588466693 d = x = 1 , e = y = 1.95556683584 , f = z = 0.33097523131 , b = 3.65570077057
The second solution is particularly interesting because it yields a result that has no intersecting faces, although it is not convex (Figure 7b).
Case 6. Finally, there is a polynomial of degree 48 in b (degree 24 in b 2 ). This polynomial has seven positive real roots, six of which yield a solution in real numbers. Four of these solutions have intersecting faces, the other two have no intersecting faces but are not convex (Figure 7c,d). All these solutions have T as their symmetry group.
Truncated cuboctahedron (4.6.8). (For this case and the cases that follow, we have omitted the corresponding pictures as they become too crowded.) The 48 vertices of the truncated cuboctahedron come in 4 orbits of size 12 with generators ( x , y , z ) , ( d , e , f ) , ( X , Y , Z ) , ( D , E , F ) . The edges have the following representatives (6 orbits of size 12):
( x , y , z ) · ( d , e , f ) , ( x , y , z ) · ( X , Y , Z ) , ( D , E , F ) · ( d , e , f ) , ( D , E , F ) · ( X , Y , Z ) , ( X , Y , Z ) · ( E , F , D ) , ( d , e , f ) · ( z , x , y )
There is one orbit of 12 quadrangles, with corresponding face equations
x + D = d X , y + E = e + Y , z + F = f Z .
There are two orbits of hexagons with rotational symmetry, yielding
x + y + z = d + e + f , E + F D = X + Y Z .
Adding the last two equations and simplifying already yields x D = X + d and therefore
x = d , X = D .
Finally, there is one orbit of octagons, containing the points
( x , y , z ) · ( X , Y , Z ) · ( E , F , D ) · ( e , f , d ) · ( x , y , z ) · ( X , Y , Z ) · ( E , F , D ) · ( e , f , d ) ,
which is invariant for a rotation of order 2 around the Y-axis. To set up the face equations for this octagon we use the same techniques as with the truncated cube (cf. Equations (11) and (12)). We obtain that either
y = Y = F = f ,
or
rank x X E e z Z D d = 1 .
Apart from inversion with respect to the origin, the following transformations also preserve the equations.
( x , y , z ) ( X , Y , Z ) , ( d , e , f ) ( D , E , F ) , ( x , y , z ) ( d , f , e ) , ( X , Y , Z ) ( D , F , E ) .
Equation (15) yields sixteen solutions. Twelve of these have coincident points. The others are equivalent to either the classical embedding of the truncated cuboctahedron—where vertices have coordinates of the form ( ± 1 , ± ( 1 + 2 ) , ± ( 1 + 2 2 ) ) or permutations of these—or its algebraic conjugate.
Equation (16) yields sixteen solutions that reduce to two inequivalent ones. Both have intersecting faces. The first solution is
x : ϕ    X : 1 ϕ    d : ϕ    D : ϕ 1 y : 1 2    Y : 2 ϕ 2    e : 1    E : 2 ϕ z : ϕ + 1    Z : 1    f : ϕ + 1 2    F : 1 2
The second is the algebraic conjugate that results from replacing 2 by 2 . (Replacing ϕ by ϕ ¯ results in an equivalent embedding.) Both embeddings have T as their symmetry group.
Rhombicosidodecahedron (3.4.5.4). The 60 vertices of the rhombicosidodecahedron come in five orbits of 12 vertices with representatives ( p , q , r ) , ( d , e , f ) , ( D , E , F ) , ( x , y , z ) and ( X , Y , Z ) . There are 10 orbits of 12 edges each, with the following representatives
( p , q , r ) · ( x , y , z ) , ( p , q , r ) · ( f , d , e ) , ( p , q , r ) · ( X , Y , Z ) , ( p , q , r ) · ( F , D , E ) , ( d , e , f ) · ( x , y , z ) , ( d , e , f ) · ( D , E , F ) , ( d , e , f ) · ( D , E , F ) , ( x , y , z ) · ( y , z , x ) , ( D , E , F ) · ( X , Y , Z ) , ( X , Y , Z ) · ( Y , Z , X ) .
There are two orbits of 12 quadrangles, and one orbit of 6 quadrangles:
( p , q , r ) · ( x , y , z ) · ( z , x , y ) · ( f , d , e ) · ( p , q , r ) , ( p , q , r ) · ( X , Y , Z ) · ( Z , X , Y ) · ( F , D , E ) · ( p , q , r ) , ( d , e , f ) · ( D , E , F ) · ( d , e , f ) · ( D , E , F ) · ( d , e , f ) .
There are also two orbits of 4 triangles, one orbit of 12 triangles and one orbit of 12 pentagons.
The face equations of the quadrangles yield the following linear equations, by Equation (5):
x + f = p + z , y + d = q + x , z + e = r + y , X + F = p + Z , Y + D = q + X , Z + E = r + Y , d = D ,
and the face equation of the pentagon reads
rank p x d D X q y e E Y r z f F Z 1 1 1 1 1 = 3 .
Note that the EP-equations are invariant under the transformation
x X , y Y , z Z , d D , e E , f F , r r .
Already quite some simplification of the formulas can be done by hand. First by adding the equations of Equation (18) three by three, we obtain
p + q + r = d + e + f , p + q r = D + E + F
and hence, subtracting and using d = D , we find 2 r = e + f E F , and then
E + r = e r + f F .
Equation (18) reduces the 10 edge equations to the following 6:
( p x ) 2 + ( q y ) 2 + ( r z ) 2 = 4 , ( p X ) 2 + ( q Y ) 2 + ( r + Z ) 2 = 4 , ( p f ) 2 + ( q d ) 2 + ( r e ) 2 = 4 , ( p F ) 2 + ( q d ) 2 + ( r + E ) 2 = 4 ( E + e ) 2 + ( F f ) 2 = 4 , ( E e ) 2 + ( F + f ) 2 = 4 .
We introduce three new variables t = f F , u = p f , v = e r . Then
p F = u + t , q d = v u , E + r = v + t .
From the second line of Equation (21), we obtain
u 2 + ( v u ) 2 + v 2 = 4 , ( u + t ) 2 + ( v u ) 2 + ( v + t ) 2 = 4 ,
which simplifies to
u 2 u v + v 2 = 2 , ( u + t ) 2 ( u + t ) ( v + t ) + ( v + t ) 2 = 2 .
Subtracting these equalities leads to
t ( t + u + v ) = 0 .
The second equation on the third line of Equation (21) can be rewritten as
( 2 v + t ) 2 + t 2 = 4 .
If t 0 and hence t + u + v = 0 this equation transforms to ( v u ) 2 + ( u + v ) 2 = 4 or u 2 + v 2 = 2 . In combination with Equation (22), we obtain u v = 0 . There are three cases to consider.
Case 1. t = 0 and then v = ± 1 from Equation (24) and u 2 u 1 = 0 from Equation (22). There turn out to be several subcases:
1a. f = F = ± 1 . We only need to consider the plus sign, as the minus sign yields an equivalent solution. There are 16 solutions, in eight conjugate pairs. Each solution is invariant for T h . Three pairs have x = X = 0 and one pair has d = D = 0 and therefore contain coincident vertices.
The remaining solutions are as follows:
p q r d = D e = E f = F x = X y = Y z = Z ϕ + 1 ϕ + 2 0 2 ϕ + 1 1 1 2 ϕ ϕ + 1 ϕ ϕ + 1 ϕ 0 2 ϕ 1 1 1 2 ϕ ϕ + 1 ϕ ϕ ϕ 0 2 ϕ 1 1 2 ϕ 1 ϕ 1 ϕ ϕ ϕ 2 0 2 ϕ 2 1 1 2 ϕ 1 ϕ 1 ϕ 2 ϕ ϕ + 2 0 2 1 1 1 ϕ + 1 ϕ
The first of these solutions is the classical embedding. The second solution yields an embedding that does not have intersecting faces (but is also not convex). It is depicted in Figure 8a. The pentagonal faces are the same as those of the equilateral dodecastemma of Figure 5a.
1b. F = f = ± 2 / 2 . Again, we only need to consider the plus sign. There are eight solutions coming in two sets of four conjugates. Applying Equation (19) to one solution yields another, so in all there is only a single set of four solutions up to equivalence. The solution below is depicted in Figure 8b. (Note that the pentagonal faces are embedded as trapezoids.)
p : 2 2 + ϕ 1 d : 3 2 2 + ϕ 1 D : 3 2 2 + ϕ 1 x : 2 2 + ϕ 1 X : 3 2 2 + ϕ 1 q : 3 2 2 1 e : 2 2 1 E : 2 2 1 y : 2 2 1 Y : 3 2 2 1 r : 2 2 f : 2 2 F : 2 2 z : 2 2 Z : 3 2 2
The others (i.e., the conjugate solutions) are obtained by changing the sign of 2 everywhere, by substituting 1 ϕ for ϕ , or by doing both transformations at the same time.
1c. F 4 5 F 2 + 1 = 0 . All solutions turn out to have Z = z = 0 and have coincident points.
1d. 16 F 12 + 48 F 10 + 240 F 8 + 1140 F 6 + 27 F 4 720 F 2 256 = 0 . This equation has only two real roots: F = ± 0.92105465739 . Again, we need only consider the positive sign. There turn out to be four inequivalent solutions. All of them have intersecting faces.
Case 2. v = 0 and then t = ± 2 from Equation (24) and u = t , from Equation (23).
2a. F = 0 . In this case, there are coincident vertices.
2b. F = ± 2 . It turns out that in this case f = 0 and again there are coincident vertices.
2c. F = ± 1 2 ± 2 2 . There are four solutions, i.e., the following solution
p : 2 2 + 1 d : 2 2 ϕ D : 2 2 ϕ x : 2 2 + 1 ϕ X : 2 2 q : 2 2 ϕ e : 2 2 E : 2 2 y : 2 2 + 1 ϕ Y : 2 2 r : 2 2 f : 2 2 + 1 F : 2 2 + 1 z : 2 2 + 1 ϕ Z : 2 2
and its conjugates. All of these have intersecting faces.
2d. 16 F 8 192 F 6 + 536 F 4 432 F 2 + 25 = 0 . In this case, we have X = Y = Z = x = y = z and then there are coincident points.
2e. Finally, there is a factor of degree 24 in F (12 in F 2 ) that yields four more solutions. All of these have intersecting faces.
Case 3. u = 0 and then t = v from Equation (23) and v = ± 2 from Equation (24). This case results from the previous case by applying the transformation in Equation (19) and yields isometric solutions (after inversion).

7. The Remaining Cases

There remain four Archimedean solids to consider: the truncated icosahedron, the truncated dodecahedron, the snub icosahedron (each with 60 vertices) and, finally, the truncated icosidodecahedron (with 120 vertices). Unfortunately, in each of these cases, the EP-equations are too hard to solve for the current computer algebra systems and most likely result in polynomials of high degree.
However, if we strengthen the symmetry requirements and restrict ourselves to solutions that have (at least) T h symmetry (or I symmetry in the case of the snub icosahedron), then the problem becomes manageable again. The corresponding results and computations are provided below.
Truncated icosahedron (5.6.6) The 60 vertices of this polyhedron are split into one orbit of 12 vertices, with coordinates of the form
( ± p , ± q , 0 ) , ( 0 , ± p , ± q ) , ( ± q , 0 , ± p ) ,
and two orbits of 24 vertices with representative ( x , y , z ) and ( d , e , f ) . The edges have the following representatives:
( p , q , 0 ) · ( p , q , 0 ) ,    ( p , q , 0 ) · ( x , y , z ) ,    ( x , y , z ) · ( d , e , f ) ,    ( d , e , f ) · ( y , z , x ) ,    ( d , e , f ) · ( d , e , f ) .
Note that the edge equation for the first edge is 4 p 2 = L 2 , and hence, with L = 2 this reduces to p = ± 1 . Without loss of generality, we may choose p = 1 . The solutions with p = 1 can then be obtained by applying inversion to the solutions with p = 1 . Similarly, the last edge equation reduces to f = ± 1 . The edge equations for the remaining three edges become
( x d ) 2 + ( y e ) 2 + ( z f ) 2 = 4 ,
( x f ) 2 + ( y d ) 2 + ( z e ) 2 = 4 ,
( x 1 ) 2 + ( y q ) 2 + z 2 = 4 .
There is one orbit of 12 pentagons, with representative
( 1 , q , 0 ) · ( x , y , z ) · ( d , e , f ) · ( d , e , f ) · ( x , y , z ) · ( 1 , q , 0 ) .
The face equations for this pentagon are
rank 1 x x d d q y y e e 0 z z f f 1 1 1 1 1 = 3 1 x d q y e 1 1 1 = 0 .
(Here, we have used the fact that f 0 .)
There is one orbit of eight hexagons, with representative
( x , y , z ) · ( d , e , f ) · ( y , z , x ) · ( e , f , d ) · ( z , x , y ) · ( f , d , e ) · ( x , y , z ) ,
and corresponding face equations
rank x y z d e f y z x e f d z x y f d e 1 1 1 1 1 1 = 3 .
There is also one orbit of 12 hexagons, with representative
( 1 , q , 0 ) · ( x , y , z ) · ( f , d , e ) · ( f , d , e ) · ( x , y , z ) · ( 1 , q , 0 ) · ( 1 , q , 0 )
and face equations
rank 1 1 x x f f q q y y d d 0 0 z z e e 1 1 1 1 1 1 = 3 q y d 0 z e 1 1 1 = 0 .
We first consider the case where f = 1 . Note that Equation (30) can be rewritten as ( q y ) ( z e ) = z ( d y ) . From Equation (28), we then obtain
4 ( z e ) 2 = ( x 1 ) 2 ( z e ) 2 + ( y q ) 2 ( z e ) 2 + z 2 ( z e ) 2 = ( x 1 ) 2 ( z e ) 2 + z 2 ( d y ) 2 + z 2 ( z e ) 2 ,
Then, by Equation (27),
4 ( z e ) 2 = ( x 1 ) 2 ( z e ) 2 + 4 z 2 z 2 ( x f ) 2 .
Because f = 1 , this can be rewritten as
( 4 ( x 1 ) 2 ) ( ( z e ) 2 z 2 ) = 0 .
Now, assume that the first factor of this expression is 0, i.e., ( x 1 ) 2 = 4 . Then, by Equation (28), it follows that ( y q ) 2 + z 2 = 0 , and hence q = y = z = 0 for any solution in real numbers. This is a solution with coincident points.
On the other hand, the second factor is 0 if and only if either e = 0 or e = 2 z . The first case again leads to coincident vertices. We can therefore assume that e = 2 z . From Equation (30) we then derive that either z = 0 (with coincident points) or 2 y = q + d .
Applying Groebner basis calculations with variable order q < d < e < f < x < y < z to these results yields a polynomial of degree 8 in z with factors of degree 2, 2 and 4, leading to the following cases.
Case 1. z 2 z 1 = 0 , i.e., z = ϕ or z = ϕ ¯ . We find four solutions. Two solutions have x = y = z and therefore have coincident points. The other solutions correspond to the classical embedding of the truncated icosahedron
( x , y , z ) = ( 2 , 2 ϕ + 1 , ϕ ) , ( d , e , f ) = ( ϕ + 2 , 2 ϕ , 1 ) , ( p , q , 0 ) = ( 1 , 3 ϕ , 0 ) ,
and its algebraic conjugate.
Case 2. z 2 z 5 = 0 , i.e., z = 1 2 ( 1 ± 21 ) . Note that in this case either ( z f ) 2 > 4 or z 2 > 4 and then by Equation (26) or (28) there are no solutions in real numbers.
Case 3. z 4 2 z 3 7 z 2 + 8 z + 13 = 0 , or z = 1 2 ( 1 ± 17 ± 4 3 ) . In addition, in this case, either ( z f ) 2 > 4 or z 2 > 4 , and there are no solutions in real numbers.
The case where f = 1 is not easily simplified by hand, and finding the solution is not easy. Applying Groebner basis calculations with variable order q < x < y < z < d < e < f yields a polynomial of degree 49 in e. The first factor is e (and leads to embeddings with coincident points) and there are two additional factors of degree 24. One of these has no real roots, the other has six, corresponding to six EP-embeddings. All of these have intersecting faces.
Truncated dodecahedron (3.10.10) The 60 vertices of this polyhedron come in three orbits, and we may choose the same representatives ( 0 , p , q ) , ( d , e , f ) and ( x , y , z ) as in the case of the truncated icosahedron. There are five orbits of edges:
( p , q , 0 ) · ( p , q , 0 ) ,     ( p , q , 0 ) · ( d , e , f ) ,     ( x , y , z ) · ( d , e , f ) , ( x , y , z ) · ( z , x , y ) ,     ( d , e , f ) · ( d , e , f ) .    
As with the truncated icosahedron, we may derive from this that p = 1 and f = ± 1 . There are one orbit of 8 triangles, one orbit of 12 triangles and one orbit of 12 decagons. The following matrix displays the coordinates of the vertices of one representative of the latter:
1 d x z f f z x d 1 q e y x d d x y e q 0 f z y e e y z f 0 1 1 1 1 1 1 1 1 1 1
The rank of this matrix must be 3, which is equivalent to
rank q e y x d 0 f z y e 1 1 1 1 1 = 2 rank e q y q x q d q f z y e = 1 .
To solve these EP-equations, we applied Groebner basis calculations with variable order q < d < e < f < x < y < z . For f = 1 , this yields a polynomial in z with two linear factors, two quadratic factors and one factor of degree 16, leading to the following cases.
Case 1. z = 3 . We find that y 2 4 y + 5 = 0 which has no solutions in real numbers.
Case 2. z = 1 . We find that y 2 + 1 = 0 which again has no solutions in real numbers.
Case 3. z 2 = 3 z 1 , i.e., z = ϕ + 1 or z = ϕ ¯ + 1 . We find the classical embedding of the truncated dodecahedron:
( x , y , z ) = ( 2 ϕ , 2 ϕ + 1 , ϕ + 1 ) , ( d , e , f ) = ( ϕ + 1 , 2 ϕ + 2 , 1 ) , ( p , q , 0 ) = ( 1 , 3 ϕ + 1 , 0 ) ,
and its algebraic conjugate.
Case 4. z 2 = z + 1 , i.e., z = ϕ or z = ϕ ¯ , with solution
( x , y , z ) = ( 2 ϕ , 2 ϕ 1 , ϕ ) , ( d , e , f ) = ( ϕ , 2 ϕ 2 , 1 ) , ( p , q , 0 ) = ( 1 , ϕ 2 , 0 ) ,
and its algebraic conjugate. (Both have intersecting faces.)
Case 5. z satisfies some polynomial of degree 16. This case yields eight different solutions, all with intersecting faces.
The remaining case f = 1 is again more difficult to solve. We find that either z 2 = z + 1 or z must satisfy a polynomial of degree 22. We find six solutions in all that have no coincident vertices. Because f and p have a different sign, in each of these embeddings, the dodecagonal faces have intersecting edges.
Truncated icosidodecahedron (4.6.10) There are 120 vertices in five orbits of 24. We choose ( p , q , r ) , ( x , y , z ) , ( X , Y , Z ) , ( d , e , f ) and ( D , E , F ) as representatives for these orbits. There is one orbit of 12 decagons. The following matrix displays the coordinates of the vertices of one representative:
d x y E p p E y x d e y z F q q F z y e f z x D r r D x z f 1 1 1 1 1 1 1 1 1 1
This matrix must have rank 3, and because of the special form of the coordinates, this reduces to the following face equations:
rank d x y E p e y z F q 1 1 1 1 1 = 2 .
There is one orbit of 8 hexagons and there is one orbit of 12 hexagons:
x Y z X y Z y Z x Y z X z X y Z x Y 1 1 1 1 1 1 d F q q F d e D r r D e f E p p E f 1 1 1 1 1 1
The first hexagon is invariant under the three-fold rotation and hence its face equations reduce to
x + y + z = X + Y + Z .
The special form of the coordinates of its vertices allow the face equations of the second hexagon to be reduced to
rank d F q e D r 1 1 1 = 2 .
Finally, there is one orbit of 6 quadrangles and one of 24 quadrangles
( p , q , r ) · ( p , q , r ) · ( p , q , r ) · ( p , q , r ) · ( p , q , r )
( d , e , f ) · ( x , y , z ) · ( Z , X , Y ) · ( F , D , E ) · ( d , e , f )
For the first quadrangle the face equations are trivially satisfied. The second quadrangle yields
d + Z = x + F , e + X = y + D , f + Y = z + E .
Note that the following are edges of the polyhedron:
( d , e , f ) · ( d , e , f ) , ( p , q , r ) · ( p , q , r ) , ( p , q , r ) · ( p , q , r ) .
It follows that p 2 = r 2 = f 2 , or equivalently p = ± 1 , r = ± 1 , f = ± 1 . Without loss of generality we may fix the sign of one of these solutions, say r = 1 . The remaining choices then essentially split the solutions of the EP-equations into four different cases.
It turns out that only the case p = r = 1 could be solved by a computer algebra system (with reasonable time and memory restrictions). One reason that this case is simpler to solve is that, in this case, the EP-equations are invariant for the transformation
d 2 d , e 2 e , , r 2 r
(involving all 15 variables). This transformation yields an embedding that is not equivalent to the original embedding.
Groebner basis calculations show that E satisfies a polynomial with ten factors. As before, we treat each factor separately.
Case 1. E = 0 . This case leads to coincident points.
Case 2. E = 3 . Yields a polynomial in F of degree 24 that has no real roots.
Case 3. E = 2 . This yields the classical embedding of the truncated icosidodecahedron:
p : 1    d : 2 ϕ + 3    D : ϕ + 1    x : 2 ϕ + 2    X : 2 ϕ q : 4 ϕ + 1    e : 2 ϕ + 1    E : 2    y : 3 ϕ    Y : ϕ + 2 r : 1    f : 1    F : 3 ϕ + 2    z : ϕ + 1    Z : 3 ϕ + 1
and its conjugate.
Case 4. E = 1 . This case can be obtained by applying the transformation in Equation (31) to Case 2. There are therefore also no real solutions in this case.
Case 5. E 2 3 E + 1 = 0 , i.e., E = 1 + ϕ or E = 2 ϕ . Now, we find ( X , Y , Z ) = ( 1 , 1 , 1 ) = ( p , q , r ) and hence the embedding has coincident vertices.
Case 6. E 2 2 E 1 = 0 , i.e., E = 1 ± 2 . There now are eight solutions coming in two sets of four that are conjugate. One of these has x = y = z and therefore results in coincident vertices. The other set of solution has ( d , e , f ) = ( q , r , p ) and hence again has coincident vertices.
Case 7. E 2 E 1 = 0 , i.e., E = ϕ or E = 1 ϕ . This case results from applying the transformation in Equation (31) to Case 5. This solution has coincident vertices.
Case 8. 3 E 2 6 E + 1 = 0 , i.e., E = 1 ± 2 / 3 . We now have ( d , e , f ) = ( 1 , 1 , 1 ) = ( p , q , r ) and again the embedding has coincident vertices.
Cases 9 and 10. ( E 2 + 1 ) 2 = 0 or ( E 2 4 E + 5 ) 2 = 0 . Neither polynomial has real roots.
Snub dodecahedron (3.3.3.3.5) Because the graph of the snub dodecahedron has an automorphism group (i.e., I) that does not contain T h as a subgroup, we cannot find solutions with this symmetry. Enforcing the even larger symmetry group I on our solution yields only the classical embedding and its three (real) conjugates. Indeed, because of the enforced symmetry, the pentagonal faces embed as regular pentagons and hence the embedding is a uniform polyhedron, all of which have been classified before [4].

8. Conclusions and Discussion

We have shown how to set up the system of equations that need to be solved to find all EP-embeddings of (the graph of) a polyhedron, i.e., embeddings in three-dimensional Euclidian space with planar faces and edges of equal length. If you apply our methods to the graph of the regular dodecahedron and in addition you require the resulting embedding to have point symmetry I h (corresponding to the full symmetry group of the graph), you obtain just two geometric isomers: the “classical” convex regular dodecahedron and its algebraic conjugate, the slightly less familiar non-convex great stellated dodecahedron. Obtaining these solutions is not so hard, partly because the group has just one orbit of vertices, one orbit of edges and one orbit of faces.
At the opposite extreme, dropping the symmetry requirement, in other words computing each and every EP-embedding of the dodecahedron, needs one edge equation for each of its 30 edges and two face equations for each of its 12 faces, potentially producing as many as 2 30 × 3 24 solutions and requiring intermediate calculations with polynomials of an extraordinarily high degree.
Nonetheless, in this as well as in all other cases of planar graphs/cages, there is the remarkable property that the number of variables and the number of equations are essentially the same (taking into account the six degrees of freedom that correspond to isometric equivalence), and as a consequence the number of EP-isomers for a given structure is generally finite. (For some polyhedra, such as the cube, the EP-equations have additional dependencies leading to an infinite number of solutions.)
Between these two extremes, as detailed in Section 6, an EP-dodecahedron with T or higher geometric symmetry has just three edge orbits and one face orbit, producing a still-formidable 24th degree equation—but one that can be solved, assisted by computer algebra, to produce four new geometric EP-isomers (without coincident vertices) in addition to the familiar ones (Figure 5). As we are solving equations analytically, we are ensured that these six isomers form the complete set of EP-isomers of the dodecahedron with T point group symmetry (or higher, i.e., with point group T, T h , I or I h , all subgroups of the full symmetry group of the graph).
We provided similar stories for most of the other Platonic and Archimedean solids, limited to geometric symmetry no lower than T and vertex number no greater than 60. The new geometric isomers we found are summarized in Table 5. None of these isomers are convex, but some are visually appealing. One of the dodecahedron isomers looks like a decorated tetrahedron (Figure 5e) and one of the icosidodecahedron isomers looks like a decorated truncated tetrahedron (Figure 7a). Four of the icosidodecahedron isomers (Figure 7) and two of the rhombicosidodecahedron isomers (Figure 8) have non-intersecting faces.
Beyond these limits, for lower symmetry and more vertices, the number of equations increases beyond our current ability to solve—even assisted by computer algebra. To get any further, we may use numerical methods. Indeed, we have already done so for larger numbers of vertices. In one case [5], we equiplanarized Goldberg cages with icosahedral graphs, the largest with 980 vertices, 12 vertex orbits, 12 edge orbits and 7 hexagonal face orbits, to convex EP-polyhedra with icosahedral point group symmetry. In another case [10], we equiplanarized some fullerenes with tetrahedral graphs, the largest with 2268 vertices, 63 vertex orbits, 90 edge orbits and 35 hexagonal-face orbits, to convex EP-polyhedra with T d point group symmetry.
Up to now, we have only used classical algorithms to find numerical EP-solutions, viz. the Gauss–Newton optimization algorithm, enhanced with an extra step to ensure that the resulting solution has a certain prescribed symmetry group. It should be worthwhile to employ more sophisticated methods that are better adapted to the kind of geometric constraint problem we are dealing with and that provide a guarantee to find all real roots (within a given tolerance) (see, for instance, [11,12,13,14]).
The remarkable finding that the number of equations is generally equal to the number of degrees of freedom for polyhedra means that there are a finite number of equiplanar (EP) structures for each. (For some polyhedra, such as the cube, with dependent equations, this statement is not true. Furthermore, it helps to exclude structures with coinciding vertices.) As an illustration of this principle, starting with uniform solids with icosahedral and octahedral symmetry, by solving the systems of EP-equations, we have produced all of the EP-solutions down to tetrahedral symmetry. Among these EP-structures are the classical convex ones with full symmetry, their conjugates when possible, and many new non-convex structures with and without self-intersecting faces.

Author Contributions

Conceptualization, K.C. and S.S.; Formal analysis, K.C.; Investigation, K.C. and S.S.; Visualization, K.C. and S.S.; Writing—original draft, K.C. and S.S.; and Writing—review and editing, K.C. and S.S.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Cromwell, P.R. Polyhedra; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
  2. Kepler, J. Opera Omnia; Frisch, C., Ed.; Heyder & Zimmer: Frankfurt, Germany, 1619. [Google Scholar]
  3. Poinsot, L. Memoire sur les polygones et polyèdres. J. l’École Polytech. 1810, 9, 16–48. [Google Scholar]
  4. Coxeter, H.S.M.; Longuet-Higgins, M.S.; Miller, J.P. Uniform Polyhedra. Philos. Trans. R. Soc. A 1954, 246, 401–450. [Google Scholar] [CrossRef]
  5. Schein, S.; Gayed, J.M. Fourth class of convex equilateral polyhedron with polyhedral symmetry related to fullerenes and viruses. Proc. Natl. Acad. Sci. USA 2014, 111, 2920–2925. [Google Scholar] [CrossRef] [PubMed]
  6. Decker, W.; Greuel, G.-M.; Pfister, G.; Schönemann, H. Singular 4-0-2—A Computer Algebra System for Polynomial Computations. 2015. Available online: http://www.singular.uni-kl.de (accessed on 4 September 2018).
  7. The Sage Developers. SageMath, The Sage Mathematics Software (Version 7.0). 2017. Available online: http://www.sagemath.org (accessed on 4 September 2018).
  8. Grünbaum, B.; Shephard, G.C. Isohedra with nonconvex faces. J. Geometry 1998, 63, 76–96. [Google Scholar] [CrossRef]
  9. Sturm, J.C.F. Mémoire sur la résolution des équations numériques. Bull. Sci. de Férussac 1829, 11, 419–425. [Google Scholar]
  10. Schein, S.; Yeh, A.; Coolsaet, K.; Gayed, J.M. Decoration of the Truncated Tetrahedron—An Archimedean Polyhedron—To Produce a New Class of Convex Equilateral Polyhedra with Tetrahedral Symmetry. Symmetry 2016, 8, 82. [Google Scholar] [CrossRef]
  11. Sederberg, T.W.; Nishita, T. Curve intersection using Bézier clipping. Comput.-Aided Des. 1990, 22, 538–549. [Google Scholar] [CrossRef]
  12. Elber, G.; Kim, M. Geometric constraint solver using multivariate rational spline functions. In Proceedings of the Sixth ACM Symposium on Solid Modeling and Applications, Ann Arbor, MI, USA, 4–8 June 2001; pp. 1–10. [Google Scholar]
  13. Barton, M.; Juttler, B. Computing roots of polynomials by quadratic clipping. Comput. Aided Geom. Des. 2007, 24, 125–141. [Google Scholar] [CrossRef]
  14. Aizenshtein, M.; Bartoň, M.; Elber, G. Global solutions of well-constrained transcendental systems using expression trees and a single solution test. Comput. Aided Geom. Des. 2012, 29, 265–279. [Google Scholar] [CrossRef]
Figure 1. Coordinates of embeddings of the octahedron (a); and the pentagonal pyramid (b).
Figure 1. Coordinates of embeddings of the octahedron (a); and the pentagonal pyramid (b).
Symmetry 10 00382 g001
Figure 2. Algebraic conjugation of the pentagonal pyramid (a) yields a pyramid with a pentagram base (b). Algebraic conjugation of the icosahedron (c) yields a great dodecahedron (d). Algebraic conjugation of the dodecahedron (e) yields a great stellated dodecahedron (f).
Figure 2. Algebraic conjugation of the pentagonal pyramid (a) yields a pyramid with a pentagram base (b). Algebraic conjugation of the icosahedron (c) yields a great dodecahedron (d). Algebraic conjugation of the dodecahedron (e) yields a great stellated dodecahedron (f).
Symmetry 10 00382 g002
Figure 3. Schematic representation of the group T: group elements (a); vertex orbits of size 4 (b,c); vertex orbits of size 6 (d); and vertex orbits of size 12 (e).
Figure 3. Schematic representation of the group T: group elements (a); vertex orbits of size 4 (b,c); vertex orbits of size 6 (d); and vertex orbits of size 12 (e).
Symmetry 10 00382 g003
Figure 4. Orbit structure of the cube (a); the truncated tetrahedron (b); the cuboctahedron (c); the icosahedron (d); the dodecahedron (e); and the truncated octahedron (f).
Figure 4. Orbit structure of the cube (a); the truncated tetrahedron (b); the cuboctahedron (c); the icosahedron (d); the dodecahedron (e); and the truncated octahedron (f).
Symmetry 10 00382 g004
Figure 5. EP-embeddings of the dodecahedron: the equilateral dodecastemma (a), showing a typical face (b); the conjugate of the dodecastemma (c,d); a “decorated” tetrahedron (e) with collinear edges and coplanar faces; and a fifth embedding (f) with intersecting faces.
Figure 5. EP-embeddings of the dodecahedron: the equilateral dodecastemma (a), showing a typical face (b); the conjugate of the dodecastemma (c,d); a “decorated” tetrahedron (e) with collinear edges and coplanar faces; and a fifth embedding (f) with intersecting faces.
Symmetry 10 00382 g005
Figure 6. Orbit structure of: the truncated cube (a); the rhombicuboctahedron (b); the snub cube (c); and the icosidodecahedron (d).
Figure 6. Orbit structure of: the truncated cube (a); the rhombicuboctahedron (b); the snub cube (c); and the icosidodecahedron (d).
Symmetry 10 00382 g006
Figure 7. EP-embeddings of the icosidodecahedron without intersecting faces.
Figure 7. EP-embeddings of the icosidodecahedron without intersecting faces.
Symmetry 10 00382 g007
Figure 8. Two embeddings of the rhombicosidodecahedron without intersecting faces.
Figure 8. Two embeddings of the rhombicosidodecahedron without intersecting faces.
Symmetry 10 00382 g008
Table 1. The Platonic and Archimedean solids. Names and vertex configurations.
Table 1. The Platonic and Archimedean solids. Names and vertex configurations.
Platonic Archimedean (cntd.)
Tetrahedron3.3.3Rhombicuboctahedron3.4.4.4
Cube4.4.4Truncated cuboctahedron4.6.8
Octahedron3.3.3.3Snub cube3.3.3.3.4
Dodecahedron5.5.5Icosidodecahedron3.5.3.5
Icosahedron3.3.3.3.3Truncated dodecahedron3.10.10
Archimedean Truncated icosahedron5.6.6
Truncated tetrahedron3.6.6Rhombicosidodecahedron3.4.5.4
Cuboctahedron3.4.3.4Truncated icosidodecahedron4.6.10
Truncated cube3.8.8Snub dodecahedron3.3.3.3.5
Truncated octahedron4.6.6
Table 2. Number of elements, number of orbits of group T and measure of difficulty for Platonic solids.
Table 2. Number of elements, number of orbits of group T and measure of difficulty for Platonic solids.
3.3.34.4.43.3.3.35.5.53.3.3.3.3
Vertices 4862012
Edges 612123030
Faces 4681220
Vertex orbitssize 412 2
size 6 1
size 12 11
Edge orbitssize 61 11
size 12 1122
Face orbits4 triangles1 2 2
12 triangles 1
6 quadrangles 1
12 pentagons 1
Variables 11153
Bézout 222 2 3 3 2 2 3
Table 3. Number of elements, number of orbits of group T and measure of difficulty for Archimedean solids with full symmetry that is tetrahedral or octahedral.
Table 3. Number of elements, number of orbits of group T and measure of difficulty for Archimedean solids with full symmetry that is tetrahedral or octahedral.
3.6.63.4.3.43.8.84.6.63.4.4.44.6.83.3.3.3.4
Vertices 12122424244824
Edges 18243636487260
Faces 8141414262638
Vertex orbitssize 121122242
Edge orbitssize 61
size 121233465
Face orbits4 triangles122 2 2
12 triangles 2
6 quadrangles 1 11 1
12 quadrangles 11
4 hexagons1 2 2
6 octagons 1 1
Variables 2263275
Bézout 2 2 2 2 2 6 2 3 2 2 2 7 2 5
Table 4. Number of elements, number of orbits of group T and measure of difficulty for Archimedean solids with full symmetry that is icosahedral.
Table 4. Number of elements, number of orbits of group T and measure of difficulty for Archimedean solids with full symmetry that is icosahedral.
3.5.3.53.10.105.6.63.4.5.44.6.103.3.3.3.5
Vertices 3060606012060
Edges 609090120180150
Faces 323232626292
Vertex orbitssize 61
size 122555105
Edge orbitssize 6 11 1
size 12577101512
Face orbits4 triangles22 2 2
12 triangles11 1 6
6 quadrangles 11
12 quadrangles 22
12 pentagons1 11 1
4 hexagons 2 2
12 hexagons 1 1
12 decagons 1 1
Variables 7151382215
Bézout 2 5 3 2 2 15 2 8 3 5 2 6 3 2 2 22 2 13 3 2
Table 5. Number of new EP-embeddings found, subdivided according to full geometric symmetry group, not including the classical embeddings and their algebraic conjugates. (Polyhedra for which we found no new embeddings are not listed, except for the truncated icosidodecahedron where the EP-equations could only partially be solved.)
Table 5. Number of new EP-embeddings found, subdivided according to full geometric symmetry group, not including the classical embeddings and their algebraic conjugates. (Polyhedra for which we found no new embeddings are not listed, except for the truncated icosidodecahedron where the EP-equations could only partially be solved.)
Enforced T Symmetry# T h T d T
Dodecahedron (5.5.5)4211
Truncated cube (3.8.8)2 11
Snub cube (3.3.3.3.4)1 1
Icosidodecahedron (3.5.3.5)9216
Truncated cuboctahedron (4.6.8)2 2
Rhombicosidodecahedron (3.4.5.4)248 16
Enforced T h Symmetry
Truncated icosahedron (5.6.6)66
Truncated dodecahedron (3.10.10)1616
Truncated icosidodecahedron (4.6.10)0

Share and Cite

MDPI and ACS Style

Coolsaet, K.; Schein, S. Some New Symmetric Equilateral Embeddings of Platonic and Archimedean Polyhedra. Symmetry 2018, 10, 382. https://doi.org/10.3390/sym10090382

AMA Style

Coolsaet K, Schein S. Some New Symmetric Equilateral Embeddings of Platonic and Archimedean Polyhedra. Symmetry. 2018; 10(9):382. https://doi.org/10.3390/sym10090382

Chicago/Turabian Style

Coolsaet, Kris, and Stan Schein. 2018. "Some New Symmetric Equilateral Embeddings of Platonic and Archimedean Polyhedra" Symmetry 10, no. 9: 382. https://doi.org/10.3390/sym10090382

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop