Polyhedron

Last updated
Examples of polyhedra
Tetrahedron.png
Regular tetrahedron

Platonic solid

Small stellated dodecahedron.png
Small stellated dodecahedron

Kepler–Poinsot solid

Icosidodecahedron.png
Icosidodecahedron

Archimedean solid

Great cubicuboctahedron.png
Great cubicuboctahedron

Uniform star-polyhedron

Rhombic triacontahedron.png
Rhombic triacontahedron

Catalan solid

Hexagonal torus.png
A toroidal polyhedron

In geometry, a polyhedron (plural polyhedra or polyhedrons; from Greek πολύ (poly-) 'many',and εδρον (-hedron) 'base, seat') is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices.

Contents

A convex polyhedron is the convex hull of finitely many points, not all on the same plane. Cubes and pyramids are examples of convex polyhedra.

A polyhedron is a 3-dimensional example of the more general polytope in any number of dimensions.

Definition

A skeletal polyhedron (specifically, a rhombicuboctahedron) drawn by Leonardo da Vinci to illustrate a book by Luca Pacioli Leonardo polyhedra.png
A skeletal polyhedron (specifically, a rhombicuboctahedron) drawn by Leonardo da Vinci to illustrate a book by Luca Pacioli

Convex polyhedra are well-defined, with several equivalent standard definitions. However, the formal mathematical definition of polyhedra that are not required to be convex has been problematic. Many definitions of "polyhedron" have been given within particular contexts, [1] some more rigorous than others, and there is not universal agreement over which of these to choose. Some of these definitions exclude shapes that have often been counted as polyhedra (such as the self-crossing polyhedra) or include shapes that are often not considered as valid polyhedra (such as solids whose boundaries are not manifolds). As Branko Grünbaum observed,

"The Original Sin in the theory of polyhedra goes back to Euclid, and through Kepler, Poinsot, Cauchy and many others ... at each stage ... the writers failed to define what are the polyhedra". [2]

Nevertheless, there is general agreement that a polyhedron is a solid or surface that can be described by its vertices (corner points), edges (line segments connecting certain pairs of vertices), faces (two-dimensional polygons), and that it sometimes can be said to have a particular three-dimensional interior volume. One can distinguish among these different definitions according to whether they describe the polyhedron as a solid, whether they describe it as a surface, or whether they describe it more abstractly based on its incidence geometry. [3]

In all of these definitions, a polyhedron is typically understood as a three-dimensional example of the more general polytope in any number of dimensions. For example, a polygon has a two-dimensional body and no faces, while a 4-polytope has a four-dimensional body and an additional set of three-dimensional "cells". However, some of the literature on higher-dimensional geometry uses the term "polyhedron" to mean something else: not a three-dimensional polytope, but a shape that is different from a polytope in some way. For instance, some sources define a convex polyhedron to be the intersection of finitely many half-spaces, and a polytope to be a bounded polyhedron. [15] [16] The remainder of this article considers only three-dimensional polyhedra.

Characteristics

Number of faces

Polyhedra may be classified and are often named according to the number of faces. The naming system is based on Classical Greek, and combines a prefix counting the faces with the suffix "hedron", meaning "base" or "seat" and referring to the faces. For example a tetrahedron is a polyhedron with four faces, a pentahedron is a polyhedron with five faces, a hexahedron is a polyhedron with six faces, etc. [17] For a complete list of the Greek numeral prefixes see Numeral prefix § Table of number prefixes in English, in the column for Greek cardinal numbers. The names of tetrahedra, hexahedra, octahedra (8-sided polyhedra), dodecahedra (12-sided polyhedra), and icosahedra (20-sided polyhedra) are sometimes used without additional qualification to refer to the Platonic solids, and sometimes used to refer more generally to polyhedra with the given number of sides without any assumption of symmetry. [18]

Topological classification

The tetrahemihexahedron, a non-orientable self-intersecting polyhedron with four triangular faces (red) and three square faces (yellow). As with a Mobius strip or Klein bottle, a continuous path along the surface of this polyhedron can reach the point on the opposite side of the surface from its starting point, making it impossible to separate the surface into an inside and an outside. Tetrahemihexahedron rotation.gif
The tetrahemihexahedron, a non-orientable self-intersecting polyhedron with four triangular faces (red) and three square faces (yellow). As with a Möbius strip or Klein bottle, a continuous path along the surface of this polyhedron can reach the point on the opposite side of the surface from its starting point, making it impossible to separate the surface into an inside and an outside.

Some polyhedra have two distinct sides to their surface. For example, the inside and outside of a convex polyhedron paper model can each be given a different colour (although the inside colour will be hidden from view). These polyhedra are orientable. The same is true for non-convex polyhedra without self-crossings. Some non-convex self-crossing polyhedra can be coloured in the same way but have regions turned "inside out" so that both colours appear on the outside in different places; these are still considered to be orientable. However, for some other self-crossing polyhedra with simple-polygon faces, such as the tetrahemihexahedron, it is not possible to colour the two sides of each face with two different colours so that adjacent faces have consistent colours. In this case the polyhedron is said to be non-orientable. For polyhedra with self-crossing faces, it may not be clear what it means for adjacent faces to be consistently coloured, but for these polyhedra it is still possible to determine whether it is orientable or non-orientable by considering a topological cell complex with the same incidences between its vertices, edges, and faces. [19]

A more subtle distinction between polyhedron surfaces is given by their Euler characteristic, which combines the numbers of vertices , edges , and faces of a polyhedron into a single number defined by the formula

