Problem
For a regular polygon with n sides (n even) and side-length 2, prove that the sum of the squares of the segments along a vertical line as in the diagram is n.
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 n sides where n is even has n=4k or n=4k+2 sides. The coloured line segments are the projections of the polygon sides onto the y axis.
Case: n=4k
Let a regular polygon with n=4k sides and side length 2 be oriented such that its center is at the origin and both the x and y axis are lines of symmetry.Let the sides of the polygon be numbered from 1 to 4k in anti clockwise direction starting from the side with one vertex on the positive x axis and another vertex in the first quadrant. Let xiβ and yiβ be the lengths of the projections of side i on the x and y axis respectively. We have xi2β+yi2β=22 for all iβ{1,β¦,4k}. We also have xi+kβ=yiβ and yi+kβ=xiβ because the side i+k is perpendicular to side i (the angle between them is 4k2Οβk).
The sum we are interested in is
i=k+1β3kβyi2β=i=1β2kβyi2β
due to symmetry.
We also have
i=1β2kβyi2ββ=i=1βkβyi2β+i=k+1β2kβyi2β=i=1βkβyi2β+i=1βkβxi2β=i=1βkβxi2β+yi2β=kβ
22=4k=nβ
This completes the proof of the formula for the case where the polygon has n=4k sides.
Case: n=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 y-axis is
β2i=1βkβ(2sin4k+2(2iβ1)Οβ)2+4=2i=1βkβ(2β2cos2k+1(2iβ1)Οβ)+4=4k+4β4i=1βkβcos2k+1(2iβ1)Οβ=4k+4βsin2k+1Οβ2βi=1βkβsin2k+12iΟββsin2k+12(iβ1)Οβ=4k+4β2sin2k+1Οβsin2k+12kΟββ=4k+2β
This completes the proof of the formula for the case where the polygon has n=4k+2 sides.