Problem

Source: Romania National Olympiad 1996

Tags: trigonometry, invariant, algebra solved, algebra, indentity



Prove that $ \forall x\in \mathbb{R} $ , $ \cos ^7x+\cos ^7(x+\frac {2\pi}{3})+\cos ^7(x+\frac {4\pi}{3})=\frac {63}{64}\cos 3x $