Maths WorkshopMaths problems with full solutions
Exercise 1305Algebra › Complex numbersOlympiadAdded 5 Nov 2026

Sums over roots of unity from a logarithmic derivative

#roots of unity#logarithmic derivative#complex numbers#symmetry

Statement

Let n≥2n\ge2 and ω=e2πi/n\omega=e^{2\pi i/n}.

1. Prove that for every complex xx that is not an nn-th root of unity,
∑k=0n−11x−ωk=nxn−1xn−1.\sum_{k=0}^{n-1}\frac1{x-\omega^k}=\frac{nx^{n-1}}{x^n-1}.
2. Compute ∑k=0n−112−ωk\displaystyle\sum_{k=0}^{n-1}\frac1{2-\omega^k}.
3. Prove that ∑k=1n−111−ωk=n−12\displaystyle\sum_{k=1}^{n-1}\frac1{1-\omega^k}=\frac{n-1}2.

Hint

For part 1, xn−1=∏k=0n−1(x−ωk)x^n-1=\prod_{k=0}^{n-1}(x-\omega^k). Differentiate the product and divide by the product. For part 3, pair kk with n−kn-k.

Show solutionHide solution

Solution

1. Let f(x)=xn−1=∏k(x−ωk)f(x)=x^n-1=\prod_k(x-\omega^k). By the product rule,
f′(x)f(x)=∑k=0n−11x−ωk.\frac{f'(x)}{f(x)}=\sum_{k=0}^{n-1}\frac1{x-\omega^k}.
Since f′(x)=nxn−1f'(x)=nx^{n-1}, the identity follows.

2. Take x=2x=2:
∑k=0n−112−ωk=n 2n−12n−1.\sum_{k=0}^{n-1}\frac1{2-\omega^k}=\frac{n\,2^{n-1}}{2^n-1}.
For n=3n=3 this is 127≈1.714\frac{12}7\approx1.714.

3. The terms kk and n−kn-k have ωn−k=ω−k=ωk‾\omega^{n-k}=\omega^{-k}=\overline{\omega^k}. For z=ωk≠1z=\omega^k\ne1 with ∣z∣=1|z|=1,
11−z+11−1z=11−z+zz−1=1−z1−z=1.\frac1{1-z}+\frac1{1-\frac1z}=\frac1{1-z}+\frac z{z-1}=\frac{1-z}{1-z}=1.
So the terms k=1,…,n−1k=1,\dots,n-1 can be grouped into pairs {k,n−k}\{k,n-k\} each summing to 11. If nn is even, the term k=n2k=\frac n2 has ωk=−1\omega^k=-1 and equals 12\frac12, which is half of a "pair with itself". In all cases the total is n−12\frac{n-1}2. ■\blacksquare

Lesson. A logarithmic derivative turns a product over roots into a sum over roots; pairing zz with zˉ=1/z\bar z=1/z evaluates sums over the unit circle.