The same formula is also used for the Euler characteristic of other kinds of topological surfaces. It is an invariant of the surface, meaning that when a single surface is subdivided into vertices, edges, and faces in more than one way, the Euler characteristic will be the same for these subdivisions. For a convex polyhedron, or more generally any simply connected polyhedron with surface a topological sphere, it always equals 2. [20] For more complicated shapes, the Euler characteristic relates to the number of toroidal holes, handles or cross-caps in the surface and will be less than 2. [21] All polyhedra with odd-numbered Euler characteristic are non-orientable. A given figure with even Euler characteristic may or may not be orientable. For example, the one-holed toroid and the Klein bottle both have , with the first being orientable and the other not. [19]

For many (but not all) ways of defining polyhedra, the surface of the polyhedron is required to be a manifold. This means that every edge is part of the boundary of exactly two faces (disallowing shapes like the union of two cubes that meet only along a shared edge) and that every vertex is incident to a single alternating cycle of edges and faces (disallowing shapes like the union of two cubes sharing only a single vertex). For polyhedra defined in these ways, the classification of manifolds implies that the topological type of the surface is completely determined by the combination of its Euler characteristic and orientability. For example, every polyhedron whose surface is an orientable manifold and whose Euler characteristic is 2 must be a topological sphere. [19]

A toroidal polyhedron is a polyhedron whose Euler characteristic is less than or equal to 0, or equivalently whose genus is 1 or greater. Topologically, the surfaces of such polyhedra are torus surfaces having one or more holes through the middle. [22]

Duality

The octahedron is dual to the cube Dual Cube-Octahedron.svg
The octahedron is dual to the cube

For every convex polyhedron, there exists a dual polyhedron having

The dual of a convex polyhedron can be obtained by the process of polar reciprocation. [23] Dual polyhedra exist in pairs, and the dual of a dual is just the original polyhedron again. Some polyhedra are self-dual, meaning that the dual of the polyhedron is congruent to the original polyhedron. [24]

Abstract polyhedra also have duals, obtained by reversing the partial order defining the polyhedron to obtain its dual or opposite order. [25] These have the same Euler characteristic and orientability as the initial polyhedron. However, this form of duality does not describe the shape of a dual polyhedron, but only its combinatorial structure. For some definitions of non-convex geometric polyhedra, there exist polyhedra whose abstract duals cannot be realized as geometric polyhedra under the same definition. [10]

Vertex figures

For every vertex one can define a vertex figure, which describes the local structure of the polyhedron around the vertex. Precise definitions vary, but a vertex figure can be thought of as the polygon exposed where a slice through the polyhedron cuts off a corner. [8]

Surface area and distances

The surface area of a polyhedron is the sum of areas of its faces, for definitions of polyhedra for which the area of a face is well-defined. The geodesic distance between any two points on the surface of a polyhedron measures the length of the shortest curve that connects the two points, remaining within the surface. By Alexandrov's uniqueness theorem, every convex polyhedron is uniquely determined by the metric space of geodesic distances on its surface. However, non-convex polyhedra can have the same surface distances as each other, or the same as certain convex polyhedra. [26]

Volume

Polyhedral solids have an associated quantity called volume that measures how much space they occupy. Simple families of solids may have simple formulas for their volumes; for example, the volumes of pyramids, prisms, and parallelepipeds can easily be expressed in terms of their edge lengths or other coordinates. (See Volume § Volume formulas for a list that includes many of these formulas.)

Volumes of more complicated polyhedra may not have simple formulas. Volumes of such polyhedra may be computed by subdividing the polyhedron into smaller pieces (for example, by triangulation). For example, the volume of a regular polyhedron can be computed by dividing it into congruent pyramids, with each pyramid having a face of the polyhedron as its base and the centre of the polyhedron as its apex.

In general, it can be derived from the divergence theorem that the volume of a polyhedral solid is given by

where the sum is over faces F of the polyhedron, QF is an arbitrary point on face F, NF is the unit vector perpendicular to F pointing outside the solid, and the multiplication dot is the dot product. [27] In higher dimensions, volume computation may be challenging, in part because of the difficulty of listing the faces of a convex polyhedron specified only by its vertices, and there exist specialized algorithms to determine the volume in these cases. [28]

Dehn invariant

In two dimensions, the Bolyai–Gerwien theorem asserts that any polygon may be transformed into any other polygon of the same area by cutting it up into finitely many polygonal pieces and rearranging them. The analogous question for polyhedra was the subject of Hilbert's third problem. Max Dehn solved this problem by showing that, unlike in the 2-D case, there exist polyhedra of the same volume that cannot be cut into smaller polyhedra and reassembled into each other. To prove this Dehn discovered another value associated with a polyhedron, the Dehn invariant, such that two polyhedra can only be dissected into each other when they have the same volume and the same Dehn invariant. It was later proven by Sydler that this is the only obstacle to dissection: every two Euclidean polyhedra with the same volumes and Dehn invariants can be cut up and reassembled into each other. [29] The Dehn invariant is not a number, but a vector in an infinite-dimensional vector space, determined from the lengths and dihedral angles of a polyhedron's edges. [30]

Another of Hilbert's problems, Hilbert's 18th problem, concerns (among other things) polyhedra that tile space. Every such polyhedron must have Dehn invariant zero. [31] The Dehn invariant has also been connected to flexible polyhedra by the strong bellows theorem, which states that the Dehn invariant of any flexible polyhedron remains invariant as it flexes. [32]

Convex polyhedra

Convex polyhedron blocks on display at the Universum museum in Mexico City UniversumUNAM19.JPG
Convex polyhedron blocks on display at the Universum museum in Mexico City

A three-dimensional solid is a convex set if it contains every line segment connecting two of its points. A convex polyhedron is a polyhedron that, as a solid, forms a convex set. A convex polyhedron can also be defined as a bounded intersection of finitely many half-spaces, or as the convex hull of finitely many points.

