Skip to main content
K12 LibreTexts

5.3.11: DeMoivre's Theorem

  • Page ID
    14911
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Simplify the calculation of powers of complex numbers.

    Powers and Roots of Complex Numbers

    Manually calculating (simplifying) a statement such as: \((14−17i)^5\) or \(\sqrt[4]{(3−2i)}\) in present (rectangular) form would be a very intensive process at best.

    Fortunately you will learn in this lesson that there is an alternative: De Moivre's theorem. De Moivre's theorem is really the only practical method for finding the powers or roots of a complex number, but there is a catch...

    What must be done to a complex number before De Moivre's theorem can be utilized?

    Powers and Roots of Complex Numbers

    Powers of Complex Numbers

    How do we raise a complex number to a power? Let’s start with an example:

    \((−4−4i)^3=(−4−4i)\cdot (−4−4i)\cdot (−4−4i)\)

    In rectangular form, this can get very complex. What about in \(r \; cis \; \theta\) form?

    \((−4−4i)=4\sqrt{2} \; cis \; \left(\dfrac{5 \pi}{4}\right)\)

    So the problem becomes

    \(4\sqrt{2} \; cis \;\left(\dfrac{5 \pi}{4}\right)\cdot 4\sqrt{2} \; cis \;\left(\dfrac{5\pi}{4}\right)\cdot 4\sqrt{2} \; cis \;\left(\dfrac{5 \pi}{4}\right)\)

    and using our multiplication rule from the previous section,

    \((−4−4i)^3=(4\sqrt{2} )^3 \; cis \;(\dfrac{15\pi}{4})\)

    Notice, \((a + bi)^3= r^3 \; cis \; 3 \theta\)

    In words: Raise the r-value to the same degree as the complex number is raised and then multiply that by \(\; cis \;\) of the angle multiplied by the number of the degree.

    Reflecting on the example above, we can identify De Moivre's Theorem:

    Let \(z = r(\cos \theta + i \sin \theta )\) be a complex number in \(r\; cis \;\theta\) form. If n is a positive integer, \(z^n\) is \(z^n = r (\cos (n\theta ) + i \sin (n\theta ))\)

    It should be clear that the polar form provides a much faster result for raising a complex number to a power than doing the problem in rectangular form.

    Roots of Complex Numbers

    You probably noticed long ago that when an new operation is presented in mathematics, the inverse operation often follows. That is generally because the inverse operation is often procedurally similar, and it makes good sense to learn both at the same time.

    This is no exception:

    The inverse operation of finding a power for a number is to find a root of the same number.

    1. Recall from algebra that any root can be written as \(x^{1/n}\)
    2. Given that the formula for De Moivre’s theorem also works for fractional powers, the same formula can be used for finding roots:

    \(z ^{1/n}=(a+bi)^{1/n}=r^{1/n} \; cis \;\left(\dfrac{\theta }{n}\right)\)

    Example \(\PageIndex{1}\)

    Earlier, you were asked what should be done to a complex number before you can use De Moivre's theorem on it.

    Solution

    A complex number operation written in rectangular form, such as: \((13−4i)^3\) must be converted to polar form before utilizing De Moivre's theorem.

    Example \(\PageIndex{2}\)

    Find the value of \((1+\sqrt{3} i)^4\).

    Solution

    \(r=\sqrt{(1)^2+(\sqrt{3} )^2}=2\)

    \(\tan \theta_{ref} =\dfrac{\sqrt{3} }{1}\),

    and \(\theta \) is in the 1st quadrant, so

    \(\theta =\dfrac{\pi}{3}\)

    Using our equation from above:

    \(\begin{aligned} z^4 &=r^4 \; cis \; 4\theta \\ z^4 &=(2)^4 \; cis \; \dfrac{4 \pi}{3} \end{aligned}\)

    Expanding \(\; cis \;\) form:

    \(\begin{aligned} z^4 &=16\left(\cos \left(\dfrac{4 \pi}{3}\right)+i \sin \left(\dfrac{4 \pi}{3}\right)\right) \\ &= 16((−0.5)−0.866i)\end{aligned}\)

    Finally we have

    \(z^4 = -8 - 13.856i\)

    Example \(\PageIndex{3}\)

    Find \(\sqrt{1+i}\).

    Solution

    First, rewriting in exponential form: \((1 + i)^{1/2}\)

    And now in polar form:

    \(\sqrt{1+i}=\left(\sqrt{2} \; cis \; \left(\dfrac{\pi}{4}\right)\right)^{1/2}\)

    Expanding \(\; cis \;\) form,

    \(=\left(\sqrt{2} \left(\cos \left(\dfrac{\pi}{4}\right)+i \sin \left(\dfrac{\pi}{4}\right)\right)\right)^{1/2}\)

    Using the formula:

    \(\begin{aligned}&=(2^{1/2})^{1/2}\left(\cos \left(\dfrac{1}{2} \cdot \dfrac{\pi }{4}\right)+i \sin \left(\dfrac{1}{2}\cdot \dfrac{\pi }{4}\right)\right) \\ &=2^{1/4}\left(\cos \left(\dfrac{\pi}{8} \right)+i \sin \left(\dfrac{\pi}{8} \right)\right)\end{aligned}\)

    In decimal form, we get

    \(\begin{aligned} &=1.189( 0.924 + 0.383i) \\ &=1.099 + 0.455i\end{aligned}\)

    To check, we will multiply the result by itself in rectangular form:

    \(\begin{aligned} (1.099+0.455i) \cdot (1.099+0.455i) &=1.0992+1.099(0.455i)+1.099(0.455i) + (0.455i)^2 \\ &=1.208+0.500i+0.500i+0.208i^2 \\ &=1.208+i−0.208 \text{ or } \\ &=1+i \end{aligned}\)

    Example \(\PageIndex{4}\)

    Find the value of \(x\): \(x_3=(1−\sqrt{3} i)\).

    Solution

    First we put \(1−\sqrt{3} i\) in polar form.

    Use \(x=1\), \(y=−\sqrt{3} \) to obtain \(r=2\), \(\theta =5\dfrac{\pi}{3}\)

    \(\begin{aligned} \text{let } z&=(1−\sqrt{3} i) && \text{in rectangular form} \\ z&=2 \; cis \; \left(5\dfrac{\pi}{3}\right) && \text{in polar form }\\ x&=(1−\sqrt{3} i)^{1/3} \\ x&=\left[2\; cis \; \left(\dfrac{5\pi}{3}\right)\right]^{1/3}\end{aligned}\)

    Use De Moivre’s theorem to find the first solution:

    \(x_1=2^{1/3}\; cis \; \left(\dfrac{5\pi /3}{3}\right)\) or \(2^{1/3}\; cis \;\left(\dfrac{5 \pi}{9}\right)\)

    Leave answer in \(\; cis \;\) form to find the remaining solutions:

    \(n = 3\) which means that the 3 solutions are \(\dfrac{2 \pi}{3}\) radians apart or

    \(x_2=2^{1/3}\; cis \; \left(\dfrac{5 \pi}{9}+\dfrac{2 \pi}{3}\right)\) and \(x_3=2^{1/3}\; cis \; \left(\dfrac{5 \pi}{9}+\dfrac{2 \pi}{3}+\dfrac{2 \pi}{3}\right)\)

    NOTE: It is not necessary to add \(\dfrac{2 \pi}{3}\) again. Adding \(\dfrac{2 \pi}{3}\) three times equals \(2\pi \). That would result in rotating around a full circle and to start where it all began- that is the first solution.

    The three solutions are:

    \(\begin{aligned} x_1&=2^{1/3}\; cis \;\left(\dfrac{5 \pi}{9}\right) \\ x_2&=2^{1/3}\; cis \; \left(\dfrac{11 \pi}{9}\right) \\ x_3&=2^{1/3}\; cis \; \left(\dfrac{17\pi}{ 9}\right) \end{aligned}\)

    Each of these solutions, when graphed will be \(\dfrac{2 \pi}{3}\) apart.

    f-d_2cda8a19e936092ec97cbc5279acd0ea1730d9c385302a0a1da72aef+IMAGE_TINY+IMAGE_TINY.jpg
    Figure \(\PageIndex{1}\)

    Check any one of these solutions to see if the results are confirmed.

    Checking the second solution:

    \(\begin{aligned} x_2&=2^{1/3}\; cis \;(\dfrac{11 \pi}{9}) \\ &=1.260\left[\cos \left(\dfrac{11 \pi}{9}\right)+i \sin \left(\dfrac{11 \pi}{9}\right) \right] \\&=1.260[−0.766−0.643i] \\ &=−0.965−0.810i \end{aligned}\)

    Does \((-0.965 – 0.810i)^3\) or \((-0.965 – 0.810i) (-0.965 – 0.810i) (-0.965 – 0.810i)\)

    \(=(1−\sqrt{3} i)\)?

    Example \(\PageIndex{5}\)

    What are the two square roots of \(i\)?

    Solution

    Let \(z=\sqrt{0+i}\).

    \(\begin{aligned} z_1 &=\left[1\times \; cis \;\dfrac{\pi}{4}\right] &\quad \text{ or } \quad& z_2=\left[1\times \; cis \;5\dfrac{\pi}{4}\right] \\ z_1 &=1\left(\cos \dfrac{\pi}{4}+i \sin \dfrac{\pi}{4}\right) &\quad \text{ or } \quad& z_2=1\left(\cos 5\dfrac{\pi}{4}+i \sin 5\dfrac{\pi}{4}\right) \\ z_1 &=0.707+0.707i &\quad \text{or } \quad& z_2=−0.707−0.707i \end{aligned}\)

    Check for \(z_1 \) solution: \((0.707 + 0.707i)^2 = i\)?

    \(0.500 + 0.500i + 0.500i + 0.500i^2= 0.500 + i + 0.500(-1)\) or \(i\)

    Example \(\PageIndex{6}\)

    Calculate \(\sqrt[4]{(1+0i)}\). What are the four fourth roots of 1?

    Solution

    Let \(z = 1\) or \(z = 1 + 0i\). Then the problem becomes find \(z^{1/4}= (1 + 0i)^{1/4}\).

    Since \(r=1 \theta =0\), \(z^{1/4}=[1\times \; cis \; 0]^{1/4}\) with \(z_1 =1^{1/4} \left(\cos \dfrac{0}{4}+i \sin \dfrac{0}{4}\right)\) or \(1(1+0)\) or \(1\)

    That root is not a surprise. Now use De Moivre’s to find the other roots:

    \(z_2=1^{1/4} \left[\cos \left(0+\dfrac{\pi}{2} \right)+i \sin \left(0+\dfrac{\pi}{2} \right) \right] \)

    Since there are 4 roots, dividing \(2\pi\) by 4 yields \(0.5\pi\)

    or \(0 + i\) or just \(i\) \(z_3=1^{1/4}\left[\cos \left(0+\dfrac{2 \pi}{2} \right)+i \sin \left(0+\dfrac{2 \pi}{2} \right) \right]\) which yields \(z_3 = -1\)

    Finally, \(z_4=1^{1/4} \left[\cos \left(0+\dfrac{3 \pi}{2} \right)+i \sin \left(0+\dfrac{3 \pi}{2} \right)\right]\) or z_4 =−i

    The four fourth roots of 1 are 1, i, -1 and -i.

    Example \(\PageIndex{7}\)

    Calculate \((\sqrt{3} +i)^7\).

    Solution

    To calculate \((\sqrt{3} +i)^7\) start by converting to \(r\; cis \; \) form.

    First, find \(r\). Recall \(r=\sqrt{\sqrt{3}^2 +1^2}\).

    \(\begin{aligned} r&=\sqrt{3+1} \\ r&=2 \end{aligned}\)

    If \(\cos \theta =\dfrac{\sqrt{3}}{2} \) and \(\sin \theta =\dfrac{1}{2}\) then \(\theta =30^{\circ}\) and is in quadrant I. Now that we have trigonometric form, the rest is easy:

    \(\begin{aligned} (\sqrt{3} +i)^7&=[2(\cos 30^{\circ}+i\sin 30^{\circ})]^7 && \text{Write the original problem in } r \; cis \; \text{form} \\ &=2^7[(\cos (7\cdot 30^{\circ})+i\sin (7\cdot 30^{\circ})] && \text{De Moivre's theorem}\\ &=128 \left[−\dfrac{\sqrt{3} }{2}+\dfrac{−1}{2} i \right] && \text{Simplify} \\ (\sqrt{3} +i)^7&=−64\sqrt{3} −64i &&\text{Simplify again} \\ \therefore (\sqrt{3} +i)^7&=−64\sqrt{3} −64i \end{aligned}\)

    Review

    Perform the indicated operation on these complex numbers:

    1. Divide: \(\dfrac{2+3i}{1−i}\)
    2. Multiply: \((−6−i)(−6+i)\)
    3. Multiply: \(\left(\dfrac{\sqrt{3}}{2}−\dfrac{1}{2} i\right)^2\)
    4. Find the product using polar form: \((2+2i)(\sqrt{3} −i)\)
    5. Multiply: \(2(\cos 40^{\circ} +i \sin 40^{\circ} )\cdot 4(\cos 20^{\circ} +i \sin 20^{\circ} )\)
    6. Multiply: \(2(\cos \dfrac{\pi}{8} +i \sin \dfrac{\pi}{8} )\cdot 2\left(\cos \dfrac{\pi}{10} +i \sin \dfrac{\pi}{10} \right)\)
    7. Divide: \(2(\cos 80^{\circ} +i \sin 80^{\circ} )\div 6(\cos 200^{\circ} +i \sin 200^{\circ} )\)
    8. Divide: \(3 \; cis \;(130^{\circ} )\div 4 \; cis \;(270^{\circ} )\)

    Use De Moivre’s theorem.

    1. \([3(\cos 80^{\circ} +i \sin 80^{\circ} )]^3\)
    2. \(\left[\sqrt{2} \left(\cos \dfrac{5\pi }{16}+i \sin \dfrac{5 \pi}{16} \right)\right]^4\)
    3. \((\sqrt{3} −i)^6\)
    4. Identify the 3 complex cube roots of \(1+i\)
    5. Identify the 4 complex fourth roots of \(−16i\)
    6. Identify the five complex fifth roots of \(i\)

    Review (Answers)

    To see the Review answers, open this PDF file and look for section 4.10.

    Vocabulary

    Term Definition
    complex number A complex number is the sum of a real number and an imaginary number, written in the form \(a+bi\).
    De Moivre's Theorem De Moivre's theorem is the only practical manual method for identifying the powers or roots of complex numbers. The theorem states that if \(z=r(\cos \theta +i\sin \theta )\) is a complex number in \(r\; cis \;\theta \) form and n is a positive integer, then \(z^n=r^n(\cos (n\theta )+i\sin (n\theta ))\).

    This page titled 5.3.11: DeMoivre's Theorem is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.

    CK-12 Foundation
    LICENSED UNDER
    CK-12 Foundation is licensed under CK-12 Curriculum Materials License
    • Was this article helpful?