Dual polyhedron


In geometry, any polyhedron is associated with a second dual figure, 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 are also geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron.
Duality preserves the symmetries of a polyhedron. Therefore, for many classes of polyhedra defined by their symmetries, the duals also belong to a symmetric class. Thus, the regular polyhedrathe Platonic solids and Kepler–Poinsot polyhedraform dual pairs, where the regular tetrahedron is [|self-dual]. The dual of an isogonal polyhedron, having equivalent vertices, is one which is isohedral, having equivalent faces. The dual of an isotoxal polyhedron is also isotoxal.
Duality is closely related to reciprocity or polarity, a geometric transformation that, when applied to a convex polyhedron, realizes the dual polyhedron as another convex polyhedron.

Kinds of duality

There are many kinds of duality. The kinds most relevant to elementary polyhedra are polar reciprocity and topological or abstract duality.

Polar reciprocation

The dual of polyhedron P is often defined in terms of polar reciprocation about a sphere. Here, each vertex is associated with a face plane so that the ray from the center to the vertex is perpendicular to the plane, and the product of the distances from the center to each is equal to the square of the radius.
When the sphere has radius r and is centered at the origin, i.e. defined by equation and P is a convex polyhedron then its polar dual is defined as
where y·x denotes the standard dot product of y and x. Typically when no sphere is specified in the construction of the dual, then the unit sphere is used, meaning r = 1 in the above definition.
For each face of P described by the linear equation
the dual polyhedron P° will have a vertex. Similarly, each vertex of P corresponds to a face of P°, and each edge of P corresponds to an edge of P°. The correspondence between the vertices, edges and faces of P and P° reverses inclusion. For example, if an edge of P contains a vertex, the corresponding edge of P° will be contained in the corresponding face.
For the more symmetrical polyhedra having an obvious centroid, it is common to make the polyhedron and sphere concentric, as in the Dorman Luke construction described below.
However, it is possible to reciprocate a polyhedron about any sphere, and the resulting form of the dual will depend on the size and position of the sphere; as the sphere is varied, so too is the dual form. The choice of center for the sphere is sufficient to define the dual up to similarity. If multiple symmetry axes are present, they will necessarily intersect at a single point, and this is usually taken to be the centroid. Failing that, a circumscribed sphere, inscribed sphere, or midsphere is commonly used.
If a polyhedron in Euclidean space has an element passing through the center of the sphere, the corresponding element of its dual will go to infinity. Since Euclidean space never reaches infinity, the projective equivalent, called extended Euclidean space, may be formed by adding the required 'plane at infinity'. Some theorists prefer to stick to Euclidean space and say that there is no dual. Meanwhile, found a way to represent these infinite duals, in a manner suitable for making models.
The concept of duality here is closely related to the duality in projective geometry, where lines and edges are interchanged. Projective polarity works well enough for convex polyhedra. But for non-convex figures such as star polyhedra, when we seek to rigorously define this form of polyhedral duality in terms of projective polarity, various problems appear.
Because of the definitional issues for geometric duality of non-convex polyhedra, argues that any proper definition of a non-convex polyhedron should include a notion of a dual polyhedron.

Canonical duals

Any convex polyhedron can be distorted into a canonical form, in which a unit midsphere exists tangent to every edge, and such that the average position of the points of tangency is the center of the sphere. This form is unique up to congruences.
If we reciprocate such a canonical polyhedron about its midsphere, the dual polyhedron will share the same edge-tangency points and so must also be canonical. It is the canonical dual, and the two together form a canonical dual pair.

Topological duality

Even when a pair of polyhedra cannot be obtained by reciprocation from each other, they may be called duals of each other as long as the vertices of one correspond to the faces of the other, and the edges of one correspond to the edges of the other, in an incidence-preserving way. Such pairs of polyhedra are still topologically or abstractly dual.
The vertices and edges of a convex polyhedron form a graph, embedded on a topological sphere, the surface of the polyhedron.
The same graph can be projected to form a Schlegel diagram on a flat plane. The graph formed by the edges and vertices of the dual polyhedron is its dual graph. More generally, for any polyhedron whose faces form a closed surface, the vertices and edges of the polyhedron form a graph embedded on this surface, and the vertices and edges of the dual polyhedron form the dual graph.
An abstract polyhedron is a certain kind of partially ordered set of elements, such that adjacencies, or connections, between elements of the set correspond to adjacencies between elements of a polyhedron. Every such poset has a dual poset, formed by reversing all of the order relations. If the poset is visualized as a Hasse diagram, the dual poset may be visualized simply by turning the Hasse diagram upside down.
Every geometric polyhedron corresponds to an abstract polyhedron in this way, and has an abstract dual polyhedron. However, for some types of non-convex geometric polyhedron, the dual polyhedron may not be realized geometrically.

