9. Power-reduction formula

Obtained by solving the second and third versions of the cosine double-angle formula.

and in general terms of powers of sin θ or cos θ the following is true, and can be deduced using De Moivre's formula, Euler's formula and the binomial theorem