de-Moivre's Theorem and its proof

de-Moivre's Theorem, named after Abraham de Moivre is stated as the following.

Just like we have algebraic formulas for $(a+b)^n$ for easy simplification, we should also have similar relations for $(a+ib)^n$ and this theorem does exactly that. However, the more important and interesting part of the theorem is that it allows us to visualize what happens to the magnitude and the angle of a complex number when we raise it to some power.

There is one limitation that this only works for integer powers. However, before we go for the applications, let us talk about its proof. You can skip this proof at this stage of the course and loop back to it after covering induction and trigonometry, but I will make the proof simpler so that you can digest it here.

Pre-Requisites for the Proof

The proof uses two main areas, mathematical induction and a few trigonometric relations.

Mathematical Inductions:

To prove $( \cos x + i \sin x )^n = \cos {nx} + i \sin {nx}$, We call this whole thing a statement and denote it by $S(n)$. We do not know for which values of $n$ is the given statement true. Mathematical induction is the method of proving such statements in two steps. First, we have to determine that if $S(n)$ is true, then it follows that $S(n+1)$ is also true. Secondly, we have to show that $S(n)$ is true for some base case like $S(0)$ or $S(1)$.

Simply, mathematically induction works like this, we show that if $S(3)$ is correct, then $S(4)$ must also be correct. It follows that than $S(5)$, $S(6)$, and so on are all correct, but only if our initial assumption that $S(3)$ is correct. This is step one.

Then we simplify an easy base case and manually prove that $S(1)$ is true, which then from step one confirms that $S(2)$ must also be true and then by extension $S(3)$ is also true. These two steps, when done correctly will prove that $S(n)$ is true for all $n$ as we have defined them.

Chapter 8 will deal with Mathematical Induction in more detail.

Trigonometric Identities

The proof of de-Moivre's Theorem requires already understanding and holding the following trigonometric identities to be true. These identities will be taught in later chapters.

Visualizing the Proof

From the previous lessons, we understand that multiplying two complex numbers involve rotating the first number with the angle of the second one. If we multiply a number by itself, then it follows that we are doubling the angle of that number. This is exactly what we see where $n$, the exponent, is multiplied with the angle inside cosine and sine.

In this interactive graph, you can move around the blue point that represents the complex number to change its modulus and its polar angle. We would suggest keeping the modulus close to one. There is also a slider which you can control to see the positive and negative exponents of $z$ from $-10$ to $10$.

You can see how the successive powers fan out into a circle at equal intervals of angles based on the initial angle of $z$ visually proving the de-Moivre's theorem.