I’m using the Twelve Days of Christmas (and perhaps a few extra days besides) to do something that I should have done a long time ago: collect past series of posts into a single, easy-to-reference post. The following posts formed my series on how the trigonometric form of complex numbers, DeMoivre’s Theorem, and extending the definitions of exponentiation and logarithm to complex numbers.
Part 1: Introduction: using a calculator to find surprising answers for
and
. See the video below.
Part 2: The trigonometric form of complex numbers.
Part 3: Proving the theorem
![\left[ r_1 (\cos \theta_1 + i \sin \theta_1) \right] \cdot \left[ r_2 (\cos \theta_2 + i \sin \theta_2) \right] = r_1 r_2 (\cos [\theta_1+\theta_2] + i \sin [\theta_1+\theta_2]) \left[ r_1 (\cos \theta_1 + i \sin \theta_1) \right] \cdot \left[ r_2 (\cos \theta_2 + i \sin \theta_2) \right] = r_1 r_2 (\cos [\theta_1+\theta_2] + i \sin [\theta_1+\theta_2])](https://s0.wp.com/latex.php?latex=%5Cleft%5B+r_1+%28%5Ccos+%5Ctheta_1+%2B+i+%5Csin+%5Ctheta_1%29+%5Cright%5D+%5Ccdot+%5Cleft%5B+r_2+%28%5Ccos+%5Ctheta_2+%2B+i+%5Csin+%5Ctheta_2%29+%5Cright%5D+%3D+r_1+r_2+%28%5Ccos+%5B%5Ctheta_1%2B%5Ctheta_2%5D+%2B+i+%5Csin+%5B%5Ctheta_1%2B%5Ctheta_2%5D%29&bg=f3f3f3&fg=888888&s=0)
Part 4: Proving the theorem
![\displaystyle \frac{ r_1 (\cos \theta_1 + i \sin \theta_1) }{ r_2 (\cos \theta_2 + i \sin \theta_2) } = \displaystyle \frac{r_1}{r_2} (\cos [\theta_1-\theta_2] + i \sin [\theta_1-\theta_2]) \displaystyle \frac{ r_1 (\cos \theta_1 + i \sin \theta_1) }{ r_2 (\cos \theta_2 + i \sin \theta_2) } = \displaystyle \frac{r_1}{r_2} (\cos [\theta_1-\theta_2] + i \sin [\theta_1-\theta_2])](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7B+r_1+%28%5Ccos+%5Ctheta_1+%2B+i+%5Csin+%5Ctheta_1%29+%7D%7B+r_2+%28%5Ccos+%5Ctheta_2+%2B+i+%5Csin+%5Ctheta_2%29+%7D+%3D+%5Cdisplaystyle+%5Cfrac%7Br_1%7D%7Br_2%7D+%28%5Ccos+%5B%5Ctheta_1-%5Ctheta_2%5D+%2B+i+%5Csin+%5B%5Ctheta_1-%5Ctheta_2%5D%29&bg=f3f3f3&fg=888888&s=0)
Part 5: Application: numerical example of De Moivre’s Theorem.
Part 6: Proof of De Moivre’s Theorem for nonnegative exponents.
Part 7: Proof of De Moivre’s Theorem for negative exponents.
Part 8: Finding the three cube roots of -27 without De Moivre’s Theorem.
Part 9: Finding the three cube roots of -27 with De Moivre’s Theorem.
Part 10: Pedagogical thoughts on De Moivre’s Theorem.
Part 11: Defining
for rational numbers
.
Part 12: The Laws of Exponents for complex bases but rational exponents.
Part 13: Defining
for complex numbers 
Part 14: Informal justification of the formula
.
Part 15: Simplification of
.
Part 16: Remembering DeMoivre’s Theorem using the notation
.
Part 17: Formal proof of the formula
.
Part 18: Practical computation of
for complex
.
Part 19: Solving equations of the form
, where
and
may be complex.
Part 20: Defining
for complex
.
Part 21: The Laws of Logarithms for complex numbers.
Part 22: Defining
for complex
and
.
Part 23: The Laws of Exponents for complex bases and exponents.
Part 24: The Laws of Exponents for complex bases and exponents.