sin(x+y)-sinx=2siny/2·cos(x+y/2)怎么来的