Uniform polyhedron
{{Short description|Isogonal polyhedron with regular faces}}
{{more footnotes needed|date=October 2011}}
{{multiple image
| align = right
| total_width = 400
| perrow = 3
| image1 = Triangular prism.svg
| image2 = Square antiprism.png
| image3 = Tetrahedron.jpg
| image4 = Cuboctahedron.png
| image5 = Small stellated dodecahedron.png
| image6 = Snub dodecadodecahedron.png
| footer = Some examples of uniform polyhedra: triangular prism, square antiprism, regular tetrahedron (a Platonic solid), cuboctahedron (an Archimedean solid), small stellated dodecahedron (a Kepler–Poinsot polyhedron), and snub dodecadodecahedron (a uniform star polyhedron).
}}
In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive—there is an isometry mapping any vertex onto any other. It follows that all vertices are congruent. Uniform polyhedra may be regular (if also face- and edge-transitive), quasi-regular (if also edge-transitive but not face-transitive), or semi-regular (if neither edge- nor face-transitive). The faces and vertices don't need to be convex, so many of the uniform polyhedra are also star polyhedra.
There are two infinite classes of uniform polyhedra, together with 75 other polyhedra. They are 2 infinite classes of prisms and antiprisms, the convex polyhedrons as in 5 Platonic solids and 13 Archimedean solids—2 quasiregular and 11 semiregular— the non-convex star polyhedra as in 4 Kepler–Poinsot polyhedra and 53 uniform star polyhedra—14 quasiregular and 39 semiregular. There are also many degenerate uniform polyhedra with pairs of edges that coincide, including one found by John Skilling called the great disnub dirhombidodecahedron, Skilling's figure.{{sfnp|Diudea|2018|p=https://books.google.com/books?id=p_06DwAAQBAJ&pg=PA40 40]}}
Dual polyhedra to uniform polyhedra are face-transitive (isohedral) and have regular vertex figures, and are generally classified in parallel with their dual (uniform) polyhedron. The dual of a regular polyhedron is regular, while the dual of an Archimedean solid is a Catalan solid.
The concept of uniform polyhedron is a special case of the concept of uniform polytope, which also applies to shapes in higher-dimensional (or lower-dimensional) space.
Definition
{{quote box|thumb|width=33%|source={{harvs|first=Branko |last=Grünbaum|year=1994}}|quote=The Original Sin in the theory of polyhedra goes back to Euclid, and through Kepler, Poinsot, Cauchy and many others continues to afflict all the work on this topic (including that of the present author). It arises from the fact that the traditional usage of the term "regular polyhedra" was, and is, contrary to syntax and to logic: the words seem to imply that we are dealing, among the objects we call "polyhedra", with those special ones that deserve to be called "regular". But at each stage— Euclid, Kepler, Poinsot, Hess, Brückner,{{nbsp}}... —the writers failed to define what are the "polyhedra" among which they are finding the "regular" ones.}}
{{harvtxt|Coxeter|Longuet-Higgins|Miller|1954}} define uniform polyhedra to be vertex-transitive polyhedra with regular faces. They define a polyhedron to be a finite set of polygons such that each side of a polygon is a side of just one other polygon, such that no non-empty proper subset of the polygons has the same property. By a polygon they implicitly mean a polygon in 3-dimensional Euclidean space; these are allowed to be non-convex and intersecting each other.{{sfnp|Coxeter|Longuet-Higgins|Miller|1954}}
There are some generalizations of the concept of a uniform polyhedron. If the connectedness assumption is dropped, then we get uniform compounds, which can be split as a union of polyhedra, such as the compound of 5 cubes. If we drop the condition that the realization of the polyhedron is non-degenerate, then we get the so-called degenerate uniform polyhedra. These require a more general definition of polyhedra. {{harvtxt|Grünbaum|1994}} gave a rather complicated definition of a polyhedron, while
{{harvtxt|McMullen|Schulte|2002}} gave a simpler and more general definition of a polyhedron: in their terminology, a polyhedron is a 2-dimensional abstract polytope with a non-degenerate 3-dimensional realization. Here an abstract polytope is a poset of its "faces" satisfying various condition, a realization is a function from its vertices to some space, and the realization is called non-degenerate if any two distinct faces of the abstract polytope have distinct realizations.
Some of the ways they can be degenerate are as follows:
- Hidden faces. Some polyhedra have faces that are hidden, in the sense that no points of their interior can be seen from the outside. These are usually not counted as uniform polyhedra.
- Degenerate compounds. Some polyhedra have multiple edges and their faces are the faces of two or more polyhedra, though these are not compounds in the previous sense since the polyhedra share edges.
- Double covers. Some non-orientable polyhedra have double covers satisfying the definition of a uniform polyhedron. There double covers have doubled faces, edges and vertices. They are usually not counted as uniform polyhedra.
- Double faces. There are several polyhedra with doubled faces produced by Wythoff's construction. Most authors do not allow doubled faces and remove them as part of the construction.
- Double edges. Skilling's figure has the property that it has double edges (as in the degenerate uniform polyhedra) but its faces cannot be written as a union of two uniform polyhedra.
History
= Regular convex polyhedra =
- The Platonic solids date back to the classical Greeks and were studied by the Pythagoreans, Plato (c. 424 – 348 BC), Theaetetus (c. 417 BC – 369 BC), Timaeus of Locri (c. 420–380 BC), and Euclid (fl. 300 BC). The Etruscans discovered the regular dodecahedron before 500 BC.Regular Polytopes, p.13
= Nonregular uniform convex polyhedra =
- The cuboctahedron was known by Plato.
- Archimedes (287 BC – 212 BC) discovered all of the 13 Archimedean solids. His original book on the subject was lost, but Pappus of Alexandria (c. 290 – c. 350 AD) mentioned Archimedes listed 13 polyhedra.
- Piero della Francesca (1415 – 1492) rediscovered the five truncations of the Platonic solids—truncated tetrahedron, truncated octahedron, truncated cube, truncated dodecahedron, and truncated icosahedron—and included illustrations and calculations of their metric properties in his book De quinque corporibus regularibus. He also discussed the cuboctahedron in a different book.[http://www.georgehart.com/virtual-polyhedra/piero.html Piero della Francesca's Polyhedra]
- Luca Pacioli plagiarized Francesca's work in De divina proportione in 1509, adding the rhombicuboctahedron, calling it an icosihexahedron for its 26 faces, which was drawn by Leonardo da Vinci.
- Johannes Kepler (1571–1630) was the first to publish the complete list of Archimedean solids, in 1619. He also identified the infinite families of uniform prisms and antiprisms.
= Regular star polyhedra =
- Kepler (1619) discovered two of the regular Kepler–Poinsot polyhedra, the small stellated dodecahedron and great stellated dodecahedron.
- Louis Poinsot (1809) discovered the other two, the great dodecahedron and great icosahedron.
- The set of four was proven complete by Augustin-Louis Cauchy in 1813 and named by Arthur Cayley in 1859.
= Other 53 nonregular star polyhedra =
- Of the remaining 53, Edmund Hess (1878) discovered 2, Albert Badoureau (1881) discovered 36 more, and Pitsch (1881) independently discovered 18, of which 3 had not previously been discovered. Together these gave 41 polyhedra.
- The geometer H.S.M. Coxeter discovered the remaining twelve in collaboration with J. C. P. Miller (1930–1932) but did not publish. M.S. Longuet-Higgins and H.C. Longuet-Higgins independently discovered eleven of these. Lesavre and Mercier rediscovered five of them in 1947.
- {{harvtxt|Coxeter|Longuet-Higgins|Miller|1954}} published the list of uniform polyhedra.
- {{harvtxt|Sopov|1970}} proved their conjecture that the list was complete.
- In 1974, Magnus Wenninger published his book Polyhedron models, which lists all 75 nonprismatic uniform polyhedra, with many previously unpublished names given to them by Norman Johnson.
- {{harvtxt|Skilling|1975}} independently proved the completeness and showed that if the definition of uniform polyhedron is relaxed to allow edges to coincide then there is just one extra possibility (the great disnub dirhombidodecahedron).
- In 1987, Edmond Bonan drew all the uniform polyhedra and their duals in 3D with a Turbo Pascal program called Polyca. Most of them were shown during the International Stereoscopic Union Congress held in 1993, at the Congress Theatre, Eastbourne, England; and again in 2005 at the Kursaal of Besançon, France.[https://www.image-en-relief.org/albums_3D/liste_images_repertoire.php?dirAlbum=Bonan_Edmond_1993-Polyedres_Eastbourne Edmond Bonan, "Polyèdres Eastbourne 1993", Stéréo-Club Français 1993]
- In 1993, Zvi Har'El (1949–2008)[http://www.verniana.org/volumes/01/LetterSize/Tribute.pdf Dr. Zvi Har'El (December 14, 1949 – February 2, 2008) and International Jules Verne Studies - A Tribute] produced a complete kaleidoscopic construction of the uniform polyhedra and duals with a computer program called Kaleido and summarized it in a paper Uniform Solution for Uniform Polyhedra, counting figures 1-80.{{cite journal
| last1=Har'el | first1=Zvi
| url=http://harel.org.il/zvi/docs/uniform.pdf
| title=Uniform Solution for Uniform Polyhedra
| journal=Geometriae Dedicata
| volume=47
| pages=57–110
| date=1993
| doi=10.1007/BF01263494 | doi-access=free}} [http://harel.org.il/zvi Zvi Har'El], [http://harel.org.il/zvi/kaleido/ Kaleido software], [http://harel.org.il/zvi/kaleido/poly.html Images], [http://harel.org.il/zvi/kaleido/dual.html dual images]
- Also in 1993, R. Mäder ported this Kaleido solution to Mathematica with a slightly different indexing system.[http://www.mathconsult.ch/showroom/unipoly Mäder, R. E.] Uniform Polyhedra. Mathematica J. 3, 48-57, 1993. [http://library.wolfram.com/infocenter/Articles/2254]
- In 2002 Peter W. Messer discovered a minimal set of closed-form expressions for determining the main combinatorial and metrical quantities of any uniform polyhedron (and its dual) given only its Wythoff symbol.{{cite journal
| first1=Peter W. | last1=Messer
| title=Closed-Form Expressions for Uniform Polyhedra and Their Duals
| journal=Discrete & Computational Geometry
| volume=27
| pages=353–375
| year=2002
| issue=3
| doi=10.1007/s00454-001-0078-2
| doi-access=free}}
Uniform star polyhedra
{{main|Uniform star polyhedron}}
File:Great dirhombicosidodecahedron.png
The 57 nonprismatic nonconvex forms, with exception of the great dirhombicosidodecahedron, are compiled by Wythoff constructions within Schwarz triangles.
Convex forms by Wythoff construction
File:Wythoffian construction diagram.svg
File:Polyhedron truncation example3.png and octahedron]]
The convex uniform polyhedra can be named by Wythoff construction operations on the regular form.
In more detail the convex uniform polyhedron are given below by their Wythoff construction within each symmetry group.
Within the Wythoff construction, there are repetitions created by lower symmetry forms. The cube is a regular polyhedron, and a square prism. The octahedron is a regular polyhedron, and a triangular antiprism. The octahedron is also a rectified tetrahedron. Many polyhedra are repeated from different construction sources, and are colored differently.
The Wythoff construction applies equally to uniform polyhedra and uniform tilings on the surface of a sphere, so images of both are given. The spherical tilings include the set of hosohedra and dihedra which are degenerate polyhedra.
These symmetry groups are formed from the reflectional point groups in three dimensions, each represented by a fundamental triangle (p q r), where p > 1, q > 1, r > 1 and {{nowrap|1/p + 1/q + 1/r < 1}}.
- Tetrahedral symmetry (3 3 2) – order 24
- Octahedral symmetry (4 3 2) – order 48
- Icosahedral symmetry (5 3 2) – order 120
- Dihedral symmetry (n 2 2), for n = 3,4,5,... – order 4n
The remaining nonreflective forms are constructed by alternation operations applied to the polyhedra with an even number of sides.
Along with the prisms and their dihedral symmetry, the spherical Wythoff construction process adds two regular classes which become degenerate as polyhedra : the dihedra and the hosohedra, the first having only two faces, and the second only two vertices. The truncation of the regular hosohedra creates the prisms.
Below the convex uniform polyhedra are indexed 1–18 for the nonprismatic forms as they are presented in the tables by symmetry form.
For the infinite set of prismatic forms, they are indexed in four families:
= Summary tables =
class="wikitable" width=640 |
valign=top
!Johnson name !Parent !Truncated !Rectified !Bitruncated !Birectified !Cantellated !Omnitruncated !Snub |
valign=top
!{{CDD|node_1|p|node|q|node}} !{{CDD|node_1|p|node_1|q|node}} !{{CDD|node|p|node_1|q|node}} !{{CDD|node|p|node_1|q|node_1}} !{{CDD|node|p|node|q|node_1}} !{{CDD|node_1|p|node|q|node_1}} !{{CDD|node_1|p|node_1|q|node_1}} !{{CDD|node_h|p|node_h|q|node_h}} |
rowspan=3|Extended Schläfli symbol ! ! ! ! ! ! ! ! |
---|
{p,q}
!t{p,q} !r{p,q} !2t{p,q} !2r{p,q} !rr{p,q} !tr{p,q} !sr{p,q} |
t0{p,q}
!t0,1{p,q} !t1{p,q} !t1,2{p,q} !t2{p,q} !t0,2{p,q} !t0,1,2{p,q} !ht0,1,2{p,q} |
Wythoff symbol (p q 2) ! q {{pipe}} p 2 ! 2 q {{pipe}} p ! 2 {{pipe}} p q ! 2 p {{pipe}} q ! p {{pipe}} q 2 ! p q {{pipe}} 2 ! p q 2 {{pipe}} ! {{pipe}} p q 2 |
Vertex figure
!pq !q.2p.2p !(p.q)2 !p. 2q.2q !qp !p. 4.q.4 !4.2p.2q !3.3.p. 3.q |
align=center
|Tetrahedral |
align=center
|Octahedral |
align=center
|Icosahedral |
And a sampling of dihedral symmetries:
(The sphere is not cut, only the tiling is cut.) (On a sphere, an edge is the arc of the great circle, the shortest way, between its two vertices. Hence, a digon whose vertices are not polar-opposite is flat: it looks like an edge.)
class="wikitable" width=640 |
(p 2 2)
!Parent !Truncated !Rectified !Bitruncated !Birectified !Cantellated !Omnitruncated !Snub |
---|
Coxeter diagram
!{{CDD|node_1|p|node|2|node}} !{{CDD|node_1|p|node_1|2|node}} !{{CDD|node|p|node_1|2|node}} !{{CDD|node|p|node_1|2|node_1}} !{{CDD|node|p|node|2|node_1}} !{{CDD|node_1|p|node|2|node_1}} !{{CDD|node_1|p|node_1|2|node_1}} !{{CDD|node_h|p|node_h|2x|node_h}} |
rowspan=3|Extended Schläfli symbol ! ! ! ! ! ! ! ! |
{p,2}
!t{p,2} !r{p,2} !2t{p,2} !2r{p,2} !rr{p,2} !tr{p,2} !sr{p,2} |
t0{p,2}
!t0,1{p,2} !t1{p,2} !t1,2{p,2} !t2{p,2} !t0,2{p,2} !t0,1,2{p,2} !ht0,1,2{p,2} |
Wythoff symbol
! 2 {{pipe}} p 2 ! 2 2 {{pipe}} p ! 2 {{pipe}} p 2 ! 2 p {{pipe}} 2 ! p {{pipe}} 2 2 ! p 2 {{pipe}} 2 ! p 2 2 {{pipe}} ! {{pipe}} p 2 2 |
Vertex figure
!p2 !2.2p.2p !p. 2.p. 2 !p. 4.4 !2p !p. 4.2.4 !4.2p.4 !3.3.3.p |
align=center
|Dihedral | 64px | 64px | 64px | 64px | 64px | 64px |
align=center
|Dihedral | 64px | 64px | 64px | 64px | 64px | 64px |
align=center
|Dihedral | 2.8.8 | 64px | 64px | 64px | 64px | 64px |
align=center
|Dihedral | 2.10.10 | 64px | 64px | 64px | 64px | 64px |
align=center
|Dihedral | 64px | 64px | 64px | 64px | 64px | 64px |
= (3 3 2) T<sub>d</sub> tetrahedral symmetry =
The tetrahedral symmetry of the sphere generates 5 uniform polyhedra, and a 6th form by a snub operation.
The tetrahedral symmetry is represented by a fundamental triangle with one vertex with two mirrors, and two vertices with three mirrors, represented by the symbol (3 3 2). It can also be represented by the Coxeter group A2 or [3,3], as well as a Coxeter diagram: {{CDD|node|3|node|3|node}}.
There are 24 triangles, visible in the faces of the tetrakis hexahedron, and in the alternately colored triangles on a sphere:
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Graph !rowspan=2|Graph !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|3|node}} [3] (4) ! Pos. 1 ! Pos. 0 ! Faces ! Edges ! Vertices |
---|
bgcolor="#f0e0e0" align=center
!1 |align=center|Tetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|3|node|3|node}} | | | 4 | 6 | 4 |
bgcolor="#e0e0f0" align=center
![1] |align=center|Birectified tetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|3|node|3|node_1}} | | | 4 | 6 | 4 |
bgcolor="#e0f0e0" align=center
!2 |align=center|Rectified tetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|3|node_1|3|node}} | | 8 | 12 | 6 |
bgcolor="#f0e0e0" align=center
!3 |align=center|Truncated tetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|3|node_1|3|node}} | | 8 | 18 | 12 |
bgcolor="#e0e0f0" align=center
![3] |align=center|Bitruncated tetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|3|node_1|3|node_1}} | | 8 | 18 | 12 |
bgcolor="#e0f0e0" align=center
!4 |align=center|Cantellated tetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|3|node|3|node_1}} | 14 | 24 | 12 |
bgcolor="#e0f0e0" align=center
!5 |align=center|Omnitruncated tetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|3|node_1|3|node_1}} | 14 | 36 | 24 |
bgcolor="#d0f0f0" align=center
!6 |align=center|Snub tetratetrahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_h|3|node_h|3|node_h}} | 20 | 30 | 12 |
= (4 3 2) O<sub>h</sub> octahedral symmetry =
The octahedral symmetry of the sphere generates 7 uniform polyhedra, and a 7 more by alternation. Six of these forms are repeated from the tetrahedral symmetry table above.
The octahedral symmetry is represented by a fundamental triangle (4 3 2) counting the mirrors at each vertex. It can also be represented by the Coxeter group B2 or [4,3], as well as a Coxeter diagram: {{CDD|node|4|node|3|node}}.
There are 48 triangles, visible in the faces of the disdyakis dodecahedron, and in the alternately colored triangles on a sphere:
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Graph !rowspan=2|Graph !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|4|node|2}} [4] (6) ! Pos. 1 ! Pos. 0 ! Faces ! Edges ! Vertices |
---|
bgcolor="#f0e0e0" align=center
!7 |align=center|Cube |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|4|node|3|node}} | | | 6 | 12 | 8 |
bgcolor="#e0e0f0" align=center
![2] |align=center|Octahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|4|node|3|node_1}} | | | 8 | 12 | 6 |
bgcolor="#e0f0e0" align=center
![4] |align=center|Rectified cube |50px |50px |50px |50px |50px |align=center|{{CDD|node|4|node_1|3|node}} | | 14 | 24 | 12 |
bgcolor="#f0e0e0" align=center
!8 |align=center|Truncated cube |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|4|node_1|3|node}} | | 14 | 36 | 24 |
bgcolor="#e0e0f0" align=center
![5] |align=center|Truncated octahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|4|node_1|3|node_1}} | | 14 | 36 | 24 |
bgcolor="#e0f0e0" align=center
!9 |align=center|Cantellated cube |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|4|node|3|node_1}} | 26 | 48 | 24 |
bgcolor="#e0f0e0" align=center
!10 |align=center|Omnitruncated cube |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|4|node_1|3|node_1}} | 26 | 72 | 48 |
bgcolor="#d0f0f0" align=center
![6] |align=center|Snub octahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|4|node_h|3|node_h}} | | 20 | 30 | 12 |
bgcolor="#d0f0f0" align=center
![1] |align=center|Half cube |50px |50px |50px |50px |50px |align=center|{{CDD|node_h1|4|node|3|node}} | | | 4 | 6 | 4 |
bgcolor="#d0f0f0" align=center
![2] |align=center|Cantic cube |50px |50px |50px |50px |50px |align=center|{{CDD|node_h1|4|node|3|node_1}} | | 8 | 18 | 12 |
bgcolor="#d0f0f0" align=center
![4] | (same as Cuboctahedron) |50px |50px |50px |50px |50px |align=center|{{CDD|node_h0|4|node_1|3|node}} | | | |14 |24 |12 |
bgcolor="#d0f0f0" align=center
![5] | (same as Truncated octahedron) |50px |50px |50px |50px |50px |align=center|{{CDD|node_h0|4|node_1|3|node_1}} | | | |14 |36 |24 |
bgcolor="#d0f0f0" align=center
![9] | Cantic snub octahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|4|node_h|3|node_h}} | | | | 26 | 48 | 24 |
bgcolor="#d0f0f0" align=center
!11 |align=center|Snub cuboctahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_h|4|node_h|3|node_h}} | 38 | 60 | 24 |
= (5 3 2) I<sub>h</sub> icosahedral symmetry =
The icosahedral symmetry of the sphere generates 7 uniform polyhedra, and a 1 more by alternation. Only one is repeated from the tetrahedral and octahedral symmetry table above.
The icosahedral symmetry is represented by a fundamental triangle (5 3 2) counting the mirrors at each vertex. It can also be represented by the Coxeter group G2 or [5,3], as well as a Coxeter diagram: {{CDD|node|5|node|3|node}}.
There are 120 triangles, visible in the faces of the disdyakis triacontahedron, and in the alternately colored triangles on a sphere:
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Graph !rowspan=2|Graph !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|5|node|2}} [5] (12) ! Pos. 1 ! Pos. 0 ! Faces ! Edges ! Vertices |
---|
bgcolor="#f0e0e0" align=center
!12 |align=center|Dodecahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|5|node|3|node}} | | | 12 | 30 | 20 |
bgcolor="#e0e0f0" align=center
![6] |align=center|Icosahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|5|node|3|node_1}} | | | 20 | 30 | 12 |
bgcolor="#e0f0e0" align=center
!13 |align=center|Rectified dodecahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|5|node_1|3|node}} | | 32 | 60 | 30 |
bgcolor="#f0e0e0" align=center
!14 |align=center|Truncated dodecahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|5|node_1|3|node}} | | 32 | 90 | 60 |
bgcolor="#e0e0f0" align=center
!15 |align=center|Truncated icosahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node|5|node_1|3|node_1}} | | 32 | 90 | 60 |
bgcolor="#e0f0e0" align=center
!16 |align=center|Cantellated dodecahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|5|node|3|node_1}} | 62 | 120 | 60 |
bgcolor="#e0f0e0" align=center
!17 |align=center|Omnitruncated dodecahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_1|5|node_1|3|node_1}} | 62 | 180 | 120 |
bgcolor="#d0f0f0" align=center
!18 |align=center|Snub icosidodecahedron |50px |50px |50px |50px |50px |align=center|{{CDD|node_h|5|node_h|3|node_h}} | 92 | 150 | 60 |
= (p 2 2) Prismatic [p,2], I<sub>2</sub>(p) family (D<sub>''p''h</sub> dihedral symmetry) =
{{main|Prismatic uniform polyhedron}}
The dihedral symmetry of the sphere generates two infinite sets of uniform polyhedra, prisms and antiprisms, and two more infinite set of degenerate polyhedra, the hosohedra and dihedra which exist as tilings on the sphere.
The dihedral symmetry is represented by a fundamental triangle (p 2 2) counting the mirrors at each vertex. It can also be represented by the Coxeter group I2(p) or [n,2], as well as a prismatic Coxeter diagram: {{CDD|node|p|node|2|node}}.
Below are the first five dihedral symmetries: D2 ... D6. The dihedral symmetry Dp has order 4n, represented the faces of a bipyramid, and on the sphere as an equator line on the longitude, and n equally-spaced lines of longitude.
== (2 2 2) Dihedral symmetry ==
There are 8 fundamental triangles, visible in the faces of the square bipyramid (Octahedron) and alternately colored triangles on a sphere:
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|2|node|2 |
---|
[2]
(2)
! Pos. 1
{{CDD|node|2|node}}
[2]
(2)
! Pos. 0
{{CDD|2|node|2|node}}
[2]
(2)
! Faces
! Edges
! Vertices
|- bgcolor="#f0e0e0"
!D2
H2
|align=center|Digonal dihedron,
digonal hosohedron
|
|60px
|
|align=center|{{CDD|node_1|2|node|2|node}}
{2,2}
|
|
| 2
| 2
| 2
|- bgcolor="#e0f0e0"
!D4
|align=center|Truncated digonal dihedron
(same as square dihedron)
|
|60px
|
|align=center|{{CDD|node_1|2|node_1|2|node}}
t{2,2}={4,2}
|
|
| 2
| 4
| 4
|- bgcolor="#f0e0e0"
!P4
[7]
|align=center|Omnitruncated digonal dihedron
(same as cube)
|60px
|60px
|60px
|align=center|{{CDD|node_1|2|node_1|2|node_1}}
t0,1,2{2,2}=tr{2,2}
| 6
| 12
| 8
|- bgcolor="#d0f0f0"
!A2
[1]
|align=center|Snub digonal dihedron
(same as tetrahedron)
|60px
|60px
|60px
|align=center|{{CDD|node_h|2x|node_h|2x|node_h}}
sr{2,2}
|
|
| 4
| 6
| 4
|}
== (3 2 2) D<sub>3h</sub> dihedral symmetry ==
There are 12 fundamental triangles, visible in the faces of the hexagonal bipyramid and alternately colored triangles on a sphere:
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|3|node|2}} [3] (2) ! Pos. 1 ! Pos. 0 ! Faces ! Edges ! Vertices |
---|
bgcolor="#f0e0e0"
!D3 |align=center|Trigonal dihedron | |60px | |align=center|{{CDD|node_1|3|node|2|node}} | | | 2 | 3 | 3 |
bgcolor="#e0e0f0"
!H3 |align=center|Trigonal hosohedron | |60px | |align=center|{{CDD|node|3|node|2|node_1}} | | | 3 | 3 | 2 |
bgcolor="#e0f0e0"
!D6 |align=center|Truncated trigonal dihedron | |60px | |align=center|{{CDD|node_1|3|node_1|2|node}} | | | 2 | 6 | 6 |
bgcolor="#e0e0f0"
!P3 |align=center|Truncated trigonal hosohedron |60px |60px |60px |align=center|{{CDD|node|3|node_1|2|node_1}} | | 5 | 9 | 6 |
bgcolor="#e0f0e0"
!P6 |align=center|Omnitruncated trigonal dihedron |60px |60px |60px |align=center|{{CDD|node_1|3|node_1|2|node_1}} | 8 | 18 | 12 |
bgcolor="#d0f0f0"
!A3 |align=center|Snub trigonal dihedron |60px |60px |60px |align=center|{{CDD|node_h|3|node_h|2x|node_h}} | | 8 | 12 | 6 |
bgcolor="#d0f0f0"
!P3 |align=center|Cantic snub trigonal dihedron |60px |60px |60px |align=center|{{CDD|node_h|3|node_h|2x|node_1}} | | | | 5 | 9 | 6 |
== (4 2 2) D<sub>4h</sub> dihedral symmetry ==
There are 16 fundamental triangles, visible in the faces of the octagonal bipyramid and alternately colored triangles on a sphere:
:80px
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|4|node|2}} [4] (2) ! Pos. 1 ! Pos. 0 ! Faces ! Edges ! Vertices |
---|
bgcolor="#f0e0e0"
!D4 |align=center|square dihedron | |60px | |align=center|{{CDD|node_1|4|node|2|node}} | | | 2 | 4 | 4 |
bgcolor="#e0e0f0"
!H4 |align=center|square hosohedron | |60px | |align=center|{{CDD|node|4|node|2|node_1}} | | | 4 | 4 | 2 |
bgcolor="#e0f0e0"
!D8 |align=center|Truncated square dihedron | | | |align=center|{{CDD|node_1|4|node_1|2|node}} | | | 2 | 8 | 8 |
bgcolor="#e0e0f0"
!P4 |align=center|Truncated square hosohedron |60px |60px |60px |align=center|{{CDD|node|4|node_1|2|node_1}} | | 6 | 12 | 8 |
bgcolor="#e0f0e0"
!D8 |align=center|Omnitruncated square dihedron |60px |60px |60px |align=center|{{CDD|node_1|4|node_1|2|node_1}} | 10 | 24 | 16 |
bgcolor="#d0f0f0"
!A4 |align=center|Snub square dihedron |60px |60px |60px |align=center|{{CDD|node_h|4|node_h|2x|node_h}} | | 10 | 16 | 8 |
bgcolor="#d0f0f0"
!P4 |align=center|Cantic snub square dihedron |60px |60px |60px |align=center|{{CDD|node_h|4|node_h|2x|node_1}} | | | | 6 | 12 | 8 |
bgcolor="#d0f0f0"
!A2 |align=center|Snub square hosohedron |60px |60px |60px |align=center|{{CDD|node|4|node_h|2x|node_h}} | | | | 4 | 6 | 4 |
== (5 2 2) D<sub>5h</sub> dihedral symmetry ==
There are 20 fundamental triangles, visible in the faces of the decagonal bipyramid and alternately colored triangles on a sphere:
:60px
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|5|node|2}} [5] (2) ! Pos. 1 ! Pos. 0 ! Faces ! Edges ! Vertices |
---|
bgcolor="#f0e0e0"
!D5 |align=center|Pentagonal dihedron | |60px | |align=center|{{CDD|node_1|5|node|2|node}} | | | 2 | 5 | 5 |
bgcolor="#e0e0f0"
!H5 |align=center|Pentagonal hosohedron | |60px | |align=center|{{CDD|node|5|node|2|node_1}} | | | 5 | 5 | 2 |
bgcolor="#e0f0e0"
!D10 |align=center|Truncated pentagonal dihedron | | | |align=center|{{CDD|node_1|5|node_1|2|node}} | | | 2 | 10 | 10 |
bgcolor="#e0e0f0"
!P5 |align=center|Truncated pentagonal hosohedron |60px |60px |60px |align=center|{{CDD|node|5|node_1|2|node_1}} | | 7 | 15 | 10 |
bgcolor="#e0f0e0"
!P10 |align=center|Omnitruncated pentagonal dihedron |60px |60px |60px |align=center|{{CDD|node_1|5|node_1|2|node_1}} | 12 | 30 | 20 |
bgcolor="#d0f0f0"
!A5 |align=center|Snub pentagonal dihedron |60px |60px |60px |align=center|{{CDD|node_h|5|node_h|2x|node_h}} | | 12 | 20 | 10 |
bgcolor="#d0f0f0"
!P5 |align=center|Cantic snub pentagonal dihedron |60px |60px |60px |align=center|{{CDD|node_h|5|node_h|2x|node_1}} | | | | 7 | 15 | 10 |
== (6 2 2) D<sub>6h</sub> dihedral symmetry ==
There are 24 fundamental triangles, visible in the faces of the dodecagonal bipyramid and alternately colored triangles on a sphere.
class="wikitable"
!rowspan=2|# !rowspan=2|Name !rowspan=2|Picture !rowspan=2|Tiling !rowspan=2|Vertex !rowspan=2|Coxeter !colspan=3|Face counts by position !colspan=3|Element counts |
Pos. 2 {{CDD|node|6|node|2}} [6] (2) ! Pos. 1 ! Pos. 0 ! Faces ! Edges ! Vertices |
---|
bgcolor="#f0e0e0"
!D6 |align=center|Hexagonal dihedron | |60px | |align=center|{{CDD|node_1|6|node|2|node}} | | | 2 | 6 | 6 |
bgcolor="#e0e0f0"
!H6 |align=center|Hexagonal hosohedron | |60px | |align=center|{{CDD|node|6|node|2|node_1}} | | | 6 | 6 | 2 |
bgcolor="#e0f0e0"
!D12 |align=center|Truncated hexagonal dihedron | |60px | |align=center|{{CDD|node_1|6|node_1|2|node}} | | | 2 | 12 | 12 |
bgcolor="#e0e0f0"
!H6 |align=center|Truncated hexagonal hosohedron |60px |60px |60px |align=center|{{CDD|node|6|node_1|2|node_1}} | | 8 | 18 | 12 |
bgcolor="#e0f0e0"
!P12 |align=center|Omnitruncated hexagonal dihedron |60px |60px |60px |align=center|{{CDD|node_1|6|node_1|2|node_1}} | 14 | 36 | 24 |
bgcolor="#d0f0f0"
!A6 |align=center|Snub hexagonal dihedron |60px |60px |60px |align=center|{{CDD|node_h|6|node_h|2x|node_h}} | | 14 | 24 | 12 |
bgcolor="#d0f0f0"
!P3 |align=center|Cantic hexagonal dihedron |60px |60px |60px |align=center|{{CDD|node_h1|6|node|2|node_1}} = {{CDD|node_1|3|node|2|node_1}} | | | |5 |9 |6 |
bgcolor="#d0f0f0"
!P6 |align=center|Cantic snub hexagonal dihedron |60px |60px |60px |align=center|{{CDD|node_h|6|node_h|2x|node_1}} | | | | 8 | 18 | 12 |
bgcolor="#d0f0f0"
!A3 |align=center|Snub hexagonal hosohedron |60px |60px |60px |align=center|{{CDD|node|6|node_h|2x|node_h}} | | | | 8 | 12 | 6 |
Wythoff construction operators
class="wikitable"
!Operation !Symbol !Description |
width=150|Parent
!width=60|{p,q} |{{CDD|node_1|p|node|q|node}} | Any regular polyhedron or tiling |
---|
Rectified (r)
!r{p,q} |{{CDD|node|p|node_1|q|node}} |The edges are fully truncated into single points. The polyhedron now has the combined faces of the parent and dual. Polyhedra are named by the number of sides of the two regular forms: {p,q} and {q,p}, like cuboctahedron for r{4,3} between a cube and octahedron. |
Birectified (2r) (also dual) !2r{p,q} |{{CDD|node|p|node|q|node_1}} |File:Dual Cube-Octahedron.svgThe birectified (dual) is a further truncation so that the original faces are reduced to points. New faces are formed under each parent vertex. The number of edges is unchanged and are rotated 90 degrees. A birectification can be seen as the dual. |
Truncated (t)
!t{p,q} |{{CDD|node_1|p|node_1|q|node}} |Each original vertex is cut off, with a new face filling the gap. Truncation has a degree of freedom, which has one solution that creates a uniform truncated polyhedron. The polyhedron has its original faces doubled in sides, and contains the faces of the dual. |
Bitruncated (2t) (also truncated dual) !2t{p,q} |{{CDD|node|p|node_1|q|node_1}} |A bitruncation can be seen as the truncation of the dual. A bitruncated cube is a truncated octahedron. |
Cantellated (rr) (Also expanded) !rr{p,q} |{{CDD|node_1|p|node|q|node_1}} |In addition to vertex truncation, each original edge is beveled with new rectangular faces appearing in their place. A uniform cantellation is halfway between both the parent and dual forms. A cantellated polyhedron is named as a rhombi-r{p,q}, like rhombicuboctahedron for rr{4,3}. |
Cantitruncated (tr) (Also omnitruncated) !tr{p,q} |{{CDD|node_1|p|node_1|q|node_1}} |The truncation and cantellation operations are applied together to create an omnitruncated form which has the parent's faces doubled in sides, the dual's faces doubled in sides, and squares where the original edges existed. |
class="wikitable"
|+ Alternation operations |
width=150|Operation
!width=70|Symbol !Description |
---|
Snub rectified (sr)
!sr{p,q} |{{CDD|node_h|p|node_h|q|node_h}} |The alternated cantitruncated. All the original faces end up with half as many sides, and the squares degenerate into edges. Since the omnitruncated forms have 3 faces/vertex, new triangles are formed. Usually these alternated faceting forms are slightly deformed thereafter in order to end again as uniform polyhedra. The possibility of the latter variation depends on the degree of freedom. |
Snub (s)
!s{p,2q} |{{CDD|node_h|p|node_h|2x|q|node}} |Alternated truncation |
Cantic snub (s2)
!s2{p,2q} |{{CDD|node_h|p|node_h|2x|q|node_1}} | |
Alternated cantellation (hrr)
!hrr{2p,2q} |{{CDD|node_h|2x|p|node|2x|q|node_h}} |Only possible in uniform tilings (infinite polyhedra), alternation of {{CDD|node_1|2x|p|node|2x|q|node_1}} |
Half (h)
!h{2p,q} |{{CDD|node_h1|2x|p|node|q|node}} |align=left|Alternation of {{CDD|node_1|2x|p|node|q|node}}, same as {{CDD|labelp|branch_10ru|split2-qq|node}} |
Cantic (h2)
!h2{2p,q} |{{CDD|node_h1|2x|p|node|q|node_1}} |Same as {{CDD|labelp|branch_10ru|split2-qq|node_1}} |
Half rectified (hr)
!hr{2p,2q} |{{CDD|node|2x|p|node_h1|2x|q|node}} |align=left|Only possible in uniform tilings (infinite polyhedra), alternation of {{CDD|node|2x|p|node_1|2x|q|node}}, same as {{CDD|labelp|branch_10ru|2a2b-cross|branch_10lu|labelq}} or {{CDD|labelp|branch_10r|iaib|branch_01l|labelq}} |
Quarter (q)
!q{2p,2q} |{{CDD|node_h1|2x|p|node|2x|q|node_h1}} |Only possible in uniform tilings (infinite polyhedra), same as {{CDD|labelq|branch_11|papb-cross|branch_10l|labelq}} |
See also
- Polyhedron
- Regular polyhedron
- Quasiregular polyhedron
- Semiregular polyhedron
- List of uniform polyhedra
- List of uniform polyhedra by vertex figure
- List of uniform polyhedra by Wythoff symbol
- List of uniform polyhedra by Schwarz triangle
- List of Johnson solids
- List of Wenninger polyhedron models
- Polyhedron model
- Uniform tiling
- Uniform tilings in hyperbolic plane
- Pseudo-uniform polyhedron
- List of shapes
Notes
{{reflist}}
References
- Brückner, M. Vielecke und vielflache. Theorie und geschichte.. Leipzig, Germany: Teubner, 1900. [http://www.hti.umich.edu/cgi/b/bib/bibperm?q1=ABN8316.0001.001]
- {{Cite journal | last1=Coxeter | first1=Harold Scott MacDonald | author1-link=Harold Scott MacDonald Coxeter | last2=Longuet-Higgins | first2=M. S. | author-link2=Michael S. Longuet-Higgins | last3=Miller | first3=J. C. P. | author-link3=J. C. P. Miller| title=Uniform polyhedra | jstor=91532 | mr=0062446 | year=1954 | journal=Philosophical Transactions of the Royal Society A| issn=0080-4614 | volume=246 |issue=916 | pages=401–450 | doi=10.1098/rsta.1954.0003 | bibcode=1954RSPTA.246..401C | s2cid=202575183 |url=http://rsta.royalsocietypublishing.org/content/roypta/246/916/401.full.pdf}}
- {{citation
| last = Diudea | first = M. V.
| year = 2018
| title = Multi-shell Polyhedral Clusters
| series = Carbon Materials: Chemistry and Physics
| volume = 10
| publisher = Springer
| isbn = 978-3-319-64123-2
| doi = 10.1007/978-3-319-64123-2
| url = https://books.google.com/books?id=p_06DwAAQBAJ
}}
- {{citation|first= B.|last= Grünbaum |author-link1= Branko Grünbaum |chapter= Polyhedra with Hollow Faces
|editor1= Tibor Bisztriczky |editor2= Peter McMullen
|editor3= Rolf Schneider |display-editors = 3 |editor4= A Weiss
|title= Proceedings of the NATO Advanced Study Institute on Polytopes: Abstract, Convex and Computational
|year= 1994 |publisher= Springer |isbn= 978-94-010-4398-4|pages= 43–70
|doi= 10.1007/978-94-011-0924-6_3 }}
- {{citation|first1= Peter|last1= McMullen |author-link1=Peter McMullen
|title= Abstract Regular Polytopes
|year= 2002 |publisher= Cambridge University Press
|first2=Egon|last2=Schulte}}
- {{Cite journal | last1=Skilling | first1=J. | title=The complete set of uniform polyhedra | jstor=74475 | mr=0365333 | year=1975 | journal=Philosophical Transactions of the Royal Society of London. Series A. Mathematical and Physical Sciences | issn=0080-4614 | volume=278 | pages=111–135 | doi=10.1098/rsta.1975.0022 | issue=1278| bibcode=1975RSPTA.278..111S | s2cid=122634260 }}
- {{Cite journal | last1=Sopov | first1=S. P. | title=A proof of the completeness on the list of elementary homogeneous polyhedra | mr=0326550 | year=1970 | journal=Ukrainskiui Geometricheskiui Sbornik | issue=8 | pages=139–156 }}
- {{cite book | first=Magnus | last=Wenninger | author-link=Magnus Wenninger | title=Polyhedron Models | publisher=Cambridge University Press | year=1974 | isbn=978-0-521-09859-5 }}
External links
- {{MathWorld | urlname=UniformPolyhedron | title=Uniform Polyhedron}}
- [http://harel.org.il/zvi/docs/uniform.pdf Uniform Solution for Uniform Polyhedra]
- [http://www.mathconsult.ch/showroom/unipoly/ The Uniform Polyhedra]
- [http://www.georgehart.com/virtual-polyhedra/uniform-info.html Virtual Polyhedra] Uniform Polyhedra
- [http://www.stereo-club.fr/GalerieSCF/main.php?cmd=album&var1=Edmond+Bonan%2FPolyedres/&var2=3 Uniform polyhedron gallery]
- [http://mathworld.wolfram.com/UniformPolyhedron.html Uniform Polyhedron -- from Wolfram MathWorld] Has a visual chart of all 75
{{Polytopes}}