Está en la página 1de 39

17 Anlisis matemtico para Ingeniera. M. MOLERO; A. SALVADO R; T. MENARG UEZ; L.

G ARMENDI A

CAPTULO 1

Los nmeros complejos

La variable compleja permite resolver problemas muy diferentes dentro de

reas tan variadas como pueden ser hidrulica, aerodinmica, electricidad,

electromagnetismo... Algunos de ellos slo requieren el conocimiento de los

nmeros complejos, como sucede en el caso del clculo de los autovalores

asociados a sistemas de ecuaciones diferenciales lineales. Otros en cambio

requieren la utilizacin de la teora de funciones analticas complejas, como los

problemas de contorno que aparecen, por ejemplo, en el estudio del flujo de

fluidos,1 la conduccin del calor, la elasticidad o el potencial electrosttico.

Muchos problemas geomtricos pueden resolverse utilizando las

transformaciones complejas. Mientras que para los primeros bastara con los

contenidos que se revisan en este captulo, sobre los nmeros complejos y las

propiedades de sus operaciones que quiz ya conozca el alumnado de

secundaria, sin embargo para resolver los problemas de los siguientes tipos se

requiere un conocimiento profundo sobre las funciones complejas que se

estudiarn en los siguientes captulos.

Dentro de las Matemticas propiamente dichas, es interesante estudiar la

variable compleja por estar estrechamente relacionada con distintas reas, de

manera que su estudio pueda hacer accesible parte del lgebra, de la

1
Ver en Lamb, H.: Hydrodynamics, aplicaciones de la teora de funciones analticas a la
hidrodinmica.
18 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

trigonometra, o proporcione herramientas para el clculo integral y la teora de

ecuaciones diferenciales ordinarias y en derivadas parciales.

Comienza este captulo con una revisin del conjunto de los nmeros

complejos, su estructura algebraica de cuerpo conmutativo, la conjugacin, los

conceptos de mdulo y argumento, su interpretacin geomtrica en el plano y

las operaciones elementales en forma binmica y en forma polar, pues para

poder entender adecuadamente las funciones de variable compleja es

necesario comprender el conjunto sobre el que estn definidas: los nmeros

complejos. Se suponen conocidas las propiedades de los nmeros reales.

Al dotar el campo de los complejos de una distancia se tiene un espacio

mtrico. La estructura de orden de los nmeros reales se pierde con los

nmeros complejos, por lo que el concepto de infinito es ahora distinto. Es

preciso ampliar el conjunto de los complejos aadiendo un nuevo ente, el

infinito, y explicar su significado.

1.1. EL CUERPO DE LOS NMEROS

COMPLEJOS

Los antiguos algebristas operaron con expresiones en las que apareca

1 . Leibniz, en el siglo XVII, todava deca que 1 era una especie de

anfibio entre el ser y la nada. En 1 777 Euler le dio al monstruo 1 el

nombre de i (por imaginario). En la actualidad esta notacin se usa casi

universalmente, excepto en ingeniera elctrica, donde se utiliza j en lugar de i,

ya que esta letra se usa para indicar la intensidad de la corriente.


M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 19

Cuando se desarroll la teora de los nmeros complejos, la electricidad

era una materia de inters slo de laboratorio. Pero antes del final del siglo XIX

los descubrimientos sobre electricidad y electromagnetismo transformaron el

mundo, y en este proceso los nmeros complejos fueron una herramienta que

simplific el clculo con las corrientes alternas. Esto prueba que conocimientos

que son matemtica pura para una generacin se convierten en aplicados para

la siguiente.

1.1.1. Nmeros complejos en forma binmica

Definicin 1.1.1:

Un nmero complejo se define como una expresin de la forma

z = x + iy

donde x e y son nmeros reales.

Este tipo de expresin, z = x + iy, se denomina forma binmica.

Se llama parte real de z = x + iy al nmero real x, que se denota Re(z), y

parte imaginaria de z = x + iy, al nmero real y, que se denota Im(z), por lo

que se tiene entonces que: z = Re(z) + iIm(z).

El conjunto de los nmeros complejos es, por tanto,

C = {z = x + iy; x, y }.

Esta construccin permite considerar a los nmeros reales como un

subconjunto de los nmeros complejos, siendo real aquel nmero complejo de

parte imaginaria nula. As, los nmeros complejos de la forma z = x + i0 son

nmeros reales y se denominan nmeros imaginarios a los de la forma z = 0 +


20 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

iy, es decir, con su parte real nula.

Dos nmeros complejos z 1 = x + iy y z 2 = u + iv son iguales si y slo si

tienen iguales sus partes reales y sus partes imaginarias: x = u, y = v.

1.1.2. Operaciones en forma binmica

Las operaciones de suma y producto definidas en los nmeros reales se

pueden extender a los nmeros complejos. Para la suma y el producto de dos

nmeros complejos escritos en la forma binmica: x + iy, u + iv se tienen en

cuenta las propiedades usuales del lgebra con lo que se definen:

Definicin 1.1.2:

Suma: (x + iy) + (u + iv) = (x + u) + i(y + v)

Definicin 1.1.3:

Producto: (x + iy) (u + iv) = (xu yv) + i(xv + yu)

Se comprueba que el cuadrado del nmero complejo i es un nmero real

negativo, 1, pues: (0 + i) (0 + i) = 1 + i(0) = 1.

