# No Straight Lines Make Up My Life

One example ().

Take a unit circle, and inscribe a regular -gon.

Pick one vertex. Draw lines from that vertex to all the other vertices (two of these lines are edges of the -gon, the rest are interior to the -gon).

What is the product of the lengths of these lines?

, with additional lines that help us deduce the side length.

We can start with simple examples. For we need to know the lengths of the sides of an equilateral triangle whose center is 1 unit from the vertices. By drawing the angle bisectors / medians / altitudes (which are all the same for an equilateral triangle) we can decompose the triangle in 30˚-60˚-90˚ right triangles with hypotenuse 1. The side of interest of one of those smaller triangles has length , so the equilateral triangle has side and the product we’re after is .

Curious. Let’s check .

The decomposition in this case is even simpler! We can draw just four 45˚-45˚-90˚ triangles with side length 1 and hypotenuse . So, the product we’re after is , where the terms are the inner diagonal and the two sides of the square, respectively.

In fact, if =2, the polygon is degenerate, but we can consider the points at ±1—so the length of the one line 2!

product of lengths | |
---|---|

2 | 2 |

3 | 3 |

4 | 4 |

Does this pattern hold forever? Does it generalize into higher dimensions?

I immediately checked the tetrahedron and cube inscribed in the unit sphere, and found that there was no obvious pattern in 3 dimensions.

I struggled to find a proof in 2D. I was able to reduce the problem to proving

but got no further.

My friend Will offered the following proof:

Consider a regular -gon in the complex plane with vertices at the roots of unity where . Let 1 be the distinguished vertex, so the product of the lengths to all the other vertices is

Now consider the polynomial identityThis is in some sense the *definition* of the roots of unity.

which is just the factorization of the left hand side into linear factors. Differentiating both sides with respect to and setting ,

But now note that if then the product on the right hand side includes a factor of and so vanishes. Thus only contribues,

Combining this with the first equation yields

QED.

The reliance on complex numbers immediately explains why there was no pattern in three dimensions. I would be interested to learn if there is any similar identity that takes advantage of the quaternions or octonions.

I designed a graphic inspired by this identity, and gave Will a printed copy as thanks for this enlightening proof.

If we take the bounding circle to have radius 1, the product of length of all the lines in this figure is exactly

230 843 697 339 241 380 472 092 742 683 027 581 083 278 564 571 807 941 132 288 000 000 000 000

or , as it is all the figures for to , each a different color, superimposed.

Subsequently, I came across a purely algebraic proof that does not require differentiation.