证 sin2x * cos3x =(1/2) * [sin5x + sin(-x)]