Below is a proof of the angle addition formula for Sin(x+y) (the proof given is when x and y are acute angles).