Está en la página 1de 38

Captulo 3

N umeros complejos. Exponencial compleja


El camino ms corto entre dos verdades del anlisis
real pasa con frecuencia por el anlisis complejo.
Jaques Hadamard
3.1. Un poco de historia
Los nmeros que hoy llamamos complejos fueron durante muchos aos motivo de po-
lmicas y controversias entre la comunidad cientca. Poco a poco, por la creciente evidencia
de su utilidad, acabaron por ser comnmente aceptados, aunque no fueron bien comprendidos
hasta pocas recientes. Nada hay de extrao en ello si pensamos que los nmeros negativos no
fueron plenamente aceptados hasta nales del siglo XVII.
Los nmeros complejos hacen sus primeras tmidas apariciones en los trabajos de Cardano
(1501-1576) y Bombelli (1526-1672) relacionados con el clculo de las races de la cbica o
ecuacin de tercer grado. Fue Ren Descartes (1596-1650) quien arm que ciertas ecuacio-
nes algebraicas slo tienen solucin en nuestra imaginacin y acu el calicativo imagi-
narias para referirse a ellas. Desde el siglo XVI hasta nales del siglo XVIII los nmeros
complejos o imaginarios son usados con recelo, con desconanza. Con frecuencia, cuando la
solucin de un problema resulta ser un nmero complejo se interpreta esto como que el pro-
blema no tiene solucin. Para Leibniz el nmero imaginario es un recurso sutil y maravilloso
del espritu divino, casi un anbio entre el ser y el no ser.
Las razones de todo esto son claras. As como los nmeros reales responden al problema
bien cotidiano de la medida de magnitudes, no ocurre nada similar con los nmeros complejos.
Mientras los matemticos necesitaron interpretar en trminos fsicos sus objetos de estudio, no
se avanz mucho en la comprensin de los nmeros complejos.
El xito de Euler y Gauss al trabajar con nmeros complejos se debi a que ellos no se
64
Operaciones bsicas con nmeros complejos 65
preocuparon de la naturaleza de los mismos; no se preguntaron qu es un nmero com-
plejo?, sino que se dijeron a ver, para qu sirven, qu puede hacerse con ellos. Es Gauss
quien denitivamente concede a los nmeros complejos un lugar privilegiado dentro de las ma-
temticas al probar en 1799 el resultado conocido como Teorema Fundamental del lgebra que
arma que toda ecuacin polinmica de grado n con coecientes complejos tiene, si cada raz
se cuenta tantas veces como su orden, n races que tambin son nmeros complejos. Merece la
pena que entiendas bien lo que arma este resultado. Fjate en cada una de las ecuaciones:
x 3 =0. 2x 3 =0. x
2
2 =0. x
2
2x 2 =0
Cuyas soluciones
x =3. x =3,2. x =
_
2. x =1 i
tienen sentido cuando x es, respectivamente, un nmero entero, racional, real o complejo. Po-
dra ocurrir que este proceso de ampliacin del campo numrico continuara. Qu ocurrir si
ahora consideramos ecuaciones polinmicas con coecientes complejos? Por ejemplo:
x
5
(1 i )x
4
(1,5 i
_
2)x
2
8x 3 i,
_
3 =0
Cmo sern sus soluciones? Aparecern tambin nuevos tipos de nmeros? El Teorema Fun-
damental del lgebra nos dice que esa ecuacin tiene soluciones que tambin son nmeros
complejos y, por tanto, que no aparecern ya por este procedimiento nuevos tipos de nmeros.
El trmino, hoy usado de nmeros complejos se debe a Gauss, quien tambin hizo popu-
lar la letra i que Euler (1707-1783) haba usado espordicamente. En 1806 Argand interpreta
los nmeros complejos como vectores en el plano. La fecha de 1825 es considerada como el
nacimiento de la teora de funciones de variable compleja, pues se publica en dicho ao la
Memoria sobre la Integracin Compleja que Cauchy haba escrito ya en 1814.
Los nmeros complejos son una herramienta bsica de clculo. Son especialmente tiles
para trabajar con funciones sinusoidales, y por eso se hace uso constante de ellos siempre
que representamos una seal por medio de dichas funciones, y no hay que olvidar que se
es el propsito bsico de los mtodos de Fourier. La Transformada de Fourier Discreta,
una herramienta fundamental en el tratamiento digital de seales, toma valores complejos. Las
transformadas de Fourier y de Laplace son funciones complejas. La transformada z, al igual
que otras transformadas de uso frecuente, se dene como una serie de nmeros complejos.
La funcin exponencial compleja desempea un papel fundamental en el estudio de los siste-
mas LTI (sistemas lineales invariantes en el tiempo) y tambin en la teora de las ecuaciones
diferenciales lineales.
3.2. Operaciones bsicas con nmeros complejos
3.1 Denicin. Consideremos en el conjunto R
2
las operaciones de adicin y producto deni-
das por
(x. y) (u. :) = (x u. y :) (3.1)
(x. y)(u. :) = (xy u:. x: yu) (3.2)
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Comentarios a la denicin de nmero complejo 66
Es muy fcil comprobar las propiedades asociativa, conmutativa y distributiva de las operacio-
nes as denidas. El elemento 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)
Todas estas propiedades se resumen diciendo que (R
2
. . ) (lase el conjunto R
2
con las
operaciones de adicin y producto) es un cuerpo. Dicho cuerpo se representa simblicamente
por C y sus elementos se llaman nmeros complejos.
3.2.1. Comentarios a la denicin de nmero complejo
No debes olvidar que cada concepto matemtico tiene sentido dentro de una determinada
estructura. Con frecuencia, cuando sobre un mismo conjunto hay denidas varias estructuras, la
terminologa que se usa indica la estructura a la que nos referimos. Eso pasa en R
2
donde con-
viven varias estructuras cada una con su terminologa propia. Usualmente en R
2
se consideran
las siguientes estructuras.
v Ninguna. Es decir, solamente consideramos que R
2
es un conjunto. En tal caso llamamos
a sus elementos pares ordenados de nmeros reales.
v La estructura de espacio vectorial. Esto es, vemos R
2
como un espacio vectorial real. En
tal caso a sus elementos los llamamos vectores.
v La estructura de espacio eucldeo que se obtiene aadiendo a la estructura de espacio
vectorial la distancia eucldea denida por el producto escalar usual. Esto es, vemos
R
2
como el plano eucldeo de la geometra elemental. En este caso a sus elementos
los llamamos puntos. La misma terminologa se emplea cuando se considera en R
2
la
estructura de espacio afn o de espacio topolgico.
v La estructura de cuerpo denida por las operaciones (3.1) y (3.2). En tal caso, a los
elementos de R
2
se les llama nmeros complejos.
Ocurre que estos trminos se usan a veces en un mismo prrafo lo que puede resultar confuso.
La regla que debes tener siempre presente es que todo concepto matemtico tiene sentido propio
dentro de una determinada estructura matemtica. Por ello, a un elemento de R
2
se le llama
nmero complejo cuando se va a usar el producto denido en (3.2) que es lo que en realidad
distingue a los nmeros complejos de los vectores de R
2
.
3.2.2. Forma cartesiana de un nmero complejo
El smbolo usual (x. y) para representar pares ordenados no es conveniente para represen-
tar el nmero complejo (x. y). Para convencerte calcula, usando la denicin (3.2), (1. 1)
4
.
Representaremos los nmeros complejos con un simbolismo ms apropiado en el que va a
intervenir el producto complejo. Para ello, observa que:
(x. 0) (y. 0) =(x y. 0)
(x. 0)(y. 0) =(xy. 0)
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Comentarios a la denicin usual i =
_
1 67
Esto indica que los nmeros complejos de la forma (x. 0) se comportan respecto a la suma
y la multiplicacin de nmeros complejos exactamente de la misma forma que lo hacen los
nmeros reales respecto a la suma y multiplicacin propias. En trminos ms precisos, R{0]
es un subcuerpo de C isomorfo a R. Por esta razn, en las operaciones con nmeros complejos
podemos sustituir los complejos del tipo (x. 0) por el nmero real x. Es decir, hacemos la
identicacin (x. 0) =x.
Fjate que con dicha identicacin el producto x(u. :) tiene dos posibles interpretaciones:
producto del escalar real x por el vector (u. :) (estructura vectorial de R
2
) y producto del
complejo (x. 0) por el complejo (u. :). Pero ambos coinciden y son iguales a (xu. x:).
El nmero complejo (0. 1) lo representaremos por i y lo llamaremos unidad imaginaria.
Con ello tenemos que
i
2
=(0. 1)(0. 1) =(1. 0) =1
Ahora podemos escribir
(x. y) =(x. 0) (0. y) =(x. 0) (0. 1)(y. 0) =x iy
Se dice que x iy es la expresin cartesiana (tambin se le llama expresin binmica) del
nmero complejo (x. y). El producto ahora es muy fcil de recordar pues
(x iy)(u i :) =xu i
2
y: i (x: yu) =xu y: i (x: yu)
3.2 Denicin. Se dice que x es la parte real e y es la parte imaginaria del nmero complejo
x iy.
Naturalmente, dos nmeros complejos son iguales cuando tienen igual parte real e igual
parte imaginaria.
Notacin. Es costumbre representar los nmeros complejos con las letras z y n y reservar las
letras x, y, u, : para representar nmeros reales. Una expresin de la forma z = x iy se
interpreta como que z es el nmero complejo cuya parte real es x y cuya parte imaginaria es y.
Se escribe Re(z) e Im(z) para representar las partes real e imaginaria de z.
3.2.3. Comentarios a la denicin usual i =
_
1
Acabamos de ver que i
2
= 1 pero eso no nos permite escribir as, sin ms ni ms, que
i =
_
1. Fjate lo que ocurre si ponemos i =
_
1 y manejamos ese smbolo con las reglas a
las que estamos acostumbrados:
1 =i
2
=i i =
_
1
_
1 =
_
(1)(1) =
_
1 =1
Luego 1 =1. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Naturalmente, el error procede de que estamos haciendo disparates. Fjate que en la ex-
presin
_
1 no puedes interpretar que 1 es el nmero real 1 (porque, como sabes, los
nmeros reales negativos no tienen raz cuadrada real), sino que tienes que interpretar 1 co-
mo el nmero complejo 1 (espero que ya tengas clara la diferencia). Resulta as que estamos
usando races de nmeros complejos sin haberlas denido y dando por supuesto que dichas
races verican las mismas propiedades que las de los nmeros reales positivos.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
No hay un orden en C compatible con la estructura algebraica 68
Antes de escribir
_
1 hay que denir qu signica
_
z para z C. Cuando lo hagamos
veremos sorpresa! que la igualdad
_
z
_
n=
_
zn, vlida cuando z. n R
C
, no es cierta en
general cuando z. n C.
Todava ms disparatado es denir i =
_
1 sin ni siquiera haber denido antes los nmeros
complejos. Sin embargo, y aunque parezca mentira, en muchos textos se dene (porque s, sin
ms explicaciones) i =
_
1 y a continuacin se dice que los nmeros de la forma ai b son los
nmeros complejos. No es de extraar que luego resulte que 1 =1. Todava pueden hacerse
peor las cosas. Recientemente he encontrado en un texto de una institucin de educacin a
distancia escrito por varios profesores la siguiente asombrosa denicin: i =
_
1.
3.2.4. No hay un orden en C compatible con la estructura algebraica
Al ampliar R a C ganamos mucho pero tambin perdemos algo. Te recuerdo que R tiene
dos estructuras: la algebraica y la de orden. Ambas estructuras estn armoniosamente relacio-
nadas. Pues bien, en C no hay nada parecido. Podemos denir relaciones de orden en C, pero
no hay ninguna de ellas que sea compatible con la estructura algebraica. Es decir, es imposible
denir un concepto de nmero complejo positivo de forma que la suma y el producto de com-
plejos positivos sea positivo. Por ello no se dene en C ningn orden. As que ya sabes: nunca
escribas desigualdades entre nmeros complejos! Naturalmente, puedes escribir desigualdades
entre las partes reales o imaginarias de nmeros complejos, porque tanto la parte real como la
parte imaginaria de un nmero complejo son nmeros reales.
3.3. Representacin grca. Complejo conjugado y mdulo
Es usual representar el nmero complejo z =x iy como el vector del plano (x. y) y, en
ese sentido, se habla del plano complejo. El eje horizontal recibe el nombre de eje real, y el eje
vertical recibe el nombre de eje imaginario.
X
Y
x
y
z =x iy
z =x iy
[z[
Figura 3.1. Representacin de un nmero complejo
Si z = x iy es un nmero complejo (con x e y reales), entonces el conjugado de z se
dene como:
z =x iy
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Representacin grca. Complejo conjugado y mdulo 69
y el mdulo o valor absoluto de z, se dene como:
[z[ =
_
x
2
y
2
Observa que
_
x
2
y
2
est denido sin ambigedad; es la raz cuadrada del nmero real no
negativo x
2
y
2
.
Geomtricamente, z es la reexin de z respecto al eje real, mientras que [z[ es la distancia
eucldea del punto (x. y) a (0. 0) o, tambin, la longitud o norma eucldea del vector (x. y)
(ver gura 3.1). La distancia entre dos nmeros complejos z y n se dene como [z n[ y es
la distancia eucldea entre los respectivos puntos del plano.
La representacin grca de la suma es la usual para la suma de vectores. Dos nmeros
complejos z = x iy y n = u i : determinan un paralelogramo cuya diagonal (ver gura
3.2) es z n (la otra diagonal es z n).
X
Y
n
u
z n
x
x u
z
Figura 3.2. Suma de nmeros complejos
Las siguientes propiedades de la conjugacin compleja son de comprobacin muy sencilla.
3.3 Proposicin. Cualesquiera sean los nmeros complejos z y n se verica que:
z =z. z n =z n. zn =zn. (3.3)
El siguiente resultado establece las principales propiedades del mdulo de un nmero com-
plejo. Como vers son muy parecidas a las propiedades del valor absoluto y su demostracin
es prcticamente la misma.
3.4 Teorema. Cualesquiera sean los nmeros complejos z. n C se verica que:
a)
m ax{[Re z[. [Imz[] 6[z[ 6[Re z[ [Imz[ (3.4)
En particular, Re z =[z[ si, y slo si, z R
C
o
.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Forma polar y argumentos de un nmero complejo 70
b) El mdulo de un producto es igual al producto de los mdulos.
[zn[ =[z[[n[ (3.5)
c) El mdulo de una suma es menor o igual que la suma de los mdulos.
[z n[ 6[z[ [n[ (desigualdad triangular) (3.6)
La desigualdad triangular es una igualdad si, y solamente si, alguno de los nmeros es
cero o uno de ellos es un mltiplo positivo del otro; equivalentemente, estn en una misma
semirrecta a partir del origen.
Demostracin. La demostracin de a) es inmediata. Para demostrar b) y c) usaremos la igual-
dad [z[
2
=zz que se deduce directamente de la denicin de mdulo de un nmero complejo,
y la estrategia (1.8) que ya usamos para probar las propiedades anlogas del valor absoluto.
b) Basta observar que [zn[ y [z[[n[ son nmeros positivos cuyos cuadrados coinciden, pues
[zn[
2
=znzn =znzn =zznn =[z[
2
[n[
2
=([z[[n[)
2
c) Es suciente probar que [z n[
2
6([z[ [n[)
2
. En efecto:
[z n[
2
=(z n)(z n) =(z n)(z n) =zz nn zn zn=
=[z[
2
[n[
2
2 Re (zn) 6[z[
2
[n[
2
2[Re (zn)[6
6[z[
2
[n[
2
2[zn[ =[z[
2
[n[
2
2[z[[n[ =[z[
2
[n[
2
2[z[[n[=
=([z[ [n[)
2
Evidentemente, si z=0 o si n=0, se verica la igualdad. Supongamos que z=0 y n=0. De lo
anterior deducimos que se verica la igualdad [z n[ =[z[ [n[ si, y slo si, Re zn =[zn[,
esto es, si zn R
C
, o lo que es lo mismo zn = , donde , R
C
. Esta igualdad, puede
escribirse de forma equivalente, multiplicando por n, como z[n[
2
= ,n; y dividiendo ahora
por [n[
2
, obtenemos z =zn para algn z R
C
, lo que quiere decir que z y n estn en una
misma semirrecta a partir del origen.
Observacin. Para expresar un cociente de complejos en forma cartesiana se multiplica nume-
rador y denominador por el conjugado del denominador:
u i :
x iy
=
(u i :)(x iy)
x
2
y
2
=
ux :y
x
2
y
2
i
:x uy
x
2
y
2
.
3.3.1. Forma polar y argumentos de un nmero complejo
El uso de coordenadas polares en el plano facilita mucho los clculos con productos de
nmeros complejos. Para cualquier nmero complejo z =x iy =0 podemos escribir
z =[z[
_
x
[z[
i
y
[z[
_
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Forma polar y argumentos de un nmero complejo 71
Como
_
x
[z[
.
y
[z[
_
es un punto de la circunferencia unidad, puede escribirse en la forma
_
x
[z[
.
y
[z[
_
=(cos 0. sen 0)
para algn nmero 0 R. Resulta as que
z =[z[(cos 0 i sen 0)
Esta forma de expresar un nmero complejo recibe el nombre de forma polar, cuya interpre-
tacin grca vemos en la gura (3.3).
X
Y
0
[z[
Figura 3.3. Forma polar de un nmero complejo
Dado z C, z =0, hay innitos nmeros t Rque verican la igualdad z =[z[(cos t. sen t )
cualquiera de ellos recibe el nombre de argumento de z. El conjunto de todos los argumentos
de un nmero complejo no nulo se representa por Arg(z).
Arg(z) ={t R: z =[z[(cos t i sen t )]
Observa que
s. t Arg(z)
_
cos(t ) =cos(s)
sin(t ) =sin(s)
_
s =t 2k para algn k Z
Por tanto, conocido un argumento t
0
Arg(z) cualquier otro es de la forma t
0
2k para algn
k Z, es decir, Arg(z) =t
0
2Z.
De entre 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 le llama argumento principal de z. No es
difcil comprobar (vase el ejercicio resuelto (28)) que el argumento principal de z =xiy=0
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Observaciones a la denicin de argumento principal 72
w Dx Civ
z Dx Ciy

arg.z/ Darc tg.y=x/


arg.z/ Darc tg.y=x/ C
arg.z/ Darc tg.y=x/
Figura 3.4. Argumento principal
viene dado por:
arg(z) =
_

_
arc tg(y,x) si y < 0, x < 0
,2 si y < 0, x =0
arc tg(y,x) si x > 0
,2 si y > 0, x =0
arc tg(y,x) si y >0, x < 0
Igualdad de dos nmeros complejos en forma polar
Para que dos nmeros complejos escritos en forma polar z = [z[(cos 0 i sen 0) y
n = [n[(cos i sen ), sean iguales es condicin necesaria y suciente que los mdulos
sean iguales [z[ = [n[, y los argumentos sean iguales, Arg(z) = Arg(n), y sta condicin
equivale a que 0 sea un mltiplo entero de 2.
[z[(cos 0 i sen 0) =[n[(cos i sen )
_
[z[ = [n[
0 = 2m (mZ)
3.3.2. Observaciones a la denicin de argumento principal
Puede parecer un poco extraa la forma de elegir el argumento principal de un nmero
complejo. La eleccin que hemos hecho supone que medimos ngulos en el semiplano superior
de 0 a y en el semiplano inferior de 0 a .
Fjate que si tomas un nmero complejo que est situado en el tercer cuadrante z =x iy
con x < 0. y < 0 y supones que y es prximo a 0, su argumento principal est prximo a
, y si tomas un nmero complejo que est situado en el segundo cuadrante, n = x i :
con x < 0. : > 0, y supones que : es prximo a 0, su argumento principal est prximo a .
Adems, la distancia [n z[ =[: y[ =: y es tan pequea como quieras. Esto nos dice que
el argumento principal tiene una discontinuidad en el eje real negativo: salta de a cuando
atravesamos dicho eje desde el tercer al segundo cuadrante.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Observaciones a la denicin de argumento principal 73
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si quere-
mos elegir argumentos en un intervalo de longitud 2, digamos . 2, entonces dichos
argumentos saltan de a 2 cuando atravesamos la semirrecta (x. y) = ,(cos . sen ),
(, > 0). En particular, si tomamos argumentos en el intervalo 0. 2 (cosa que, a primera
vista, parece lo razonable) nos encontramos con que entonces se produce una discontinuidad
de dichos argumentos en el eje real positivo. Bien, sucede que la extensin a C de algunas
funciones denidas en R
C
(el logaritmo, las races) hace intervenir el argumento principal.
Naturalmente, queremos que dichas extensiones sigan siendo continuas en R
C
y ello justica
que tengamos que tomar argumentos principales de la forma en que lo hemos hecho: porque
preferimos introducir una discontinuidad en R

a perder la continuidad en R
C
.
3.3.2.1. Frmula de De Moivre
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros complejos.
3.5 Proposicin. Sean z, n conplejos no nulos, 0 Arg(z) y Arg(n). Entonces se verica
que 0 Arg(zn).
Demostracin. Tenemos que
z =[z[(cos 0 i sen 0)
n =[n[(cos i sen )
Usando ahora las igualdades (2.4) y (2.5), obtenemos:
zn =[z[[n[(cos 0 i sen 0)(cos i sen )=
=[zn[(cos 0 cos sen 0 sen ) i (sen 0 cos cos 0 sen )|=
=[zn[(cos(0 ) i sen (0 ))
Lo que nos dice que 0 Arg(zn).
Hemos probado que para multiplicar dos nmeros complejos se multiplican sus mdulos y
se suman sus argumentos.
As pues, el producto de dos nmeros complejos es geomtricamente un giro (pues se
suman los argumentos de los nmeros que estamos multiplicando) seguido de una homotecia
(el producto de los mdulos de ambos nmeros).
Observa que, como consecuencia de la proposicin (3.5), tenemos que arg z arg n
Arg(zn); es decir, arg z arg n es un argumento de zn, pero lo que no podemos armar es
que arg z arg n sea igual al argumento principal de zn. Naturalmente, esto ocurrir cuando
< arg z arg n 6.
arg z arg n =arg(zn) < arg z arg n 6 (3.7)
La siguiente igualdad, muy til, conocida como frmula de De Moivre, se demuestra fcilmente
por induccin a partir de la proposicin (3.5).
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Races de un nmero complejo 74
3.6 Proposicin (Frmula de De Moivre). Si z es un complejo no nulo, 0 es un argumento
de z y n es un nmero entero, se verica que n0 Arg(z
n
), es decir:
z
n
=
_
[z[(cos 0 i sen 0)
_
n
=[z[
n
(cos n0 i sen n0). 0 Arg(z). nZ (3.8)
3.3.3. Races de un nmero complejo
Se trata ahora de resolver la ecuacin n
n
=z donde n es un nmero natural, n>2, y z =0
es un nmero complejo conocido. Escribamos n en forma polar:
n =[n[(cos i sen )
Ahora, usando la frmula de De Moivre, podemos escribir la ecuacin n
n
= z en la forma
equivalente:
n
n
=[n[
n
(cos n i sen n) =[z[(cos 0 i sen 0)
Donde 0 = arg z. Esta igualdad se da cuando [n[
n
= [z[ y n = 0 2k donde k Z.
Deducimos que [n[ =
n
_
[z[ (ojo: se trata de la raz nsima de un nmero positivo, cosa ya
conocida). Ahora bien, para cualquier nmero
k
de la forma
k
=(0 2k),n tenemos un
nmero complejo
n
k
=
n
_
[z[(cos
k
i sen
k
)
tal que (n
k
)
n
=z. Como una ecuacin polinmica de grado n no puede tener ms de n solu-
ciones, se sigue que distintos valores de k deben dar lugar al mismo nmero n
k
. Veamos:
n
k
=n
q
=
k

q
=2m =k q =nm
Es decir, si k y q dan el mismo resto al dividirlos por n entonces n
k
= n
q
. Deducimos que
para k =0. 1. 2. . . . . n 1 obtenemos n
k
distintos y cualquier otro n
q
es igual a uno de ellos.
Por tanto hay n races nsimas distintas de z.
Hemos obtenido que las n races nsimas de z vienen dadas por
z
k
=[z[
1=n
_
cos
arg z 2k
n
i sen
arg z 2k
n
_
k =0. 1. 2. . . . . n 1 (3.9)
Observa que deniendo u =cos(2,n) i sen(2,n), los nmeros u
0
=1. u. u
2
. . . . . u
n1
son las races nsimas de la unidad. Podemos escribir las races nsimas de z en la forma
z
k
= z
0
u
k
. Como multiplicar por u es un giro de amplitud 2,n, deducimos que las n ra-
ces de z se obtienen girando la raz nsima principal, z
0
, con giros sucesivos de amplitud
2,n. Es decir, si representamos todas las races nsimas de z obtenemos n puntos sobre una
circunferencia de centro (0. 0) y radio
n
_
[z[ que forman un polgono regular de n lados.
De entre todas las races nsimas de z vamos a designar con el smbolo
n
_
z a la raz
n-sima principal, que est denida por
n
_
z =[z[
1=n
_
cos
arg z
n
i sen
arg z
n
_
(3.10)
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Races de un nmero complejo 75
Figura 3.5. Races novenas de la unidad
Observa que arg
_
n
_
z
_
=
arg z
n
y, en consecuencia:


n
< arg
_
n
_
z
_
6

n
(3.11)
Adems, la raz n-sima principal de z es la nica de las races n-simas de z cuyo argumento
principal est en el intervalo | ,n. ,n|. Dicho de otra forma, la raz n-sima principal de
un nmero complejo est situada en una regin angular, simtrica con respecto al eje real y de
amplitud 2,n, que incluye a su borde superior pero no incluye a su borde inferior.
3.3.3.1. Notacin de las races complejas
Observa que en el caso particular de que z sea un nmero real positivo, entonces la raz
principal de z (considerado como nmero complejo) coincide con la raz de z (considerado
como nmero real positivo). Es decir, acabamos de extender la funcin raz n-sima de R
C
a
todo C conservando el signicado que esa funcin tena en R
C
. Observa, sin embargo, que si
x R

y n es impar, la raz real de orden n de x no coincide con el valor principal de la raz


de orden n de x considerado como nmero complejo. Este pequeo inconveniente no es tal si
tenemos claro dnde estamos trabajando si en R o en C; esto es, si cuando n es impar estamos
considerando funciones races n-simas denidas en R, o si estamos considerando dichas fun-
ciones denidas en C. Observa que para n par no hay confusin alguna, solamente cuando n es
impar y x es un nmero real negativo hay que tener cuidado. Por ejemplo,
3
_
1 =1 cuando
consideramos a la raz cbica como una funcin real, y
3
_
1=cos(,3) i sen(,3) cuando
consideramos a la raz cbica como funcin compleja. Programas de clculo simblico, como
Mathematica, siguen precisamente este convenio y usan la notacin
n
_
z para el valor principal
de la raz n-sima del nmero complejo z.
Mucho peor es lo que ocurre cuando se usan notaciones disparatadas como suele hacerse
en muchos libros de texto. Como es posible que te las encuentres, conviene que sepas a qu ate-
nerte. El hecho es que en muchos textos se representa con el smbolo
n
_
z el conjunto formado
por todas las races n-simas del nmero complejo z. Pues bueno. . . acabamos de perder la
funcin raz n-sima real y compleja! Porque, digo yo, si hemos de ser coherentes, habr que
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Races de un nmero complejo 76
entender que
27
_
1 ya no vale 1 sino que es un conjunto formado por 27 nmeros complejos. Y
las reglas que conocemos para las races reales ya ni siquiera pueden formularse. Qu sentido
tiene ahora escribir que
5
_
2
5
_
1 =
5
_
2? Es una igualdad entre conjuntos? Debemos multipli-
car cada elemento del conjunto
5
_
2 por cada elemento del conjunto
5
_
1 y comprobar que de
esa forma obtenemos todos los elementos de
5
_
2? Cmo hay que sumar ahora
3
_
2
7
_
3?
Porque
3
_
2 debe entenderse como un conjunto de 3 elementos y
7
_
3 como un conjunto de 7
elementos.
Estos ejemplos te habrn convencido de lo disparatado de esta forma de proceder. Pero hay
ms disparates. Alguien puede argumentar que todo esto se arregla interpretando que cuando z
es real,
n
_
z, representa siempre la raz n-sima real del nmero z. Bueno, pero esto no arregla el
disparate de que
n
_
z no es una funcin, porque todava persiste el hecho de que para z complejo
no real,
n
_
z no es un nmero sino un conjunto de n nmeros complejos. Lo peor de todo esto
es que los autores que cometen estos disparates ni siquiera son conscientes de ellos, y usan el
smbolo
n
_
z en sucesiones, lmites o integrales como si de una funcin usual se tratara. Habra
que decirles oiga! si para usted
n
_
z son n nmeros, qu signicado tiene una expresin como
lm
n!1
n
_
n
_
z 1)? Pues eso, ni se dan cuenta.
Finalmente, observa que en la denicin (3.10) de
n
_
z interviene el argumento principal,
arg(z). Por la denicin dada de argumento principal, tenemos que < arg z 6 y, como
ya hemos visto anteriormente, se produce una discontinuidad del argumento principal en el eje
real negativo y, en consecuencia, la funcin z
n
_
z es discontinua en el eje real negativo. Te
informo que no hay que preocuparse mucho por esta discontinuidad, de hecho es muy til y,
entre otras cosas, sirve para contar ceros de funciones. Lo que quiero es llamarte la atencin
sobre lo que ocurre cuando se elige el argumento principal en en el intervalo 0. 2. Cuando
se hace as, la funcin z
n
_
z resulta ser discontinua en el eje real positivo. Mala cosa; con
esa eleccin para el argumento principal, una funcin que era continua en R
C
, al extenderla a
C ya no es continua en R
C
.
3.3.3.2. La igualdad
n
_
z
n
_
n =
n
_
zn
En general, no es cierto que, dados dos nmeros complejos z y n, el producto de las
races n-simas principales de z y de n sea igual a la raz n-sima principal de zn. Lo
que, evidentemente, s es cierto es que el producto de dos races n-simas cualesquiera de
z y de n es una raz n-sima de zn. Por tanto,
n
_
z
n
_
n, es una raz n-sima de zn pero
no tiene por qu ser la principal. Vamos a ver qu condiciones deben cumplirse para que
n
_
z
n
_
n sea la raz n-sima principal de zn. Para ello, bastar con exigir que el argumento
principal de
n
_
z
n
_
n est en el intervalo | ,n. ,n|. Como suponemos que n es un n-
mero natural n > 2, tenemos que <
arg z
n

arg n
n
6 y, por (3.7), deducimos que
arg
_
n
_
z
n
_
n
_
=
arg z
n

arg n
n
=
arg z arg n
n
. Tenemos que:
arg
_
n
_
z
n
_
n
_
=
arg z arg n
n

n
.

n
_
< arg z arg n 6
Hemos probado que
n
_
z
n
_
n =
n
_
zn < arg(z) arg(n) 6
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos 77
Por ejemplo, si los nmeros z y n estn en el semiplano de la derecha, es decir, Re z > 0,
Re n > 0, entonces ,2 < arg(z) < ,2 y ,2 < arg(n) < ,2; por tanto en este caso
arg(z) arg(n) = arg(zn) por lo que
n
_
z
n
_
n =
n
_
zn. En particular, esto es cierto cuando
z. n R
C
. Por tanto, no perdemos ninguna de las propiedades de las races reales positivas
al extender las races a C.
En el caso en que n = 2, z = n = 1, tenemos que arg(1) arg(1) = 2, y no se
cumple la condicin anterior. En este caso
_
1
_
1 =1 =1 =
_
1 =
_
(1)(1)
es decir
_
1
_
1 = 1 es una raz cuadrada de 1 = (1)(1) pero no es la raz cuadrada
principal de 1. Ahora ya sabes dnde est el error en lo que sigue:
1 =i
2
=i i =
_
1
_
1 =
_
(1)(1) =
_
1 =1
3.3.4. Ejercicios propuestos
73. Realiza las operaciones indicadas y expresa el resultado en la forma a i b.
i) (7 2i )(5 3i ) ii) (i 1)
3
iii) (1 i )(2 i )(3 i ) iv)
3 i
2 i
v)
(4 i )(1 3i )
1 2i
vi) (1 i )
2
vii)
1 2i
2 i
viii) i
2
(1 i )
3
74. Calcula la parte real e imaginaria de las funciones:
a)
1
(z) =z
2
b)
2
(z) =z
3
c)
3
(z) =
1
z
d) (z) =
1
1 z
2
e)
4
(z) =
z i
z i
75. Calcula las siguientes cantidades.
a) [(1 i )(2 i )[ b)

4 3i
2 i
_
5

c) [(1 i )
20
[ d) [
_
2 i (
_
2 1)[
76. Calcula los nmeros complejos z tales que
1 z
1 z
es:
a) Un nmero real; b) Un nmero imaginario puro.
77. Expresa en forma polar los siguientes nmeros complejos.
a)
_
3 i b)
_
3 i c)
3
_
3 i
d)
1 i
_
3
(1 i )
2
78. Expresa los siguientes nmeros en la forma a i b:
a) (1 i
_
3)
11
b)
_
1 i
1 i
_
5
c)
_
1 i
_
3
1 i
_
6
d) (
_
3 i )
13
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos 78
79. Prueba que para z C \ R

o
el argumento principal viene dado por
arg z =2 arc tg
Imz
Re z [z[
Sugerencia. Ver el ejercicio resuelto (22).
80. Calcula arg(zn) y arg
_
z
n
_
supuestos conocidos arg z y arg n.
81. Supuesto que [z[ =1, prueba que
arg
_
z 1
z 1
_
=
_
,2 si Imz > 0
,2 si Imz < 0
82. Sea z =x i y. Supuesto que [z[ =1, z =1, z =i , prueba que
arg
_
z 1
z i
_
=
_
,4 si 1 x y > 0
3,4 si 1 x y < 0
83. Resuelve la ecuacin cuadrtica az
2
bz c =0 donde a. b. c, son nmeros complejos
conocidos y a =0.
84. Calcula todas las soluciones de las siguientes ecuaciones:
a) z
3
=1 i b) z
4
=i c) z
3
=1 i
_
3 d) z
8
=1 e) z
2
2i z
_
3i =0
85. Prueba que si una ecuacin polinmica con coecientes reales admite una raz compleja,
z, entonces tambin admite como raz a z. Da un ejemplo de una ecuacin polinmica
de grado mayor que 1 que tenga como raz compleja 1 i pero no admita como raz a
1 i .
86. Calcula las soluciones de las ecuaciones:
a) z
4
2z
3
7z
2
18z 26 =0: b) z
4
(5 4i )z
2
10i =0
Sugerencia. El nmero 1 i es raz de la ecuacin del apartado a).
87. Demuestra la llamada igualdad del paralelogramo:
[z n[
2
[z n[
2
=2([z[
2
[n[
2
) (z. n C)
y explica su signicado geomtrico.
88. Dados dos nmeros complejos y , calcula el mnimo valor para z C de la cantidad
[z [
2
[z [
2
.
Sugerencia: La igualdad del paralelogramo puede ser til.
89. Prueba que

z a
1 a z

< 1 si [z[ < 1 y [a[ < 1 y tambin si [z[ > 1 y [a[ > 1.
Sugerencia: Una estrategia bsica para probar desigualdades entre mdulos de nmeros
complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos 79
90. Sea n un nmero complejo de mdulo 1. Expresa los nmeros n 1 y n 1 en forma
polar.
91. Sea x un nmero real que no es mltiplo entero de 2. Prueba las igualdades
a) 1 cos x cos 2x cos nx = cos
_
n
2
x
_
sen
_
n 1
2
x
_
sen
_
x
2
_
b) sen x sen 2x sen nx = sen
_
n
2
x
_
sen
_
n 1
2
x
_
sen
_
x
2
_
Sugerencia: Si llamamos A a la primera suma y B a la segunda, calcula A iB ha-
ciendo uso de la frmula de De Moivre.
92. Calcula una frmula para la suma
N

kDN
_
cos(2kt ) i sen(2kt )
_
(tu respuesta debera de ser un cociente de senos).
93. Sea nN, n >2 y n =cos
2
n
i sen
2
n
. Dado un nmero entero m Z, calcula el
valor de las expresiones:
1. 1 n
m
n
2m
n
.n1/m
;
2. 1 n
m
n
2m
(1)
n1
n
.n1/m
.
96. Haciendo uso de la frmula de 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
.
97. Representa grcamente los conjuntos de nmeros complejos z que verican:
[z 3[ 63: 2 < [z i [ 63: [arg z[ < ,6: [z i [ [z i [ =4
[z 1[ =[z 2i [:

z i
z 2i

=2: Im(z
2
) > 6: [z i [ =Imz 1
98. Encuentra los vrtices de un polgono regular de n lados si su centro se encuentra en el
punto z =0 y uno de sus vrtices z
1
es conocido.
99. Resuelve la ecuacin (z 1)
n
=(z 1)
n
, donde z C y nN, n >2.
100. Sea [z
1
[ =[z
2
[ =[z
3
[ =1. Prueba que z
1
, z
2
, z
3
son vrtices de un tringulo equiltero
si, y slo si, z
1
z
2
z
3
=0.
101. Si 06arg narg z < , prueba que el rea del tringulo de vrtices 0, z y n viene dada
por
1
2
Im(zn).
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 80
3.3.5. Ejercicios resueltos
Antes de ver la solucin de un ejercicio debes intentar resolverlo!
Ejercicio resuelto 24 Calcula la parte real e imaginaria de
z
1 z
2
donde z C \ {i. i ].
Solucin. Todo lo que hay que hacer es realizar las operaciones indicadas. Pongamos
para ello z =x iy con x. y R. Tenemos que
z
1 z
2
=
x iy
1 (x iy)
2
=
x iy
1 x
2
y
2
2xyi
=
(x iy)(1 x
2
y
2
2xyi )
(1 x
2
y
2
)
2
4x
2
y
2
=
=
x x
3
3xy
2
i (y 3x
2
y y
3
)
(1 x
2
y
2
)
2
4x
2
y
2
=
=
x x
3
3xy
2
(1 x
2
y
2
)
2
4x
2
y
2
i
y 3x
2
y y
3
(1 x
2
y
2
)
2
4x
2
y
2
Luego
Re
_
z
1 z
2
_
=
x x
3
3xy
2
(1 x
2
y
2
)
2
4x
2
y
2
. Im
_
z
1 z
2
_
=
y 3x
2
y y
3
(1 x
2
y
2
)
2
4x
2
y
2

Ejercicio resuelto 25 Calcula

(2 i
_
5)(1 i
_
3)
3
_
5 i
_
3

.
Solucin. Como lo que nos piden es el mdulo no es preciso realizar las operaciones indi-
cadas. Basta tener en cuenta que el mdulo de un producto es el producto de los mdulos
y, por tanto, el mdulo de un cociente es el cociente de los mdulos. En consecuencia:

(2 i
_
5)(1 i
_
3)
3
_
5 i
_
3

2 i
_
5

1 i
_
3

_
5 i
_
3

=6
_
2

Ejercicio resuelto 26 Calcula los nmeros complejos z tales que n =


2z i
2 i z
es
a) Un nmero real;
b) Un nmero imaginario puro.
Solucin. Pongamos z =x iy con x. y R. Tenemos que
n=
2x i (2y 1)
2 y i x
=
(2x i (2y 1))(2 y i x)
(2 y)
2
x
2
=
3x i (2x
2
2y
2
5y 2)
(2 y)
2
x
2
Por tanto, n es real si, y slo si
2x
2
2y
2
5y 2 =0 x
2
(y 5,4)
2
=9,16
Es decir, z est en la circunferencia de centro (0. 5,4) y radio 3,4.
Anlogamente, n es imaginario puro si, y slo si, x =0, es decir, z est en el eje imagi-
nario.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 81
Ejercicio resuelto 27 Calcula los nmeros complejos z tales que n =
z 1 i
z 1 i
a) Es un nmero real;
b) Tiene mdulo 1.
Solucin. Pongamos z =x iy con x. y R. Tenemos que
n =
z 1 i
z 1 i
=
x 1 i (y 1)
x 1 i (y 1)
=
_
x 1 i (y 1)
__
x 1 i (y 1)
_
(x 1)
2
(y 1)
2
=
=
x
2
y
2
2 i (2y 2x)
(x 1)
2
(y 1)
2
Por tanto, n es real si, y slo si, y = x = 1, es decir, z est en la bisectriz de los
cuadrantes primero y tercero y z =(1 i ).
Es claro que [n[ =1 si, y slo si
[z 1 i [ =[z 1 i [ (x1)
2
(y1)
2
=(x1)
2
(y1)
2
xy=0
Es decir, z est en la bisectriz de los cuadrantes segundo y cuarto.
Ejercicio resuelto 28 Comprueba que el argumento principal de z =x iy =0 viene dado
por
0 =
_

_
arc tg(y,x) si y < 0, x < 0
,2 si y < 0, x =0
arc tg(y,x) si x > 0
,2 si y > 0, x =0
arc tg(y,x) si y >0, x < 0
Solucin. Teniendo en cuenta que para t < 0 es ,2 < arc tg t < 0 y para 0 6 t
es 0 6arc tg t < ,2, se sigue que el nmero 0 denido por las igualdades anteriores
verica que < 06. Por tanto, para probar que 0=arg(z) bastar que comprobemos
la igualdad z =[z[(cos 0 i sen 0), es decir, las igualdades x =[z[ cos 0, y =[z[ sen 0.
Para 0 =, 0 =,2 y 0 =,2 dichas igualdades son evidentes.
Sea x > 0 en cuyo caso 0=arc tg(y,x). En este caso, como ,2 < 0 < ,2, tenemos
que tg 0 =y,x y deducimos
1
cos
2
0
=1 tg
2
0 =1
y
2
x
2
=
x
2
y
2
x
2
=x
2
=(x
2
y
2
) cos
2
0=x =[z[ cos 0
donde, en la ltima implicacin, hemos tenido en cuenta que x > 0 y cos 0 > 0. Dedu-
cimos tambin que
y =x tg 0 =
x
cos 0
sen 0 =[z[ sen 0
Consideremos x < 0 e y > 0. Tenemos que ,2 < 0 = arc tg(y,x) < , por
lo que ,2 < 0 < 0, y deducimos tg 0 = tg(0 ) = y,x. Razonando como
antes obtenemos que x
2
= (x
2
y
2
) cos
2
0. Como x < 0 y cos 0 < 0, se sigue que
x =[z[ cos 0. De esta igualdad deducimos, al igual que antes, que y =[z[ sen 0.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 82
Consideremos x < 0 e y < 0. Tenemos que < 0 =arc tg(y,x) < ,2, por
lo que 0 < 0 < ,2, y deducimos tg 0 =tg(0 ) =y,x. Razonando como en
el caso anterior volvemos a obtener las igualdades x =[z[ cos 0, y =[z[ sen 0.
Ejercicio resuelto 29 Expresa en forma polar los siguientes nmeros complejos.
a) 1 i b)

_
3 i
1 i
c)
1
1 i
_
3
Solucin. a) Tenemos que arg(1 i ) =arc tg(1) =3,4, por lo que
1 i =
_
2
_
cos(3,4) i sen(3,4)
_
b) Tenemos que
arg(
_
3 i ) =arc tg(1,
_
3) =arc tg(1,
_
3) =,6 =5,6
arg(1 i ) =arc tg(1) =,4 =arg
_
1
1 i
_
=,4
deducimos que
5
6


4
=
7
12
Arg
_

_
3 i
1 i
_
. Por tanto

_
3 i
1 i
=
_
2
_
cos(7,12) i sen(7,12)
_
c) arg(1 i
_
3) =arc tg(
_
3) =arc tg(
_
3) =,3 =2,3, por
lo que arg
_
1
1 i
_
3
_
=2,3. Por tanto
1
1 i
_
3
=
1
2
_
cos(2,3) i sen(2,3)
_

Ejercicio resuelto 30 Calcula arg(zn) y arg


_
z
n
_
supuestos conocidos arg z y arg n.
Solucin. Sabemos que arg z arg n Arg(zn); adems 2 < arg z arg n 6 2.
Tenemos las siguientes posibilidades:
2 < arg z arg n 6=0 < arg z arg n 2 6=
=arg(zn) =arg z arg n 2
< arg z arg n 6=arg(zn) =arg z arg n
< arg z arg n 62= < arg z arg n 2 60=
=arg(zn) =arg z arg n 2
Para calcular arg
_
z
n
_
se procede de forma anloga teniendo en cuenta ahora que
arg z arg nArg
_
z
n
_
y que 2 < arg z arg n < 2.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 83
Ejercicio resuelto 31 Calcula los nmeros complejos z tales que n =
2z 1
z 2
a) Tiene argumento principal igual a ,2;
b) Tiene argumento principal igual a ,2.
Solucin. Pongamos z =x iy con x. y R. Como
2z 1
z 2
=
2x 1 2yi
x 2 iy
=
(2x 1 2yi )(x 2 iy)
(x 2)
2
y
2
=
2x
2
2y
2
5x 2 3yi
(x 2)
2
y
2
deducimos que arg n =,2 si, y slo si, 2x
2
2y
2
5x 2 =0 e y < 0. Como
2x
2
2y
2
5x 2 =0 (x 5,4)
2
y
2
=9,16
deducimos que arg n =,2 cuando z est en la semicircunferencia de centro (5,4. 0) y
radio 3,4 que est contenida en el semiplano inferior. Tambin Tambin deducimos que
arg n=,2 cuando z est en la semicircunferencia de centro (5,4. 0) y radio 3,4 que
est contenida en el semiplano superior.
Ejercicio resuelto 32 Resuelve la ecuacin cuadrtica az
2
bz c =0 donde a. b. c, son
nmeros complejos conocidos y a =0.
Solucin. Tenemos que
az
2
bz c =0 z
2

b
a
z
c
a
=0
_
z
b
2a
_
2

c
a

b
2
4a
2
=0

_
z
b
2a
_
2

b
2
4ac
4a
2
=0

_
_
z
b
2a
_

_
b
2
4ac
2a
__
_
z
b
2a
_

_
b
2
4ac
2a
_
=0

_
z =
b
_
b
2
4ac
2a
z =
b
_
b
2
4ac
2a
Las dos soluciones obtenidas suelen expresarse en la forma
az
2
bz c =0 z =
b
_
b
2
4ac
2a
Observa que hemos seguido el mismo procedimiento que en el caso real
1
. Debes entender
bien la igualdad
z =
b
_
b
2
4ac
2a
(3.12)
Aqu b
2
4ac es un nmero complejo (en particular, puede ser real),
_
b
2
4ac es su
raz cuadrada principal y
_
b
2
4ac es la otra raz cuadrada (todo nmero complejo
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 84
tiene dos races cuadradas: la principal y su opuesta). Aqu no hay positivos ni negativos,
ni nada parecido estamos trabajando con nmeros complejos! Comento esto para volver
a insistir en que los smbolos y tienen un carcter puramente algebraico: no indican
positivo y negativo.
En general, para resolver ecuaciones con nmeros complejos no es buena estrategia se-
parar la ecuacin en su parte real y su parte imaginaria y resolver stas por separado, sino
que debes trabajar con la variable compleja z. No olvides que con los nmeros comple-
jos puedes hacer las mismas operaciones que con los nmeros reales y algunas ms que
no siempre puedes hacer con los nmeros reales, como extraer races y otras que pronto
estudiaremos.
Ejercicio resuelto 33 Calcula las soluciones de la ecuacin z
4
(1 i )z
2
5i =0.
Solucin. Poniendo n=z
2
, la ecuacin queda n
2
(1i )n5i =0, cuyas soluciones
son
(1 i )
_
(1 i )
2
20i
2
=
(1 i )
_
18i
2
=
=
(1 i )
_
18(cos(,4) i sen(,4))
2
=
=
(1 i )
_
18(1,
_
2 i,
_
2)
2
=
(1 i ) 3(1 i )
2
=
_
1 2i
2 i
Las soluciones de la ecuacin dada son las races
_
1 2i y
_
2 i . Tenemos que
arg(12i )=arc tg 2 y arg(2i )=arc tg(1,2). Usando que cos(x,2)=sen x
y sen(x ,2) =cos x, obtenemos:

_
1 2i =
4
_
5
_
cos
_
arc tg 2
2
_
i sen
_
arc tg 2
2
_
_

_
2 i =
4
_
5
_
sen
_
arc tg(1,2)
2
_
i cos
_
arc tg(1,2)
2
__
Observa que las soluciones son nmeros complejos pero no son complejos conjugados.
La ecuacin dada tiene coecientes complejos.
Ejercicio resuelto 34 Calcula las soluciones de las ecuaciones:
a) z
4
2z
3
7z
2
18z 26 =0: b) z
4
(5 4i )z
2
10i =0
Sugerencia. El nmero 1 i es raz de la ecuacin del apartado a).
Solucin. Haremos el apartado a). Para ello usaremos un resultado, que se supone que
debes conocer, segn el cual si un polinomio P(x) se anula para un valor , P() =0,
entonces es divisible por x, es decir P(x)=(x)Q(x) donde Q(x) es un polinomio
de un grado menor que P(x).
1
Antes, en la enseanza media se resolva la ecuacin ax
2
bx c =0 donde a. b. c son nmeros reales, igual
que lo hemos hecho aqu. He comprobado que ahora los estudiantes llegan a la Universidad sin saberla resolver.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 85
Como la ecuacin dada es polinmica con coecientes reales y nos dicen que 1 i
es raz, tambin es raz 1 i . Por tanto, el polinomio dado debe de ser divisible por
(z (1 i ))(z (1 i )) =z
2
2z 2. Haciendo la divisin, obtenemos que
z
4
2z
3
7z
2
18z 26 =(z
2
4z 13)(z
2
2z 2)
Lo que queda ya es inmediato.
Ejercicio resuelto 35 Demuestra la llamada igualdad del paralelogramo:
[z n[
2
[z n[
2
=2([z[
2
[n[
2
) (z. n C) (3.13)
y explica su signicado geomtrico.
Demostracin. Basta realizar las operaciones indicadas. Tenemos que:
[z n[
2
=(z n)(z n) =zz nn zn zn =[z[
2
[n[
2
2 Re(zn)
(3.14)
[z n[
2
=(z n)(z n) =zz nn zn zn =[z[
2
[n[
2
2 Re(zn)
(3.15)
Sumando estas igualdades se obtiene la igualdad del enunciado. Su signicado geom-
trico es que la suma de los cuadrados de las longitudes de las diagonales de un paralelo-
gramo es igual a la suma de los cuadrados de las longitudes de sus lados.
z
n
z
C
w
z

w
Figura 3.6. Igualdad del paralelogramo
Ejercicio resuelto 36 Dados dos nmeros complejos y , calcula el mnimo valor para
z C de la cantidad [z [
2
[z [
2
.
Sugerencia: La igualdad del paralelogramo puede ser til.
Solucin. La sugerencia y un poco de intuicin deben ser sucientes para hacer este
ejercicio. La intuicin lo que dice es que el punto que buscamos debe ser la el punto
medio del segmento de extremos y , es decir el punto u =

2
. Ahora debemos
relacionar la cantidad que nos dan con [z u[. Usando la igualdad del paralelogramo
(3.13) con z sustituido por z y n por z y escribindola de derecha izquierda,
tenemos que
2
_
[z [
2
[z [
2
_
=[2z [
2
[ [
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 86
de donde
[z [
2
[z [
2
=2

z

2

1
2
[ [
2
Deducimos que [z [
2
[z [
2
>
1
2
[ [
2
para todo z C y la igualdad se da si,
y slo si, z =

2
.
Ejercicio resuelto 37 Prueba las desigualdades:
a) [[z[ [n[[ 6[z n[
b) [z n[ >
1
2
([z[ [n[)

z
[z[

n
[n[

donde z. n son nmeros complejos no nulos. Estudia tambin cundo se da la igualdad


en cada una de dichas desigualdades.
Sugerencia. Una estrategia bsica para probar desigualdades entre mdulos de nmeros
complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Solucin. Siguiendo la sugerencia, es muy fcil hacer el apartado a). Haremos el apartado
b). Siguiendo la sugerencia, elevamos al cuadrado y comprobamos que la diferencia es
positiva.
[z n[
2

1
4
([z[ [n[)
2

z
[z[

n
[n[

2
=
=[z[
2
[n[
2
2 Re(zn)
1
4
([z[
2
[n[
2
2[z[[n[)
_
2 2
Re(zn)
[z[[n[
_
=
=[z[
2
[n[
2
2 Re(zn)
1
2
[z[
2

1
2
[n[
2
[z[[n[
1
2
_
[z[
2
[n[
2
2[z[[n[
_
Re(zn)
[z[[n[
=
=
1
2
([z[
2
[n[
2
2[z[[n[) 2
Re(zn)
[z[[n[
[z[[n[
1
2
_
[z[
2
[n[
2
2[z[[n[
_
Re(zn)
[z[[n[
=
=
1
2
([z[ [n[)
2

1
2
_
[z[
2
[n[
2
2[z[[n[
_
Re(zn)
[z[[n[
=
=
1
2
([z[ [n[)
2
_
1
Re(zn)
[z[[n[
_
>0
Porque Re(zn)6[zn[=[z[[n[. La igualdad se da si, y slo si, [z[=[n[ o Re(zn)=[zn[ lo
que equivale a que zn=z R
C
que equivale a que z y n estn en una misma semirrecta
a partir del origen, o sea, que tengan los mismos argumentos.
Ejercicio resuelto 38 Expresa en forma binmica los nmeros
(1 i )
25
. (
_
3 i )
37
.
_
1 i
_
3
1 i
_
24
Solucin. Naturalmente, se trata de aplicar la frmula de De Moivre y para ello todo lo
que hay que hacer es expresar los nmeros en su forma polar. Consideremos el nmero
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 87
z =
1 i
_
3
1 i
. Tenemos que [z[ =
_
2 (cociente de los mdulos) y un argumento de z es
arg(1 i
_
3) arg(1 i ) =arc tg(
_
3) (arc tg(1) ) =

3

3
4
=
5
12
Por tanto
_
1 i
_
3
1 i
_
24
=(
_
2)
24
_
cos
_
24
5
12
_
i sen
_
24
5
12
__
=2
12
=4096
Ejercicio resuelto 39 Haciendo uso de la frmula de De Moivre prueba que:
a) sen 3 =3 sen 4 sen
3
.
b) cos 4 =8 cos
4
8 cos
2
1.
c) sen 5 =5 sen 20 sen
3
16 sen
5
.
Solucin. La frmula de De Moivre es una herramienta excelente para obtener identida-
des trigonomtricas. Lo nico que hay que hacer es usar la igualdad
(cos x i sen x)
n
=cos(nx) i sen(nx) (n N. x R)
Desarrollando la potencia del lado izquierdo por medio del binomio de Newton y agrupar
la parte real, que ser igual a cos(nx) y la parte imaginaria, que ser igual a sen(nx).
Por ejemplo, para n = 2 se obtiene inmediatamente que cos(2x) = cos
2
x sen
2
x y
sen(2x) =2 sen x cos x. Haciendo n =3 obtenemos
cos
3
x 3i cos
2
x sen x 3 cos x sen
2
x i sen
3
x =cos(3x) i sen(3x)
Igualando partes imaginarias, resulta:
sen(3x) =3 cos
2
x sen x sen
3
x =3(1 sen
2
x) sen x sen
3
x =3 sen x 4 sen
3
x
Esta es la igualdad a). Las otras dos igualdades b) y c) se obtiene de forma parecida.
Ejercicio resuelto 40 Sean nN, n>2, y n=cos
2
n
i sen
2
n
. Dado un nmero entero,
mZ, calcula el valor de las expresiones:
a) 1 n
m
n
2m
n
.n1/m
.
b) 1 n
m
n
2m
(1)
n1
n
.n1/m
.
Solucin. Necesitamos la expresin de la suma de una progresin geomtrica. Sean z un
nmero complejo distinto de 1 y n N. Pongamos S = 1 z z
2
z
3
z
n
.
Tenemos que
S = 1 z z
2
z
3
z
n
Sz = z z
2
z
3
z
n
z
nC1
_
=S(z 1) =z
nC1
1
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 88
Y deducimos que
1 z z
2
z
3
z
n
=
z
nC1
1
z 1
(3.16)
La suma en a) es una progresin geomtrica de razn n
m
. Debemos distinguir el caso en
que n
m
=1, lo que ocurre cuando m es un mltiplo de n, en cuyo caso la suma en a) es
igual a n. En los dems casos, tenemos que
1 n
m
n
2m
n
.n1/m
=
n
nm
1
n
m
1
=0
En particular, haciendo m=1, deducimos que la suma de las races n-simas de la unidad
es igual a 0. El apartado b) se hace de forma parecida.
Ejercicio resuelto 41 Sea n un nmero complejo de mdulo 1. Expresa los nmeros n 1
y n 1 en forma polar.
Solucin. Sea n=cos t i sen t con t =arg(n). Pongamos u =cos(t ,2) i sen(t ,2).
Con lo que u
2
=n y uu =1. Tenemos que
n 1 =u
2
uu =u(u u) =2i sen(t ,2)u (3.17)
Deducimos que [n 1[ =2[sen(t ,2)[. Supondremos en lo que sigue que n=1. Observa
que n 1 es producto de 3 nmeros: el nmero i , cuyo argumento principal es ,2,
el nmero u, cuyo argumento principal es t ,2 y el nmero 2 sen(t ,2) cuyo argumento
principal es 0 cuando sen(t ,2) > 0, y cuando sen(t ,2) < 0. Un argumento de n 1
ser ,2 t ,2 arg(sen(t ,2)). Observa que < t 6 y t =0. Distinguiremos dos
casos:
0 < t 6=sen(t ,2) > 0=arg(n 1) =

2

t
2
=
t
2
=
=n 1 =2 sen(t ,2)
_
sen(t ,2) i cos(t ,2)
_
< t < 0=sen(t ,2) < 0=arg(n 1) =

2

t
2
=
t
2
=
=n 1 =2 sen(t ,2)
_
sen(t ,2) i cos(t ,2)
_
Fjate en que si en (3.17) hacemos el producto i u y distinguimos los casos sen(t ,2) > 0
y sen(t ,2) < 0, obtenemos las mismas expresiones para n 1.
Ejercicio resuelto 42 Sea x un nmero real que no es mltiplo entero de 2. Prueba las
igualdades
a) 1 cos x cos 2x cos nx = cos
_
n
2
x
_
sen
_
n 1
2
x
_
sen
_
x
2
_
b) sen x sen 2x sen nx = sen
_
n
2
x
_
sen
_
n 1
2
x
_
sen
_
x
2
_
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 89
Solucin. Si llamamos A a la primera suma y B a la segunda, podemos calcular AiB
haciendo uso de la frmula de De Moivre.
Solucin. Pongamos n = cos x i sen x; u = cos(x,2) i sen(x,2). Tenemos que
n =1 porque x2Z.
AiB =1 n n
2
n
3
n
n
=
n
nC1
1
n 1
=(por (3.17)) =
n
nC1
1
2i sen(x,2)u
Teniendo en cuenta que n
nC1
=cos
_
(n1)x
_
i sen
_
(n1)x
_
es un nmero complejo
de mdulo 1 y que u
nC1
= cos
_
(n 1)x,2
_
i sen
_
(n 1)x,2
_
, podemos usar la
igualdad (3.17) para obtener que:
n
nC1
1 =2i sen
_
(n 1)x,2
_
u
nC1
Deducimos que
AiB=u
nC1
sen
_
n 1
2
x
_
sen
_
x
2
_ =
_
cos
_
n 1
2
x
_
i sen
_
n 1
2
x
__ sen
_
n 1
2
x
_
sen
_
x
2
_
Igualando partes real e imaginaria, se obtienen las dos igualdades del enunciado.
Ejercicio resuelto 43 Dados dos nmeros complejos distintos a. b C, justica que para
z =b el nmero
z a
z b
es real si, y slo si, z est en la recta que pasa por a y por b; y es
real negativo si, y slo si, z est en el segmento que une a con b.
Solucin. Sea t R, t =1. Tenemos que
z a
z b
=t z =
a bt
1 t
=a
t
1 t
(a b)
La recta que pasa por a y b tiene la ecuacin paramtrica z =a z(a b), con z R,
por lo que la igualdad anterior nos dice que
z a
z b
es real si, y slo si, z est en dicha
recta.
Si t < 0, la igualdad anterior puede escribirse, cambiando t por s, en la forma
z a
z b
=s z =
a bs
1 s
=
s
1 s
b
1
1 s
a
Lo que nos dice que z es de la forma zb (1 z)a con 0 < z =
s
1 s
< 1 pero esos
son justamente los puntos del segmento que une a con b (excluidos los extremos).
Ejercicio resuelto 44 a) Sea [z
1
[ =[z
2
[ =[z
3
[ =1. Prueba que z
1
, z
2
, z
3
son vrtices de
un tringulo equiltero si, y slo si, z
1
z
2
z
3
=0.
b) Deduce de lo anterior que si el baricentro y el circuncentro de un tringulo coinci-
den, dicho tringulo debe ser equiltero.
Solucin. a) Si z
1
, z
2
, z
3
son vrtices de un tringulo equiltero, entonces cada uno
debe estar girado un ngulo de ,3 radianes respecto de otro. Sabemos que multiplicar
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 90
por un complejo, u, de mdulo 1 es un giro de amplitud igual a arg(u). Denamos u =
cos(,3) i sen(,3). Los tres vrtices los podemos escribir como z
1
, z
1
u, z
2
u
2
y, por
tanto:
z
1
z
2
z
3
=z(1 u u
2
) =z
u
3
1
u 1
=0
Supongamos ahora que [z
1
[=[z
2
[=[z
3
[=1, y que z
1
z
2
z
3
=0. Para probar que dichos
nmeros son vrtices de un tringulo equiltero, lo que vamos a hacer es comprobar que
son las races cbicas de un nmero complejo. Es decir, se trata de probar que hay un
nmero tal que z
1
, z
2
y z
3
son las races de la ecuacin polinmica z
3
=0. Para
esto es necesario y suciente que el producto (z z
1
)(z z
2
)(z z
3
) puede escribirse
en la forma z
3
. Tenemos:
(z z
1
)(z z
2
)(z z
3
) =z
3
(z
1
z
2
z
3
)z
2
(z
1
z
2
z
1
z
3
z
2
z
3
)z z
1
z
2
z
3
=
=z
3
(z
1
z
2
z
1
z
3
z
2
z
3
)z z
1
z
2
z
3
Poniendo = z
1
z
2
z
3
, lo que hay que probar es que z
1
z
2
z
1
z
3
z
2
z
3
= 0. Todava
no hemos usado la hiptesis de que [z
1
[ = [z
2
[ = [z
3
[ = 1. Vamos a usarla ahora para
intentar sacar factor comn en la suma z
1
z
2
z
1
z
3
z
2
z
3
=0 la expresin z
1
z
2
z
3
.
Tenemos que:
z
1
z
2
z
1
z
3
z
2
z
3
=z
3
z
3
z
1
z
2
z
2
z
2
z
1
z
3
z
1
z
1
z
2
z
3
=(z
1
z
2
z
3
)z
1
z
2
z
3
=0
Pues z
1
z
2
z
3
=z
1
z
2
z
3
=0.
El apartado b) se deduce fcilmente de a) siempre que sepas lo que es el baricentro y el
circuncentro de un tringulo.
Ejercicio resuelto 45 Si 0 6arg n arg z < , prueba que el rea del tringulo de vrtices
0, z y n viene dada por
1
2
Im(zn).
Solucin. El rea de todo tringulo es la mitad de la base por la altura. En la gura
(3.7) se ha tomado como base el vector z con longitud [z[ y la altura es h. Observa que
sen( 0) =
h
[n[
. Por tanto
rea =
1
2
[z[h =
1
2
[z[[n[ sen( 0)
Esto ya deberas saberlo: el rea de cualquier tringulo es igual a la mitad del producto
de las longitudes de dos lados por el seno del ngulo que forman. Pongamos z =x iy,
n =u i :. Como 0 =arg(z) y =arg(n), tenemos que
rea =
1
2
[z[[n[ sen( 0) =
1
2
[z[[n[
_
sen() cos(0) cos() sen(0)
_
=
=
1
2
[z[[n[
_
:
[n[
x
[z[

u
[n[
y
[z[
_
=
1
2
(:x uy) =
1
2
Im(zn)

Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Funciones elementales complejas 91
z
n
0

h
Figura 3.7. rea de un tringulo
3.4. Funciones elementales complejas
Las funciones complejas no son ms que las funciones denidas en subconjuntos de R
2
con valores en R
2
, cuando en R
2
consideramos su estructura compleja. Dado un conjunto
A C, a toda funcin compleja : A C se le asocian dos funciones reales: la funcin
u =Re parte real de y la funcin : =Im parte imaginaria de denidas para todo
(x. y) =x iy A por:
u(x. y) =Re (x iy). :(x. y) =Im (x iy)
Naturalmente, (x iy) =u(x. y) i :(x. y).
3.4.1. La funcin exponencial
Denimos
2
la exponencial compleja de un nmero z =x i y como
e
xCi y
=exp(x i y) =e
x
_
cos y i sen y
_
(3.18)
Observa que
[ e
z
[ =e
Re z
. Imz Arg(e
z
) (3.19)
En particular, obtenemos la llamada frmula de Euler:
e
i t
=cos t i sen t (para todo t R) (3.20)
que establece una relacin entre la exponencial compleja y las funciones trigonomtricas. De
la frmula de Euler se deducen fcilmente las llamadas ecuaciones de Euler:
cos t =
e
i t
e
i t
2
. sen t =
e
i t
e
i t
2i
(t R) (3.21)
2
Ms adelante veremos la justicacin de esta denicin.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Logaritmos complejos 92
La exponencial compleja tiene la propiedad fundamental de transformar sumas en produc-
tos. Se prueba fcilmente, haciendo uso de la denicin (3.18 y de las igualdades (2.4) y (2.5)
que
e
zCw
=e
z
e
w
para todos z. nC (3.22)
Esta propiedad, junto con las ecuaciones de Euler (3.21), hacen que la exponencial compleja
sea la herramienta ms usada para trabajar con las funciones seno y coseno. Por ejemplo, de
la frmula de Euler (3.20) y de la igualdad anterior, se deduce enseguida la frmula de De
Moivre.
cos(nt ) i sen(nt ) =e
itn
=
_
e
it
_
n
=
_
cos t i sen t )
n
(nZ. t R) (3.23)
Igualmente, de las igualdades
cos(a b) i sen(a b) =e
.aCb/i
=e
ia
e
ib
=(cos a i sen a)(cos b i sen b)
se deducen en seguida, haciendo el producto indicado e igualando partes real e imaginaria, las
igualdades (2.4) y (2.5).
Otras identidades trigonomtricas se obtienen tambin muy fcilmente. Por ejemplo, para
expresar un producto de senos o cosenos como una suma de senos o de cosenos se puede hacer
lo que sigue.
e
ia
e
ib
=e
i.aCb/=2
_
e
i.ab/=2
e
i.ba/=2
_
=2 e
i.aCb/=2
cos((a b),2) (3.24)
Igualando partes real e imaginaria, deducimos que:
cos a cos b = 2 cos((a b),2) cos((a b),2) (3.25)
sen a sen b = 2 cos((a b),2) sen((a b),2) (3.26)
De la igualdad (3.22), se deduce que para todo z C y todo k Z es
e
z
=e
zC2ki
Lo que, en particular, nos dice que exp(z) =exp(z 2i ), o sea, la exponencial compleja es
una funcin peridica con perodo 2i . Naturalmente, esto supone una gran diferencia con la
exponencial real que es una funcin inyectiva.
La funcin exponencial es particularmente til para representar los nmeros complejos
de mdulo 1, es decir los nmeros complejos de la forma cos t i sen t (t R). Recuerda
que multiplicar por un nmero complejo de mdulo 1 representa un giro cuya amplitud es el
argumento de dicho nmero. Fjate que el complejo conjugado de e
it
es e
it
.
Una exponencial real es siempre positiva. Para la exponencial compleja no tiene sentido
hablar de positiva, todo lo que podemos decir es que la exponencial compleja no se anula
nunca pues [ e
z
[ =e
Re z
> 0.
3.4.2. Logaritmos complejos
El comportamiento peridico de la exponencial compleja se va a traducir, como vamos a
ver enseguida, en que la ecuacin e
w
=z, donde z es un nmero complejo no cero, va a tener
innitas soluciones nC. Como
e
w
=e
Re w
_
cos (Imn) i sen (Imn)
_
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Logaritmos complejos 93
Para que e
w
=z es necesario y suciente que:
1. [e
w
[ = [z [, esto es, e
Re w
=[z[, es decir, Re n = log [z [ (logaritmo natural del nmero
real positivo [z [).
2. Arg (e
w
) = Arg (z). Como Imn Arg(e
w
), esta igualdad equivale a Imn Arg z; y
esto se cumple si, y slo si Imn =arg(z) 2k, con k Z.
Hemos probado que
{nC : e
w
=z] ={log[z[ i (arg(z) 2k). k Z]
Por tanto, existen innitos nmeros complejos n que satisfacen la ecuacin e
w
=z. Cualquiera
de ellos se llama un logaritmo de z. El conjunto de todos ellos lo representaremos por Log z.
Log z ={log[z[ i (arg(z) 2k). k Z]
Todos los logaritmos de z estn situados en una misma recta vertical de abscisa log[z[, y a
partir de uno cualquiera de ellos podemos situar todos los dems, desplazndolo hacia arriba o
hacia abajo una distancia igual a un mltiplo entero de 2. De entre todos los logaritmos de z
elegimos uno, llamado logaritmo principal, denido por
log z =log [z[ i arg(z) para todo z C

Cuando z es un nmero real positivo, z R


C
, el logaritmo principal que acabamos de denir
coincide con el logaritmo real de z. Es decir, acabamos de extender la funcin logaritmo real
de R
C
a C

. Observa que cualquier otro logaritmo de z es de la forma log z i 2k para algn


entero k. Adems, de todos los logaritmos de z, el logaritmo principal es el nico cuya parte
imaginaria est en el intervalo | . |.
Es importante que observes que la igualdad
log zn =log z log n
que es vlida para los logaritmos de los nmeros reales positivos, no es siempre cierta para
nmeros complejos. Por ejemplo:
log
_
e
i 2=3
_
=i
2
3
. log
_
e
i 3=4
_
=i
3
4
Y
log
_
e
i 2=3
e
i 3=4
_
=log
_
e
i 17=12
_
=log
_
e
i7=12
_
=i
7
12
=i
2
3
i
3
4
Lo que est claro es que el nmero log z log n Log(zn), es decir, log z log n es un
logaritmo de zn pero no tiene por qu ser el logaritmo principal de zn.
Observacin. Muchos libros usan la notacin Log z para representar el logaritmo principal de
z y log z para representar el conjunto de todos los logaritmos de z. De esta forma consiguen que
la funcin log, que era conocida para reales positivos, ya no pueda usarse ms, porque ahora
log 1 ya no ser 0 sino el conjunto {2ki : k Z]; y lo que antes escribamos log 2 ahora
tendremos que escribirlo Log 2. Es decir, no se gana nada y se pierde todo. Es lo que yo digo,
para qu hacer las cosas bien pudiendo hacerlas mal?
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Potencias complejas 94
3.4.3. Potencias complejas
Recuerda que dados dos nmeros reales a > 0 y b R, la potencia de base a y exponente
b se dene como a
b
= e
b log a
. Ahora, dados a. b C, con a = 0, sabemos que hay innitos
logaritmos de a, todos ellos de la forma log a i 2k, con k Z. Por ello, cualquier nmero
complejo de la forma e
b.log aCi 2k/
donde k Z, es una potencia de base a y exponente b.
Representamos por a
b
| el conjunto de todas ellas.
a
b
| =
_
e
b.log aCi 2k/
:k Z
_
Se destaca una:
a
b
=e
b log a
que se llama valor principal de la potencia de base a y exponente b. Observa que si b =1,n
donde nN, el nmero
a
1=n
=exp
_
1
n
log a
_
=exp
_
log a
n
i
arg a
n
_
=[a[
1=n
_
cos
arg a
n
i sen
arg a
n
_
es el valor principal de la raz n-sima de a que antes hemos notado por
n
_
a.
3.4.4. Ejercicios propuestos
102. Expresa los 8 nmeros 1 i ,
_
3 i en la forma r e
i'
.
103. Calcula el mdulo y los argumentos principales de los nmeros
1 e
i'
. 1 e
i'
. a e
i'
donde [[ 6 y a > 0.
104. Calcula log z y Log z cuando z es uno de los nmeros siguientes
i. i. e
3
. e
5i
. 4. 5 e. 1 i
105. Calcula log(3i ) log(1 i
_
3) y log
_
3i (1 i
_
3)
_
.
106. Calcula log(1 i ) log i y log
_
1 i
i
_
.
107. Calcula
(4)
i
|. i
3i
. i
2=
|. i
i
|. 1
2i
. 3
1i
. ((i )
i
)
i
. (1 i )
1Ci
108. Estudia, para z C

y nN, las igualdades:


a) log(e
z
) =z : b) exp(log(z)) =z : c) log(
n
_
z) =
log(z)
n
: d) log(z
n
) =nlog(z).
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 95
109. Prueba que la funcin logaritmo principal establece una biyeccin entre los conjuntos
C\R

o
y C={z C

: < Im(z) < ].


110. Estudia condiciones para que
_
a
b
_
c
=a
bc
.
111. Con una interpretacin adecuada de la suma justica que:
a) Arg(zn) =Arg(z) Arg(n). b) Log(zn) =Log(z) Log(n)
112. Estudia, interpretndolas convenientemente cuando sea necesario, las siguientes igual-
dades:
a) Loga
b
| =b Log(a) b) loga
b
| =b Log(a) c) log(a
b
) =b log a
113. Indica el error en los razonamientos siguientes: (z)
2
= z
2
; por tanto 2 Log(z) =
2 Log(z) y, por consiguiente, Log(z) =Log(z).
114. Explica con detalle dnde est el error en las igualdades siguientes:
i =(1)
1=2
=(1)
3
|
1=2
=(1)
3=2
=i
3
=i
3.4.5. Ejercicios resueltos
Antes de ver la solucin de un ejercicio debes intentar resolverlo!
Ejercicio resuelto 46 Estudia, para z C

y nN, las igualdades:


a) log
_
e
z
_
=z : b) exp(log(z)) =z : c) log
_
n
_
z
_
=
log(z)
n
: d) log(z
n
) =nlog(z).
Solucin. a) Es evidente que z es un logaritmo de e
z
y ser el logaritmo principal si, y
slo si, < Imz 6. En consecuencia:
log
_
e
z
_
=z < Imz 6
b) Los logaritmos de z se denen como los nmeros cuya exponencial es z, luego, en
particular, exp(log(z)) =z cualquiera sea z C.
c)
log
_
n
_
z
_
=log

n
_
z

i arg
_
n
_
z
_
=
log[z[
n
i
arg z
n
log(z)
n
=
log[z[
n
i
arg z
n
La igualdad en c) se verica siempre.
d)
log(z
n
) =log([z
n
[) i arg(z
n
) =nlog([z[) i arg(z
n
)
nlog(z) =nlog([z[) i narg(z)
La igualdad en d) equivale a que arg(z
n
) =narg(z). Como narg(z) es un argumento de
z
n
, para que sea el argumento principal deber ser < narg(z) 6.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos 96
Ejercicio resuelto 47 Estudia condiciones para que
_
a
b
_
c
=a
bc
.
Solucin. Tenemos que
_
a
b
_
c
=exp(c log(a
b
)): a
bc
=exp(bc log a)
Por otra parte
exp(c log(a
b
))=exp
_
c log(e
b log a
)
_
=exp
_
c(b log ai 2k)
_
=exp(bc log ai c2k)
Donde k es un entero que hay que elegir por la condicin de que
< Im(b log a i 2k) 6
Concluimos que si k = 0, lo que ocurre solamente cuando < Im(b log a) 6 ,
entonces la igualdad del enunciado se cumple para todo c. En otro caso, la igualdad del
enunciado se cumple solamente cuando c es un nmero entero.
Ejercicio resuelto 48 Con una interpretacin adecuada de la suma justica que:
a) Arg(zn) =Arg(z) Arg(n). b) Log(zn) =Log(z) Log(n)
Solucin. La forma razonable de interpretar la igualdad Arg(zn) = Arg(z) Arg(n),
es que sumando cada uno de los elementos de Arg(z) con cada uno de los elementos
de Arg(n) obtenemos todos los elementos de Arg(zn). Que efectivamente esto es as
es fcil de probar. Sean s Arg(z) y t Arg(n). Entonces, sabemos que s t es
un argumento de zn, esto es s t Arg(zn). Luego hemos probado la inclusin
Arg(z) Arg(n) Arg(zn). Recprocamente, sea Arg(zn). Elijamos cualquier
elemento s Arg(z) y pongamos t = s. Entonces t es un argumento de
zn
z
=n, esto
es, t Arg(n); luego = s t Arg(z) Arg(n). Lo que prueba la otra inclusin
Arg(zn) Arg(z) Arg(n).
Anlogamente, La forma razonable de interpretar la igualdad Log(zn) = Log(z)
Log(n), es que sumando cada uno de los elementos de Log(z) con cada uno de los
elementos de Log(n) obtenemos todos los elementos de Log(zn). Teniendo en cuenta
que Log(z) =log[z[ i Arg(z), la igualdad b) se deduce de a).
Observacin. Quien haya estudiado el concepto de grupo cociente, puede interpretar la
suma Arg(z) Arg(n) en el grupo cociente del grupo aditivo de los nmeros reales
respecto del subgrupo de los mltiplos enteros de 2, esto es, el grupo G =R,2Z. Si
z es un complejo no nulo, se tiene que Arg(z) G y, por denicin de suma en un grupo
cociente, tenemos que Arg(z) Arg(n) es la clase que contiene a arg(z) arg(n) y,
como arg(z) arg(n) Arg(zn), obtenemos que Arg(zn) =Arg(z) Arg(n).
Ejercicio resuelto 49 Indica el error en los razonamientos siguientes: (z)
2
=z
2
; por tanto
2 Log(z) =2 Log(z) y, por consiguiente, Log(z) =Log(z).
Solucin. De la igualdad Log(zn) =Log(z) Log(n), probada en el ejercicio anterior,
se deduce que Log(z
2
) =Log(z) Log(z). Es decir, que sumando de todas las formas
posibles dos logaritmos de z obtenemos todos los logaritmos de z
2
. Pero eso es muy
distinto a sumar cada logaritmo de z consigo mismo. Es decir, el conjunto 2 Log(z) es
solamente una parte del conjunto Log(z) Log(z).
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Aplicaciones de los nmeros complejos 97
3.5. Aplicaciones de los nmeros complejos
Como ya hemos dicho anteriormente, la exponencial compleja es la herramienta ms til
para trabajar con funciones sinusoidales, esto es, las funciones seno y coseno. Muchsimos
procesos naturales, entre los que destacan por su importancia y universalidad los movimientos
oscilatorios y ondulatorios, se describen adecuadamente por medio de funciones sinusoidales.
Eso explica la presencia de la exponencial compleja y de los nmeros complejos en teoras que,
a primera vista, nada tienen que ver con ellos. Veamos algunos ejemplos.
3.5.1. Movimiento armnico simple
r(t )
r(0)

!
t
A A
O
x(t )
Figura 3.8. Movimiento circular
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 apropiados para representar giros y movi-
mientos circulares. Consideremos un mvil que
recorre una circunferencia centrada en el origen
y de radio R con una velocidad angular cons-
tante o. Supongamos que su posicin inicial
para t = 0 viene dada por (Acos . Asen ).
La posicin de dicho mvil en el tiempo t es
r(t ) =
_
Acos(ot ). Asen(ot )
_
Usando nmeros complejos, podemos escribir
r(t ) =Acos(ot ) iAsen(ot )
Que se expresa mejor con la exponencial compleja:
r(t ) =Acos(ot ) iAsen(ot ) =Ae
i.!tC'/
=Ae
i'
e
i!t
Recuerda que multiplicar por e
i!t
es un giro de amplitud ot . La igualdad r(t ) = Ae
i'
e
i!t
nos dice que la posicin del mvil en el tiempo t se obtiene girando el vector que representa su
posicin inicial r(0) =Ae
i'
un giro de amplitud ot .
La proyeccin sobre el eje de abscisas del vector r(t ) es la primera componente de dicho
vector:
x(t ) =Re r(t ) =Acos(ot ) (3.27)
Interpretamos [x(t )[ como la distancia al origen en el instante t de un mvil que se desplaza
sobre el eje de abscisas y cuya posicin en el tiempo t viene dada por la igualdad (3.27).
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,o, se tiene que:
x(t T ) =Acos(o(t T ) ) =Acos(ot 2 ) =Acos(ot ) =x(t )
Dicho movimiento se llama movimiento armnico simple. Naturalmente, la proyeccin sobre el
eje de ordenadas del vector r(t ) tambin describe un movimiento armnico simple de ecuacin
y(t ) =Imr(t ) =Asen(ot ) (3.28)
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Movimiento armnico simple 98
Las ecuaciones (3.27) y (3.28) representan un mismo tipo de movimiento pues un seno no es
ms que un coseno retrasado en ,2, como se sigue de la igualdad cos(x ,2) =sen x.
En el movimiento armnico simple x(t ) =Acos(ot ) el nmero A se llama amplitud,
el nmero ot se llama fase, siendo la fase inicial; o es la frecuencia angular que se
mide en radianes por segundo. El nmero T =2,o es el periodo, que es el tiempo, medido
en segundos, que el mvil tarda en completar un ciclo. El nmero =1,T es la frecuencia,
que es el nmero de ciclos recorridos en un segundo. La unidad de la frecuencia es el ciclo por
segundo que se llama herzio.
La representacin compleja proporciona una visualizacin grca del movimiento que es
muy til para el estudio de la composicin de movimientos armnicos simples. Consideremos
dos movimientos armnicos simples de igual frecuencia dados por
x
1
(t ) =A
1
cos(ot
1
). x
2
(t ) =A
2
cos(ot
2
)
Queremos estudiar el movimiento dado por x(t ) =x
1
(t ) x
2
(t ). La representacin compleja
de los movimientos permite dar una respuesta sin necesidad de hacer clculos. Pongamos
x
1
(t ) =Re r
1
(t ) =Re A
1
e
i.!tC'
1
/
: x
2
(t ) =Re r
2
(t ) =Re A
2
e
i.!tC'
2
/
Claramente, x(t ) =x
1
(t ) x
2
(t ) =Re(r
1
(t ) r
2
(t )). Como los vectores r
1
(t ) y r
2
(t ) giran
con igual velocidad angular, o, el vector suma r(t ) =r
1
(t ) r
2
(t ) tambin gira con la misma
velocidad angular (el paralelogramo de lados r
1
(t ) y r
2
(t ) gira todo l con velocidad angular
o). Deducimos que x(t ) = Re(r(t )) es la ecuacin de un movimiento armnico simple de
frecuencia angular o, amplitud igual al mdulo de r(t ) (que debe ser constante) y fase igual al
argumento del nmero complejo r(t ). El mdulo de una suma lo hemos calculado en (3.14).
En nuestro caso es
[r(t )[
2
=[r
1
(t )[
2
[r
2
(t )[
2
2 Re(r
1
(t )r
2
(t )) =A
2
1
A
2
2
2A
1
A
2
cos(
1

2
)
r
1
(t )
r
2
(t )
r(t )
x
1
(t ) x
2
(t ) x(t )
O
Figura 3.9. Composicin de movimientos armnicos
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Circuitos elctricos 99
Como la frecuencia angular debe ser o, la fase ser ot donde es la fase inicial, que
es el argumento del nmero complejo
r(0)=r
1
(0)r
2
(0)=A
1
e
i'
1
A
2
e
i'
2
=(A
1
cos
1
A
2
cos
2
)i (A
1
sen
1
A
2
sen
2
)
que ya debes saber calcular.
3.5.2. Circuitos elctricos
R
C
L
I(t )
V(t )
Figura 3.10. Circuito RLC
En el anlisis de circuitos elctricos los n-
meros complejos, con el nombre de fasores,
fueron introducidos en 1863 por el matem-
tico e ingeniero Charles Proteus Steinmetz
(1865-1923). Un fasor es un nmero complejo
que representa la amplitud y fase inicial
de una sinusoide. Los fasores proporcionan
una herramienta til para estudiar circuitos
elctricos cuyo voltaje es de tipo sinusoidal
V(t ) = V
m
cos(ot ). 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
complejo V=V
m
e
i'
. De esta forma podemos escribir V(t )=Re(V e
i!t
) con lo que separamos
la informacin de frecuencia y de fase. Observa que, conocida la frecuencia, la sinusoide queda
determinada de forma nica por su fasor asociado.
La derivada de una sinusoide es otra sinusoide. El fasor que representa a la derivada se
expresa muy fcilmente mediante el fasor que representa a la sinusoide.
V
0
(t ) =
dV(t )
dt
=V
m
o sen(ot ) =V
m
o cos(ot ,2) =Re(i oV e
i!t
)
Deducimos que el fasor que representa a V
0
(t ) es i oV. Observa que i oV =oV
m
e
i.'C=2/
,
por lo que el fasor que corresponde a la derivada de una sinusoide va adelantado 90 grados
respecto a la sinusoide.
De la misma forma, el fasor que representa a la primitiva de la sinusoide V(t ) es
1
i o
V y va
retrasado 90 grados respecto a la sinusoide.
Supongamos que en el circuito de la gura (3.10) se tiene que la intensidad de la corriente
viene dada por una sinusoide (lo cual se sabe que es as cuando la fuerza electromotriz aplicada
es sinusoidal). Pongamos I(t ) = I
m
cos(ot ) y sea I su fasor asociado. Expresemos la
cada de potencial en cada uno de los elementos que forman el circuito mediante los fasores de
la corriente y el voltaje. Se trata de un circuito RLC que consta de una resistencia de R ohmios,
un condensador de capacitancia C y un inductor, con inductancia L.
La diferencia de potencial en los extremos de la resistencia viene dada por
V
R
(t ) =RI(t ) =RI
m
cos(ot )
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Circuitos elctricos 100
La relacin entre los fasores respectivos es
V
R
=RI.
Como R > 0 se tiene que el voltaje a travs de una resistencia est en fase con la corriente.
Es sabido que una corriente variable en un inductor produce un campo magntico que da
lugar a una fuerza electromotriz inducida que se opone a la fuerza electromotriz aplicada, lo
que origina una cada de potencial dada por
V
L
(t ) =L
dI(t )
dt
Deducimos que la relacin entre los correspondientes fasores es
V
L
=i oLI
y por tanto el voltaje a travs de un inductor va adelantado 90 grados respecto a la corriente.
Llamando Q(t ) a la carga que almacena el condensador en el tiempo t , se sabe que la
diferencia de potencial entre los extremos del condensador viene dada por la igualdad
V
C
(t ) =
Q(t )
C
=
1
C
t

1
I(s) ds
Y deducimos que la relacin entre los correspondientes fasores es
V
C
=
1
i oC
I =
i
oC
I
y por tanto el voltaje a travs de un inductor va retrasado 90 grados respecto a la corriente.
La suma de las diferencias de potencial a travs de los distintos elementos del circuito debe
ser igual al voltaje aplicado. En trminos de los fasores asociados, esto quiere decir que:
RI i oLI
i
oC
I =
_
Ri oL
i
oC
_
I =V (3.29)
El nmero complejo
Z=Ri oL
i
oC
se llama impedancia. La impedancia depende de la frecuencia de la fuerza electromotriz aplica-
da y de las caractersticas del circuito. Cuando se conocen la impedancia y el voltaje, podemos
calcular el fasor de la corriente por la igualdad
I =
V
Z
=
V
Ri oL
i
oC
y la corriente en el circuito viene dada por I(t ) =I e
i!t
.
Tenemos que
[I[ =
[V[
_
R
2

_
oL
1
oC
_
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Procesamiento digital de seales 101
El nmero oL
1
oC
se llama reactancia. El valor de la frecuencia para el que la reactancia
se anula viene dado por o
r
=
1
_
LC
y se llama frecuencia de resonancia. Es el valor de la
frecuencia para el cual el valor de [I[ es mximo.
3.5.3. Procesamiento digital de seales
Como sin duda sabes, los formatos digitales ms frecuentes de audio e imagen son, res-
pectivamente, MP3 y JPG. Cuesta trabajo imaginar cmo sera Internet sin estos formatos. Lo
que quizs no sepas es que la codicacin MP3 y la JPG se llevan a cabo con algoritmos que
usan nmeros complejos. El hecho, por extrao que pueda parecer, es que las principales herra-
mientas para trabajar con todo tipo de seales (audio, vdeo, voz, imagen,. . . ) son complejas.
La transformada Z, la Transformada de Fourier en Tiempo Discreto, la Transformada Discreta
de Fourier, la Funcin de Transferencia, los modelos de polos y ceros, 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 caracte-
rizan por su espectro que es un conjunto de nmeros complejos! Si te sientes atrado por el
apasionante mundo del tratamiento digital de seales, todo lo que sepas de nmeros complejos
te ser til en tu trabajo.
Como lectura adicional te recomiendo el captulo 24 del libro de Michael Spivak [16].
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral