regular polygon and circles

Theorem.  Every regular polygon has a circumscribed circle and an inscribed circle.

Proof.

Given a regular $n$-gon, draw the angle bisectors of its interior angles. Since the interior angles of a regular $n$-gon are congruent, one gets $n$ isosceles triangles. (See determining from angles that a triangle is isosceles for more details.) Moreover, since the sides of the regular $n$-gon are congruent, these isosceles triangles have congruent bases. Thus, these triangles are congruent (ASA). Therefore, the sides adjacent to the vertex angles are congruent. Hence, the vertices of two adjacent triangles and thus of all triangles coincide. This common vertex point is equidistant from all vertices of the polygon and also from all sides of the polygon, whence it is simultaneously the center (http://planetmath.org/Center8) of the circumscribed circle and the inscribed circle. ∎

To illustrate what is going on in the proof, the procedure explained in the proof will be demonstrated for a regular pentagon and a regular hexagon. In the pictures below, the regular pentagon is on the left, and the regular hexagon is on the right.

In the first picture, the $n$ angle bisectors are drawn in blue. Note how they all intersect at one point. This point is the center of the regular polygon.

In the second picture, the $n$ angle bisectors are only drawn to the center. Note that the resulting picture for the regular hexagon is no different than the previous picture.

In the last picture, the inscribed circle is drawn in green, and the circumscribed circle is drawn in cyan.

Title	regular polygon and circles
Canonical name	RegularPolygonAndCircles
Date of creation	2013-03-22 17:17:06
Last modified on	2013-03-22 17:17:06
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	15
Author	pahio (2872)
Entry type	Theorem
Classification	msc 51M04
Classification	msc 51-00
Related topic	Circumscribe
Related topic	Inscribe
Related topic	CircleHasOneCenter
Related topic	RegularDecagonInscribedInCircle