# trigonometric formulas from de Moivre identity

 $\displaystyle(\cos\varphi+i\sin\varphi)^{n}\,=\,\cos{n\varphi}+i\sin{n\varphi}% \qquad(n\in\mathbb{Z})$ (1)

implies simply some important trigonometric formulas, the derivation of which without imaginary numbers would require much longer calculations.

When one expands the left hand side of (1) using the binomial theorem ($n>0$), the sum of the real terms (the real part) must be $\cos{n\varphi}$ and the sum of the imaginary terms (cf. the imaginary part) must equal $i\sin{n\varphi}$.  Thus both $\cos{n\varphi}$ and $\sin{n\varphi}$ has been expressed as polynomials of $\sin\varphi$ and $\cos\varphi$ with integer coefficients.

For example, if  $n=5$,  we have

 $(\cos\varphi+i\sin\varphi)^{5}\;=\;\cos^{5}\varphi+5i\cos^{4}\varphi\sin% \varphi-10\cos^{3}\varphi\sin^{2}\varphi-10i\cos^{2}\varphi\sin^{3}\varphi+5% \cos\varphi\sin^{4}\varphi+i\sin^{5}\varphi,$

whence

 $\cos{5\varphi}\;=\;\cos^{5}\varphi-10\cos^{3}\varphi\sin^{2}\varphi+5\cos% \varphi\sin^{4}\varphi,$
 $\sin{5\varphi}\;=\;5\cos^{4}\varphi\sin\varphi-10\cos^{2}\varphi\sin^{3}% \varphi+\sin^{5}\varphi.$

By the “fundamental formula”  $\sin^{2}\varphi+\cos^{2}\varphi=1$  of trigonometry, the even powers on the right hand sides may be expressed with the other function; therefore we obtain

 $\displaystyle\cos{5\varphi}\;=\;16\cos^{5}\varphi-20\cos^{3}\varphi+5\cos\varphi,$ (2)
 $\displaystyle\sin{5\varphi}\;=\;16\sin^{5}\varphi-20\sin^{3}\varphi+5\sin\varphi.$ (3)

## 0.1 Linearisation formulas

There are also inverse formulas where one expresses the integer powers $\cos^{m}\varphi$ and $\sin^{n}\varphi$ and their products as the polynomials with rational coefficients of either $\cos\varphi$, $\cos 2\varphi$, …  or $\sin\varphi$, $\sin 2\varphi$, …,  depending on whether it is a question of an even (http://planetmath.org/EvenFunction) or an odd function of $\varphi$.  We will derive the transformation formulas.

If we denote

 $\cos\varphi+i\sin\varphi\;:=\;t,$

then the complex conjugate of $t$ is the same as its inverse number:

 $\cos\varphi-i\sin\varphi\;=\;\frac{1}{t}.$

By adding and subtracting, these equations yield

 $\displaystyle\cos\varphi\;=\;\frac{1}{2}\left(t+\frac{1}{t}\right),\quad\sin% \varphi\;=\;\frac{1}{2i}\left(t-\frac{1}{t}\right).$ (4)

Similarly, the equations

 $(\cos\varphi+i\sin\varphi)^{\pm n}\,=\,\cos(\pm n\varphi)+i\sin(\pm n\varphi)$

yield

 $\displaystyle\cos{n\varphi}\;=\;\frac{1}{2}\left(t^{n}+\frac{1}{t^{n}}\right),% \quad\sin{n\varphi}\;=\;\frac{1}{2i}\left(t^{n}-\frac{1}{t^{n}}\right).$ (5)

for any integer $n$.  The linearisation formulas are obtained by expanding first the expression to be linearised with the equations (4) and then simplifying the result with the equations (5).

Example 1.

 $\displaystyle\cos^{4}\varphi$ $\displaystyle\;=\;\left(\frac{1}{2}\left(t+\frac{1}{t}\right)\right)^{4}$ $\displaystyle\;=\;\frac{1}{16}\left(t^{4}+4t^{2}+6+\frac{4}{t^{2}}+\frac{1}{t^% {4}}\right)$ $\displaystyle\;=\;\frac{1}{16}\left(t^{4}+\frac{1}{t^{4}}\right)+\frac{1}{4}% \left(t^{2}+\frac{1}{t^{2}}\right)+\frac{3}{8}$ $\displaystyle\;=\;\frac{1}{8}\cos 4\varphi+\frac{1}{2}\cos 2\varphi+\frac{3}{8}$

Example 2.

 $\displaystyle\cos^{4}\varphi\sin^{3}\varphi$ $\displaystyle\;=\;\frac{1}{16}\left(t+\frac{1}{t}\right)^{4}\frac{-1}{8i}\left% (t-\frac{1}{t}\right)^{3}$ $\displaystyle\;=\;-\frac{1}{128i}\left(t^{2}-\frac{1}{t^{2}}\right)^{3}\left(t% +\frac{1}{t}\right)$ $\displaystyle\;=\;-\frac{1}{128i}\left(t^{6}-3t^{2}+\frac{3}{t^{2}}-\frac{1}{t% ^{6}}\right)\left(t+\frac{1}{t}\right)$ $\displaystyle\;=\;-\frac{1}{128i}\left(t^{7}-3t^{3}+\frac{3}{t}-\frac{1}{t^{5}% }-3t+\frac{3}{t^{3}}-\frac{1}{t^{7}}\right)$ $\displaystyle\;=\;-\frac{1}{128i}\left(\left(t^{7}-\frac{1}{t^{7}}\right)+% \left(t^{5}-\frac{1}{t^{5}}\right)-3\left(t^{3}-\frac{1}{t^{3}}\right)-3\left(% t-\frac{1}{t}\right)\right)$ $\displaystyle\;=\;-\frac{1}{64}\sin 7\varphi-\frac{1}{64}\sin 5\varphi+\frac{3% }{64}\sin 3\varphi+\frac{3}{64}\sin\varphi$
Title trigonometric formulas from de Moivre identity TrigonometricFormulasFromDeMoivreIdentity 2013-03-22 18:51:16 2013-03-22 18:51:16 pahio (2872) pahio (2872) 16 pahio (2872) Derivation msc 30D05 msc 30A99 TrigonometricFormulasFromSeries ReductionFormulas GoniometricFormulae