APÉNDICE A Inducción matemática 655

Apéndice

B
Números complejos

En el capítulo 8 se estudió el problema de encontrar las raíces de los polinomios

l2 1 bl 1 c 5 0 (B.1)

Para encontrar las raíces, se utiliza la fórmula cuadrática y se obtiene

2b 6 b 2 2 4c
l5 (B.2)
2
Si b2 2 4c . 0, existen dos raíces reales. Si b2 2 4c 5 0, se obtiene una sola raíz (de multiplici-
2b
dad 2) l 5 . Para manejar el caso b2 2 4c , 0 se introduce la unidad imaginaria.†
2

i 5 21 (B.3)

†
El término imaginario no debe ser una preocupación. Es sólo un nombre. El matemático Alfred North Whitehead, en
el capítulo sobre números 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 términos técnicos. ¿Es adecuado denominar números a los números inconmensurables? ¿Son
realmente números los números positivos y negativos? ¿Son imaginarios los números imaginarios, y son números?
Éstos son ejemplos de preguntas estériles. No puede entenderse con suficiente claridad que, en la ciencia, los términos
técnicos son nombres asignados de manera arbitraria, como los nombres cristianos a los niños. No puede ponerse en
duda si los nombres están bien o mal. Pueden ser o no prácticos 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 país de las maravillas” por Humpty Dumpty, cuando le dijo a propósito de su uso de las pala-
bras, “les pago más y las hago tener el significado que yo quiero”. Así que no nos preocuparemos por si los números
imaginarios son imaginarios o son números, tomaremos la frase como el nombre arbitrario de cierta idea matemática,
que intentaremos ahora aclarar.
656 APÉNDICE B Números complejos

de manera que i2 5 21. Entonces para b2 2 4c , 0

b 2 2 4c 5 (4c 2 b 2 )(21) 5 4c 2 b 2 i

y las dos raíces de (B.1) están dadas por

b 4c 2 b 2 b 4c 2 b 2
l 52 1 i y l  52 2 il
2 2 2 2

EJ EM PLO B.1 Encuentre las raíces de la ecuación cuadrática l2 1 2l 1 5 5 0.

Solución Se tiene b 5 2, c 5 5 y b2 2 4c 5 216. Entonces b 2 2 4c 5 216 5 16 21

5 4i y las raíces son

22 1 4i
l 5 521 1 2i y l2 5 21 2 2i
2

D Definición B.1
Un número complejo es una expresión de la forma

z 5 a 1 ib (B.4)

donde a y b son números reales, a se denomina la parte real de z y se denota por Re z;

b se denomina la parte imaginaria de z y se denota por Im z. En ocasiones la represen-
tación (B.4) recibe el nombre de forma cartesiana o rectangular del número complejo z.

Observación. Si b 5 0 en la ecuación (B.4), entonces z 5 a es un número real. En este contexto

se puede ver el conjunto de números reales como un subconjunto del conjunto de números
complejos.

EJ EM PLO B.2 En el ejemplo B.1, Re l1 5 21 e Im l1 5 2.

D Definición B.2
Sean los números complejos z1 5 a1 1 ib1 y z2 5 a2 1 ib2; se definen las operaciones de
suma y multiplicación de la siguiente manera:

z1 1 z2 5 (a1 1 a2) 1 i(b1 1 b2) (B.5)

z1z2 5 (a1a2 2 b1b2) 1 i(a1b2 1 a2b1) (B.6)

EJ EM PLO B.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.

Solución 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
 APÉNDICE B Números complejos 657

y 5 Im z

4
22 1 3i 2 1 3i

23 1 2i 2 3 1 2i
21 1 i 11i
x 5 Re z
0
24 22 2 4
21 2 i 12i
23 2 2i 22 3 2 2i
22 2 3i 2 2 3i
Figura B.1
24
Doce puntos en el plano complejo.

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.
Es posible graficar un número complejo z en el plano xy graficando Re z sobre el eje x e Im z
sobre el eje y. Entonces se puede pensar que cada número complejo es un punto en el plano xy.
Con esta representación el plano xy se denomina plano complejo o de Argand. En la figura B.1 Plano complejo
se graficaron algunos puntos representativos. _
Si z 5 a 1 ib, entonces se define el conjugado de z, denotado por z , como Conjugado

_
z 5 a 2 ib (B.7)

_
La figura B.2 presenta un valor representativo de z y z .

