If you have sines and cosines of some fundamental frequency, and you’re able to take products and sums, then you can construct sines and cosines at any multiple of the fundamental frequency.

Here’s a proof.

Taking real parts gives us cos *n*θ in the first equation and the even terms of the sum in the last equation.

Taking imaginary parts gives us sin *n*θ in the first equation and the odd terms of the sum in the last equation.

.. and, revisiting an earlier post of yours a bit, if you take the real part of both sides and note the sine terms are to an even power (which can be easily re-written in terms of cosine without square roots), you’ll notice cos n\theta is a polynomial function of cos \theta. Presto! An expression for Chebyshev polynomials (of the first kind). You can also get the Chebyshev polynomials of the second kind from the imaginary part of the expression, but it’s not quite as pretty.