Werner Formula for Sine by Sine/Examples/2 Sine 10 Sine 30

From ProofWiki
Jump to navigation Jump to search

Example of Use of Werner Formula for Sine by Sine

$2 \sin 10 \degrees \sin 30 \degrees = \cos 20 \degrees - \cos 40 \degrees$


Proof

\(\ds 2 \sin 10 \degrees \sin 30 \degrees\) \(=\) \(\ds \map \cos { {10 \degrees} - {30 \degrees} } - \map \cos { {10 \degrees} + {30 \degrees} }\) Werner Formula for Sine by Sine
\(\ds \) \(=\) \(\ds \map \cos {-20 \degrees} - \cos 40 \degrees\) evaluating
\(\ds \) \(=\) \(\ds \cos 20 \degrees - \cos 40 \degrees\) Cosine Function is Even

$\blacksquare$


Sources