Cosine plus Cosine/Proof 2

From ProofWiki
Jump to navigation Jump to search

Theorem

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


Proof

\(\ds \) \(\) \(\ds 2 \map \cos {\frac {\alpha + \beta} 2} \map \cos {\frac {\alpha - \beta} 2}\)
\(\ds \) \(=\) \(\ds 2 \frac {\map \cos {\dfrac {\alpha + \beta} 2 - \dfrac {\alpha - \beta} 2} + \map \cos {\dfrac {\alpha + \beta} 2 + \dfrac {\alpha - \beta} 2} } 2\) Werner Formula for Cosine by Cosine
\(\ds \) \(=\) \(\ds \cos \frac {2 \beta} 2 + \cos \frac {2 \alpha} 2\)
\(\ds \) \(=\) \(\ds \cos \alpha + \cos \beta\)

$\blacksquare$