Example 26 - Prove cos 2x cos x/2 - cos 3x cos 9x/2 = sin 5x

Example 26 - Prove cos 2x cos x/2 - cos 3x cos 9x/2 = sin 5x