Si $x$ es estrictamente considerado un número natural, entonces no es el uso de los números imaginarios en su derivación.
La fórmula de Euler establece que $e^{i\alpha} = \cos(\alpha) + i\sin(\alpha)$. Ahora, considere la posibilidad de $\alpha = \theta n$ para algún número natural n.
La función de $\Re(z)$ se define como la parte real de un número imaginario $z$, y por lo $\Re(a+ib) = a$.
A continuación,$\cos(\alpha) = \Re(\cos(\alpha) + i\sin(\alpha)) = \Re(e^{i\alpha}) = \Re((e^{i\theta})^n) = \Re([cos(\theta) + i\sin(\theta)]^n)$. Ahora, podemos usar el teorema del binomio para expandir $[\cos(\theta)+i\sin(\theta)]^n$, y luego aislar a las condiciones reales. Recuerde, $i^2 = -1$.
Para hacer las cosas más fácil, vamos a $u = \cos(\theta)$$\omega = \sin(\theta)$.
$(u+i\omega)^n = \sum_{k=0}^{n}\binom{n}{k}u^{n-k}(i\omega)^{k}$
$(u+i\omega)^n = u^n + nu^{n-1}(i\omega) - \binom{n}{2}u^{n-2}\omega^2 + \cdots + \binom{n}{n-1}u(i\omega)^{n-1} + (i\omega)^n$
Luego, el aislamiento de los términos reales, y la sustitución de los senos y cosenos de nuevo, obtenemos:
$$cos(\theta n) = \sum_{k=0}^{\lfloor \frac{n}{2} \rfloor}\binom{n}{2k} \cos^{n-2k}(\theta) \sin^{2k}(\theta)(-1)^k$$
Donde $\lfloor x\rfloor$ es la función del suelo de $x$, e $\binom{p}{r}$ es el coeficiente binomial $pCr$.