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.

References

1 K. Väisälä : Geometria. Tenth edition. Werner Söderström Osakeyhtiö, Porvoo and Helsinki (1971).

单词	RegularPolygonAndCircles
释义	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. References 1 K. Väisälä : Geometria. Tenth edition. Werner Söderström Osakeyhtiö, Porvoo and Helsinki (1971).
随便看	AlternativeDefinitionOfLebesgueIntegralAn alternative definition of Lebesgue integral, an AlternativeDefinitionOfMetricSpace alternative definition of metric space AlternativeDefinitionOfTheNaturalLogarithm alternative definition of the natural logarithm AlternativeDefinitionOfValuation alternative definition of valuation AlternativeDefinitionsOfCountable alternative definitions of countable AlternativeProofOfConditionOnANearRingToBeARing alternative proof of condition on a near ring to be a ring AlternativeProofOfDerivativeOfXn alternative proof of derivative of x^n AlternativeProofOfEuclidsLemma alternative proof of Euclid’s lemma AlternativeProofOfNecessityDirectionOfEquivalentConditionsForTriangleshyperbolicAndSpherical alternative proof of necessity direction of equivalent conditions for triangles (hyperbolic and spherical) AlternativeProofOfTheFundamentalTheoremOfCalculus alternative proof of the fundamental theorem of calculus AlternativeProofThatAFiniteIntegralDomainIsAField alternative proof that a finite integral domain is a field AlternativeProofThatsqrt2IsIrrational alternative proof that sqrt(2) is irrational AlternativeTreatmentOfConcatenation