All Questions
1 question
7
votes
2
answers
340
views
Sum of $\sin$ when angles shrink by $1/n$
There are many identities known like
$$\sum_{k=0}^{n-1} \sin (k \cdot \theta + \varphi) = \frac{\sin\left(n \cdot \frac{\theta}{2}\right)}{\sin\left(\frac{\theta}{2}\right)} \cdot \sin \left(\frac{2 \...