w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
LOS N

UMEROS COMPLEJOS
En secciones previas se ha visto que algunas ecuaciones polin omicas - esto es, ecuaciones
de la forma:
a
n
x
n
+ a
n1
x
n1
+ . . . + a
1
x + a
0
= 0 (1)
- no tienen soluciones en R. El ejemplo mas sencillo es el de la ecuacion x
2
+ 1 = 0.
Para dar una salida a esta situaci on, los matem aticos inventaron el n umero i, llamado
unidad imaginaria, el cual est a caracterizado por la relaci on:
i
2
= 1 (2)
Si se acepta, por ahora, la introducci on de este nuevo n umero (), se puede dar solucion
a la ecuaci on de segundo grado ax
2
+ bx + c = 0, en el caso que su discriminante
= b
2
4ac sea negativo. En efecto, la f ormula
x =
b

b
2
4ac
2a
,
v alida para el caso en que 0, se interpreta ahora como
x =
b
_
(4ac b
2
)(1)
2a
=
b

4ac b
2

1
2a
,
esto es:
x =
b

4ac b
2
i
2a
,
al despejar i de (2) como i =

1.
(*) El lector recordar a que en Z no toda ecuaci on de primer grado, ax + b = 0, tiene
soluci on. Esta incompletitudde Z conduce a la introducci on de los n umeros racionales.
Resulta, entonces, que para < 0 las soluciones son de la forma:
x = p + qi p, q R
Un tal n umero se llama n umero complejo, p es su Parte real
2
q su Parte imaginaria.
Conviniendo en que un n umero complejo de la forma a + 0 i corresponde al n umero
real a, tenemos que R es un subconjunto de los complejos. Si se dene la igualdad en
C - conjunto de los n umeros complejos - mediante la igualdad de las partes reales e
imaginarias:
z
1
= a
1
+ b
1
i; z
2
= a
2
+ b
2
i
son iguales ssi
a
1
= a
2
y b
1
= b
2
y se extiende a C las reglas del algebra en R, se obtienen resultados tales como:
z
1
+ z
2
= (a
1
+ a
2
) + (b
1
+ b
2
)i
z
1
z
2
= (a
1
a
2
b
1
b
2
) + (a
1
b
2
a
2
b
1
)i, etc. (3)
Las consecuencias de todo lo anterior son las siguientes:
a) C, con la suma y producto (3), tiene la estructura algebraica de un campo.
b) toda ecuaci on polin omica de grado n tiene exactamente n races en C
1
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Lo primero signica que C tiene la misma algebra que R, y su demostraci on es sim-
ple. Lo segundo es un resultado cuya demostraci on est a muy lejos de nuestro alcance;
usualmente se trata en los cursos de c alculo de variable compleja.
En el proximo p arrafo los n umeros complejos son introducidos de una manera diferente
y usando conceptos conocidos (el misteriosos n umero i revela su secreto). Antes de pasar
a ello conviene aclarar que la introducci on de C ha expandido enormemente el campo
de aplicaciones de la matem atica, no se trata s olo de una forma de dar soluciones a
determinado tipo de ecuaciones.
I. EL CAMPO DE LOS N

UMEROS COMPLEJOS:
Denamos C como el conjunto de todos los pares ordenados z = (x, y) de
n umeros reales; esto es: C = RxR.
DEFINICI

ON 1: Si z = (x, y),
(1) Rez: = x es la parte realde z.
(2) Jmz: = y es la parte imaginariade z.
DEFINICI

ON 2: Si z
1
= (x
1
, y
1
) y z
2
= (x
2
, y
2
), entonces
(1) z
1
= z
2
x
1
= x
2
y
1
= y
2
(igualdad)
(2) z
1
+ z
2
:= (x
1
+ x
2
, y
1
+ y
2
) (adici on)
(3) z
1
z
2
:= (x
1
y
1
x
2
y
2
, x
1
y
2
+ x
2
y
1
) (multiplicaci on)
La igualdad (relaci on) y la adici on (operaci on), nos son familiares; en cambio, la
multiplicaci on se nos muestra extra na, pero esto es s olo aparente, pues coincide
con lo expuesto en el p arrafo anterior.
Pongamos 0 := (0, 0) (cero complejo) y 1 := (1, 0) (uno complejo), entonces:
TEOREMA 1: El conjunto de los n umeros complejos, con la relaci on de igualdad
y las operaciones de adici on y multiplicaci on, tiene una estructura algebraica de
campo. Esto es:
(1) z
1
, z
2
, z
3
C : z
1
+ (z
2
+ z
3
) = (z
1
+ z
2
) + z
3
asociatividad de la adici on.
(2) z
1
, z
2
C : z
1
+ z
2
= z
2
+ z
1
conmmutatividad de la adici on.
(3) z C : z + 0 = z 0 es el neutro aditivo.
(4) z C! z C : z + (z) = 0 z es el inverso aditivo.
(5) z
1
, z
2
, z
3
C : z
1
(z
2
z
3
) = (z
1
z
2
)z
3
asociatividad de la multiplicaci on.
(6) z
1
, z
2
C : z
1
z
2
= z
2
z
1
commutatividad de la multiplicaci on.
(7) z C : z 1 = z 1 es el neutro multiplicativo.
(8) z C, z = 0, !z
1
C : zz
1
= 1 z
1
es el inverso multiplicativo.
(9) z
1
, z
2
, z
3
C : z
1
(z
2
+ z
3
) = z
1
z
2
+ z
1
z
3
. la multiplicaci on distribuye a la
adici on.
En adicion, si z = (x, y), entonces el inverso aditivode z resulta ser z(x, y),
y su inverso multiplicativoes z
1
=
_
x
x
2
+ y
2
,
y
x
2
+ y
2
_
, z = 0
2
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Consideremos ahora el conjunto R de todos los complejos de la forma z = (x, 0).
Si z
1
= (x
1
, 0), z
2
= (x
1
, 0), la aplicaci on de Def.2 nos da:
z
1
= z
2
x
1
= x
2
z
1
+ z
2
= (x
1
+ x
2
, 0)
z
1
z
2
= (x
1
x
2
, 0)
z
1
= (x
1
, 0)
z
1
1
= (x
1
1
, 0), z
1
= 0
Con estos resultados decimos que R es un subconjunto de C cerradopara la
adici on y multiplicaci on; m as a un, es un subcampode C, pues, como f acilmente
se desprende de lo anterior, posee las propiedades enunciadas en el Teor.1.
Teniendo en mente esta idea, como z = (x, 0) tiene su parte imaginaria nula,
podemos identicarel complejo z con el n umero real x. Formalmente esto se
realiza deniendo la funci on:
: R

