Tema 9

El plano complejo
9.1

N
umeros complejos

En IR, las operaciones suma y producto de n

umeros reales son operaciones internas (el resultado
de operar es otro n
umero real) que permiten la existencia de operaciones inversas, resta y
division. Sin embargo, sobre IR2 tenemos definida una operacion suma que s es interna:
(a1 , b1 ) IR2 , (a2 , b2 ) IR2 , y (a1 , b1 ) + (a2 , b2 ) = (a1 + a2 , b1 + b2 ) IR2 ,
con operacion inversa la resta (suma de opuestos) y una operacion producto escalar, que no es
interna,
(a1 , b1 ) IR2 , (a2 , b2 ) IR2 , y (a1 , b1 ) (a2 , b2 ) = a1 a2 + b1 b2 IR
y no admite una operacion inversa.
Dotar a IR2 de una operacion producto interna, con un funcionamiento analogo al funcionamiento del producto en IR crea una nueva estructura conocida como el conjunto de los
n
umeros complejos o el cuerpo complejo.
Esta operacion producto se define de la forma siguiente:
(a1 , b1 ) (a2 , b2 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ).
As, el conjunto de los n
umeros complejos, C, esta formado por el conjunto IR2 con dos operaciones basicas: suma + (la suma de IR2 ) y el producto complejo (definido arriba). Es
decir, C = (IR2 , +, ).

9.1.1

Forma bin
omica de un n
umero complejo

El producto (complejo) tiene por elemento neutro (1, 0), pues

(1, 0) (a, b) = (a, b) (1, 0) = (1a 0b, 0a + 1b) = (1a, 1b) = (a, b).
Pero tambien, 1(a, b) = (1a, 1b) = (a, b) y, de hecho, para cualquier escalar ,
(, 0) (a, b) = (a 0b, 0a + b) = (a, b) = (a, b)
luego pueden identificarse los elementos (, 0) con los n
umeros reales , es decir, (, 0) = a
todos los efectos.
Como (a, b) = (a, 0) + (0, b) = a + (0, b) = a + b(0, 1), haciendo (0, 1) = i el n
umero complejo
se escribe (a, b) = a+ib, que se denomina forma bin
omica del n
umero complejo. Del elemento
i se dice que es la unidad imaginaria.
En la forma binomica, el producto se efectua como un producto de binomios habitual:
(a+ib)(c+id) = ac+iad+icb+i2 bd = (acbd)+i(ad+cb) = (acbd, ad+cb) = (a, b)(c, d)
sin mas que tener en cuenta que i2 = ii = (0, 1) (0, 1) = (1, 0) = 1.
Con esta nueva notacion, suele escribirse C = {a + ib : a, b IR} y los elementos de C
se denotan por z = a + ib. Los elementos de C se representan en el plano IR2 que suele
denominarse plano complejo, al eje se abcisas se le denomina eje real y al de ordenadas eje
imaginario.
Teor
a de variable compleja.

115

9 El plano complejo

Definici
on 9.1 Si z = a + ib es un n
umero complejo, se llama parte real de z al valor real
Re(z) = a y parte imaginaria al valor real Im(z) = b, es decir, z = Re(z) + i Im(z).
Si la parte imaginaria de z es cero, el complejo es un n
umero real y, suele indicarse con
z IR. Si la parte real de z es cero se dice que es imaginario puro y, suele indicarse con
z iIR.
El cero en C es el cero real (0, 0) = 0 + i0 = 0.
Proposici
on 9.2 Sea z C {0}, entonces existe un u
nico w C tal que zw = 1.
Demostracion:
En efecto, si z = a + ib y w =
( x + iy , zw = (a +ib)(x +!iy)
=! ax
by!+ i(ay + bx) y
ax by = 1
a b
x
1
zw = 1 = 1 + i0 el sistema

=
tiene solucion
bx + ay = 0
b a
y
0

a b

u
nica. Pero esto es cierto, pues
= a2 + b2 6= 0 al ser z 6= 0.
b a

Si z = a+ib, el inverso se denota por z 1 =

a
b
antes, por z 1 = aaib
2 +b2 = a2 +b2 i a2 +b2 .

9.1.2

1
z

y viene dado, resolviendo el sistema propuesto

Conjugado de un n
umero complejo

Definici
on 9.3 Sea z = a + ib un n
umero complejo, se llama conjugado de z al n
umero
complejo z = a ib.
Propiedades 9.4 Sean z, w C, entonces
a) z = z .
b) z = z z = a + i0 IR;
c) z + z = 2 Re(z);
d) z + w = z + w ;

z = z z = 0 + ib iIR.

