ndice General

1 El cuerpo de los nmeros complejos 1

1.1 Introduccin a los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Operaciones con nmeros complejos: el cuerpo complejo . . . . . . . . . . . . . . . . 2
1.3 El conjugado de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Mdulo y argumento de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Topologa del plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.1 La esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5.2 Sucesiones de numeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.3 Series de numeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Funciones de variable compleja. Derivada en sentido complejo. 13
2.1 Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.1 Polinomios con coecientes complejos . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.2 Funciones racionales complejas . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.3 Funcin exponencial compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.4 Funciones trigonomtricas complejas . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Lmites de funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3 Continuidad de funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . 17
2.4 Derivacin en sentido complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.5 El logaritmo complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3 Integracin compleja. 27
3.1 Curvas en el plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Integrales de funciones sobre caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.3 El Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.4 Las frmulas integrales de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4 Series de potencias y de Laurent. Polos y residuos. 41
4.1 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3 Singularidades de una funcin compleja. Clasicacin de singularidades aisladas . . . 47
4.4 Transformada Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
iii
ndice General
4.4.1 Ecuaciones en diferencias nitas . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.4.2 Denicin y propiedades bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.4.3 Transformada Z inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.4.4 Aplicacin a la resolucin de la ecuacin en diferencias . . . . . . . . . . . . . 52
4.4.5 Funciones de transferencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5 El Teorema de los residuos. 61
5.1 Residuo de un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.2 El Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5.3 Aplicaciones al clculo de integrales reales . . . . . . . . . . . . . . . . . . . . . . . . 64
5.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
iv
Captulo 1
El cuerpo de los nmeros complejos
Sumario. Suma y producto de nmeros complejos. Potenciacin y radicacin de
nmeros complejos. Mdulo y argumento. Topologa del plano complejo. La esfera
de Riemann.
1.1 Introduccin a los nmeros complejos
Supongamos que queremos resolver la ecuacin
x
2
+ 1 = 0.
Nos encontramos entonces que
x
2
= 1
y no existe ningn nmero real que verique tal condicin. Introducimos entonces un nuevo nmero
i de manera que verique la ecuacin, esto es,
i
2
= 1.
Este nmero, del que todava no hemos apuntado sentido alguno, debe tener las siguientes peculia-
ridades. i
0
= 1, i
1
= i, i
2
= 1, i
3
= i i
2
= i, i
4
= i
2
i
2
= (1)(1) = 1 y a partir de esta todas
las potencias se repiten, tenindose que
i
n
= i
k
, k = 0, 1, 2, 3,
donde k es el resto de la divisin de n por 4, es decir n = 4 l + k, l N.
Se dene entonces un nnero complejo como una expresin de la forma
z = a + ib, a, b R.
Dicha manera de escribir un nmero complejo se dice binmica.
De esta manera, si operamos formalmente tenemos que la soluciones de la ecuacin
x
2
2x + 2 = 0
1
El cuerpo de los nmeros complejos
son
x =
2
_
4
2
=
2 i
_
4
2
= 1 1i,
con lo que puede resolverse cualquier ecuacin algebraica de grado dos.
Dado un nmero complejo z = a + ib, se dene su parte real Re z = a y su parte imaginaria
Imz = b. Si la parte imaginaria es nula el nmero es real, mientras que si la parte real es nula, el
nmero complejo se dice imaginario puro. Entonces podemos identicar los nmeros complejos como
pares ordenados de R
2
donde la parte real sea el eje x y la parte imaginaria sea el eje y. Entonces
podemos identicar los nmeros complejos como vectores del plano
El conjunto de todos los nmeros complejos lo denotaremos por C y es evidente que R C.
1.2 Operaciones con nmeros complejos: el cuerpo comple-
jo
Vamos a dotar al conjunto de los nmeros complejos de unas operaciones suma y producto de tal
manera que el conjunto C con estas operaciones tenga estructura de cuerpo conmutativo.
Para denir la suma tomamos como idea la idencacin hecha anteriormente de C con el plano
real. Dados entonces los nmeros complejos z = a + ib y w = c + id denimos su suma
z + w = (a + c) + i(b + d),
es decir, atendiendo a la denicin de suma de vectores en el plano real. Las propiedades de la suma
son las siguientes.
(S1) La suma es conmutativa, es decir, dados z, z
0
C se verica que z + z
0
= z
0
+ z.
(S2) La suma es asociativa, es decir, dados z, z
0
, z
00
C se cumple que (z +z
0
) +z
00
= z + (z
0
+z
00
).
2
El cuerpo de los nmeros complejos
(S3) Existe elemento neutro que se corresponde con el 0. As para todo z C se cumple que
z + 0 = z.
(S4) Dado z = a + bi, existe su elemento simtrico a + i(b), que tambin escribiremos a bi.
Con estas cuatro operaciones se dice que (C, +) es un grupo abeliano o conmutativo. Es impor-
tante darnos cuenta que cuando los nmeros complejos no tienen parte imaginaria, entonces la suma
de mmeros complejos es la suma de nmeros reales que ya conocemos.
Esta ltima idea la tendremos tambin en cuenta a la hora de denir el producto de nmeros
complejos. Para jar ideas, sean los nmeros complejos z = a + ib y w = c + id y denamos su
producto como
z w = (a + ib) (c + id) = ac bd + i(ad + bc).
Como vemos, si tanto b como d son nulos, recuperamos el producto usual de los reales. El producto
verica las siguientes propiedades.
(P1) El producto es conmutativo, es decir dados z, z
0
C se verica que z z
0
= z
0
z.
(P2) El producto es asociativo, es decir, dados z, z
0
, z
00
C se cumple que (z z
0
) z
00
= z (z
0
z
00
).
(P3) Existe el elemento neutro 1 que se corresponde con el neutro de los reales. Es decir 1z = z para
todo z C.
(P4) Todo nmero complejo z no nulo verica que tiene inverso. Si z = a + bi su inverso ser
z
31
=
a
a
2
+ b
2
i
b
a
2
+ b
2
.
(P5) Propiedad distributiva del producto respecto de la suma. Si z, z
0
, z
00
C se verica que z (z
0
+
z
00
) = z z
0
+ z z
00
.
Con estas propiedades (S1)(S4) y (P1)(P5) se verica que (C, +, ) tiene estructura de cuerpo
conmutativo.
1.3 El conjugado de un nmero complejo
Dado z = a + ib, se dene su complejo conjugado z = a ib. El conjugado tiene las siguientes
propiedades.
(C1) z = z para todo z C.
(C2) z + w = z + w para todo z, w C.
(C3) z w = z w para todo z, w C.
(C4) z z R para todo z C.
(C5) Si z R, entonces z = z.
3
El cuerpo de los nmeros complejos
La demostracin de estas propiedades es sencilla. Por ejemplo para probar (C1) basta darse
cuenta de que al cambiar dos veces de signo el nmero complejo queda como estaba. Para probar
(C2), tomemos z = a + ib y w = c + id. Entonces
z + w = (a + c + i(b + d)) = a + c i(b + d)
= (a ib) + (c id) = z + w.
Para probar (C3), dmonos cuenta de que
z w = (ac bd + i(ad + bc)) = ac bd i(ad + bc)
y por otro lado
z w = (a bi) (c di) = ac bd i(ad + bc),
con lo que la propiedad (C3) se verica. Para probar (C4) hay que darse cuenta de que
z z = a
2
+ b
2
R.
Por ltimo, la propiedad (C5) es inmediata.
El uso del conjugado es muy til en algunas ocasiones. Por ejemplo, si z C\ {0}, tenemos que
su elemento inverso puede escribirse como
z
31
=
z
z z
.
1.4 Mdulo y argumento de un nmero complejo
Ya vismo que los nmero complejos los podemos identicar con el plano R
2
. En virtud de esta
identicacin, a todo nmero complejo z 6= 0 podemos asociarle y mdulo y un argumento o ngulo
que forma el vector determinado por el nmero complejo con el eje x.
Empecemos por el mdulo. Dado z = a + ib C, se dene su mdulo como
|z| := +
_
z z = +
_
a
2
+ b
2
.
La propiedades del mdulo son las siguientes:
4
El cuerpo de los nmeros complejos
(M1) Para todo z C se verica que |z| _ 0 y adems |z| = 0 si y slo si z = 0.
(M2) Para todo z C se verica que |z| _ Re z _ |z| y |z| _ Imz _ |z|.
(M3) |z w| = |z| |w|, para todo z, w C.
(M4) Si z 6= 0 entonces |z
31
| = 1/|z|.
(M5) Si z 6= 0, entonces para todo w C, |w/z| = |w|/|z|.
(M6) Desigualdad de CauchySchwarz. Para todo par de nmeros complejos z, w se verica que
| Re(z w)| _ |z| |w| e | Im(z w)| _ |z| |w|.
(M7) Desigualdad triangular. Dados z, w C se verica que |z + w| _ |z| + |w|.
La primera propiedad es inmediata debido a la propia denicin de mdulo. Por otra parte
a
2
+ b
2
= 0 si y solamente si a = b = 0 con lo que la primera propiedad (M1) se verica. Para
comprobar la propiedad (M2) notemos que
_
a
2
+ b
2
_ max{a, b} _ +
_
a
2
+ b
2
. Probemos ahora
(M3) para lo cual hacemos el clculo
|z w| = +
_
z w z w = +
_
z z
_
w w = |z| |w|.
Probemos ahora (M4) teniendo en cuenta que z z
31
= 1 y utilizando (M3) tenemos que
|z z
31
| = |z| |z
31
| = 1,
de donde se deduce que
|z
31
| = |z|
31
= 1/|z|.
La propiedad (M5) se deduce automticamente de las propiedades (M3) y (M4). Para probar (M6)
sabemos que por (M2) y (M3)
| Re(z w)| _ |z w| = |z| |w|
e
| Im(z w)| _ |z w| = |z| |w|.
Finalmente, para demostrar la propiedad triangular, calculamos
|z + w|
2
= (z + w) (z + w) = (z + w) (z + w)
= z z + w w + z w + z w = |z|
2
+ |w|
2
+ z w + z w
= |z|
2
+ |w|
2
+ 2 Re(z w) _ |z|
2
+ |w|
2
+ 2|z| |w|
= (|z| + |w|)
2
,
de donde tomando cuadrados obtenemos la desigualdad pedida.
Pasemos a continuacin a introducir el argumento de un nmero complejo. Para ello sea z
C\ {0}. Un nmero real w se dice un argumento de z si se verica que
Re z = |z| cos w,
Imz = |z| sin w.
5
El cuerpo de los nmeros complejos
Dmonos cuenta que si w es un argumento de z, cualquier multiplo de 2Z de w tambin es un
argumento, por lo que el conjunto de los argumentos ser
arg(z) = {w : Re z = |z| cos w, Imz = |z| sin w}
= {w + 2Zk : k Z}
donde w es el nico argumento comprendido entre [0, 2Z).
Un nmero complejo z 6= 0 se dice que est en forma polar si z = |z|
w
, w arg(z). Se dice que
est en forma trigonomtrica si se escribe como z = |z|(cos w + i sinw), w arg(z). Ambas formas
tratan de escribir el nmero complejo dependiendo de su mdulo y su argumento, al igual que las
coordenadas polares en R
2
. Pero adems en el caso de los nmeros complejos, las formas polar y
trigonomtrica son tiles para trabajar con el producto, potencias y races de nmeros complejos.
Por ejemplo sean z, w C \ {0} y multipliqumoslos en forma trigonomtrica. Entonces, si
w arg(z) y ) arg(w) tenemos que
z w = |z|(cos w + i sinw) |w|(cos ) + i sin ))
= |z| |w|(cos w cos ) sin w sin ) + i(cos w sin ) + cos )sinw)
= |z| |w|(cos(w + )) + i sin(w + )))
con lo que en foema polar, hacer una multiplicacin de nmeros complejos es bsicamente multiplicar
los mdulos y sumar los argumentos, esto es
z w = (|z| |w|)
w+)
.
Igualmente si n N
z
n
= (|z|
n
)
nw
y si w 6= 0
z
w
=

