y=sin3x*cos5x
を微分する問いで、
y=1/2(sin8x-sin2x)
と変形しているのですが、どうやったらこうなるのか教えてください。