1.5 Teorema de de Moivre, potencias extraccin de races de un nmero complejo.

UNA
APLICACIN DE LA FRMULA DE

MOIVRE

La frmula de Moivre permite obtener de forma sencilla frmulas trigonomtricas que expresan el seno y el coseno de un ngulo mltiple en funcin del seno y coseno del ngulo simple. Para ello no hay ms que tener en cuenta la propia frmula de Moivre

y el desarrollo del binomio de Newton

De este modo si, por ejemplo, queremos obtener una frmula para en funcin del seno y del coseno de , bastar con considerar por un lado la frmula de Moivre

y por otro el desarrollo del cubo

Si igualamos ahora las partes reales de ambos desarrollos tenemos

Igualando las partes imaginarias obtenemos adems, sin ningn esfuerzo adicional una expresin para

RACES N-SIMAS

DE UN NMERO COMPLEJO

Estudiemos ahora las potencias con exponente racional de un nmero complejo. Dado , sea , para un nmero natural p.

Si Por tanto,

, puesto que

, es decir, , y adems,

. , o sea,

, para

De todos estos valores slo p consecutivos son distintos, el resto resulta ser repeticin sucesiva de valores ya obtenidos. Por tanto, un nmero complejo tiene siempre p races p-simas distintas

, para

Se puede observar que las p races psimas tienen todas el mismo mdulo, y sus argumentos se diferencian en cada uno del siguiente, esto es, las races p-simas se encuentran en los vrtices de un polgono regular de p lados incrito en la circunferencia de centro 0 y radio .

Como ejemplo, en la siguiente grfica podemos ver las races quintas de

Puede verse lo mismo en la siguiente animacin:

Teorema de Moivre, potencias y extraccin de races de un nmero complejo.

Potencia.
Sea z = rx un nmero complejo en forma polar. Para calcular su potencia n-sima, bastar con multiplicarlo por s mismo n veces, con lo que se obtiene: zn = zz..(n veces)..z = (rx)(rx)..(n veces)..(rx) = (rr..(n veces)..r)x+x+.. ..+x = (rn)nx Es decir, (rx)n = (rn)nx Si escribimos el nmero z en forma trigonomtrica obtenemos: z = r(cos x + isen x) ==> zn = rn(cos x + isen x)n = rn(cos nx + isen nx) De donde: cos(nx) + isen(nx) = (cos x + isen x)n expresin que recibe el nombre de frmula de Moivre. Como aplicacin de esta frmula podemos obtener las razones trigonomtricas seno y coseno de mltiplos de un ngulo conocidas las razones trigonomtricas del ngulo.
(n veces)

Ejemplo:
Conocidos cos x y sen x , calculemos cos 4x y sen 4x : cos 4x + isen 4x = (cos x + isen x)4 = (40)cos4x + (41)cos3xisen x + (42)cos2xi2sen2x + (43)cos xi3sen3x + (44)i4sen4x = cos4x + 4icos3xsen x - 6cos2xsen2x - 4icos xsen3x + sen4x = (cos4x 6cos2sen2x + sen4x) + (4cos3xsen x - 4cos xsen3x)i Como dos complejos son iguales si y slo si lo son sus partes reales as como sus partes imaginarias, tenemos que: cos 4x = cos4x 6cos2xsen2x + sen4x sen 4x = 4cos3xsen x - 4cos xsen3x

Raz n-sima de un nnero complejo.

Raz n-sima.
Sea z = rx un nmero complejo. Calculemos su raz n-sima. sta va a ser un nmero complejo w = sy de forma que wn = (sy)n = rx. Es decir: = sn = r = s = r1/n n (s )ny = = ny = x + 2kpi , = y = (x + 2kpi)/n , rx > con k C Z > con k C Z

Cualquiera de los nmeros complejos que se obtienen de sy al variar k en Z es una raz n-sima de z.

Teorema.
Todo numero complejo z tiene exactamente n races n-simas distintas.

Demostracin.
Sea z = rx un nmero complejo. Hemos dicho que sy es una raz n-sima de z, siendo s = r1/n e y = (x + 2kpi)/n , con k C Z. Si llamamos wk = sy , cuando k C {0,1,2,...,n-1}, obtenemos exactamente n races n-simas de z distintas. Veamos que cualquier otra raz coincide con una de estas xk. Sea t C Z, t distinto de 0,1,2,...,n-1. Entonces, por el algoritmo de la divisin eucldea es: t = pn + r, con 0 <= r < n , y r nmero entero. Si notamos por xt = sy, siendo y = (x + 2tpi)/n, tenemos que: y = (x + 2tpi)/n = (x + 2rpi +2nppi)/n = (x + 2rpi)/n + 2ppi De donde xt y xr tienen el mismo argumento, y por tanto xt = xr. Adems, xr es uno de los xk que dijimos antes, ya que r C {0,1,2,...,n-1}.
c.q.d.

En resumen, para calcular la raz n-sima del nmero complejo z = r x , se procede de la siguiente manera:

El mdulo ser la raz n-sima del mdulo de z. El argumento viene dado por la frmula: y = (x + 2kpi)/n dndole a k los valores 0,1,2,...,n-1