C, (x) := (x, 0)
la cual es uno a uno, tiene recorrido igual a R y satisface las relaciones:
x
1
, x
2
R : (x
1
+ x
2
) = (x
1
) + (x
2
)
(x
1
x
2
) = (x
1
) (x
2
)
es un isomorsmoentre los campos R y R.
Entendiendo as las cosas, todo complejo de la forma (x, 0) lo reemplazamos por
el real x. En particular, los complejos 0 = (0, 0) y 1 = (1, 0) los denotaremos
por 0 y 1.
Consideremos ahora el complejo (0, 1) de la Def.2:
(0, 1)(0, 1) = (0 1, 0 + 0) = (1, 0)
= 1(seg unlaconvenci on)
(y, 0)(0, 1) = (0 0, y + 0) = (0, y)
De esto ultimo se sigue que
(x, y) = (x, 0) + (0, y) = (x, 0) + (y, 0)(0, 1)
= x + y(0, 1)
DEFINICI

ON 3:
(1) i := (0, 1) es la unidad imaginaria
(2) x + yi es la forma binomiadel complejo z = (x, y)
Hemos logrado as conciliar la denici on informal de los n umeros complejos,
vista en la introducci on, con la denicion dada en este p arrafo. Se observar a que
el complejo i es tal que i
2
:= i i = 1.
En vista del Teor.1, y como ya se ha destacado anteriormente, el algebra de los
n umeros complejos es completamente analoga a la de los n umeros reales. Por
ejemplo, si z
1
= x
1
+ y
1
i, z
2
= x
2
+ y
2
i, entonces la DIFERENCIA entre z
1
y
z
2
es el n umero complejo z
1
z
2
, denido por:
3
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
z
1
z
2
: = z
1
+ (z
2
) = x
1
x
2
+ (y
1
y
2
)i
= (x
1
x
2
, y
1
y
2
)(como par ordenado)
Tambien, si z
2
= 0, entonces el CUOCIENTE entre z
1
y z
2
es el n umero
complejo siguiente:
z
1
z
2
:= z
1
z
1
2
.
Se tienen las mismas reglas de simplicacion, an alogas deniciones de poten-
ciacion, radicaci on (de estas nos ocuparemos con m as detalles en el parrafo
siguiente), etc.
Como par ordenado, todo n umero complejo puede ser representado geometrica-
mente: z = (x, y) es un punto en el plano.
Cuando el plano es usado para estos nes, recibe el apelativo de PLANO COM-
PLEJO. El eje x consiste ahora de todos los complejos de la forma (x, 0), raz on
por la que se le llama EJE REAL.
El otro, formado por los complejos de la forma (0, y) es el EJE IMAGINARIO.
DEFINICI

ON 4: Si z = x + yi, entonces:
(1) el conjugadode z es el complejo z := x yi
(2) el m odulode z es el n umero real z :=
_
x
2
+ y
2
.
En la gura se han representado geometricamente z, z y z. z, tam-
bien denotado por z en algunos textos, se obtiene de z mediante una
reexion de este en el eje real; z tambie n llamado valor absolutode z,
representa la distancia de z a 0; si z se piensa como el vector de 0 al punto
(x, y), z es su longitud.
DEFINICI

ON 5: La distanciaentre z
1
y z
2
es
d(z
1
, z
2
) := z
1
z
2
.
Respald andonos en el captulo precedente, vemos que la distancia entre dos
complejos mide la longitud del trazo que une sus representaciones gr acas.
TEOREMA 2: Sean z, C, entonces:
4
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
(1) z = z z R
(2) z = z
(3) z + z = 2Rez, z z = 2i Imz
(4) z = z
(5) z = z
(6) z/ = z/, = 0
(7) zz = z
2
= z
2
(8) z = z
(9) z/ = z/, = 0
(10) z + z +
(11) z z .
EJERCICIOS RESUELTOS :
1. Encontrar todos los complejos z tales que z
2
+ z + 1 = 0
Solucion :
Pongamos z = (x, y), entonces:
z
2
= (x, y)(x, y) = (x
2
y
2
, 2xy)
Luego z
2
+ z + 1 = (x
2
y
2
, 2xy) + (xy) + (1, 0)
= (x
2
y
2
+ x + 1, 2xy + y) = 0 = (0, 0)
Igualando partes reales e imaginarias, nos queda el sistema siguiente:
x
2
y
2
+ x + 1 = 0
2xy + y = 0
La segunda ecuaci on nos da como soluciones: y = 0; o x = 1/2.
Reemplazando en la primera ecuaci on:
y = 0 x
2
+ x + 1 = 0 no tiene soluci on real, pues
= 1 4 < 0.
x = 1 y
2
1/2 = 0 y =
_
2/2.
As, las dos soluciones de la ecuaci on son:
z
1
=
1
2
+

2
2
i, z
2
=
1
2

2
2
i
2. Demostrar los puntos (2), (4), (7) y (8) del Teor. 1.
Solucion :
(2) Sean z
1
= (x
1
, y
1
), z
2
= (x
2
, y
2
);
z
1
+ z
2
= (x
1
+ x
2
, y
1
+ y
2
) [Def ,2]
= (x
2
+ x
1
, y
2
+ y
1
) [Conmutatividad en R]
= z
2
+ z
1
[Def ,2]
(4) Consideremos la ecuaci on z + = 0, con z = (x, y), = (u, v).
Entonces:
5
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
(x + u, y + v) = (0, 0) (Def. 2)
x + u = 0
y + v = 0
(Def ,2)
u = x, v = y y
As, existe soluci on: = (x, y), esta es unica.
(7) Si z = (x, y), entonces
z 1 = (x, y) (1, 0) = (x 1 y 0, x 0 + 1 y)
= (x, y) = z.
(8) Como en (7), consideremos la ecuaci on z = 1, entonces:
(xu yv, xv + uy) = (1, 0) (Def. 2)

xu yv = 1
xv + yu = 0
Este sistema tiene como unica soluci on
u =
x
x
2
+ y
2
, v =
y
x
2
+ y
2
Luego, para cada z = 0 existe z
1
= tal que zz
1
= 1
3. Demuestre que la funcion : R +C, (x) := (x, 0), es un isomorsmo entre R
y R.
Solucion :
(1) es uno (inyectiva), pues (x
1
) = (x
1
, 0),
(x
2
) = (x
2
, 0); luego
x
1
= x
2
(x
1
) = (x
2
) (Def. 2)
(2) es claro que Rec = R
(3)
(x
1
+ x
2
) = (x
2
, 0) (Def .deVarphi )
= (x
1
, 0) + (x
2
, 0) (Def,2)
= (x
1
) +(x
2
) (Def.de)
(4)
(x
1
x
2
) = (x
1
x
2
, 0) = (x
1
, 0)(x
2
, 0)
= (x
1
)(x
2
)
(4) a) Con la noci on usual de potencias enteras positivas, calcular i
n
, n N
b) Calcular i
21
, i
164
, i
70
.
6
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Solucion :
(a) Seg un se ha visto, i
2
= 1; luego
i
3
= i
2
i = i; i
4
= i
3
i = i
2
= 1.
Sea ahora n N, entonces n se puede representar como n = 4p + q
donde p N
0
y q = 0, 1, 2, 3 (esto es: n se descompone como m ultiplo
de 4 m as un residuo).
Resulta entonces:
i
n
= i
4p
i
q
= i
q
_

_
1, si q = 0
i, si q = 1
1, si q = 2
i, si q = 3
(b)
i
21
= i
45+1
= i (p = 5, q = 1)
i
164
= i
441
= 1 (p = 41, q = 0)
i
70
= i
417+2
= 1 (p = 17, q = 2)
5. Reducir la forma x + yi:
a)
1 i
2 + i
b) iz
3
Solucion :
(a) Esto puede hacerse de dos formas diferentes:
* aplicando la denici on de cuociente, tenemos:
1 i
2 + i
= (1 i)(2 + i)
1
= (1 i)
_
2
5

i
5
_
=
2
5
+
i
2
5

i
5

2
5i
=
1
5

3
5
i
.
** Amplicando por el conjugado del denominador, queda:
1 i
2 + i

2 i
2 i
=
2 + i
2
i 2i
2
2
i
2
=
1 3i
5
=
1
5

3
5
i
.
(b) Pongamos z = x + yi, entonces, calculando z
3
como cubo de un binomio
z
3
= (x + yi)
3
= x
3
+ y
3
i
3
+ 3x
2
yi + 3xy
2
i
2
Por lo tanto iz
3
= x
3
i + y
3
i
4
+ 3x
2
yi
2
+ 3xy
2
i
3
As: iz
3
= y
3
3x
2
y + (x
3
3xy
2
)i.
6. Suponiendo que la posici on de z, como punto del plano complejo, es conocida
(esto es, se conoce z), describe la posicion relativa de los puntos siguientes:
a) z b) z c) kz, donde k R d) iz
Solucion :
Supongamos que z es un complejo como el de la gura, z = x + yi.
7
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
(a) z = x yi, de modo que z es el simetrico de z con respecto a 0.
(b) z = (x yi) = x + yi.
En la gura se muestra que z es el simetrico de z respecto del eje imagi-
nario.
(c) kz = kx + kyi
Como las partes real e imaginaria de z y kz son proporcionales, kz esta so-
bre la recta que pasa por 0 y z. En la gura se representa kz para k > 0;
para k < 0 su ubicaci on es el tercer cuadrante y si k = 0, kz = 0.
8
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
(d) iz = y + xi. La pendiente del trazo que une 0 y z es m
1
= y/x, mientras
que la del que une 0 con iz es m
2
= x/y. Luego m
1
m
2
= 1. Esto demues-
tra que la multiplicaci on por i rota al complejo z, en el sentido positivo en
90

(notequez = iz).
7. Demuestre los puntos (3)(5)(7) y (10) del Teor.2.
Solucion :
(3) Sea z = x + yi, entonces z = x yi, de donde obtenemos z + z =
2x Rez; z z = 2yi = 2i1mz
(5) Si = u + vi, entonces obtenemos
z = xu vy + (xv + uy)i
z = xu vy (xv + uy)i.
Adem as:
9
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
z = (x yi)(u vi)
= xu vy + (xv uy)i
= xu vy (xv + uy)i
= z.
(7)
zz = (x + yi)(x yi) = x
2
y
2
i
2
= x
2
+ y
2
= z
2
z =
_
x
2
+ (y)
2
= z
(10) Primeramente observaremos que
Rez |Rez| z,ya que
x |x| <
_
x
2
+ y
2
.
Luego:
z +
2
= (z +)(z +) (Teor,2, (7))
= (z +)(z +) (Teor,2, (4))
= zz + + z +z
= zz + + (z + z) (Teor,2, (2), (5))
= z
2
+
2
+ 2Re(zw) (Teor,2, (7), (3))
z
2
+
2
+ 2z (Observ.previa)
z
2
+
2
+ 2z (Teor,2, (8), (7))
z +
2
De aqu se sigue que z + z +.
8. Describa geometricamente el conjunto de todos los complejos del plano (pun-
tos), que satisfacen las relaciones siguientes.
a) z i = 1 b) 1 z i c) Rez = 3
d) Rez > 3 e) z 1 +z + 1 = 6 f)z + z = Imz
Solucion :
(a) El lugar geometrico est a formado por los complejos z que estan a distancia
1 de i. Este es la circunferencia con centro en i y radio 1.
(b) Aqu el lugar geometrico es el conjunto de los complejos z que estan en la
circunferencia anterior (zi = 1) y los que est an fuera de ella (zi > 1)
10
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
(c) Rez = x = 3 dene la recta paralela al eje imaginario y a distancia 3 de el.
(d) Rez = x > 3 dene el semiplano a la derecha de la recta anterior; la recta
no es parte del lugar geometrico.
(e) tenemos que z pertenece al lugar geometrico ssi la suma de sus distancias
a los complejos 1 y 1 es igual a 6. Esto es una elipse, con focos
F
1
= (1, 0), F
2
= (1, 0), a = 3, c = 2 y b =

5
11
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
(f) esto equivale a 2x = y, cuya representaci on geometrica es la recta de la
gura.
9. Sea p(z) = a
0
z
n
+ a
1
z
n1
+ . . . + a
n
un polinomio con coecientes reales. De-
mostrar que si C es un cero de p, entonces es un cero de p. Dar un ejemplo
para mostrar que esto no es v alido si los coecientes son complejos.
Solucion :
p() = 0 p() = 0 = a
0

n
+ a
1

n1
+ . . . + a
n
= a
0

n
+ a
1

n1
+ . . . + a
n
(Teor,2, (4))
= a
0

n
+ a
1

n1
+ . . . + a
n
(Teor,2(5))
= a
0

n
+ a
1

n1
+ . . . + a
n
= p(, ) pues a
0
, a
1
+ . . . + a R
y una aplicaci on del Teor. 2, (5), prueba que
k
=
k
.. Como p = 0, tam-
bien es un cero de p.
** w = 1 = i es un cero de p(z) = iz i 1, pero w = 1 + i no lo es.
10. Suponga que a C, a < 1. Demuestre que
_
_
_
_
z a
1 az
_
_
_
_
_
_
_
< 1, si z < 1
= 1, si z = 1
> 1, si z > 1
12
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Solucion :
z a
2
1 az
2
= z
2
+a
2
za za (1 +az
2
az az)
= z
2
+a
2
1az
2
, (az = az)
= z
2
+a
2
1 a
2
z
2
= (z
2
1) a
2
(z
2
1)
= (z
2
1)(1 a
2
)
Siendo a < 1, tenemos que 1 a
2
> 0, de modo que
z a
2
1 az
2
_
_
_
< 1, si z < 1
= 0, si z = 1
> 0, si z > 1
Dividiendo miembro a miembro por 1 az
2
en cada caso, obtenemos
__
_
_
_
z a
1 az
_
_
_
_
_
2
1
_
_
_
< 1, si z < 1
= 1, si z = 1
> 1, si z > 1
De aqu se sigue la relaci on por demostrar.
NOTA:
1 az
2
= 0 ssi z = a
1
z = a
1
= a
1
> 1;
luego, en el ultimo caso hay que excluir esta posibilidad.
11. Demostrar que la ecuaci on de cualquier circunferenci puede escribirse en la for-
ma az
2
+ bz + bz + c = 0, donde a, c R y b C.
Solucion :
Seg un sabemos, la ecuaci on de la circunferencia con centro en y radio r > 0
es de la forma Ax
2
+Ay
2
+Bx +Cy +D = 0, siendo z = x +yi. Esta se puede
escribir como sigue:
13
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
A(x
2
+ y
2
) + BRez + CImz + D = 0
Az
2
+ B
1
2
(z + z) C
1
2i
(z z) + D = 0 (Teor.2, (3)).
Az
2
+
_
B
2

C
2i
_
z +
_
B
2
+
C
2i
_
z + D = 0
Az
2
+
_
B
2
+
C
2
i
_
z +
_
B
2

C
2
i
_
, z + D = 0
Poniendo a := A, b :=
B
2
+
C
2
i
, c := D, la ecuaci on de la circunferencia queda
escrita:
az
2
+ bz + bz + c = 0
con a, c R y b C.
12. Demostrar que z C :
|x|+|y|

2
z x +y, siendo z = x + yi.
Solucion :
z =
_
x
2
+ y
2

_
x
2
+ y
2
+ 2|xy| (pues 2|xy| 0).
z
_
(|x| + |y|)
2
= |x| + |y|.
Por otra parte, de (|x| + |y|)
2
0 obtenemos 2|x||y| x
2
+ y
2
.
Sumando x
2
+ y
2
a cada miembro 2|x||y| + x
2
+ y
2
2(x
2
+ y
2
);
esto es
(|x| + |y|)
2
2z
2
;
luego: |x| + |y|

2z.
EJERCICIOS PROPUESTOS :
1. Obtenga la forma (x, y) de los siguientes complejos:
a) (1, 4)(3, 11)
_
_
2/2,
_
2/2
_
1
b)
(2, 4) (3, 2)
(1, 1)
(5, 8)
2
2. Resuelva las ecuaciones siguientes:
a) z
9
+ 9 = 0
b) (1 + i)z = 2 i
c) z
3
+ z
2
+ z + 1 = 0 (considere z
4
1)
3. Obtenga las tres soluciones de la ecuaci on z
3
1 = 0 (races c ubicas de 1).)
Denot andolas por 1, y , demuestre que:
a) =
2
b) =
2
c) = 1
En particular, esto permite denotarlas por 1, ,
2
.
4. Escriba en la forma binomia los siguientes complejos:
a)
i
1 + i
+
1 + i
i
b)
1
z
2
c) (3 + 4i)
1
d) (1 + i)
5
14
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
e)
(a + i)
3
(a + i)
3
(a + i)
2
(a i)
2
, a R
5. Dados z, C demuestre que:
a) z = z
b) (z)
1
= z
1
, z = 0
c) z = z
d) z
1
= z
1
, z = 0
e) z
n
= z
n
f) (z/) = z/
6. Suponga dada la posici on de z en el plano complejo. Describa geometricamente
la posici on relativa de los siguientes complejos:
a) z + z
b) z/i
c) z 3i
d) z/z
e) 1/z
f) z/z
g) z
2
.
7. Describa geometricamente los conjuntos de n umeros complejos z denidos por
las siguientes relaciones:
a) 1 z z
0
2
b) a Re z + b Imz = c; a, b, c R
c) 0 Imz < 1
d) 0 Imz 1 y 0 Rez 1
e) z 1 +2 + 1| = 2
f) z 1 z + 1 = 2
g) (za)/(zb) = k; a, b C, k > 0. Como vara este lugar geometrico
cuando k vara de 0 a +?.
h) z a = z b; a, b C
i) z < 1 Rez.
8. Sean 1, ,
3
las races c ubicas de 1; demuestre que
a) (1 +
2
)
4
=
b) (1 +
2
)(1 +
2
) = 4
c) (1 )(1
2
)(1
4
)(1
5
) = 9
d) (1 +
2
)(1
2
+
4
)(1
4
+
5
) . . . (1
2n
+
4n
) = 2
2n
9. a) Pruebe que z +
2
+z
2
= 2(z
2
+
2
) e interprete geometrica-
mente este resultado.
b) Sea a C y z R, z = a. Pruebe que
_
_
_
_
z a
z a
_
_
_
_
= 1.
Cual es la interpretaci on geometrica de esta igualdad?. Suponiendo que
Ima > 0 formule condiciones necesarias y sucientes para que
_
_
_
_
z a
z a
_
_
_
_
< 1;
demuestre su armaci on.
15
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
II. FORMA POLAR DE UN N

UMERO COMPLEJO :
De la representacion geometrica para z = x + yi, z = 0, obtenemos la
FORMA POLAR de z como:
z = r (cos + isen) (1)
donde r = z y es un angulo denido por
x = r cos
y = r sen
Un tal angulo se denomina un ARGUMENTO de z, y se le acostumbra a
denotar por argz. De la trigonometra sabemos que si
1
y
2
son argumentos
de z, entonces
1
=
2
+ 2k, para alg un entero k. En particular, si se elige
en el intervalo (, ), recibe el nombre de ARGUMENTO PRINCIPAL, y se
denota por Argz. Usualmente lo elegiremos en (0, 2)
La relaci on (1) tambien se acostumbra a escribir z = r Cis ; Cis es una
abreviaci on de cos + i sen.
En terminos de la forma polar, el producto, inversi on, etc., de n umeros com-
plejos se pueden expresar de manera simple.
TEOREMA 1: Si z = r Cis y w = s Cis , entonces.
(1) zw = rs Cis ( +)
(2) z
1
= r
1
Cis ()
(3) z = r Cis ()
(4) z/w = r/s Cis ( )
(5) z
n
= r
n
Cis n, n N (F ormula de De Moivre)
Estas nuevas formas para las operaciones algebraicas con n umeros complejos
son especialmente comodas para el c alculo numerico. La suma y diferencia de
complejos, se muestra en la gura de la p agina siguiente:
16
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Para la multiplicaci on de complejos utilizamos la relaci on (1): zw es el com-
plejo cuyo m odulo es el producto de los m odulos y cuyo argumento es la suma
de los argumentos (menos 2, eventualmente), de los factores.
En particular, si consideramos el complejo a = Cis , entonces la funcion
compleja
f : C C, f(z) := az
es una rotaci on, pues si
z = r Cis
f(z) = r Cis ( + )
17
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Si, adem as, b es un complejo dado, las interpretaciones geometricas de la suma
y el producto permite armar que la funci on
g : C C, g(z) := az + b,
es una rotaci on y traslaci on del plano complejo.
Finalmente, la inversi on de complejos, mirada como funci on, tiene propiedades
muy interesantes. En las guras se representan los casos
z < 1 ; z = 1 ; z > 1 :
En el caso de z = 0 se puede introducir un punto ideal, llamado punto
del innito, y denir
0
1
: = ,
1
: = 0
De esta forma se ve que la inversi on transforma:
el interior del crculo unitario en el exterior, y recprocamente
la circunferencia unitaria, en s misma.
el semiplano superior en el semiplano inferior, etc.
DEFINICI

