Cosine of Integer Multiple of Argument/Formulation 8

Theorem
For $n \in \Z_{>1}$:


 * $\cos n \theta = \map \cos {\paren {n - 1 } \theta} \paren { a_0 - \cfrac 1 {a_1 - \cfrac 1 {a_2 - \cfrac 1 {\ddots \cfrac {} {a_{n-2} - \cfrac 1 {a_{n-1}}} }}} }$

where $a_0 = a_1 = a_2 = \ldots = a_{n-2} = 2 \cos \theta$ and
 * A terminal $a_{n-1} = \cos \theta$ term.

Proof
By comparing Line 2 to Line 5, we see that:

Therefore, when we reach the $n - 1$ term $\paren { a_{n-2} }$

Therefore:

For $n \in \Z_{>1}$:


 * $\cos n \theta = \map \cos {\paren {n - 1 } \theta} \paren { a_0 - \cfrac 1 {a_1 - \cfrac 1 {a_2 - \cfrac 1 {\ddots \cfrac {} {a_{n-2} - \cfrac 1 {a_{n-1}}} }}} }$

where $a_0 = a_1 = a_2 = \ldots = a_{n-2} = 2 \cos \theta$ and
 * A terminal $a_{n-1} = \cos \theta$ term.