612 / Espacios vectoriales complejos

NUMEROS
COMPLEJOS

Como Xl ~ 0 para todo niunero real x, la ecuaci6n

x 2 = -I
no tiene soluciones reales. Para manejar este problema, los matematicos del siglo
XVIII introdujeron el numero "imaginario"

i = v=1
que se supone tiene la propiedad

pero que de otra forma podia considerarse como un niunero real. Expresiones de]a
forma
a + bi
donde a y b son niuneros reales reciben el nombre de "niuneros complejos", los
cuales se operan segfuI las reglas normales de la aritmetica, con la propiedad
adicional de que i 2 = - 1.
A principios de siglo XIX se aceptaba que un niunero complejo
a

+ bi

se considerara como otro simbolo para el par ordenado

(a, b)

de niuneros reales y que las operaciones de adici6n, sustracci6n, multiplicaci6n y divi

si6n se definieran sobre estos pares ordenados de modo que se cumplieran las leyes conocidas de la aritmetica y aderruis P = - 1. Este enfoque es el que se seguini en el
texto.

Definicion. Un numero complejo es un par ordenado de niuneros reales,

denotado por (a, b) 0 a + bi.
Ejemplo 1 A continuaci6n se presentan algunos ejemplos de niuneros cornplejos
en ambas notaciones:
Par ordenado
(3,4)
(-1 , 2)

Notacion equivalente
3 + 4i
-1 + 2i

(0, 1)

0+ i

(2,0)

2 + Oi

(4, -2)

4 + (-2)i

Para facilitar las cosas, los tres Ultimos niuneros complejos en general se abrevia
ran como

10.1 Numeros complejos

2 + Oi = 2,

0+ i = i,

+ (-

2)i = 4 - 2i

I 613

Geometricamente, un nfunero complejo se puede considerar como un punto

o un vector en el plano lJI (figura 1).
y

a + bi
-----i

Figura 1

Un nfunero complejo se puede considerar como un punto

un vector.

Ejemplo 2 En la figura 2a algunos numeros complejos se muestran como puntos y

en la figura 2b, como vectores. ~
-4 + 3i

,.

4 + 3i

------

1t" - - - - - -

I
I
I
I

-4 + 3i

4 + 3,

I
I

I
I

__ ---------------e

-4 - 3i

Figura 2

ELPLANO

COMPLEJO

4 - 3,

-4 - 3,

4 - 3i

a)

b)

Algunas veces es conveniente usar una sola letra, como z, para denotar un numero
complejo. Asi, se podria escribir
z

= a + bi

El nfunero real a se denominaparte real de z y el nfunero real b, parte imaginaria

de z . Estos nfuneros se denotan por Re(z) e Im(z) , respectivamente. Por tanto,

Re(4-3i) = 4

Im(4 -3i)= -3

Cuando los nfuneros complejos se representan geometricamente en, un

sistema de coordenadas lJI, el eje x, el eje y y el plano se denominan eje rear, eje
imaginario y plano complejo, respectivamente (figura 3).

614 / Espacios vectoriales complejos

Eje imaginario

Eje real
a

(Parte real de z)

Figura 3

OPERACIONES
CON NUMEROS
COMPLEJOS

Asi como se define que dos vectores en R2 son iguaJes si tienen las mismas COffiponentes, tambien dos nfuneros complejos son iguaJes si tanto sus partes Teales
como sus partes imaginarias son iguales:
Definicion. Dos nfuneros complejos a + bi y c + di son iguales, 10 que se escribe como
a + bi = c + di,

si a = c y b = d.
Si b = 0, entonces el nfunero complejo a + bi se reduce a a + Oi, que se
escribe simplemente como a. Asi, para cuaJquier numero real a,
a= a

+ Oi

de modo que los numeros reaJes se pueden considerar como numeros complejos
cuya parte imaginaria es cero. Geometricamente, los nlimeros reales corresponden
a puntos sobre el eje real. Si se tiene a = 0, entonces a + bi se reduce a 0 + hi, que
en generaJ se escribe como bi . Estos nfuneros complejos, que corresponden a
puntos sobre el eje imaginario, se denominan numeros imaginarios puros.
Asi como la adici6n de vectores en R2 se reaJiza sumando las componentes
correspondientes de los vectores, tambien la adici6n de nlimeros complejos se
realiza sumando las partes y las imaginarias:

