sin(x+dx)-sinx=2cos(x+dx/2) sin(dx/2)这一步请问怎么转换的啊?