Captulo 1:

Nmeros complejos.
ndice
1.1. Introduccin.
1.2. Denicin
1.3. Representacin grca
1.3.1. Conjugado. Mdulo. Argumento.
1.3.2. Forma polar , trigonomtrica y exponencial.
1.4. Funciones elementales complejas
1.4.1. La funcin exponencial.
1.4.2. Logaritmos complejos.
1.4.3. Potencias complejas.
1.5. Aplicaciones de los nmeros complejos
1.5.1. Movimiento armnico simple.
1.5.2. Circuitos elctricos.
1.5.3. Procesamiento digital de seales.
1.6 Ejercicios propuestos.
2
1.1. Introduccin
El concepto de nmero imaginario y despus complejo se conoce en las
matemticas y se utiliza desde tiempos remotos. Las distintas necesidades
permitieron el desarrollo de nuestro sistema numrico; los nmeros natu-
rales (N) para contar, los racionales (Q) para expresar partes fracionarias y
razones, los negativos para expresar prdidas, dbitos y temperaturas bajo
cero. Cuando se observ que no se poda expresar un tamao exacto con
un nmero racional aparecieron los irracionales (I) y stos se unieron a los
racionales y formaron el conjunto de los nmeros reales (R). Ms tarde surgi
la necesidad de expandir el sistema de nmeros reales con el conjunto de los
nmeros complejos (C). Cuando se estudi la solucin de la ecuacin de
segundo grado ax
2
+bx +c = 0 se analizo el signo del discriminante b
2
4ac
y su relacin con las soluciones. Si el discriminante era negativo se deca que
la ecuacin no tena solucin. Los nmeros complejos son una extensin de
los nmeros reales, cumpliendose R C.
La primera referencia conocida a races cuadradas de nmeros negativos
proviene del trabajo de los matemticos griegos, como Hern de Alejandra
en el siglo I antes de Cristo, como resultado de una imposible seccin de una
pirmide. Los complejos se hicieron ms patentes en el Siglo XVI, cuando
la bsqueda de frmulas que dieran las races exactas de los polinomios de
grados 2 y 3 fueron encontradas por matemticos italianos como Tartaglia
y Cardano. Aunque slo estaban interesados en las races reales de este
tipo de ecuaciones, se encontraban con la necesidad de lidiar con races de
nmeros negativos. El trmino imaginario para estas cantidades fue acuado
por Descartes en el Siglo XVII y est en desuso. La existencia de nmeros
complejos no fue completamente aceptada hasta la ms abajo mencionada
interpretacin geomtrica que fue descrita por Wessel en 1799, redescubier-
ta algunos aos despus y popularizada por Gauss. La implementacin ms
formal, con pares de nmeros reales fue dada en el Siglo XIX.
Los nmeros complejos se usan en ingeniera electrnica y en otros cam-
pos para una descripcin adecuada de las seales peridicas variables (ver
Anlisis de Fourier). En una expresin del tipo z = re
i
podemos pensar en
r como la amplitud y en como la fase de una onda sinusoidal de una fre-
cuencia dada. Cuando representamos una corriente o un voltaje de corriente
alterna (y por tanto con comportamiento sinusoidal) como la parte real de
3
una funcin de variable compleja de la forma: f(t) = ze
it
donde represen-
ta la frecuencia angular y el nmero complejo z nos da la fase y la amplitud,
el tratamiento de todas las frmulas que rigen las resistencias, capacidades e
inductores pueden ser unicadas introduciendo resistencias imaginarias para
las dos ltimas (ver redes elctricas). Ingenieros elctricos y fsicos usan la
letra j para la unidad imaginaria en vez de i que est tpicamente destinada
a la intensidad de corriente. El campo complejo es igualmente importante en
mecnica cuntica cuya matemtica subyacente utiliza Espacios de Hilbert
de dimensin innita sobre C.
En la relatividad especial y la relatividad general, algunas frmulas para la
mtrica del espacio-tiempo son mucho ms simples si tomamos el tiempo co-
mo una variable imaginaria.
En ecuaciones diferenciales, cuando se estudian las soluciones de las ecua-
ciones diferenciales lineales con coecientes constantes, es habitual encontrar
primero las races (en general complejas) del polinomio caracterstico, lo
que permite expresar la solucin general del sistema en trminos de funciones
de base de la forma: f(x) = e
x
.
Los fractales son diseos artsticos de innita complejidad. En su versin
original, se los dene a travs de clculos con nmeros complejos en el plano.
1.2. Denicin
Denicin. Consideramos en el conjunto R
2
las operaciones de adicin y
producto denidas por
(x, y) + (u, v) = (x + u, y + v)
(x, y)(u, v) = (xu yv, xv + yu)
Es fcil comprobar las propiedades asociativa, conmutativa y distributiva de
las operaciones as denidas. El elemnto neutro de la suma es (0, 0) y (1, 0)
es la unidad del producto. Adems, (x, y) es el opuesto de (x, y), y todo
(x, y) = (0, 0) tiene inverso
(x, y)(
x
x
2
+ y
2
,
y
x
2
+ y
2
) = (1, 0)
Se dice que (R
2
, +, .) es un cuerpo que se representa simblicamente por C
y sus elementos se llaman nmeros complejos.
4
Vamos a representar los nmeros complejos de una manera ms apropia-
da ya que el smbolo (x, y) no es el ms conveniente.
Hacemos la identicacin (x, 0) = x. El nmero complejo (0, 1) lo represen-
tamos por j y lo llamaremos unidad imaginaria. Luego
j
2
= (0, 1)(0, 1) = (1, 0) = 1
Escribimos
(x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy
Denicin. Se dice que z = x + jy es la expresin binmica del nmero
complejo (x, y). x es la parte real (Re(z)) e y es la parte imaginaria (Im(z)).
Operaciones.
(x + jy) + (u + jv) = (x + u) + j(y + v)
(x + jy)(u + jv) = (xu yv) + j(xv + yu)
Para el cociente se multiplica numerador y denominador por el conju-
gado (denicin en la siguiente seccin) del denominador
x + jy
u + jv
=
xu + yv
u
2
+ v
2
+ j
yu xv
u
2
+ v
2
Potencias de j.
_

_
j
j
2
= 1
j
3
= j
2
j = j
j
4
= j
3
j = j
2
= 1
j
5
= j
4
j = j
j
6
= j
5
j = j
2
= 1
. . .
j
n
= j
resto
n
4
5
1.3. Representacin grca
1.3.1. Conjugado. Mdulo. Argumento.
Es usual representar el nmero complejo z = x + jy como el vector del
plano (x, y). Es por ello que se habla de plano complejo. El eje horizontal
recibe el nombre de eje real, y el eje vertical recibe el nombre de eje imagi-
nario. Al punto P(x, y) se le denomina ajo de z.
Figura 1: Representacin grca de un nmero complejo
Denicin. Si z = x+jy es un nmero complejo (con x e y reales), entonces
el conjugado de z se dene como:
z = x jy
y el mdulo (o valor absoluto) de z, se dene como:
|z| =
_
x
2
+ y
2
Geomtricamente, z es la reexin de z respecto al eje real, mientras que |z|
es la distancia ucldea del punto (x, y) a (0, 0).
Proposicin. Sean z, C:
(a)

z = z, z + = z + , z = z
6
(b) m ax{|Rez| , |Imz|} |z| |Rez| +|Imz|
En particular, Rez = |z| si, y slo s, z R
+
0
(c) |z| = |z| ||
(d) |z + | |z| +|| (desigualdad triangular)
La desigualdad triangular es una igualdad si, y slo s alguno de los
nmeros es cero o uno de ellos es un mltiplo positivo del otro.
1.3.2. Forma polar , trigonomtrica y exponencial.
Denicin. Se llama argumento del nmero complejo z = x+jy al ngulo
que forma el eje positivo de abcisas con la semirecta de origen O que contiene
al ajo de z .
= arctan(
y
x
)
Denicin. Sean m y el mdulo y el argumento del nmero complejo z
z = m

recibe el nombre de forma polar.

z = m(cos + j sen ) recibe el nombre de forma trigonomtrica.
z = me
j
recibe el nombre de forma exponencial.
Figura 2: Forma polar de un nmero complejo
7
Dado que z C, z = 0, hay innitos nmeros R que verican la
igualdad z = |z| (cos + j sen ). Cualquiera de ellos recibe el nombre de ar-
gumento de z. Al conjunto de todos los argumentos de un nmero complejo
no nulo lo denotamos por Arg(z).
Arg(z)={ R : z = |z| (cos + j sen )}
Observa que
, Arg(z)
_
cos () = cos ()
sen () = sen ()
= + 2k para algn k Z
De todos los argumentos de un nmero complejo z = 0 hay uno nico
que se encuentra en el intervalo (, ], se representa por arg(z) y se llama
argumento principal de z.
Proposicin. Sean z = m

y = n

z = m = n y = 2k k Z.
Sus mdulos son iguales y sus argumentos se diferencian en un mltiplo
entero de 2.
z y son conjugados m = n y = + 2k k Z.
Sus mdulos son iguales y sus argumentos opuestos (sus ajos son
simtricos respecto al eje OX).
z y son opuestos m = n y = + + 2k.
Sus mdulos son iguales y sus argumentos se diferencian en radianes
(ajos simtricos respecto al origen).
Operaciones en forma polar.
Sean z = m

y = n

nmeros complejos no nulos.

z = mn
+
z

=
_
m
n
_

[z]
k
= m
k
k
8
La siguiente igualdad es muy til y se conoce como frmula de Moivre.
Proposicin. Si z es un nmero complejo no nulo, es un argumento de
z, m es su mdulo y k es un nmero entero, se verica que k Arg(z), es
decir:
z
k
= (m(cos + j sen ))
k
= m
k
(cos k + j sen k) , Arg(z), k Z
Races de un nmero complejo
Queremos resolver la ecuacin
n
= z ( =
n

z) donde n es un nmero
natural, n 2 y z = 0 un nmero complejo conocido. Es decir lo que
queremos calcular son las n races n-simas de z.
Escribimos z en forma polar (z = m

) y tenemos que las soluciones son de

la forma:

k
=
n

m+2k
n
k = 0, 1, 2, . . . , n 1
Si representamos todas las races n-simas de z obtenemos n puntos so-
bre una circunferencia de centro (0, 0) y radio
n

m que forman un polgono

regular de n lados.
Figura 3: Races novenas de la unidad
9
1.4. Funciones elementales complejas
Denicin. Por funcin compleja de variable compleja entendemos una fun-
cin f : A C C de manera que
z = x + jy A, C = f(z) = u(x, y) + jv(x, y)
Es decir, tener una funcin compleja de vaiable compleja es tener dos fun-
ciones reales de dos variables reales.
f(z) = u(x, y) + jy(x, y)
z = x + jy; u(x, y) = Ref; v(x, y) = Imf
1.4.1. La funcin exponencial
Sea la frmula de Euler:
e
jt
= cos t + j sen t para todo t R
Denimos la exponencial compleja de un nmero z = x + jy como :
e
x+jy
= e
x
(cos y + j sen y)
Observa que
|e
z
| = e
Rez
, Imz Arg(e
z
)
De la frmula de Euler tambin se deduce las llamadas ecuaciones de
Euler
cos t =
e
jt
+e
jt
2
, sen t =
e
jt
e
jt
2j
La exponencial compleja tiene la propiedad de transformar sumas en pro-
ductos. Adems es la herramienta ms usada para trabajar con las funciones
seno y coseno. La funcin exponencial es til para representar los nmeros
complejos de mdulo 1 (i.e. cos t + j sen t, t R). Recuerda que multi-
plicar por un nmero complejo de mdulo 1 representa un giro cuya amplitud
es el argumento de dicho nmero.
Es fcil probar que
10
e
z+
= e
z
e

, para todos z, C
de donde se deduce que para todo z C y todo k Z
e
z
= e
z+2kj
Lo que en particular nos dice que la exponencial compleja es una funcin
peridica con periodo 2j. Esto supone una gran diferencia con la exponencial
real que es una funcin inyectiva.
La exponencial real es siempre positiva. Para la exponencial compleja
no tiene sentido hablar de positiva, todo lo que podemos decir es que al
exponencial compleja no se anula nunca pues |e
z
| = e
Rez
> 0
1.4.2. Logaritmos complejos
Dado z, nmero complejo distinto de cero, nos preguntamos cuando ex-
isten nmeros complejos tales que
e

= z
Como
e

= e
Re
(cos(Im) + j sen(Im))
para que e

= z debe cumplirse
|z| = e
Re
, i.e., Re = log |z|.
Arg(z) = Arg(e

), y esto es equivalente a Im Arg(z) (ya que

Im Arg(e
)
); y esto se cumple si, y solo si Im = arg(z) +2k, con
k Z.
Hemos probado que
{ C : e

= z} = {log |z| + j(arg(z) + 2k, k Z}.

Por tanto existen innitos nmeros complejos que satisfacen la ecuacin
e

= z. Cualquiera de ellos se llama logaritmo de z. Al conjunto de todos

ellos lo representamos por Logz.
Logz = {log |z| + j(arg(z) + 2k, k Z}
11
Todos los logaritmos de z estn situados en la misma recta vertical de abcisas
log |z|, y a partir de uno cualquiera de ellos podemos situar todos los dems,
desplazandolo hacia arriba o hacia abajo una distancia igual a un mltip-
lo entero de 2. De entre todos los logaritmos de z elegimos uno, llamado
logaritmo principal, denido por
log z = log |z| + jarg(z), z C
Cuando z R
+
, el logritmo principal que acabamos de denir coincide con
el logaritmo real de z. Adems, de todos los loraritmos de z, el logaritmo
principal es el nico cuya parte imaginaria est en el intervalo (, ]
1.4.3. Potencias complejas
La potencia de base a y exponente b, siendo a, b R, se dene como
a
b
= e
b log a
. Ahora, dados a, b , con a = 0, sabemos que hay innitos
logaritmos de a, todos ellos de la forma log a + j2k, con k Z. Por ello
cualquier nmero complejo de la forma e
b(log a+j2k)
donde k Z, es una
potencia de base a y exponente b.
a
b
=
_
e
b(log a+j2k)
: k Z
_
Destacamos una:
a
b
=
_
e
b log a
_
que se llama valor principal de la potencia de base a y exponente b.
1.5. Aplicaciones de los nmeros complejos
Como ya se ha dicho anteriormente, la exponencial compleja es la her-
ramienta ms til para trabajar con funiones sinusoidales, i.e., las funciones
seno y coseno. Muchsimos procesos naturales, entre los que destacan los
movimientos oscilatorios y ondulatorios, se describen adecuadamente por
medio de funciones sinusoidales.
12
Figura 4: Movimiento circular
1.5.1. Movimiento armnico simple
Un nmero complejo es un vector del plano, que, escrito en forma polar,
tiene asociado un ngulo y por eso, los nmeros complejos son muy apropia-
dos para representar giros y movimientos circulares. Consideramos un mvil
que recorre una circunferencia centrada en el origen y de radio R con una
velocidad angular constante . La posicin de dicho mvil en el tiempo t es
r (t) = (Acos (t + ) , Asen (t + ))
Usando nmeros complejos podemos escribir
r (t) = Acos (t + ) + jAsen (t + )
Que se expresa con la exponencial compleja:
r (t) = Acos (t + ) + jAsen (t + ) = Ae
j(t+)
= Ae
j
e
jt
Lo que nos dice que la posicin del mvil en el tiempo t se obtiene giranto el
vector que representa la posicin inicial (r (0) = Ae
j
) un giro de amplitud
t.
La proyeccin sobre el eje de abcisas del vector r (t) es la primera com-
ponente de dicho vector:
x (t) = Rer (t) = Acos (t + )
13
Interpretamos |x (t)| como la distancia al origen en el instante t de un
mvil que se desplaza sobre el eje de abcisas y cuya posicin en el tiempo
t viene dada por la igualdad anterior. Observa que dicho mvil recorre el
segmento [A, A] con un movimiento que se caracteriza porque se repite a
intervalos regulares de tiempo, pues deniendo T =
2

, se tiene que:
x(t +T) = Acos ( (t +T) +) = Acos (t + 2 +) = Acos (t +) = x(t)
Dicho movimiento se llama movimiento armnico simple. La proyeccion so-
bre el eje de ordenadas tambin describe un movimiento armnico simple.
En el movimiento armnico simple el nmero A se llama amplitud, el
nmero t + se llama fase, siendo la fase inicial; es la frecuencia an-
gular que se mide en radianes por segundo. El nmero T =
2

es el periodo,
que es el tiempo, medido en segundos, que el mvil tarda en completar un
ciclo. El numero f =
1
T
es la frecuencia, que es el nmero de ciclos recorridos
en un segundo y su unidad es el hercio (ciclo por segundo).
La representacin compleja proporciona una visuaizacin grca del movimien-
to que es muy til para el estudio de la composicin de movimientos armni-
cos simples.
1.5.2. Circuitos elctricos
Figura 5: Circuito RLC
Se trata de un circuito RLC que consta de una resistencia de R ohmios,
un condensador de capacitancia C y un indictor, con inductancia L. Un fa-
sor es un nmero complejo que representa la amplitud y fase inicial de una
14
sinusoide. Los fasores proporcionan una herramienta til para estudiar cir-
cuitos elctricos cuyo voltaje es de tipo sinusoidal V (t) = V
m
cos (t + ).
Aqu V
m
> 0 es la amplitud o mximo valor del voltaje, y la fase inicial.
Podemos asociar a V (t) un fasor que representamos V y es el nmero com-
plejo V = V
m
e
j
. De esta forma podemos escribir V (t) = Re (Ve
it
) con lo
que sepamos la informacin de frecuencia y de fase. Observa que conocida
la frecuencia, la sinusoide queda determinada de forma nica por su fasor
asociado.
1.5.3. Procesamiento digital de seales
Los formatos digitales mas frecuentes de audio e imagen son, respectiva-
mente, MP3 y JPG. Cuesta trabajo imaginar como sera Internet sin estos
formatos. La codicacin MP3 y JPG se llevan a cabo con algoritmos que
usan nmeros complejos. El hecho es que las principales herramientas para
trabajar con todo tipo de seales (audio, video, voz, imegen, . . . ) son com-
plejas. La Transformada Z, la Transformada de Fourier, la Transformada de
Laplace y otras muchas herramientas bsicas para el tratamiento de seales,
son todas ellas transformaciones que usan nmeros complejos. Todava ms,
las propias seales se caracterizan por su espectro que es un conjunto de
nmeros complejos.
15
1.6. Ejercicios propuestos
1. Dados los siguientes nmeros complejos z = 1+3j y = 2j. Calcular:
a) -z b) z + z c) d) z 2 e) 3 + z f) 3z j
2. Dados los siguientes nmeros complejos z = 12j y = 2+3j. Calcular:
a) jz b) z c) (z 2)z d) z : e) z
1
f) z
3
3. Realiza las operacioes indicadas y expresa el resultado en la forma a +bj.
a) (72j)(5+3j) b) (j1)
3
c) (1 + j)(2 + j)(3+j) d)
3 + j
2 + j
e)
(4 j)(1 3j)
1 + 2j
f) (1 + j)
2
g)
1 + 2j
2 j
h) i
2
(1 + j)
3
4. Expresar en forma polar:
a) 1 +

