PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
regular polygon (Definition)

A regular polygon is a polygon such that all of its sides are congruent and all of its interior angles are congruent; that is, a polygon which is both equilateral and equiangular. Note that all regular polygons are convex.

There is a regular polygon with $n$ sides for every $n>2$ . As $n$ increases, they resemble a circle ever more closely, and in fact were the basis for some early attempts to approximate the value of $\pi$ . The existence of many types of regular polygons is in contrast with the case for regular polyhedra, of which only five distinct types in Euclidean geometry.

Some regular polygons have special names. For example, in many geometries, a regular triangle is also known as an equilateral triangle and (less commonly) an equiangular triangle. Also, in Euclidean geometry, a regular quadrilateral is also known as a square. For larger numbers of sides, one uses a Greek number prefix, as in ``regular pentagon'' and ``regular hexagon''. For numbers of sides so large that this becomes unwieldy, one uses a number, as in ``regular $11$ -gon'' (as opposed to ``hendecagon''), ``regular $512$ -gon'' (as opposed to ``pentacosiododecagon'') or ``regular $n$ -gon''. Below is a picture of some regular $n$ -gons for $n$ from $3$ to $7$ :

$\textstyle \parbox{5.19615pc}{\begin{center}\begin{xy} 0;<3pc,0pc>:<0pc,3pc>:: ... ...5,0.);c+(0.,0.) \ar@{-}c+(0.,0.);c+(0.866025,1.5) \end{xy}triangle\end{center}}$ $\textstyle \parbox{4.24264pc}{\begin{center}\begin{xy} 0;<3pc,0pc>:<0pc,3pc>:: ... ...41421,0.);c+(0.,0.) \ar@{-}c+(0.,0.);c+(0.,1.41421) \end{xy}square\end{center}}$ $\textstyle \parbox{5.70633pc}{\begin{center}\begin{xy} 0;<3pc,0pc>:<0pc,3pc>:: ... ...11803) \ar@{-}c+(0.,1.11803);c+(0.951057,1.80902) \end{xy}pentagon\end{center}}$ $\textstyle \parbox{6pc}{\begin{center}\begin{xy} 0;<3pc,0pc>:<0pc,3pc>:: \ar@{-... ....,0.866025) \ar@{-}c+(0.,0.866025);c+(0.5,1.73205) \end{xy}hexagon\end{center}}$ $\textstyle \parbox{5.84958pc}{\begin{center}\begin{xy} 0;<3pc,0pc>:<0pc,3pc>:: ... ... \ar@{-}c+(0.193096,1.52446);c+(0.974928,1.90097) \end{xy}heptagon\end{center}}$

If $n$ is an integer with $n \ge 3$ , then the symmetry group of a regular $n$ -gon is the $n^{{th}}$ dihedral group (written $D_n$ ). Unfortunately, since it has $2n$ elements, it is also sometimes called the dihedral group of order $2n$ and written $D_{2n}$ .

In spherical geometry, every biangle is regular. Its symmetry group is the Klein 4-group.

The center of a regular polygon is the point that is equidistant from each of its vertices. (In spherical geometry, in order to obtain uniqueness, we use the convention that the center is inside the polygon. Similarly, for biangles, we also use the convention that the center is equidistant from the midpoints of the sides.) An apothem of a regular polygon is a line segment such that all of the following occur:

  • one of its endpoints is the center of the regular polygon;
  • one of its endpoints is on one of the sides of the regular polygon;
  • it is perpendicular to the side of the regular polygon that it intersects.

For any regular polygon, all of its apothems are congruent, and the point at which an apothem and a side of the regular polygon intersect is the midpoint of that side.

Below is an example of a regular pentagon with all apothems drawn in blue.


\begin{pspicture}(-2,-2)(2,2) \psline[linecolor=blue](0,0)(-0.951,1.309) \psline... ...gon(0,2)(-1.902,0.618)(-1.175,-1.618)(1.175,-1.618)(1.902,0.618) \end{pspicture}

From here on in the entry, only Euclidean geometry is considered.

Given a regular polygon with apothem of length $a$ and perimeter $P$ , its area is $$ A=\frac{1}{2}aP. $$ A proof of this statement is supplied in the entry area of regular polygon.

Any regular polygon can be inscribed into a circle and a circle can be inscribed within it. Note that both of these circles have the same center as the regular polygon. Below is a square with its inscribed circle drawn in green and its circumscribed circle drawn in cyan.


\begin{pspicture}(-3,-3)(3,3) \pscircle[linecolor=cyan](0,0){2.13} \pspolygon(1.... ...-1.5)(1.5,-1.5) \pscircle[linecolor=green](0,0){1.5} \psdot(0,0) \end{pspicture}

Given a regular polygon with $n$ sides whose side has length $t$ , the radius of the circumscribed circle is $$ R=\frac{t}{\displaystyle 2\sin\left(\frac{180^\circ}{n}\right)} $$ and the radius of the inscribed circle is $$ r=2t\tan\left(\frac{180^\circ}{n}\right). $$

The area of the regular polygon can also be calculated using the formula $$ A=\frac{nt^2}{\displaystyle 4\tan\left(\frac{180^\circ}{n}\right)}. $$

In a more general setting, one might wish to allow figures which are not usually considered as polygons to be called ``regular polygons''. In this sense, a regular $n$ -gon is constructed from $n$ line segments of the same length, each joined to the preceding one by the same angle on the same side, and the last joined to the first in the same way. It is not obvious, but any such figure can be made by choosing $n$ points evenly spaced around a circle and joining them in some way. To get the ordinary convex $n$ -gon, join each point to the next point. To obtain a more complicated $n$ -gon, fix an integer $m$ relatively prime to $n$ with $1<m<n-1$ and jump by $m$ points each time. For any valid $k$ , this procedure yields the same figure for $m=k$ and $m=n-k$ . Thus, there are $\displaystyle \frac{\varphi(n)}{2}$ of these generalized regular polygons (where $\varphi$ denotes the Euler totient function) having $n$ sides, including the ordinary convex $n$ -gon. Since the line segments that form more complicated $n$ -gons cross each other, there is no obvious definition of ``area'' to apply.

An example of a more complicated $n$ -gon is a pentagram, which is obtained from the above procedure by letting $n=5$ and either $m=2$ or $m=3$ . In the picture below, a pentagram is drawn in blue.


\begin{pspicture}(-3,-3)(3,3) \pscircle(0,0){3} \pspolygon[linecolor=blue](0,3)(... ...ots(0,3)(-1.763,-2.427)(2.853,0.927)(-2.853,0.927)(1.763,-2.427) \end{pspicture}




"regular polygon" is owned by Wkbj79. [ full author list (6) | owner history (5) ]
(view preamble | get metadata)

View style:

See Also: polygon, polyhedron, regular polyhedron, pi, compass and straightedge construction of regular pentagon, regular triangle, square, criterion for constructibility of regular polygon

Other names:  regular n-gon, regular
Also defines:  apothem, center

Attachments:
area of regular polygon (Theorem) by Wkbj79
regular polygon and circles (Theorem) by pahio
construction of regular $2n$-gon from regular $n$-gon (Algorithm) by Wkbj79
regular decagon inscribed in circle (Theorem) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: pentagram, Euler totient function, valid, relatively prime, fix, obvious, angle, radius, circumscribed, inscribed, area of regular polygon, proof, area, length, pentagon, intersects, perpendicular, endpoints, line segment, midpoints, vertices, point, Klein 4-group, biangle, spherical geometry, elements, dihedral group, group, symmetry, integer, numbers, square, quadrilateral, equiangular triangle, equilateral triangle, regular triangle, geometries, Euclidean geometry, circle, convex, equiangular, equilateral, interior angles, congruent, sides, polygon
There are 51 references to this entry.

This is version 45 of regular polygon, born on 2002-02-19, modified 2007-10-29.
Object id is 2256, canonical name is RegularPolygon.
Accessed 37744 times total.

Classification:
AMS MSC51-00 (Geometry :: General reference works )

Pending Errata and Addenda
None.
[ View all 9 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)