(a

+ bi) + (c + di) = (a + c) + (b + d)i

(1)

Las operaciones de sustracci6n y multiplicaci6n pOT un nlimero real tambien son

semejantes a las operaciones vectoriaJes correspondientes en R2 :

I(a + bi) - (c + di)

k(a

= (a -

+ bi) = (ka) + (kb)i,

c)

+ (b -

d)i

k real

(2)

(3)

Debido a que las operaciones de adici6n, sustracci6n y multiplicacion de un

nlimero complejo por un nfunero real son semejantes a las operaciones correspon-

10.1 Numeros compLejos

/ 615

dientes para vectores en R2, las interpretaciones geometricas conocidas de estas

operaciones se cumplen para nfuneros complejos (figura 4).
Por la expresion (3) se deduce que (-I)z + z = 0 (comprobar), de modo que
(-l)z se denota por -z y se denomina negativo de z.

Soluci6n.
Zl
Zl

+ Z2

+ (-1 + 6i) = (4 - I) + (- 5 + 6)i = 3 + i

- z2 = (4 - 5i) - (- 1 + 6i) = (4 + I) + (- 5 - 6)i = 5 - Iii
3z 1 = 3(4 - 5i) = 12 - 15i
- Z2 = ( - 1)Z2 = ( - 1)( - 1 + 6i) = 1 - 6i 6.
=

(4 - 5i)

I Swna de dos nfuneros complejos. I

I Diferencia de dos nfuneros complejos. I

x
(k < 0)

(k > 0)

Figura 4

Producto de un nfuneros complejo z y un nfunero real k.

Hasta ahora se ha encontrado un paralelismo entre los numeros complejos y

los vectores en R2. Sin embargo, a continuacion se definira la multiplicacion de
nfuneros complejos, una operacion que no tiene anaIogo vectorial en R2. Para
originar la definicion, se desarrollara el producto
(a

+ bi)(c + di)

616 / Espacios vectoriales complejos

siguiendo las reglas algebraicas de costumbre, pero considerando a

Asi, se obtiene

= ac +

(a + bi)(c + di)

P como

-I.

bdi 2 + adi + bci

(ac - bd)

+ (ad + bc)i

10 cual sugiere la siguiente definicion:

(4)

(a + bi)(c + di) = (ac - bd) + (ad + bc)i

