Apndice

NMEROS COMPLEJOS
2
En el captulo 6 se estudi el problema de encontrar las races de los polinomios

2
1 b 1 c 5 0 (1)
Para encontrar las races, se utiliza la frmula cuadrtica y se obtiene
5
2 2 b b c 6
2
4
2
(2)
Si b
2
2 4c . 0, existen dos races reales. Si b
2
2 4c 5 0, se obtiene una sola raz (de multiplicidad
2) 5 2b/2. Para manejar el caso b
2
2 4c , 0, se introduce la unidad imaginaria.

5 2 i 1 (3)

El trmino imaginario no debe ser una preocupacin. Es slo un nombre. El matemtico Alfred North Whitehead, en
el captulo sobre nmeros imaginarios de su libro lntroduction to Mathematics, escribi:
En este punto, puede ser til observar que cierto tipo de intelecto se preocupa siempre y preocupa a otros sobre
la aplicabilidad de los trminos tcnicos. Es adecuado denominar nmeros a los nmeros inconmensurables? Son
realmente nmeros los nmeros positivos y negativos? Son imaginarios los nmeros imaginarios, y son nmeros?
stos son ejemplos de preguntas estriles. No puede entenderse con suciente claridad que, en la ciencia, los trminos
tcnicos son nombres asignados de manera arbitraria, como los nombres cristianos a los nios. No puede ponerse en
duda si los nombres estn bien o mal. Pueden ser o no prcticos o sensibles; en ocasiones puede ser sencillo recor-
darlos, o ser tales que sugieran ideas relevantes o importantes. Pero el principio esencial fue enunciado con mucha
claridad en Alicia en el pas de las maravillas por Humpty Dumpty, cuando le dijo a propsito de su uso de las palabras,
les pago ms y las hago tener el signicado que yo quiero. As que no nos preocuparemos por si los nmeros ima-
ginarios son imaginarios o son nmeros, tomaremos la frase como el nombre arbitrario de cierta idea matemtica,
que intentaremos ahora aclarar.
de manera que i
2
5 21. Entonces para b
2
2 4c , 0
2 5 2 2 5 2 b c c b c b i
2 2 2
4 4 1 4 ( )( )
y las dos races de (1) estn dadas por

1
52
bb c b
i
b c b
i
2
4
2 2
4
2
2 2
1
2
52 2
2
y
2
EJEMPLO 1 Encuentre las races de la ecuacin cuadrtica
2
1 2 1 5 5 0.
Solucin
Se tiene b 5 2, c 5 5 y b
2
2 4c 5 216. Entonces b c 4 16 16 1 4
2
2 5 2 5 2 5 y las races
son

1 2
5
2 1
52 1 52 2
2 4
2
1 2 1 2
i
i i y
DEFINICIN
1
Un nmero complejo es una expresin de la forma

z

5 1 i
(4)
donde y son nmeros reales, se denomina la parte real de z y se denota por Re z. se
denomina la parte imaginaria de z y se denota por Im z. En ocasiones la representacin (4)
recibe el nombre de forma cartesiana o rectangular del nmero complejo z.
Observacin. Si 5 0 en la ecuacin (4), entonces z

5 es un nmero real. En este contexto
se puede ver el conjunto de nmeros reales como un subconjunto del conjunto de nmeros
complejos.
EJEMPLO 2 En el ejemplo 1, Re
1
5 21 e Im
1
5 2.
Los nmeros complejos se pueden sumar y multiplicar usando las reglas normales de lgebra.
EJEMPLO 3 Sean z 5 2 1 3i y w 5 5 2 4i. Calcule i) z 1 w, ii) 3w 2 5z y iii) zw.
Solucin
i. z 1 w 5 (2 1 3i) 1 (5 2 4i) 5 (2 1 5) 1 (3 2 4)i 5 7 2 i.
ii. 3w 5 3(5 2 4i) 5 15 2 12i; 5z 5 10 1 15i, y 3w 2 5z 5 (15 2 12i) 2 (10 1 15i) 5
(15 2 10) 1 i(212 2 15) 5 15 2 27i
iii. zw 5 (2 1 3i)(5 2 4i) 5 (2)(5) 1 2(24i) 1 (3i)(5) 1 (3i)(24i) 5 10 2 8i 1 15i 2 12i
2
5 10
1 7i 1 12 5 22 1 7i. Aqu se us el hecho de que i
2
5 21.
Nmeros complejos 631
Es posible grafcar un nmero complejo z en el plano xy grafcando Re z sobre el eje x e Im z
sobre el eje y. Entonces se puede pensar que cada nmero complejo es un punto en el plano xy.
Con esta representacin el plano xy se denomina plano complejo o de Argand. En la fgura A.1
se grafcaron algunos puntos representativos.
Si z

