Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Numeros
complejos. Exponencial compleja
Los nmeros que hoy llamamos complejos fueron durante muchos aos motivo de po-
lmicas y controversias entre la comunidad cientfica. 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 finales 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 afirm que ciertas ecuacio-
nes algebraicas slo tienen solucin en nuestra imaginacin y acu el calificativo imagi-
narias para referirse a ellas. Desde el siglo XVI hasta finales del siglo XVIII los nmeros
complejos o imaginarios son usados con recelo, con desconfianza. 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 anfibio 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
x C 3 D 0; 2x C 3 D 0; x2 2 D 0; x 2 C 2x C 2 D 0
Cuyas soluciones
p
x D 3; x D 3=2; x D 2; xD 1i
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 coeficientes complejos? Por ejemplo:
p p
x 5 C .1 i/x 4 C .1=5 i 2/x 2 8x C 3 i= 3 D 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 define 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.
Es muy fcil comprobar las propiedades asociativa, conmutativa y distributiva de las operacio-
nes as definidas. 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; y/ ; D .1; 0/
x2 C y2 x2 C y2
Todas estas propiedades se resumen diciendo que .R2 ; C; / (lase el conjunto R2 con las
operaciones de adicin y producto) es un cuerpo. Dicho cuerpo se representa simblicamente
por C y sus elementos se llaman nmeros complejos.
No debes olvidar que cada concepto matemtico tiene sentido dentro de una determinada
estructura. Con frecuencia, cuando sobre un mismo conjunto hay definidas varias estructuras, la
terminologa que se usa indica la estructura a la que nos referimos. Eso pasa en R2 donde con-
viven varias estructuras cada una con su terminologa propia. Usualmente en R2 se consideran
las siguientes estructuras.
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 R2 se le llama
nmero complejo cuando se va a usar el producto definido en (3.2) que es lo que en realidad
distingue a los nmeros complejos de los vectores de R2 .
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 definicin (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/ C .y; 0/ D .x C y; 0/
.x; 0/.y; 0/ D .xy; 0/
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 f0g
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
identificacin .x; 0/ D x.
Fjate que con dicha identificacin el producto x.u; v/ tiene dos posibles interpretaciones:
producto del escalar real x por el vector .u; v/ (estructura vectorial de R2 ) y producto del
complejo .x; 0/ por el complejo .u; v/. Pero ambos coinciden y son iguales a .xu; xv/.
El nmero complejo .0; 1/ lo representaremos por i y lo llamaremos unidad imaginaria.
Con ello tenemos que
i 2 D .0; 1/.0; 1/ D . 1; 0/ D 1
Ahora podemos escribir
3.2 Definicin. Se dice que x es la parte real e y es la parte imaginaria del nmero complejo
x C 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 w y reservar las
letras x, y, u, v para representar nmeros reales. Una expresin de la forma z D x C 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.
p
3.2.3. Comentarios a la definicin usual i D 1
Acabamos
p de ver que i 2 D 1 pero eso no pnos permite escribir as, sin ms ni ms, que
iD 1. Fjate lo que ocurre si ponemos i D 1 y manejamos ese smbolo con las reglas a
las que estamos acostumbrados:
p p p
1 D i2 D i i D
p
1 1 D . 1/. 1/ D 1 D 1
Luego 1 D 1. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Naturalmente,
p 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 definido y dando por supuesto que dichas
races verifican las mismas propiedades que las de los nmeros reales positivos.
p p
Antes de escribir 1 hay que definir qu significa z para z 2 C. Cuando lo hagamos
p p p
veremos sorpresa! que la igualdad z w D zw, vlida cuando z; w 2 RC , no es cierta en
general cuando z; w 2 C.
p
Todava ms disparatado es definir i D 1 sin ni siquiera haber definido antes los nmeros
complejos. Sin embargo, p y aunque parezca mentira, en muchos textos se define (porque s, sin
ms explicaciones) i D 1 y a continuacin se dice que los nmeros de la forma aCib son los
nmeros complejos. No es de extraar que luego resulte que 1 D 1. Todava pueden hacerse
peor las cosas. Recientemente he encontrado en un texto de una institucin de peducacin a
distancia escrito por varios profesores la siguiente asombrosa definicin: i D C 1.
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 definir relaciones de orden en C, pero
no hay ninguna de ellas que sea compatible con la estructura algebraica. Es decir, es imposible
definir un concepto de nmero complejo positivo de forma que la suma y el producto de com-
plejos positivos sea positivo. Por ello no se define 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.
X
x
zDx iy
zCw
X
x u xCu
Figura 3.2. Suma de nmeros complejos
z D z; z C w D z C w; zw D zw: (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.
a)
mKaxfjRe zj; jIm zjg 6 jzj 6 jRe zj C jIm zj (3.4)
En particular, Re z D jzj si, y slo si, z 2 RC
o.
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.
u C iv .u C iv/.x iy/ ux C vy vx uy
D 2 2
D 2 2
Ci 2 :
x C iy x Cy x Cy x C y2
El uso de coordenadas polares en el plano facilita mucho los clculos con productos de
nmeros complejos. Para cualquier nmero complejo z D x C iy 0 podemos escribir
x y
z D jzj Ci
jzj jzj
x y
Como ; es un punto de la circunferencia unidad, puede escribirse en la forma
jzj jzj
x y
; D .cos #; sen #/
jzj jzj
z D jzj.cos # C i sen #/
Esta forma de expresar un nmero complejo recibe el nombre de forma polar, cuya interpre-
tacin grfica vemos en la figura (3.3).
Y
jzj
#
X
Observa que
( )
cos.t / D cos.s/
s; t 2 Arg.z/ s D t C 2k para algn k 2 Z
sin.t / D sin.s/
Por tanto, conocido un argumento t0 2 Arg.z/ cualquier otro es de la forma t0 C2k para algn
k 2 Z, es decir, Arg.z/ D t0 C 2Z.
De entre todos los argumentos de un nmero complejo z0 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 Dx Ciy 0
2
arg.z/ D arc tg.y=x/ C
w D x C iv
arg.z/ D arc tg.y=x/
z D x C iy
Para que dos nmeros complejos escritos en forma polar z D jzj.cos # C i sen #/ y
w D jwj.cos ' C i sen '/, sean iguales es condicin necesaria y suficiente que los mdulos
sean iguales jzj D jwj, y los argumentos sean iguales, Arg.z/ D Arg.w/, y sta condicin
equivale a que # ' sea un mltiplo entero de 2.
jzj D jwj
jzj.cos # C i sen #/ D jwj.cos ' C i sen '/
# ' D 2m .m 2 Z/
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si quere-
mos elegir argumentos en un intervalo de longitud 2, digamos ; C 2, entonces dichos
argumentos saltan de a C 2 cuando atravesamos la semirrecta .x; y/ D .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 definidas en RC (el logaritmo, las races) hace intervenir el argumento principal.
Naturalmente, queremos que dichas extensiones sigan siendo continuas en RC y ello justifica
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 RC .
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros complejos.
3.5 Proposicin. Sean z, w conplejos no nulos, # 2 Arg.z/ y ' 2 Arg.w/. Entonces se verifica
que # C ' 2 Arg.zw/.
z D jzj.cos # C i sen #/
w D jwj.cos ' C i sen '/
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 C arg w 2
Arg.zw/; es decir, arg z C arg w es un argumento de zw, pero lo que no podemos afirmar es
que arg z C arg w sea igual al argumento principal de zw. Naturalmente, esto ocurrir cuando
< arg z C arg w 6 .
La siguiente igualdad, muy til, conocida como frmula de De Moivre, se demuestra fcilmente
por induccin a partir de la proposicin (3.5).
p arg z arg z
n
z D jzj1=n cos C i sen (3.10)
n n
p
n
arg z
Observa que arg z D y, en consecuencia:
n
p
< arg n z 6 (3.11)
n n
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.
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 RC a
todo C conservando el significado que esa funcin tena en RC . Observa, sin embargo, que si
x 2 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 definidas en R, o si estamos considerando dichas fun-
ciones definidas en C. Observa que para n par no hay confusin alguna, solamente
p cuando n es
3
impar y x es un nmero real negativo hay que tener cuidado.
p Por ejemplo, 1 D 1 cuando
3
consideramos a la raz cbica como una funcin real, y 1 D cos.=3/ C i sen.=3/ cuando
consideramos a la raz cbica como funcin compleja. Programas de clculo simblico, como
p
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-
p
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
p
entender que 27 1 ya no vale 1 sino que es un conjunto formado por 27 nmeros complejos. Y
las reglas que conocemospparap las races
p reales ya ni siquiera pueden formularse. Qu sentido
5 5 5
tiene ahora escribir que 2 1 D p 2? Es una igualdad entre conjuntos?
p Debemos multipli-
5 5
car cada elemento del conjunto 2 por cada elemento
p del conjunto 1 y comprobar
p que
p de
5 3 7
esa formap obtenemos todos los elementos de 2? Cmo hay que
p sumar ahora 2 C 3?
3 7
Porque 2 debe entenderse como un conjunto de 3 elementos y 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
p
es real, n z, representa siempre la raz n-sima real del nmero z. Bueno, pero esto no arregla el
p
disparate de que n z no es una funcin, porque todava persiste el hecho de que para z complejo
p
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
p
smbolo n z en sucesiones, lmites o integrales como si de una funcin usual se tratara. Habra
p
que decirles oiga! si para usted n z son n nmeros, qu significado tiene una expresin como
p
lKmn!1 n n z 1/? Pues eso, ni se dan cuenta.
p
Finalmente, observa que en la definicin (3.10) de n z interviene el argumento principal,
arg.z/. Por la definicin 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
p
real negativo y, en consecuencia, la funcin z 7! 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
p
se hace as, la funcin z 7! 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 RC , al extenderla a
C ya no es continua en RC .
p
n
p p
3.3.3.2. La igualdad z n w D n zw
1Cz
76. Calcula los nmeros complejos z tales que es:
1 z
a) Un nmero real; b) Un nmero imaginario puro.
77. Expresa en forma polar los siguientes nmeros complejos.
p
p p 3 1Ci 3
a) 3 i b) 3Ci c) p d)
3Ci .1 C i/2
85. Prueba que si una ecuacin polinmica con coeficientes 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 C i pero no admita como raz a
1 i.
88. Dados dos nmeros complejos y , calcula el mnimo valor para z 2 C de la cantidad
jz j2 C jz j2 :
Sugerencia: La igualdad del paralelogramo puede ser til.
z a
89. Prueba que < 1 si jzj < 1 y jaj < 1 y tambin si jzj > 1 y jaj > 1.
1 az
Sugerencia: Una estrategia bsica para probar desigualdades entre mdulos de nmeros
complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
z
Ejercicio resuelto 24 Calcula la parte real e imaginaria de donde z 2 C n fi; ig.
1 C z2
Solucin. Todo lo que hay que hacer es realizar las operaciones indicadas. Pongamos
para ello z D x C iy con x; y 2 R. Tenemos que
z x iy x iy .x iy/.1 C x 2 y 2 2xyi/
D D D D
1 C z 2 1 C .x C iy/2 1 C x 2 y 2 C 2xyi .1 C x 2 y 2 /2 C 4x 2 y 2
x C x 3 3xy 2 C i. y 3x 2 y C y 3 /
D D
.1 C x 2 y 2 /2 C 4x 2 y 2
x C x 3 3xy 2 y 3x 2 y C y 3
D C i
.1 C x 2 y 2 /2 C 4x 2 y 2 .1 C x 2 y 2 /2 C 4x 2 y 2
Luego
x C x 3 3xy 2 y 3x 2 y C y 3
z z
Re D ; Im D
1 C z2 .1 C x 2 y 2 /2 C 4x 2 y 2 1 C z2 .1 C x 2 y 2 /2 C 4x 2 y 2
.2 C i p5/.1 C i p3/3
Ejercicio resuelto 25 Calcula p p .
5Ci 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 C i p5/.1 C i p3/3 2 C i p5 1 C i p3 3
p
p p D p p D6 2
5Ci 3 5 Ci 3
2z i
Ejercicio resuelto 26 Calcula los nmeros complejos z tales que w D es
2 C iz
a) Un nmero real;
b) Un nmero imaginario puro.
Solucin. Pongamos z D x C iy con x; y 2 R. Tenemos que
2x C i.2y 1/ .2x C i.2y 1//.2 y ix/ 3x C i. 2x 2 2y 2 C 5y 2/
wD D D
2 y C ix .2 y/2 C x 2 .2 y/2 C x 2
Por tanto, w es real si, y slo si
2x 2 2y 2 C 5y 2 D 0 x 2 C .y 5=4/2 D 9=16
Es decir, z est en la circunferencia de centro .0; 5=4/ y radio 3=4.
Anlogamente, w es imaginario puro si, y slo si, x D 0, es decir, z est en el eje imagi-
nario.
Universidad de Granada Prof. Javier Prez
Dpto. de Anlisis Matemtico Clculo diferencial e integral
Ejercicios resueltos 81
z 1 i
Ejercicio resuelto 27 Calcula los nmeros complejos z tales que w D
zC1Ci
a) Es un nmero real;
b) Tiene mdulo 1.
Solucin. Pongamos z D x C iy con x; y 2 R. Tenemos que
z 1 i x 1 C i.y 1/ x 1 C i.y 1/ x C 1 i.y C 1/
wD D D D
zC1Ci x C 1 C i.y C 1/ .x C 1/2 C .y C 1/2
x 2 C y 2 2 C i.2y 2x/
D
.x C 1/2 C .y C 1/2
Por tanto, w es real si, y slo si, y D x 1, es decir, z est en la bisectriz de los
cuadrantes primero y tercero y z .1 C i/.
Es claro que jwj D 1 si, y slo si
Solucin. Teniendo en cuenta que para t < 0 es =2 < arc tg t < 0 y para 0 6 t
es 0 6 arc tg t < =2, se sigue que el nmero # definido por las igualdades anteriores
verifica que < # 6. Por tanto, para probar que # Darg.z/ bastar que comprobemos
la igualdad z D jzj.cos # C i sen #/, es decir, las igualdades x D jzj cos #, y D jzj sen #.
Para # D , # D =2 y # D =2 dichas igualdades son evidentes.
Sea x > 0 en cuyo caso # Darc tg.y=x/. En este caso, como =2 < # < =2, tenemos
que tg # D y=x y deducimos
1 2 y2 x2 C y2
D 1 C tg # D 1 C D x 2 D .x 2 C y 2 / cos2 # x D jzj cos #
cos2 # x2 x2
donde, en la ltima implicacin, hemos tenido en cuenta que x > 0 y cos # > 0. Dedu-
cimos tambin que
x
y D x tg # D sen # D jzj sen #
cos #
Consideremos x < 0 e y > 0. Tenemos que =2 < # D arc tg.y=x/ C < , por
lo que =2 < # < 0, y deducimos tg # D tg.# / D y=x. Razonando como
antes obtenemos que x 2 D .x 2 C y 2 / cos2 #. Como x < 0 y cos # < 0, se sigue que
x D jzj cos #. De esta igualdad deducimos, al igual que antes, que y D jzj sen #.
Consideremos x < 0 e y < 0. Tenemos que < # D arc tg.y=x/ < =2, por
lo que 0 < # C < =2, y deducimos tg # D tg.# C / D y=x. Razonando como en
el caso anterior volvemos a obtener las igualdades x D jzj cos #, y D jzj sen #.
Ejercicio resuelto 29 Expresa en forma polar los siguientes nmeros complejos.
p
3Ci 1
a) 1Ci b) c) p
1Ci 1Ci 3
Solucin. a) Tenemos que arg. 1 C i/ D arc tg. 1/ C D 3=4, por lo que
p
1 C i D 2 cos.3=4/ C i sen.3=4/
b) Tenemos que
p p p
arg. 3 C i/ D arc tg. 1= 3/ C D arc tg.1= 3/ C D =6 C D 5=6
1
arg.1 C i/ D arc tg.1/ D =4 arg D =4
1Ci
p !
5 7 3Ci
deducimos que D 2 Arg . Por tanto
6 4 12 1Ci
p
3Ci p
D 2 cos.7=12/ C i sen.7=12/
1Ci
p p p
c) arg. 1 C i 3/ D arc
tg. 3/ C D arc tg. 3/ C D =3 C D 2=3, por
1
lo que arg p D 2=3. Por tanto
1Ci 3
1
1
p D cos. 2=3/ C i sen. 2=3/
1Ci 3 2
z
Ejercicio resuelto 30 Calcula arg.zw/ y arg supuestos conocidos arg z y arg w.
w
Solucin. Sabemos que arg z C arg w 2 Arg.zw/; adems 2 < arg z C arg w 6 2.
Tenemos las siguientes posibilidades:
2z 1
Ejercicio resuelto 31 Calcula los nmeros complejos z tales que w D
z 2
a) Tiene argumento principal igual a =2;
b) Tiene argumento principal igual a =2.
Solucin. Pongamos z D x C iy con x; y 2 R. Como
2x 2 C 2y 2 5x C 2 D 0 .x 5=4/2 C y 2 D 9=16
b 2 c b2
b c
az 2 C bz C c D 0 z 2 C z C D 0 z C C D0
a a 2a a 4a2
b 2 b 2 4ac
zC D0
2a 4a2
" p 2 # " p 2 #
b b 4ac b b 4ac
zC zC C D0
2a 2a 2a 2a
8 p
b C b 2 4ac
<z D
p2a
:z D b
b 2 4ac
2a
~ 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 C 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 C .1 C i/z 2 C 5i D 0.
Solucin. Poniendo w D z 2 , la ecuacin queda w 2 C .1 C i/w C 5i D 0, cuyas soluciones
son
p p
.1 C i/ .1 C i/2 20i .1 C i/ 18i
D D
2 p 2
.1 C i/ 18.cos. =4/ C i sen. =4//
D D
p p p2
.1 C i/ 18.1= 2 i= 2/ .1 C i/ 3.1 i/ 1 2i
D D D
2 2 2Ci
p p
Las soluciones de la ecuacin dada son las races 1 2i y 2 C i. Tenemos que
arg.1 2i/D arc tg 2 y arg. 2Ci/D arc tg.1=2/. Usando que cos.xC=2/D sen x
y sen.x C =2/ D cos x, obtenemos:
p p
4 arc tg 2 arc tg 2
1 2i D 5 cos i sen
2 2
p p
4 arc tg.1=2/ arc tg.1=2/
2 C i D 5 sen C i cos
2 2
Observa que las soluciones son nmeros complejos pero no son complejos conjugados.
La ecuacin dada tiene coeficientes complejos.
Ejercicio resuelto 34 Calcula las soluciones de las ecuaciones:
que lo hemos hecho aqu. He comprobado que ahora los estudiantes llegan a la Universidad sin saberla resolver.
Como la ecuacin dada es polinmica con coeficientes reales y nos dicen que 1 C i
es raz, tambin es raz 1 i. Por tanto, el polinomio dado debe de ser divisible por
.z .1 C i//.z .1 i// D z 2 2z C 2. Haciendo la divisin, obtenemos que
z 4 C 2z 3 C 7z 2 18z C 26 D .z 2 C 4z C 13/.z 2 2z C 2/
Lo que queda ya es inmediato.
Ejercicio resuelto 35 Demuestra la llamada igualdad del paralelogramo:
w
w
zCz
w
Ejercicio resuelto 36 Dados dos nmeros complejos y , calcula el mnimo valor para
z 2 C de la cantidad jz j2 C jz j2 :
Sugerencia: La igualdad del paralelogramo puede ser til.
Solucin. La sugerencia y un poco de intuicin deben ser suficientes para hacer este
ejercicio. La intuicin lo que dice es que el punto que buscamos debe ser la el punto
C
medio del segmento de extremos y , es decir el punto u D . Ahora debemos
2
relacionar la cantidad que nos dan con jz uj. Usando la igualdad del paralelogramo
(3.13) con z sustituido por z y w por z y escribindola de derecha izquierda,
tenemos que
2 jz j2 C jz j2 D j2z j2 C j j2
de donde
C 2 1
2 2
j2
jz j C jz j D 2 z C j
2 2
1
Deducimos que jz j2 C jz j2 > j j2 para todo z 2 C y la igualdad se da si,
2
C
y slo si, z D .
2
Ejercicio resuelto 37 Prueba las desigualdades:
a) jjzj jwjj 6 jz wj
1 z w
b) jz C wj > .jzj C jwj/
C
2 jzj jwj
donde z; w 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.
w 2
21 2 z
jz C wj .jzj C jwj/ C D
4 jzj jwj
1 Re.zw/
D jzj2 C jwj2 C 2 Re.zw/ .jzj2 C jwj2 C 2jzjjwj/ 2 C 2 D
4 jzjjwj
1 2 1 2 1 Re.zw/
Djzj2 Cjwj2 C2 Re.zw/ jzj jwj jzjjwj jzj2 Cjwj2 C2jzjjwj D
2 2 2 jzjjwj
1 Re.zw/ 1 Re.zw/
D .jzj2 C jwj2 2jzjjwj/ C 2 jzjjwj jzj2 C jwj2 C 2jzjjwj D
2 jzjjwj 2 jzjjwj
1 1 Re.zw/
D .jzj jwj/2 jzj2 C jwj2 2jzjjwj D
2 2 jzjjwj
1 Re.zw/
D .jzj jwj/2 1 >0
2 jzjjwj
p
1Ci 3 p
zD . Tenemos que jzj D 2 (cociente de los mdulos) y un argumento de z es
1Ci
p p 3 5
arg.1 C i 3/ arg. 1 C i/ D arc tg. 3/ .arc tg. 1/ C / D D
3 4 12
Por tanto
p !24
p 24
1Ci 3 5 5
D . 2/ cos 24 C i sen 24 D 212 D 4096
1Ci 12 12
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 D 2 se obtiene inmediatamente que cos.2x/ D cos2 x sen2 x y
sen.2x/ D 2 sen x cos x. Haciendo n D 3 obtenemos
sen.3x/ D 3 cos2 x sen x sen3 x D 3.1 sen2 x/ sen x sen3 x D 3 sen x 4 sen3 x
Esta es la igualdad a). Las otras dos igualdades b) y c) se obtiene de forma parecida.
2 2
Ejercicio resuelto 40 Sean n 2 N, n > 2, y w D cos C i sen . Dado un nmero entero,
n n
m 2 Z, calcula el valor de las expresiones:
a) 1 C w m C w 2m C C w .n 1/m .
b) 1 w m C w 2m C . 1/n 1 w .n 1/m .
S D 1 C z C z2 C z3 C C zn
S.z 1/ D z nC1 1
Sz D z C z 2 C z 3 C C z n C z nC1
Y deducimos que
z nC1 1
1 C z C z2 C z3 C C zn D (3.16)
z 1
La suma en a) es una progresin geomtrica de razn w m . Debemos distinguir el caso en
que w m D 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
w nm 1
1 C w m C w 2m C C w .n 1/m
D D0
wm 1
En particular, haciendo mD1, 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 w un nmero complejo de mdulo 1. Expresa los nmeros w 1
y w C 1 en forma polar.
Solucin. Sea w D cos t C i sen t con t D arg.w/. Pongamos u D cos.t =2/ C i sen.t=2/.
Con lo que u2 D w y uu D 1. Tenemos que
Fjate en que si en (3.17) hacemos el producto iu y distinguimos los casos sen.t =2/ > 0
y sen.t=2/ < 0, obtenemos las mismas expresiones para w 1.
Ejercicio resuelto 42 Sea x un nmero real que no es mltiplo entero de 2. Prueba las
igualdades
nC1
n sen x
2
a) 1 C cos x C cos 2x C C cos nx D cos x x
2 sen
2
nC1
n sen x
2
b) sen x C sen 2x C C sen nx D sen x x
2 sen
2
w nC1 1 w nC1 1
A C iB D 1 C w C w 2 C w 3 C C w n D D (por (3.17)) D
w 1 2i sen.x=2/u
Teniendo en cuenta que w nC1 Dcos .nC1/x Ci sen .nC1/x es un nmero complejo
Deducimos que
nC1 nC1
sen x sen x
2 nC1 nC1 2
ACiBDunC1 x D cos x C i sen x x
sen 2 2 sen
2 2
Igualando partes real e imaginaria, se obtienen las dos igualdades del enunciado.
Ejercicio resuelto 43 Dados dos nmeros complejos distintos a; b 2 C, justifica que para
z a
z b el nmero es real si, y slo si, z est en la recta que pasa por a y por b; y es
z b
real negativo si, y slo si, z est en el segmento que une a con b.
Solucin. Sea t 2 R, t 1. Tenemos que
z a a bt t
Dt zD DaC .a b/
z b 1 t 1 t
La recta que pasa por a y b tiene la ecuacin paramtrica z D a C .a b/, con 2 R,
z a
por lo que la igualdad anterior nos dice que es real si, y slo si, z est en dicha
z b
recta.
Si t < 0, la igualdad anterior puede escribirse, cambiando t por s, en la forma
z a a C bs s 1
D szD D bC a
z b 1Cs 1Cs 1Cs
s
Lo que nos dice que z es de la forma b C .1 /a con 0 < D < 1 pero esos
1Cs
son justamente los puntos del segmento que une a con b (excluidos los extremos).
Ejercicio resuelto 44 a) Sea jz1 j D jz2 j D jz3 j D 1. Prueba que z1 , z2 , z3 son vrtices de
un tringulo equiltero si, y slo si, z1 C z2 C z3 D 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 z1 , z2 , z3 son vrtices de un tringulo equiltero, entonces cada uno
debe estar girado un ngulo de =3 radianes respecto de otro. Sabemos que multiplicar
z1 z2 C z1 z3 C z2 z3 D z3 z3 z1 z2 C z2 z2 z1 z3 C z1 z1 z2 z3 D .z1 C z2 C z3 /z1 z2 z3 D 0
Pues z1 C z2 C z3 D z1 C z2 C z3 D 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 6 arg w arg z < , prueba que el rea del tringulo de vrtices
0, z y w viene dada por 21 Im.zw/.
Solucin. El rea de todo tringulo es la mitad de la base por la altura. En la figura
(3.7) se ha tomado como base el vector z con longitud jzj y la altura es h. Observa que
h
sen.' #/ D . Por tanto
jwj
1 1
rea D jzjh D jzjjwj sen.' #/
2 2
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 D x C iy,
w D u C iv. Como # D arg.z/ y ' D arg.w/, tenemos que
1 1
rea D jzjjwj sen.' #/ D jzjjwj sen.'/ cos.#/ cos.'/ sen.#/ D
2 2
1 v x u y 1 1
D jzjjwj D .vx uy/ D Im.zw/
2 jwj jzj jwj jzj 2 2
'
z
#
Observa que
j ez j D eRe z ; Im z 2 Arg.ez / (3.19)
En particular, obtenemos la llamada frmula de Euler:
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:
ei t C e it ei t e it
cos t D ; sen t D .t 2 R/ (3.21)
2 2i
2 Ms adelante veremos la justificacin de esta definicin.
1. jew j D jz j, esto es, eRe w Djzj, es decir, Re w D log jz j (logaritmo natural del nmero
real positivo jz j).
2. Arg .ew / D Arg .z/. Como Im w 2 Arg.ew /, esta igualdad equivale a Im w 2 Arg z; y
esto se cumple si, y slo si Im w D arg.z/ C 2k, con k 2 Z.
Todos los logaritmos de z estn situados en una misma recta vertical de abscisa logjzj, 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, definido por
Recuerda que dados dos nmeros reales a > 0 y b 2 R, la potencia de base a y exponente
b se define como ab D eb log a . Ahora, dados a; b 2 C, con a 0, sabemos que hay infinitos
logaritmos de a, todos ellos de la forma log a C i2k, con k 2 Z. Por ello, cualquier nmero
complejo de la forma eb.log aCi 2k/ donde k 2 Z, es una potencia de base a y exponente b.
Representamos por ab el conjunto de todas ellas.
n o
ab D eb.log aCi 2k/ Wk 2 Z
Se destaca una:
ab D eb log a
que se llama valor principal de la potencia de base a y exponente b. Observa que si b D 1=n
donde n 2 N, el nmero
1=n 1 log a arg a arg a arg a
a D exp log a D exp Ci D jaj1=n cos C i sen
n n n n n
p
es el valor principal de la raz n-sima de a que antes hemos notado por n a.
p
102. Expresa los 8 nmeros 1 i, 3 i en la forma r ei' .
109. Prueba que la funcin logaritmo principal establece una biyeccin entre los conjuntos
C nR o y D fz 2 C W < Im.z/ < g.
c
110. Estudia condiciones para que ab D abc .
112. Estudia, interpretndolas convenientemente cuando sea necesario, las siguientes igual-
dades:
113. Indica el error en los razonamientos siguientes: . z/2 D z 2 ; por tanto 2 Log. z/ D
2 Log.z/ y, por consiguiente, Log. z/ D Log.z/.
114. Explica con detalle dnde est el error en las igualdades siguientes:
log ez D z < Im z 6
c
Ejercicio resuelto 47 Estudia condiciones para que ab D abc .
Solucin. Tenemos que
c
ab D exp.c log.ab //I abc D exp.bc log a/
Por otra parte
exp.c log.ab //Dexp c log.eb log a / Dexp c.b log aCi2k/ Dexp.bc log aCic2k/
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/ D sen x.
En el movimiento armnico simple x.t / D A cos.!t C '/ el nmero A se llama amplitud,
el nmero !t C ' se llama fase, siendo ' la fase inicial; ! es la frecuencia angular que se
mide en radianes por segundo. El nmero T D 2=! es el periodo, que es el tiempo, medido
en segundos, que el mvil tarda en completar un ciclo. El nmero f D 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 grfica 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
jr.t /j2 D jr1 .t/j2 C jr2 .t/j2 C 2 Re.r1 .t/r2 .t// D A21 C A22 C 2A1 A2 cos.'1 '2 /
r.t /
r1 .t /
r2 .t /
O x1 .t / x2 .t / x.t /
Como la frecuencia angular debe ser !, la fase ser !t C ' donde ' es la fase inicial, que
es el argumento del nmero complejo
r.0/Dr1 .0/Cr2 .0/DA1 ei'1 CA2 ei'2 D.A1 cos '1 CA2 cos '2 /Ci.A1 sen '1 CA2 sen '2 /
VR D 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
dI.t/
VL .t / D L
dt
Deducimos que la relacin entre los correspondientes fasores es
VL D i!LI
1
El nmero !L se llama reactancia. El valor de la frecuencia para el que la reactancia
!C
1
se anula viene dado por !r D p y se llama frecuencia de resonancia. Es el valor de la
LC
frecuencia para el cual el valor de jIj es mximo.
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 codificacin 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].