Ejemplo 4
(3 + 2i)(4 + 5i) = (3' 4 - 2 5) + (3 . 5 + 2 4)i

= 2 + 23i
(4 - i)(2 - 3i) = [4' 2 - ( - 1)( - 3)] + [(4)( - 3) + ( - 1)(2)]i
= 5 - 14i
2
i = (0 + 0(0 + i) = (0 . 0 - I . I) + (0 . I + I . O)i = - I

/1..

Se deja como ejercicio comprobar las siguientes reglas de aritmetica compleja:

Z1 Z 2

Z1

(Z2

Z 3)

= Z2 Z 1
= (z 1

Z2)

ZI(Z2 Z 3)

(ZI Z 2)Z3

+ Z3)

Z1 Z 2

ZI(Z2

Z3

+ Z1 Z 3

O+z=z
z+(-z)=O
I Z =

Estas reglas permiten multiplicar niuneros complejos sin necesidad de aplicar directamente la formula (4). Siguiendo el procedirniento usado para originar
esta formula, basta multiplicar cada termino de a + bi por cada termino de c + di,
hacer i 2 = -1 Y simplificar.
Ejemplo 5
(3 + 2i)(4 + i) = 12 + 3i + 8i + 2i2 = 12 + IIi - 2 = 10 + Iii
(5 - ~i)(2 + 3i) = IO + 15i - i - !i 2 = 10 + 14i +! =

14i

i(1 + i)(1 - 2i) = i(1 - 2i + i - 2i2) = i(3 - i) = 3i - i 2 = 1 + 3i t:.

620 /

Espacios vectoriales compZejos

10.2

MODULO; CONJUGADO COMPLEJO; DIVISION

EI objetivo principal en esta seccion es definir la division de numeros complejos.

CONJUGADOS
COMPLEJOS

Se empezani con algunas ideas preliminares.

z = a + bi es cualquier numero complejo, entonces el conjugado de z, denotado por (que se lee como liZ barra"), se define como

z,

z= a En palabras,
Geometricamente,

bi

z se obtiene invirtiendo el signo de la parte imaginaria de z.

z es la retlexion de z con respecto al eje real (figura 1).

(a, b)

(a, -b)

IConjugado de un niunero complejo. I

Figura 1

Ejemplo 1

z= i

z= 3 - 2i
z= -4 + 2i
z= - i

z=4

z=4

z = 3 + 2i

z = -4 - 2i

El Ultimo renglon del ejemplo 1 ilustra el hecho de que un

n6mero real es igual a su conjugado. Para ser precisos, se puede demostrar
(ejercicio 22) que z =
si Y solo si z es un n6mero real.

OBSERVACION.

Si un n6mero complejo z se considera como un vector en R2, entonces la norma 0

longitud de vector se denomina mOdulo (0 valor absoluto) de z. En pocas palabras:
MODULO

Definici6n.El modulo de un n6mero complejo z

define como

Ilzl=~1

________--=---_..

=---==-==--------L<~~-~

--

a + bi, denotado por Izl , se

(I)

10.2 Modulo; conjugado complejo; division

/ 621

Si b = 0, entonces z = a es un nfunero real, y

Izl=w+Q2=W=lal
de modo que el modulo de un nfunero real es simplemente su valor absoluto. Asi,
el modulo de z tambien se llama valor ahsoluto de z.

Izl

Ejemplo 2 Encontrar z si
Solucion.

Por (1) con a

3 - 4i.

= 3 Y b = -4, Izl = J(3)2 +(_4)2 =m =5. ~

El siguiente teorema establece una relacion basica entre

z y Izi.

Teorema 10.2.1. Para cualquier numero complejo z,

Demostracion.

Si z = a + bi, entonces

zz = (a + bi)(a DMSIONDE
NUMEROS
COMPLEJOS

+ bai 2
2
= a +b = W0

bi) = a 2

abi

b2 i 2

A continuacion se abordara la division de numeros complejos. EI objetivo es

definir la division como la inversa de la multiplicacion. Asi, si z2 :;.!: 0, entonces la
definicion de z = z /z2 debe ser tal que
(2)

El procedimiento sera demostrar que (2) tiene una solucion (mica para z si z2 :;.!: 0,
Y luego z /z2 se definira como este valor de z. 19ual que con los numeros reales, no
se permite la division entre cero.
Teorema 10.2.2. Si z2
unica, que es

:;.!:

0, entonces la ecuacion (2) tiene una solucion

(3)

Demostracion.
Sean z
puede escribir como

= x + iy, zl = xl + iYl Y z2 = x 2 + iY2' Entonces (2) se

622 /

Espacios vectoriales complejos

o bien

o bien, igualando las partes reales e imaginarias,

X2 X - Y2Y =

Xl

Y2 X +X2Y

Yl

o bien,
(4)

Como Z2

= X2

+ iY2

:;t:.

0, se concluye que X 2 y Y2 no son cero a la vez, de modo que

Asi, por la regIa de Cramer (teorema 2.4.3), el sistema (4) tiene la soluci6n lmica.

Por tanto,

z= X + iy

Iz:1 2 [(X I X2 + YIY2) + i(Y IX2 -

IZ212

IZ212 Z l Z2 0

1
1

Asi, para z2

:;t:.

(Xl

+ iYI )(X2 -

XIY2)]

iY2)

0 se define
(5)

10.2 Modulo; conjugado complejo; division

Para recordar esta f6rmula, multiplicar por

OBSERVACI6N.

/ 623

z2 el numerador y el

denominador de z/z2:

Ejemplo 3 Expresar
3 + 4i
1 - 2i
en la forma a + hi.

Soluci6n . Por (5), con Z 1 = 3 + 4i YZ2

1 - 2i,

3 +4i
1
--1--2i -11 _ 2i1 2 (3 + 4i)(l - 2i)
1

= - (5

5 + lOi)

=-

1
5(3 + 4i)(1 + 2i)

1 + 2i

Otra soluci6n. Asi como en la observaci6n precedente, el numerador y el

denominador se multiplican por el conjugado del denominador:
3 + 4i 3 + 4i 1 + 2i - 5 + lOi
-1---2-i = -1---2-i . -1-+-2-i =
5
= - 1 + 2i !l.
Los sistemas de ecuaciones lineales con coeficientes complejos se presentan
en varias aplicaciones. Sin entrar en detalles, se observa que los resultados sobre
sistemas lineales estudiados en los capituIos 1 y 2 se cumplen sin cambio para
sistemas con coeficientes complejos.

Ejemplo 4 Aplicando la regIa de Cramer, resolver

ix

+ 2y =

1 - 2i

4x - iy = - 1 + 3i

Soluci6n.

-~I

1 - 2i
1

-1 + 3i

x=------

I4

21

-i

(- i)(l - 2i) - 2( -1 + 3i) -7i .

=--=1
i(-i)-2(4)
-7

624 /

Espacios vectoriales complejos

i i - 2i 1
I4

Y=-li
4

Asi, la soluci6n es x

PROPIEDADES DE
LOSNUMEROS
COMPLEJOS

3i

(i)( - 1 + 3i) - 4(1 - 2i)

2-1 =

i( - i) - 2(4)

-7

+ 7i

---= l-i

-7

-i

= i, Y = 1 -

i. I'l

Esta secci6n concluye con la enumeraci6n de algunas propiedades del conjugado

complejo que senin de utilidad en secciones ulteriores.
Teorema 10.2.3.

Para nitmeros complejos cualesquiera z, zl Y z2

a ) z, +z2 =z, +z2

b ) Z,-Z2=Z,-Z2
c) z,z2 = z,z2
d) (Z,/Z2) = Z,/Z2
e) = Z