5 1 i, entonces se defne el conjugado de z, denotado por z
_
, como

z
_

5 2 i
(5)
La fgura A.2 presenta un valor representativo de z y z
_
.
EJEMPLO 4 Calcule el conjugado de i) 1 1 i, ii) 3 2 4i, iii) 27 1 5i y iv) 23.
Solucin
i. 1 1 i 5 1 2i; ii. 3 2 4i 5 3 1 4i; iii. 27 1 5i 5 27 2 5i; iv. 23 5 23.
PLANO COMPLEJO
Im z Im z
Re z
Re z

a b

z
z
y 5 Im z
x 5 Re z
23 1 i
2 1 i
2 2 i
23 2 i
2 2 3i
2 1 3i 1 3i
3 1 i
1 i
2 i
3 2 i
2 3i

2 24
24
2

4
4
Figura A.1
Doce puntos en el plano
complejo.
CONJUGADO
Figura A.2

z se obtiene reejando z
respecto al eje x.
632 APNDICE 2 Nmeros complejos
No es difcil demostrar (vea el problema 46 del presente apndice) que

z
_

5 z si y solo si z es real
(6)
Si z 5 i con real, entonces se dice que z es imaginario. Se puede entonces demostrar (vea el
problema 47) que

z
_

5 2z si y solo si z es imaginario
(7)
Sea p
n
(x) 5 a
0
1 a
1
x 1 a
2
x
2
1
. . .
1 a
n
x
n
un polinomio con coefcientes reales. Entonces se
puede demostrar (vea el problema 41) que las races complejas de la ecuacin p
n
(x) 5 0 ocurren
en pares conjugados complejos. Esto es, si z es una raz de p
n
(x) 5 0, entonces tambin lo es

z.
Este hecho se ilustr en el ejemplo 1 para el caso de n 5 2.
Para z

5 1 i se defne la magnitud

de z, denotada por |z|, como

5 5
2
z z Magnitud de 1 1
2
(8)
y el argumento de z, denotado por arg z, se defne como el ngulo entre la recta 0z y el lado
positivo del eje x. Como convencin se toma
2 , arg z #
En la fgura A.3 se puede ver que r 5 |z| es la distancia de z al origen. Si . 0, entonces
NMERO
IMAGINARIO
MAGNITUD

La magnitud de un nmero complejo con frecuencia recibe el nombre de mdulo.

ARGUMENTO
Im
Re
5 a 1 b 5 e
iu
a 5 r cos u
b 5 r sen u
b
0 a
u
r
FiguraA.3
Si z 5 1 i, entonces
5 r cos y 5 r sen .
Nmeros complejos 633
donde se observa la convencin de que tan
21
x toma valores en el intervalo 2

2 2
,

. Si
5 0 y . 0, entonces 5 5

2
arg . z Si 5 0 y , 0, entonces 5 52

2
arg . z Si , 0 y
. 0, entonces se encuentra en el segundo cuadrante y est dado por
5 aarg z 5 2
2

tan
1
Por ltimo, si , 0 y , 0 entonces est en el tercer cuadrante y
arg z 5 52 1
2

tan
1
En suma, se tiene
Argumento de z
Sea z

5 1 i. Entonces
arg z 5tan

si .0

arg si y .
2
0 0 z 5 5

arg si
2
z 52 y 50 0 ,
arg si y

5 2
2
0 0
1
, . z tan
arg zz 52 1
2

tan
1
0 0 si y , ,
0 arg no est defi inido
(9)
(10)
De la fgura A.4 se ve que

|z
_
| 5 |z|
(11)
y

arg z
_
5 2arg z
(12)
634 APNDICE 2 Nmeros complejos
Se pueden utilizar |z| y arg z para describir lo que a menudo es una representacin ms conve-
niente para los nmeros complejos.

De la fgura A.3 es evidente que si z

5 1 i, r 5 |z| y
5 arg z, entonces

5 r cos y 5 r sen
(13)
Se ver al fnal de este apndice que

e
i
5 cos 1 i sen
(14)
Como cos (2) 5 cos y sen (2) 5 2sen , tambin se tiene

e
2i
5 cos (2) 1 i sen (2) 5 cos 2 i sen
(149)
La frmula (14) se denomina identidad de Euler.

Si se utiliza la identidad de Euler y la ecuacin

(13), se tiene
z

5 1 i 5 r cos 1 ir sen 5 r(cos 1 i sen )
o sea,

z 5 re
i
(15)
La representacin (15) se denomina formapolar del nmero complejo z.
FiguraA.4
Arg z
_
5 2arg z.
I z
Re z
0
z
z
u
2u

Al lector que haya estudiado coordenadas polares esta representacin le parecer familiar.

