Example 26 Prove that cos 2x cos x/2 – cos 3x cos 9x/2 = sin 5x sin 5x/2.