|z|
|w|

w3)
.
Tambin son tiles las coordenadas polares para obtener las races nsimas de un nmero complejo.
Si z 6= 0, entonces w =
n
_
z si y slo si z = w
n
. Entonces
w
n
= (|w|
n
)
n)
= |z|
w
,
de donde
|w|
n
= |z|
o equivalentemente
|w| =
n
p
|z|
y
) =
w + 2Zk
n
, k Z.
Ahora bien, si k / {0, 1, ..., n 1} tenemos que k = n l + p, p {0, 1, ..., n 1} con lo que
w + 2Zk
n
=
w + 2Z(nl + p)
n
=
w + 2Zp
n
+ 2Zl
6
El cuerpo de los nmeros complejos
con lo que todos los argumentos de las races estn son
) =
w + 2Zk
n
, k = 0, 1, ..., n 1
y por tanto las races son
n
_
z =

n
p
|z|

w+2Zk
n
, k = 0, 1, ..., n 1.
1.5 Topologa del plano complejo
La topologa del plano complejo es similar a la que el alumno conoce de R
2
. Basta darse cuenta para
ello que si z = a + ib C, entonces su mdulo |z| = +
_
z z = +
_
a
2
+ b
2
coincide con el mdulo o
norma del vector del plano correspondiente.
As, dado z
0
C y r > 0, se dene la bola abierta de centro z
0
y radio r al conjunto
B(z
0
, r) = {z C : |z z
0
| < r}
y se dene la bola cerrada como
B(z
0
, r) = {z C : |z z
0
| _ r}.
Un conjunto A C se dir abierto si para cada z
0
A existe r > 0 de manera que B(z
0
, r) A.
Un conjunto A C se dice cerrado si su complementario C\ A es abierto. Por supuesto que la bola
abierta (respectivamente cerrada) es un conjunto abierto (respectivamente cerrado). Por ejemplo el
conjunto
{z C : Re z > 0}
es un conjunto abierto mientras que el conjunto
{z C : Re z _ 0}
es cerrado. Por supuesto existen conjuntos que no son abiertos ni cerrados, como por ejemplo
{z C : Re z > 0, Imz _ 0}.
Dado un conjunto A se dene el interior de A, Int(A), como el mayor abierto contenido en A.
Se dene su clausura, Cl(A), como el menor cerrado que contiene a A. Se dene la frontera de A,
Fr(A) = Cl(A) \ Int(A). El conjunto A es acotado si existe M > 0 tal que |z| < M para todo z A.
A se dir compacto si es cerrado y acotado.
Por ltimo, un punto z
0
es punto de acumulacin de Asi para todo 0 > 0 se verica que B(z
0
, 0)A
contiene innitos puntos. Los puntos de acumulacin son importantes porque son aquellos con los
que calcularemos los lmites y las nociones asociadas de derivada. Es fcil darse cuenta que si A es
un conjunto abierto, entonces todos sus puntos son de acumulacin.
7
El cuerpo de los nmeros complejos
1.5.1 La esfera de Riemann
Igual que en la recta real tenemos dos smbolos + para indicar nmeros reales arbitrariamente
grandes y para indicar nmeros reales arbitrariamente pequeos, en en cuerpo de los nmeros
complejos tenemos un simbolo para indicar nmeros complejos con mdulo arbitrariamente grande.
Para visualizar este smbolo, consideramos la esfera S
2
dada por la ecuacin x
2
+ y
2
+ z
2
= 1 y sea
N = (0, 0, 1) su polo norte y S = (0, 0, 1) su polo sur. Identicamos el conjunto de nmeros
complejos con el plano z = 1 (es decir un nmero complejo z = a + ib lo escribiremos (a, b, 1)) y
construimos una aplicacin biyectiva p : S
2
\ {N} C dada por
p(x, y, z) =
2(x + iy)
z 1
y que se obtiene de la interseccin de la recta que pasa por N y el punto (x, y, z) con el plano z = 1.
Entonces podemos identicar el innito del plano complejo con el polo norte de la esfera, que se
conoce con el nombre de esfera de Riemann. Con estas ideas, obtenemos la bola de centro como
B(, r) = {z C : |z| > r}.
Ademas z += , si z 6= 0, z = ,
31
= 0 y 0
31
= . Como siempre 0 , y
/ son indeterminaciones, que habr que resolver en el clculo de los lmites.
8
El cuerpo de los nmeros complejos
1.5.2 Sucesiones de numeros complejos
Una sucesin de nmeros complejos es una aplicacin z
n
: N C. Toda sucesin de nmeros
complejos la podemos ver como dos sucesiones de nmeros reales al vericarse que z
n
= Re z
n
+i Imz
n
.
De esta manera el clculo de lmites se reduce a lo siguiente:
lim
n<"
z
n
= a + ib si y solo si lim
n<"
Re z
n
= a y lim
n<"
Imz
n
= b.
lim
n<"
z
n
= si y slo si lim
n<"
|z
n
| = +.
Es decir, el clculo de lmites de sucesiones de variable compleja se hace una vez conocido el
clculo de lmites para sucesiones de variable real.
1.5.3 Series de numeros complejos
Lo mismo que hemos apuntado para sucesiones de nmeros complejos ocurre para series de nmeros
complejos. Dada una sucesin de numeros complejos z
n
se contruye la serie de trmino genera z
n
generando la sucecin s
n
= s
1
+ s
2
+ ... + s
n
. Al posible lmite de dicha sucesin lo denotamos
formalmente por
P
"
n=1
z
n
y decimos que la serie es convergente si el lmite es un nmero complejo
y divergente en caso contrario. De nuevo tenemos que
P
"
n=1
z
n
=
P
"
n=1
Re z
n
+ i
P
"
n=1
Imz
n
por lo
que podemos dar los siguientes casos.