Se demostrani el inciso a) y 10 demas se deja como ejercicio.

Z,

+ Z2

+ a2) + (b, + b 2 )i
(a, + a 2 ) - (b, + b2 )i
(a, - b,i) + (a 2 - bi)
z, + Z2 0

= (a,
=
=
=

OBSERVACION. Es posible ampliar el inciso a) del teorema 10.2.3 an terminos y

el inciso c) an factores. En pocas palabras,

Z,Z2 zn =z,z2 zn

EJERCICIOS DE LA SECCION 10.2

1. En cada inciso hallar ; .
a) z = 2 + 7i

b) z = -3 - 5i

2. En cada inciso encontrar Izi.

a)z=i
b)z=-7i

c) z = 5i

c)z=-3-4i

d) z = - i

d) z = 1 + i

e) z = -9

e) z = - 8

f) z = 0

f) z = 0

10.2 Modulo; conjugado complejo; division

3. Comprobar que z -; = Izl2 para
a) z=2-4i

b) z= -3+5i

c) z=

\12- \l2i

4. Dado que z, = I - 5i Yz2 = 3 + 4i, encontrar

a) ZI/Z2

b) ZI/Z2

c) ZI/Z2

d) (ZI/z2)

5. En cada inciso, encontrar liz.

-i

a) z = i

b) z = 1 - 5i

c) z = 7

6. Dado que

z, = I + i Yz2 = I -

2i, encontrar

C)Zf-(~:)

z - 1
b)_l_
Z2

d)

!.L
IZ2

En los ejercicios del 7 al 14, realizar los calculos y expresar el resultado en la forma a + bi.
i

2
8. - - - - (1 - i)(3 + i)

7. - I +i
2 +i
10. - - - i( -3 + 4i)

11.

. (3

r:;

(1 - i)( v 3 - i)

+ 4i)2

12. - - - - i(3 - 2i)(1 + i)

1 -2i 2 + i
14. - - - - 3 + 4i
5i

13.------(1 - i)(1 - 2i)(1 + 2i)

15. En cada inciso, resolver para z.

a) iz=2-i

b) (4-3i)z=i

16. Aplicar el teorema 10.2.3 para demostrar las siguientes identidades:

a) z + 5i = z - 5i

i+z
c) -.- = - 1

b) ~= -iz

l-Z

17. En cada inciso, trazar el conjunto de puntos en el plano complejo que satisfacen la
ecuaci6n.
a) Izl = 2

b) Iz - (1

+ i)1

c) Iz - il = Iz + il

d) rm(z + i) = 3

18. En cada inciso, trazar el conjunto de puntos en el plano complejo que satisfacen la(s)
condici6n (condiciones) dada( s).
a) Iz + il ~ 1