Si los nmeros complejos son reales, con su parte imaginaria nula, estas

operaciones se reducen a las usuales entre los nmeros reales ya que:

(x + i0) + (u + i0) = (x + u) + i(0)

(x + i0) (u + i0) = (xu) + i(0)

Esto permite considerar al cuerpo de los nmeros reales como un

subconjunto de los nmeros complejos, C.

Definicin 1.1.4:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 21

El conjugado del nmero complejo z = x + yi, se define como: z = x y i

1.1.3. Propiedades algebraicas

El conjunto de los nmeros complejos con las operaciones de suma y

producto tiene estructura de cuerpo conmutativo. Esto es, verifica las

siguientes propiedades:

1. Propiedad asociativa de la suma: (z1 + z 2 ) + z 3 = z1 + (z 2 + z3 ) para

todo z1 , z 2 , z3 C.

2. Propiedad conmutativa de la suma: z1 + z2 = z1 + z 2 para todo z1 ,

z 2 C.

3. Existencia de elemento cero: Existe un elemento, 0 = 0 + 0i, tal

que para todo z C, verifica: z + (0 + 0i) = (0 + 0i) + z = z.

4. Existencia de elemento opuesto: Para todo z C, existe z C,

definido como z = x + (y)i, tal que z + (z) = 0.

5. Propiedad asociativa del producto: (z1 z2 )z 3 = z1 (z 2 z 3 ) para todo

z 1 , z2 , z 3 C.

6. Propiedad conmutativa del producto: z1 z2 = z1 z 2 para todo z1 , z 2

C.

7. Existencia de elemento unidad: Existe un elemento, 1 = 1 + 0i, tal

que para todo z C, verifica: z(1 + 0i) = (1 + 0i)z = z.

8. Existencia de elemento inverso: Para todo nmero complejo no

1 x iy
nulo, z C/{0}, existe z-1 = = , tal que zz -1 = 1.
2
z x +y 2
22 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

9. Propiedad distributiva: z1 (z 2 + z 3 ) = z 1 z2 + z 1 z 3 para todo z 1 , z 2 ,

z 3 C.

Todas estas propiedades son sencillas de verificar, lo que se deja como

ejercicio. (Ejercicio 1.1).

Se observa que, en efecto, el inverso de z no est definido para el

elemento nulo, pues entonces se estara dividiendo por cero, ya que entonces

x2 + y2 = 0.

El cuerpo de los complejos es algebraicamente cerrado. Esto significa que

cualquier polinomio de grado n, mayor o igual a uno, con coeficientes reales o

complejos tiene al menos una raz compleja. Este resultado, (que se

demostrar en el captulo 4) se conoce como Teorema Fundamental del

lgebra y fue probado por Gauss (1 799). Como consecuencia se tiene que

cada polinomio de grado n tiene exactamente n races en el campo complejo,

no necesariamente distintas.

Se recuerda que los nmeros reales tienen estructura de cuerpo

conmutativo y ordenado. Al ser un subconjunto de los nmeros complejos, son

un subcuerpo de ellos. Pero como contrapartida se pierde una importante

propiedad, el orden. El cuerpo de los nmeros complejos no es un cuerpo

ordenado.

Ejemplos resueltos

Ejemplo 1.1.1: Calcular (2 i)(1 + 2i)

Para calcular (2 i)(1 + 2i) se procede con las reglas usuales del lgebra
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 23

teniendo en cuenta que i2 = 1:

(2 i)(1 + 2i) = 2 + 4i i 2i2 = 2 + 4i i + 2 = 4 + 3i.

Ejemplo 1.1.2: El conjugado del nmero complejo z = 3 + 5i, es z = 3 5i

Ejemplo 1.1.3: Para dividir nmeros complejos se multiplica, numerador y

denominador por el conjugado del denominador, y as se consigue que el

denominador sea un nmero real:

2 2( 1 i) 2 2i
= = = 1 i .
1 + i ( 1 + i) (1 i) 1 + 1

Ejemplo 1.1.4: Para elevar a potencias la unidad imaginaria, se tiene en

cuenta que i2 = 1, y por tanto, i3 = i, i4 = 1:

i6 = 1,

1 1 i
i-3 = = = = i.
i3 i ( 1)

Ejemplo 1.1.5: Calcular (1 + i)4.

Utilizando el binomio de Newton se obtiene:

4 4 4 2 4 3 4 4
(1 + i)4 = 14 + i + i + i + i = 1 + 4i 6 4i + 1 = 4.
0 1 2 3 4

Ejercicios

1.1. Demostrar que las operaciones de suma y producto de nmeros

complejos dotan a C de una estructura de cuerpo conmutativo.

1.2. Comprobar que:

a) (1 i)4 = 4.
24 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

5 + 10i 2 i
b) + = 2
3 4i i

c) (1 + i)5 = 4 4i

1.3. Realizar las siguientes operaciones con nmeros complejos:

68
a)
(1 i) (2 i) (3 i)

b) (2 + i) i (1 2i) .

2+i 3+i
c) +
4 3i 5i

d) (3 2i)(3 + 2i)

1.4. Comprobar si:

a) Im(iz) = Re(z).

b) Re(iz) = -Im(z).

c) Im(iz) = 0.

1 1
d) Re((3 i)( + i )(3 + i)) = 2.
5 10

1.5. Comprobar si:

a) Im z3 = 3x2y y3

b) (Im z)3 = y3.

z 2 xy
c) Im = 2
z x + y2

1.6. Calcular:

z
a) Im
z
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 25

b) Re(z4)

c) (Re(z))4

1.2. REPRESENTACIN GEOMTRICA.

DIAGRAMA DE ARGAND

El desarrollo moderno de los nmeros complejos empez con el

descubrimiento de su interpretacin geomtrica que fue indistintamente

expuesta por John Wallis (1 685) y ya de forma completamente satisfactoria por

Caspar Wessel (1 799). El trabajo de Wessel no recibi ninguna atencin, y la

interpretacin geomtrica de los nmeros complejos fue redescubierta por Jean

Robert Argand (1 806) y de nuevo por Carl Friedrich Gauss (1 831).

El conjunto de los nmeros complejos con las operaciones de suma y el

producto por un nmero real tiene estructura de espacio vectorial de dimensin

dos, y es, por tanto, isomorfo a 2. Una base de este espacio est formada por

el conjunto {1, i}. (Ejercicio 1.7).

z = x + iy

Figura 1.1: Representacin de los nmeros complejos

Al igual que los nmeros reales representan los puntos de una recta, los
26 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

nmeros complejos pueden ser puestos en correspondencia biunvoca con los

puntos de un plano. Los nmeros reales se representan en el eje de abscisas o

eje real, y a los mltiplos de i = 1 se les representa como puntos del eje

imaginario, perpendicular al eje real en el origen. A esta representacin

geomtrica se la conoce como el Diagrama de Argand. El eje y = 0 se

denomina eje real y el x = 0, eje imaginario.

Como la condicin necesaria y suficiente para que x + iy coincida con u +

iv es que x = u, y = v, el conjunto de los nmeros complejos se identifica con

2, y los nmeros complejos se pueden representar como puntos del plano

complejo. El nmero complejo z = x + iy se corresponde con la abscisa y la

ordenada del punto del plano asociado al par (x, y). En unas ocasiones se

refiere el nmero complejo z como el punto z y en otras como el vector z.

La suma de nmeros complejos corresponde grficamente con la suma

de vectores. Sin embargo, el producto de nmeros complejos no es ni el

producto escalar de vectores ni el producto vectorial.

El conjugado de z, z , es simtrico a z respecto del eje de abscisas.

Ejemplos resueltos

Ejemplo 1.2.1: Representar en el plano de Argand los nmeros complejos:

a = 2 + i, b = 2i y c = 2 2i.

Los nmeros complejos a = 2 + i, b = 2i y c = 2 2i se representan:


M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 27

b=2i a = 2+i

c=22i

Figura 1.2: Ejemplo 1.2.1 - Representacin de a, b y c.

Ejemplo 1.2.2: Representar en el plano de Argand los nmeros complejos:

2 + 3i, 1 + 2i, 3 2i, 5 + i y 4 3i.

Figura 1.3: Ejemplo 1.2.2 - Representacin de nmeros complejos

Ejemplo 1.2.3: Representar el nmero complejo conjugado de a = 2 + i.


28 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

El conjugado de a = 2 + i, 2 i, se representa:

2+i

2i
Figura 1.4: Ejemplo 1.2.3 - Representacin del conjugado.
Figura 1.2.4: Representacin del conjugado.

y se observa que es el simtrico respecto del eje de abscisas. La conjugacin

es un automorfismo del campo complejo relacionado con la simetra.

Ejemplo 1.2.4: Representar la suma de dos nmeros complejos.

La suma se representa igual que la suma vectorial:

Figura 1.2.4: Representacin de la suma de nmeros complejos.


Figura 1.5: Representacin de la suma de nmeros complejos.

Ejemplo 1.2.5: Representar el producto del nmero complejo 2 + i por la

unidad imaginaria: i.

El producto de 2 + i por i es igual a 1 + 2i, y al representarlo se observa


M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 29

que multiplicar por la unidad imaginaria es girar 90.

Figura 1.2.6: Representacin del producto de un nmero complejo por la unidad imaginaria
Figura 1.6: Representacin del producto de un nmero complejo por la unidad imaginaria

Ejercicios

1.7. Demostrar que C, con las operaciones de suma y el producto de

un nmero real, tiene estructura de espacio vectorial bidimensional.

1.8. Representar grficamente los siguientes nmeros complejos:

a) a = 3i

b) b = 2i

c) c = 5

d) d = 1 + i

e) e = 1 i

1.9. Representar grficamente el conjugado de los nmeros

complejos:

a) a = 3i

b) b = 2i
30 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

c) c = 5

d) d = 1 + i

e) e = 1 i

1.10. Representar grficamente la suma de los siguientes nmeros

complejos:

a) a + b

b) a + c

c) b + d

d) d + e

1.11. Representar grficamente el producto de los siguientes

nmeros complejos:

a) ai

b) bi

c) ci

d) di

e) ei.

1.3. FORMA POLAR

1.3.1. Mdulo

Definicin 1.3.1:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 31

El mdulo de un nmero complejo se define como z = x 2 + y 2 , y

representa la distancia de z al origen, es decir, la longitud del vector libre (x, y)

de 2.

Por tanto el mdulo nunca puede ser un nmero real negativo. El mdulo

de un nmero real coincide con su valor absoluto.

Aunque no tiene sentido decir si z1 < z 2 , salvo que sean nmeros reales,

s tiene sentido la desigualdad z1 < z2 y significa que z1 est ms prximo al

origen que z2 .

Otra forma de expresar el mdulo de un nmero complejo es mediante la

expresin z = z z donde z es el conjugado de z, siendo el producto de un

nmero complejo por su conjugado igual a (x + iy)(x iy) = x2 + y2 un nmero

real y positivo.

1.3.2. Argumento

El argumento de un nmero complejo z, si z 0, representa el ngulo, en

radianes, que forma el vector de posicin con el semieje de abscisas positivas.

x y
Es por tanto cualquier nmero real tal que cos = , sen = . Se tiene
z z

entonces que cada nmero complejo no nulo tiene infinidad de argumentos,

positivos y negativos, que se diferencian entre s en mltiplos enteros de 2.

Si z es igual a cero, su mdulo es cero, pero su argumento no est

definido.

Si se quiere evitar la multiplicidad de los argumentos se puede


32 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

seleccionar para un intervalo semiabierto de longitud 2, lo que se llama

elegir una rama del argumento; por ejemplo, si se exige que (, ], (o para

otros autores a [0, 2)), se obtiene el argumento principal de z, que se denota

por Arg(z). Si z es un nmero real negativo su argumento principal vale . En

ocasiones es preferible utilizar argumentos multivaluados:

arg(z) = {Arg(z) + 2k; kZ}

donde Z representa el conjunto de los nmeros enteros.

Si se define Arg(z) como arctg(y/x) se tiene una nueva ambigedad, ya

que existen dos ngulos en cada intervalo de longitud 2 de los cuales slo uno

es vlido. Por todo ello, las afirmaciones con argumentos deben ser hechas

con una cierta precaucin, pues por ejemplo la expresin:

arg(zw) = arg(z) + arg(w)

es cierta si se interpretan los argumentos como multivaluados.

Si z es distinto de cero, z verifica que z = z, y Arg( z ) = Arg(z).

1.3.3. Propiedades del mdulo, del conjugado y del

argumento de un nmero complejo

Algunas propiedades del conjugado y del mdulo de un nmero complejo

son:

1. z, w C, z + w = z + w , z w = z w , z w = z w .

2. z C, z = z, Arg( z ) = Arg(z), arg( z ) = arg(z).

3. z z = z .
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 33

z z
4. z, w C, z z = z2, z = z, zw = zw, = .
w w

5. z = 0 z = 0.

z+z zz
6. z C, Re(z) = , Im (z) = .
2 2i

7. z C, Re(z)z, Im(z)z, zRe(z)+Im(z)

8. z, w C, zwz + w z+ w

Las propiedades de la conjugacin prueban que sta es un

automorfismo idempotente en C. Se observa que las desigualdades 7 y 8 son

siempre entre nmeros reales, no entre complejos, por lo que s tiene sentido

escribir una desigualdad. La segunda parte de la propiedad 8 se conoce con el

nombre de desigualdad triangular. Las propiedades del mdulo prueban que

ste es una norma en el espacio vectorial C.

La comprobacin de estas propiedades se deja como ejercicio. (Ejercicio

1.12).

1.3.4. Forma polar

Definicin 1.3.2:

Si es igual al mdulo del nmero complejo no nulo z y es un

argumento de z, entonces (, ) son las coordenadas polares del punto z.

La conversin de coordenadas polares en cartesianas y viceversa se

hace mediante las expresiones:

x = cos , y = sen , por lo que z = x + iy = (cos + isen ).

Esta ltima expresin es vlida incluso si z = 0, pues entonces = 0, por


34 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

lo que se verifica para todo .

Ejemplos resueltos

Ejemplo 1.3.1: Calcular el mdulo de los siguientes nmeros complejos:

2 + 3i y 4 + i.

Al calcular 2 + 3i = 13 y 4 + i = 17 se sabe que el primero dista

menos del origen que el segundo.

Ejemplo 1.3.2: Calcular el argumento de los siguientes nmeros

complejos: 5i, 7i, 3 y3.

3
El argumento principal de 5i es igual a , el de 7i es , el de 3 vale 0
2 2

y el 3 es .

Ejemplo 1.3.3: Escribir en forma binmica el nmero complejo de mdulo


2 y argumento .
3


El nmero complejo de mdulo 2 y argumento principal es 1+ 3 i, ya
3


que: x = 2 cos = 1 e y = 2 sen = 3.
3 3

Ejemplo 1.3.4: Calcular el mdulo y el argumento de: 1 i.

El nmero complejo 1 i tiene de mdulo = ( 1) 2 + ( 1) 2 = 2.

5
Uno de sus argumentos es + = , y su argumento principal es
4 4

3 3
, por tanto arg(1 i) = + 2k.
4 4
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 35

Ejemplo 1.3.5: Comprobar si se verifica que Arg(zw) = Arg(z) + Arg(w).

Se verifica que arg(zw) = arg(z) + arg(w) considerando estos argumentos

como conjuntos, y en general no se verifica que Arg(zw) = Arg(z) + Arg(w),


pues por ejemplo Arg((i)2) = Arg(1) = , mientras Arg(i) + Arg(i) =
2 2

= .

Ejercicios

1.12. Demostrar las propiedades del apartado 1.3.3.

1.13. Discutir el significado de las siguientes expresiones, poniendo

distintos ejemplos:

a) arg(zw) = arg(z) + arg(w),

