1

NUMERaS

COMPLEJOS

COMPETENCIA ESPECfFICA A DESARROLLAR

Manejar los nmeros complejos y las diferentes formas de representarlos, as como las operaciones entre ellos para tener una base de conocimiento a utilizar en ecuaciones diferenciales y en diferentes aplicaciones de ingeniera.

Considere el problema de encontrar las races de los polinomios

l.}

+ bA + e =

(1)

Para encontrar las races, se utiliza la frmula cuadrtica

-b +~b2 -4c

se obtiene

A=

(2)

Si b2 - 4c > 0, existen dos races reales. Si b2 - 4c = 0, se obtiene una sola raz (de multiplicidad 2) A = -b/2. Para manejar el caso b2 - 4c < 0, se introduce la unidad maginarla.'

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 Introduction 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 numeras inconmensurables? Son realmente numeras los nmeros positivos y negativos? Son imaginarios los numeras imaginarios, y son nmeros? stos son ejemplos de preguntas estriles. No puede entenderse con suficiente 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 recordarlos, 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 significado que yo quiero", As que no nos preocuparemos por si los nmeros Imaginarios son imaginarios o son nmeros, tomaremos la frase como el nombre arbitrario de cierta Idea matemtica, que intentaremos ahora aclarar.

UNJ(}AD

Nmeros complejos

=..r-I
4c

(3)

de manera que i2

= -

1. Entonces para b2

<O

y las dos races de (1) estn dadas por

A=_!?.+~4c-b2i l 2 2
EJEMPLO 1

A =
2

!?.- ~4c-b2
2 O. 2
=

Encuentre Se tiene b son

las races de la ecuacin cuadrtica

A2 + 2A + 5
~b2 - 4c

Solucin

= 2, e = 5 Y b

2 -

4c

=
2

-16. Entonces

= ,.)-16 = Jl6..r-I = 4i
A2 = -1- 2i

Y las races

A =
l

-2 +4i

=-1 + 2i

DEFINICiN

Un nmero complejo es una expresin de la forma

+ if3

(4)

donde a y f3 son nmeros reales, a se denomina la parte real de z y se denota por Re z. f3 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 f3 = O en la ecuacin (4), entonces z = a es un nmero real. En este contexto se puede ver el conjunto de nmeros reales como un subconjunto del conjunto de nmeros complejos.

EJEMPLO

En el ejemplo 1, Re

Al

-1 e Im

Al

2. usando las reglas normales de lgebra.

Los nmeros complejos se pueden sumar y multiplicar

EJEMPLO

Sean z i) z )

= 2 + 3i Y w = 5 - 4i. Calcule i) z + w, ) 3w - 5z y ili) zw.

Solucin

= (2 + 3i) + (5 - 4i) = (2 + 5) + (3 - 4)i = 7 - i: 3w = 3(5 - 4i) = 15 - 12i; 5z = 10 + 15i, Y 3w - 5z = (15

+w +
i( - 12 -

- 12i) - (10

+ 15i) =

(15 - 10) ili) zw

15)

15 - 27 i

= (2 + 3i)(5
12

+ 7i +

- 4i) (2)(5) + 2( -4i) + (3i)(5) + (3i)( -4i) 22 + 7i. Aqu se us el hecho de que 2 = -1.

10 - 8i

+ 15i - 12i2

10

Nmeros complejos

y = Imz 4 -2 -3

3i 2

3i e3

Figura 1.1
Doce puntos en el plano complejo.

+ 2ie
-I+ie

2i

el

i x

----if---+-+----1--+-+----1--+--+-+O -4 -2 4 2 -1 - ie el - i -3 - 2ie -2 - 3ie -4 -2

e3 - 2i e2 - 3i

= Re z

PLANO COMPLEJO

Es posible graficar un nmero complejo z en el plano xy graficando Re z sobre el eje x e 1m 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 figura 1.1 se graficaron algunos puntos representativos. Si z =
IX

CONJUGADO