b) I < Izl < 2

c) 12z - 4il < I

d) Izl ~ Iz + il

19. Dado que z = x + iy, encontrar

a) Re(iz)

b) rm(iz)

c) Re(iz)

d) rm(iz)

20. a) Demostrar que si n es un entero positivo, entonces los imicos valores posibles de
(lIi)n son 1, -I, i Y -i.
b) Calcular (lIi)2509 [Sugerencia. Vease el ejercicio 23(b) de la secci6n 1O.l.]

/ 625

10.3 Forma polar; teorema de De Moivre

/ 627

35. En cada inciso, aplicar la f6nnula del teorema l.4.5 para calcular la inversa de la
matriz y comprobar el resultado demostrando que M - I = A - I A = I.

-21.J

i
a) A = [ 1

b)A=[~ ~J

36. Sea p(x) = ao + alx + a 2 x 2 + ... + anx" un polinomio en el que los coeficientes ao' al'
a 2 , . . . , an son reales. Demostrar que si z es una soluci6n de la ecuaci6n p(x) = 0,
entonces tambien ~ 10 es.
37. Demostrar: Para cualquier mlmero complejo z, IRe(z)1 :::; Izl e IJm(z)1 :::; Izl.

38. Demostrar que

IRe (z)1

+ IJm(z)1 ::; Izi

v'2
[Sugerencia. Sea z = x + iy Yaplicar el hecho de que (lxl - [y1)2 ~ O. J
39. En cada inciso aplicar el metodo del ejemplo 4 de la secci6n l.5 para encontrar A-I y
comprobar el resultado demostrando que M-I = A-IA = I.

a) A = [

~
-I

10.3

0]i

1 - 2i

1+i

b) A = [

2- i

FORMA POLAR; TEOREMA DE DE MOIVRE

En esta seccion se analizara una forma para representar nitmeros complejos
usando propiedades trigonometricas. El trabajo efectuado conducira a una
formula fundamental para potencias de nitmeros complejos y a un metodo para
encontrar ralces n-esimas de nitmeros complejos.

FORMAPOLAR
DE UN NUMERO

Si z = x + iy es un n6mero complejo diferente de cero, r = Izl y () mide el angulo

entre el eje real positivo y el vector z, entonces, como se sugiere en la figura 1,

COMPLEJO
y
(x,y)

y = rsene

Figura 1

x = r cos

628 /

Espacios vectoriaies cornpiejos

x = r cos
y

(1)

= r sene

de modo que z = x + iy se puede escribir como

z

= r cos e+ ir sen e

o bien, como

Iz

r( cos

e+ i sen e)

(2)

Esta expresion se denominaforma polar de z.

ARGUMENTO DE
UN NUMERO
COMPLEJO

El Angulo 0 se denomina argumento de z y se denota por

e=

arg z

El argumento de z no esta determinado de manera imica porque se puede surnar 0

restar a 0 cualquier multiplo de 2n para obtener otro valor del argumento. Sin
embargo, solo existe un valor del argumento en radianes que satisface

Esta expresion se llama argumento principal de z y se denota por

e=

Arg z

Ejemplo 1 Expresar los siguientes niImeros complejos en forma polar usando sus
argumentos principales:
(a) z = 1 + v3i

Soluci6n de a).

b)z=-l-i

El valor de r es
r

y como x

= 1 YY =

= JzJ =

V 12 + (v3 f = v'4 = 2

./3, por (1) se infiere que

1 = 2 cos

v3 =

2 sene

10.3 Forma polar; teorema de De Moivre

/ 629

asi, cos () = 112 y sen () = .J3 I 2. EI unico valor de () que satisface estas relaciones
y cumple el requisito - n < () :$ n es () = n/3 (= 60') (vease la figura 2a).
Entonces, una forma polar de z es

z = 2 ( cos

Soluci6n de h) .

f + f)
i sen

EI valor de r es
r =

Izl =

v'(- If + ( -

1)2 = V2

-1 -i

Figura 2

b)

a)

y comox= -1 y Y = -1, por (1) se deduce que

-1 = V2 cos

-1 =V2sene

Ii

Ii.

de modo que cos () = - 11

y sen () = - 11
EI unico valor de que satisface
estas relaciones y cumple el requisito - n < () :$ n es () = -3n14 (= -135)
(figura 2b). Por tanto, una forma polar de z es

INTERPRETA-

CION
GEOMETRICA
DELA
MULTIPLICACIONYLA
DIVISION

A continuacion se mostrara como se pueden usar las formas polares para obtener
interpretaciones geometricas de la multiplicacion y la division de nlimeros complejos. Sean

y
Multiplicando, se obtiene

630 / Espacios vectoriales complejos

Recordando las identidades trigonometrieas

+ 82 ) = COS 8] cos 82 - sen 8] sen 82

sen(8] + 82 ) = sen 8] cos 82 + cos 8] sen 82
cos(8]

Se obtiene
(3)

que es una forma polar del n6mero complejo con modulo r 1r2 y argumento
01 + 02 Asi, se ha demostrado que
(4)

(i,Por que?)

En palabras, el producto de dos numeros comp/ejos se obtiene al multiplicar

sus m6dulos y sumar sus argumentos (figura 3).

Figura 3

I Producto de dos niuneros complejos. I

Se deja como ejercicio demostrar que si z2

;f;

0, entonces

(5)

a partir de 10 eual se eoncluye que

10.3 Forma polar; teotema de De Moivre

/ 631

arg (::)

= arg Zj

arg

Z2

En palabras, el cociente de dos numeros complejos se obtiene al dividir sus

m6dulos y restar sus argumentos (en el orden adecuado).
Ejemplo 2 Sean
y

Z2

v3 +;

Las fonnas polares de estos numeros complejos son

= 2 ( cos ~ + i sen ~)

Zj

= 2 ( cos

Z2

~ + ; sen ~)

(comprobar), de modo que por (3)

ZjZ2

= 4 [cos

(~+~) +; sen(~ +~) ]

= 4 [ cos

~ + ; sen ~]

= 4 [0

+ i] =

4;

y por (5)

7T

= cos -

7Tv31

+ i sen -

+ -;

= -

622

Como comprobacion, z l z2 y z l /z2 se calcularan directamente sin usar las fonnas

polares de Z 1 Y Z2:
ZjZ2

= (l

Zj

_=

Z2

+
+

v3i)(v3

++
+ +(-; +

i) = (v3 -

v3i v3 - i (v3
.---=
v3 + i V3 - i

V3)

v3)

(3

l)i = 4;

3;)

v3 1
=-+-i
2
2

632 /

Espacios vectoriales complejos

10 cual concuerda con el resultado previo. L1

El numero complejo i tiene modulo 1 y argumento n12 = (90 0 ), por
tanto, el producto iz tiene el mismo modulo que z, pero su argumento es 900 mayor
que el de z. En resumen, al multiplicar z por i gira en sentido contrario a las
manecillas del relo} por un cmgulo de 90 0 (figura 4).
y

Figura 4

FORMULA DE
DEMOIVRE

Al multiplicar por i, z gira 90 en sentido contrario a las manecillas del reloj.

Si n es un entero positivo y z
zn

r(cos () + i sen ()), entonces por la formula (3),