Important classes of convex polyhedra include the highly symmetrical Platonic solids, the Archimedean solids and their duals the Catalan solids, and the regular-faced Johnson solids.

Symmetries

Some polyhedra rotating around a symmetrical axis (at Matemateca IME-USP)

Many of the most studied polyhedra are highly symmetrical, that is, their appearance is unchanged by some reflection or rotation of space. Each such symmetry may change the location of a given vertex, face, or edge, but the set of all vertices (likewise faces, edges) is unchanged. The collection of symmetries of a polyhedron is called its symmetry group.

All the elements that can be superimposed on each other by symmetries are said to form a symmetry orbit. For example, all the faces of a cube lie in one orbit, while all the edges lie in another. If all the elements of a given dimension, say all the faces, lie in the same orbit, the figure is said to be transitive on that orbit. For example, a cube is face-transitive, while a truncated cube has two symmetry orbits of faces.

The same abstract structure may support more or less symmetric geometric polyhedra. But where a polyhedral name is given, such as icosidodecahedron, the most symmetrical geometry is almost always implied, unless otherwise stated.[ citation needed ]

There are several types of highly symmetric polyhedron, classified by which kind of element – faces, edges, or vertices – belong to a single symmetry orbit:

Some classes of polyhedra have only a single main axis of symmetry. These include the pyramids, bipyramids, trapezohedra, cupolae, as well as the semiregular prisms and antiprisms.

Regular polyhedra

Regular polyhedra are the most highly symmetrical. Altogether there are nine regular polyhedra: five convex and four star polyhedra.

The five convex examples have been known since antiquity and are called the Platonic solids. These are the triangular pyramid or tetrahedron, cube, octahedron, dodecahedron and icosahedron:

Tetrahedron.jpg Hexahedron.jpg Octahedron.jpg Dodecahedron.jpg Icosahedron.jpg

There are also four regular star polyhedra, known as the Kepler–Poinsot polyhedra after their discoverers.

The dual of a regular polyhedron is also regular.

Uniform polyhedra and their duals

Uniform polyhedra are vertex-transitive and every face is a regular polygon. They may be subdivided into the regular, quasi-regular, or semi-regular, and may be convex or starry.

The duals of the uniform polyhedra have irregular faces but are face-transitive, and every vertex figure is a regular polygon. A uniform polyhedron has the same symmetry orbits as its dual, with the faces and vertices simply swapped over. The duals of the convex Archimedean polyhedra are sometimes called the Catalan solids.

The uniform polyhedra and their duals are traditionally classified according to their degree of symmetry, and whether they are convex or not.

Convex uniformConvex uniform dualStar uniformStar uniform dual
Regular Platonic solids Kepler–Poinsot polyhedra
Quasiregular Archimedean solids Catalan solids Uniform star polyhedron
Semiregular
Prisms Bipyramids Star prisms Star bipyramids
Antiprisms Trapezohedra Star antiprisms Star trapezohedra

Isohedra

An isohedron is a polyhedron with symmetries acting transitively on its faces. Their topology can be represented by a face configuration. All 5 Platonic solids and 13 Catalan solids are isohedra, as well as the infinite families of trapezohedra and bipyramids. Some isohedra allow geometric variations including concave and self-intersecting forms.

Symmetry groups

Full icosahedral symmetry divides the sphere into 120 triangular domains. Icosahedral reflection domains.png
Full icosahedral symmetry divides the sphere into 120 triangular domains.

Many of the symmetries or point groups in three dimensions are named after polyhedra having the associated symmetry. These include:

Those with chiral symmetry do not have reflection symmetry and hence have two enantiomorphous forms which are reflections of each other. Examples include the snub cuboctahedron and snub icosidodecahedron.

Other important families of polyhedra

Polyhedra with regular faces

Besides the regular and uniform polyhedra, there are some other classes which have regular faces but lower overall symmetry.

Equal regular faces

Convex polyhedra where every face is the same kind of regular polygon may be found among three families:

  • Triangles: These polyhedra are called deltahedra. There are eight convex deltahedra: three of the Platonic solids and five non-uniform examples.
  • Squares: The cube is the only convex example. Other examples (the polycubes) can be obtained by joining cubes together, although care must be taken if coplanar faces are to be avoided.
  • Pentagons: The regular dodecahedron is the only convex example.

Polyhedra with congruent regular faces of six or more sides are all non-convex.

The total number of convex polyhedra with equal regular faces is thus ten: the five Platonic solids and the five non-uniform deltahedra. [33] There are infinitely many non-convex examples. Infinite sponge-like examples called infinite skew polyhedra exist in some of these families.

Johnson solids

Norman Johnson sought which convex non-uniform polyhedra had regular faces, although not necessarily all alike. In 1966, he published a list of 92 such solids, gave them names and numbers, and conjectured that there were no others. Victor Zalgaller proved in 1969 that the list of these Johnson solids was complete.

Pyramids

Pyramids include some of the most time-honoured and famous of all polyhedra, such as the four-sided Egyptian pyramids.

Stellations and facettings

The stella octangula is both a stellation of the octahedron and a faceting of the cube First stellation of octahedron.png
The stella octangula is both a stellation of the octahedron and a faceting of the cube
The small stellated dodecahedron is also a faceting of the icosahedron First stellation of dodecahedron.png
The small stellated dodecahedron is also a faceting of the icosahedron

Stellation of a polyhedron is the process of extending the faces (within their planes) so that they meet to form a new polyhedron.