z z = i2 Im(z).
z 1 = (z)1 .

zw = z w ;

Demostracion:
Si z = a + ib y w = c + id, se tiene que:
a) z = a ib = a + ib = z .
n

b) z = z a ib = a + ib

a=a
b=b

z = z a ib = a ib

b = 0 z = a;

a=a
b=b

a = 0 z = ib.

c) z + z = (a + ib) + (a ib) = 2a = 2 Re(z);

z z = (a + ib) (a ib) = i2b = i2 Im(z).
d) z + w = (a ib) + (c id) = (a + c) i(b + c) = z + w ;
z w = (a ib)(c id) = (ac (b)(d) + i(bc ad) = (ac bd) i(bc + ad) = zw ;
(z)1 = (a ib)1 =
116

a
a2 +(b)2

b
i a2 +(b)
2 =

a
a2 +b2

b
+ i a2 +b
2 =

a
a2 +b2

b
1 .
i a2 +b
2 = z

Teor
a de variable compleja.

9.2 Forma polar de un n

umero complejo

9.1.3

M
odulo de un n
umero complejo

Definici
on 9.5 Sea z= a + ib C un n
umero complejo. Se denomina m
odulo (o norma) de
2
2
z al valor real |z| = + a + b .
Nota: Es claro que si z = a + ib = (a, b), se tiene que |z| = k(a, b)k, por lo que las propiedades
de la norma real son validas para el m
udulo complejo.
Propiedades 9.6 Sean z, w C, entonces
a) |z| 0;

|z| = 0 z = 0.

b) |z + w| |z| + |w|;
c) | Re(z)| |z|;

|z w| |z| |w| .

| Im(z)| |z|;

|z| | Re(z)| + | Im(z)|.

d) |z| = |z|.
e) |z|2 = zz ;

1
z

z
|z|2

z
zz

|z 1 | = |z|1 .

f) |zw| = |z||w|;
Demostracion:

a) b) y c) Son propiedades de la norma en IR2 .

p
d) |z| = |a ib| = a2 + (b)2 = a2 + b2 = |z|.
e) zz = (a + ib)(a ib) = a2 (b2 ) + i(ab + ab) = a2 + b2 = |z|2 ;
|z|2 = zz z 1 |z|2 = z 1 zz = z z 1 =

z
|z|2

z
zz

f) |zw|2 = (ac bd)2 + (ad + bc)2 = a2 c2 + b2 d2 + a2 d2 + b2 c2 = (a2 + b2 )(c2 + d2 ) = |z|2 |w|2 ;

|z||z 1 | = |zz 1 | = |1| = 1.
Definici
on 9.7 Se llama distancia entre z y w al valor real d(z, w) = |z w|.

9.2

Forma polar de un n
umero complejo

Sea z = a + ib = (a, b). Un punto de IR2 queda perfectamente determinado mediante su

distancia al origen r y el angulo que forma con el eje polar (el semieje de abcisas positivo).
Definici
on 9.8 Sea z = x + iy un n
umero complejo no nulo. Se llama argumento de z y se
designa por arg(z) a cualquier n
umero real que verifique que
z = x + iy = |z| cos + i|z| sen = |z|(cos + i sen ).
Como las funciones seno y coseno son periodicas de perodo 2 , arg(z) est
a determinado
salvo m
ultiplos de 2 . Con otras palabras, hay una infinidad de argumentos de z , pero dos
cualesquiera de ellos difieren en un m
ultiplo de 2 . Si (, ] se dice que es el argumento
principal de z , y escribiremos = Arg(z).
Entonces, todos los argumentos de z son arg(z) = Arg(z) + 2k , con k ZZ.
Un n
umero complejo z C en forma polar suele denotarse como z = r , donde r = |z| y
= arg(z); y se tiene que z = |z| cos + i|z| sen = |z|(cos + i sen ).
Teor
a de variable compleja.

117

9 El plano complejo

