Teorema de Moivre:

Demostración y Ejercicios
Resueltos
Por
Vincenzo Jesús D'Alessio Torres

El teorema de Moivre aplica procesos fundamentales de álgebra, como las

potencias y la extracción de raíces en números complejos. El teorema fue
enunciado por el reconocido matemático francés Abraham de Moivre (1730),
quien asoció los números complejos con la trigonometría.

Abraham Moivre realizó esta asociación por medio de las expresiones del
seno y coseno. Este matemático generó una especie de fórmula a través de
la cual es posible elevar un número complejo z a la potencia n, que se trata
de un número entero positivo mayor o igual 1.

Índice [Ocultar]
 1 ¿En qué consiste el teorema de Moivre?
 2 Demostración
o 2.1 Base inductiva
o 2.2 Hipótesis inductiva
o 2.3 Comprobación
o 2.4 Entero negativo
 3 Ejercicios resueltos
o 3.1 Cálculo de potencias positivas
o 3.2 Cálculo de potencias negativas
 4 Referencias

¿En qué consiste el teorema de Moivre?

El teorema de Moivre establece lo siguiente:

Si se tiene un número complejo en la forma polar z = rƟ, donde r es el módulo

del número complejo z, y el ángulo Ɵ es llamado amplitud o argumento de
cualquier número complejo con 0 ≤ Ɵ ≤ 2π, para calcular su n–ésima
potencia no será necesario multiplicarlo por sí mismo n-veces; es decir, no
es necesario realizar el siguiente producto:

Zn = z * z * z*. . .* z = rƟ * rƟ * rƟ *. . .* rƟ n-veces.

Por el contario, el teorema dice que, al escribir z en su forma trigonométrica,

para calcular la n-ésima potencia se procede de la siguiente forma:

Si z = r (cos Ɵ + i * sen Ɵ) entonces zn = rn (cos n*Ɵ + i * sen n*Ɵ).

Por ejemplo, si n = 2, entonces z2 = r2[cos 2(Ɵ) + i sen 2 (Ɵ)]. Si se tiene

que n = 3, entonces z3 = z2 * z. Además:

z3 = r2[cos 2(Ɵ) + i sen 2 (Ɵ)] * r [cos 2(Ɵ) + i sen 2 (Ɵ)] = r3[cos 3(Ɵ) + i
sen 3 (Ɵ)].
De esa manera pueden obtenerse las razones trigonométricas del seno y
coseno para múltiplos de un ángulo, siempre y cuando las razones
trigonométricas del ángulo sean conocidas.

De igual manera puede ser utilizada para encontrar expresiones más precisas
y menos confusas para la n -ésima raíz de un número complejo z, de modo
que zn = 1.

Para demostrar el teorema de Moivre se usa el principio de inducción

matemática: si un número entero «a» tiene una propiedad «P», y si para
cualquier número entero «n» mayor que «a» que tenga la propiedad «P» se
cumple que n + 1 también tiene la propiedad «P», entonces todos los
números enteros mayores o iguales que “a” tienen la propiedad «P».

Demostración
De esa forma, la demostración del teorema se hace con los siguientes pasos:

Base inductiva

Primero se comprueba para n = 1.

Como z1 = (r(cos Ɵ + i * sen Ɵ))1 = r1 (cos Ɵ + i * sen Ɵ)1 = r1 [cos (1* Ɵ) +

i * sen (1* Ɵ)], se tiene que para n=1 se cumple el teorema.

Hipótesis inductiva

Se supone que la fórmula es cierta para algún entero positivo, es decir, n =

k.

zk = (r (cos Ɵ + i * sen Ɵ))k = rk (cos k Ɵ + i * sen k Ɵ).

Comprobación
Se prueba que es cierta para n = k + 1.

Como zk+1= zk * z, entonces zk+1 = (r(cos Ɵ + i * sen Ɵ))k+1 = rk (cos kƟ + i * sen

kƟ) * r (cos Ɵ + i* senƟ).

Luego se multiplican las expresiones:

zk+1 = rk+1( (cos kƟ)*(cosƟ) + (cos kƟ)*(i*senƟ) + (i * sen kƟ)*(cosƟ) + (i * sen

kƟ)*(i* senƟ)).

Por un momento se ignora el factor rk+1, y se saca factor común i:

(cos kƟ)*(cosƟ) + i(cos kƟ)*(senƟ) + i( sen kƟ)*(cosƟ) + i2( sen kƟ)*(senƟ).

Como i2 = -1, lo sustituimos en la expresión y se obtiene:

(cos kƟ)*(cosƟ) + i(cos kƟ)*(senƟ) + i( sen kƟ)*(cosƟ) – ( sen kƟ)*(senƟ).

Ahora se ordena la parte real y la imaginaria:

(cos kƟ)*(cosƟ) – ( sen kƟ)*(senƟ) + i[( sen kƟ)*(cosƟ) + (cos kƟ)*(senƟ)].

Para simplificar la expresión se aplican las identidades trigonométricas de

suma de ángulos para el coseno y seno, que son:

cos (A+B) = cos A * cos B – sen A * sen B.

sen (A+B) = sen A * cos B – cos A * cos B.

En este caso, las variables son los ángulos Ɵ y kƟ. Aplicando las identidades
trigonométricas, se tiene:

cos kƟ * cosƟ – sen kƟ * senƟ = cos(kƟ + Ɵ)

sen kƟ * cosƟ + cos kƟ * senƟ = sen(kƟ + Ɵ)

De esa forma, la expresión queda:

zk+1 = rk+1 (cos(kƟ + Ɵ) + i * sen(kƟ + Ɵ))

zk+1 = rk+1(cos [(k +1) Ɵ] + i * sen[(k +1) Ɵ]).

Así pudo demostrarse que el resultado es verdadero para n = k+1. Por el

principio de inducción matemática, se concluye que el resultado es verdadero
para todos los enteros positivos; es decir, n ≥ 1.

Entero negativo

El teorema de Moivre también es aplicado cuando n ≤ 0. Consideremos un

entero negativo «n»; entonces «n» puede escribirse como «-m», es decir
n=-m, siendo «m» un entero positivo. Por lo tanto:

(cos Ɵ + i * sen Ɵ)n = (cos Ɵ + i * sen Ɵ) -m

Para obtener el exponente «m» de forma positiva, la expresión se es escribe

de forma inversa:

(cos Ɵ + i * sen Ɵ)n = 1 ÷ (cos Ɵ + i * sen Ɵ) m

(cos Ɵ + i * sen Ɵ)n = 1 ÷ (cos mƟ + i * sen mƟ)

Ahora, se utiliza que si z=a+b*i es un número complejo, entonces 1÷z = a-

b*i. Por lo tanto:

(cos Ɵ + i * sen Ɵ)n = cos (mƟ) – i * sen (mƟ).

Utilziando que cos(x)=cos(-x) y que -sen(x)=sen(-x), se tiene que:

(cos Ɵ + i * sen Ɵ)n = [cos (mƟ) – i * sen (mƟ)]

(cos Ɵ + i * sen Ɵ)n = cos (- mƟ) + i * sen (-mƟ)

(cos Ɵ + i * sen Ɵ)n = cos (nƟ) – i * sen (nƟ).

De esa forma, se puede decir que el teorema aplica para todos los valores
enteros de «n».

Ejercicios resueltos

Cálculo de potencias positivas

Una de las operaciones con números complejos en su forma polar es la

multiplicación entre dos de estos; en ese caso se multiplican los módulos y
se suman los argumentos.

Si se tienen dos número complejos z1 y z2 y se quiere calcular (z1*z2)2,

entonces se procede de la siguiente manera:

z1z2 = [r1 (cos Ɵ1 + i * sen Ɵ1)] * [r2 (cos Ɵ2 + i * sen Ɵ2)]

Se aplica la propiedad distributiva:

z1z2 = r1 r2 (cos Ɵ1* cos Ɵ2 + i * cos Ɵ1* i * sen Ɵ2 + i * sen Ɵ1* cos Ɵ2 + i2* sen
Ɵ1* sen Ɵ2).

Se agrupan, sacando el término «i» como factor común de las expresiones:

z1z2 = r1 r2 [cos Ɵ1* cos Ɵ2 + i (cos Ɵ1* sen Ɵ2 + sen Ɵ1* cos Ɵ2) + i2* sen Ɵ1* sen
Ɵ2]
Como i2 = -1, se sustituye en la expresión:

z1z2 = r1 r2 [cos Ɵ1* cos Ɵ2 + i (cos Ɵ1* sen Ɵ2 + sen Ɵ1* cos Ɵ2) – sen Ɵ1* sen Ɵ2]

Se reagrupan los términos reales con reales, e imaginarios con imaginarios:

z1z2 = r1 r2 [(cos Ɵ1* cos Ɵ2 – sen Ɵ1* sen Ɵ2) + i (cos Ɵ1* sen Ɵ2 + sen Ɵ1* cos Ɵ2)]