EJEMPL O B.4 Calcule el conjugado de i) 1 1 i, ii) 3 2 4i, iii) 27 1 5i y iv) 23.

Solución 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.

No es difícil demostrar (vea el problema 46 del presente apéndice) que

_
z5z si y sólo si z es real (B.8)

Si z 5 bi con b real, entonces se dice que z es imaginario. Se puede entonces demostrar (vea el Número imaginario
problema 47) que

_
z 5 2z si y sólo si z es imaginario (B.9)

Im z Im z
z

Re z
0

Re z
0 Figura B.2
z –z se obtiene reflejando z
a) b) respecto al eje x.
658 APÉNDICE B Números complejos

Sea pn(x) 5 a0 1 a1x 1 a2x2 1 . . . 1 anxn un polinomio con coeficientes reales. Entonces se
puede demostrar (vea el problema 41) que las raíces complejas de la ecuación pn(x) 5 0 ocurren
en pares conjugados complejos. Esto es, si z es una raíz de pn(x) 5 0, entonces también lo es –z.
Este hecho se ilustró en el ejemplo B.1 para el caso de n 5 2.
Magnitud Para z 5 a 1 ib se define la magnitud de z, denotada por |z|, como

N Nota Magnitud de z 5 | z| 5 a 2 1 b 2 (B.10)

La magnitud de un número complejo
con frecuencia recibe el nombre de y el argumento de z, denotado por arg z, se define como el ángulo u entre la recta
módulo. 0z y el lado positivo del eje x. Como convención se toma
Argumento
2p , arg z # p

En la figura B.3 se puede ver que r 5 |z| es la distancia de z al origen. Si a . 0, entonces donde se
© p p¹
observa la convención de que tan21 x toma valores en el intervalo ª2 , º . Si a 5 0 y b . 0,
« 2 2»
p p
entonces u 5 arg z 5 . Si a 5 0 y b , 0, entonces u 5 arg z 52 . Si a , 0 y b . 0, entonces
2 2
u se encuentra en el segundo cuadrante y está dado por

Im z b
u 5 arg z 5 p 2 tan21
a
z 5 a 1 ib 5 reiu
b Por último, si a , 0 y b , 0 entonces u está en el tercer cuadrante y

r b
b 5 r sen u u 5 arg z 52p 1 tan21
a
u En suma, se tiene
Re z
0 a 5 r cos u a
Argumento de z
Figura B.3
Sea z 5 a 1 bi. Entonces
Si z 5 a 1 ib, entonces
a 5 r cos u y b 5 r sen u.
b
arg z 5 tan si a . 0
a
p
arg z 5 si a 5 0 y b . 0
2
p
arg z 52 si a 5 0 y b , 0 (B.11)
2

b
Im z arg z 5 p 2 tan21 si a , 0 y b . 0
z a
b
arg z 52p 1 tan21 si a , 0 y b , 0 (B.12)
a
u
Re z arg 0 no está definido
0 2u

De la figura B.4 se ve que

–z

Figura B.4 _
_ |z | 5 |z| (B.13)
Arg z 5 2arg z.
 APÉNDICE B Números complejos 659

_
arg z 5 2arg z (B.14)

Se pueden utilizar |z| y arg z para describir lo que a menudo es una representación más con-
veniente para los números complejos.† De la figura B.3 es evidente que si z 5 a 1 ib, r 5 |z| y
u 5 arg z, entonces

a 5 r cos u y b 5 r sen u (B.15)

Se verá al final de este apéndice que

eiu 5 cos u 1 i sen u (B.16)

Como cos (2u) 5 cos u y sen (2u) 5 2sen u, también se tiene

e2iu 5 cos (2u) 1 i sen (2u) 5 cos u 2 i sen u (B.16a)

La fórmula (B.16) se denomina identidad de Euler.‡ Si se utiliza la identidad de Euler y la ecua- Identidad
ción (B.15), se tiene de Euler

z 5 a 1 ib 5 r cos u 1 ir sen u 5 r(cos u 1 i sen u)

o sea,

z 5 reiu (B.17)

La representación (B.17) se denomina forma polar del número complejo z. Forma polar

y 5 Im z y 5 Im z y 5Im z

i
U
U
2
x 5 Re z x 5 Re z x 5 Re z
0 1 21 0 0