ON 1: Si z C y n N, entonces w C es una raz n-esimade

z si w
n
= z.
Por ejemplo, i es una raz c ubica de i, pues
(i)
3
= i
3
= (i) = i
De igual manera se verica que
1
2
(

3 +i) son otro par de races c ubicas de i.

TEOREMA 2: Si z = r Cis y n N, entonces existen exactamente n races
n-esimas de z, las que estan dadas por:
18
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
w
k
=
n

r Cis
_
+ 2k
n
_
; con k = 0, 1, ... , n 1
En esta expresi on,
n

r denota la unica raz n-esima real y positiva de r.

Los siguientes hechos se verican por simple inspeccion:
(a) wk =
n

r, para k = 0, 1, ... , n 1.
(todas lar races tienen el mismo modulo)
(b)
k +1

k
=
2
n
, para k = 0, 1, ... n 2
(la diferencia entre los argumentos de dos races consecutivas es una constante)
Se sigue, entonces, que la n races n-esimas de z se pueden representar como
en la gura:
n puntos equiespaciados en la circunferencia centrada en 0, con radio
n

r.
La radicaci on compleja puede aplicarse, por ejemplo, al c alculo de las races
(o ceros) de un polinomio
p (z) = a
n
z
n
+ a
n1
z
n1
+ ... + a
1
z + a
0
(2)
donde ahora los coecientes a
0
, a
1
, ... a
n1
, a
n
son n umeros complejos. Por
ejemplo, para p (z) = az
2
+ bz + c se obtiene
z =
b

b
2
4ac
2a
expresion en la que

b
2
4ac denota las dos races cuadradas del n umero
complejo b
2
4ac.
19
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Como ya se mencion o en el p arrafo introductorio, puede probarse que (2)
tiene exactamente n races en C, algunas de las cuales pueden estar repetidas
(races m ultiples). Este es el Teorema fundamental del

Algebra.
Otras relaciones que pueden obtenerse de la forma polar de los n umeros com-
plejos son las siguientes.
DEFINICI

ON 2: (EULER) si x R entonces
e
xi
:= Cis x = cosx + isenx
Cambiando x por x, obtenemos e
ix
= Cis(x) = cosx isenx. Com-
binando ambas expresiones podemos demostrar el teorema que enunciamos a
continuaci on.
TEOREMA 3: Para todo x R se verica
(1) senx =
e
xi
e
xi
2i
(2) cosx =
e
xi
+ e
xi
2
Estas son las llamadas F ormulas de Euler. En base a ellas es posible denir
la funcion exponencial compleja:
Si z = x + yi = 0, entonces
e
0
:= 1
e
z
:= e
x
e
yi
= e
x
Cisy.
Como f acilmente puede comprobarse, esta funci on tiene las mismas propiedades
algebraicas que la exponencial real. En adici on, es periodica con perodo p =
2i, pero esto ya no es materia de este curso.
EJERCICIOS PROPUESTOS
1. Encontrar la forma polar de los siguientes complejos:
a) 1 + i b) 2, c) i d) (1 + i) / (1 i)
Soluci on:
a) r =

1 + 1 =

2
tan =
1
1
= 1 = /4
Luego: 1 + i =

2 Cis (/4).
20
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
b) r = 2, = 2 = 2 Cis
c) r = 1, = /2 i = Cis(/2)
d)
1 + i
1 i
=
(1 + i)
2
(1 + i) (1 i)
=
2i
2
= i
(1 + i) / (1 i) = Cis (/2)
2. Demuestre los puntos (1) y (2) del Teor. 1.
Soluci on:
Sean z = rCis, w = s Cis; entonces
(1) zw = rs (cos + isen) (cos + isen)
= rs [Cos cos sensen + (cos sen + sencos) i]
= rs [Cos( + ) + isen( + )]
= rs Cis( + )
(2) z
1
= r
1
[Cis]
1
= r
1
cos isen
(cos + isen) (cos isen)
= r
1
cos() + isen()
cos
2
i
2
sen
2

= r
1
Cis()
3. Exprese en la forma m as simple el siguiente complejo
z =
(1 + i)
3
_
1
2
+
1
2

3i
_
4
(1 i)
Soluci on: Escribamos cada complejo en su forma polar:
1 + i =

2 Cis(3/4)
21
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
) (1 + i)
3
=

2
3
Cis(9/4)
1
2
+
1
2

3i = Cis(/3)
)
_
1
2
+
1
2
3i
_
4
= Cis(43)
1 i =

2Cis(5/4)
Una nueva aplicaci on del Teor. 1 nos da
z =
2

2 Cis (9 / 4)
Cis (4/3)

2 Cis (5/4)
= 4 Cis(9/4 + 5/ 4 4 / 3) = 4 Cis ( / 6) = 2

