MathDB
trigonometric equality

Source: Bulgaria 1972 P3

June 21, 2021
trigonometryalgebra

Problem Statement

Prove the equality: k=1n11sin2(2k+1)π2n=n2\sum_{k=1}^{n-1}\frac1{\sin^2\frac{(2k+1)\pi}{2n}}=n^2 where nn is a natural number.
H. Lesov