Exercise 1226Algebra › Equations and radicalsOlympiadAdded 4 Nov 2026
cos(π/7) − cos(2π/7) + cos(3π/7) = 1/2
#trigonometry#telescoping#product-to-sum
Statement
Prove that .
Hint
Since , the sum is . Multiply by and use .
Show solutionHide solution
Solution
Rewriting. . So the sum is
Multiplying by . For each , . Summing for the right side telescopes:
Conclusion. Since , we get .
Check. Numerically ✓.
Lesson. A sum of cosines of an arithmetic progression of angles is tamed by multiplying by of half the common difference.