De moivre

Frmula de De Moivre
Saltar a: navegacin, bsqueda La frmula de De Moivre nombrada as por Abraham de Moivre afirma que para cualquier nmero complejo (y en particular, para cualquier nmero real) x y para cualquier entero n se verifica que:

Esta frmula es importante porque conecta a los nmeros complejos (i significa unidad imaginaria) con la trigonometra. La expresin "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 trminos de cos(x) y sen(x). Adems, esta frmula puede ser utilizada para encontrar expresiones explcitas para la ensima raz de la unidad, eso es, nmeros complejos z tal que zn = 1. Abraham De Moivre fue amigo de Newton; en 1698 ste ltimo escribi que ya conoca dicha frmula desde 1676.

Obtencin

La frmula de De Moivre puede ser obtenida de la frmula de Euler:

aplicando leyes de la exponenciacin

Entonces, por la frmula de Euler, .

Algunos resultados
Partiendo nuevamente de la frmula de Euler:

Si hacemos que

entonces tenemos la frmula de Euler:

Es decir:

Adems como tenemos estas dos igualdades:

podemos deducir lo siguiente:

Demostracin por induccin

Consideramos tres casos. Para un entero n > 0, procedemos a travs de la induccin matemtica. Cuando n = 1, el resultado es claramente cierto. Para nuestra hiptesis asumimos que el resultado es verdadero para algn entero positivo k. Eso es que asumimos:

Ahora, considerando el caso n = k + 1:

Deducimos que el resultado es verdadero para n = k + 1 cuando es verdadero para n = k. Por el principio de la induccin matemtica se desprende que el resultado es verdadero para todos los enteros positivos n1. Cuando n = 0 la frmula es verdadera ya que . Cuando n < 0, consideramos un entero positivo m tal que n = m. Por lo tanto: , y (por convencin)

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

Generalizacin

Una representacin en el plano complejo de las races cbicas de 1.

La frmula en realidad es verdadera en un campo mucho ms general que el presentado arriba: si z y w son nmeros complejos, entonces

es una funcin multivaluada mientras

no lo sea. Por lo tanto se puede asegurar que: es un valor de .

Aplicaciones
Esta frmula puede ser utilizada para encontrar tanto la potencia como las races ensimas de un nmero complejo escrito en la forma polar.

Si el nmero complejo est en forma binmica, primero hay que convertirlo a forma polar.

Potencia
Para obtener la potencia del nmero complejo se aplica la frmula:

Raices
Para obtener las races de un nmero complejo, se aplica:

donde es un nmero entero que va desde hasta races diferentes de .

, que al sustituirlo en la frmula permite obtener las