In geometry, a star polygon is a type of non-convex polygon, and most commonly, a type of decagon. Regular star polygons have been studied in depth; while star polygons in general appear not to have been formally defined, however certain notable ones can arise through truncation operations on regular simple and star polygons.
Branko Grünbaum identified two primary definitions used by Johannes Kepler, one being the regular star polygons with intersecting edges that don't generate new vertices, and the second being simple isotoxal concave polygons.
Star polygon names combine a numeral prefix, such as penta-, with the Greek suffix -gram (in this case generating the word pentagram). The prefix is normally a Greek cardinal, but synonyms using other prefixes exist. For example, a nine-pointed polygon or enneagram is also known as a nonagram, using the ordinal nona from Latin. The -gram suffix derives from γραμμή (grammḗ) meaning a line.
A "regular star polygon" is a self-intersecting, equilateral equiangular polygon.
Regular star polygons can be created by connecting one vertex of a simple, regular, p-sided polygon to another, non-adjacent vertex 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 first to the third vertex, from the third vertex to the fifth vertex, from the fifth vertex to the second vertex, from the second vertex to the fourth vertex, and from the fourth vertex to the first vertex.
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 for regular polygonal compounds to be obtained in cases where the density and amount of vertices are not coprime. When constructing star polygons from stellation, however, if q is greater than p/2, the lines will instead diverge infinitely, and if q is equal to 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.
These polygons are often seen in tiling patterns. The parametric angle α (degrees or radians) can be chosen to match internal angles of neighboring polygons in a tessellation pattern. Johannes Kepler in his 1619 work Harmonices Mundi, including among other period tilings, nonperiodic tilings like that three regular pentagons, and a regular star pentagon (22.214.171.124/2) can fit around a vertex, and related to modern penrose tilings.
The interior of a star polygon may be treated in different ways. Three such treatments are illustrated for a pentagram. Branko Grünbaum and Geoffrey Shephard consider two of them, as regular star polygons and concave isogonal 2n-gons.
When the area of the polygon is calculated, each of these approaches yields a different answer.