De Moivre's Formula - Proof By Induction (for Integer n)

Proof By Induction (for Integer n)

The truth of de Moivre's theorem can be established by mathematical induction for natural numbers, and extended to all integers from there. Consider S(n):

For n > 0, we proceed by mathematical induction. S(1) is clearly true. For our hypothesis, we assume S(k) is true for some natural k. That is, we assume

Now, considering S(k+1):

\begin{alignat}{2} \left(\cos x+i\sin x\right)^{k+1} & = \left(\cos x+i\sin x\right)^{k} \left(\cos x+i\sin x\right)\\ & = \left \left(\cos x+i\sin x\right) &&\qquad \text{by the induction hypothesis}\\ & = \cos \left(kx\right) \cos x - \sin \left(kx\right) \sin x + i \left\\ & = \cos \left + i\sin \left &&\qquad \text{by the trigonometric identities} \end{alignat}

We deduce that S(k) implies S(k+1). By the principle of mathematical induction it follows that the result is true for all natural numbers. Now, S(0) is clearly true since cos (0x) + i sin(0x) = 1 +i 0 = 1. Finally, for the negative integer cases, we consider an exponent of -n for natural n.

\begin{align} \left(\cos x + i\sin x\right)^{-n} & = \left^{-1} \\ & = \left^{-1} \\ & = \cos(-nx) + i\sin (-nx). \qquad (*) \\ \end{align}

The equation (*) is a result of the identity, for z = cos nx + i sin nx. Hence, S(n) holds for all integers n.

Read more about this topic:  De Moivre's Formula

Famous quotes containing the words proof and/or induction:

    “From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.”
    —Johan Huizinga (1872–1945)

    “One might get the impression that I recommend a new methodology which replaces induction by counterinduction and uses a multiplicity of theories, metaphysical views, fairy tales, instead of the customary pair theory/observation. This impression would certainly be mistaken. My intention is not to replace one set of general rules by another such set: my intention is rather to convince the reader that all methodologies, even the most obvious ones, have their limits.”
    —Paul Feyerabend (1924–1994)