Proposici
on 9.9 Sea A0 = {z C : z = x + i0, x 0} el semieje real negativo. El argumento
principal de un n
umero complejo no nulo z = x + iy viene dado por la expresion
(

Arg(z) =

y
2 arctg x+|z|
, si z
/ A0
, si z A0 {0}.

Demostracion:
Si z C {0}, con z = x + iy , el Arg(z) = es el angulo tal que tg = xy . Pero esto no
siempre es cierto en (, ] y, ademas, la funcion inversa de la tangente arctg: IR ( 2 , 2 )
no abarca todo el intervalo (, ]. Resolvemos esto, de la manera siguiente:
Puesto que img(arctg) = ( 2 , 2 ), para los valores de (, ) su angulo mitad s esta
en el intervalo imagen y, por tanto, puede obtenerse una expresion para 2 va la arcotangente;
obtenida dicha expresion, basta multiplicar por 2 para obtener una expresion para en (, ).
Podemos encontrar la expresion de tg 2 en funcion de los x e y de , usando un resultado
de trigonometra basica que dice lo siguiente:
En una circunferencia de centro O consideremos dos
A
puntos cualesquiera A y B . Entonces si C es otro punto

cualquiera de la circunferencia que no este sobre el arco

r
d
AB , el angulo ACB tiene la mitad de amplitud que el

C
B
d .
angulo AOB
r
O
r
La prueba de este resultado no es dificil en general y, en
particular (es el caso que vamos a usar), es muy sencilla
= 2
si el punto se elige prolongando uno de los radios hasta
un diametro de la circunferencia, es decir, si C es el diametralmente opuesto a uno de los anteriores, como en la
figura adjunta.
d y
El triangulo ACO es isosceles (los lados AO y CO son iguales) luego los angulos ACO
d son iguales de amplitud y el otro
d tiene amplitud , luego 2+ =
OAC
angulo COA

de donde 2 = y = 2 .
Volviendo al resultado que nos ocupa, si z = x+iy es un complejo con Arg(z) = (, )
y consideramos la circunferencia de centro 0 y radio |z|, por el resultado anterior, el angulo con
vertice en el complejo |z| tiene de amplitud 2 (ver figura 9.1 siguiente; analogamente para los
negativos).
z

|z|

/2

|z|
|z|
Fig. 9.1. Construccion de Arg(z) .

|z|

y
y
Usando ahora el triangulo de vertices |z|, z y x, se tiene que tg 2 = x(|z|)
= x+|z|
,
donde el denominador no se anula (pues x + |z| = 0 |z| = x z = x + i0 A0 ,
que tiene de argumento ). Por consiguiente, cada z C A0 tiene Arg(z) (, ) con
y
Arg(z) = 2 arctg x+|z|
.

118

Teor
a de variable compleja.

9.2 Forma polar de un n

umero complejo

Completando, para los complejos de A0 {0}, tenemos

(

Arg(z) =

y
2 arctg x+|z|
, si z
/ A0
, si z A0 {0},

que es la expresion propuesta.

Observaci
on 9.10 Tambien puede tomarse para el Arg(z) la siguiente expresion

Arg(z) =

arctg xy ,
+ arctg xy ,
+ arctg xy ,

2,
2 ,

si
si
si
si
si

x>0
x<0
x<0
x=0
x=0

e
e
e
e

y
y
y
y

0
<0
>0
< 0.

Basta tener en cuenta que para los complejos del 2o cuadrante (x < 0, y > 0) la tg = tg(),
para los del 3 er
cuadrante (x < 0, y < 0) la tg = tg( + ) y para los de la recta imaginaria
(x = 0) hay que ponerlos expresamente pues no puede dividirse por 0.
Operaciones multiplicativas en forma polar 9.11 Si z = r y w = r0 0 , tenemos los siguientes
resultados:
z 1 = (r1 ) .

a) z = r ;

b) zw = (rr0 )+0 ;

z
w

= ( rr0 )0 .

c) z n = (rn )n .
Demostracion:
Las pruebas son sencillas usando que z = r(cos + i sen ) y que
(cos + i sen )(cos + i sen ) = cos cos sen sen + i(sen cos + cos sen )
= cos( + ) + i sen( + ).

a) z = r(cos i sen ) = r cos() + i sen() = r .

z 1 =

1
z

z
|z|2

r( cos()+i sen())
r2

1
r

cos() + i sen() = ( 1r ) = (r1 ) .

b) zw = r(cos + i sen )r0 (cos 0 + i sen 0 ) = rr0 cos( + 0 ) + i sen( + 0 ) = (rr0 )+0 .
z
w

= zw1 = r ( r10 )0 = ( rr0 )0 .

n)

c) z n = r r r = (rn )

n)

++

= (rn )n .

En particular se verifica la formula de Moivre:

9.2.1

(cos + i sen )n = cos n + i sen n.

Raices complejas

Proposici
on 9.12 Un complejo z 6= 0 tiene n raices n-esimas distintas. Si r = |z| y es un
argumento de z , son precisamente
1

z n = (r n ) + 2k ,
n

Teor
a de variable compleja.

para k = 0, . . . , n 1.
119

9 El plano complejo

