This post includes proofs of two angle addition identities.

$\sin(x+y) = \sin x \cos y + \sin y \cos x$

$\cos(x+y) = \cos x \cos y – \sin x \sin y$

References