APNDICE H NMEROS COMPLEJOS

10. De (15), deduzca las siguientes leyes de logaritmos:

6. Demuestre la segunda ley de exponentes para e [vase (11)].

(a) logaxy logax logax

7. Demuestre la tercera ley de exponentes para e [vase (11)].

(b) logaxy logax logax

8. Demuestre la segunda ley de exponentes [vase (15].

(c) logaxy y logax

H
Im
_4+2i

_2-2i

2+3i

i
0
_i

FIGURA 1

Nmeros complejos como

puntos en el plano Argand

Re
3-2i

A55

9. Demuestre la cuarta ley de exponentes [vase (15)].

5. Demuestre la tercera ley de logaritmos. [Sugerencia: Empiece

por demostrar que ambos lados de la ecuacin tienen la misma

derivada.]

||||

NMEROS COMPLEJOS
Un nmero complejo puede estar representado por una expresin de la forma a bi, donde
a y b son nmeros reales e i es un smbolo con la propiedad de que i2 1. El nmero
complejo a bi tambin puede estar representado por el par ordenado (a, b) y determinado como un punto en un plano (llamado plano Argand) como en la gura 1. De este modo,
el nmero complejo i 0 1 i se identica con el punto (0,1).
La parte real del nmero complejo a bi es el nmero real a y la parte imaginaria
es el nmero real b. Entonces la parte real de 4 3i es 4 y la parte imaginaria es 3. Dos
nmeros complejos a bi y c di son iguales si a c y b d; esto es, sus partes reales son iguales y sus partes imaginarias son iguales. En el plano Argand, el eje horizontal
recibe el nombre de eje real y el eje vertical se llama eje imaginario.
La suma y diferencia de dos nmeros complejos estn denidas al sumar o restar sus
partes reales y sus partes imaginarias:
a bi c di a c b di
a bi c di a c b di
Por ejemplo
1 i 4 7i 1 4 1 7i 5 6i
El producto de nmeros complejos se dene de modo que se cumplan las leyes conmutativa y distributiva de costumbre:
a bic di ac di bic di
ac adi bci bdi 2
Como i 2 1, esto se convierte en
a bic di ac bd ad bci
EJEMPLO 1

1 3i2 5i 12 5i 3i2 5i
2 5i 6i 151 13 11i

La divisin de nmeros complejos es muy semejante a racionalizar el denominador de

una expresin racional. Para el nmero complejo z a bi, se dina su conjugado
complejo como z a bi. Para hallar el cociente entre dos nmeros complejos
multiplique numerador y denominador por el conjugado complejo del denominador.
EJEMPLO 2 Exprese el nmero

1 3i
en la forma a bi.
2 5i

A56

||||

APNDICE H NMEROS COMPLEJOS

SOLUCIN Multiplique numerador y denominador por el conjugado complejo de 2 5i, es

decir 2 5i, y aproveche el resultado del ejemplo 1:

1 3i
1 3i 2 5i
13 11i
13
11

i
2 5i
2 5i
2 5i
2 52
29
29
Im

La interpretacin geomtrica del conjugado complejo se muestra en la figura 2: z es

la reexin de z en el eje real. En la caja siguiente hay una lista de algunas de las propiedades del conjugado complejo. Las pruebas se siguen de la denicin y se piden en el
ejercicio 18.

z=a+bi

i
0

Re

_i

PROPIEDADES DE CONJUGADOS

z=a-bi

zwzw

FIGURA 2
Im

|z|
0

FIGURA 3

El mdulo, o valor absoluto, z de un nmero complejo z a bi es su distancia

desde el origen. De la gura 3 se ve que si z a bi, entonces

z=a+bi
b@

+
@

bi

zn zn

zw z w

z sa

Re

b2

Note que
zz a bia bi a 2 abi abi b 2i 2 a 2 b 2

zz z

y entonces

Esto explica por qu funciona en general el procedimiento de divisin del ejemplo 2:

z
w

zw
ww

zw

Como i 2 1, puede pensar que i es una raz cuadrada de 1. Pero observe que tambin tiene i2 i 2 1 y entonces 1 tambin es una raz cuadrada de 1. Se dice
que i es la raz cuadrada principal de 1 y se escribe s1 i. En general, si c es
cualquier nmero positivo, escriba
sc sc i
Con esta convencin, la derivacin y frmula usuales para las races de la ecuacin cuadrtica ax2 bx c 0 son vlidas incluso cuando b2 4ac 0:
x

b sb 2 4ac
2a

EJEMPLO 3 Encuentre las races de la ecuacin x2 x 1 0.

SOLUCIN Usando la frmula cuadrtica, tiene

1 s1 2 4 1
1 s3
1 s3i

2
2
2

APNDICE H NMEROS COMPLEJOS

||||

A57

Observe que las soluciones de la ecuacin del ejemplo 3 son conjugados complejos
entre s. En general, las soluciones de cualquier ecuacin cuadrtica ax2 bx c 0 con
coecientes reales a, b y c son siempre conjugados complejos. (Si z es real, z z, de modo
que z es su propio conjugado.)
Ha visto que si permite nmeros complejos como soluciones, entonces toda ecuacin cuadrtica tiene una solucin. En forma ms general, es cierto que toda ecuacin
con polinomios
a n x n a n1 x n1 a 1 x a 0 0
de grado al menos 1 tiene una solucin entre los nmeros complejos. Este dato se conoce
como teorema fundamental de lgebra y fue demostrado por Gauss.
FORMA POLAR
Im

Sabe que cualquier nmero complejo z a bi puede ser considerado como un punto
a, b, y que cualquiera de estos puntos puede ser representado por coordenadas polares
r, con r 0. De hecho,

a+bi
r

a r cos

Re

b r sen

como en la gura 4. Por lo tanto

FIGURA 4

z a bi r cos r sen i
Entonces escriba cualquier nmero complejo z en la forma
z rcos i sen

r z sa 2 b 2

donde

tan

b
a

El ngulo se llama argumento de z y escriba argz. Note que argz no es nico;

cualesquier dos argumentos de z dieren en un mltiplo entero de 2.
EJEMPLO 4 Escriba los siguientes nmeros en forma polar.
(a) z 1 i
(b) w s3 i

SOLUCIN

(a) Tiene r z s12 12 s2 y tan 1, de modo que puede tomar 4.

Por lo tanto, la forma polar es

Im

_
6

i sen
4
4

FIGURA 5

z s2 cos

1+i

Re

3-i

(b) Aqu tiene r w s3 1 2 y tan 1s3. Como w est en el cuarto

cuadrante, tome 6 y

w 2 cos

Los nmeros z y w se muestran en la gura 5.

i sen

A58

||||

APNDICE H NMEROS COMPLEJOS

La forma polar de nmeros complejos da idea de la multiplicacin y la divisin. Sean

z1 r1cos 1 i sen 1

z2 r2cos 2 i sen 2

dos nmeros complejos escritos en forma polar. Entonces

z1 z2 r1r2cos 1 i sen 1 cos 2 i sen 2
r1r2 cos 1 cos 2 sen 1 sen 2 isen 1 cos 2 cos 1 sen 2
Por lo tanto, usando las frmulas de la adicin para coseno y seno

Im

z1 z2 r1r2 cos1 2 i sen1 2

Re

Esta frmula dice que para multiplicar dos nmeros complejos multiplique los mdulos y
sume los argumentos. (Vase Figura 6.)
Un argumento similar que usa las frmulas de la sustraccin para seno y coseno muestra
que, para dividir dos nmeros complejos, divida los mdulos y reste los argumentos.

zz
FIGURA 6

z1
r1

cos1 2 i sen1 2
z2
r2
Im

z2

En particular, tomando z1 1 y z2 z (y por lo tanto 1 0 y 2 ), tiene lo siguiente,

que se ilustra en la gura 7.

Re

1
r

Si

1
z

FIGURA 7

z rcos i sen , entonces

1
1
cos i sen .
z
r

EJEMPLO 5 Encuentre el producto de los nmeros complejos 1 i y s3 i en forma

polar.

SOLUCIN Del ejemplo 4

y
Im

z=1+i
2

22

12

i sen
4
4

i sen

s3 i 2 cos

Entonces, por la ecuacin 1,

1 i(s3 i) 2s2 cos

Re

2
FIGURA 8

zw

1 i s2 cos

2s2 cos

3-i
w=

Esto se ilustra en la gura 8.

4
6

i sen

i sen
12
12

4
6

APNDICE H NMEROS COMPLEJOS

||||

A59

El uso repetido de la frmula 1 muestra cmo calcular potencias de un nmero complejo. Si

z rcos i sen
z 2 r 2cos 2 i sen 2

entonces

z 3 zz 2 r 3cos 3 i sen 3

En general, obtiene el siguiente resultado, llamado as en honor al matemtico francs

Abraham De Moivre (1667-1754).

TEOREMA DE DE MOIVRE Si z rcos i sen y n es un entero positivo,

entonces
z n rcos i sen n r ncos n i sen n
Esto dice que para tomar la n-sima potencia de un nmero complejo tome la n-sima
potencia del mdulo y multiplique el argumento por n.
EJEMPLO 6 Encuentre

( 12 12 i)10.

SOLUCIN Como 2 2 i 2 1 i, se deduce del ejemplo 4(a) que 2 2 i tiene la forma

1

polar
1
1
s2
i
2
2
2

cos

i sen
4
4

Entonces, por el teorema de De Moivre,

1
1
i
2
2

s2
2

10

25
2 10

10

cos

10
10
i sen
4
4

5
5
i sen
2
2

cos

1
i
32

El teorema de De Moivre tambin se puede usar para hallar las n-simas races de
nmeros complejos. Una n-sima raz del nmero complejo z es un nmero complejo w
tal que
wn z
Si escribe estos dos nmeros en forma trigonomtrica
w scos i sen

z rcos i sen

y usa el teorema de De Moivre, obtiene

s n cos n i sen n rcos i sen
La igualdad de estos dos nmeros complejos muestra que
sn r
y entonces

cos n cos

o bien
y

s r 1n
sen n sen

A60

||||

APNDICE H NMEROS COMPLEJOS

Del hecho que seno y coseno tienen periodo 2, se deduce que

n 2k

y entonces

w r 1n cos

o bien

2k
n

i sen

2k
n

2k
n

Como esta expresin da un valor diferente de w para k 0, 1, 2, . . . , n 1, tiene lo

siguiente.

3 RACES DE UN NMERO COMPLEJO Sea z rcos i sen y sea n un entero positivo. Entonces z tiene las n races distintas n-simas

wk r 1n cos

2k
n

i sen

2k
n

donde k 0, 1, 2, . . . , n 1.

Note que cada una de las n-simas races de z tiene un mdulo wk r 1n. As, todas
las n-simas races de z estn en el crculo de radio r 1n del plano complejo. Tambin, como el argumento de cada n-sima raz sucesiva excede al argumento de la raz previa en
2n, las n-simas races de z estn igualmente espaciadas en este crculo.
EJEMPLO 7 Encuentre las seis races sextas de z 8 y graque estas races en el plano

complejo.
SOLUCIN En forma trigonomtrica, z 8cos i sen . Si aplica la ecuacin 3 con
n 6, obtiene

wk 8 16 cos

2k
2k
i sen
6
6

Obtiene las seis races sextas de 8 al tomar k 0, 1, 2, 3, 4, 5 en esta frmula:

Im
2 i w
w
2
_

w
0

2 Re

w
_2 i

FIGURA 9

Las seis races sextas de z=_8

1
s3
i
2
2

w0 8 16 cos

i sen
6
6

w1 8 16 cos

i sen
2
2

w2 8 16 cos

5
5
i sen
6
6

s2

1
s3
i
2
2

w3 8 16 cos

7
7
i sen
6
6

s2

1
s3
i
2
2

w4 8 16 cos

3
3
i sen
2
2

s2 i

w5 8 16 cos

11
11
i sen
6
6

s2

s2 i

s2

1
s3
i
2
2

Todos estos puntos se encuentran en el crculo de radio s2 como se muestra en la

figura 9.

APNDICE H NMEROS COMPLEJOS

||||

A61

EXPONENCIALES COMPLEJOS

Tambin necesita dar un signicado a la expresin e z cuando z x iy es un nmero

complejo. La teora de series innitas desarrollada en el captulo 11 se puede extender al
caso donde los trminos son nmeros complejos. Usando la serie de Taylor para e x
(11.10.11) como gua, se dene

ez

n0

zn
z2
z3
1z

n!
2!
3!

y resulta que esta funcin exponencial compleja tiene las mismas propiedades que la funcin exponencial real. En particular, es cierto que
e z z e z e z

Si pone z iy, donde y es un nmero real, en la ecuacin 4, y usa los datos en que
i 2 1, i 3 i 2i i, i 4 1, i 5 i,
Obtiene

e iy 1 iy
1 iy

...

iy2
iy3
iy4
iy5

2!
3!
4!
5!
y2
y3
y4
y5
i

i

2!
3!
4!
5!

y2
y4
y6
y3
y5

i y

2!
4!
6!
3!
5!

cos y i sen y
Aqu ha empleado la serie de Taylor para cos y y sen y (ecuaciones 11.10.16 y 11.10.15). El
resultado es una famosa frmula llamada frmula de Euler:
e iy cos y i sen y

Combinando la frmula de Euler con la ecuacin 5, obtiene

e xiy e xe iy e x cos y i sen y

EJEMPLO 8 Evale:

(a) e i

(b) e1i2

SOLUCIN
Podra escribir el resultado del ejemplo
8(a) como
&

eip 1 0
Esta ecuacin relaciona los cinco nmeros
ms famosos de todas las matemticas: 0, 1,
e, i y p.

(a) De la ecuacin (6) de Euler

e i cos i sen 1 i0 1
(b) Usando la ecuacin 7

e1i2 e1 cos

i sen
2
2

1
i
0 i1
e
e

Finalmente, observe que la ecuacin de Euler da un mtodo ms fcil de demostrar el

teorema de De Moivre:
rcos i sen n re i n r ne in r ncos n i sen n

A62

||||

APNDICE H NMEROS COMPLEJOS

EJERCICIOS

114 Evale la expresin y escriba su respuesta en la forma a bi.

1. 5 6i 3 2i

2. (4 i) (9 i)

3. 2 5i 4 i

4. 1 2i 8 3i

5. 12 7i

6. 2i ( 12 i)

7.

1 4i
3 2i

1
2

8.

1
9.
1i

5
2

3 2i
1 4i

12. i 100

13. s25

14. s3 s12

1517 Encuentre el conjugado complejo y el mdulo del nmero.

16. 1 2 s2 i

17. 4i
18. Demuestre las siguientes propiedades de nmeros complejos.
(a) z w z w
(b) zw z w
n

(c) z n z , donde n es un entero positivo

[Sugerencia: Escriba z a bi, w c di.]
1924 Encuentra todas las soluciones de las ecuaciones.

19. 4x 9 0

20. x 1

21. x 2x 5 0

22. 2x 2 2x 1 0

23. z 2 z 2 0

24. z 2 2 z 4 0

2528 Escriba el nmero en forma polar con argumento entre 0

y 2.
25. 3 3i

26. 1 s3 i

27. 3 4i

28. 8i

2932 Encuentre formas polares para z w, zw, y 1z al poner primero z y w en forma polar.

29. z s3 i,

w 1 s3 i

30. z 4 s3 4i,

w 8i

31. z 2 s3 2i,

w 1 i

32. z 4(s3 i ),

w 3 3i

34. (1 s3 i )

33. 1 i 20
35. (2 s3 2i )

36. 1 i 8

complejo.

11. i 3

De Moivre.

3740 Encuentre las races indicadas. Trace las races en el plano

3
10.
4 3i

15. 12 5i

3336 Encuentre la potencia indicada usando el teorema de

37. Las octavas races de 1.

38. Las quintas races de 32.

39. Las races cbicas de i

40. Las races cbicas de 1 i

4146 Escriba el nmero en la forma a bi.

41. e i2

42. e 2 i

43. e i3

44. e i

45. e 2i

46. e i

47. Use el teorema de De Moivre con n 3 para expresar cos 3u y

sen 3u en trminos de cos u y sen u.

48. Use la frmula de Euler para demostrar las siguientes frmulas

para cos x y sen x:

cos x

eix eix
2

sen x

eix eix
2i

49. Si u(x) f(x) ig(x) es una funcin de valor complejo de

una variable real x, y las partes real e imaginaria f(x) y g(x) son
funciones derivables de x, entonces la derivada de u se dene
que es u(x) f(x) ig(x). Use esto junto con la ecuacin 7
para demostrar que si F(x) erx, entonces F(x) rerx cuando
r a bi es un nmero complejo.
50. Si u es una funcin de valor complejo de una variable real, su

integral indenida x ux dx es una antiderivada de u. Evale

ye

1i x

dx

(b) Considerando las partes real e imaginaria de la integral de

la parte (a), evale las integrales reales

ye

cos x dx

ye

sen x dx

(c) Compare con el mtodo empleado en el ejemplo 4 de la

seccin 7.1.