= z . z . z .. z = rn [ cos (e + e+.... + e~ + i sen( e + 0 + ... + e),J

n factores

n terminos

n terminos

o bien,

I~ = rn(cos nO + isen nO) I

(6)

Ademas, si z ;If:. 0, se define z-n = 1/z n.

En el caso especial en que r = 1, se tiene z = cos () + i sen (), de modo que (6)
se convierte en

(cos

e+ i sen Ot ;= cos n e + i sen n e

(7)

expresion que se denominaformula de De Moivre*. Aunque (7) se obtuvo suponiendo que n es un entero positivo, en los ejercicios se demostrara que esta formula es valida para todos los enteros n.
.
Abraham De Moivre
*Abraham De Moivre (1667-1754) matematico frances que realiz6 irnportantes contribuciones a
probabilidad, estadistica y trigonometria. Desarroll6 el concepto de eventos estadisticamente independientes,
escribi6 un tratado fundamental sobre probabilidad y ayud6 a transformar la trigonometria de una rama de
la geometria a una rama del analisis a traves del empleo de los numeros complejos. A pesar de su
irnportante trabajo, a duras penas se ias arreglaba para vivir como tutor y asesor sobre juegos y seguros.

10.3 Forma polar; teorema de De Moivre

DETERMINACION DE LAS
RAICES
n-ESIMAS

/ 633

A continuacion se mostrani como usar la formula de De Moivre para obtener

rakes de numeros complejos. Si n es un entero positivo y si z es cualquier
numero complejo, entonces la raiz n-esima de z se define como cualquier numero complejo w que cumple la ecuacion
(8)

Una raiz n-esima de z se denota por zl /n. Si z -:;t:. 0, entonces las formulas
para las raices n-esimas de z se pueden obtener como sigue. Sean

w = p(cos a + i sen a)

z = r(cos () + i sen (})

Si se supone que w satisface (8), entonces por (7) se concluye que

pn(cos na

+ i sen na) =

r(cos () + i sen (})

AI comparar los modulos de los dos miembros se observa que p n = r

p=

(9)
0

bien, que

-vr,.

donde '.l./r denota la n-esima raiz real positiva de r. Ademas, para que en (9) se
cumplan las igualdades cos na = cos 0 y sen na= sen 0, los angulos nay 0 deben
ser iguales 0 diferir por un multiplo de be. Es decir,
na = () + 2k1T,

k=O,1,.2, ...

() 2k1T

a=-+-,
n

Asi, los val ores de w

W =

p (cos a

k=0,I,2, . . .

+ i sen a) que satisfacen (8) estlin dados por

n [
2k1T) + i sen (()~ + --;2k1T) ] ,
-vr,.
cos (()
~ + --;-

k=0,1,2, . . .

Aunque hay muchos valores de k, se puede demostrar (ejercicio 16) que k = 0, 1,

2, . . . , n - 1 producen valores distintos de w que satisfacen (8), y que todas las
demas elecciones de k producen replicas de esos valores. En consecuencia, existen
exactamente n diferentes raices n-esimas de z = r(cos 0 + i sen 0), y estlin dadas
por
zl/n

= ~nr[
V r cos

(() + --;2k1T) +.
~

. (() 2k1T)] ,

i sen ~ + --;-

k=0,1,2, ... ,n-l (10)

634 / Espacios vectoriales complejos

Ejemplo 3 Encontrar las raices cubicas de - 8.

Soluci6n . Como -8 esta sobre el eje real negativo se puede usar () = n como
argumento. Ademas, r = izl = 1-81 = 8, de modo que una forma polar de -8 es
- 8 = 8(cos

1T + i sen 1T)

Por (10) con n = 3 se deduce que

3
[ cos (1T
2k1T) +isen (1T
2k1T) ] ,
(-8)1 /3=V8
3+-33+-3-

k= 0,1,2

Asi, las raices cubicas de - 8 son

2 ( cos 31T + i sen 31T) = 2

2(cos

2 cos

1T + i sen 1T) =

C31T + isen 531T)

(1"2

+ V3)
i = 1 + V3i

2( - 1) = - 2

G-'; i)

1 - V3i

Como se muestra en la figura 5, las tres raices cubicas de -8 obtenidas en el

ejemplo 3 son equidistantes, ya que estan separadas por una rlistancia de nl3
radianes (= 120) sobre la circunferencia de radio 2 con centro en el origen. Este
hecho no es fortuito . En general, por la formula (10) se concluye que las raices nesimas de z estan sobre la circunferencia de radio ~ (= ~) y son equidistantes,
separadas por una distancia de 2 nln radianes. (i,Puede el lector darse cuenta de
por que esto es asi?) Asi, una vez que se ha determinado una raiz n-esirna de z, las
demas n - 1 raices se pueden generar si esta raiz se hace girar sucesivamente en
incrementos de 2 nln radianes.

/
/

-2

Figura 5

- ./ 1 - .j3i

ILas raices cubicas de -81

10.3 Forma polar; teorema de De Moivre

/ 635

Ejemplo 4 Encontrar las rakes cuartas de 1.

Solucion. Se podria aplicar la formula (10). En vez de ello, se observa que w = 1

es una raiz cuarta de 1, de modo que las tres raices restantes se pueden generar si
esta raiz se hace girar en incrementos de 2 nl4 = n!2 radianes (= 90), En la
figura 6 se observa que las raices cuartas de 1 son
1. i, -1, -i

-- -- --- "

t:..

/'

/'

I /

"

90 0

\ 1 x

-1 I

'-=-.

\
\

Figura 6

EXPONENTES
COMPLEJOS

"" ---

-- --

/'

/'

I Las rakes cuartas de 1.

Esta seccion concluye con algunos comentarios sobre notacion.

En estudios mas detallados de niuneros complejos se definen los exponentes
complejos y se demuestra que

cos

(J

+i

sen (J = e

jlJ

(11)

donde e es un numero real irracional definido aproximadamente por e =

2.71828 ... (para quienes ya estudiaron CaIculo, en el ejercicio 18 se proporciona
una demostracion de este hecho.)
Por la expresion (11) se concluye que la forma polar
z=

r(cos

(J

+ i sen (J)

se puede escribir de manera mas breve como

(12)

Ejemplo 5 En el ejemplo 1 se. demostro que

636 / Espacios vectoriales complejos

1 + Y3i

= 2 ( cos

f + f)
i sen

Por (12), la expresion anterior tambien puede escribirse como

Es posible demostrar que los exponentes complejos obedecen las mismas

reglas que los exponentes reales, de modo que si

y
son nfuneros complejos diferentes de cero, entonces
ZIZz

r 1rZe il1t +i62 = r 1r ze i(6) +

= :J. e i6 ) -

Zz

i62

rz

= :J.ei(6) -

( 2)

( 2)

rz

Pero estas sonjustamente las formulas (3) y (5) escritas en otra notacion.
Por Ultimo, se obtendni una formula util para expresar en notacion polar.
Si

re i6 = r(cos () + i sen (})

entonces

z= r(cos () -

i sen (})

(13)

Recordando las identidades trigonometricas

sen ( - (})

-sen ()

cos( - (})

= cos

()

la expresion (13) se puede volver a escribir como

z=

r[cos( - (})

+ isen( - (})] =

re i(-6)

o bien, de manera equivalente,

(14)

En el caso especial en que r

formula

= 1, la forma polar de z es z = eifl, y (14) produce la

(15)

10.3 Forma polar; teorema de De Moivre

/ 637

EJERCICIOS DE LA SECCION 10.3

1. En cada inciso, encontrar el argumento principal de z.
c) z = - i

b) z = i

a) z = 1

d)

= 1+i

e) z = -1 + V3i

