Fórmula de De Moivre

Fórmula de De Moivre

La fórmula de De Moivre nombrada así por Abraham de Moivre afirma que para cualquier número complejo (y en particular, para cualquier número real) x y para cualquier entero n se verifica que:

\left(\cos x+i\sin x\right)^n=\cos\left(nx\right)+i\sin\left(nx\right).\,

Esta fórmula es importante porque conecta a los números complejos (i significa unidad imaginaria) con la trigonometría. La expresión "cos x + i sen x" a veces se abrevia como cis x.

Al expandir la parte izquierda de la igualdad y comparando la parte real con la imaginaria, es posible derivar expresiones muy útiles para cos(nx) y sen(nx) en términos de cos(x) y sen(x). Además, esta fórmula puede ser utilizada para encontrar expresiones explícitas para la enésima raíz de la unidad, eso es, números complejos z tal que zn = 1.

Abraham De Moivre fue amigo de Newton; en 1698 éste último escribió que ya conocía dicha fórmula desde 1676.

Contenido

Obtención

La fórmula de De Moivre puede ser obtenida de la fórmula de Euler:

e^{ix} = \cos x + \mathrm{i}\,\sin x

aplicando leyes de la exponenciación

\left( e^{ix} \right)^n = e^{inx} .\,

Entonces, por la fórmula de Euler,

e^{i(nx)} = \cos(nx) + i\sin(nx)\,.

Derivaciones

Partiendo nuevamente de la fórmula de Euler:

e^{ix} = \cos x + \mathrm{i}\,\sin x

Si hacemos que x = π entonces tenemos la fórmula de Euler:

 e^{i\pi} = \cos \pi + \mathrm{i}\,\sin \pi=-1+0=-1

Es decir:

e^{i\pi}=-1 \,

Además como tenemos estas dos igualdades:

e^{ix} = \cos x + \mathrm{i}\,\sin x \,
e^{-ix} = \cos x - \mathrm{i}\,\sin x \,

podemos deducir lo siguiente:

\cos x = ( e^{ix} + e^{-ix} ) / 2 \,
\sin x = ( e^{ix} - e^{-ix} ) / 2\mathrm{i}\,

Demostración por inducción

Consideramos tres casos.

Para n > 0, procedemos a través de la inducción matemática. Cuando n = 1, el resultado es claramente cierto. Para nuestra hipótesis asumimos que el resultado es verdadero para algún entero positivo k. Eso es que asumimos:

\left(\cos x + i \sin x\right)^k = \cos\left(kx\right) + i \sin\left(kx\right). \,

Ahora, considerando el caso n = 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[\cos\left(kx\right) + i\sin\left(kx\right)\right] \left(\cos x+i\sin x\right) \qquad \mbox{por la hipotesis de induccion}\\
                                      & = \cos \left(kx\right) \cos x - \sin \left(kx\right) \sin x + i \left[\cos \left(kx\right) \sin x + \sin \left(kx\right) \cos x\right]\\
                                      & = \cos \left[ \left(k+1\right) x \right] + i\sin \left[ \left(k+1\right) x \right] \qquad \mbox{por las identidades trigonometricas}
\end{alignat}

Deducimos que el resultado es verdadero para n = k + 1 cuando es verdadero para n = k. Por el principio de la inducción matemática se desprende que el resultado es verdadero para todos los enteros positivos n≥1.

Cuando n = 0 la fórmula es verdadera ya que cos(0x) + isin(0x) = 1 + i0 = 1, y (por convención) z0 = 1.


Cuando n < 0, consideramos un entero positivo m tal que n = −m. Por lo tanto:


\begin{alignat}{2}
     \left(\cos x + i\sin x\right)^{n} & = \left(\cos x + i\sin x\right)^{-m}\\
                                       & = \frac{1}{\left(\cos x + i\sin x\right)^{m}}\\
                                       & = \frac{1}{\left(\cos mx + i\sin mx\right)}\\
                                       & = \cos\left(mx\right) - i\sin\left(mx\right)\\
                                       & = \cos\left(-mx\right) + i\sin\left(-mx\right)\\
                                       & = \cos\left(nx\right) + i\sin\left(nx\right).
\end{alignat}

Por lo tanto el teorema es verdadero para todos los valores enteros de n.

Generalización

Una representación en el plano complejo de las raíces cúbicas de 1.

La fórmula en realidad es verdadera en un campo mucho más general que el presentado arriba: si z y w son números complejos, entonces

\left(\cos z + i\sin z\right)^w

es una función multivaluada mientras

\cos (wz) + i \sin (wz)\,

no lo sea. Por lo tanto se puede asegurar que:

\cos (wz) + i \sin (wz) \,     es un valor de     \left(\cos z + i\sin z\right)^w\,.

Aplicaciones

Esta fórmula puede ser utilizada para encontrar tanto la potencia como las raíces enésimas de un número complejo escrito en la forma polar.

z=r\left(\cos x+i\sin x\right)

Si el número complejo está en forma binómica, primero hay que convertirlo a forma polar.

Potencia

Para obtener la potencia del número complejo se aplica la fórmula:


     z^n = \left[ r\left( \cos x+i\sin x \right) \right]^n = r^n \left[ \cos (nx) + i\sin (nx)  \right]

Raices

Para obtener las n raíces de un número complejo, se aplica:


     z^{1/n} = \left[ r\left( \cos x+i\sin x \right) \right]^{1/n} = r^{1/n} \left[ \cos \left( \frac{x+2k\pi}{n} \right) + i\sin \left( \frac{x+2k\pi}{n} \right) \right]

donde k es un número entero que va desde 0 hasta n − 1, que al sustituirlo en la fórmula permite obtener las n raíces diferentes de z.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Fórmula de De Moivre — La fórmula de De Moivre afirma que: Esta fórmula es importante porque conecta a los números complejos (i significa unidad imaginaria) con la trigonometría. La expresión cos x + i sen x a veces se abrevia como cis x. Abraham De Moivre fue amigo de …   Enciclopedia Universal

  • Fórmula de Euler — La fórmula o relación de Euler, atribuida a Leonhard Euler, establece que: para todo número real x. Aquí, e es la base del logaritmo natural, i es la unidad imaginaria, sin x y cos x son funciones trigonométricas. O bien: siendo z la… …   Wikipedia Español

  • Moivre, Abraham de — ▪ French mathematician born May 26, 1667, Vitry, Fr. died Nov. 27, 1754, London       French mathematician who was a pioneer in the development of analytic trigonometry and in the theory of probability.       A French Huguenot, de Moivre was… …   Universalium

  • Abraham de Moivre — Retrato de Abraham de Moivre. Abraham de Moivre (Vitry le François, Champagne, Francia, 26 de mayo de 1667 Londres, 27 de noviembre de 1754) fue un matemático francés. A pesar que la posición social de su familia no está clara, su padre, cirujano …   Wikipedia Español

  • Abraham de Moivre — Moivre redirects here; for the French commune see Moivre, Marne. Abraham de Moivre Abraham de Moivre Born …   Wikipedia

  • de Moivre's formula — In mathematics, de Moivre s formula (a.k.a. De Moivre s theorem), named after Abraham de Moivre, states that for any complex number (and, in particular, for any real number) x and integer n it holds that The formula is important because it… …   Wikipedia

  • De Moivre's formula — De Moivre s formula, named after Abraham de Moivre, states that for any complex number (and, in particular, for any real number) x and any integer n it holds that:left(cos x+isin x ight)^n=cosleft(nx ight)+isinleft(nx ight).,The formula is… …   Wikipedia

  • de Moivre's law — For the identity connecting complex numbers and trigonometric functions, see de Moivre s formula. De Moivre s Law is a survival model applied in actuarial science, named for Abraham de Moivre.[1][2][3] It is a simple law of mortality based on a… …   Wikipedia

  • de Moivre–Laplace theorem — As n grows large, the shape of the binomial distribution begins to resemble the smooth Gaussian curve. In probability theory, the de Moivre–Laplace theorem is a normal approximation to the binomial distribution. It is a special case of the… …   Wikipedia

  • de Moivre's theorem — may be: de Moivre s formula – a trigonometric identity Theorem of de Moivre–Laplace – a central limit theorem This disambiguation page lists articles associated with the same title. If an internal link led you h …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”