b) arg( z ) = arg(z1) = arg(z),

c) arg(z/w) = arg(z) arg(w).

1.14. Calcular el modulo y el argumento principal de los siguientes

nmeros complejos:

a) 3 i

b) 2 2i

c) 1 3i

d) 4i

1.15. Expresar en forma polar los siguientes nmeros complejos:

a) i
36 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

b) i

c) 4 + 4i

d) 4

1.4. FORMA EXPONENCIAL DE UN NMERO

COMPLEJO

Definicin 1.4.1.:

Se denomina Frmula de Euler a la expresin:

ei = exp(i) = cos + isen ,

donde se mide en radianes.

Definicin 1.4.2:

La frmula de Euler permite expresar un nmero complejo no nulo en lo

que se conoce como la forma exponencial:

z = zei = ei.

Al estudiar la funcin exponencial se justificar esta expresin.

Para cada valor previamente fijado de los puntos de la ecuacin z =

ei estn sobre la circunferencia de radio y centro el origen.

Dos nmeros complejos, z1 = ei y z2 = rei, no nulos, son iguales si, y

slo si, = r y = + 2k, donde k es cualquier nmero entero.


M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 37

1.4.1. Operaciones entre nmeros complejos en forma

exponencial

Para multiplicar nmeros complejos expresados en una de estas

formas, basta multiplicar sus mdulos y sumar sus argumentos:

(ei) (rei) = (r)ei(+).

La relacin entre nmeros complejos y transformaciones geomtricas,

donde multiplicar por i corresponde a girar 90, y multiplicar por a + bi es girar

el argumento de dicho nmero y aplicar una homotecia de razn su mdulo, es

muy til en la Mecnica y en otras partes de la Fsica.

Para dividir nmeros complejos, basta dividir sus mdulos y restar sus

argumentos:

e i i ( )
= e
r e i r

El inverso de un nmero complejo distinto de cero, z = ei, tiene como

mdulo, el inverso del mdulo, y como argumento, el opuesto del argumento:

1 1 i
z 1 = = e
z

Para elevar un nmero complejo a una potencia, se eleva el mdulo a

dicha potencia, y se multiplica el argumento por el exponente. As:

(rei)n = (rn)eni,

cualquiera que sea el nmero entero n, lo que permite calcular races n-simas.

Para calcular la raz n-sima de un nmero complejo, w = n z , se tiene


38 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

en cuenta que si w = r e i = n z = n e i el mdulo r debe ser igual a r = n ,

pero al tener un nmero complejo muchos argumentos, ahora el argumento no

es nico, sino que se tienen n argumentos distintos, e iguales a

+ 2k 2k
= = + , donde k toma los valores desde 0 hasta n 1 antes de
n n n

que dichos valores comiencen a repetirse.

Por tanto la funcin raz n-sima es una funcin multivalorada, con n

valores que se pueden representar grficamente en los vrtices de un n-gono

regular de centro el origen y radio, el mdulo r = n , pues todas las races

estn situadas en la circunferencia de radio r = n uniformemente espaciadas

2
cada radianes.
n

Todas estas expresiones pueden deducirse teniendo en cuenta que en

la frmula de Euler, ei = cos + isen , se encierra toda la trigonometra

elemental.

A modo de ejemplo se demuestra la frmula del producto de nmeros

complejos en forma exponencial:

z 1 z2 = (ei) (rei) = (r)ei(+).

Demostracin:

z 1 z 2 = (ei) (rei) = (cos + isen ) r(cos + isen ) =

= (r) [cos cos sen sen ] + i[cos sen + sen cos ] =

= (r)(cos (+) + isen (+)) = (r)ei(+ ).

De igual modo se obtiene la frmula del seno de una suma o del coseno
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 39

de una suma considerando en la demostracin anterior nmeros complejos de

mdulo uno.

Se comprueba que el conjugado de un nmero complejo tiene el mismo

mdulo y el argumento opuesto: e i = e-i.

1.4.2. Frmula de Moivre

Al aplicar la frmula obtenida de una potencia al nmero complejo de

mdulo uno, e i ( )n = e in , se obtiene que


(cos + isen )n = cos(n) + isen(n),

cualquiera que sea el nmero entero n.

Esta expresin, que permite conocer sen(nx) o cos(nx) en funcin de cosx

y sen x desarrollando la potencia mediante el binomio de Newton y separando

partes real e imaginaria, se conoce como frmula de Moivre.

Ejemplos resueltos

Ejemplo 1.4.1: Representar grficamente el producto de los nmeros


i i
complejos: 2e6 , 3e4 .
40 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Figura 1.7: Representacin del producto de nmeros complejos

2
Ejemplo 1.4.2: Calcular: .
1 + 3i

2
Para dividir se pueden escribir los nmeros complejos en forma
1 + 3i

exponencial y dividir los mdulos y restar los argumentos:

2
2 2 e i 2 ( 3 )i i 1 3
= = e = 1e 3 = + i
1 + 3i 2 2 2
i
2e 3

2
2 i
Por tanto escrito en forma exponencial es e 3 , de mdulo 1, y
1 + 3i

2
argumento principal . Decir que su mdulo es 1 es decir que est sobre la
3

circunferencia de centro el origen y radio 1.

60
2
Ejemplo 1.4.3: Calcular .
1 + 3i

Para calcular una potencia, en general es mucho ms sencillo utilizar la


M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 41

forma exponencial en vez de aplicar la frmula del binomio de Newton. Por

60
2
ejemplo, si se quiere calcular , es mucho ms prctico calcular
1 + 3i

60
2 i 2 60
3 i
e = e 3 = e i 40 = 1.

Ejemplo 1.4.4: Calcular la raz cbica de 1.

Para calcular una raz n-sima se debe recordar que se tienen n races

distintas:


i 1 3
1e 3 = + i
2 2
2
( +
3 1 = 3 1e i =
)i
1e 3 3 = e i = 1
( + 2 2 )i 5
i
1e 3 3 =e 3 =
1 3
i
2 2

Ejemplo 1.4.5: Resolver z3 = 1.

Esto permite resolver ecuaciones. As, las soluciones de la ecuacin

cbica z3 = 1 son tres, la raz real 1, y las races complejas conjugadas:

1 3
i.
2 2

Ejemplo 1.4.6: Representar grficamente las races cbicas y cuartas de

la unidad.
42 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

1.8: Races de la unidad

Ejercicios

1.16. Comprobar los resultados siguientes:

a) (1 + i)16= 28 = 256.

i
3e 6
5
i
3 27i = 3 e 6
b)
i 9
3 e 6

1.17. Realizar las siguientes operaciones con nmeros complejos,

expresndolos previamente en forma exponencial:

2i
a)
2 2i

30
1 3i
b) +
2 2

1.18. Resolver las ecuaciones, obteniendo las races reales y

complejas:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 43

a) x2 = 1

b) x3 = 8

c) x4 + 16 = 0

1.19. Calcular las races n-simas de la unidad, para n = 2, 3 y 4.

Representarlas grficamente, y comprobar que estn sobre la

circunferencia de radio 1, y en los vrtices de un polgono regular.

1.5. TOPOLOGA DEL PLANO COMPLEJO

Al identificar C con el plano real 2 mediante la biyeccin que asocia el

par (x, y) con el nmero complejo x + yi tiene sentido hablar del plano

complejo, y se puede dotar a C de una estructura de espacio mtrico

definiendo una distancia d(z, w) = z w, que es la distancia eucldea, con lo

que (C, d) es un espacio mtrico. Cmo el mdulo es una norma, C tiene

estructura de espacio vectorial normado.

Se deja como ejercicio comprobar que con esta definicin d es una

distancia.

Tener una mtrica permite utilizar el concepto de entorno. Para ello se

introducen los siguientes conceptos:

Disco abierto o bola abierta de centro z0 y radio r es el conjunto de

puntos z interiores a la circunferencia de centro z 0 y radio r:

B r (z 0 ) = {z C; z z 0 < r}.

Disco cerrado o bola cerrada de centro z0 y radio r es igual al crculo de


44 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

centro z0 y radio r:

Br ( z0 ) = {z C; z z 0 r}.

La frontera del disco es igual a la circunferencia de centro z0 y radio r:

Fr(B r (z 0 )) = {z C; z z0 = r}.

Entorno del punto z0 y radio es igual a la bola abierta de centro z 0 y

radio :

Ent (z0 ) = {z C; z z 0 < } = B (z 0 ).

Entorno punteado, o disco pinchado, de centro z0 y radio r es el

conjunto de puntos z interiores a la circunferencia de centro z0 y radio r salvo el

propio punto z0 :

B r (z 0 ) = {z C; 0 < z z 0 < r}.

Se puede definir ahora una topologa en C y hablar de proximidad. Los

conceptos topolgicos que se necesitarn son anlogos a los ya estudiados en

funciones de varias variables, de los que se utilizarn de manera especial los

conceptos de abierto, cerrado, conexo y dominio.

Se dice que z es un punto interior de un conjunto A C, si existe algn

entorno de z contenido en A. Se dice que z es un punto exterior de A C, si

existe algn entorno de z que no contiene puntos de A. Si un punto z no es ni

interior ni exterior de A se dice que es un punto frontera de A; por lo tanto en

todo entorno de un punto frontera existen puntos de A y puntos que no

pertenecen a A.

Un conjunto es abierto si todos sus puntos son interiores. Luego:


M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 45

X es un conjunto abierto z X, r > 0, B r (z) X.

Un conjunto X es cerrado si su complementario (conjunto de puntos de C

que no pertenecen a X) es un conjunto abierto. Un conjunto cerrado contiene a

sus puntos frontera. Existen conjuntos que no son ni abiertos ni cerrados.

El segmento de extremos a y b, se puede representar como:

[a, b] = {z C; z = ta + (1 t) b, 0 t 1}.

Un conjunto X es conexo cuando no existen dos abiertos A y B

contenidos en X, disjuntos (A B=) y distintos del vaco tales que X = A B.

Un conjunto X es conexo por caminos si todo par de puntos de X se

pueden unir por un camino contenido en X.

X es un dominio si es un conjunto abierto y conexo.

Una bola abierta, B r (z), es un ejemplo de conjunto abierto y conexo, y por

lo tanto es un dominio. Tambin es un dominio la corona circular definida por:

{z C; r < z z 0 < R} ya que es un conjunto abierto y conexo. Una bola

cerrada, Br ( z0 ) , es un ejemplo de conjunto cerrado. El disco pinchado, B r (z0 ),

definido como {z C; 0 <z z 0 r}, formado por los puntos de la bola

cerrada excepto el centro, no es ni abierto ni cerrado.

Figura 1.9: Bola abierta. Bola cerrada. Corona circular.


46 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Un conjunto X est acotado si est contenido en alguna bola de radio R:

X {z C; z z 0 < R}.

En caso contrario se dice que A es no acotado.

As, por ejemplo, la corona circular es un conjunto acotado mientras que

el semiplano Im(z) > 0 es un conjunto no acotado.

Toda sucesin de nmeros complejos, (zn ), se puede considerar formada

por dos sucesiones de nmeros reales, (Re(z n )) y (Im(zn )), y se verifica que:

(zn )z si y slo si (Re(z n )) Re(z) y (Im(zn )) Im(z). Como consecuencia se

obtiene que el espacio (C, d) es un espacio mtrico completo, es decir, toda

sucesin de Cauchy es convergente.

Ejemplos resueltos

Ejemplo 1.5.1: Escribir en forma conjuntista el crculo cerrado de centro 1

y radio 2.

El crculo cerrado de centro 1 y radio 2 se puede representar como {z C;

z 1 2}, est formado por el conjunto de puntos z = x + yi tales que (x

1)2 + y2 4, y es un conjunto conexo, cerrado y acotado.

Ejemplo 1.5.2: Escribir en forma conjuntista el crculo cerrado de centro 2

i
3i y radio 2, y el crculo cerrado de centro y radio 4.
2

El crculo cerrado de centro 2 3i y radio 2 se puede representar como {z

i
C; z 2 + 3i 2}. Y el crculo cerrado de centro y radio 4 se puede
2

representar como {z C; 2z i 8}.


M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 47

Ejercicios

1.20. Probar que la distancia eucldea d(z, w) = z w verifica las

propiedades de distancia.

1.21. Indicar qu regin del plano complejo representan los

siguientes conjuntos de puntos:

a) {z C; z + 3 4 i 5}

b) {z C; z 1 i< 2}

c) Re(z) 3

d) Im(z) < 2

e) {z C; 1 <z + 1 i< 2}

3
f) {z C; < arg( z ) < }
4 4

g) Re(z) = 2

h) Im(z + 3) > 1

i) {z C; z i< 2 y z 3= z + 3 }

1.22. En los conjuntos del ejercicio anterior, indicar cules son

abiertos, cerrados, conexos, acotados y cules son dominios.


48 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

1.6. LA ESFERA DE RIEMANN. PROYECCIN

ESTEREOGRFICA

Resulta necesario ampliar el plano complejo aadiendo el punto del

infinito, . En la recta real, que estaba ordenada, se aadan dos puntos del

infinito, , menor que cualquier nmero real, y +, mayor que cualquiera de

ellos. Esto ahora no va a ser posible al perderse el orden. Si se piensa en el

plano complejo como un espacio vectorial podra pensarse que se puede

acercar al infinito por cualquier direccin, pero esta no va a ser la solucin

adoptada. Riemann, en el siglo XIX, tuvo la genial idea de pensar en el plano

como la proyeccin estereogrfica de una esfera. Consider una esfera de

centro el origen y radio uno cortada diametralmente por el plano complejo, y

mediante la proyeccin estereogrfica obtuvo una correspondencia biunvoca

entre los puntos de la esfera, menos el polo norte, y los puntos del plano.

Definicin 1.6.1:

Se denomina esfera de Riemann a una esfera S, contenida en 3, de

centro el origen y radio uno.

Entonces la esfera de Riemann, S, es igual a {(x 1 , x 2 , x 3 ): x 1 2 + x 2 2+

x 3 2=1}.

Se llama polo norte, N, al punto (0, 0, 1) de la esfera.

Se puede suponer que el subespacio de 3 formado por los puntos cuya

tercera coordenada es nula es isomorfo al plano complejo C:

{(x, y, 0); x, y } C
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 49

Se considera entonces en el espacio 3 al plano complejo como el plano

coordenado x 3 = 0, que corta diametralmente a la esfera S. De este modo el

nmero complejo x + iy se identifica con el punto (x, y, 0). El ecuador de la

esfera coincide con la circunferencia unidad del plano complejo C.

Definicin 1.6.2:

Se llama proyeccin estereogrfica a una transformacin biunvoca del

plano complejo, C, en la esfera de Riemann, S, sin el polo norte: S \{P} definida

haciendo corresponder a cada punto del plano z C, el punto de la esfera wS

en el que corta a S la recta que pasa por z y por el polo norte N = (0, 0, 1). Se

dice que w S es la proyeccin estereogrfica de z C, o tambin a la

inversa, que z C es la proyeccin estereogrfica de w S.

La proyeccin estereogrfica establece la correspondencia entre los

puntos de C y los de S en que a cada punto del plano z C le corresponde el

punto de la esfera w S en el que corta a S la recta que pasa por z y por el

polo norte N = (0, 0, 1). Por tanto las ecuaciones de la proyeccin

estereogrfica se calculan fcilmente. La relacin explcita entre z = x + iy y su

proyeccin (x 1 , x 2 , x 3 ) sobre la esfera es (x, y, 0) (x 1 , x 2 , x 3 ), siendo x + yi =

x1 + ix 2
, y siendo:
1 x3

2x 2y x2 + y 2 1
(x 1 , x 2 , x 3 ) = ( , , )
1+ x 2 + y 2 1+ x 2 + y 2 1+ x 2 + y 2

