All vertices of a regular polygon lie on a common circle (thecircumscribed circle); i.e., they are concyclic points. That is, a regular polygon is acyclic polygon.
Together with the property of equal-length sides, this implies that every regular polygon also has an inscribed circle orincircle that is tangent to every side at the midpoint. Thus a regular polygon is atangential polygon.
Thesymmetry group of ann-sided regular polygon is thedihedral group Dn (of order 2n): D2,D3, D4, ... It consists of the rotations in Cn, together withreflection symmetry inn axes that pass through the center. Ifn is even then half of these axes pass through two opposite vertices, and the other half through the midpoint of opposite sides. Ifn is odd then all axes pass through a vertex and the midpoint of the opposite side.
All regularsimple polygons (a simple polygon is one that does not intersect itself anywhere) are convex. Those having the same number of sides are alsosimilar.
Ann-sided convex regular polygon is denoted by itsSchläfli symbol. For, we have twodegenerate cases:
Degenerate inordinary 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 anyabstract polygon.)
Degenerate inordinary space. (Some authorities[weasel words] 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 ofuniform polyhedra must be regular and the faces will be described simply as triangle, square, pentagon, etc.
As a corollary of theannulus chord formula, the area bounded by thecircumcircle andincircle of every unit convex regular polygon isπ/4
and eachexterior angle (i.e.,supplementary to the interior angle) has a measure of degrees, with the sum of the exterior angles equal to 360 degrees or 2π radians or one full turn.
Asn approaches infinity, the internal angle approaches 180 degrees. For a regular polygon with 10,000 sides (amyriagon) 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 (seeapeirogon). For this reason, a circle is not a polygon with an infinite number of sides.
For, the number ofdiagonals is; i.e., 0, 2, 5, 9, ..., for a triangle, square, pentagon, hexagon, ... . The diagonals divide the polygon into 1, 4, 11, 24, ... pieces.[a]
For a regularn-gon inscribed in a circle of radius, the product of the distances from a given vertex to all other vertices (including adjacent vertices and vertices connected by a diagonal) equalsn.
For a regularn-gon, the sum of the perpendicular distances from any interior point to then sides isn times theapothem[4]: p. 72 (the apothem being the distance from the center to any side). This is a generalization ofViviani's theorem for then = 3 case.[5][6]
The sum of the perpendiculars from a regularn-gon's vertices to any line tangent to the circumcircle equalsn times the circumradius.[4]: p. 73
The sum of the squared distances from the vertices of a regularn-gon to any point on its circumcircle equals 2nR2 whereR is the circumradius.[4]: p. 73
The sum of the squared distances from the midpoints of the sides of a regularn-gon to any point on the circumcircle is 2nR2 −1/4ns2, wheres is the side length andR is the circumradius.[4]: p. 73
If are the distances from the vertices of a regular-gon to any point on its circumcircle, then[3]
Coxeter states that everyzonogon (a 2m-gon whose opposite sides are parallel and of equal length) can be dissected into or1/2m(m − 1) parallelograms.These tilings are contained as subsets of vertices, edges and faces in orthogonal projectionsm-cubes.[7]
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 listOEIS: A006245 gives the number of solutions for smaller polygons.
Examples of dissections for selected even-sided regular polygons
For regular polygons with sides = 1, circumradiusR = 1, or apothema = 1, this produces the following table:[b] (Since as, the area when tends to as grows large.)
Comparison of sizes of regular polygons with the same edge length, fromthree tosixty sides. The size increases without bound as the number of sides approaches infinity.
Of alln-gons with a given perimeter, the one with the largest area is regular.[10]
Some regular polygons are easy toconstruct with compass and straightedge; other regular polygons are not constructible at all.Theancient Greek mathematicians knew how to construct a regular polygon with 3, 4, or 5 sides,[11]: p. xi and they knew how to construct a regular polygon with double the number of sides of a given regular polygon.[11]: pp. 49–50 This led to the question being posed: is it possible to constructall regularn-gons with compass and straightedge? If not, whichn-gons are constructible and which are not?
A regularn-gon can be constructed with compass and straightedge ifn is the product of a power of 2 and any number of distinctFermat primes (including none).
(A Fermat prime is aprime number of the form) Gauss stated without proof that this condition was alsonecessary, but never published his proof. A full proof of necessity was given byPierre Wantzel in 1837. The result is known as theGauss–Wantzel theorem.
Equivalently, a regularn-gon is constructible if and only if thecosine of its common angle is aconstructible number—that is, can be written in terms of the four basic arithmetic operations and the extraction of square roots.
Thecube contains a skew regularhexagon, seen as 6 red edges zig-zagging between two planes perpendicular to the cube's diagonal axis.
The zig-zagging side edges of an-antiprism represent a regular skew 2n-gon, as shown in this 17-gonal antiprism.
Aregularskew polygon in 3-space can be seen as nonplanar paths zig-zagging between two parallel planes, defined as the side-edges of a uniformantiprism. All edges and internal angles are equal.
More generallyregular skew polygons can be defined inn-space. Examples include thePetrie polygons, polygonal paths of edges that divide aregular polytope into two halves, and seen as a regular polygon in orthogonal projection.
In the infinite limitregular skew polygons become skewapeirogons.
A non-convex regular polygon is a regularstar polygon. The most common example is thepentagram, which has the same vertices as apentagon, but connects alternating vertices.
For ann-sided star polygon, theSchläfli symbol is modified to indicate thedensity or "starriness"m of the polygon, as {n/m}. Ifm is 2, for example, then every second point is joined. Ifm is 3, then every third point is joined. The boundary of the polygon winds around the centerm times.
The (non-degenerate) regular stars of up to 12 sides are:
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 exampleCoxeter (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 regularcompound of two triangles, orhexagram.Coxeter clarifies this regular compound with a notation {kp}[k{p}]{kp} for the compound {p/k}, so thehexagram is represented as {6}[2{3}]{6}.[14] More compactly Coxeter also writes 2{n/2}, like 2{3} for a hexagram as compound asalternations of regular even-sided polygons, with italics on the leading factor to differentiate it from the coinciding interpretation.[15]
Many modern geometers, such as Grünbaum (2003),[13] 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 ofabstract 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.
Auniform polyhedron has regular polygons as faces, such that for every two vertices there is anisometry mapping one into the other (just as there is for a regular polygon).
Aquasiregular polyhedron is a uniform polyhedron which has just two kinds of face alternating around each vertex.
Aregular polyhedron is a uniform polyhedron which has just one kind of face.
Grünbaum, B.; Are your polyhedra the same as my polyhedra?,Discrete and comput. geom: the Goodman-Pollack festschrift, Ed. Aronov et al., Springer (2003), pp. 461–488.
Poinsot, L.; Memoire sur les polygones et polyèdres.J. de l'École Polytechnique9 (1810), pp. 16–48.