+ i{3, entonces se define el conjugado de z, denotado por Z, como

IX -

i{3

(5)

La figura 1.2 presenta un valor representativo de z y z.

EJEMPLO

Calcule el conjugado de i) 1 + i, ii) 3 - 4i, iii) -7

+ Si Yiv) - 3.
Si; iv) -3

Solucin

i) 1 + i = 1 -i; ii) 3 - 4i = 3

+ 4i; iii) -7 + Si = -7 -

= -3.

Imz

Imz

z ----;:"'r----~Re O

Figura 1.2

z se obtiene

reflejando z respecto al eje x.

-f----~Rez

z
a) b)

IDAD

Nmeros complejos

No es dificil demostrar (vea el problema 46 de esta unidad) que

= z si y slo si z es real

(6)

NMERO IMAGINARIO

Si z = f3i con f3 real, entonces se dice que z es imaginario. Se puede entonces demostrar (vea el problema 47) que

z= - z

si y slo si z es imaginario

(7)

Sea Pn(x) = ao + a1x + a2X: + ... + an~ un polinomio con coeficientes reales. Entonces se puede demostrar (vea el problema 41) que las races complejas de la ecuacin Pn(x) = Oocurren en pares conjugados complejos. Esto es, si z es una raz de Pn(x) = O,entonces tambin lo es z. Este hecho se ilustr en el ejemplo 1 para el caso de n = 2.
MAGNITUD

Para z

