3 min read

A surprising polygon formula

Table of Contents

Problem

For a regular polygon with nn sides (nn even) and side-length 22, prove that the sum of the squares of the segments along a vertical line as in the diagram is nn. Remarkably, the same identity works for an odd number of sides. But the geometry in the two cases is a little different, so the main problem is for the even case only.

Solution

A regular polygon with nn sides where nn is even has n=4kn=4k or n=4k+2n=4k+2 sides. The coloured line segments are the projections of the polygon sides onto the yy axis.

Case: n=4kn=4k

Let a regular polygon with n=4kn=4k sides and side length 22 be oriented such that its center is at the origin and both the xx and yy axis are lines of symmetry.Let the sides of the polygon be numbered from 11 to 4k4k in anti clockwise direction starting from the side with one vertex on the positive xx axis and another vertex in the first quadrant. Let xix_i and yiy_i be the lengths of the projections of side ii on the xx and yy axis respectively. We have xi2+yi2=22x_i^2+ y_i^2 = 2^2 for all i∈{1,…,4k}i \in \{1, \dots, 4k\}. We also have xi+k=yix_{i+k} = y_i and yi+k=xiy_{i+k} = x_i because the side i+ki+k is perpendicular to side ii (the angle between them is 2Ο€4kk\frac{2\pi}{4k}k).

The sum we are interested in is

βˆ‘i=k+13kyi2=βˆ‘i=12kyi2\sum_{i=k+1}^{3k} y_i^2 = \sum_{i=1}^{2k} y_i^2

due to symmetry.

We also have

βˆ‘i=12kyi2=βˆ‘i=1kyi2+βˆ‘i=k+12kyi2=βˆ‘i=1kyi2+βˆ‘i=1kxi2=βˆ‘i=1kxi2+yi2=kβ‹…22=4k=n\begin{aligned} \sum_{i=1}^{2k} y_i^2 &= \sum_{i=1}^{k} y_i^2 + \sum_{i=k+1}^{2k} y_i^2 \\ &= \sum_{i=1}^{k} y_i^2 + \sum_{i=1}^{k} x_i^2 \\ &= \sum_{i=1}^{k} x_i^2 + y_i^2 \\ & = k \cdot 2^2 = 4k = n \end{aligned}

This completes the proof of the formula for the case where the polygon has n=4kn=4k sides.

Case: n=4k+2n=4k+2

Haven’t been able to find an elegant geometric proof yet 😊. A simple trigonometric proof is given below. It is fairly straightforward πŸ˜‰ to see that the required sum of squares of projections on the yy-axis is

2βˆ‘i=1k(2sin⁑(2iβˆ’1)Ο€4k+2)2+4=2βˆ‘i=1k(2βˆ’2cos⁑(2iβˆ’1)Ο€2k+1)+4=4k+4βˆ’4βˆ‘i=1kcos⁑(2iβˆ’1)Ο€2k+1=4k+4βˆ’2sin⁑π2k+1βˆ‘i=1ksin⁑2iΟ€2k+1βˆ’sin⁑2(iβˆ’1)Ο€2k+1=4k+4βˆ’2sin⁑2kΟ€2k+1sin⁑π2k+1=4k+2\begin{aligned} &2 \sum_{i=1}^{k} \left(2 \sin{\frac{(2i-1)\pi}{4k+2}} \right)^2 + 4 \\ &= 2\sum_{i=1}^k \left(2 - 2\cos{\frac{(2i-1)\pi}{2k+1}} \right) + 4 \\ & = 4k + 4 - 4\sum_{i=1}^{k} \cos{\frac{(2i-1)\pi}{2k+1}} \\ & = 4k + 4 - \frac{2}{\sin{\frac{\pi}{2k+1}}} \sum_{i=1}^{k} \sin{\frac{2i\pi}{2k+1}} - \sin{\frac{2(i-1)\pi}{2k+1}}\\ & = 4k + 4 - 2 \frac{\sin{\frac{2k\pi}{2k+1}}}{\sin{\frac{\pi}{2k+1}}} \\ & = 4k + 2 \end{aligned}

This completes the proof of the formula for the case where the polygon has n=4k+2n=4k+2 sides.