a) b) c)
y 5 Im z y 5 Im z y 5 Im z
2 2 1 7i
7i
i 11i x 5 Re z
0 22U
U
4 2i 3
x 5 Re z 2 3i x 5 Re z
0 1 21 2 3i 22 0
22i

d) e) f)

Figura B.5
Seis puntos en el plano complejo.

†
Al lector que haya estudiado coordenadas polares esta representación le parecerá familiar.
‡
Recibe este nombre en honor del gran matemático suizo Leonhard Euler (1707-1783).
660 APÉNDICE B Números complejos

EJ EM PLO B.5 Determine las formas polares de los siguientes números complejos: i) 1,
ii) 21, iii) i, iv) 1 1 i, v) 21 2 3i y vi) 22 1 7i.

Solución Los seis puntos están graficados en la figura B.5.

i) De la figura B.5a) es evidente que arg 1 5 0. Como Re 1 5 1, se ve que, en forma polar,
1 5 1ei0 5 1e0 5 1.
ii) Como arg(21) 5 p (figura B.5b) y |21| 5 1, se tiene
21 5 1epi 5 eip
p
iii) De la figura B.5c) se ve que arg i 5 . Puesto que |i | 5 0 2 1 12 5 1, se concluye que
2 ip
i5e2
© 1¹ © p¹
iv) arg (1 1 i) 5 tan21 ª º 5 ª º y |1 1 i | 5 12 1 12 5 2 , de manera que
« 1» « 4»
ip
1 1 i 5 2e 4
© b¹ p
v) En este caso, tan21 ª º 5 tan21 3 5 . Sin embargo, arg z se encuentra en el tercer
« a» 3
p 22 p
cuadrante, de manera que u 5 2 p 5 . Además
3 3

3
2
21 2 3 5 12 1 5 11 3 5 2

por lo que
22 pi
21 2 3 5 2e 3

vi) Para calcular esto se requiere una calculadora. Se encuentra que, en radianes,

© 7¹
arg z 5 tan21 ª2 º 5 tan21 (23.5) ~ 21.2925
« 2»
© 22 p p¹
Pero tan21 x está definida como un número en el intervalo ª« , º . De la figura B.5f ),
2 2»
u está en el segundo cuadrante, por lo que se ve que arg z 5 p 2 tan21(3.5) < 1.8491.
Después se ve que

|22 1 7i | 5 (22)2 1 7 2 5 53
Así,
22 1 7i ~ 53 e1.8491i

EJ EM PLO B.6 Convierta los siguientes números complejos de la forma polar a la forma
ip 3 pi
cartesiana i) 2e 3 ; ii) 4e 2 .

ip
p p 1 © 3¹ ip
Solución i) e 3 5 cos 1 i sen 5 1 ª º i. Entonces 2e 3 5 1 1 3i .
3 3 2 « 2»
3 pi 3 pi
p p
ii) e 2 5 cos3
1 i sen3 5 0 1 i (21) 52i. Entonces 4e 2 524i.
2 2
Si u 5 arg z, entonces por la ecuación (B.14), arg –z 5 2 u. Así, puesto que |–z| 5 |z|,

_
Si z 5 reiu, entonces z 5 re2iu (B.18)
 APÉNDICE B Números complejos 661

Suponga que se escribe un número complejo en su forma polar z 5 reiu. Entonces

zn 5 (reiu)n 5 rn(eiu)n 5 rneinu 5 rn(cos nu 1 i sen nu) (B.19)

La fórmula (B.19) es útil para muchos cálculos. En particular, cuando r 5 |z| 5 1 se obtiene la
fórmula de De Moivre.† Fórmula de
De Moivre

Fórmula de De Moivre
(B.18)
(cos u 1 i sen u)n 5 cos nu 1 i sen nu

EJEMPLO B.7 Calcule (1 1 i)5.

ip
Solución En el ejemplo B.5iv) se mostró que 1 1 i 5 2e 4 . Entonces
5
© pi
¹ 5 pi
5p 5 p¹
2 e ©
5
(1 1 i )5 5 ª 2e 4 º 5 4 5 4 2 ª cos 1 i sen º
« » « 4 4»

© 1 1 ¹
5 4 2 ª2 2 iº 524 2 4i
« 2 2 »

