Cosine of x minus Sine of x

From ProofWiki
Jump to navigation Jump to search

Theorem

Sine Form

$\cos x - \sin x = \sqrt 2 \, \map \sin {x + \dfrac {3 \pi} 4}$


Cosine Form

$\cos x - \sin x = \sqrt 2 \, \map \cos {x + \dfrac \pi 4}$


Also see