Está en la página 1de 7

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 IR
2
tenemos denida una operacion suma que s es interna:
(a
1
, b
1
) IR
2
, (a
2
, b
2
) IR
2
, y (a
1
, b
1
) + (a
2
, b
2
) = (a
1
+a
2
, b
1
+b
2
) IR
2
,
con operacion inversa la resta (suma de opuestos) y una operacion producto escalar, que no es
interna,
(a
1
, b
1
) IR
2
, (a
2
, b
2
) IR
2
, y (a
1
, b
1
) (a
2
, b
2
) = a
1
a
2
+b
1
b
2
IR
y no admite una operacion inversa.
Dotar a IR
2
de una operacion producto interna, con un funcionamiento analogo al fun-
cionamiento 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 dene de la forma siguiente:
(a
1
, b
1
) (a
2
, b
2
) = (a
1
a
2
b
1
b
2
, a
1
b
2
+b
1
a
2
).
As, el conjunto de los n umeros complejos, C, esta formado por el conjunto IR
2
con dos opera-
ciones basicas: suma + (la suma de IR
2
) y el producto complejo (denido arriba). Es
decir, C = (IR
2
, +, ).
9.1.1 Forma binomica 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 identicarse 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 binomica 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+i
2
bd = (acbd)+i(ad+cb) = (acbd, ad+cb) = (a, b)(c, d)
sin mas que tener en cuenta que i
2
= 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 IR
2
que suele
denominarse plano complejo, al eje se abcisas se le denomina eje real y al de ordenadas eje
imaginario.
Teora de variable compleja. 107
9.1 N umeros complejos
Denicion 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.
Proposicion 9.2 Sea z C {0}, entonces existe un unico 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
zw = 1 = 1 + i0 el sistema
_
ax by = 1
bx +ay = 0

_
a b
b a
__
x
y
_
=
_
1
0
_
tiene solucion
unica. Pero esto es cierto, pues

a b
b a

= a
2
+b
2
= 0 al ser z = 0.
Si z = a+ib, el inverso se denota por z
1
=
1
z
y viene dado, resolviendo el sistema propuesto
antes, por z
1
=
aib
a
2
+b
2
=
a
a
2
+b
2
i
b
a
2
+b
2
.
9.1.2 Conjugado de un n umero complejo
Denicion 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; z = z z = 0 + ib iIR.
c) z +z = 2 Re(z); z z = i2 Im(z).
d) z +w = z +w; zw = z w; z
1
= (z)
1
.
Demostracion:
Si z = a + ib y w = c + id, se tiene que:
a) z = a ib = a + ib = z.
b) z = z a ib = a + ib
_
a=a
b=b
b = 0 z = a;
z = z a ib = a ib
_
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
=
a
a
2
+(b)
2
i
b
a
2
+(b)
2
=
a
a
2
+b
2
+ i
b
a
2
+b
2
=
a
a
2
+b
2
i
b
a
2
+b
2
= z
1
.
Teora de variable compleja. 108
9.2 Forma polar de un n umero complejo
9.1.3 Modulo de un n umero complejo
Denicion 9.5 Sea z = a +ib C un n umero complejo. Se denomina modulo (o norma) de
z al valor real |z| = +

a
2
+b
2
.
Nota: Es claro que si z = a + ib = (a, b), se tiene que |z| = (a, b), 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| ; |z w|

|z| |w|

.
c) | Re(z)| |z| ; | Im(z)| |z| ; |z| | Re(z)| +| Im(z)| .
d) |z| = |z| .
e) |z|
2
= zz;
1
z
=
z
|z|
2
=
z
zz
.
f) |zw| = |z||w| ; |z
1
| = |z|
1
.
Demostracion:
a) b) y c) Son propiedades de la norma en IR
2
.
d) |z| = |a ib| =
_
a
2
+ (b)
2
=

