Teorema De _Moivre

TEOREMA DE MOIVRE, POTENCIAS Y EXTRACCIÓN DE RAÍCES DE UN NÚMERO COMPLEJO.

Potencias de números complejos

Las potencias enteras de un número complejo no nulo z = reiθ vienen dadas por

z = rneinθ (n = 0, +1, -1, +2, -2 ...)

Como zn+1 = zzn cuando n=1,2,..., esto se comprueba fácilmente para valores positivos de n por inducción, para el producto de números complejos en forma exponencial. La ecuación es válida también para n = 0 con el convenio de que z0 = 1. Si n = -1, -2..., por otro lado, definimos zn en términos del inverso multiplicativo de z escribiendo zn = (z-1)m, donde m = -n = 1, 2, ... Entonces, como la ecuación z = rneinθ es válida para potencias enteras positivas, se sigue de la forma exponencial de z-1 que

zn = [1/r ei(-θ)]m = (1/r)m eim(-θ) = rneinθ

Por tanto, la ecuación z = rneinθ es válida para toda potencia entera.

Nótese que si r = 1, z = rneinθ se convierte en

(eiθ)n = eiθn (n = 0, ±1, ±2 ...)

Cuando se expresa en la forma

(cos θ + i sen θ)n = cos nθ + i sen nθ

que se le conoce como la fórmula de De Moivre

Ejemplo 1. Resolvamos la ecuación

zn = 1,

donde n tiene uno de los valores n = 2, 3, ..., hallando así las raíces n-ésimas de la unidad. Puesto que z ≠ 0, podemos escribir z = rei0 y buscar valores de r y θ tales que

(reiθ)n = 1,

o sea

rneinθ = 1ei0.

Ahora bien

rn = 1 y nθ = 0 + 2k∏,

donde k es cualquier entero (k = 0, ±1, ±2,...). Por tanto, r = 1 y θ = 2k∏/n; y se deduce que los números complejos

z = exp(i[2k∏ / n]) (k = 0, ±1, ±2,...)

son raíces n-ésimas de la unidad. Tal como aparecen aquí, en forma exponencial, se ve inmediatamente que están en el círculo unidad centrado en el origen y están uniformemente espaciados sobre él cada 2∏ / n radianes. Evidentemente, pues, todas las raíces n-ésimas de la unidad distintas entre sí se obtienen escribiendo

z = exp(i[2k∏ / n]) = cos 2k∏ / n + i sen 2k∏ / n (k = 0, 1, 2,..., n-1)

y no se obtienen ya nuevas raíces con otros valores de k.

Así que el número de raíces n-ésimas de la unidad es n. Cuando n = 2, esas raíces son, claro está, ±1. Cuando n>= 3, corresponden

...