Regular polygon

Regular convex polygons

All regular simple polygons (a simple polygon is one that does not intersect itself anywhere) are convex. Those having the same number of sides are also similar.

An n-sided convex regular polygon is denoted by its Schläfli symbol ${\displaystyle \{n\}}$. For ${\displaystyle n<3}$, we have two degenerate cases:

Monogon {1}; point

Degenerate in ordinary space. (Most authorities do not regard the monogon as a true polygon, partly because of this, and also because the formulae below do not work, and its structure is not that of any abstract polygon.)

Digon {2}; line segment

Degenerate in ordinary space. (Some authorities do not regard the digon as a true polygon because of this.)

In certain contexts all the polygons considered will be regular. In such circumstances it is customary to drop the prefix regular. For instance, all the faces of uniform polyhedra must be regular and the faces will be described simply as triangle, square, pentagon, etc.

Angles

For a regular convex n-gon, each interior angle has a measure of:

${\displaystyle \frac{(n-2)180}{n}}$ degrees;

${\displaystyle \frac{(n-2)\pi }{n}}$ radians; or

${\displaystyle \frac{(n-2)}{2n}=\frac{1}{2}-\frac{1}{n}}$ full turns,

and each exterior angle (i.e., supplementary to the interior angle) has a measure of ${\displaystyle \frac{360}{n}}$ degrees, with the sum of the exterior angles equal to 360 degrees or 2π radians or one full turn.

As n approaches infinity, the internal angle approaches 180 degrees. For a regular polygon with 10,000 sides (a myriagon) the internal angle is 179.964°. As the number of sides increases, the internal angle can come very close to 180°, and the shape of the polygon approaches that of a circle. However the polygon can never become a circle. The value of the internal angle can never become exactly equal to 180°, as the circumference would effectively become a straight line (see apeirogon). For this reason, a circle is not a polygon with an infinite number of sides.

Diagonals

For ${\displaystyle n>2}$, the number of diagonals is ${\displaystyle \frac{1}{2}n(n-3)}$; i.e., 0, 2, 5, 9, ..., for a triangle, square, pentagon, hexagon, ... . The diagonals divide the polygon into 1, 4, 11, 24, ... pieces.

For a regular n-gon inscribed in a circle of radius ${\displaystyle 1}$, the product of the distances from a given vertex to all other vertices (including adjacent vertices and vertices connected by a diagonal) equals n.

Points in the plane

For a regular simple n-gon with circumradius R and distances d_i from an arbitrary point in the plane to the vertices, we have

${\displaystyle \frac{1}{n}\sum _{i=1}^n{d}_i^4+3R^4=(\frac{1}{n}\sum _{i=1}^n{d}_i^2+R^2{)}^2.}$

For higher powers of distances ${\displaystyle d_i}$ from an arbitrary point in the plane to the vertices of a regular n-gon, if

${\displaystyle S_n^{(2m)}=\frac{1}{n}\sum _{i=1}^n{d}_i^{2m}}$,

then

${\displaystyle S_n^{(2m)}={\left(S_n^{(2)}\right)}^m+\sum _{k=1}^{\lfloor m/2\rfloor }(\genfrac{}{}{0ex}{}{m}{2k})(\genfrac{}{}{0ex}{}{2k}{k})R^{2k}{\left(S_n^{(2)}-R^2\right)}^k{\left(S_n^{(2)}\right)}^{m-2k}}$,

and

${\displaystyle S_n^{(2m)}={\left(S_n^{(2)}\right)}^m+\sum _{k=1}^{\lfloor m/2\rfloor }\frac{1}{2^k}(\genfrac{}{}{0ex}{}{m}{2k})(\genfrac{}{}{0ex}{}{2k}{k}){\left(S_n^{(4)}-{\left(S_n^{(2)}\right)}^2\right)}^k{\left(S_n^{(2)}\right)}^{m-2k}}$,

where m is a positive integer less than n.

If L is the distance from an arbitrary point in the plane to the centroid of a regular n-gon with circumradius R, then