3 + 2i
4. Use la f ormula de De Moivre para obtener expresiones para senn y cosnn, n
N, R, en terminos de sen y cos.
Soluci on:
Por periodicidad de seno y coseno, basta suponer que [0, 2]. Sea,
entonces, z C denido por z = Cis. Como |z| = 1, la f ormula de De
Moivre nos da
z
n
= Cisn = Cosn + isenn
22
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Por otra parte, el Teorema del binomio nos dice que
z
n
= (cos + isen)
n
= (
n
0
) cos
n
+ (
n
1
) cos
n1
(isen) +
+ (
n
2
) cos
n2
(i
2
sen
2
) + ..... +
+ (
n
n
) i
n
sen
n
= cos
n
+ (ncos
n1
sen) i +
+
n(n 1)
2
cos
n2
sen
2
+ ....., +i
n
sen
n

Igualando las partes reales e imaginarias de ambas expresiones para z

n
,
obtenemos
cos n = Cos
n

n(n 1)
2
cos
n2
sen
2
+ ...
sen n = ncos
n1
sen +
n(n 1) (n 2)
6
cos
n3
sen
3
...
donde los ultimos terminos dependen del valor de n.
Por ejemplo:
n = 2 cos2 = cos
2
sen
2

sen2 = 2cossen
n = 3 cos3 = cos
3
3cossen
2

sen3 = 3cos
2
sen + sen
3

5. Considere el anillo de la gura. Describa c omo se transforma bajo al funci on

f(x) =
_
1
2
+

3
2
i
_
z.
Soluci on:
Esta funcion es de la forma f (z) = az. con a =
1
2
+

3
2
i = Cis(/3). Se
trata, entonces, de una rotaci on en 30

, en el sentido positivo. En la gura

23
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
se muestra la imagen por f del anillo.
6. Calcule las races cuadradas de

3 + i
i
.
Soluci on:

3 + i
i
= 1 +

3i = 2 Cis (2 / 3), luego las races cuadradas son:

w
0
=

2 Cis (2 / 6) =

2 Cis ( / 3) =

2
2
+

6
2
i
w
1
=

2 Cis
2 / 3 + 2
2
= 2 Cis (4 / 3) =

2
2

6
2
i
7. Factorizar, como producto de facotes de primer grado, el polinomio p(z) =
z
6
+ 1.
Soluci on:
Como bien se sabe, esto es equivalente a encontrar los ceros de p(z) es
decir, las soluciones de z
6
+ 1 = 0. Luego, debemos calcular las races
sextas de 1.
24
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
Tenemos que 1 = Cis,
w
0
= Cis ( / 6) =

3
2
+
1
2
i
w
1
= Cis (3 / 6) = i
w
2
= Cis (5 / 6) =

3
2
+
1
2
i
w
3
= Cis (7 / 6) =

3
2

1
2
i
w
4
= Cis (9 / 6) = i
w
5
= Cis (11 / 6) =

3
2

1
2
i
(se muestra en la gura).
Nos queda, entonces
p(z) = (z w
0
)(z w
1
) ... (z w
5
).
8. Demuestre el Teorema 2.
Soluci on:
Dados z C y n N, consideremos la ecuacion w
n
= z.
Poniendo z = r Cis = 0 y w = s Cis, lo anterior se escribe
25
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
s
n
Cis n = r Cis (Teor. 1).
Igualando partes reales e imaginarias, queda
(1) s
n
cos n = r cos
(2) s
n
senn = r sen
(1)
2
+ (2)
2
: s
2n
= r
2
s =
n

r
Luego, el sistema se reduce a
cos n = cos
senn = sen
Vemos, entonces, que si k z y n = + 2k, esto es, si =
+ 2k
n
,
entonces w es una soluci on. M as a un, (1) y (2) nos dicen que toda soluci on
de la ecuaci on w
n
= z es de la forma w =
n

r Cis
+ 2k
n
, k Z. Fi-
nalmente, es claro que para k = 0, 1, 2, ...., n 1 se obtienen diferentes
soluciones, y que para los otros valores de k se obtiene alguna de las solu-
ciones anteriores (por periodicidad de sen y cos).
NOTA: 0 C es el unico complejo que solo tiene una raz n-esima.
9. Verique que e
i
+ 1 = 0.
Soluci on:
e
i
+ 1 = Cis + 1 = 1 + 1 = 0
10. Verique que z, w C
(1) e
z
e
w
= e
z +w
(2) e
z +2i
= e
z
Soluci on:
Si z = 0 y/o w = 0 ambas relaciones son inmediatas:
por ejemplo, e
0 +2i
= e
2i
= Cis2 = 1 = e
0
.
Supongamos, entonces, que z, w = 0 y que z = x + yi, w = u + vi; luego
26
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
(1) e
z
e
w
= (e
x
Cisy) (e
u
Cisv) = e
x
e
u
Cisy Cisv
= e
x+u
Cis (y + v)(PropiedadesdelaexponencialrealyTeor,1)
= e
(x+u) +(y +v)i
= e
(x+yi) +(u+vi)
= e
z +w
(2) e
z +2i
= (e
x+(y +2)i
= e
x
Cis(y + 2)
= e
x
Cisy (periodicidaddesen, cos)
= e
z
11. Si [0, 2) y n N, demuestre que
1 +
n

k=1
cosk =
sen
n+1
2

sen

2
cos
n
2

Soluci on:
Sea z = Cis. Como z = 1 resulta que 1, z, z
2
, z
3
, ..., estan en progre-
sion geometrica; luego
n

k=0
z
k
=
z
n+1
1
z 1
Ademas, por la f ormula de De Moivre se tiene que z
k
= Cisk, k N
0
,
de modo que la relaci on anterior se escribe:
n

k=0
Cisk =
n

k=0
(cosk + isen) =
cos (n + 1) 1 + isen(n + 1)
cos 1 + i sen
La parte real del primer miembro es igual a 1 +

n
k=1
cosk; la parte real
del segundo miembro la calculamos como sigue:
Pongamos Cos(n + 1) 1 + isen(n + 1) = RCis
Cos 1 + isen = r Cis
Con lo cual resulta que Re
z
n+1
1
z 1
=
R
r
cos ( )
R =
_
[cos (n + 1) 1]
2
+ sen
2
(n + 1)
=
_
2 [1 cos (n + 1) ] = 2|sen
n + 1
2
|
r =
_
(cos 1)
2
+ sen
2
=
_
2 (1 cos) = 2|sen

2
|
Para el c alculo de cos ( + ) nos ayudamos con las guras siguientes:
27
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
de las que se obtiene:
cos ( ) =
2sen
2
n + 1
2

2|sen
n + 1
2
|

2sen
2

2
2|sen

2
|
+
2sen

2
cos

2
2|sen

2
|

2sen
n + 1
2
cos
n + 1
2

2|sen
n + 1
2
|
Por lo tanto Re
z
n+1
1
z 1
=
sen
n + 1
2
sen

2
_
sen
n + 1
2
sen

2
+ cos
n + 1
2
cos

2
_
|sen

2
|
=
sen
n + 1
2

sen

2
cos
n
2
, ya que sen

2
> 0
EJERCICIOS PROPUESTOS
1. Exprese en forma polar los siguientes complejos:
a) 4 b) 6i, c)

