IMO 1963 - Official Contest Problems Question 5

(GDR) Prove that $\cos\frac\pi7-\cos\frac{2\pi}7+\cos\frac{3\pi}7=\frac12$.