Respuesta :

sin 9x cos x - cos 9x sin x = sin(9x - x) = sin 8x