Recibe este nombre en honor del gran matemtico suizo Leonhard Euler (1707-1783).
FORMA POLAR
Nmeros complejos 635
EJEMPLO 5 Determine las formas polares de los siguientes nmeros complejos: i) 1, ii) 21, iii) i, iv) 1 1 i,
v) 2 2 1 3i y vi) 22 1 7i.
Solucin
Los seis puntos estn grafcados en la fgura A.5.
i. De la fgura A.5a es evidente que arg 1 5 0. Como Re 1 5 1, se ve que, en forma polar,
1 5 1e
i0
5 1e
0
5 1.
ii. Como arg(21) 5 (fgura A.5b) y |21| 5 1, se tiene
21 5 1e
i
5 e
i
iii. De la fgura A.5c se ve que arg i 5 /2. Puesto que 5 1 5 0 1 1
2 2
i , se sigue que
i 5 e
i/2
iv. arg (1 1 i) 5 tan
21
(1/1) 5 (/4) y 1 5 1 5 1 1 1 2
2 2
i , de manera que
1 5 1 2
4
i e
i/
v. En este caso tann tan
2 2
5 5
1 1
3 3
( )
. Sin embargo, arg z se encuentra en el tercer cua-
drante, de manera que 5 /3 2 5 22/3. Adems
2 2 5 1 5 1 5
2
2
1 3 1 3 1 3 2
( )
por lo que
2 2 5 1 3 2e
222 3 i/
vi. Para calcular esto se requiere una calculadora. Se encuentra que, en radianes,
2 2
5 2 5 2 2
1 7
2
1
3 5 1 2925 z tan tan ( . ) . arg
( )

x 5 R :
2

x 5 R : x 5 R :
x 5 R :
x 5 R :
x 5 R :
i
y 5 Im :
1 i
y 5 Im : y 5 Im :
2 1 7i
7i
y 5 Im : y 5 Im : y 5Im :

4
2

2
2 2
2
3
2 3
2 3
Figura A.5
Seis puntos en el plano
complejo
636 APNDICE 2 Nmeros complejos
Pero tan
21
x est defnida como un nmero en el intervalo (2/2, /2). De la fgura A.5f, est en
el segundo cuadrante, por lo que se ve que arg z 5 2 tan
21
(3.5) 1.8491. Despus se ve que
22 1 5 2 1 5 2 7 2 7 53
2 2
i ( )
As,
2 1 2 7 53
1 8491
i e
i .

EJEMPLO 6 Convierta los siguientes nmeros complejos de la forma polar a la forma cartesiana i) 2e
i

/3
;
ii) 4e
3i/2
.
Solucin
i. 5
3
e
i
cos
/
3 3

1 5 1 5 1 i i e i
i
sen . .
/
1
2
3
3 2 2 1 3
( )
Entonces
ii. e
33 2
0 1

3 2 3 2
i
i i i
/
cos sen ( ) . 5 1 5 1 2 52 Entonces 44 4
3 2
e i
i /
. 52
Si 5 arg z, entonces por la ecuacin (12), arg z

5 2 . As, puesto que |

z| 5 |z|,

Si z 5 re
i
, entonces z
_
5 re
2i
(16)
Suponga que se escribe un nmero complejo en su forma polar z 5 re
i
. Entonces
z
n
5 (re
i
)
n
5 r
n
(e
i
)
n
5 r
n
e
in
5 r
n
(cos n 1 i sen n) (17)
La frmula (17) es til para muchos clculos. En particular, cuando r 5 |z| 5 1, se obtiene la
frmula de De Moivre.

frmula de De Moivre
(cos 1 i sen )
n
5 cos n 1 i sen n
(16)
EJEMPLO 7 Calcule (1 1 i)
5
.
Solucin
En el ejemplo 5iv) se mostr que 1 1 i 5 2
4
e
i /
. Entonces
1 2 2
5 4
5
i e
i /
( ) 1 5 5
( ) ( ) )

5
4
4 2
5
4
5
4
e i
i 5

/
cos sen 5 1

4 2
1
2
1
2
i 5 2 2

52 2 4 4i

