In
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, the term semiregular polyhedron (or semiregular polytope) is used variously by different authors.
Definitions
In its original definition, it is a
polyhedron
In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices.
A convex polyhedron is the convex hull of finitely many points, not all on th ...
with
regular polygon
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either convex p ...
al faces, and a
symmetry group
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient ...
which is
transitive on its
vertices; today, this is more commonly referred to as a
uniform polyhedron
In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive (i.e., there is an isometry mapping any vertex onto any other). It follows that all vertices are congruent.
Uniform polyhedra may be regular (if also fa ...
(this follows from
Thorold Gosset
John Herbert de Paz Thorold Gosset (16 October 1869 – December 1962) was an English lawyer and an amateur mathematician. In mathematics, he is noted for discovering and classifying the semiregular polytopes in dimensions four and higher, and ...
's 1900 definition of the more general semiregular
polytope
In elementary geometry, a polytope is a geometric object with flat sides (''faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an -d ...
). These polyhedra include:
*The thirteen
Archimedean solid
In geometry, an Archimedean solid is one of the 13 solids first enumerated by Archimedes. They are the convex uniform polyhedra composed of regular polygons meeting in identical vertices, excluding the five Platonic solids (which are composed ...
s.
** The
elongated square gyrobicupola
In geometry, the elongated square gyrobicupola or pseudo-rhombicuboctahedron is one of the Johnson solids (). It is not usually considered to be an Archimedean solid, even though its Face (geometry), faces consist of regular polygons that meet ...
, also called a pseudo-rhombicuboctahedron, a
Johnson solid
In geometry, a Johnson solid is a strictly convex polyhedron each face of which is a regular polygon. There is no requirement that isohedral, each face must be the same polygon, or that the same polygons join around each Vertex (geometry), ver ...
, has identical
vertex figure
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.
Definitions
Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connect ...
s 3.4.4.4, but is not
vertex-transitive
In geometry, a polytope (e.g. a polygon or polyhedron) or a tiling is isogonal or vertex-transitive if all its vertices are equivalent under the symmetries of the figure. This implies that each vertex is surrounded by the same kinds of face in ...
including a twist has been argued for inclusion as a 14th Archimedean solid by
Branko Grünbaum
Branko Grünbaum ( he, ברנקו גרונבאום; 2 October 1929 – 14 September 2018) was a Croatian-born mathematician of Jewish descent[prism
Prism usually refers to:
* Prism (optics), a transparent optical component with flat surfaces that refract light
* Prism (geometry), a kind of polyhedron
Prism may also refer to:
Science and mathematics
* Prism (geology), a type of sedimentary ...](_blank)
s.
*An infinite series of convex
antiprism
In geometry, an antiprism or is a polyhedron composed of two parallel direct copies (not mirror images) of an polygon, connected by an alternating band of triangles. They are represented by the Conway notation .
Antiprisms are a subclass o ...
s (their semiregular nature was first observed by
Kepler
Johannes Kepler (; ; 27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his laws o ...
).
These semiregular solids can be fully specified by a
: a listing of the faces by number of sides, in order as they occur around a vertex. For example: represents the
icosidodecahedron
In geometry, an icosidodecahedron is a polyhedron with twenty (''icosi'') triangular faces and twelve (''dodeca'') pentagonal faces. An icosidodecahedron has 30 identical vertices, with two triangles and two pentagons meeting at each, and 60 id ...
, which alternates two
triangle
A triangle is a polygon with three Edge (geometry), edges and three Vertex (geometry), vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC.
In Euclidean geometry, an ...
s and two
pentagon
In geometry, a pentagon (from the Greek πέντε ''pente'' meaning ''five'' and γωνία ''gonia'' meaning ''angle'') is any five-sided polygon or 5-gon. The sum of the internal angles in a simple pentagon is 540°.
A pentagon may be simpl ...
s around each vertex. In contrast: is a
pentagonal antiprism
In geometry, the pentagonal antiprism is the third in an infinite set of antiprisms formed by an even-numbered sequence of triangle sides closed by two polygon caps. It consists of two pentagons joined to each other by a ring of 10 triangles for ...
. These polyhedra are sometimes described as
vertex-transitive
In geometry, a polytope (e.g. a polygon or polyhedron) or a tiling is isogonal or vertex-transitive if all its vertices are equivalent under the symmetries of the figure. This implies that each vertex is surrounded by the same kinds of face in ...
.
Since Gosset, other authors have used the term semiregular in different ways in relation to higher dimensional polytopes.
E. L. Elte
Emanuel Lodewijk Elte (16 March 1881 in Amsterdam – 9 April 1943 in Sobibor extermination camp, Sobibór)[ Em ...]
provided a definition which
Coxeter
Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century.
Biography
Coxeter was born in Kensington to ...
found too artificial. Coxeter himself dubbed Gosset's figures ''uniform'', with only a quite restricted subset classified as semiregular.
Yet others have taken the opposite path, categorising more polyhedra as semiregular. These include:
*Three sets of
star polyhedra
In geometry, a star polyhedron is a polyhedron which has some repetitive quality of nonconvexity giving it a star-like visual quality.
There are two general kinds of star polyhedron:
*Polyhedra which self-intersect in a repetitive way.
*Concave p ...
which meet Gosset's definition, analogous to the three convex sets listed above.
*The
duals
''Duals'' is a compilation album by the Irish rock band U2. It was released in April 2011 to u2.com subscribers.
Track listing
:* "Where the Streets Have No Name" and "Amazing Grace" are studio mix of U2's performance at the Rose Bowl, Pas ...
of the above semiregular solids, arguing that since the dual polyhedra share the same symmetries as the originals, they too should be regarded as semiregular. These duals include the
Catalan solid
In mathematics, a Catalan solid, or Archimedean dual, is a dual polyhedron to an Archimedean solid. There are 13 Catalan solids. They are named for the Belgian mathematician Eugène Catalan, who first described them in 1865.
The Catalan sol ...
s, the convex
dipyramid
A (symmetric) -gonal bipyramid or dipyramid is a polyhedron formed by joining an -gonal pyramid and its mirror image base-to-base. An -gonal bipyramid has triangle faces, edges, and vertices.
The "-gonal" in the name of a bipyramid does not ...
s, and the convex antidipyramids or
trapezohedra
In geometry, an trapezohedron, -trapezohedron, -antidipyramid, -antibipyramid, or -deltohedron is the dual polyhedron of an antiprism. The faces of an are congruent and symmetrically staggered; they are called ''twisted kites''. With a hi ...
, and their nonconvex analogues.
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, and Cundy & Rollett are all guilty of such slips.
General remarks
Johannes Kepler
Johannes Kepler (; ; 27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his laws ...
coined the category semiregular in his book 1619,
Harmonices Mundi
''Harmonice Mundi (Harmonices mundi libri V)''The full title is ''Ioannis Keppleri Harmonices mundi libri V'' (''The Five Books of Johannes Kepler's The Harmony of the World''). (Latin: ''The Harmony of the World'', 1619) is a book by Johannes ...
, includes the 13
Archimedean solid
In geometry, an Archimedean solid is one of the 13 solids first enumerated by Archimedes. They are the convex uniform polyhedra composed of regular polygons meeting in identical vertices, excluding the five Platonic solids (which are composed ...
s as well as the
rhombic dodecahedron
In geometry, the rhombic dodecahedron is a convex polyhedron with 12 congruent rhombic faces. It has 24 edges, and 14 vertices of 2 types. It is a Catalan solid, and the dual polyhedron of the cuboctahedron.
Properties
The rhombic dodecahedro ...
and
rhombic triacontahedron
In geometry, the rhombic triacontahedron, sometimes simply called the triacontahedron as it is the most common thirty-faced polyhedron, is a convex polyhedron with 30 rhombic faces. It has 60 edges and 32 vertices of two types. It is a Cata ...
(two
Catalan solid
In mathematics, a Catalan solid, or Archimedean dual, is a dual polyhedron to an Archimedean solid. There are 13 Catalan solids. They are named for the Belgian mathematician Eugène Catalan, who first described them in 1865.
The Catalan sol ...
s). He also considered a
rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The ...
as semiregular, being equilateral and alternating two angles. Concave
star polygon
In geometry, a star polygon is a type of non-convex polygon. Regular star polygons have been studied in depth; while star polygons in general appear not to have been formally defined, certain notable ones can arise through truncation operations ...
s are also included, now called
isotoxal figure
In geometry, a polytope (for example, a polygon or a polyhedron) or a tiling is isotoxal () or edge-transitive if its symmetries act transitively on its edges. Informally, this means that there is only one type of edge to the object: given two ...
s which he used in
planar tilings. Kepler didn't mention specifically, but the
trigonal trapezohedron
In geometry, a trigonal trapezohedron is a rhombohedron (a polyhedron with six rhombus-shaped faces) in which, additionally, all six faces are congruent. Alternative names for the same shape are the ''trigonal deltohedron'' or ''isohedral rhomboh ...
, a topological
cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross.
The cube is the only r ...
with congruent rhombic faces, would also qualify as semiregular.
In many works ''semiregular polyhedron'' is used as a synonym for
Archimedean solid
In geometry, an Archimedean solid is one of the 13 solids first enumerated by Archimedes. They are the convex uniform polyhedra composed of regular polygons meeting in identical vertices, excluding the five Platonic solids (which are composed ...
. For example, Cundy & Rollett (1961).
We can distinguish between the facially-regular and
vertex-transitive
In geometry, a polytope (e.g. a polygon or polyhedron) or a tiling is isogonal or vertex-transitive if all its vertices are equivalent under the symmetries of the figure. This implies that each vertex is surrounded by the same kinds of face in ...
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
In geometry, the Wythoff symbol is a notation representing a Wythoff construction of a uniform polyhedron or plane tiling within a Schwarz triangle. It was first used by Coxeter, Longuet-Higgins and Miller in their enumeration of the uniform pol ...
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
Eric Wolfgang Weisstein (born March 18, 1969) is an American mathematician and Encyclopedia, encyclopedist who created and maintains the encyclopedias ''MathWorld'' and ''ScienceWorld''. In addition, he is the author of the ''CRC Concise Ency ...
,
Robert Williams and others use the term to mean the
convex
Convex or convexity may refer to:
Science and technology
* Convex lens, in optics
Mathematics
* Convex set, containing the whole line segment that joins points
** Convex polygon, a polygon which encloses a convex set of points
** Convex polytope ...
uniform polyhedra
In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive (i.e., there is an isometry mapping any vertex onto any other). It follows that all vertices are congruent.
Uniform polyhedra may be regular (if also fa ...
excluding the five
regular polyhedra
A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equival ...
– including the Archimedean solids, the uniform
prisms, and the uniform
antiprism
In geometry, an antiprism or is a polyhedron composed of two parallel direct copies (not mirror images) of an polygon, connected by an alternating band of triangles. They are represented by the Conway notation .
Antiprisms are a subclass o ...
s (overlapping with the cube as a prism and regular octahedron as an antiprism).
[ (Chapter 3: Polyhedra)]
Peter Cromwell (1997) writes in a footnote to Page 149 that, "in current terminology, 'semiregular polyhedra' refers to the Archimedean and
Catalan
Catalan may refer to:
Catalonia
From, or related to Catalonia:
* Catalan language, a Romance language
* Catalans, an ethnic group formed by the people from, or with origins in, Northern or southern Catalonia
Places
* 13178 Catalan, asteroid #1 ...
(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.
See also
*
Semiregular polytope
In geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is vertex-transitive and has all its facets being regular polytopes. E.L. Elte compiled a longer list in 1912 as ''The Semiregular Polytop ...
*
Regular polyhedron
A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equival ...
References
External links
* {{MathWorld , urlname=SemiregularPolyhedron , title=Semiregular polyhedron
George Hart: Archimedean Semi-regular PolyhedraEncyclopaedia of Mathematics: Semi-regular polyhedra, uniform polyhedra, Archimedean solids
Polyhedra