3j b) 2 + 2j c) 2 2j d) 4j e) 3
5. Expresar en forma binmica:
a) 2(cos
2
3
+ j sen
2
3
) b) 2e
3
4
j
c) 3e
7j
d) cos 40 + j sen 40
6. Calcula:
a)
j
7
j
5
j
3
b)
j
31
+ j
102
j
42
7. Dados los nmeros complejos z = 2e

6
j
y = 2e

3
j
, calcular:
a) z b) z
1
c) z
2
d)
3
e)
z
3

8. Calcula la parte real e imaginaria de las funciones:

a) f
1
(z) = z
2
b) f
2
(z) = z
3
c) f
3
(z) =
1
z
16
d) f
4
(z) =
1
1 + z
2
e) f
5
(z) =
z + j
z j
9. Calcula las siguientes cantidades.
a)|(1 + j)(2 j)| b)

4 3j
2 j

c) |(1 + j)
20
| d)

2 + j(

2 + 1)

10. Calcula los numeros complejos z tales que

1 + z
1 z
es:
a) Un numero real; b) Un nmero imaginario puro.
11. Expresa en forma trigonomtrica los siguentes nmeros complejos:
a)

3 j b)

3 + j c)
3

3 + j
d)
1 + j

3
(1 + j)
2
12. Expresa los siguientes nmeros en la forma a + bj:
a) (1 + j

3)
11
b)
_
1 + j
1 j
_
5
c)
_
1 + j

3
1 j
_
6
d) (

3 + j)
13
13. Halla y representa gracamente las siguientes raices
a)
3

j b)
3

1 c)

1 d)

j e)
3

9 + 6j
f)
3

27
150
g)
4

6
120
h)
5

8j
14. Calcula todas las soluciones de las siguientes ecuaciones:
a) z
3
= 1 + j b) z
4
= j c) z
3
= 1 + j

3 d) z
8
= 1
e) z
2
+ 2jz

3j = 0
15. Representa gracamente los conjuntos de nmeros complejos z que veri-
can:
a) |z 3| 3 b) 2 < |z j| 3 c) |z j| +|z + j| = 4
17
d) |z 1| = |z 2j| e)

z j
z + 2j

= 2 f) |z j| = Im(z) + 1
16. Calcula las soluciones de las siguientes ecuaciones:
a) z
4
+ 2z
3
+ 7z
2
18z + 26 = 0; b) z
4
+ (5 + 4j)z
2
+ 10j = 0
c) 5z
2
+ 2z + 10 = 0; d) z
2
+ (j 2)z + 3 j = 0
Sugerencia: El nmero 1 + j es raiz de la ecuacin del apartado a).
17. Haciendo uso de la frmula De Moivre prueba que:
1. sen 3 = 3 sen 4 sen
3

2. cos 4 = 8 cos
4
8 cos
2
+ 1
3. sen 5 = 5 sen 20 sen
3
+ 16 sen
5

18. Expresa los 8 nmeros 1 j,

3 j en la forma re
j
.
19. Calcula log z y Logz cuando z es uno de los siguientes nmeros:
j, j, e
3
, e
5j
, 4, 5e, 1 + j
20. Calcula:
[(4)
j
] , j
3j
, [j
2
/] , [j
j
] , 1
2j
, 3
1j