Prosthaphaeresis Formulas/Cosine plus Cosine

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}$

where $\cos$ denotes cosine.


Proof 1

\(\text {(1)}: \quad\) \(\ds \map \cos {A + B}\) \(=\) \(\ds \cos A \cos B - \sin A \sin B\) Cosine of Sum
\(\text {(2)}: \quad\) \(\ds \map \cos {A - B}\) \(=\) \(\ds \cos A \cos B + \sin A \sin B\) Cosine of Difference
\(\ds \leadsto \ \ \) \(\ds \map \cos {A + B} + \map \cos {A - B}\) \(=\) \(\ds 2 \cos A \cos B\) adding $(1)$ and $(2)$
\(\ds \leadsto \ \ \) \(\ds \cos \alpha + \cos \beta\) \(=\) \(\ds 2 \map \cos {\dfrac {\alpha + \beta} 2} \map \cos {\dfrac {\alpha - \beta} 2}\) setting $A + B = \alpha$ and $A - B = \beta$

$\blacksquare$


Proof 2

\(\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$


Examples

$\cos 30 \degrees$ plus $\cos 70 \degrees$

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


Also known as

The Prosthaphaeresis Formulas are also known as:


Also see


Linguistic Note

The word prosthaphaeresis or prosthapheiresis is a neologism coined some time in the $16$th century from the two Greek words:

prosthesis, meaning addition
aphaeresis or apheiresis, meaning subtraction.

With the advent of machines to aid the process of arithmetic, this word now has only historical significance.

Ian Stewart, in his Taming the Infinite from $2008$, accurately and somewhat diplomatically describes the word as "ungainly".


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Prosthaphaeresis_Formulas/Cosine_plus_Cosine&oldid=636453"