Faceting is the process of removing parts of a polyhedron to create new faces, or facets, without creating any new vertices. [34] [35] A facet of a polyhedron is any polygon whose corners are vertices of the polyhedron, and is not a face . [34]

Stellation and faceting are inverse or reciprocal processes: the dual of some stellation is a faceting of the dual to the original polyhedron.

Zonohedra

A zonohedron is a convex polyhedron in which every face is a polygon that is symmetric under rotations through 180°. Zonohedra can also be characterized as the Minkowski sums of line segments, and include several important space-filling polyhedra. [36]

Space-filling polyhedra

A space-filling polyhedron packs with copies of itself to fill space. Such a close-packing or space-filling is often called a tessellation of space or a honeycomb. Space-filling polyhedra must have a Dehn invariant equal to zero. Some honeycombs involve more than one kind of polyhedron.

Lattice polyhedra

A convex polyhedron in which all vertices have integer coordinates is called a lattice polyhedron or integral polyhedron. The Ehrhart polynomial of a lattice polyhedron counts how many points with integer coordinates lie within a scaled copy of the polyhedron, as a function of the scale factor. The study of these polynomials lies at the intersection of combinatorics and commutative algebra. [37]

Flexible polyhedra

It is possible for some polyhedra to change their overall shape, while keeping the shapes of their faces the same, by varying the angles of their edges. A polyhedron that can do this is called a flexible polyhedron. By Cauchy's rigidity theorem, flexible polyhedra must be non-convex. The volume of a flexible polyhedron must remain constant as it flexes; this result is known as the bellows theorem. [38]

Compounds

A polyhedral compound is made of two or more polyhedra sharing a common centre. Symmetrical compounds often share the same vertices as other well-known polyhedra and may often also be formed by stellation. Some are listed in the list of Wenninger polyhedron models.

Orthogonal polyhedra

Some orthogonal polyhedra made of Soma cube pieces, themselves polycubes Soma cube figures.svg
Some orthogonal polyhedra made of Soma cube pieces, themselves polycubes