(1'

+ if3 se define la magnitud' de z, denotada por [z],como

Magnitud de z =

Izl = ~

(1'2

+ f32

(8)

ARGUMENTO

y el argumento de z, denotado por arg z, se define como el ngulo positivo del eje x. Como convencin se toma
-7T

e entre

la recta Oz y el lado

< arg z::5

7T

En la figura 1.3 se puede ver que r

[z]es la distancia de z al origen. Si (1' > O,entonces

Imz z =
O'

if3 = re"

Figura 1.3
Si z = el + f3, entonces el = r cos () y f3 = r sen ().

f3 = r sen ()

_.<-_--L O' = reos ()

~~
O'

Re z

La magnitud

de un nmero complejo

con frecuencia

recibe el nombre de mdulo.

Nmeros complejos

donde se observa a = O Y f3

la convencin

de que tan " x toma valores en el intervalo Si a = O Y f3 < O, entonces 8 = arg z = -

( - ;,

;)-

Si

> O, entonces 8 = arg z =

'TT

'TT

Si a < O Y

f3 > O, entonces 8 se encuentra en el segundo cuadrante y est dado por

8 = arg z =

'TT -

tan -1

I~I
y a

Por ltimo, si a < O Y f3 < O entonces 8 est en el tercer cuadrante

8 = arg z =

-'TT

+ tan -1 -f3

En suma, se tiene

Argumento de
Sea z = a

+ f3i.
>O

Entonces

arg z = tan ~ si a a arg z =

'TT

2 argz=-'TT

si a = O Y f3

>O
(9)

sia=Oyf3<O 2

arg z = arg z =

'TT -

tan -1

I~I
a

si a < O Y f3

>O
(lO)

-'TT

+ tan -1 ~ si a < O Y f3 < O

arg O no est definido

De la figura 1.4 se ve que

1:21

[z]

(11)

arg z = -arg

(12)

UNIDAD

Nmeros complejos

Irnz

Figura 1.4
Arg = -arg z.

-~-

..... ---~

Re z

Se pueden utilizar [z]y arg z para describir lo que a menudo es una representacin ms conveniente para los nmeros complejos.' De la figura 1.3 es evidente que si z = a + i{3, r = [z]y 8 = arg z, entonces

= r cos 8

{3= r sen 8

(13)

Se ver al final de este apndice que

ei6

cos 8 + i sen 8

(14)

Como cos (-8)

= cos 8 y sen (-8) = -sen 8, tambin se tiene

e-i6

cos (-8)

+ i sen (-8)

cos 8 - i sen 8

(14')

La frmula (14) se denomina identidad de Euler.t Si se utiliza la identidad de Euler (13), se tiene z= a o sea,

la ecuacin

+ i{3 = r cos 8 + ir sen 8 = r( cos 8 + i sen 8)

(15)

FORMA POLAR

La representacin (15) se denomina forma polar del nmero complejo z.

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).

Nmeros complejos

y =Imz

~FR" Figura 1.5

Seis puntos en el plano complejo

a) y = Imz

b)

e)

y = Imz - 2 ---+:0""""'''''
27T
=

y = Imz x = Re z

+ ~~
, , ,

7i

-f'---'-- ... x = Re z o
d)

-1-5i
e)

-5i
-2i

----'-, -t--... x = Re z

-2 O
f)

EJEMPLO

Determine v) -1 -.

las formas polares de los siguientes nmeros complejos:

i) 1, ii) -1, ili) i, iv) 1

J3i y vi) - 2 + Ti.

+ i,

Solucin

Los seis puntos estn graficados en la figura 1.5.

i) De la figura 1.5a es evidente que arg 1 1 leKl leO 1.

O. Como Re 1

1, se ve que, en forma polar;

ii) Como arg( - 1)

= 7T(figura

l.5b) Y 1-11

1, se tiene

ili) De la figura 1.5c se ve que arg i

= 7T/2. Puesto

que

lil = j02+l2 = 1, se sigue que

=.fi, de manera que

iv) arg (1

+ i)

= tan-)

(111)

= (7T/4) Y 11 + il = J12+l2

v) En este caso tan -)

(f3/ Ct) = tan " .J3 = 7T/3.

Sin embargo, arg z se encuentra

en el tercer cua=2

drante, de manera que por lo que

= 7T/3 -

7T = -27T/3. Adems

/-I-.J3/ = ~12 + (.J3r =,JI+3

-1-.J3

= 2e-27Til3
Se encuentra que, en radianes,

vi) Para calcular esto se requiere una calculadora.

arg z

= tan -) (-f) = tan -) (-

3.5) '" -1.2925

!DAD

Nmeros complejos Pero tan -1 x est definida como un nmero en el intervalo (-n/2, n/2). De la figura 1.5f, Oest en el segundo cuadrante, por lo que se ve que arg z = tr - tan-I(3.5) '" l.849l. Despus se ve que

As,

-2 + 7i '"

J53

el.8491i

EJEMPLO

Convierta ) 4e31Ti/2.

los siguientes nmeros complejos

de la forma polar a la forma cartesiana

i) 2ei

1T/3;

Solucin

i) ei1T/3 = cosn/3 ii) e31Ti/2 =cos3n/2

+ isen

n/3 =

t + (.[3/2

)i. Entonces
z

2ei1T/3 = 1 +

J3i .

+ isen3n/2

= O + i(-I) = =i. Entonces 4e31Ti/2 = -4i.

Si O = arg z, entonces por la ecuacin (12), arg

= - O. As, puesto que

Izl =

[z],

Si z = rei8,entonces

Z = re-i8

(16)

Suponga que se escribe un nmero complejo en su forma polar z = te". Entonces (17) La frmula (17) es til para muchos clculos. En particular, frmula de De Moivre. t cuando r = [z] = 1, se obtiene la

(cos O

+ i sen

frmula de De Moivre O)" = cos nO + i sen nO

(18)

EJEMPLO

Calcule (1

+ i)5. + i = fie1Ti/4
Entonces

Solucin

En el ejemplo 5iv) se mostr que 1

.--t

Abraham de Moivre (1667- 1754) fue un matemtico francs conocido por su trabajo sobre teora de probabilidad, series infinitas y trigonometra. Su reconocimiento era tal que Nevvton con frecuencia deca a quienes le hacan preguntas sobre matemticas, "vayan con De Moivre; l sabe esas cosas mejor que yo".

Nmeros complejos

Esto se puede verificar mediante el clculo directo. Si este clculo directo no parece ms dificil, intente calcular (1 + i)20 directamente. Procediendo como antes, se obtiene
(1 + i)20
=

(..fit e207Tj/4210(cos 57T + i sen 57T)

=

= iO
DEMOSTRACiN DE LA IDENTlDAD

(-1

+ O) = -1

024

Se demostrar que
eiO = cos

l!f-----

DE EULER

e + i sen e

(19)

usando las series de potencia. Si no est familiarizado con ellas, omita esta demostracin. Se tiene e' =1+x+-+-+'"
2! x3 x5 5! x4 4! x2 x3 3! (20)

senx=x--+--
3! x2

(21)

cosx=I--+--
2!

(22)

Aunque aqu no se demuestra, estas tres series convergen para todo nmero complejo x. Entonces
1 + (ie) + (ie)2 + (ie)3 2! 3!

e"

+ (ie)4 + (ie)5 +...

4! 5!

(23)

Ahora bien, i2

= -1, i3=

-i, i4= 1, i5= i, etc. Por lo tanto (23) se puede escribir como

ejO

1 + ie

e2
2!

"()3
1 _

e: + _ ie5 - ... + _
4! 5!

3!

=(I-~+~-"'J+i(e-e3
2! 4!

3!

+~-"'J
5!

= cos e + i sen e
Con lo cual se completa la demostracin. Desarrollo de competencias. Unidad 1 De los problemas 1 al 7 realice las operaciones indicadas. 1. (2 - 3i)
3. 5i(2

+ (7 - 4i)
- 2i)

2. 3(4 4. (1

+ i)

- 5(- 3

+ 6i)

+ 3i) + 4(6

+ i)(l - i)

5. (2 - 3i)(4 + 7i) 7. (-3 +2/)(7+

3i)

6. (6

+ 7i)(3 - 7i)

10

IDAD

Nmeros complejos

De los problemas 8. 5i 12. -1 - i 16. 1- Jji 20.

8 al 20 convierta el nmero complejo a su forma polar.

9. -2i
13. 3 - 3i 17. Jj-i

10. 5 14. 2 18.

+ 5i
+ 2Jji

11. -2 - 2i 15.

3Jj + 3i

4Jj -4i

19. -1 +iJj

6Jj -6i
21 al 33 convierta de la forma polar a la forma cartesiana . 22. 2e-7TTi 26. 5eTTi/4 30. 3e -3TTi/4 23. e21Ti 27. 6eTTi/6 31. 3e -277i/3 24.
.1 3TTi/4
2

De los problemas 21. e31Ti 25.

.1 -3TTi/4
2

28. 4e5TTi/6 32.

29. 4e-5TTi/6 33. J2e-TTi/4 En los problemas 34. 5

Jje23TTi/4

34 al 45 calcule el conjugado 35. 3 - 4i

del nmero dado. 36. -3 40. 16

+u

+ 8i

37. 4

+ 6i

38. -4 - 2i

39. -7i

44. 3e -4"illl
46. Demuestre {3 = O]. que z
=

45.

eO.012i

a a

+ i{3 es

real si y slo si z

z [sugerencia: si z
= -

z, demuestre que
= -

47. Demuestre que z tre que a = O]. 48. Demuestre

+ i{3es imaginario

si y slo si z

z [sugerencia: si z Iz12.

z, demues-

que para cualquier nmero complejo z, zz

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] = 1. 50. Para cualquier nmero complejo Zo y cualquier {z: [z - zol = a}. 51. Describa 52. Describa nmero real positivo a. describa

{z: [z - zol :s a}, donde Zo ya estn definidos igual que en el problema {z: a s: [z - zol :s A}, donde Zo es cualquier nmero complejo y a

50.

< A.

*53. Seap(A) = An + an_IAn-1 + an_2An-2 + ... + alA +ao' donde ao' al' ... , an_1 son nmeros reales. Demuestre que si pez) = O, entonces pez) = O. Esto es: las races de polinomios con coeficientes reales ocurren en pares complejos conjugados [sugerencia: O = O; calcule pez)]. 54. Derive expresiones para cos 48 y sen 48 comparando sin de (cos e + i sen et la frmula de De Moivre y la expan-

55. Demuestre la frmula de De Moivre por induccin matemtica [sugerencia: recuerde las identidades trigonomtricas cos (x + y) = cos x cos y - sen x sen y y sen (x + y) = sen x cos y + cos x sen y].