Demostracion:
Un complejo w es la raz n-esima de z , si se verifica que wn = z ; es decir, si |w|n = r y
1
n arg(w) = arg(z) = + 2k (alguno de los argumentos de z ). Luego |w| = r n y arg(w) =
+2k
, con k ZZ; pero con todos estos argumentos solo se obtienen n n
umeros complejos
n
distintos, los mismos que se obtienen tomando los n valores de k = 0, 1, . . . , n 1. Es decir,
existen n, y solo n, complejos distintos que son raices n-esimas de z , que son
1

z n = r n cos +2k
+ i sen +2k
,
n
n
Observaci
on 9.13 Es claro de la prueba anterior que las raices n-esimas de un complejo estan
distribuidas
regularmente en una circunferencia
p
n
de radio
|z|. Por ejemplo, las raices quintas
de z = r 3 , son los 5 n
umeros complejos

.
(i) z0 = 5 r + 20 = 5 r 15
15

con k = 0, . . . , n 1.

z = r 3
z1 =
z2 =

r 7
15

r 13
15

(ii) z1 = 5 r + 21 = 5 r 7 .
15

z0 =

5
r

15

15

(iii) z2 = 5 r + 22 = 5 r 13 .
15

15

(iv) z3 = 5 r + 23 = 5 r 19 = 5 r 11 .
15

15

15

(v) z4 = 5 r + 24 = 5 r 25 = 5 r 5 .
15

15

z3 =

5
r 19
15

z4 =

5
r 25
15

15

que quedan distribuidos como en la figura aneja.

9.3

Conjuntos en el plano complejo

Como C es el conjunto IR2 y el modulo de un complejo coincide con la norma del punto como
elemento de IR2 , los conjuntos son entornos, son abiertos y cerrados, son acotados, si lo son en
IR2 . As:
Definici
on 9.14 Dados un n
umero complejo z0 y un n
umero real positivo r , se denomina
entorno de z0 de radio r al conjunto
E(z0 , r) = {z C : |z z0 | < r} .
En el caso complejo, es usual denominar a los entornos bolas o discos y denotarlos tambien
por B(z0 , r) o D(z0 , r).
Llamaremos entorno reducido (tambien bola o disco perforado) al conjunto
E (z0 , r) = {z C : 0 < |z z0 | < r}
Se denomina entorno cerrado (bola o disco cerrado) al conjunto
E(z0 , r) = {z C : |z z0 | r} .
Definici
on 9.15 Se dice que un conjunto A C es acotado cuando A esta contenido en una
bola con centro en el origen, es decir, existe M > 0 tal que A E(0, M ).
120

Teor
a de variable compleja.

9.4 Ejercicios

9.4

Ejercicios

9.1 Comprobar que el producto de complejos es asociativo, conmutativo y distributivo respecto

a la suma. Es decir, que
a) z(wv) = (zw)v , z, w, v C.
b) zw = wz , z, w C.
c) z(w + v) = zw + zv , z, w, v C.
9.2 Siendo z = x + iy , hallar la parte real y la parte imaginaria de
a)

1
3z+2i ,

b) z 3 ,

c)

b) i1 ,

c)

z+2i
z1 ,

d)

2
zi

z+i
z ,

e)

1
.
z2

9.3 Simplificar
a) i729 ,

1
i ,

d) (1 +

i) (1 i)2 .

9.4 Sea P (X) = an X n + an1 X n1 + + a1 X + a0 un polinomio real (ai IR). Probar que
para todo w C se verifica que P (w) = P (w) y deducir de ello que si w C es una raz
de P (X) tambien w es una raz de P (X).
q

9.5 Sean z = a + ib y = +

|z|+a
2

z = ( + i),

y =+

|z|a
2 .

si b 0,

Probar que

z = ( i),

si b < 0.

Hallar los valores de z tales que z 2 = 3 4i.

9.6 Hallar los valores de z tales que z 4 = 1, directamente y mediante la aplicacion del
ejercicio anterior. Usar el resultado para descomponer el polinomio real P (X) = X 4 + 1
en producto de dos polinomios reales de grado 2 (ver ejercicio 9.4).

9.7 Probar que 8 = i 8. Usar esto para encontar los valores solucion de la ecuacion
x2 + x + 1 = 0.

b2 4ac
9.8 Sean a, b, c C. Comprueba que z = b 2a
, donde por b2 4ac denotamos las
dos raices del complejo b2 4ac, son las soluciones de la ecuacion az 2 + bz + c = 0.
9.9 Representa en el plano complejo los conjuntos
a) S1 = {z C : |z 2i| < 1}.
b) S2 = {z C : |z|2 = 1}.
c) S3 = {z C : |z 2i| < 1; Re(z) 0}.
d) S4 = {z C : Im(z + 5) = 0}.

Teor
a de variable compleja.

121