${\displaystyle \sum _{i=1}^n{d}_i^{2m}=n\left({\left(R^2+L^2\right)}^m+\sum _{k=1}^{\lfloor m/2\rfloor }(\genfrac{}{}{0ex}{}{m}{2k})(\genfrac{}{}{0ex}{}{2k}{k})R^{2k}{L}^{2k}{\left(R^2+L^2\right)}^{m-2k}\right)}$,

where ${\displaystyle m=1,2,\dots ,n-1}$.

Interior points

For a regular n-gon, the sum of the perpendicular distances from any interior point to the n sides is n times the apothem (the apothem being the distance from the center to any side). This is a generalization of Viviani's theorem for the n = 3 case.

Circumradius

The circumradius R from the center of a regular polygon to one of the vertices is related to the side length s or to the apothem a by

${\displaystyle R=\frac{s}{2\sin \left(\frac{\pi }{n}\right)}=\frac{a}{\cos \left(\frac{\pi }{n}\right)}{}_{,}a=\frac{s}{2\tan \left(\frac{\pi }{n}\right)}}$

For constructible polygons, algebraic expressions for these relationships exist .

The sum of the perpendiculars from a regular n-gon's vertices to any line tangent to the circumcircle equals n times the circumradius.

The sum of the squared distances from the vertices of a regular n-gon to any point on its circumcircle equals 2nR² where R is the circumradius.

The sum of the squared distances from the midpoints of the sides of a regular n-gon to any point on the circumcircle is 2nR² − ⁠1/4⁠ns², where s is the side length and R is the circumradius.

If ${\displaystyle d_i}$ are the distances from the vertices of a regular ${\displaystyle n}$-gon to any point on its circumcircle, then

${\displaystyle 3(\sum _{i=1}^n{d}_i^2{)}^2=2n\sum _{i=1}^n{d}_i^4}$.

Dissections

Coxeter states that every zonogon (a 2m-gon whose opposite sides are parallel and of equal length) can be dissected into ${\displaystyle (\genfrac{}{}{0ex}{}{m}{2})}$ or ⁠1/2⁠m(m − 1) parallelograms. These tilings are contained as subsets of vertices, edges and faces in orthogonal projections m-cubes.

In particular, this is true for any regular polygon with an even number of sides, in which case the parallelograms are all rhombi. Regular polygons with 4m+2 sides can be dissected in a way with (2m+1)-fold radial symmetry. The list OEIS: A006245 gives the number of solutions for smaller polygons.

Area

The area A of a convex regular n-sided polygon having side s, circumradius R, apothem a, and perimeter p is given by $${\displaystyle \begin{array}{cc}A& =\frac{1}{2}nsa\\ & =\frac{1}{2}pa\\ & =\frac{1}{4}n{s}^2\cot \left(\frac{\pi }{n}\right)\\ & =n{a}^2\tan \left(\frac{\pi }{n}\right)\\ & =\frac{1}{2}n{R}^2\sin \left(\frac{2\pi }{n}\right)\end{array}}$$

For regular polygons with side s = 1, circumradius R = 1, or apothem a = 1, this produces the following table: (Since ${\displaystyle \cot x\to 1/x}$ as ${\displaystyle x\to 0}$, the area when ${\displaystyle s=1}$ tends to ${\displaystyle n^2/4\pi }$ as ${\displaystyle n}$ grows large.)

Of all n-gons with a given perimeter, the one with the largest area is regular.

Constructible polygon

Some regular polygons are easy to construct with compass and straightedge; other regular polygons are not constructible at all. The ancient Greek mathematicians knew how to construct a regular polygon with 3, 4, or 5 sides, and they knew how to construct a regular polygon with double the number of sides of a given regular polygon. This led to the question being posed: is it possible to construct all regular n-gons with compass and straightedge? If not, which n-gons are constructible and which are not?

Carl Friedrich Gauss proved the constructibility of the regular 17-gon in 1796. Five years later, he developed the theory of Gaussian periods in his Disquisitiones Arithmeticae. This theory allowed him to formulate a sufficient condition for the constructibility of regular polygons:

