limx0_>0 [ sin(x+x0)-sinx]/x0=limx0_>0[sinxcosxo+cosxsinx0-sinx]/x0=limx0_>0[sinx(cosx0-1)]+limx0_>0cosxsinxo/xo=0+cosx=cosx