An orthogonal polyhedron is one all of whose faces meet at right angles, and all of whose edges are parallel to axes of a Cartesian coordinate system. (Jessen's icosahedron provides an example of a polyhedron meeting one but not both of these two conditions.) Aside from the rectangular cuboids, orthogonal polyhedra are nonconvex. They are the 3D analogs of 2D orthogonal polygons, also known as rectilinear polygons. Orthogonal polyhedra are used in computational geometry, where their constrained structure has enabled advances on problems unsolved for arbitrary polyhedra, for example, unfolding the surface of a polyhedron to a polygonal net. [39]

Polycubes are a special case of orthogonal polyhedra that can be decomposed into identical cubes, and are three-dimensional analogues of planar polyominoes. [40]

Embedded regular maps with planar faces

Regular maps are flag transitive abstract 2-manifolds and they have been studied already in the nineteenth century. Some of them have 3-dimensional polyhedral embeddings like the one that represents Klein's quartic.

Generalisations of polyhedra

The name 'polyhedron' has come to be used for a variety of objects having similar structural properties to traditional polyhedra.

Apeirohedra

A classical polyhedral surface has a finite number of faces, joined in pairs along edges. The apeirohedra form a related class of objects with infinitely many faces. Examples of apeirohedra include:

Complex polyhedra

There are objects called complex polyhedra, for which the underlying space is a complex Hilbert space rather than real Euclidean space. Precise definitions exist only for the regular complex polyhedra, whose symmetry groups are complex reflection groups. The complex polyhedra are mathematically more closely related to configurations than to real polyhedra. [41]

Curved polyhedra

Some fields of study allow polyhedra to have curved faces and edges. Curved faces can allow digonal faces to exist with a positive area.

Spherical polyhedra

When the surface of a sphere is divided by finitely many great arcs (equivalently, by planes passing through the center of the sphere), the result is called a spherical polyhedron. Many convex polytopes having some degree of symmetry (for example, all the Platonic solids) can be projected onto the surface of a concentric sphere to produce a spherical polyhedron. However, the reverse process is not always possible; some spherical polyhedra (such as the hosohedra) have no flat-faced analogue. [42]

Curved spacefilling polyhedra

If faces are allowed to be concave as well as convex, adjacent faces may be made to meet together with no gap. Some of these curved polyhedra can pack together to fill space. Two important types are:

Ideal polyhedra

Convex polyhedra can be defined in three-dimensional hyperbolic space in the same way as in Euclidean space, as the convex hulls of finite sets of points. However, in hyperbolic space, it is also possible to consider ideal points as well as the points that lie within the space. An ideal polyhedron is the convex hull of a finite set of ideal points. Its faces are ideal polygons, but its edges are defined by entire hyperbolic lines rather than line segments, and its vertices (the ideal points of which it is the convex hull) do not lie within the hyperbolic space.

Skeletons and polyhedra as graphs

By forgetting the face structure, any polyhedron gives rise to a graph, called its skeleton, with corresponding vertices and edges. Such figures have a long history: Leonardo da Vinci devised frame models of the regular solids, which he drew for Pacioli's book Divina Proportione, and similar wire-frame polyhedra appear in M.C. Escher's print Stars. [45] One highlight of this approach is Steinitz's theorem, which gives a purely graph-theoretic characterization of the skeletons of convex polyhedra: it states that the skeleton of every convex polyhedron is a 3-connected planar graph, and every 3-connected planar graph is the skeleton of some convex polyhedron.

An early idea of abstract polyhedra was developed in Branko Grünbaum's study of "hollow-faced polyhedra." Grünbaum defined faces to be cyclically ordered sets of vertices, and allowed them to be skew as well as planar. [46]

The graph perspective allows one to apply graph terminology and properties to polyhedra. For example, the tetrahedron and Császár polyhedron are the only known polyhedra whose skeletons are complete graphs (K4), and various symmetry restrictions on polyhedra give rise to skeletons that are symmetric graphs.

Alternative usages

From the latter half of the twentieth century, various mathematical constructs have been found to have properties also present in traditional polyhedra. Rather than confining the term "polyhedron" to describe a three-dimensional polytope, it has been adopted to describe various related but distinct kinds of structure.

Higher-dimensional polyhedra

A polyhedron has been defined as a set of points in real affine (or Euclidean) space of any dimension n that has flat sides. It may alternatively be defined as the intersection of finitely many half-spaces. Unlike a conventional polyhedron, it may be bounded or unbounded. In this meaning, a polytope is a bounded polyhedron. [15] [16]

Analytically, such a convex polyhedron is expressed as the solution set for a system of linear inequalities. Defining polyhedra in this way provides a geometric perspective for problems in linear programming. Many traditional polyhedral forms are polyhedra in this sense. Other examples include:

Topological polyhedra

A topological polytope is a topological space given along with a specific decomposition into shapes that are topologically equivalent to convex polytopes and that are attached to each other in a regular way.

Such a figure is called simplicial if each of its regions is a simplex, i.e. in an n-dimensional space each region has n+1 vertices. The dual of a simplicial polytope is called simple. Similarly, a widely studied class of polytopes (polyhedra) is that of cubical polyhedra, when the basic building block is an n-dimensional cube.

Abstract polyhedra

An abstract polytope is a partially ordered set (poset) of elements whose partial ordering obeys certain rules of incidence (connectivity) and ranking. The elements of the set correspond to the vertices, edges, faces and so on of the polytope: vertices have rank 0, edges rank 1, etc. with the partially ordered ranking corresponding to the dimensionality of the geometric elements. The empty set, required by set theory, has a rank of −1 and is sometimes said to correspond to the null polytope. An abstract polyhedron is an abstract polytope having the following ranking:

Any geometric polyhedron is then said to be a "realization" in real space of the abstract poset as described above.

History

Ancient

Prehistory

Polyhedra appeared in early architectural forms such as cubes and cuboids, with the earliest four-sided pyramids of ancient Egypt also dating from the Stone Age.

The Etruscans preceded the Greeks in their awareness of at least some of the regular polyhedra, as evidenced by the discovery of an Etruscan dodecahedron made of soapstone on Monte Loffa. Its faces were marked with different designs, suggesting to some scholars that it may have been used as a gaming die. [48]

Greek civilisation

The earliest known written records of these shapes come from Classical Greek authors, who also gave the first known mathematical description of them. The earlier Greeks were interested primarily in the convex regular polyhedra, which came to be known as the Platonic solids. Pythagoras knew at least three of them, and Theaetetus (circa 417 B. C.) described all five. Eventually, Euclid described their construction in his Elements . Later, Archimedes expanded his study to the convex uniform polyhedra which now bear his name. His original work is lost and his solids come down to us through Pappus.

China

Cubical gaming dice in China have been dated back as early as 600 B.C.[ citation needed ]

By 236 AD, Liu Hui was describing the dissection of the cube into its characteristic tetrahedron (orthoscheme) and related solids, using assemblages of these solids as the basis for calculating volumes of earth to be moved during engineering excavations.

Islamic civilisation

After the end of the Classical era, scholars in the Islamic civilisation continued to take the Greek knowledge forward (see Mathematics in medieval Islam).

The 9th century scholar Thabit ibn Qurra gave formulae for calculating the volumes of polyhedra such as truncated pyramids.

Then in the 10th century Abu'l Wafa described the convex regular and quasiregular spherical polyhedra.

Renaissance

As with other areas of Greek thought maintained and enhanced by Islamic scholars, Western interest in polyhedra revived during the Italian Renaissance. Artists constructed skeletal polyhedra, depicting them from life as a part of their investigations into perspective. Several appear in marquetry panels of the period. Piero della Francesca gave the first written description of direct geometrical construction of such perspective views of polyhedra. Leonardo da Vinci made skeletal models of several polyhedra and drew illustrations of them for a book by Pacioli. A painting by an anonymous artist of Pacioli and a pupil depicts a glass rhombicuboctahedron half-filled with water.

As the Renaissance spread beyond Italy, later artists such as Wenzel Jamnitzer, Dürer and others also depicted polyhedra of various kinds, many of them novel, in imaginative etchings.

Star polyhedra

For almost 2,000 years, the concept of a polyhedron as a convex solid had remained as developed by the ancient Greek mathematicians.

During the Renaissance star forms were discovered. A marble tarsia in the floor of St. Mark's Basilica, Venice, depicts a stellated dodecahedron. Artists such as Wenzel Jamnitzer delighted in depicting novel star-like forms of increasing complexity.

Johannes Kepler (1571–1630) used star polygons, typically pentagrams, to build star polyhedra. Some of these figures may have been discovered before Kepler's time, but he was the first to recognize that they could be considered "regular" if one removed the restriction that regular polyhedra must be convex. Later, Louis Poinsot realised that star vertex figures (circuits around each corner) can also be used, and discovered the remaining two regular star polyhedra. Cauchy proved Poinsot's list complete, and Cayley gave them their accepted English names: (Kepler's) the small stellated dodecahedron and great stellated dodecahedron, and (Poinsot's) the great icosahedron and great dodecahedron. Collectively they are called the Kepler–Poinsot polyhedra.

The Kepler–Poinsot polyhedra may be constructed from the Platonic solids by a process called stellation. Most stellations are not regular. The study of stellations of the Platonic solids was given a big push by H.S.M. Coxeter and others in 1938, with the now famous paper The 59 icosahedra. [49]

The reciprocal process to stellation is called facetting (or faceting). Every stellation of one polytope is dual, or reciprocal, to some facetting of the dual polytope. The regular star polyhedra can also be obtained by facetting the Platonic solids. Bridge (1974) listed the simpler facettings of the dodecahedron, and reciprocated them to discover a stellation of the icosahedron that was missing from the set of "59". [50] More have been discovered since, and the story is not yet ended.[ citation needed ]

Euler's formula and topology

Two other modern mathematical developments had a profound effect on polyhedron theory.

In 1750 Leonhard Euler for the first time considered the edges of a polyhedron, allowing him to discover his polyhedron formula relating the number of vertices, edges and faces. This signalled the birth of topology, sometimes referred to as "rubber sheet geometry", and Henri Poincaré developed its core ideas around the end of the nineteenth century. This allowed many longstanding issues over what was or was not a polyhedron to be resolved.

Max Brückner summarised work on polyhedra to date, including many findings of his own, in his book "Vielecke und Vielflache: Theorie und Geschichte" (Polygons and polyhedra: Theory and History). Published in German in 1900, it remained little known.

Meanwhile, the discovery of higher dimensions led to the idea of a polyhedron as a three-dimensional example of the more general polytope.

Twentieth-century revival

By the early years of the twentieth century, mathematicians had moved on and geometry was little studied. Coxeter's analysis in The Fifty-Nine Icosahedra introduced modern ideas from graph theory and combinatorics into the study of polyhedra, signalling a rebirth of interest in geometry.

Coxeter himself went on to enumerate the star uniform polyhedra for the first time, to treat tilings of the plane as polyhedra, to discover the regular skew polyhedra and to develop the theory of complex polyhedra first discovered by Shephard in 1952, as well as making fundamental contributions to many other areas of geometry.

In the second part of the twentieth century, Grünbaum published important works in two areas. One was in convex polytopes, where he noted a tendency among mathematicians to define a "polyhedron" in different and sometimes incompatible ways to suit the needs of the moment. The other was a series of papers broadening the accepted definition of a polyhedron, for example discovering many new regular polyhedra. At the close of the 20th century these latter ideas merged with other work on incidence complexes to create the modern idea of an abstract polyhedron (as an abstract 3-polytope), notably presented by McMullen and Schulte.

In nature

For natural occurrences of regular polyhedra, see Regular polyhedron § Regular polyhedra in nature.

Irregular polyhedra appear in nature as crystals.

See also

Related Research Articles

<span class="mw-page-title-main">Archimedean solid</span> Polyhedra in which all vertices are the same

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, excluding the prisms and antiprisms, and excluding the pseudorhombicuboctahedron. They are a subset of the Johnson solids, whose regular polygonal faces do not need to meet in identical vertices.

<span class="mw-page-title-main">Dual polyhedron</span> Polyhedron associated with another by swapping vertices for faces

In geometry, every polyhedron is associated with a second dual structure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. Such dual figures remain combinatorial or abstract polyhedra, but not all can also be constructed as geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron.

<span class="mw-page-title-main">Kepler–Poinsot polyhedron</span> Any of 4 regular star polyhedra

In geometry, a Kepler–Poinsot polyhedron is any of four regular star polyhedra.

In elementary geometry, a polytope is a geometric object with flat sides (faces). It is a generalization in any number of dimensions of the three-dimensional polyhedron. Polytopes may exist in any general number of dimensions n as an n-dimensional polytope or n-polytope. In this context, "flat sides" means that the sides of a (k + 1)-polytope consist of k-polytopes that may have (k – 1)-polytopes in common. For example, a two-dimensional polygon is a 2-polytope and a three-dimensional polyhedron is a 3-polytope.

In geometry, a polyhedral compound is a figure that is composed of several polyhedra sharing a common centre. They are the three-dimensional analogs of polygonal compounds such as the hexagram.

<span class="mw-page-title-main">4-polytope</span> Four-dimensional geometric object with flat sides

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 solid geometry, a face is a flat surface that forms part of the boundary of a solid object; a three-dimensional solid bounded exclusively by faces is a polyhedron.

<span class="mw-page-title-main">Stellation</span> Extending the elements of a polytope to form a new figure

In geometry, stellation is the process of extending a polygon in two dimensions, polyhedron in three dimensions, or, in general, a polytope in n dimensions to form a new figure. Starting with an original figure, the process extends specific elements such as its edges or face planes, usually in a symmetrical way, until they meet each other again to form the closed boundary of a new figure. The new figure is a stellation of the original. The word stellation comes from the Latin stellātus, "starred", which in turn comes from Latin stella, "star". Stellation is the reciprocal or dual process to faceting.

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 equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex.

<span class="mw-page-title-main">Regular polytope</span> Polytope with highest degree of symmetry

In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or j-faces — cells, faces and so on — are also transitive on the symmetries of the polytope, and are regular polytopes of dimension n.

In geometry, a polytope 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 the same or reverse order, and with the same angles between corresponding faces.

<span class="mw-page-title-main">Vertex figure</span> Shape made by slicing off a corner of a polytope

In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.

<span class="mw-page-title-main">Uniform polyhedron</span> Isogonal polyhedron with regular faces

In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive. It follows that all vertices are congruent.

In geometry, a polytope 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 edges, there is a translation, rotation, and/or reflection that will move one edge to the other, while leaving the region occupied by the object unchanged.

<span class="mw-page-title-main">Uniform polytope</span> Isogonal polytope with uniform facets

In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons.

<span class="mw-page-title-main">Faceting</span>

In geometry, faceting is the process of removing parts of a polygon, polyhedron or polytope, without creating any new vertices.

<span class="mw-page-title-main">Regular 4-polytope</span> Four-dimensional analogues of the regular polyhedra in three dimensions

In mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions.

<span class="mw-page-title-main">Toroidal polyhedron</span> Partition of a toroidal surface into polygons

In geometry, a toroidal polyhedron is a polyhedron which is also a toroid, having a topological genus of 1 or greater. Notable examples include the Császár and Szilassi polyhedra.

<span class="mw-page-title-main">First stellation of the rhombic dodecahedron</span>

In geometry, the first stellation of the rhombic dodecahedron is a self-intersecting polyhedron with 12 faces, each of which is a non-convex hexagon. It is a stellation of the rhombic dodecahedron and has the same outer shell and the same visual appearance as two other shapes: a solid, Escher's solid, with 48 triangular faces, and a polyhedral compound of three flattened octahedra with 24 overlapping triangular faces.

References

Notes

  1. Lakatos, Imre (2015) [1976], Worrall, John; Zahar, Elie (eds.), Proofs and Refutations: The logic of mathematical discovery, Cambridge Philosophy Classics, Cambridge: Cambridge University Press, p. 16, doi:10.1017/CBO9781316286425, ISBN   978-1-107-53405-6, MR   3469698, definitions are frequently proposed and argued about.
  2. Grünbaum (1994), p. 43.
  3. Loeb, Arthur L. (2013), "Polyhedra: Surfaces or solids?", in Senechal, Marjorie (ed.), Shaping Space: Exploring Polyhedra in Nature, Art, and the Geometrical Imagination (2nd ed.), Springer, pp. 65–75, doi:10.1007/978-0-387-92714-5_5
  4. McCormack, Joseph P. (1931), Solid Geometry, D. Appleton-Century Company, p. 416.
  5. de Berg, M.; van Kreveld, M.; Overmars, M.; Schwarzkopf, O. (2000), Computational Geometry: Algorithms and Applications (2nd ed.), Springer, p. 64.
  6. Matveev, S.V. (2001) [1994], "Polyhedron, abstract", Encyclopedia of Mathematics , EMS Press
  7. Stewart, B. M. (1980), Adventures Among the Toroids: A study of orientable polyhedra with regular faces (2nd ed.), p. 6.
  8. 1 2 Cromwell (1997), pp. 206–209.
  9. O'Rourke, Joseph (1993), "Computational Geometry in C", Computers in Physics, 9 (1): 113–116, Bibcode:1995ComPh...9...55O, doi:10.1063/1.4823371 .
  10. 1 2 Grünbaum, Branko (1999), "Acoptic polyhedra" (PDF), Advances in discrete and computational geometry (South Hadley, MA, 1996), Contemporary Mathematics, vol. 223, Providence, Rhode Island: American Mathematical Society, pp. 163–199, doi:10.1090/conm/223/03137, ISBN   978-0-8218-0674-6, MR   1661382 .
  11. Cromwell (1997), p. 209.
  12. Bokowski, J.; Guedes de Oliveira, A. (2000), "On the generation of oriented matroids", Discrete and Computational Geometry , 24 (2–3): 197–208, doi: 10.1007/s004540010027 , MR   1756651 .
  13. 1 2 Burgiel, H.; Stanton, D. (2000), "Realizations of regular abstract polyhedra of types {3,6} and {6,3}", Discrete and Computational Geometry , 24 (2–3): 241–255, doi: 10.1007/s004540010030 , MR   1758047 .
  14. Grünbaum (2003), pp. 468–469.
  15. 1 2 Grünbaum, Branko (2003), Convex Polytopes, Graduate Texts in Mathematics, vol. 221 (2nd ed.), New York: Springer-Verlag, p. 26, doi:10.1007/978-1-4613-0019-9, ISBN   978-0-387-00424-2, MR   1976856 .
  16. 1 2 Bruns, Winfried; Gubeladze, Joseph (2009), "Definition 1.1", Polytopes, Rings, and K-theory, Springer Monographs in Mathematics, Dordrecht: Springer, p. 5, CiteSeerX   10.1.1.693.2630 , doi:10.1007/b105283, ISBN   978-0-387-76355-2, MR   2508056 .
  17. Peirce, Charles S. (1976), Eisele, Carolyn (ed.), The New Elements of Mathematics, Volume II: Algebra and Geometry, Mouton Publishers & Humanities Press, p. 297, ISBN   9783110818840
  18. O'Keefe, Michael; Hyde, Bruce G. (2020) [1996], Crystal Structures: Patterns and Symmetry, Dover Publications, p. 134, ISBN   9780486836546
  19. 1 2 3 Ringel, Gerhard (1974), "Classification of surfaces", Map Color Theorem, Springer, pp. 34–53, doi:10.1007/978-3-642-65759-7_3
  20. Richeson (2008), p. 157.
  21. Richeson (2008), p. 180.
  22. Stewart, B. M. (1980), Adventures Among the Toroids: A Study of Orientable Polyhedra with Regular Faces (2nd ed.), B. M. Stewart, ISBN   978-0-686-11936-4 .
  23. Cundy, H. Martyn; Rollett, A.P. (1961), "3.2 Duality", Mathematical models (2nd ed.), Oxford: Clarendon Press, pp. 78–79, MR   0124167 .
  24. Grünbaum, B.; Shephard, G.C. (1969), "Convex polytopes" (PDF), Bulletin of the London Mathematical Society , 1 (3): 257–300, doi:10.1112/blms/1.3.257, MR   0250188, archived from the original (PDF) on 2017-02-22, retrieved 2017-02-21. See in particular the bottom of page 260.
  25. Grünbaum (2003).
  26. Hartshorne, Robin (2000), "Example 44.2.3, the "punched-in icosahedron"", Geometry: Euclid and beyond, Undergraduate Texts in Mathematics, Springer-Verlag, New York, p. 442, doi:10.1007/978-0-387-22676-7, ISBN   0-387-98650-2, MR   1761093
  27. Goldman, Ronald N. (1991), "Chapter IV.1: Area of planar polygons and volume of polyhedra", in Arvo, James (ed.), Graphic Gems Package: Graphics Gems II, Academic Press, pp. 170–171
  28. Büeler, B.; Enge, A.; Fukuda, K. (2000), "Exact Volume Computation for Polytopes: A Practical Study", Polytopes — Combinatorics and Computation, p. 131, CiteSeerX   10.1.1.39.7700 , doi:10.1007/978-3-0348-8438-9_6, ISBN   978-3-7643-6351-2
  29. Sydler, J.-P. (1965), "Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois dimensions", Comment. Math. Helv. (in French), 40: 43–80, doi:10.1007/bf02564364, MR   0192407, S2CID   123317371
  30. Hazewinkel, M. (2001) [1994], "Dehn invariant", Encyclopedia of Mathematics , EMS Press
  31. Debrunner, Hans E. (1980), "Über Zerlegungsgleichheit von Pflasterpolyedern mit Würfeln", Archiv der Mathematik (in German), 35 (6): 583–587, doi:10.1007/BF01235384, MR   0604258, S2CID   121301319 .
  32. Alexandrov, Victor (2010), "The Dehn invariants of the Bricard octahedra", Journal of Geometry, 99 (1–2): 1–13, arXiv: 0901.2989 , CiteSeerX   10.1.1.243.7674 , doi:10.1007/s00022-011-0061-7, MR   2823098, S2CID   17515249 .
  33. Cromwell (1997), p. 86.
  34. 1 2 Bridge, N.J. Facetting the dodecahedron, Acta crystallographicaA30 (1974), pp. 548–552.
  35. Inchbald, G. Facetting diagrams, The mathematical gazette, 90 (2006), pp. 253–261.
  36. Taylor, Jean E. (1992), "Zonohedra and generalized zonohedra", American Mathematical Monthly , 99 (2): 108–111, doi:10.2307/2324178, JSTOR   2324178, MR   1144350 .
  37. Stanley, Richard P. (1997), Enumerative Combinatorics, Volume I (1 ed.), Cambridge University Press, pp. 235–239, ISBN   978-0-521-66351-9
  38. Demaine, Erik D.; O'Rourke, Joseph (2007), "23.2 Flexible polyhedra", Geometric Folding Algorithms: Linkages, origami, polyhedra, Cambridge University Press, Cambridge, pp. 345–348, doi:10.1017/CBO9780511735172, ISBN   978-0-521-85757-4, MR   2354878 .
  39. O'Rourke, Joseph (2008), "Unfolding orthogonal polyhedra", Surveys on discrete and computational geometry, Contemp. Math., vol. 453, Amer. Math. Soc., Providence, RI, pp. 307–317, doi:10.1090/conm/453/08805, ISBN   978-0-8218-4239-3, MR   2405687 .
  40. Gardner, Martin (November 1966), "Mathematical Games: Is it possible to visualize a four-dimensional figure?", Scientific American , 215 (5): 138–143, doi:10.1038/scientificamerican1166-138, JSTOR   24931332
  41. Coxeter, H.S.M. (1974), Regular Complex Polytopes, Cambridge: Cambridge University Press, MR   0370328 . [ page needed ]
  42. Popko, Edward S. (2012), Divided Spheres: Geodesics and the Orderly Subdivision of the Sphere, CRC Press, p. 463, ISBN   978-1-4665-0430-1, A hosohedron is only possible on a sphere.
  43. Kraynik, A.M.; Reinelt, D.A. (2007), "Foams, Microrheology of", in Mortensen, Andreas (ed.), Concise Encyclopedia of Composite Materials (2nd ed.), Elsevier, pp. 402–407. See in particular p. 403: "foams consist of polyhedral gas bubbles ... each face on a polyhedron is a minimal surface with uniform mean curvature ... no face can be a flat polygon with straight edges".
  44. Pearce, P. (1978), "14 Saddle polyhedra and continuous surfaces as environmental structures", Structure in nature is a strategy for design, MIT Press, p. 224, ISBN   978-0-262-66045-7 .
  45. Coxeter, H.S.M. (1985), "A special book review: M.C. Escher: His life and complete graphic work", The Mathematical Intelligencer, 7 (1): 59–69, doi:10.1007/BF03023010, S2CID   189887063 Coxeter's analysis of Stars is on pp. 61–62.
  46. Grünbaum (1994).
  47. N.W. Johnson: Geometries and Transformations, (2018) ISBN   978-1-107-10340-5 Chapter 11: Finite Symmetry Groups, 11.1 Polytopes and Honeycombs, p.224
  48. Sparavigna, Amelia Carolina (2012), An Etruscan dodecahedron, arXiv: 1205.0706
  49. Coxeter, H.S.M.; Du Val, P.; Flather, H.T.; Petrie, J.F. (1999) [1938], The Fifty-Nine Icosahedra, Tarquin Publications, ISBN   978-1-899618-32-3, MR   0676126 .
  50. Bridge, N.J. (1974), "Faceting the dodecahedron", Acta Crystallographica Section A, 30 (4): 548–552, Bibcode:1974AcCrA..30..548B, doi:10.1107/s0567739474001306 .

Sources

General theory

Lists and databases of polyhedra

Free software

Resources for making physical models