2i
d)
1
2

3
2
i e) 2 + i, f) 1

3 (1 +

3)i
g) 1 + cos + isen h) cos + cos + (sensen)i
2. Realice las operaciones indicadas y reduzca a la forma m as simple
a) (

3 + i)
3
b) [1 +

3 + (1

3)i]
3
c)
1 + i
(1 i)
2
d)
_
1 + sen + icos
1 + sen icos
_
n
, n N
e) [sen sen + i(cos cos)]
n
, n N
28
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
f)
_
1 + i
1 i
_
2
2
_
1 i
1 + i
_
3
g) 2Cis15 (3 + 3i)
h)
(3 + 2i)
2
(1 3i)
(3 + i)
2
(1 + 2i)
+
1 + i
1 i
i)
(4 + 3i) (1 2i)
7 i
j)
i
1 + i
i
1 + i +
i
1 + i +
i
1 +i
3. Calcule
a) las races cuartas de 16i.
b) las races c ubicas de 1 i
c) las races sextas de 1 +

3 + (1

3)i
d) las races quintas de 1
e) las races cuartas de
8

2 + 8

2 i
384

3
128i
f) las races sextas de
3

2 3

2 i
6

3
+ 2i
4. Resuelva las siguientes ecuaciones:
a) z
2
+ z + 1 = 0
b) 2z
2
3z + 2 = 0
c) (2 2i)z
2
(11 + 9i)z 16 + 6i = 0
d) z
2
(2 + 3i)z 1 + 3i = 0
5. Si n N y z = 0, se dene z
n
:= (z
n
)
1
Calcule a) (1 + i)
3
b)
_

1
2
+

3
2
i
_
4
29
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
y demuestre que si z = r Cis, entonces z
n
= r
n
Cis(n).
6. Si n, m N son primos relativos (i.e.: el unico divisor com un es 1) y
z = rCis demuestre que la ecuaci on w
n
= z
m
tiene exactamente n solu-
ciones w
0
, w
1
, ... w
n1
, las que est an dadas por:
w
k
= r
m/n
Cis
m( + 2k)
n
; k = 0, 1 ..., n 1.
La relaci on w
n
= z
m
sirve para denir z
m/n
.
En adicion, calcule
a) (1 + i)
3/2
b) (16i)
3/4
c) (1 i)
4/3
d) 1
3/2
e) 1
2/5
7. a) Si 0 argz argw , demuestre que el area del tri angulo de-
terminado por 0, z y w es igual a
1
2
1m(zw)
b) Si 0 argz
1
< argz
2
< ... < argz
n
< 2 , probar que el area del
polgono determinado por z
1
, z
2
, ...., z
n
es igual a
1
2
Im (

n
i=1
z
i
z
i 1
) ; \ z
0
:=
z
n
.
8. Pruebe que
a) 1 + 2

n1
k=1
cosk =
sen(n 1/2)
sen(/2)
b)

n
k=1
sen(2k 1) =
1 cos2n
2sen
9. Sean z = e
i
, w = r e
i
; pruebe que
z + w
z w
=
1 r
2
+ 2ir sen( )
1 + r
2
2r cos ( )
y que, en particular,
Re
_
1 + w
1 w
_
=
1 r
2
1 + r
2
2r cos ( )
10. Exprese en forma binomia y polar
a) e
3i
b) e
1 /6i
c) e
1 +i
11. Demuestre que
30
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Departamento de Matem atica MAT-021 afg/mev/mjm
a) z = x + yi e
z
= e
x
b) Imz > 0 e
iz
< 1
c) x, y R e
xi
e
yi
|x y|.
12. Sea a = r Cis ; considere la funci on f : C C, f(z) az = az. De-
scriba, geometricamente, su efecto sobre los puntos del plano complejo. En
adici on, para a = 1 + i describa como se transforman los conjuntos de las
guras:
31