A
regular star polygon is a self-intersecting, equilateral, and equiangular
polygon. A regular star polygon is denoted by its
Schläfli symbol {
p/
q}, where
p (the number of vertices) and
q (the
density) are
relatively prime (they share no factors) and where
q ≥ 2. The density of a polygon can also be called its
turning number: the sum of the
turn angles of all the vertices, divided by 360°. The
symmetry group of {
p/
q} is the
dihedral group D
p, of order 2
p, independent of
q. Regular star polygons were first studied systematically by
Thomas Bradwardine, and later
Johannes Kepler.
Construction via vertex connection Regular star polygons can be created by connecting one
vertex of a regular
p-sided simple polygon to another vertex, non-adjacent to the first one, and continuing the process until the original vertex is reached again. Alternatively, for integers
p and
q, it can be considered as being constructed by connecting every
qth point out of
p points regularly spaced in a circular placement. For instance, in a regular pentagon, a five-pointed star can be obtained by drawing a line from the 1st to the 3rd vertex, from the 3rd to the 5th vertex, from the 5th to the 2nd vertex, from the 2nd to the 4th vertex, and from the 4th to the 1st vertex. If
q ≥
p/2, then the construction of {
p/
q} will result in the same polygon as {
p/(
p −
q)}; connecting every third vertex of the pentagon will yield an identical result to that of connecting every second vertex. However, the vertices will be reached in the opposite direction, which makes a difference when retrograde polygons are incorporated in higher-dimensional polytopes. For example, an
antiprism formed from a prograde pentagram {5/2} results in a
pentagrammic antiprism; the analogous construction from a retrograde "crossed pentagram" {5/3} results in a
pentagrammic crossed-antiprism. Another example is the
tetrahemihexahedron, which can be seen as a "crossed triangle" {3/2}
cuploid.
Degenerate regular star polygons If
p and
q are not coprime, a degenerate polygon will result with coinciding vertices and edges. For example, {6/2} will appear as a triangle, but can be labeled with two sets of vertices: 1–3 and 4–6. This should be seen not as two overlapping triangles, but as a double-winding single unicursal hexagon. :
Construction via stellation Alternatively, a regular star polygon can also be obtained as a sequence of
stellations of a convex regular
core polygon. Constructions based on stellation also allow regular polygonal compounds to be obtained in cases where the density
q and amount
p of vertices are not coprime. When constructing star polygons from stellation, however, if
q >
p/2, the lines will instead diverge infinitely, and if
q =
p/2, the lines will be parallel, with both resulting in no further intersection in Euclidean space. However, it may be possible to construct some such polygons in spherical space, similarly to the
monogon and
digon; such polygons do not yet appear to have been studied in detail. ==Isotoxal star simple polygons==