Some new symmetric equilateral embeddings of Platonic and Archimedean polyhedra

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 2E - 3F face (torsion) equations (enforcing planarity)-and of variables (3V - 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.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 2E - 3F face (torsion) equations (enforcing planarity)-and of variables (3V - 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.A