A regular n-gon can be constructed with compass and straightedge if n is the product of a power of 2 and any number of distinct Fermat primes (including none).

(A Fermat prime is a prime number of the form ${\displaystyle 2^{\left(2^n\right)}+1.}$) Gauss stated without proof that this condition was also necessary, but never published his proof. A full proof of necessity was given by Pierre Wantzel in 1837. The result is known as the Gauss–Wantzel theorem.

Equivalently, a regular n-gon is constructible if and only if the cosine of its common angle is a constructible number—that is, can be written in terms of the four basic arithmetic operations and the extraction of square roots.

Regular skew polygons

A regular skew polygon in 3-space can be seen as nonplanar paths zig-zagging between two parallel planes, defined as the side-edges of a uniform antiprism. All edges and internal angles are equal.

More generally regular skew polygons can be defined in n-space. Examples include the Petrie polygons, polygonal paths of edges that divide a regular polytope into two halves, and seen as a regular polygon in orthogonal projection.

In the infinite limit regular skew polygons become skew apeirogons.

Regular star polygons

A non-convex regular polygon is a regular star polygon. The most common example is the pentagram, which has the same vertices as a pentagon, but connects alternating vertices.

For an n-sided star polygon, the Schläfli symbol is modified to indicate the density or "starriness" m of the polygon, as {n/m}. If m is 2, for example, then every second point is joined. If m is 3, then every third point is joined. The boundary of the polygon winds around the center m times.

The (non-degenerate) regular stars of up to 12 sides are:

• Pentagram – {5/2}
• Heptagram – {7/2} and {7/3}
• Octagram – {8/3}
• Enneagram – {9/2} and {9/4}
• Decagram – {10/3}
• Hendecagram – {11/2}, {11/3}, {11/4} and {11/5}
• Dodecagram – {12/5}

m and n must be coprime, or the figure will degenerate.

The degenerate regular stars of up to 12 sides are:

• Tetragon – {4/2}
• Hexagons – {6/2}, {6/3}
• Octagons – {8/2}, {8/4}
• Enneagon – {9/3}
• Decagons – {10/2}, {10/4}, and {10/5}
• Dodecagons – {12/2}, {12/3}, {12/4}, and {12/6}

Depending on the precise derivation of the Schläfli symbol, opinions differ as to the nature of the degenerate figure. For example, {6/2} may be treated in either of two ways:

• For much of the 20th century (see for example Coxeter (1948)), we have commonly taken the /2 to indicate joining each vertex of a convex {6} to its near neighbors two steps away, to obtain the regular compound of two triangles, or hexagram. Coxeter clarifies this regular compound with a notation {kp}[k{p}]{kp} for the compound {p/k}, so the hexagram is represented as {6}[2{3}]{6}. More compactly Coxeter also writes 2{n/2}, like 2{3} for a hexagram as compound as alternations of regular even-sided polygons, with italics on the leading factor to differentiate it from the coinciding interpretation.
• Many modern geometers, such as Grünbaum (2003), regard this as incorrect. They take the /2 to indicate moving two places around the {6} at each step, obtaining a "double-wound" triangle that has two vertices superimposed at each corner point and two edges along each line segment. Not only does this fit in better with modern theories of abstract polytopes, but it also more closely copies the way in which Poinsot (1809) created his star polygons – by taking a single length of wire and bending it at successive points through the same angle until the figure closed.

Duality of regular polygons

All regular polygons are self-dual to congruency, and for odd n they are self-dual to identity.

In addition, the regular star figures (compounds), being composed of regular polygons, are also self-dual.

Regular polygons as faces of polyhedra

A uniform polyhedron has regular polygons as faces, such that for every two vertices there is an isometry mapping one into the other (just as there is for a regular polygon).

A quasiregular polyhedron is a uniform polyhedron which has just two kinds of face alternating around each vertex.

A regular polyhedron is a uniform polyhedron which has just one kind of face.

The remaining (non-uniform) convex polyhedra with regular faces are known as the Johnson solids.

A polyhedron having regular triangles as faces is called a deltahedron.