Why do the trig addition formulae work?

Try differentiating:sin(x)cos(z-x)+cos(x)sin(z-x)with respect to x and for constant z, then simply the derivative you deduce, then integrate throughout the simplified equation. See what happens!