In geometry, the term semiregular polyhedron (or semiregular polytope) is used variously by different authors.
In its original definition, it is a polyhedron with regular polygonal faces, and a symmetry group which is transitive on its vertices; today, this is more commonly referred to as a uniform polyhedron (this follows from Thorold Gosset's 1900 definition of the more general semiregular polytope). [1] [2] These polyhedra include:
These semiregular solids can be fully specified by a vertex configuration: a listing of the faces by number of sides, in order as they occur around a vertex. For example: 3.5.3.5 represents the icosidodecahedron, which alternates two triangles and two pentagons around each vertex. In contrast: 3.3.3.5 is a pentagonal antiprism. These polyhedra are sometimes described as vertex-transitive.
Since Gosset, other authors have used the term semiregular in different ways in relation to higher dimensional polytopes. E. L. Elte [3] provided a definition which Coxeter found too artificial. Coxeter himself dubbed Gosset's figures uniform, with only a quite restricted subset classified as semiregular. [4]
Yet others have taken the opposite path, categorising more polyhedra as semiregular. These include:
A further source of confusion lies in the way that the Archimedean solids are defined, again with different interpretations appearing.
Gosset's definition of semiregular includes figures of higher symmetry: the regular and quasiregular polyhedra. Some later authors prefer to say that these are not semiregular, because they are more regular than that - the uniform polyhedra are then said to include the regular, quasiregular, and semiregular ones. This naming system works well, and reconciles many (but by no means all) of the confusions.
In practice even the most eminent authorities can get themselves confused, defining a given set of polyhedra as semiregular and/or Archimedean, and then assuming (or even stating) a different set in subsequent discussions. Assuming that one's stated definition applies only to convex polyhedra is probably the most common failing. Coxeter, Cromwell, [5] and Cundy & Rollett [6] are all guilty of such slips.
Trigonal trapezohedron (V(3.3)2) | Rhombic dodecahedron V(3.4)2 | Rhombic triacontahedron V(3.5)2 |
Johannes Kepler coined the category semiregular in his book Harmonices Mundi (1619), including the 13 Archimedean solids, two infinite families (prisms and antiprisms on regular bases), and two edge-transitive Catalan solids, the rhombic dodecahedron and rhombic triacontahedron. He also considered a rhombus as a semiregular polygon (being equilateral and alternating two angles) as well as star polygons, now called isotoxal figures which he used in planar tilings. The trigonal trapezohedron, a topological cube with congruent rhombic faces, would also qualify as semiregular, though Kepler did not mention it specifically.
In many works semiregular polyhedron is used as a synonym for Archimedean solid. [7] For example, Cundy & Rollett (1961).
We can distinguish between the facially-regular and vertex-transitive figures based on Gosset, and their vertically-regular (or versi-regular) and facially-transitive duals.
Coxeter et al. (1954) use the term semiregular polyhedra to classify uniform polyhedra with Wythoff symbol of the form p q | r, a definition encompassing only six of the Archimedean solids, as well as the regular prisms (but not the regular antiprisms) and numerous nonconvex solids. Later, Coxeter (1973) would quote Gosset's definition without comment, thus accepting it by implication.
Eric Weisstein, Robert Williams and others use the term to mean the convex uniform polyhedra excluding the five regular polyhedra – including the Archimedean solids, the uniform prisms, and the uniform antiprisms (overlapping with the cube as a prism and regular octahedron as an antiprism). [8] [9]
Peter Cromwell (1997) writes in a footnote to Page 149 that, "in current terminology, 'semiregular polyhedra' refers to the Archimedean and Catalan (Archimedean dual) solids". On Page 80 he describes the thirteen Archimedeans as semiregular, while on Pages 367 ff. he discusses the Catalans and their relationship to the 'semiregular' Archimedeans. By implication this treats the Catalans as not semiregular, thus effectively contradicting (or at least confusing) the definition he provided in the earlier footnote. He ignores nonconvex polyhedra.
The Archimedean solids are a set of thirteen convex polyhedra whose faces are regular polygons, but not all alike, and whose vertices are all symmetric to each other. The solids were named after Archimedes, although he did not claim credit for them. They belong to the class of uniform polyhedra, the polyhedra with regular faces and symmetric vertices. Some Archimedean solids were portrayed in the works of artists and mathematicians during the Renaissance.
In geometry, a convex uniform honeycomb is a uniform tessellation which fills three-dimensional Euclidean space with non-overlapping convex uniform polyhedral cells.
In geometry, a polyhedron is a three-dimensional figure with flat polygonal faces, straight edges and sharp corners or vertices.
In geometry, a 4-polytope is a four-dimensional polytope. It is a connected and closed figure, composed of lower-dimensional polytopal elements: vertices, edges, faces (polygons), and cells (polyhedra). Each face is shared by exactly two cells. The 4-polytopes were discovered by the Swiss mathematician Ludwig Schläfli before 1853.
In geometry, the rhombicuboctahedron is an Archimedean solid with 26 faces, consisting of 8 equilateral triangles and 18 squares. It was named by Johannes Kepler in his 1618 Harmonices Mundi, being short for truncated cuboctahedral rhombus, with cuboctahedral rhombus being his name for a rhombic dodecahedron.
In geometry, the rhombicosidodecahedron is an Archimedean solid, one of thirteen convex isogonal nonprismatic solids constructed of two or more types of regular polygon faces.
In geometry, a truncated icosidodecahedron, rhombitruncated icosidodecahedron, great rhombicosidodecahedron, omnitruncated dodecahedron or omnitruncated icosahedron is an Archimedean solid, one of thirteen convex, isogonal, non-prismatic solids constructed by two or more types of regular polygon faces.
The Catalan solids are the dual polyhedron of Archimedean solids, a set of thirteen polyhedrons with highly symmetric forms semiregular polyhedrons in which two or more polygonal of their faces are met at a vertex. A polyhedron can have a dual by corresponding vertices to the faces of the other polyhedron, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. One way to construct the Catalan solids is by using the method of Dorman Luke construction.
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.
In geometry, a uniform 4-polytope is a 4-dimensional polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons.
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, quasi-regular, or semi-regular. The faces and vertices don't need to be convex, so many of the uniform polyhedra are also star polyhedra.
In geometry, the rectified 600-cell or rectified hexacosichoron is a convex uniform 4-polytope composed of 600 regular octahedra and 120 icosahedra cells. Each edge has two octahedra and one icosahedron. Each vertex has five octahedra and two icosahedra. In total it has 3600 triangle faces, 3600 edges, and 720 vertices.
In geometry, a vertex configuration is a shorthand notation for representing the vertex figure of a polyhedron or tiling as the sequence of faces around a vertex. For uniform polyhedra there is only one vertex type and therefore the vertex configuration fully defines the polyhedron.
In geometry, a tessellation of dimension 2 or higher, or a polytope of dimension 3 or higher, is isohedral or face-transitive if all its faces are the same. More specifically, all faces must be not merely congruent but must be transitive, i.e. must lie within the same symmetry orbit. In other words, for any two faces A and B, there must be a symmetry of the entire figure by translations, rotations, and/or reflections that maps A onto B. For this reason, convex isohedral polyhedra are the shapes that will make fair dice.
In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. Here, "vertex-transitive" means that it has symmetries taking every vertex to every other vertex; the same must also be true within each lower-dimensional face of the polytope. In two dimensions a stronger definition is used: only the regular polygons are considered as uniform, disallowing polygons that alternate between two different lengths of edges.
In geometry, a star polyhedron is a polyhedron which has some repetitive quality of nonconvexity giving it a star-like visual quality.
In geometry, a uniform star polyhedron is a self-intersecting uniform polyhedron. They are also sometimes called nonconvex polyhedra to imply self-intersecting. Each polyhedron can contain either star polygon faces, star polygon vertex figures, or both.
In geometry, a quasiregular polyhedron is a uniform polyhedron that has exactly two kinds of regular faces, which alternate around each vertex. They are vertex-transitive and edge-transitive, hence a step closer to regular polyhedra than the semiregular, which are merely vertex-transitive.
A dual uniform polyhedron is the dual of a uniform polyhedron. Where a uniform polyhedron is vertex-transitive, a dual uniform polyhedron is face-transitive.