Cosine addition formula (source code)

= Cosine addition formula
{title2=$\cos(x+y)=\cos x\cos y-\sin x\sin y$}