Cosine of Integer Multiple of Argument/Formulation 9/Examples/Cosine of Sextuple Angle

From ProofWiki
Jump to navigation Jump to search

Example of Use of Cosine of Integer Multiple of Argument/Formulation 9

$\map \cos {6 \theta } = \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2\sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2\sin \theta + \cfrac 1 {\sin \theta } } } }} }$


Proof

Follows directly from the Cosine of Integer Multiple of Argument: Formulation 9:

Explicit derivation illustrated below:

\(\ds \map \cos {6 \theta}\) \(=\) \(\ds -2 \sin \theta \map \sin {5 \theta} + \map \cos {4 \theta}\) Cosine of Integer Multiple of Argument: Formulation 6
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \frac {\map \cos {4 \theta} } {\map \sin {5 \theta} } }\) Factor out $\map \sin {4 \theta}$
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {\cfrac {\map \sin {5 \theta} } {\map \cos {4 \theta} } } }\)
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {\cfrac {\paren {2 \sin \theta } \map \cos {4 \theta} + \map \sin {3 \theta} } {\map \cos {4 \theta} } } }\) Sine of Integer Multiple of Argument: Formulation 6
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac {\map \sin {3 \theta} } {\map \cos {4 \theta} } } }\)
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {\cfrac {\map \cos {4 \theta} } {\map \sin {3 \theta} } } } }\)
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {\cfrac {\paren {-2 \sin \theta } \map \sin {3 \theta} + \map \cos {2 \theta} } {\map \sin {3 \theta} } } } }\) Cosine of Integer Multiple of Argument: Formulation 6
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac {\map \cos {2 \theta} } {\map \sin {3 \theta} } } } }\)
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac 1 {\cfrac {\map \sin {3 \theta} } {\map \cos {2 \theta} } } } } }\)
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac 1 {\cfrac {\paren {2 \sin \theta } \map \cos {2 \theta} + \sin \theta } {\map \cos {2 \theta} } } } } }\) Sine of Integer Multiple of Argument: Formulation 6
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac {\map \sin {\theta} } {\map \cos {2 \theta} } } } } }\)
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 { \cfrac {\map \cos {2 \theta} } {\map \sin {\theta} } } } } } }\)
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 { \cfrac {\paren {-2 \sin \theta } \sin \theta + \cos 0} {\sin \theta} } } } } }\) Cosine of Integer Multiple of Argument: Formulation 6
\(\ds \) \(=\) \(\ds \map \sin {5 \theta} \paren { -2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac 1 {2 \sin \theta + \cfrac 1 {-2 \sin \theta + \cfrac 1 {\sin \theta} } } } } }\)

$\blacksquare$