a
2
+b
2
= |z| .
e) zz = (a + ib)(a ib) = a
2
(b
2
) + i(ab +ab) = a
2
+b
2
= |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
= a
2
c
2
+b
2
d
2
+a
2
d
2
+b
2
c
2
= (a
2
+b
2
)(c
2
+d
2
) = |z|
2
|w|
2
;
|z||z
1
| = |zz
1
| = |1| = 1.
Denicion 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 IR
2
queda perfectamente determinado mediante su
distancia al origen r y el angulo que forma con el eje polar (el semieje de abcisas positivo).
Denicion 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 verique 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) esta determinado
salvo m ultiplos de 2. Con otras palabras, hay una innidad de argumentos de z, pero dos
cualesquiera de ellos dieren 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).
Teora de variable compleja. 109
9.2 Forma polar de un n umero complejo
Proposicion 9.9 Sea A
0
= {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) =
_
2 arctg
y
x+|z|
, si z / A
0
, si z A
0
{0}.
Demostracion:
Si z C {0}, con z = x + iy, el Arg(z) = es el angulo tal que tg =
y
x
. 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
puntos cualesquiera A y B. Entonces si C es otro punto
cualquiera de la circunferencia que no este sobre el arco
AB, el angulo

ACB tiene la mitad de amplitud que el
angulo

AOB.
La prueba de este resultado no es dicil en general y, en
particular (es el caso que vamos a usar), es muy sencilla
si el punto se elige prolongando uno de los radios hasta
un diametro de la circunferencia, es decir, si C es el di-
ametralmente opuesto a uno de los anteriores, como en la
gura adjunta.

B
O
r
r r

=

2
El triangulo ACO es isosceles (los lados AO y CO son iguales) luego los angulos

ACO y

OAC son iguales de amplitud y el otro angulo



COA tiene amplitud , luego 2+ =
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 gura 9.1 siguiente; analogamente para los
negativos).
z
|z| |z|
x
y

2
z
|z| |z|
x
y

/2
Fig. 9.1. Construccion de Arg(z).
Usando ahora el triangulo de vertices |z| , z y x, se tiene que tg

2
=
y
x(|z|)
=
y
x+|z|
,
donde el denominador no se anula (pues x + |z| = 0 |z| = x z = x + i0 A
0
,
que tiene de argumento ). Por consiguiente, cada z C A
0
tiene Arg(z) (, ) con
Arg(z) = 2 arctg
y
x+|z|
.
Teora de variable compleja. 110
9.2 Forma polar de un n umero complejo
Completando, para los complejos de A
0
{0}, tenemos
Arg(z) =
_
2 arctg
y
x+|z|
, si z / A
0
, si z A
0
{0},
que es la expresion propuesta.
Observacion 9.10 Tambien puede tomarse para el Arg(z) la siguiente expresion
Arg(z) =
_

_
arctg
y
x
, si x > 0
+ arctg
y
x
, si x < 0 e y 0
+ arctg
y
x
, si x < 0 e y < 0

2
, si x = 0 e y > 0

2
, si x = 0 e y < 0.
Basta tener en cuenta que para los complejos del 2
o

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 = r

, tenemos los siguientes


resultados:
a) z = r

; z
1
= (r
1
)

.
b) zw = (rr

)
+
;
z
w
= (
r
r

.
c) z
n
= (r
n
)
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())
r
2
=
1
r
_
cos() + i sen()
_
= (
1
r
)

= (r
1
)

.
b) zw = r(cos + i sen)r

(cos

+ i sen

) = rr

_
cos( +

) + i sen( +

)
_
= (rr

)
+
.
z
w
= zw
1
= r

(
1
r

= (
r
r

.
c) z
n
= r

n)
r

