trigonometric formulas from de Moivre identity

De Moivre identity

${(\cos \phi +i\sin \phi )}^n=\cos n\phi +i\sin n\phi \mathit{\hspace{1em}\hspace{1em}}(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\phi$ and the sum of the imaginary terms (cf. the imaginary part) must equal $i\sin n\phi$.  Thus both $\cos n\phi$ and $\sin n\phi$ has been expressed as polynomials of $\sin \phi$ and $\cos \phi$ with integer coefficients.

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

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

whence

$$\cos 5\phi ={\cos }^5\phi -10{\cos }^3\phi {\sin }^2\phi +5\cos \phi {\sin }^4\phi ,$$

$$\sin 5\phi =\mathrm{\hspace{0.33em}5}{\cos }^4\phi \sin \phi -10{\cos }^2\phi {\sin }^3\phi +{\sin }^5\phi .$$

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

$\cos 5\phi =\mathrm{\hspace{0.33em}16}{\cos }^5\phi -20{\cos }^3\phi +5\cos \phi ,$ (2)

$\sin 5\phi =\mathrm{\hspace{0.33em}16}{\sin }^5\phi -20{\sin }^3\phi +5\sin \phi .$ (3)

0.1 Linearisation formulas

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

If we denote

$$\cos \phi +i\sin \phi :=t,$$

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

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

By adding and subtracting, these equations yield

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

Similarly, the equations

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

yield

$\cos n\phi ={\displaystyle \frac{1}{2}}\left(t^n+{\displaystyle \frac{1}{t^n}}\right),\sin n\phi ={\displaystyle \frac{1}{2i}}\left(t^n-{\displaystyle \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.

${\cos }^4\phi$ $\mathrm{\hspace{0.33em}}={\left({\displaystyle \frac{1}{2}}\left(t+{\displaystyle \frac{1}{t}}\right)\right)}^4$

$\mathrm{\hspace{0.33em}}={\displaystyle \frac{1}{16}}\left(t^4+4t^2+6+{\displaystyle \frac{4}{t^2}}+{\displaystyle \frac{1}{t^4}}\right)$

$\mathrm{\hspace{0.33em}}={\displaystyle \frac{1}{16}}\left(t^4+{\displaystyle \frac{1}{t^4}}\right)+{\displaystyle \frac{1}{4}}\left(t^2+{\displaystyle \frac{1}{t^2}}\right)+{\displaystyle \frac{3}{8}}$

$\mathrm{\hspace{0.33em}}={\displaystyle \frac{1}{8}}\cos 4\phi +{\displaystyle \frac{1}{2}}\cos 2\phi +{\displaystyle \frac{3}{8}}$

Example 2.

${\cos }^4\phi {\sin }^3\phi$ $\mathrm{\hspace{0.33em}}={\displaystyle \frac{1}{16}}{\left(t+{\displaystyle \frac{1}{t}}\right)}^4{\displaystyle \frac{-1}{8i}}{\left(t-{\displaystyle \frac{1}{t}}\right)}^3$

$\mathrm{\hspace{0.33em}}=-{\displaystyle \frac{1}{128i}}{\left(t^2-{\displaystyle \frac{1}{t^2}}\right)}^3\left(t+{\displaystyle \frac{1}{t}}\right)$

$\mathrm{\hspace{0.33em}}=-{\displaystyle \frac{1}{128i}}\left(t^6-3t^2+{\displaystyle \frac{3}{t^2}}-{\displaystyle \frac{1}{t^6}}\right)\left(t+{\displaystyle \frac{1}{t}}\right)$

$\mathrm{\hspace{0.33em}}=-{\displaystyle \frac{1}{128i}}\left(t^7-3t^3+{\displaystyle \frac{3}{t}}-{\displaystyle \frac{1}{t^5}}-3t+{\displaystyle \frac{3}{t^3}}-{\displaystyle \frac{1}{t^7}}\right)$

$\mathrm{\hspace{0.33em}}=-{\displaystyle \frac{1}{128i}}\left(\left(t^7-{\displaystyle \frac{1}{t^7}}\right)+\left(t^5-{\displaystyle \frac{1}{t^5}}\right)-3\left(t^3-{\displaystyle \frac{1}{t^3}}\right)-3\left(t-{\displaystyle \frac{1}{t}}\right)\right)$

$\mathrm{\hspace{0.33em}}=-{\displaystyle \frac{1}{64}}\sin 7\phi -{\displaystyle \frac{1}{64}}\sin 5\phi +{\displaystyle \frac{3}{64}}\sin 3\phi +{\displaystyle \frac{3}{64}}\sin \phi$

Title	trigonometric formulas from de Moivre identity
Canonical name	TrigonometricFormulasFromDeMoivreIdentity
Date of creation	2013-03-22 18:51:16
Last modified on	2013-03-22 18:51:16
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	16
Author	pahio (2872)
Entry type	Derivation
Classification	msc 30D05
Classification	msc 30A99
Related topic	TrigonometricFormulasFromSeries
Related topic	ReductionFormulas
Related topic	GoniometricFormulae