Si el punto de la esfera est en el hemisferio norte, x 3 > 0, entonces su

correspondiente del plano tiene su mdulo mayor que uno, mientras que si el

punto de la esfera pertenece al hemisferio sur, x 3 < 0, el correspondiente del


50 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

plano tiene su mdulo menor que uno. Si el punto est en el ecuador, se

transforma en l mismo y su mdulo es igual a uno.

Tomando como mtrica la distancia eucldea usual se comprueba que la

esfera de Riemann es un espacio mtrico compacto y completo.

A medida que los puntos en el plano complejo van estando ms lejos del

origen, sus imgenes en la esfera de Riemann van aproximndose al polo

norte, P, lo que permite interpretar el transformado del polo P como el punto del

infinito, . Se aade un nico punto del infinito, haciendo corresponder al polo

norte de la esfera el punto del infinito. De esta forma se obtiene el plano

complejo ampliado que es topolgicamente equivalente a la esfera de

Riemann.

Definicin 1.6.3:

El plano complejo ampliado es el plano complejo al que se le ha

aadido un punto del infinito: C = C {}.

Esto permite decir que el plano complejo ampliado C = C {} se

identifica con la esfera de Riemann S.


N

Figura 1.6.1:1.10:
Figura Esfera de Riemann
Esfera de Riemann

Definicin 1.6.4:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 51

Un entorno del infinito de radio M es el conjunto de todos los nmeros

complejos cuyo mdulo es mayor que M:

Ent M () = {z C; z> M}.

La proyeccin estereogrfica de una recta del plano complejo C es una

circunferencia de la esfera de Riemann S que pasa por el polo norte. Es posible

interpretar las rectas del plano como circunferencias que pasan por el punto del

infinito. Tambin puede comprobarse que la proyeccin estereogrfica

conserva los ngulos, lo que posteriormente se denominar una transformacin

conforme.

Ejercicios

1.23. Escribir las ecuaciones de la proyeccin estereogrfica que al

punto de la esfera de Riemann (x, y, z) le hace corresponder el

punto z* = x* + iy* del plano complejo.

1.7. EJERCICIOS

1.24. Comprobar si:

a) Im( z 2 ) = 2xy.

b) (Im z )2 = y2.

z
c) = 1.
z

d) cos + isen = e i = 1.
52 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

1.25. Calcular:

a) (2 + i)5

13
b)
2 3i

( 3 + 2i )2
c)
( 2 + 3i )3

d) i( 3 i)(1 + 3 i)

e) (1 + i)8

f) (1 + i)-1

g) ( 3 + i)-9.

1.26. Probar que z es real si y slo si z = z .

x iy z
1.27. Verificar que el inverso de z, z-1, es igual a = .
2
x +y 2 zz

Calcular el inverso de 2 + 3i.

1.28. Calcular el mdulo y el argumento principal de los siguientes

nmeros complejos:

a) 3 + 3i

b) 3

c) 3i

d) 3 3i.

1.29. Expresar en forma polar y exponencial los siguientes nmeros

complejos:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 53

a) 5i

b) 7i

c) 5 5i

d) 3 + i.

1.30. Expresar en forma binmica los siguientes nmeros complejos

en forma exponencial:


3
a) 2e


b) 3e 4


c) e 2

2
3
d) 5e .

1.31. Realizar las siguientes operaciones con nmeros complejos,

expresndolos previamente en forma exponencial:

a) ( 3 + i)60

b) (4 4i)-11

( 1 3i )12
c) .
( 2 2i )8

1.32. Utilizar la frmula de Moivre para expresar en funcin de sen

y cos :

a) cos 2

b) sen 2
54 Captulo 1: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

c) cos 3

d) sen 3.

1.33. Calcular el argumento principal de los siguientes nmeros

complejos:

3
a)
3+i

i
b)
1 i

c) (1 i 3 )7.

1.34. Calcular, representar en el plano complejo y escribir en forma

binmica:

a) 3i

b) 1+ 3i

c) 3 27

d) 3 1 i

e) 4 81 .

1.35. Resolver las ecuaciones:

a) x3 = 27.

b) x4 = 81.

c) x5 32 = 0.

d) x3 8 = 0.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Los nmeros complejos 55

1.36. Calcular todos los valores de z para los que:

a) z6 + 64 = 0.

b) (z2 + 3z 2)2 (2z2 z + 1)2 = 0.

c) z6 + z5 + z4 + z3 + z2 + z + 1 = 0.

1.37. Calcular las races quintas de la unidad y representarlas en el

plano de Argand. Calcular tambin las races quintas de 1,

representarlas tambin. Generalizar este resultado.

1.38. Calcular las cuatro races de z4 + 9 = 0 y utilizarlas para

factorizar z4 + 9 en dos polinomios cuadrticos con coeficientes

reales.

1.39. Resolver la ecuacin: z2 + 3z 1 = 0.

a+i
1.40. Calcular a para que el nmero complejo tenga su parte
3i

real igual a su parte imaginaria.

1.41. Indicar qu regin del plano complejo que representan los

siguientes conjuntos de puntos:

a) {z C; z 5 +2i 1}.

b) {z C; z + 3 i< 3}.

c) Re(z) < 2.

d) Im(z) 0.

1.42. Indicar la regin del plano complejo que representa el conjuntos


de puntos siguiente: {z = x + yi C; Arg (z) , y > 0}.
3