Numeros Complejos PDF

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
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.
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 +
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:
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
nulo, z C/{0}, existe z-1 =
1
x iy
, tal que zz -1 = 1.
=
2
2
z x +y
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
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,
i-3 =
i3
1
i
=
= i.
i ( 1)
Ejemplo 1.1.5: Calcular (1 + i)4.

Utilizando el binomio de Newton se obtiene:
4
(1 + i)4 = 14 +
0
4
i +
1
4 2
i +
2
4 3
i +
3
4 4
i = 1 + 4i 6 4i + 1 = 4.
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.
b)
5 + 10i 2 i
+
= 2
3 4i
i
c) (1 + i)5 = 4 4i
1.3.
Realizar las siguientes operaciones con nmeros complejos:
a)
68
(1 i) (2 i) (3 i)
b) (2 + i) i (1 2i) .
c)
2+i 3+i
+
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.
d) Re((3 i)(
1.5.
1 1
+
i )(3 + i)) = 2.
5 10
Comprobar si:
a) Im z3 = 3x2y y3
b) (Im z)3 = y3.
c) Im
1.6.
z
2 xy
= 2
z x + y2
Calcular:
a) Im
z
z
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
i
x
Figura 1.1: Representacin de los nmeros complejos
Al igual que los nmeros reales representan los puntos de una recta, los
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:
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.
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
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
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:
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.
Es por tanto cualquier nmero real tal que cos =
x
y
, 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
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 .
4. z, w C, z z = z2, z = z, zw = zw,
z
z
=
.
w
w
5. z = 0 z = 0.
6. z C, Re(z) =
z+z
zz
, Im (z) =
.
2i
2
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
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.
El argumento principal de 5i es igual a
, el de 7i es
3
, el de 3 vale 0
2
y el 3 es .
Ejemplo 1.3.3: Escribir en forma binmica el nmero complejo de mdulo
2 y argumento
El nmero complejo de mdulo 2 y argumento principal
que: x = 2 cos
= 1 e y = 2 sen
es 1+ 3 i, ya
3.
Ejemplo 1.3.4: Calcular el mdulo y el argumento de: 1 i.

El nmero complejo 1 i tiene de mdulo =
Uno de sus argumentos es +
3
3
, por tanto arg(1 i) =
+ 2k.
4
4
( 1) 2 + ( 1) 2 =
2.
5
, y su argumento principal es
4
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) =
= .
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
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.
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:
z 1 =
1 1 i
= 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
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
n
2k
, donde k toma los valores desde 0 hasta n 1 antes de
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
cada
2
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
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
( )n = e in , se obtiene que
mdulo uno, e i
(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
complejos:
i
2e6 ,
i
3e4 .
Figura 1.7: Representacin del producto de nmeros complejos
Ejemplo 1.4.2: Calcular:
Para dividir
2
1 + 3i
2
1 + 3i
se pueden escribir los nmeros complejos en forma
exponencial y dividir los mdulos y restar los argumentos:

2
1 + 3i
2 e i
i
1
3
2 ( 3 )i
= 1e 3 = +
i
= e
2 2
2
i
2e 3
Por tanto
2
1 + 3i
argumento principal
escrito en forma exponencial es
2
i
e 3
, de mdulo 1, y
2
. Decir que su mdulo es 1 es decir que est sobre la
3
circunferencia de centro el origen y radio 1.
2
Ejemplo 1.4.3: Calcular
1 + 3i
60
Para calcular una potencia, en general es mucho ms sencillo utilizar la
forma exponencial en vez de aplicar la frmula del binomio de Newton. Por

2
ejemplo, si se quiere calcular
1 + 3i
2 i
3
e
60
60
, es mucho ms prctico calcular
2 60
= e 3 = e i 40 = 1.
i
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
( +
)i
3 1 = 3 1e i =
3 3
1
e
= e i = 1
5
( + 2 2 )i
i
1
3
1e 3 3
i
=e 3 =
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.
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:
a)
2i
2 2i
1
3i
b) +
2
2
30
1.18. Resolver las ecuaciones, obteniendo las races reales y

complejas:
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
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:
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.
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
3i y radio 2, y el crculo cerrado de centro
i
y radio 4.
2
El crculo cerrado de centro 2 3i y radio 2 se puede representar como {z

C; z 2 + 3i 2}. Y el crculo cerrado de centro
representar como {z C; 2z i 8}.
i
y radio 4 se puede
2
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}
f) {z C;
< arg( z ) <
3
}
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.
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
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
(x 1 , x 2 , x 3 ) = (
2x
1+ x 2 + y 2
2y
1+ x 2 + y 2
x2 + y 2 1
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
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:
Esfera
de Riemann
Figura
Esfera
de Riemann
Definicin 1.6.4:
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.
c)
z
= 1.
z
d) cos + isen = e i = 1.
1.25. Calcular:
a) (2 + i)5
b)
c)
13
2 3i
( 3 + 2i )2
( 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 .
1.27. Verificar que el inverso de z, z-1, es igual a
x iy
2
x +y
z
.
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:
a) 5i
b) 7i
c) 5 5i
d)
3 + i.
1.30. Expresar en forma binmica los siguientes nmeros complejos

en forma exponencial:
a) 2e
b) 3e
c) e 2
d) 5e
2
3
1.31. Realizar las siguientes operaciones con nmeros complejos,

expresndolos previamente en forma exponencial:
a) ( 3 + i)60
b) (4 4i)-11
c)
( 1 3i )12
( 2 2i )8
1.32. Utilizar la frmula de Moivre para expresar en funcin de sen

y cos :
a) cos 2
b) sen 2
c) cos 3
d) sen 3.
1.33. Calcular el argumento principal de los siguientes nmeros
complejos:
a)
b)
3
3+i
i
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.
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.
1.40. Calcular a para que el nmero complejo
a+i
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}.

Numeros Complejos PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Numeros Complejos PDF

Caricato da

Copyright:

Formati disponibili

17 Anlisis matemtico para Ingeniera.

M. MOLERO; A. SALVADO R; T. MENARG UEZ; L. G ARMENDI A

La variable compleja permite resolver problemas muy diferentes dentro de

Ver en Lamb, H.: Hydrodynamics, aplicaciones de la teora de funciones analticas a la

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

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

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

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Los nmeros complejos 19

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

1.1.1. Nmeros complejos en forma binmica

20 Captulo 1: Variable Compleja

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

iy, es decir, con su parte real nula.

1.1.2. Operaciones en forma binmica

Los nmeros complejos 21

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

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

1.1.3. Propiedades algebraicas

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 ,

Los nmeros complejos 23

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

teniendo en cuenta que i2 = 1:

Ejemplo 1.1.5: Calcular (1 + i)4.

Demostrar que las operaciones de suma y producto de nmeros

complejos dotan a C de una estructura de cuerpo conmutativo.

24 Captulo 1: Variable Compleja

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Realizar las siguientes operaciones con nmeros complejos:

Los nmeros complejos 25

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Figura 1.1: Representacin de los nmeros complejos

26 Captulo 1: Variable Compleja

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

nmeros complejos pueden ser puestos en correspondencia biunvoca con los

1 se les representa como puntos del eje

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

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Los nmeros complejos 27

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:

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

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

Figura 1.2.4: Representacin de la suma de nmeros complejos.

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

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Los nmeros complejos 29

que multiplicar por la unidad imaginaria es girar 90.

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

un nmero real, tiene estructura de espacio vectorial bidimensional.

Representar grficamente los siguientes nmeros complejos:

Representar grficamente el conjugado de los nmeros

30 Captulo 1: Variable Compleja

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA