Use the general formula for the sine function with the difference of arguments sin(a-b) = sin(a)*cos(b) - cos(a)*sin(b). Take a = , b = . You will get = - = 0*cos(x) - 1*sin(x) = 0 - sin(x) = -sin(x). QED