Para finalizar, se aplican las propiedades trigonométricas:

z1z2 = r1 r2 [cos (Ɵ1 + Ɵ2) + i sen (Ɵ1 + Ɵ2)].

En conclusión:

(z1*z2)2=(r1 r2 [cos (Ɵ1 + Ɵ2) + i sen (Ɵ1 + Ɵ2)])2

= r12r22[cos 2*(Ɵ1 + Ɵ2) + i sen 2*(Ɵ1 + Ɵ2)].

Ejercicio 1

Escribir el número complejo en forma polar si z = – 2 -2i. Luego, utilzando

el teorema de Moivre, calcular z4.

Solución

El número complejo z = -2 -2i está expresado en la forma rectangular z = a

+bi, donde:

a = -2.

b = -2.
Sabiendo que la forma polar es z = r (cos Ɵ + i * sen Ɵ), se necesita
determinar el valor del módulo «r» y el valor del argumento «Ɵ». Como
r=√(a²+b²), se sustituyen los valores dados:

r = √(a²+b²) = √((-2)²+(-2)²)

= √(4+4)

= √(8)

= √(4*2)

= 2√2.

Luego, para determinar el valor de «Ɵ», se aplica la forma rectangular de

este, que es dada por la fórmula:

tan Ɵ = b ÷ a

tan Ɵ = (-2) ÷ (-2) = 1.

Como la tan(Ɵ)=1 y se tiene que a<0, entonces se tiene que:

Ɵ = arctan(1) + Π.

= Π/4 + Π

= 5Π/4.

Como ya se consiguió el valor de «r» y «Ɵ», el número complejo z = -2 -2i

puede ser expresado en la forma polar sustituyendo los valores:

z= 2√2(cos(5Π/4) + i * sen(5Π/4)).
Ahora se usa el teorema de Moivre para calcular z4:

z4=2√2(cos(5Π/4) + i * sen(5Π/4))4

= 32(cos(5Π) + i * sen(5Π)).

Ejercicio 2

Hallar el producto de los números complejos expresándolo en su forma polar:

z1 = 4(cos 50o + i* sen 50o)

z2 = 7(cos 100o + i* sen 100o).

Luego, calcular (z1*z2)².

Solución

Primero se forma el producto de los números dados:

z1 z2 = [4(cos 50o + i* sen 50o)] * [7(cos 100o + i* sen 100o)]

Luego se multiplican los módulos entre sí, y se suman los argumentos:

z1 z2 = (4 * 7)* [cos (50o + 100o) + i* sen (50o + 100o)]

Se simplifica la expresión:

z1 z2 = 28 * (cos 150o + (i* sen 150o).

Finalmente, se aplica el teorema de Moivre:

(z1*z2)²= (28 * (cos 150o + (i* sen 150o))² = 784(cos 300o + (i* sen 300o)).
Cálculo de potencias negativas

Para dividir dos números complejos z1 y z2 en su forma polar, el módulo es

dividido y se restan los argumentos. Así, el cociente es z1 ÷ z2 y se expresa
de la siguiente manera:

z1 ÷ z2 = r1/r2 ([cos (Ɵ1– Ɵ2) + i sen (Ɵ1 – Ɵ2)]).

Como en el caso anterior, si se quiere calcular (z1 ÷ z2)³ primero se efectúa

la división y luego se utiliza el teorema de Moivre.

Ejercicio 3

Dados:

z1 = 12 (cos(3π/4) + i*sen(3π/4)),

z2 = 4 (cos(π/4) + i*sen(π/4)),

calcular (z1 ÷ z2)³.

Solución

Siguiendo los pasos descritos anteriormente se puede concluir que:

(z1 ÷ z2)³ = ((12/4)(cos(3π/4 – π/4) + i*sen(3π/4 – π/4)) )³

= (3(cos(π/2) + i*sen(π/2)))³

= 27(cos(3π/2) + i*sen(3π/2)).

Referencias
1. Arthur Goodman, L. H. ( 1996). Algebra y trigonometría con
geometría analítica. Pearson Educación.
2. Croucher, M. (s.f.). De Moivre’s Theorem for Trig Identities.
Wolfram Demonstrations Project.
3. Hazewinkel, M. (2001). Encyclopaedia of Mathematics.
4. Max Peters, W. L. (1972). Algebra y Trigonometría.
5. Pérez, C. D. (2010). Pearson Educación.
6. Stanley, G. (s.f.). Álgebra Lineal. Graw-Hill.
7. , M. (1997). Precalculo. Pearson Educación.