Dorman Luke construction

For a uniform polyhedron, the face of the dual polyhedron may be found from the original polyhedron's vertex figure using the Dorman Luke construction.
As an example, the illustration below shows the vertex figure of the cuboctahedron being used to derive a face of the rhombic dodecahedron.
Before beginning the construction, the vertex figure ABCD is obtained by cutting each connected edge at its midpoint.
Dorman Luke's construction then proceeds:
In this example the size of the vertex figure was chosen so that its circumcircle lies on the intersphere of the cuboctahedron, which also becomes the intersphere of the dual rhombic dodecahedron.
Dorman Luke's construction can only be used where a polyhedron has such an intersphere and the vertex figure is cyclic. For instance, it can be applied to the uniform polyhedra.

Self-dual polyhedra

Topologically, a self-dual polyhedron is one whose dual has exactly the same connectivity between vertices, edges and faces. Abstractly, they have the same Hasse diagram.
A geometrically self-dual polyhedron is not only topologically self-dual, but its polar reciprocal about a certain point, typically its centroid, is a similar figure. For example, the dual of a regular tetrahedron is another regular tetrahedron, reflected through the origin.
Every polygon is topologically self-dual, but will not in general be geometrically self-dual. Every polygon has a regular form which is geometrically self-dual about its intersphere: all angles are congruent, as are all edges, so under duality these congruences swap.
Similarly, every topologically self-dual convex polyhedron can be realized by an equivalent geometrically self-dual polyhedron, its canonical polyhedron, reciprocal about the center of the midsphere.
There are infinitely many geometrically self-dual polyhedra. The simplest infinite family are the canonical pyramids of n sides. Another infinite family, elongated pyramids, consists of polyhedra that can be roughly described as a pyramid sitting on top of a prism. Adding a frustum below the prism generates another infinite family, and so on.
There are many other convex, self-dual polyhedra. For example, there are 6 different ones with 7 vertices, and 16 with 8 vertices.
A self-dual non-convex icosahedron with hexagonal faces was identified by Brückner in 1900. Other non-convex self-dual polyhedra have been found, under certain definitions of non-convex polyhedra and their duals.

3
4
5
6


3
4
5


3
4
5
6
7

Self-dual compound polyhedra

Trivially, the compound of any polyhedron and its dual is a self-dual figure.
If a polyhedron is self-dual, then the compound of the polyhedron with its dual will comprise congruent polyhedra. The regular compound of two tetrahedra, known as the Stella octangula, is the only regular compound with this property.

Dual polytopes and tessellations

Duality can be generalized to n-dimensional space and dual polytopes; in two dimension these are called dual polygons.
The vertices of one polytope correspond to the -dimensional elements, or facets, of the other, and the j points that define a -dimensional element will correspond to j hyperplanes that intersect to give a -dimensional element. The dual of an n-dimensional tessellation or honeycomb can be defined similarly.
In general, the facets of a polytope's dual will be the topological duals of the polytope's vertex figures. For the polar reciprocals of the regular and uniform polytopes, the dual facets will be polar reciprocals of the original's vertex figure. For example, in four dimensions, the vertex figure of the 600-cell is the icosahedron; the dual of the 600-cell is the 120-cell, whose facets are dodecahedra, which are the dual of the icosahedron.

Self-dual polytopes and tessellations

The primary class of self-dual polytopes are regular polytopes with palindromic Schläfli symbols. All regular polygons, are self-dual, polyhedra of the form, 4-polytopes of the form, 5-polytopes of the form, etc.
The self-dual regular polytopes are:
The self-dual regular Euclidean honeycombs are:
The self-dual regular hyperbolic honeycombs are: