Ejercicios de Anlisis Matemtico

Nmeros complejos

z
1. Calcula la parte real e imaginaria de donde z 2 C n fi; i g.
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 z2 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

2. Calcula p p .

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 D p p D6 2


5Ci 3 5 C i 3

2z i
3. 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 i x/ 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 imaginario.

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 2

z 1 i
4. Calcula los nmeros complejos z tales que w D
z C1Ci
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

jz 1 i j D jz C 1 C i j .x 1/2 C .y 1/2 D .x C 1/2 C .y C 1/2 x C y D 0

Es decir, z est en la bisectriz de los cuadrantes segundo y cuarto.

5. Comprueba que el argumento principal de z D x C iy 0 viene dado por
8

arc tg.y=x/  si y < 0, x < 0
< =2 si y < 0, x D 0



# D arc tg.y=x/ si x > 0

=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 06t 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 # D arg.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 # D arc tg.y=x/. En este caso, como =2 < # < =2, tenemos que
tg # D y=x y deducimos

1 2 y2 x2 C y 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
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 Cy 2 / cos2 #. Como x < 0 y cos # < 0, se sigue que x Djzj 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 #.
6. Expresa en forma polar los siguientes nmeros complejos.
p
3Ci 1
a) 1 C i b) c) p
1Ci 1Ci 3

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 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
 1 C i 3/
c) arg.  D arc tg. 3/ C  D arc tg. 3/ C  D =3 C  D 2=3, por lo que
1
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
7. 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:
2 < arg z C arg w 6 0 < arg z C arg w C 2 6 
arg.zw/ D arg z C arg w C 2
 < arg z C arg w 6  arg.zw/ D arg z C arg w
 < arg z C arg w 6 2  < arg z C arg w 2 60
arg.zw/ D arg z C arg w 2
z
Para calcular arg se procede de forma anloga teniendo en cuenta ahora que
w z
arg z arg w 2 Arg
w
y que 2 < arg z arg w < 2.
2z 1
8. 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
2z 1 2x 1 C 2yi .2x 1 C 2yi /.x 2 iy/ 2x 2 C 2y 2 5x C 2 3yi
D D D
z 2 x 2 C iy .x 2/2 C y 2 .x 2/2 C y 2
deducimos que arg w D =2 si, y slo si, 2x 2 C 2y 2 5x C 2 D 0 e y < 0. Como
2x 2 C 2y 2 5x C 2 D 0 .x 5=4/2 C y 2 D 9=16
deducimos que arg w D =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 w D =2
cuando z est en la semicircunferencia de centro .5=4; 0/ y radio 3=4 que est contenida en el
semiplano superior.

Dpto. de Anlisis Matemtico Universidad de Granada

 Ejercicios de Anlisis Matemtico 4

9. Resuelve la ecuacin cuadrtica az 2 CbzCcD0 donde a; b; c, son nmeros complejos conocidos

y a 0.
Solucin. Tenemos que
b 2 c b2
 
b c
az 2 C bz C c D 0 z 2 C zC D0 zC 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


2a
p

b b 2 4ac
:z D
2a
Las dos soluciones obtenidas suelen expresarse en la forma
p
2 b b 2 4ac
az C bz C c D 0 z D
2a
Observa que hemos seguido el mismo procedimiento que en el caso real. Debes entender bien la
igualdad p
b b 2 4ac
zD (1)
2a
p
Aqu b 2 4ac es un nmero
p 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 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.
10. 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 2p

.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. 2 C i / D  arc tg.1=2/. Usando que cos.x C =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

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 5

Observa que las soluciones son nmeros complejos pero no son complejos conjugados. La ecua-
cin dada tiene coeficientes complejos.
11. 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

Sugerencia. El nmero 1 C 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 ./ D 0, entonces es
divisible por x , es decir P .x/ D .x /Q.x/ donde Q.x/ es un polinomio de un grado
menor que P .x/.
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.

12. Demuestra la llamada igualdad del paralelogramo:

jz C wj2 C jz wj2 D 2.jzj2 C jwj2 / .z; w 2 C/ (2)

y explica su significado geomtrico.

Solucin. Basta realizar las operaciones indicadas. Tenemos que:

jz C wj2 D .z C w/.z C w/ D zz C ww C zw C zw D jzj2 C jwj2 C 2 Re.zw/ (3)

2 2 2
jz wj D .z w/.z w/ D zz C ww zw zw D jzj C jwj 2 Re.zw/ (4)

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.

w
w
zCz
w

Figura 1: Igualdad del paralelogramo

13. 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.

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 6

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 medio del segmento de
C
extremos y , es decir el punto u D . Ahora debemos relacionar la cantidad que nos dan
2
con jz uj. Usando la igualdad del paralelogramo (2) 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, y slo
2
C
si, z D .
2
14. 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 comple-
jos 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

1 z
jz C wj2 .jzj C jwj/2 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/
D jzj2 C jwj2 C 2 Re.zw/ jzj jwj jzjjwj jzj2 C jwj2 C 2jzjjwj 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 2 Re.zw/
D .jzj jwj/ 1 >0
2 jzjjwj

Porque Re.zw/ 6 jzwj D jzjjwj. La igualdad se da si, y slo si, jzj D jwj o Re.zw/ D jzwj lo que
equivale a que zw D  2 RC que equivale a que z y w estn en una misma semirrecta a partir
del origen, o sea, que tengan los mismos argumentos.
15. Expresa en forma binmica los nmeros
p !24
25
p 1Ci 3
.1 C i / ; . 3 C i /37 ;
1Ci

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 7

Solucin. Naturalmente, se trata de aplicar la frmula de De Moivre y para ello todo lo quep
hay
1Ci 3
que hacer es expresar los nmeros en su forma polar. Consideremos el nmero z D .
p 1Ci
Tenemos que jzj D 2 (cociente de los mdulos) y un argumento de z es
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

16. Haciendo uso de la frmula de De Moivre prueba que:

a) sen 3' D 3 sen ' 4 sen3 '.
b) cos 4' D 8 cos4 ' 8 cos2 ' C 1.
c) sen 5' D 5 sen ' 20 sen3 ' C 16 sen5 '.
Solucin. La frmula de De Moivre es una herramienta excelente para obtener identidades trigo-
nomtricas. 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 i sen3 x D cos.3x/ C i sen.3x/
Igualando partes imaginarias, resulta:
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
17. Sean n 2 N, n > 2, y w D cos C i sen . Dado un nmero entero, m 2 Z, calcula el valor
n n
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
.
Solucin. Necesitamos la expresin de la suma de una progresin geomtrica. Sean z un nmero
complejo distinto de 1 y n 2 N. Pongamos S D 1 C z C z 2 C z 3 C


C z n . Tenemos que
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 (5)
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
DD0
wm 1
En particular, haciendo m D 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.

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 8

18. 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

w 1 D u2 uu D u.u u/ D 2i sen.t=2/u (6)

Deducimos que jw 1j D 2jsen.t=2/j. Supondremos en lo que sigue que w 1. Observa que

w 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 w 1 ser =2 C t=2 C arg.sen.t=2//.
Observa que  < t 6  y t 0. Distinguiremos dos casos:
 t t C
0 < t 6  sen.t=2/ > 0 arg.w 1/ D C D
2 2 2


w 1 D 2 sen.t=2/ sen.t=2/ C i cos.t=2/
 t t 
 < t < 0 sen.t=2/ < 0 arg.w 1/ D C D
2 2 2


w 1 D 2 sen.t=2/ sen.t=2/ i cos.t=2/

Fjate en que si en (6) hacemos el producto i u y distinguimos los casos sen.t=2/ > 0 y sen.t=2/ < 0,
obtenemos las mismas expresiones para w 1.
19. 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
Solucin. Si llamamos A a la primera suma y B a la segunda, podemos calcular A C iB
haciendo uso de la frmula de De Moivre.
Solucin. Pongamos w Dcos x Ci sen x; u Dcos.x=2/Ci sen.x=2/. Tenemos que w 1 porque
x2Z.

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 (6)) D
w 1 2i sen.x=2/u

Teniendo en cuenta que w nC1 D cos .n C 1/x C i sen .n C 1/x es un nmero complejo de

mdulo 1 y que unC1 D cos .n C 1/x=2 C i sen .n C 1/x=2 , podemos usar la igualdad (6)



para obtener que:
w nC1 1 D 2i sen .n C 1/x=2 unC1

Deducimos que
   
nC1 nC1
sen x      sen x
2 nC1 nC1 2
A C iB D unC1 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.

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 9

z a
20. Dados dos nmeros complejos distintos a; b 2 C, justifica que para z b el nmero es
z b
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 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, por lo
z a
que la igualdad anterior nos dice que es real si, y slo si, z est en dicha recta.
z b
Si t < 0, la igualdad anterior puede escribirse, cambiando t por s, en la forma
az a C bs s 1
D szD D bC a
bz 1Cs 1Cs 1Cs
s
Lo que nos dice que z es de la forma b C .1 /a con 0 <  D < 1 pero esos son
1Cs
justamente los puntos del segmento que une a con b (excluidos los extremos).
21. 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.
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 por un complejo, u,
de mdulo 1 es un giro de amplitud igual a arg.u/. Definamos u D cos.=3/ C i sen.=3/. Los
tres vrtices los podemos escribir como z1 , z1 u, z2 u2 y, por tanto:
u3 1
z1 C z2 C z3 D z.1 C u C u2 / D z D0
u 1
Supongamos ahora que jz1 j D jz2 j D jz3 j D 1, y que z1 C z2 C z3 D 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
z1 , z2 y z3 son las races de la ecuacin polinmica z 3 D 0. Para esto es necesario y suficiente
que el producto .z z1 /.z z2 /.z z3 / puede escribirse en la forma z 3 . Tenemos:
.z z1 /.z z2 /.z z3 / D z 3 .z1 C z2 C z3 /z 2 C .z1 z2 C z1 z3 C z2 z3 /z z1 z2 z3 D
3
D z C .z1 z2 C z1 z3 C z2 z3 /z z1 z2 z3
Poniendo D z1 z2 z3 , lo que hay que probar es que z1 z2 C z1 z3 C z2 z3 D 0. Todava no hemos
usado la hiptesis de que jz1 j D jz2 j D jz3 j D 1. Vamos a usarla ahora para intentar sacar factor
comn en la suma z1 z2 C z1 z3 C z2 z3 D 0 la expresin z1 C z2 C z3 . Tenemos que:
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 circun-
centro de un tringulo.
22. Si 0 6 arg w arg z < , prueba que el rea del tringulo de vrtices 0, z y w viene dada por
1
2 Im.zw/.
Solucin. El rea de todo tringulo es la mitad de la base por la altura. En la figura (2) se ha
h
tomado como base el vector z con longitud jzj y la altura es h. Observa que sen.' #/ D .
jwj
Por tanto
1 1
rea D jzjh D jzjjwj sen.' #/
2 2

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 10

'
z
#

Figura 2: rea de un tringulo

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 i v.
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


23. Estudia, para z 2 C y n 2 N, las igualdades:
p
log.z/
a) log ez D z I b/ exp.log.z// D z I c/ log n z D I d/ log.z n / D n log.z/:


n
Solucin. a) Es evidente que z es un logaritmo de ez y ser el logaritmo principal si, y slo si,
 < Im z 6 . En consecuencia:

log ez D z  < Im z 6 

b) Los logaritmos de z se definen como los nmeros cuya exponencial es z, luego, en particular,
exp.log.z// D z cualquiera sea z 2 C.
c)
p
p p
logjzj arg z
log n z D log n z C i arg n z D Ci
n n
log.z/ logjzj arg z
D Ci
n n n
La igualdad en c) se verifica siempre.
d)
log.z n / D log.jz n j/ C i arg.z n / D n log.jzj/ C i arg.z n /
n log.z/ Dn log.jzj/ C i n arg.z/
La igualdad en d) equivale a que arg.z n / D n arg.z/. Como n arg.z/ es un argumento de z n , para
que sea el argumento principal deber ser  < n arg.z/ 6 .
c
24. Estudia condiciones para que ab D abc .

Solucin. Tenemos que

c
ab D exp.c log.ab //I abc D exp.bc log a/

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 11

Por otra parte

exp.c log.ab // D exp c log.eb log a / D exp c.b log a C i 2k/ D exp.bc log a C i c2k/

Donde k es un entero que hay que elegir por la condicin de que

 < Im.b log a C i 2k/ 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.
25. Con una interpretacin adecuada de la suma justifica que:

a) Arg.zw/ D Arg.z/ C Arg.w/; b) Log.zw/ D Log.z/ C Log.w/

Solucin. La forma razonable de interpretar la igualdad Arg.zw/ D Arg.z/ C Arg.w/, es que su-
mando cada uno de los elementos de Arg.z/ con cada uno de los elementos de Arg.w/ obtenemos
todos los elementos de Arg.zw/. Que efectivamente esto es as es fcil de probar. Sean s 2 Arg.z/
y t 2 Arg.w/. Entonces, sabemos que s Ct es un argumento de zw, esto es s Ct 2 Arg.zw/. Lue-
go hemos probado la inclusin Arg.z/CArg.w/  Arg.zw/. Recprocamente, sea ' 2 Arg.zw/.
Elijamos cualquier elemento s 2 Arg.z/ y pongamos t D ' s. Entonces t es un argumento de
zw
D w, esto es, t 2 Arg.w/; luego ' D s C t 2 Arg.z/ C Arg.w/. Lo que prueba la otra
z
inclusin Arg.zw/  Arg.z/ C Arg.w/.
Anlogamente, La forma razonable de interpretar la igualdad Log.zw/ D Log.z/ C Log.w/, es
que sumando cada uno de los elementos de Log.z/ con cada uno de los elementos de Log.w/
obtenemos todos los elementos de Log.zw/. Teniendo en cuenta que Log.z/ D logjzj C 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/ C Arg.w/ 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 D R=2Z. Si z es un complejo
no nulo, se tiene que Arg.z/ 2 G y, por definicin de suma en un grupo cociente, tenemos que
Arg.z/ C Arg.w/ es la clase que contiene a arg.z/ C arg.w/ y, como arg.z/ C arg.w/ 2 Arg.zw/,
obtenemos que Arg.zw/ D Arg.z/ C Arg.w/.
26. 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/.
Solucin. De la igualdad Log.zw/ D Log.z/ C Log.w/, probada en el ejercicio anterior, se
deduce que Log.z 2 / D Log.z/ C 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/ C Log.z/.

Dpto. de Anlisis Matemtico Universidad de Granada