LHS=(cos5x+cos4x)(1–2cos3x)
=2cos(9x/2)cos(x/2)(1–2cos3x)
Above and below multiple by cos(3x/2)
=(2cos9x/2cosx/2cos3x/2)(cos3x/2−2cos3xcos3x/2)
=(2cos9x/2cosx/2cos3x/2)(cos3x/2−cos9x/2−2cos3x/2)
=(2cos9x/2cosx/2cos3x/2)(−cos9x/2)
=−2cos(3x/2)cos(x/2)
=−(cos2x+cosx)RHS.