Werner Formulas/Cosine by Cosine

From ProofWiki
Jump to navigation Jump to search

Theorem

$\cos \alpha \cos \beta = \dfrac {\map \cos {\alpha - \beta} + \map \cos {\alpha + \beta} } 2$

where $\cos$ denotes cosine.


Proof

\(\ds \) \(\) \(\ds \frac {\map \cos {\alpha - \beta} + \map \cos {\alpha + \beta} } 2\)
\(\ds \) \(=\) \(\ds \frac {\paren {\cos \alpha \cos \beta + \sin \alpha \sin \beta} + \paren {\cos \alpha \cos \beta - \sin \alpha \sin \beta} } 2\) Cosine of Difference and Cosine of Sum
\(\ds \) \(=\) \(\ds \frac {2 \cos \alpha \cos \beta} 2\)
\(\ds \) \(=\) \(\ds \cos \alpha \cos \beta\)

$\blacksquare$


Also presented as

The Werner Formula for Cosine by Cosine can also be seen in the form:

$2 \cos \alpha \cos \beta = \map \cos {\alpha - \beta} + \map \cos {\alpha + \beta}$


Examples

Example: $2 \cos 20 \degrees \cos 50 \degrees$

$2 \cos 20 \degrees \cos 50 \degrees = \cos 30 \degrees + \cos 70 \degrees$


Also see


Sources