Regular digon | |
---|---|
Type | Regular polygon |
Edges and vertices | 2 |
Schläfli symbol | {2} |
Coxeter–Dynkin diagrams | |
Symmetry group | D_{2}, [2], (*2•) |
Dual polygon | Self-dual |
In geometry, a digon is a polygon with two sides (edges) and two vertices. Its construction is degenerate in a Euclidean plane because either the two sides would coincide or one or both would have to be curved; however, it can be easily visualised in elliptic space.
A regular digon has both angles equal and both sides equal and is represented by Schläfli symbol {2}. It may be constructed on a sphere as a pair of 180 degree arcs connecting antipodal points, when it forms a lune.
The digon is the simplest abstract polytope of rank 2.
A truncated digon, t{2} is a square, {4}. An alternated digon, h{2} is a monogon, {1}.
The digon can have one of two visual representations if placed in Euclidean space.
One representation is degenerate, and visually appears as a double-covering of a line segment. Appearing when the minimum distance between the two edges is 0, this form arises in several situations. This double-covering form is sometimes used for defining degenerate cases of some other polytopes; for example, a regular tetrahedron can be seen as an antiprism formed of such a digon. It can be derived from the alternation of a square (h{4}), as it requires two opposing vertices of said square to be connected. When higher-dimensional polytopes involving squares or other tetragonal figures are alternated, these digons are usually discarded and considered single edges.
A second visual representation, infinite in size, is as two parallel lines stretching to (and projectively meeting at; i.e. having vertices at) infinity, arising when the shortest distance between the two edges is greater than zero. This form arises in the representation of some degenerate polytopes, a notable example being the apeirogonal hosohedron, the limit of a general spherical hosohedron at infinity, composed of an infinite number of digons meeting at two antipodal points at infinity.^{[1]} However, as the vertices of these digons are at infinity and hence are not bound by closed line segments, this tessellation is usually not considered to be an additional regular tessellation of the Euclidean plane, even when its dual order-2 apeirogonal tiling (infinite dihedron) is.
Any straight-sided digon is regular even though it is degenerate, because its two edges are the same length and its two angles are equal (both being zero degrees). As such, the regular digon is a constructible polygon.^{[2]}
Some definitions of a polygon do not consider the digon to be a proper polygon because of its degeneracy in the Euclidean case.^{[3]}
A digon as a face of a polyhedron is degenerate because it is a degenerate polygon. But sometimes it can have a useful topological existence in transforming polyhedra.
A spherical lune is a digon whose two vertices are antipodal points on the sphere.^{[4]}
A spherical polyhedron constructed from such digons is called a hosohedron.
The digon is an important construct in the topological theory of networks such as graphs and polyhedral surfaces. Topological equivalences may be established using a process of reduction to a minimal set of polygons, without affecting the global topological characteristics such as the Euler value. The digon represents a stage in the simplification where it can be simply removed and substituted by a line segment, without affecting the overall characteristics.
The cyclic groups may be obtained as rotation symmetries of polygons: the rotational symmetries of the digon provide the group C_{2}.