f)z=l-i

2. En cada mciso hallar el valor de () = arg(1 - J3i) que satisface la condici6n dada.
a) 0 < (}:::;;

'TT

II'TT

c) --:::;; ( ) < -

2'TT

3. En cada inciso expresar el niunero complejo en forma polar usando su argumento principal.
a) 2i

c) S+Si

b) -4

4. Dado que
polar de

zl

5. Expresar zl

= 2(cos rc/4 + j

= i, z2 = I

d) -6+6V3i

sen rc/4) y z2

e) -3-3i

= 3(cos rc/6 + i

f) 2V3-2i

sen rc/6) obtener una forma

J3i y z3 = J3 + j en forma polar y aplicar los resultados para

encontrar z,z/z3' Comprobar los resultados efectuando los calculos sin usar formas polares.

6. Usar la f6rmula (6) parI!. hallar

a) (1

+ i)12

c)

(\13 + if

7. En cada inciso, encontrar todas las rakes y trazarlas como vectores en el plano complejo.
a) (- i)I /2

b) (1 + V3i)I /2

c) (- 27)1 /3

d) (i)1 /3

e) (- 1)1 /4

f) (- 8 + 8V3i)I /4

8. Usar el metodo del ejemplo 4 para encontrar todas las rakes cubicas de I .
9. Usar el metodo del ejemplo 4 para hallar las rakes sextas de I.
10. Obtener las raices cuadradas de I + i Yexpresar los resultados en forma polar.
11. En cada inciso encontrar las soluciones de la ecuaci6n.
b)

Z4 / 3

= -4

12. Calcular cuatro soluciones de la ecuaci6n z4 + 8 = 0 y con los resultados, factorizar z4 +

8 en dos factores cuadraticos con coeficientes reales.
13. En el texto se demostr6 que al multiplicar Z por i, Z gira en sentido contrario a las
manecillas del reloj por un lingulo de 900. GCml es el efecto geometrico de dividir z
entre i?