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 and .
1. Prove that for every complex that is not an -th root of unity,
2. Compute .
3. Prove that .
Hint
For part 1, . Differentiate the product and divide by the product. For part 3, pair with .
Show solutionHide solution
Solution
1. Let . By the product rule,
Since , the identity follows.
2. Take :
For this is .
3. The terms and have . For with ,
So the terms can be grouped into pairs each summing to . If is even, the term has and equals , which is half of a "pair with itself". In all cases the total is .
Lesson. A logarithmic derivative turns a product over roots into a sum over roots; pairing with evaluates sums over the unit circle.