Maths WorkshopMaths problems with full solutions
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 cos⁡π7−cos⁡2π7+cos⁡3π7=12\cos\dfrac\pi7-\cos\dfrac{2\pi}7+\cos\dfrac{3\pi}7=\dfrac12.

Hint

Since −cos⁡2π7=cos⁡5π7-\cos\frac{2\pi}7=\cos\frac{5\pi}7, the sum is cos⁡π7+cos⁡3π7+cos⁡5π7\cos\frac\pi7+\cos\frac{3\pi}7+\cos\frac{5\pi}7. Multiply by 2sin⁡π72\sin\frac\pi7 and use 2sin⁡acos⁡((2k−1)a)=sin⁡(2ka)−sin⁡((2k−2)a)2\sin a\cos\bigl((2k-1)a\bigr)=\sin(2ka)-\sin\bigl((2k-2)a\bigr).

Show solutionHide solution

Solution

Rewriting. −cos⁡2π7=cos⁡5π7-\cos\frac{2\pi}7=\cos\frac{5\pi}7. So the sum is
S=cos⁡a+cos⁡3a+cos⁡5a,a=π7.S=\cos a+\cos3a+\cos5a,\qquad a=\frac\pi7.

Multiplying by 2sin⁡a2\sin a. For each kk, 2sin⁡acos⁡((2k−1)a)=sin⁡(2ka)−sin⁡((2k−2)a)2\sin a\cos\bigl((2k-1)a\bigr)=\sin(2ka)-\sin\bigl((2k-2)a\bigr). Summing for k=1,2,3k=1,2,3 the right side telescopes:
2sin⁡a⋅S=sin⁡6a−sin⁡0=sin⁡6π7=sin⁡π7.2\sin a\cdot S=\sin6a-\sin0=\sin\frac{6\pi}7=\sin\frac\pi7.

Conclusion. Since sin⁡π7≠0\sin\frac\pi7\ne0, we get S=12S=\frac12.

Check. Numerically 0.90097−0.62349+0.22252=0.50000.90097-0.62349+0.22252=0.5000 ✓.

Lesson. A sum of cosines of an arithmetic progression of angles is tamed by multiplying by 2sin⁡2\sin of half the common difference.