Product of Diagonals from Point of Regular Polygon

Theorem
Let $A_0, A_1, \ldots, A_{n - 1}$ be the vertices of a regular $n$-gon $P = A_0 A_1 \cdots A_{n - 1}$ which is circumscribed by a unit circle.

Then:
 * $\ds \prod_{k \mathop = 2}^{n - 2} A_0 A_k = \frac {n \csc^2 \frac \pi n} 4$

where $A_0 A_k$ is the length of the line joining $A_0$ to $A_k$.

Proof
First it is worth examining the degenerate case $n = 3$, where there are no such lines.

In this case:

The product $\ds \prod_{k \mathop = 2}^{n - 2} A_0 A_k$ is vacuous here.

By convention, such a vacuous product is defined as being equal to $1$.

So the result holds for $n = 3$.


 * RegularPolygonWithDiagonals.png

Let $n > 3$.

The illustration above is a diagram of the case where $n = 7$.

From Complex Roots of Unity are Vertices of Regular Polygon Inscribed in Circle, the vertices of $P$ can be identified with the complex $n$th roots of unity.

Thus: