Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Cap03
Calculo Cap03
Numeros
65
preocuparon de la naturaleza de los mismos; no se preguntaron qu es un nmero complejo?, sino que se dijeron a ver, para qu sirven, qu puede hacerse con ellos. Es Gauss
quien definitivamente concede a los nmeros complejos un lugar privilegiado dentro de las matemticas al probar en 1799 el resultado conocido como Teorema Fundamental del lgebra que
afirma que toda ecuacin polinmica de grado n con coeficientes 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 afirma este resultado. Fjate en cada una de las ecuaciones:
x C 3 D 0;
2x C 3 D 0;
x2
2 D 0;
x 2 C 2x C 2 D 0
Cuyas soluciones
x D 3;
x D 3=2;
p
x D 2;
xD 1i
tienen sentido cuando x es, respectivamente, un nmero entero, racional, real o complejo. Podra 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 Fundamental 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 popular 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 sistemas LTI (sistemas lineales invariantes en el tiempo) y tambin en la teora de las ecuaciones
diferenciales lineales.
Universidad de Granada
Dpto. de Anlisis Matemtico
(3.1)
uv; xv C yu/
(3.2)
66
Es muy fcil comprobar las propiedades asociativa, conmutativa y distributiva de las operaciones 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.
Universidad de Granada
Dpto. de Anlisis Matemtico
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 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
.x; y/ D .x; 0/ C .0; y/ D .x; 0/ C .0; 1/.y; 0/ D x C iy
Se dice que x C 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 C iy/.u C iv/ D xu C i 2 yv C i.xv C yu/ D xu
yv C i.xv C yu/
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.
Acabamos
de ver que i 2 D 1 pero eso no
pnos permite escribir as, sin ms ni ms, que
p
1. Fjate lo que ocurre si ponemos i D
1 y manejamos ese smbolo con las reglas a
iD
las que estamos acostumbrados:
p p
p
p
1 D i2 D i i D
1
1 D . 1/. 1/ D 1 D 1
Luego 1 D 1. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Naturalmente,
el error procede de que estamos haciendo disparates. Fjate que en la exp
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 como 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.
Universidad de Granada
Dpto. de Anlisis Matemtico
68
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,
y
aunque
parezca
mentira,
en muchos textos se define (porque s, sin
p
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.
z D x C iy
jzj
X
zDx
iy
69
p
Observa que x 2 C y 2 est definido sin ambigedad; es la raz cuadrada del nmero real no
negativo x 2 C y 2 .
Geomtricamente, z es la reflexin de z respecto al eje real, mientras que jzj es la distancia
eucldea del punto .x; y/ a .0; 0/ o, tambin, la longitud o norma eucldea del vector .x; y/
(ver figura 3.1). La distancia entre dos nmeros complejos z y w se define como jz wj y es
la distancia eucldea entre los respectivos puntos del plano.
La representacin grfica de la suma es la usual para la suma de vectores. Dos nmeros
complejos z D x C iy y w D u C iv determinan un paralelogramo cuya diagonal (ver figura
3.2) es z C w (la otra diagonal es z w).
Y
zCw
z
xCu
z C w D z C w;
zw D zw:
(3.3)
El siguiente resultado establece las principales propiedades del mdulo de un nmero complejo. 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; w 2 C se verifica que:
a)
mKaxfjRe zj; jIm zjg 6 jzj 6 jRe zj C jIm zj
(3.4)
70
(3.5)
(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 igualdad jzj2 D zz que se deduce directamente de la definicin 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 jzwj y jzjjwj son nmeros positivos cuyos cuadrados coinciden, pues
jzwj2 D zwzw D zwzw D zzww D jzj2 jwj2 D .jzjjwj/2
c) Es suficiente probar que jz C wj2 6 .jzj C jwj/2 . En efecto:
jz C wj2 D .z C w/.z C w/ D .z C w/.z C w/ D zz C ww C zw C zwD
D jzj2 C jwj2 C 2 Re .zw/ 6 jzj2 C jwj2 C 2jRe .zw/j6
Como
x y
;
jzj jzj
71
x y
;
jzj jzj
D .cos #; sen #/
jzj
#
X
Figura 3.3. Forma polar de un nmero complejo
cos.t / D cos.s/
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
Universidad de Granada
Dpto. de Anlisis Matemtico
72
2
w D x C iv
z D x C iy
arg.z/ D arc tg.y=x/
2
=2 si y > 0, x D 0
:
arc tg.y=x/ C si y > 0, x < 0
Igualdad de dos nmeros complejos en forma polar
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/
73
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si queremos 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 .
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, w conplejos no nulos, # 2 Arg.z/ y ' 2 Arg.w/. Entonces se verifica
que # C ' 2 Arg.zw/.
Demostracin. Tenemos que
z D jzj.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 .
arg z C arg w D arg.zw/ < arg z C arg w 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
74
n
# 2 Arg.z/; n 2 Z
(3.8)
'q D 2m , k
q D nm
zk D jzj
arg z C 2k
arg z C 2k
C i sen
cos
n
n
k D 0; 1; 2; : : : ; n
(3.9)
(3.10)
75
arg z
p
n
y, en consecuencia:
z D
n
p
< arg n z 6
n
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.
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 funciones definidas en C. Observa que para n par no hay confusin alguna, solamente
cuando n es
p
3
impar y x es un nmero real negativo hay que tener cuidado.
Por
ejemplo,
1
D
1 cuando
p
3
1 D cos.=3/ C i sen.=3/ cuando
consideramos a la raz cbica como una funcin real, y
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 atep
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
76
p
entender que 27 1 ya no vale 1 sino que es un conjunto formado por 27 nmeros complejos. Y
las reglas que conocemosppara
las races
reales ya ni siquiera pueden formularse. Qu sentido
p
p
5
5
5
tiene ahora escribir que 2 1 D
2? Es una igualdad entre conjuntos?
Debemos multiplip
p
5
5
car cada elemento del conjunto 2 por cada elemento
del
conjunto
1
y
comprobar
que
de
p
p
p
3
7
5
2?
Cmo
hay
que
sumar
ahora
2
C
3?
esa forma
obtenemos
todos
los
elementos
de
p
p
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 .
3.3.3.2.
La igualdad
p
p
p
n
z n w D n zw
p
p
p
n
z n w D n zw < arg.z/ C arg.w/ 6
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
77
.4
2i/.5 C 3i/
i/.1 3i/
1 C 2i
1/3
ii) .i
vi) .1 C i/
vii)
iv)
1 C 2i
2 i
viii)
3Ci
2Ci
C i/3
i 2 .1
b) f2 .z/ D z 3
c) f3 .z/ D
4 3i
p
a) j.1 C i/.2 i/j b)
2 i 5
1
z
d) f .z/ D
c) j.1 C i/20 j
1
1 C z2
e) f4 .z/ D
zCi
z i
p
p
d) j 2 C i. 2 C 1/j
1Cz
es:
1 z
a) Un nmero real; b) Un nmero imaginario puro.
p
3
b)
3Ci
c) p
3Ci
p
1Ci 3
d)
.1 C i/2
b)
1Ci
1 i
5
c)
p !6
1Ci 3
1 i
d) .
p
3 C i/13
Ejercicios propuestos
78
Im z
Re z C jzj
z 1
arg
zC1
=2 si Im z > 0
=2 si Im z < 0
p
3i D 0
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.
86. Calcula las soluciones de las ecuaciones:
a) z 4 C 2z 3 C 7z 2
18z C 26 D 0I
b) z 4 C .5 C 4i/z 2 C 10i D 0
Ejercicios propuestos
79
1 y w C 1 en forma
91. Sea x un nmero real que no es mltiplo entero de 2. Prueba las igualdades
nC1
x
n sen
2
x
a) 1 C cos x C cos 2x C C cos nx D cos x
2
sen
2
nC1
x
n sen
2
x
b)
sen x C sen 2x C C sen nx D sen x
2
sen
2
Sugerencia: Si llamamos A a la primera suma y B a la segunda, calcula A C iB haciendo uso de la frmula de De Moivre.
92. Calcula una frmula para la suma
N
X
kD N
cos.2k t/ C i sen.2k t /
2
2
93. Sea n 2 N, n > 2 y w D cos
C i sen
. Dado un nmero entero m 2 Z, calcula el
n
n
valor de las expresiones:
1. 1 C w m C w 2m C C w .n 1/m ;
2. 1 w m C w 2m C . 1/n 1 w .n
1/m .
3j 6 3I
jz
1j D jz
i j C jz C ij D 4
i j D Im z C 1
100. 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.
101. 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/.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
80
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
z
z
x C x 3 3xy 2
y 3x 2 y C y 3
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
p
p
Ejercicio resuelto 25 Calcula
.
5Ci 3
Solucin. Como lo que nos piden es el mdulo no es preciso realizar las operaciones indicadas. 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
D6 2
p
p
D
5 Ci 3
5Ci 3
2z i
es
2 C iz
2y 2 C 5y
ix/
3x C i. 2x 2 2y 2 C 5y
.2 y/2 C x 2
2 D 0 x 2 C .y
2/
5=4/2 D 9=16
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
81
z 1 i
zC1Ci
b) Tiene mdulo 1.
Solucin. Pongamos z D x C iy con x; y 2 R. Tenemos que
x
x 1 C i.y 1/
z 1 i
D
D
wD
zC1Ci
x C 1 C i.y C 1/
1 C i.y 1/ x C 1 i.y C 1/
D
.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/.
=2 si y > 0, x D 0
:
arc tg.y=x/ C 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 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
y2
x2 C y2
2
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. Deducimos tambin que
x
sen # D jzj sen #
y D x tg # D
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 #.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
82
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 #.
a)
b)
p
3Ci
1Ci
c)
1
1Ci
p
arc tg.1= 3/ C D =6 C D 5=6
1
D =4
arg.1 C i/ D arc tg.1/ D =4 arg
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
3/ C D arc tg. 3/ C D =3 C D 2=3, por
tg.
i 3/ D arc
1
p
D 2=3. Por tanto
lo que arg
1Ci 3
1
1
cos. 2=3/ C i sen. 2=3/
p D
1Ci 3 2
z
2 60
z
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
83
2z 1
z 2
1 C 2yi .2x
D
2 C iy
1 C 2yi/.x 2
.x 2/2 C y 2
5x C 2 D 0 .x
iy/
2x 2 C 2y 2 5x C 2
.x 2/2 C y 2
3yi
5x C 2 D 0 e y < 0. Como
5=4/2 C y 2 D 9=16
zC
zC
C
D0
2a
2a
2a
2a
p
8
b C b 2 4ac
<z D
p2a
b 2 4ac
:z D b
2a
Las dos soluciones obtenidas suelen expresarse en la forma
p
b b2
2
az C bz C c D 0 z D
2a
4ac
Observa que hemos seguido el mismo procedimiento que en el caso real1 . Debes entender
bien la igualdad
p
b b 2 4ac
(3.12)
zD
2a
p
2
Aqu b 2 4ac es un nmero
4ac es su
p complejo (en particular, puede ser real), b
2
raz cuadrada principal y
b
4ac es la otra raz cuadrada (todo nmero complejo
Universidad de Granada
Dpto. de Anlisis Matemtico
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 C y tienen un carcter puramente algebraico: no indican
positivo y negativo.
En general, para resolver ecuaciones con nmeros complejos no es buena estrategia separar 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 complejos 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.
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
arc tg 2
arc tg 2
4
i sen
1 2i D 5 cos
2
2
p
p
arc tg.1=2/
arc tg.1=2/
4
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.
18z C 26 D 0I
b) z 4 C .5 C 4i/z 2 C 10i D 0
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
85
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/
(3.13)
wj2 D .z
w/.z
w/ D zz C ww
zw
zw D jzj2 C jwj2
2 Re.zw/
(3.15)
zC
Sumando estas igualdades se obtiene la igualdad del enunciado. Su significado geomtrico es que la suma de los cuadrados de las longitudes de las diagonales de un paralelogramo es igual a la suma de los cuadrados de las longitudes de sus lados.
z
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
. Ahora debemos
medio del segmento de extremos y , es decir el punto u D
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
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
86
de donde
2
jz
Deducimos que jz
y slo si, z D
j C jz
j2 C jz
C
.
2
j D 2 z
2
1
j2 > j
2
C 2 1
C j
2
2
j2
jwjj 6 jz wj
z
w
1
1
w 2
2 z
jz C wj
.jzj C jwj/
C
D
4
jzj jwj
Re.zw/
1
.jzj2 C jwj2 C 2jzjjwj/ 2 C 2
D
D jzj2 C jwj2 C 2 Re.zw/
4
jzjjwj
Re.zw/
1
1 2 1 2
jzj
jwj jzjjwj
D
jzj2 Cjwj2 C2jzjjwj
Djzj2 Cjwj2 C2 Re.zw/
2
2
2
jzjjwj
Re.zw/
1
Re.zw/
1
D .jzj2 C jwj2 2jzjjwj/ C 2
jzjjwj
D
jzj2 C jwj2 C 2jzjjwj
2
jzjjwj
2
jzjjwj
Re.zw/
1
1
D
jzj2 C jwj2 2jzjjwj
D .jzj jwj/2
2
2
jzjjwj
Re.zw/
1
>0
D .jzj jwj/2 1
2
jzjjwj
2
p
. 3 C i/37 ;
p !24
1Ci 3
1Ci
Ejercicios resueltos
87
p
p
1Ci 3
. Tenemos que jzj D 2 (cociente de los mdulos) y un argumento de z es
zD
1Ci
p
arg.1 C i 3/
p
arg. 1 C i/ D arc tg. 3/
.arc tg. 1/ C / D
3
3
D
4
5
12
Por tanto
p !24
p 24
1Ci 3
5
5
D . 2/
C i sen
24
D 212 D 4096
cos
24
1Ci
12
12
Ejercicio resuelto 39 Haciendo uso de la frmula de De Moivre prueba que:
a) sen 3' D 3 sen '
4 sen3 '.
8 cos2 ' C 1.
Solucin. La frmula de De Moivre es una herramienta excelente para obtener identidades trigonomtricas. Lo nico que hay que hacer es usar la igualdad
.cos x C i sen x/n D cos.nx/ C i sen.nx/
.n 2 N; x 2 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 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
cos3 x C 3i cos2 x sen x
3 cos x sen2 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
b) 1
w m C w 2m
1/m .
C . 1/n
1 w .n 1/m .
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
88
Y deducimos que
1 C z C z2 C z3 C C zn D
z nC1 1
z 1
(3.16)
1/m
w nm 1
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.
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
w
1 D u2
uu D u.u
u/ D 2i sen.t=2/u
(3.17)
2
2
2
w 1 D 2 sen.t =2/
sen.t=2/ C i cos.t=2/
< t < 0 sen.t=2/ < 0 arg.w
1/ D
i cos.t=2/
t
C
2
2
D
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
sen
x
n
2
x
a) 1 C cos x C cos 2x C C cos nx D cos x
2
sen
2
nC1
sen
x
n
2
x
b)
sen x C sen 2x C C sen nx D sen x
2
sen
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
89
A C iB D 1 C w C w 2 C w 3 C C w n D
Deducimos que
ACiBDunC1
nC1
x
2
x
sen
2
sen
nC1
sen
x
nC1
nC1
2
x
D cos
x C i sen
x
2
2
sen
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
z
a
a bt
t
Dt zD
DaC
.a
b
1 t
1 t
b/
La recta que pasa por a y b tiene la ecuacin paramtrica z D a C .a b/, con 2 R,
z a
es real si, y slo si, z est en dicha
por lo que la igualdad anterior nos dice que
z b
recta.
Si t < 0, la igualdad anterior puede escribirse, cambiando t por s, en la forma
z
z
a
a C bs
s
1
D szD
D
bC
a
b
1Cs
1Cs
1Cs
s
< 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 coinciden, dicho tringulo debe ser equiltero.
Ejercicios resueltos
90
z1 /.z
3
z2 /.z
z3 / D z 3
D z C .z1 z2 C z1 z3 C z2 z3 /z
.z1 C z2 C z3 /z 2 C .z1 z2 C z1 z3 C z2 z3 /z
z1 z2 z3 D
z1 z2 z3
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
. Por tanto
sen.' #/ D
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.#/
2
2
u y
1
v x
1
D .vx
D jzjjwj
2
jwj jzj jwj jzj
2
Universidad de Granada
Dpto. de Anlisis Matemtico
cos.'/ sen.#/ D
uy/ D
1
Im.zw/
2
91
w
'
z
#
Figura 3.7. rea de un tringulo
v.x; y/ D Im f .x C iy/
Im z 2 Arg.ez /
(3.18)
(3.19)
.para todo t 2 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 D
2 Ms
ei t C e
2
it
sen t D
ei t
e
2i
it
.t 2 R/
(3.21)
Universidad de Granada
Dpto. de Anlisis Matemtico
Logaritmos complejos
92
La exponencial compleja tiene la propiedad fundamental de transformar sumas en productos. Se prueba fcilmente, haciendo uso de la definicin (3.18 y de las igualdades (2.4) y (2.5)
que
ezCw D ez ew
para todos z; w 2 C
(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.
n
cos.nt/ C i sen.nt/ D ei t n D ei t D cos t C i sen t /n
.n 2 Z; t 2 R/
(3.23)
Igualmente, de las igualdades
(3.25)
(3.26)
Lo que, en particular, nos dice que exp.z/ D exp.z C 2 i/, o sea, la exponencial compleja es
una funcin peridica con perodo 2 i. 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 C i sen t (t 2 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 ei t es e i t .
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 j ez j D eRe z > 0.
Logaritmos complejos
93
para todo z 2 C
2
log ei 2=3 D i
;
3
3
log ei 3=4 D i
4
log ei 2=3 ei 3=4 D log ei 17=12 D log e
i7=12
D i
7
2
3
i
Ci
12
3
4
Lo que est claro es que el nmero log z C log w 2 Log.zw/, es decir, log z C log w es un
logaritmo de zw pero no tiene por qu ser el logaritmo principal de zw.
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 f2k i W k 2 Zg; 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
Potencias complejas
94
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
arg a
arg a
arg a
log a
1=n
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' .
103. Calcula el mdulo y los argumentos principales de los nmeros
1 C ei' ; 1
ei' ;
a ei'
i; e
; e5i ; 4;
5 e; 1 C i
p
p
105. Calcula log.3i/ C log. 1 C i 3/ y log 3i. 1 C i 3/ .
1 i
.
106. Calcula log. 1 i/ log i y log
i
107. Calcula
. 4/i ; i
3i
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
95
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 .
111. Con una interpretacin adecuada de la suma justifica que:
a) Arg.zw/ D Arg.z/ C Arg.w/;
112. Estudia, interpretndolas convenientemente cuando sea necesario, las siguientes igualdades:
a) Logab D b Log.a/
b) logab D b Log.a/
c) log.ab / D b log a
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:
i D . 1/1=2 D . 1/3 1=2 D . 1/3=2 D i 3 D i
p
p
p logjzj
arg z
log n z D log n z C i arg n z D
Ci
n
n
logjzj
arg z
log.z/
D
Ci
n
n
n
La igualdad en c) se verifica siempre.
d)
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
96
c
c
D abc .
exp.c log.ab //Dexp c log.eb log a / Dexp c.b log aCi2k/ Dexp.bc log aCic2k/
Donde k es un entero que hay que elegir por la condicin de que
< Im.b log a C i2k/ 6
Concluimos que si k D 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 49 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/.
Universidad de Granada
Dpto. de Anlisis Matemtico
97
r.t /
r.0/
!
t
'
A
O
x.t /
Recuerda que multiplicar por ei!t es un giro de amplitud !t. La igualdad r.t/ D A ei' ei!t
nos dice que la posicin del mvil en el tiempo t se obtiene girando el vector que representa su
posicin inicial r.0/ D A ei' un giro de amplitud !t.
La proyeccin sobre el eje de abscisas del vector r.t / es la primera componente de dicho
vector:
x.t/ D Re r.t/ D A cos.!t C '/
(3.27)
(3.28)
Prof. Javier Prez
Clculo diferencial e integral
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/ 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
x1 .t / D A1 cos.!t C '1 /;
x2 .t / D A2 cos.!t C '2 /
'2 /
r.t /
r1 .t /
r2 .t /
O x1 .t /
x2 .t / x.t /
Universidad de Granada
Dpto. de Anlisis Matemtico
Circuitos elctricos
99
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 /
que ya debes saber calcular.
dV .t /
D Vm ! sen.!t C '/ D Vm ! cos.!t C ' C =2/ D Re.i!V ei!t /
dt
Deducimos que el fasor que representa a V 0 .t/ es i!V . Observa que i!V D !Vm ei.'C=2/ ,
por lo que el fasor que corresponde a la derivada de una sinusoide va adelantado 90 grados
respecto a la sinusoide.
1
V y va
De la misma forma, el fasor que representa a la primitiva de la sinusoide V .t / es
i!
retrasado 90 grados respecto a la sinusoide.
Supongamos que en el circuito de la figura (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 / D Im cos.!t C '/ 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
VR .t / D RI.t / D RIm cos.!t C '/
Universidad de Granada
Dpto. de Anlisis Matemtico
Circuitos elctricos
100
dI.t/
dt
t
Q.t/
1 w
D
I.s/ ds
C
C 1
i
I
!C
1
ID
i! C
ID
V
D
Z
V
i
!C
R C i!L
jV j
R2 C !L
1
!C
2
Prof. Javier Prez
Clculo diferencial e integral
101
1
se llama reactancia. El valor de la frecuencia para el que la reactancia
!C
1
y se llama frecuencia de resonancia. Es el valor de la
se anula viene dado por !r D p
LC
frecuencia para el cual el valor de jIj es mximo.
El nmero !L
Universidad de Granada
Dpto. de Anlisis Matemtico