Maths WorkshopMaths problems with full solutions
Exercise 1539Combinatorics › Binomial coefficientsOlympiadAdded 3 Nov 2026

Sum of sines

#complex numbers#binomial#sine

Statement

Show that ∑k=0n(nk)sin⁡(kθ)=2ncos⁡n(θ/2)sin⁡(nθ/2)\sum_{k=0}^{n}\binom{n}{k}\sin(k\theta)=2^n\cos^n(\theta/2)\sin(n\theta/2).

Hint

Take imaginary part of (1+eiθ)n(1+e^{i\theta})^n.

Show solutionHide solution

Solution

Imaginary part. ∑k(nk)sin⁡(kθ)=Im⁡((1+eiθ)n)\sum_k\binom{n}{k}\sin(k\theta)=\operatorname{Im}((1+e^{i\theta})^n).

Compute. (1+eiθ)n=2ncos⁡n(θ/2)einθ/2(1+e^{i\theta})^n=2^n\cos^n(\theta/2)e^{in\theta/2}.

Imaginary part. 2ncos⁡n(θ/2)sin⁡(nθ/2)2^n\cos^n(\theta/2)\sin(n\theta/2).

Conclusion. The identity holds.