Analyzing the Setup
My dear student, welcome to a beautiful exploration of geometry. Today, we are not just solving a problem; we are peeling back the layers of a regular polygon to reveal the elegant relationship between its inscribed and circumscribed circles.
Imagine you are standing at the center of a regular n-sided polygon. You look out at one of its sides, which we will call AB, with a length of a.
By connecting the center O to the vertices A and B, we create an isosceles triangle △OAB. This triangle is the heartbeat of our problem, containing all the information we need to find the radii of the circles that touch the sides and the vertices.
The Apothem
Our Geometric Anchor
To make sense of this triangle, we need a reference line. Let us drop a perpendicular from the center O to the side AB, meeting it at the midpoint M.
This line segment OM is known as the apothem. Because M is the midpoint, the length AM is exactly 2a.
This simple act of dropping a perpendicular has transformed our isosceles triangle △OAB into two congruent right-angled triangles, △OAM and △OBM. Now, let us focus on △OAM.
The angle at the center, ∠AOB, is n2π. Since OM bisects this angle, our angle ∠AOM is exactly nπ. This is the angle that will drive our trigonometric journey.
Defining the Radii
Now, let us define our two protagonists: the inradius r and the circumradius R. The inradius r is the radius of the inscribed circle, which touches all sides.
Geometrically, this is the distance from the center O to the side AB, which is the length of our apothem OM. In our right triangle △OAM, we can use the definition of the cotangent function:
cot(nπ)=OppositeAdjacent=AMOM=a/2r
Rearranging this, we find that:
Next, the circumradius R is the distance from the center O to any vertex, which is the length OA. Using the cosecant function in the same triangle, we have:
csc(nπ)=OppositeHypotenuse=AMOA=a/2R
Thus, we obtain:
The Algebraic Dance
We are now ready to find the sum r+R. Substituting our expressions, we get:
r+R=2acot(nπ)+2acsc(nπ)
Factoring out the common 2a, we have:
r+R=2a[cot(nπ)+csc(nπ)]
To simplify this, we convert to sine and cosine:
r+R=2a[sin(π/n)cos(π/n)+1]
This is where the magic happens. We invoke the half-angle identities: 1+cosθ=2cos2(2θ) and sinθ=2sin(2θ)cos(2θ). Substituting θ=nπ, our expression becomes:
r+R=2a[2sin(π/2n)cos(π/2n)2cos2(π/2n)]
The Elegant Conclusion
Finally, we watch the terms cancel out. The factor of 2 vanishes, and one factor of cos(π/2n) cancels from the numerator and denominator.
We are left with:
r+R=2a[sin(π/2n)cos(π/2n)]
This simplifies beautifully to our final result:
This result is not just an answer; it is a testament to the harmony of geometry and trigonometry. You have successfully navigated the complexity and arrived at the elegant truth.