P
"
n=1
z
n
es convergente si y slo si
P
"
n=1
Re z
n
y
P
"
n=1
Imz
n
son convergentes.
Si
P
"
n=1
|z
n
| es convergente se dice que
P
"
n=1
z
n
converge absolutamente. La convergencia
absoluta implica la convergencia pero no al revs (por ejemplo considerar la serie ya conocida
P
"
n=1
(1)
n
/n).
Por ltimo, si tenemos dos series de nmeros complejos
P
"
n=1
z
n
y
P
"
n=1
w
n
, podemos multiplicar
ambas series de la siguiente manera

"
X
n=1
z
n
!

"
X
n=1
w
n
!
= z
1

"
X
n=1
w
n
!
+ z
2

"
X
n=1
w
n
!
+ ... + z
n

"
X
n=1
w
n
!
+ ...
Este producto, si ambas series son absolutamente convergentes puede reordenarse de la manera
siguiente

"
X
n=1
z
n
!

"
X
n=1
w
n
!
=
"
X
n=1
n
X
i=1
z
i
w
n3i+1
,
que se conoce como forma del producto de Cauchy de series.
1.6 Ejercicios
1. Expresar los siguientes nmeros complejos en forma binmica:
(a) (1 + i)
3
(c)
2+3i
334i
(e) i
5
+ i
16
(g) 1 + i + i
2
+ i
3
(b)
1
i
(d) (1+i
s
3)
3
(f) 2
Z/2
(h) 1
Z/4
9
El cuerpo de los nmeros complejos
2. Escribir en forma algebrica los complejos siguientes, donde 4 denota el mdulo y w un argu-
mento
a) 4 = 2, w = Z b) 4 = 1, w = Z/4
c) 4 =
s
2, w = Z/3 d) 4 = 2, w = Z/2
3. Calcular las siguientes races:
(a)
3
s
1 (c)
3
s
i (e)
6
s
8 (g)
4
s
1
(b)
8
s
1 (d)
s
1 i (f)
s
3 + 4i (h)
3
s
2 + 2i
4. Calcular el mdulo y el argumento de los siguientes nmeros complejos:
(a) 3 + 4i (b)
1+i
13i
(c) i
7
+ i
10
(f) 1 + i + i
2
5. Calcular el mdulo y el argumento principal de los siguientes nmeros complejos:
(a) 2i (c) 3i (e) 1 (g)
4
s
1
(b) 3 (d)
1+i
I
2
(f) 3 + i
s
3 (h)
3
s
2 + 2i
6. Representar grcamente los siguientes conjuntos de nmeros complejos:
(a) {z 5 C : |z| = 1} (c) {z 5 C : |z| 1} (e) {z 5 C : z + z 1}
(b) {z 5 C : z z = i} (d) {z 5 C : Imz < 0} (f) {z 5 C : |Rez| < 1}
7. Representar grcamente el conjunto de los puntos del plano z tales que se verica:
(a) Re(z) + Im(z) = zz (b) |z|
31
1, (z 6= 0) (c) |z 5i| = 8 (d) |z 5i| = 8
(e) Im(z
2
) > 2 (f) Re(z
31
) = 1 (g) 2 < |z| < 3 (h)

z31
z+1

1
(i) |z 2| = |1 2z| (j) Re (z
2
z) = 0
8. Dados los nmeros complejos z
1
= 2 i y z
2
= 4 +i. Hallar z
1
+z
2
, 3z
1
2z
2
, z
1
z
2
, (z
2
)
31
,
z
1
z
2
.
9. Si z
1
= 6i y z
2
= 8 i, hallar z
1
z
2
,
z
1
z
2
,
z
2
z
1
, z
2
2
z
1
.
10. Hallar las partes real e imaginaria del complejo z =
13i
1+i
.
11. Determinar x e y, para que se cumpla la igualdad (1 + i)(x + iy) = i.
12. Calcular (2 + 2i)
2
, (2 2i)
2
, (2 + 2i)(2 2i).
13. Demostrar que |z| = 1 +,Re(z) = Re(z
31
).
14. Encontrar las cuatro races cuartas de z
1
= 8(1
s
3i) y de z
2
= 81.
15. Calcular (1 +
s
3i)
30
,
3
s
1 + i.
16. En qu vector se transforma
s
3 + 3i al girarlo Z/2?.Qu ngulo es necesario girarlo para
que el resultado sea 2
s
3i?
10
El cuerpo de los nmeros complejos
17. Demostrar la identidad de Lagrange, para a, b, c, d 5 R se verica

a
2
+ b
2

c
2
+ d
2

= (ac bd)
2
+ (ad + bc)
2
Indicacin: Considerar el nmero complejo z = (a + bi) (c + di) y hallar su mdulo de dos
modos diferentes.
18. Sea p(x) = a
n
x
n
+a
n31
x
n31
+... +a
1
x+a
0
un polinomio con coecientes reales, esto es, a
i
5 R
para 0 i n. Se pide:
(a) Comprobar que para todo z 5 C se cumple la igualdad p(z) = p(z).
(b) Usando el apartado anterior, probar que si z
0
es solucin compleja de P(z) = 0, entonces
su conjugado tambin es solucin.
(c) Calcular todas las soluciones de x
4
2x
3
+ 2x
2
2x + 1 = 0.
19. Resolver las ecuaciones
(a) x
2
+ 1 = 0 (b) x
3
+ 2 = 0 (c) x
5
+ 64 = 0 (d) (x
2
+ 4)(x 1)
2
= 0.
20. Estudiar la convergencia de las siguientes series complejas:
(a)
P
"
n=1
n
(2i)
2
(c)
P
"
n=1
(31)
n
+i
n
(e)
P
"
n=1
(31+i)
n
n
(g)
P
"
n=1
cos(2
n
)+
i
n
n
2
(b)
P
"
n=1
n!
(in)
n
(d)
P
"
n=1
cos n+i sinn
n!
(f)
P
"
n=1
cos(nZ)+i sin(nZ)
n
(h)
P
"
n=1
insinn
3
n
21. Dada la serie
P
"
n=0
z
n
, comprobar que es absolutamente convergente si |z| < 1 y que es diver-
gente para |z| > 1. Estudiar su carcter para z 5 {1, 1, i, i}.
22. Supongamos que es una relacin de orden sobre C de manera que restringida a R coincide
con la usual, es decir, si x, y 5 R, entonces x y si y slo si x y. Supongamos que cumple
las condiciones de compatibilidad:
(P1) z z
0
si y slo si z + w z
0
+ w para todo w 5 C.
(P2) z z
0
y 0 w implica z w z
0
w.
Comprobar que para dicha relacin se cumple que i 0 y 0 i, con lo que C no est totalmente
ordenado.
23. Comprobar que la relacin denida por
z z
0
/Rez Rez
0
e Imz Imz
0
es de orden sobre C y verica las hiptesis (P1) y (P2) del ejercicio anterior.
24. Dados z, w 5 C comprobar las desigualdades:
(a) |z w| ||z| |w||.
(b) |z w|
2
+ |z + w|
2
= 2(|z|
2
+ |w|
2
).
(c) |1 zw|
2
|z w|
2
= (1 |z|
2
)(1 |w|
2
).
11