Abraham de Moivre (1667-1754) fue un matemtico francs conocido por su trabajo sobre teora de probabilidad, se-
ries innitas y trigonometra. Su reconocimiento era tal que Newton con frecuencia deca a quienes le haca preguntas
sobre matemticas, vayan con De Moivre; l sabe esas cosas mejor que yo.
Nmeros complejos 637
Esto se puede verifcar mediante el clculo directo. Si este clculo directo no parece ms difcil,
intente calcular (1 1 i)
20
directamente. Procediendo como antes, se obtiene
( )
1 5 5 1 1 2 2 5
20
20
4 10
i e
i
( ) (cos
/ 20
i i sen5)
( ) 2 1 0 1024
10
5 2 1 52
Se demostrar que
e
i
5 cos 1 i sen (19)
usando las series de potencia. Si no est familiarizado con ellas, omita esta demostracin. Se
tiene
e x
x x
x
! !
1
2 3
2 3
5 1 1 1 1 (20)
seen
! !
x x
x x
5 2 1 2
3 5
3 5
(21)
cos
! !
x
x x
5 2 1 2
2 4
1
2 4
(22)
Aunque aqu no se demuestra, estas tres series convergen para todo nmero complejo x. En-
tonces
( e
i
5 1 1

i i
i i i i
)
)
2!
)
3!
)
4!
)
5!
2 3 4 5
1 1 1 1 1
( ( ( (
(23)
Ahora bien, i
2
5 21, i
3
5 2i i
4
5 1, i
5
5 i, etc. Por lo tanto (23) se puede escribir como
e
i
511 1 2 2 1 1 2 i
i i

2!

3!

4!

5!
2 3 4 5

5 2 1 2

2!

4!
2 4
1

1 2 1 2 i

3!

5!
3 5

5 1i cos sen
Con lo cual se completa la demostracin.
Problemas A2
De los problemas 1 al 7 realice las operaciones indicadas.
1. (2 2 3i) 1 (7 2 4i) 2. 3(4 1 i) 2 5(23 1 6i)
3. 5i(2 1 3i) 1 4(6 2 2i) 4. (1 1 i)(1 2 i)
5. (2 2 3i)(4 1 7i) 6. (6 1 7i)(3 2 7i)
7. (23 1 2i)(7 1 3i)
DEMOSTRACIN
DE LA IDENTIDAD
DE EULER
638 APNDICE 2 Nmeros complejos
De los problemas 8 al 20 convierta el nmero complejo a su forma polar.
8. 5i 9. 22i 10. 5 1 5i 11. 22 2 2i
12. 21 2 i 13. 3 2 3i 14. 2 2 3 1 i 15. 3 3 3 1 i
16. 1 3 2 i 17. 3 2i 18. 4 3 4 2 i 19. 1 2 1ii 3
20. i 6 3 6 2
De los problemas 21 al 33 convierta de la forma polar a la forma cartesiana.
21. e
i 3
22. e
i
2
7 2
23. e
i 2
24. e
i
1
2
3 //4
25.
/
1
2
3 4
e
i 2
26.
/4
5e
i
27.
/6
6e
i
28.
/6
4e
i 5
29. 4
5 6 /
e
i 2
30. 3
3 4 /
e
i 2
31. 3
2 3 /
e
i 2
32. 3e
i 23 //4
33.
/4
2e
i 2
En los problemas 34 al 45 calcule el conjugado del nmero dado.
34. 5 1 2i 35. 3 2 4i 36. 23 1 8i 37. 4 1 6i
38. 24 2 2i 39. 27i 40. 16 41. 7e
2i/7
42. 2e
i/7
43. 7e
23i/5
44. 3e
24i/11
45. e
0.012i
46. Demuestre que z

5 1 i es real si y slo si z 5 z
_
[sugerencia: si z 5 z
_
, demuestre que
5 0].
47. Demuestre que z

5 1 i es imaginario si y slo si z 5 2z
_
[sugerencia: si z 5 2z
_
, demues-
tre que 5 0].
48. Demuestre que para cualquier nmero complejo z, zz
_
5 |z|
2
.
49. Demuestre que la circunferencia de radio 1 centrado en el origen (la circunferencia unitaria)
es el conjunto de puntos en el plano complejo que satisfacen |z| 5 1.
50. Para cualquier nmero complejo z
0
y cualquier nmero real positivo a. describa
{z: |z 2 z
0
| 5 a}.
51. Describa {z: |z 2 z
0
| # a}, donde z
0
ya estn defnidos igual que en el problema 50.
52. Describa {z: a # |z 2 z
0
| # A}, donde z
0
es cualquier nmero complejo y a , A.
*53. Sea p() 5
n
1 a
n21

n21
1 a
n22

n22
1
. . .
1 a
1
1a
0
, donde a
0
, a
1
, . . . , a
n21
son nmeros
reales. Demuestre que si p(z) 5 0, entonces p(z
_
) 5 0. Esto es: las races de polinomios con
coefcientes reales ocurren en pares complejos conjugados [sugerencia: 0 5 0
_
; calcule p(z)].
54. Derive expresiones para cos 4 y sen 4 comparando la frmula de De Moivre y la expan-
sin de (cos 1 i sen )
4
.
55. Demuestre la frmula de De Moivre por induccin matemtica [sugerencia: recuerde las
identidades trigonomtricas cos (x 1 y) 5 cos x cos y 2 sen x sen y y sen (x 1 y) 5 sen x
cos y 1 cos x sen y].
Nmeros complejos 639