sin(x+y)-sinx=2cos(x+1/2y)sin(1/2y)的详细证明步骤.