Skip to main content
K12 LibreTexts

5.3.7: Equations Using DeMoivre's Theorem

  • Page ID
    14913
  • \( \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}\)

    Complex roots of an equation.

    You are given an equation in math class:

    \(x^4=16\)

    and asked to solve for "x". "Excellent!" you say. "This should be easy. The answer is 2."

    "Not quite so fast," says your instructor.

    "I want you to find the complex roots as well!"

    Equations Using De Moivre's Theorem

    We've already seen equations that we would like to solve. However, up until now, these equations have involved solutions that were real numbers. However, there is no reason that solutions need to be limited to the real number line. In fact, some equations cannot be solved completely without the use of complex numbers. Here we'll explore a little more about complex numbers as solutions to equations.

    The roots of a complex number are cyclic in nature. This means that when the roots are plotted on the complex plane, the nth roots are equally spaced on the circumference of a circle.

    Since you began Algebra, solving equations has been an extensive topic. Now we will extend the rules to include complex numbers. The easiest way to explore the process is to actually solve an equation. The solution can be obtained by using De Moivre’s Theorem.

    Using De Moivre's Theorem

    1. Consider the equation \(x^5−32=0\). The solution is the same as the solution of \(x^5=32\). In other words, we must determine the fifth roots of 32.

    \(\begin{aligned}
    x^{5}-32 &=0 \text { and } x^{5}=32 . \\
    r &=\sqrt{x^{2}+y^{2}} \\
    r &=\sqrt{(32)^{2}+(0)^{2}} \\
    r &=32 \\
    \theta &=\tan ^{-1}\left(\dfrac{0}{32}\right)=0
    \end{aligned}\)

    Write an expression for determining the fifth roots of 32=32+0i

    \(\begin{array}{rlr}
    32^{1/5} & =\left[32(\cos (0+2 \pi k)+i \sin (0+2 \pi k)]^{\dfrac{1}{5}}\right. & \\
    & =2\left(\cos \dfrac{2 \pi k}{5}+i \sin \dfrac{2 \pi k}{5}\right) k=0,1,2,3,4 & \\
    x_{1} & =2\left(\cos \dfrac{0}{5}+i \sin \dfrac{0}{5}\right) \rightarrow 2(\cos 0+i \sin 0)=2 & & \text { for } k=0 \\
    x_{2} & =2\left(\cos \dfrac{2 \pi}{5}+i \sin \dfrac{2 \pi}{5}\right) \approx 0.62+1.9 i & & \text { for } k=1 \\
    x_{3} & =2\left(\cos \dfrac{4 \pi}{5}+i \sin \dfrac{4 \pi}{5}\right) \approx-1.62+1.18 i & & \text { for } k=2 \\
    x_{4} & =2\left(\cos \dfrac{6 \pi}{5}+i \sin \dfrac{6 \pi}{5}\right) \approx-1.62-1.18 i & & \text { for } k=3 \\
    x_{5} & =2\left(\cos \dfrac{8 \pi}{5}+i \sin \dfrac{8 \pi}{5}\right) \approx 0.62-1.9 i & & \text { for } k=4
    \end{array}\)

    This is the same as the equation \(x^3=27\).

    \(\begin{aligned}
    x^{3}=27 & \\
    r &=\sqrt{x^{2}+y^{2}} \\
    r &=\sqrt{(27)^{2}+(0)^{2}} \\
    r &=27 \\
    \theta &=\tan ^{-1}\left(\dfrac{0}{27}\right)=0
    \end{aligned}\)

    Write an expression for determining the cube roots of \(27=27+0i\)

    \(\begin{aligned}
    27^{1/3} &=\left[27(\cos (0+2 \pi k)+i \sin (0+2 \pi k)\right]^{1/3}& \\
    &=3\left(\cos \dfrac{2 \pi k}{3}+i \sin \dfrac{2 \pi k}{3}\right) k=0,1,2 & \\
    x_{1} &=3\left(\cos \dfrac{0}{3}+i \sin \dfrac{0}{3}\right) \rightarrow 3(\cos 0+i \sin 0)=3 & \text { for } k=0 \\
    x_{2} &=3\left(\cos \dfrac{2 \pi}{3}+i \sin \dfrac{2 \pi}{3}\right) \approx-1.5+2.6 i & \text { for } k=1 \\
    x_{3} &=3\left(\cos \dfrac{4 \pi}{3}+i \sin \dfrac{4 \pi}{3}\right) \approx-1.5-2.6 i & \text { for } k=2
    \end{aligned}\)

    3. Solve the equation \(x^4=1\)

    \(\begin{array}{l}
    x^{4}=1 \\
    r=\sqrt{x^{2}+y^{2}} \\
    r=\sqrt{(1)^{2}+(0)^{2}} \\
    r=1 \\
    \theta=\tan ^{-1}\left(\dfrac{0}{1}\right)=0
    \end{array}\)

    Write an expression for determining the cube roots of \(1=1+0i\)

    \(\begin{aligned}
    1^{1/4} &=\left[1(\cos (0+2 \pi k)+i \sin (0+2 \pi k)\right]^{1/4}& \\
    &=1\left(\cos \dfrac{2 \pi k}{4}+i \sin \dfrac{2 \pi k}{4}\right) k=0,1,2,3 & \\
    x_{1} &=1\left(\cos \dfrac{0}{4}+i \sin \dfrac{0}{4}\right) \rightarrow 3(\cos 0+i \sin 0)=1 & \text { for } k=0 \\
    x_{2} &=1\left(\cos \dfrac{2 \pi}{4}+i \sin \dfrac{2 \pi}{4}\right)=0+i=i & \text { for } k=1 \\
    x_{3} &=1\left(\cos \dfrac{4 \pi}{4}+i \sin \dfrac{4 \pi}{4}\right)=-1-0 i=-1 & \text { for } k=2 \\
    x_{4} &=1\left(\cos \dfrac{6 \pi}{4}+i \sin \dfrac{6 \pi}{4}\right)=0-i=-i & \text { for } k=3
    \end{aligned}\)

    Example \(\PageIndex{1}\)

    Earlier, you were asked to find the complex root of \(x^4=16\).

    Solution

    Since you want to find the fourth root of 16, there will be four solutions in all.

    \(\begin{aligned}
    x^{4}=16 & \\
    r &=\sqrt{x^{2}+y^{2}} \\
    r &=\sqrt{(16)^{2}+(0)^{2}} \\
    r &=16 \\
    \theta &=\tan ^{-1}\left(\dfrac{0}{16}\right)=0
    \end{aligned}\)

    Write an expression for determining the fourth roots of \(16=16+0i\)

    \(\begin{aligned}
    16^{1/4} &=\left[16(\cos (0+2 \pi k)+i \sin (0+2 \pi k)\right]^{1/4}& & \\
    &=2\left(\cos \dfrac{2 \pi k}{4}+i \sin \dfrac{2 \pi k}{4}\right) k=0,1,2,3,4 & & \\
    x_{1} &=2\left(\cos \dfrac{0}{4}+i \sin \dfrac{0}{4}\right) \rightarrow 2(\cos 0+i \sin 0)=2 & & \text { for } k=0 \\
    x_{2} &=2\left(\cos \dfrac{2 \pi}{4}+i \sin \dfrac{2 \pi}{4}\right)=2 i & & \text { for } k=1 \\
    x_{3} &=2\left(\cos \dfrac{4 \pi}{4}+i \sin \dfrac{4 \pi}{4}\right)=-2 & & \text { for } k=2 \\
    x_{4} &=2\left(\cos \dfrac{6 \pi}{4}+i \sin \dfrac{6 \pi}{4}\right)=-2 i & & \text { for } k=3
    \end{aligned}\)

    Therefore, the four roots of 16 are \(2,\; −2,\; 2i,\; −2i\). Notice how you could find the two real roots if you seen complex numbers. The addition of the complex roots completes our search for the roots of equations.

    Example \(\PageIndex{2}\)

    Rewrite the following in rectangular form: \([2(\cos 315^{\circ} +i\sin 315^{\circ} )]^3\)

    Solution

    \(\begin{aligned}
    r &=2 \text { and } \theta=315^{\circ} \text { or } \dfrac{7 \pi}{4} \\
    z^{n} &=[r(\cos \theta+i \sin \theta)]^{n}=r^{n}(\cos n \theta+i \sin n \theta) \\
    z^{3} &=2^{3}\left[\left(\cos 3\left(\dfrac{7 \pi}{4}\right)+i \sin 3\left(\dfrac{7 \pi}{4}\right)\right]\right.\\
    z^{3} &=8\left(\cos \dfrac{21 \pi}{4}+i \sin \dfrac{21 \pi}{4}\right) \\
    z^{3} &=8\left(-\dfrac{\sqrt{2}}{2}-i \dfrac{\sqrt{2}}{2}\right) \\
    z^{3} &=-4 \sqrt{2}-4 i \sqrt{2}
    \end{aligned}\)

    \(\dfrac{21\pi }{4}\) is in the third quadrant so both are negative.

    Example \(\PageIndex{3}\)

    Solve the equation \(x^4+1=0\). What shape do the roots make?

    Solution

    \(\begin{array}{ll}
    x^{4}+1=0 & r=\sqrt{x^{2}+y^{2}} \\
    x^{4}=-1 & r=\sqrt{(-1)^{2}+(0)^{2}} \\
    x^{4}=-1+0 i & r=1 \\
    \theta=\tan ^{-1}\left(\dfrac{0}{-1}\right)+\pi=\pi &
    \end{array}\)

    Write an expression for determining the fourth roots of \(x^4=−1+0i\)

    \(\begin{array}{rlr}
    (-1+0 i)^{1/4} & =[1(\cos (\pi+2 \pi k)+i \sin (\pi+2 \pi k))]^{1/4} & \\
    (-1+0 i)^{1/4} & =1^{\dfrac{1}{4}}\left(\cos \dfrac{\pi+2 \pi k}{4}+i \sin \dfrac{\pi+2 \pi k}{4}\right) & \\
    x_{1} & =1\left(\cos \dfrac{\pi}{4}+i \sin \dfrac{\pi}{4}\right)=\dfrac{\sqrt{2}}{2}+i \dfrac{\sqrt{2}}{2} & & \text { for } k=0 \\
    x_{2} & =1\left(\cos \dfrac{3 \pi}{4}+i \sin \dfrac{3 \pi}{4}\right)=-\dfrac{\sqrt{2}}{2}+i \dfrac{\sqrt{2}}{2} & & \text { for } k=1 \\
    x_{3} & =1\left(\cos \dfrac{5 \pi}{4}+i \sin \dfrac{5 \pi}{4}\right)=-\dfrac{\sqrt{2}}{2}-i \dfrac{\sqrt{2}}{2} & & \text { for } k=2 \\
    x_{4} & =1\left(\cos \dfrac{7 \pi}{4}+i \sin \dfrac{7 \pi}{4}\right)=\dfrac{\sqrt{2}}{2}-i \dfrac{\sqrt{2}}{2} & & \text { for } k=3
    \end{array}\)

    If a line segment is drawn from each root on the polar plane to its adjacent roots, the four roots will form the corners of a square.

    Example \(\PageIndex{4}\)

    Solve the equation \(x^3−64=0\). What shape do the roots make?

    Solution

    \(\begin{aligned} x^3−64&=0\rightarrow x^3=64+0i \\ 64+0i&=64(cos(0+2\pi k)+isin(0+2\pi k)) \end{aligned}\)

    \(\begin{aligned}
    x=\left(x^{3}\right)^{1/3} &=(64+0 i)^{1/3} \\
    &=\sqrt[3]{64}\left(\cos \left(\dfrac{0+2 \pi k}{3}\right)+i \sin \left(\dfrac{0+2 \pi k}{3}\right)\right)
    \end{aligned}\)

    \(\begin{aligned}
    z_{1} &=4\left(\cos \left(\dfrac{0+2 \pi 0}{3}\right)+i \sin \left(\dfrac{0+2 \pi 0}{3}\right)\right) \\
    &=4 \cos 0+4 i \sin 0 \\
    &=4 \text { for } k=0
    \end{aligned}\)

    \(\begin{aligned}
    z_{2} &=4\left(\cos \left(\dfrac{0+2 \pi}{3}\right)+i \sin \left(\dfrac{0+2 \pi}{3}\right)\right) \\
    &=4 \cos \dfrac{2 \pi}{3}+4 i \sin \dfrac{2 \pi}{3}=-2+2 i \sqrt{3} \text { for } k=1
    \end{aligned}\)

    \(\begin{aligned}
    z_{3} &=4\left(\cos \left(\dfrac{0+4 \pi}{3}\right)+i \sin \left(\dfrac{0+4 \pi}{3}\right)\right) \\
    &=4 \cos \dfrac{4 \pi}{3}+4 i \sin \dfrac{4 \pi}{3} \\
    &=-2-2 i \sqrt{3} \text { for } k=2
    \end{aligned}\)

    If a line segment is drawn from each root on the polar plane to its adjacent roots, the three roots will form the vertices of an equilateral triangle.

    Review

    Solve each equation.

    1. \(x^3=1\)
    2. \(x^5=1\)
    3. \(x^8=1\)
    4. \(x^5=−32\)
    5. \(x^4+5=86\)
    6. \(x^5=−1\)
    7. \(x^4=−1\)
    8. \(x^3=8\)
    9. \(x^6=−64\)
    10. \(x^3=−64\)
    11. \(x^5=243\)
    12. \(x^3=343\)
    13. \(x^7=−128\)
    14. \(x^{12}=1\)
    15. \(x^6=1\)

    Review (Answers)

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


    This page titled 5.3.7: Equations Using 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?