MathNet 2009-part-04 — 175 problems (EN–VI) Question 46

Let $x$ be a real number such that $\cos(2x) + \cos(3x) = 1$. Show that $2\sin(2x) + 2\sin(3x) = \sin(4x) + 2\sin(5x) + \sin(6x)$.