Esto se puede verificar mediante el cálculo directo. Si este cálculo directo no parece más difícil,
intente calcular (1 1 i)20 directamente. Procediendo como antes, se obtiene
20 pi
2
20
(1 1 i )20 5 e 4 5 210 (cos5p 1 i sen5p

5 210 (21 1 0) 521 024

Se demostrará que Demostración de la
identidad de Euler
e 5 cos u 1 i sen u
iu
(B.21)

usando las series de potencia. Si no está familiarizado con ellas, omita esta demostración. Se
tiene
x2 x3
e x 51 1 x 1 1 1$ (B.22)
2! 3!

x 3 x5
sen x 5 x 2 1 2$ (B.23)
3! 5!

x2 x4
cos x 5 1 2 1 2$ (B.24)
2! 4!

Aunque aquí no se demuestra, estas tres series convergen para todo número complejo x. En-
tonces

(iu  (iu  (iu  (iu 

e iu 5 1 1 (iu  1 1 1 1 1$ (B.25)
   

†
Abraham de Moivre (1667-1754) fue un matemático francés conocido por su trabajo sobre teoría de probabilidad,
series infinitas y trigonometría. Su reconocimiento era tal que Newton con frecuencia decía a quienes le hacían pre-
guntas sobre matemáticas, “vayan con De Moivre; él sabe esas cosas mejor que yo”.
662 APÉNDICE B Números complejos

Ahora bien, i 2 5 21, i 3 5 2i 4 5 1, i 5 5 i, etc. Por lo tanto, (B.25) se puede escribir como

u  iu  u  iu 
e iu 5 1 1 iu 2 2 1 1 2$
   

© u u ¹ © u u ¹
5 ª1 2 1 2$º 1 i ª u 2 1 2$º
«   » «   »
5 cos u 1 i sen u
Con lo cual se completa la demostración.

Problemas B.1
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)

De los problemas 8 al 20 convierta el número 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 1 2 3 i 15. 3 3 1 3i

16. 1 2 3 i 17. 3 2i 18. 4 3 2 4i 19. 21 1 i 3

20. 6 3 2 6i
De los problemas 21 al 33 convierta de la forma polar a la forma cartesiana.
1 34pi
21. e 3pi 22. 2e27 pi 23. e 2 pi 24. e
2
pi pi 25 pi
1 234pi
25. e 26. 5e 4 27. 6e 6 28. 4e 6
2
25 pi 23 pi 22 pi 23pi
29. 4e 6 30. 3e 4 31. 3e 3 32. 3e 4

pi
33. 2e 4
En los problemas 34 al 45 calcule el conjugado del número dado.
34. 5 1 2i 35. 3 2 4i 36. 23 1 8i 37. 4 1 6i
2 pi
38. 24 2 2i 39. 27i 40. 16 41. 7e 7

pi 23 pi 24 pi
42. 2e 7 43. 7e 5 44. 3e 11 45. e0.012i
_ _
46. Demuestre que z 5 a 1 ib es real si y sólo si z 5 z . [Sugerencia: Si z 5 z demuestre que
b 5 0.]
_ _
47. Demuestre que z 5 a 1 ib es imaginario si y sólo si z 5 2z . [Sugerencia: Si z 5 2z de-
muestre que a 5 0.]
_
48. Demuestre que para cualquier número complejo z, zz 5 |z|2.
 APÉNDICE B Números complejos 663

49. Demuestre que la circunferencia de radio 1 centrado en el origen (la circunferencia unita-
ria) es el conjunto de puntos en el plano complejo que satisfacen |z| 5 1.
50. Para cualquier número complejo z0 y cualquier número real positivo a describa
{z: |z 2 z0| 5 a}.
51. Describa {z: |z 2 z0| # a}, donde z0 ya está definido igual que en el problema 50.
52. Describa {z: a # |z 2 z0| # A}, donde z0 es cualquier número complejo y a , A.
*53. Sea p(l) 5 ln 1 an21ln21 1 an22ln22 1 . . . 1 a_1l 1a0, donde a0, a1, . . . , an21 son números
reales. Demuestre que si p(z) 5 0, entonces p(z ) 5 0. Esto es: las raíces de_polinomios con
coeficientes reales ocurren en pares complejos conjugados. [Sugerencia: 0 5 0 ; calcule p(z).]
54. Derive expresiones para cos 4u y sen 4u comparando la fórmula de De Moivre y la expan-
sión de (cos u 1 i sen u)4.
55. Demuestre la fórmula de De Moivre por inducción matemática. [Sugerencia: Recuerde
las identidades trigonométricas 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.]