Prove that \cos 2x \cos \frac{x}{2} - \cos 3x \cos \frac{9x}{2} = \sin 5x \sin \frac{5x}{2}.