= (r
n
)
+
n)
+
= (r
n
)
n
.
En particular se verica la formula de Moivre: (cos + i sen)
n
= cos n + i senn.
9.2.1 Raices complejas
Proposicion 9.12 Un complejo z = 0 tiene n raices n-esimas distintas. Si r = |z| y es un
argumento de z, son precisamente
z
1
n
= (r
1
n
)
n
+
2k
n
, para k = 0, . . . , n 1.
Teora de variable compleja. 111
9.3 Conjuntos en el plano complejo
Demostracion:
Un complejo w es la raz n-esima de z, si se verica que w
n
= z; es decir, si |w|
n
= r y
narg(w) = arg(z) = + 2k (alguno de los argumentos de z). Luego |w| = r
1
n
y arg(w) =
+2k
n
, con k ZZ; pero con todos estos argumentos solo se obtienen n n umeros complejos
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
z
1
n
=r
1
n
_
cos
+2k
n
+ i sen
+2k
n
_
, con k = 0, . . . , n 1.
Observacion 9.13 Es claro de la prueba ante-
rior que las raices n-esimas de un complejo estan
distribuidas regularmente en una circunferencia
de radio
n
_
|z| . Por ejemplo, las raices quintas
de z = r

3
, son los 5 n umeros complejos
(i) z
0
=
5

r
15
+
20
5
=
5

r

15
.
(ii) z
1
=
5

r
15
+
21
5
=
5

r 7
15
.
(iii) z
2
=
5

r
15
+
22
5
=
5

r 13
15
.
(iv) z
3
=
5

r
15
+
23
5
=
5

r 19
15
=
5

r 11
15
.
(v) z
4
=
5

r
15
+
24
5
=
5

r 25
15
=
5

r 5
15
.
que quedan distribuidos como en la gura aneja.
z =r

3
z
0
=
5

r
15
z
1
=
5

r 7
15
z
2
=
5

r 13
15
z
3
=
5

r 19
15
z
4
=
5

r 25
15
9.3 Conjuntos en el plano complejo
Como C es el conjunto IR
2
y el modulo de un complejo coincide con la norma del punto como
elemento de IR
2
, los conjuntos son entornos, son abiertos y cerrados, son acotados, si lo son en
IR
2
. As:
Denicion 9.14 Dados un n umero complejo z
0
y un n umero real positivo r, se denomina
entorno de z
0
de radio r al conjunto
E(z
0
, r) = {z C : |z z
0
| < r} .
En el caso complejo, es usual denominar a los entornos bolas o discos y denotarlos tambien
por B(z
0
, r) o D(z
0
, r).
Llamaremos entorno reducido (tambien bola o disco perforado) al conjunto
E

(z
0
, r) = {z C : 0 < |z z
0
| < r}
Se denomina entorno cerrado (bola o disco cerrado) al conjunto
E(z
0
, r) = {z C : |z z
0
| r} .
Denicion 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).
Teora de variable compleja. 112
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)
z+2i
z1
, d)
2
zi
+
z+i
z
, e)
1
z
2
.
9.3 Simplicar
a) i
729
, b) i
1
, c)
1
i
, d) (1 +

i)
2
(1

i)
2
.
9.4 Sea P(X) = a
n
X
n
+a
n1
X
n1
+ +a
1
X +a
0
un polinomio real (a
i
IR). Probar que
para todo w C se verica 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).
9.5 Sean z = a + ib y = +
_
|z|+a
2
y = +
_
|z|a
2
. Probar que

z = ( + i), si b 0, y

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


x
2
+x + 1 = 0.
9.8 Sean a, b, c C. Comprueba que z =
b

b
2
4ac
2a
, donde por

b
2
4ac denotamos las
dos raices del complejo b
2
4ac, son las soluciones de la ecuacion az
2
+bz +c = 0.
9.9 Representa en el plano complejo los conjuntos
a) S
1
= {z C : |z 2i| < 1}.
b) S
2
= {z C : |z|
2
= 1}.
c) S
3
= {z C : |z 2i| < 1; Re(z) 0}.
d) S
4
= {z C : Im(z + 5) = 0}.
Teora de variable compleja. 113