IMO 1963 - Các bài toán thi chính thức Câu hỏi 5

(GDR) Chứng minh rằng $\cos\frac\pi7-\cos\frac{2\pi}7+\cos\frac{3\pi}7=\frac12$.