Difference between revisions of "De Moivre's Theorem"
(Tag: Undo) |
Alloutmaths (talk | contribs) m (→Proof) |
||
Line 2: | Line 2: | ||
== Proof == | == Proof == | ||
− | This is one proof of | + | This is one proof of de Moivre's theorem by [[induction]]. |
*If <math>n>0</math>, for <math>n=1</math>, the case is obviously true. | *If <math>n>0</math>, for <math>n=1</math>, the case is obviously true. | ||
Line 32: | Line 32: | ||
And thus, the formula proves true for all integral values of <math>n</math>. <math>\Box</math> | And thus, the formula proves true for all integral values of <math>n</math>. <math>\Box</math> | ||
− | Note that from the functional equation <math>f(x)^n = f(nx)</math> where <math>f(x) = \cos x + i\sin x</math>, we see that <math>f(x)</math> behaves like an exponential function. Indeed, [[Euler's identity]] states that <math>e^{ix} = \cos x+i\sin x</math>. This extends | + | Note that from the functional equation <math>f(x)^n = f(nx)</math> where <math>f(x) = \cos x + i\sin x</math>, we see that <math>f(x)</math> behaves like an exponential function. Indeed, [[Euler's identity]] states that <math>e^{ix} = \cos x+i\sin x</math>. This extends de Moivre's theorem to all <math>n\in \mathbb{R}</math>. |
==Generalization== | ==Generalization== |
Latest revision as of 07:05, 9 August 2024
DeMoivre's Theorem is a very useful theorem in the mathematical fields of complex numbers. It allows complex numbers in polar form to be easily raised to certain powers. It states that for and
,
.
Proof
This is one proof of de Moivre's theorem by induction.
- If
, for
, the case is obviously true.
- Assume true for the case
. Now, the case of
:
- Therefore, the result is true for all positive integers
.
- If
, the formula holds true because
. Since
, the equation holds true.
- If
, one must consider
when
is a positive integer.
And thus, the formula proves true for all integral values of .
Note that from the functional equation where
, we see that
behaves like an exponential function. Indeed, Euler's identity states that
. This extends de Moivre's theorem to all
.