Ejercicios de Anlisis Matemtico

Nmeros complejos
1. Calcula la parte real e imaginaria de
z
1 Cz
2
donde z 2C n fi. i g.
Solucin. Todo lo que hay que hacer es realizar las operaciones indicadas. Pongamos para ello
z Dx Ciy con x. y 2R. Tenemos que
z
1 Cz
2
D
x iy
1 C(x Ciy)
2
D
x iy
1 Cx
2
y
2
C2xyi
D
(x iy)(1 Cx
2
y
2
2xyi )
(1 Cx
2
y
2
)
2
C4x
2
y
2
D
D
x Cx
3
3xy
2
Ci (y 3x
2
y Cy
3
)
(1 Cx
2
y
2
)
2
C4x
2
y
2
D
D
x Cx
3
3xy
2
(1 Cx
2
y
2
)
2
C4x
2
y
2
Ci
y 3x
2
y Cy
3
(1 Cx
2
y
2
)
2
C4x
2
y
2
Luego
Re
_
z
1 Cz
2
_
D
x Cx
3
3xy
2
(1 Cx
2
y
2
)
2
C4x
2
y
2
. Im
_
z
1 Cz
2
_
D
y 3x
2
y Cy
3
(1 Cx
2
y
2
)
2
C4x
2
y
2

2. Calcula

(2 Ci
p
5)(1 Ci
p
3)
3
p
5 Ci
p
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 Ci
p
5)(1 Ci
p
3)
3
p
5 Ci
p
3

2 Ci
p
5

1 Ci
p
3

p
5 Ci
p
3

D6
p
2

3. Calcula los nmeros complejos z tales que n D

2z i
2 Ci z
es
a) Un nmero real;
b) Un nmero imaginario puro.
Solucin. Pongamos z Dx Ciy con x. y 2R. Tenemos que
n D
2x Ci (2y 1)
2 y Ci x
D
(2x Ci (2y 1))(2 y i x)
(2 y)
2
Cx
2
D
3x Ci (2x
2
2y
2
C5y 2)
(2 y)
2
Cx
2
Por tanto, n es real si, y slo si
2x
2
2y
2
C5y 2 D0 x
2
C(y 5,4)
2
D9,16
Es decir, z est en la circunferencia de centro (0. 5,4) y radio 3,4.
Anlogamente, n es imaginario puro si, y slo si, x D0, es decir, z est en el eje imaginario.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 2
4. Calcula los nmeros complejos z tales que n D
z 1 i
z C1 Ci
a) Es un nmero real;
b) Tiene mdulo 1.
Solucin. Pongamos z Dx Ciy con x. y 2R. Tenemos que
n D
z 1 i
z C1 Ci
D
x 1 Ci (y 1)
x C1 Ci (y C1)
D
_
x 1 Ci (y 1)
__
x C1 i (y C1)
_
(x C1)
2
C(y C1)
2
D
D
x
2
Cy
2
2 Ci (2y 2x)
(x C1)
2
C(y C1)
2
Por tanto, n 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 Ci ).
Es claro que jnj D1 si, y slo si
jz 1 i j Djz C1 Ci j (x 1)
2
C(y 1)
2
D(x C1)
2
C(y C1)
2
x Cy D0
Es decir, z est en la bisectriz de los cuadrantes segundo y cuarto.
5. Comprueba que el argumento principal de z Dx Ciy 0 viene dado por
0 D
_

_
arc tg(y,x) si y < 0, x < 0
,2 si y < 0, x D0
arc tg(y,x) si x > 0
,2 si y > 0, x D0
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 6arc tg t < ,2,
se sigue que el nmero 0 denido por las igualdades anteriores verica que < 0 6 . Por
tanto, para probar que 0 Darg(z) bastar que comprobemos la igualdad z Djzj(cos 0 Ci sen 0),
es decir, las igualdades x Djzj cos 0, y Djzj sen 0.
Para 0 D, 0 D,2 y 0 D,2 dichas igualdades son evidentes.
Sea x > 0 en cuyo caso 0 Darc tg(y,x). En este caso, como ,2 < 0 < ,2, tenemos que
tg 0 Dy,x y deducimos
1
cos
2
0
D1 Ctg
2
0 D1 C
y
2
x
2
D
x
2
Cy
2
x
2
x
2
D(x
2
Cy
2
) cos
2
0x Djzj cos 0
donde, en la ltima implicacin, hemos tenido en cuenta que x > 0 y cos 0 > 0. Deducimos
tambin que
y Dx tg 0 D
x
cos 0
sen 0 Djzj sen 0
Consideremos x < 0 e y > 0. Tenemos que ,2 < 0 D arc tg(y,x) C < , por lo que
,2 < 0 < 0, y deducimos tg 0 Dtg(0 ) Dy,x. Razonando como antes obtenemos
que x
2
D(x
2
Cy
2
) cos
2
0. Como x < 0 y cos 0 < 0, se sigue que xDjzj cos 0. De esta igualdad
deducimos, al igual que antes, que y Djzj sen 0.
Consideremos x < 0 e y < 0. Tenemos que < 0 D arc tg(y,x) < ,2, por lo que
0 < 0 C < ,2, y deducimos tg 0 Dtg(0 C) Dy,x. Razonando como en el caso anterior
volvemos a obtener las igualdades x Djzj cos 0, y Djzj sen 0.
6. Expresa en forma polar los siguientes nmeros complejos.
a) 1 Ci b)

p
3 Ci
1 Ci
c)
1
1 Ci
p
3
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 3
Solucin. a) Tenemos que arg(1 Ci ) Darc tg(1) C D3,4, por lo que
1 Ci D
p
2
_
cos(3,4) Ci sen(3,4)
_
b) Tenemos que
arg(
p
3 Ci ) Darc tg(1,
p
3) C Darc tg(1,
p
3) C D,6 C D5,6
arg(1 Ci ) Darc tg(1) D,4 arg
_
1
1 Ci
_
D,4
deducimos que
5
6

4
D
7
12
2Arg
_

p
3 Ci
1 Ci
_
. Por tanto

p
3 Ci
1 Ci
D
p
2
_
cos(7,12) Ci sen(7,12)
_
c) arg(1 C i
p
3) D arc tg(
p
3) C D arc tg(
p
3) C D,3 C D 2,3, por lo que
arg
_
1
1 Ci
p
3
_
D2,3. Por tanto
1
1 Ci
p
3
D
1
2
_
cos(2,3) Ci sen(2,3)
_

7. Calcula arg(zn) y arg

_
z
n
_
supuestos conocidos arg z y arg n.
Solucin. Sabemos que arg z Carg n2Arg(zn); adems 2 < arg z Carg n 62. Tenemos
las siguientes posibilidades:
2 < arg z Carg n 60 < arg z Carg n C2 6
arg(zn) Darg z Carg n C2
< arg z Carg n 6arg(zn) Darg z Carg n
< arg z Carg n 62 < arg z Carg n 2 60
arg(zn) Darg z Carg n 2
Para calcular arg
_
z
n
_
se procede de forma anloga teniendo en cuenta ahora que
arg z arg n2Arg
_
z
n
_
y que 2 < arg z arg n < 2.
8. Calcula los nmeros complejos z tales que n D
2z 1
z 2
a) Tiene argumento principal igual a ,2;
b) Tiene argumento principal igual a ,2.
Solucin. Pongamos z Dx Ciy con x. y 2R. Como
2z 1
z 2
D
2x 1 C2yi
x 2 Ciy
D
(2x 1 C2yi )(x 2 iy)
(x 2)
2
Cy
2
D
2x
2
C2y
2
5x C2 3yi
(x 2)
2
Cy
2
deducimos que arg n D,2 si, y slo si, 2x
2
C2y
2
5x C2 D0 e y < 0. Como
2x
2
C2y
2
5x C2 D0 (x 5,4)
2
Cy
2
D9,16
deducimos que arg n 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 nD,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
az
2
Cbz Cc D0 z
2
C
b
a
z C
c
a
D0
_
z C
b
2a
_
2
C
c
a

b
2
4a
2
D0

_
z C
b
2a
_
2

b
2
4ac
4a
2
D0

_
_
z C
b
2a
_

p
b
2
4ac
2a
__
_
z C
b
2a
_
C
p
b
2
4ac
2a
_
D0

_
z D
b C
p
b
2
4ac
2a
z D
b
p
b
2
4ac
2a
Las dos soluciones obtenidas suelen expresarse en la forma
az
2
Cbz Cc D0 z D
b
p
b
2
4ac
2a
Observa que hemos seguido el mismo procedimiento que en el caso real. Debes entender bien la
igualdad
z D
b
p
b
2
4ac
2a
(1)
Aqu b
2
4ac es un nmero complejo (en particular, puede ser real),
p
b
2
4ac es su raz
cuadrada principal y
p
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 Ci )z
2
C5i D0.
Solucin. Poniendo n Dz
2
, la ecuacin queda n
2
C(1 Ci )n C5i D0, cuyas soluciones son
(1 Ci )
_
(1 Ci )
2
20i
2
D
(1 Ci )
p
18i
2
D
D
(1 Ci )
p
18(cos(,4) Ci sen(,4))
2
D
D
(1 Ci )
p
18(1,
p
2 i,
p
2)
2
D
(1 Ci ) 3(1 i )
2
D
_
1 2i
2 Ci
Las soluciones de la ecuacin dada son las races
p
1 2i y
p
2 Ci . Tenemos que
arg(1 2i ) Darc tg 2 y arg(2 Ci ) D arc tg(1,2). Usando que cos(x C,2) Dsen x
y sen(x C,2) Dcos x, obtenemos:

p
1 2i D
4
p
5
_
cos
_
arc tg 2
2
_
i sen
_
arc tg 2
2
_
_

p
2 Ci D
4
p
5
_
sen
_
arc tg(1,2)
2
_
Ci cos
_
arc tg(1,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 coecientes complejos.
11. Calcula las soluciones de las ecuaciones:
a) z
4
C2z
3
C7z
2
18z C26 D0I b) z
4
C(5 C4i )z
2
C10i D0
Sugerencia. El nmero 1 Ci 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 coecientes 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 Ci ))(z (1 i )) Dz
2
2z C2.
Haciendo la divisin, obtenemos que
z
4
C2z
3
C7z
2
18z C26 D(z
2
C4z C13)(z
2
2z C2)
Lo que queda ya es inmediato.
12. Demuestra la llamada igualdad del paralelogramo:
jz Cnj
2
Cjz nj
2
D2(jzj
2
Cjnj
2
) (z. n 2 C) (2)
y explica su signicado geomtrico.
Solucin. Basta realizar las operaciones indicadas. Tenemos que:
jz Cnj
2
D(z Cn)(z Cn) Dzz Cnn Czn Czn Djzj
2
Cjnj
2
C2 Re(zn) (3)
jz nj
2
D(z n)(z n) Dzz Cnn zn zn Djzj
2
Cjnj
2
2 Re(zn) (4)
Sumando estas igualdades se obtiene la igualdad del enunciado. Su signicado 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
n
z
C
w
z

w
Figura 1: Igualdad del paralelogramo
13. Dados dos nmeros complejos y , calcula el mnimo valor para z 2 C de la cantidad
jz j
2
Cjz j
2
.
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 sucientes para hacer este ejercicio. La
intuicin lo que dice es que el punto que buscamos debe ser la el punto medio del segmento de
extremos y , es decir el punto u D
C
2
. Ahora debemos relacionar la cantidad que nos dan
con jz uj. Usando la igualdad del paralelogramo (2) con z sustituido por z y n por z
y escribindola de derecha izquierda, tenemos que
2
_
jz j
2
Cjz j
2
_
Dj2z j
2
Cj j
2
de donde
jz j
2
Cjz j
2
D2

z
C
2

2
C
1
2
j j
2
Deducimos que jz j
2
Cjz j
2
>
1
2
j j
2
para todo z 2 C y la igualdad se da si, y slo
si, z D
C
2
.
14. Prueba las desigualdades:
a) jjzj jnjj 6jz nj
b) jz Cnj >
1
2
(jzj Cjnj)

z
jzj
C
n
jnj

donde z. n son nmeros complejos no nulos. Estudia tambin cundo se da la igualdad en cada
una de dichas desigualdades.
Sugerencia. Una estrategia bsica para probar desigualdades entre mdulos de nmeros 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.
jz Cnj
2

1
4
(jzj Cjnj)
2

z
jzj
C
n
jnj

2
D
Djzj
2
Cjnj
2
C2 Re(zn)
1
4
(jzj
2
Cjnj
2
C2jzjjnj)
_
2 C2
Re(zn)
jzjjnj
_
D
Djzj
2
Cjnj
2
C2 Re(zn)
1
2
jzj
2

1
2
jnj
2
jzjjnj
1
2
_
jzj
2
Cjnj
2
C2jzjjnj
_Re(zn)
jzjjnj
D
D
1
2
(jzj
2
Cjnj
2
2jzjjnj) C2
Re(zn)
jzjjnj
jzjjnj
1
2
_
jzj
2
Cjnj
2
C2jzjjnj
_
Re(zn)
jzjjnj
D
D
1
2
(jzj jnj)
2

1
2
_
jzj
2
Cjnj
2
2jzjjnj
_
Re(zn)
jzjjnj
D
D
1
2
(jzj jnj)
2
_
1
Re(zn)
jzjjnj
_
>0
Porque Re(zn) 6jznj Djzjjnj. La igualdad se da si, y slo si, jzj Djnj o Re(zn) Djznj lo que
equivale a que zn Dz 2 R
C
que equivale a que z y n estn en una misma semirrecta a partir
del origen, o sea, que tengan los mismos argumentos.
15. Expresa en forma binmica los nmeros
(1 Ci )
25
. (
p
3 Ci )
37
.
_
1 Ci
p
3
1 Ci
_
24
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 que hay
que hacer es expresar los nmeros en su forma polar. Consideremos el nmero z D
1 Ci
p
3
1 Ci
.
Tenemos que jzj D
p
2 (cociente de los mdulos) y un argumento de z es
arg(1 Ci
p
3) arg(1 Ci ) Darc tg(
p
3) (arc tg(1) C) D

3
4
D
5
12
Por tanto
_
1 Ci
p
3
1 Ci
_
24
D(
p
2)
24
_
cos
_
24
5
12
_
Ci sen
_
24
5
12
__
D2
12
D4096
16. Haciendo uso de la frmula de De Moivre prueba que:
a) sen 3 D3 sen 4 sen
3
.
b) cos 4 D8 cos
4
8 cos
2
C1.
c) sen 5 D5 sen 20 sen
3
C16 sen
5
.
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 Ci sen x)
n
Dcos(nx) Ci 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 D2 se obtiene inmediatamente que cos(2x) Dcos
2
x sen
2
x y sen(2x) D2 sen x cos x.
Haciendo n D3 obtenemos
cos
3
x C3i cos
2
x sen x 3 cos x sen
2
x i sen
3
x Dcos(3x) Ci sen(3x)
Igualando partes imaginarias, resulta:
sen(3x) D3 cos
2
x sen x sen
3
x D3(1 sen
2
x) sen x sen
3
x D3 sen x 4 sen
3
x
Esta es la igualdad a). Las otras dos igualdades b) y c) se obtiene de forma parecida.
17. Sean n2N, n > 2, y n Dcos
2
n
Ci sen
2
n
. Dado un nmero entero, m2Z, calcula el valor
de las expresiones:
a) 1 Cn
m
Cn
2m
C Cn
.n1/m
.
b) 1 n
m
Cn
2m
C(1)
n1
n
.n1/m
.
Solucin. Necesitamos la expresin de la suma de una progresin geomtrica. Sean z un nmero
complejo distinto de 1 y n2N. Pongamos S D1 Cz Cz
2
Cz
3
C Cz
n
. Tenemos que
S D 1 Cz Cz
2
Cz
3
C C z
n
Sz D z Cz
2
Cz
3
C C z
n
Cz
nC1
_
S(z 1) Dz
nC1
1
Y deducimos que
1 Cz Cz
2
Cz
3
C Cz
n
D
z
nC1
1
z 1
(5)
La suma en a) es una progresin geomtrica de razn n
m
. Debemos distinguir el caso en que
n
m
D1, lo que ocurre cuando m es un mltiplo de n, en cuyo caso la suma en a) es igual a n. En
los dems casos, tenemos que
1 Cn
m
Cn
2m
C Cn
.n1/m
D
n
nm
1
n
m
1
D0
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 n un nmero complejo de mdulo 1. Expresa los nmeros n 1 y n C1 en forma polar.
Solucin. Sea n Dcos t Ci sen t con t Darg(n). Pongamos u Dcos(t ,2) Ci sen(t ,2). Con lo
que u
2
Dn y uu D1. Tenemos que
n 1 Du
2
uu Du(u u) D2i sen(t ,2)u (6)
Deducimos que jn 1j D 2jsen(t ,2)j. Supondremos en lo que sigue que n 1. Observa que
n 1 es producto de 3 nmeros: el nmero i , cuyo argumento principal es ,2, el nmero u,
cuyo argumento principal es t ,2 y el nmero 2 sen(t ,2) cuyo argumento principal es 0 cuando
sen(t ,2) > 0, y cuando sen(t ,2) < 0. Un argumento de n1 ser ,2Ct ,2Carg(sen(t ,2)).
Observa que < t 6 y t 0. Distinguiremos dos casos:
0 < t 6sen(t ,2) > 0arg(n 1) D

2
C
t
2
D
t C
2

n 1 D2 sen(t ,2)
_
sen(t ,2) Ci cos(t ,2)
_
< t < 0sen(t ,2) < 0arg(n 1) D

2
C
t
2
D
t
2

n 1 D2 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 n 1.
19. Sea x un nmero real que no es mltiplo entero de 2. Prueba las igualdades
a) 1 Ccos x Ccos 2x C Ccos nx D cos
_
n
2
x
_
sen
_
n C1
2
x
_
sen
_
x
2
_
b) sen x Csen 2x C Csen nx D sen
_
n
2
x
_
sen
_
n C1
2
x
_
sen
_
x
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 nDcos xCi sen x; uDcos(x,2)Ci sen(x,2). Tenemos que n1 porque
x2Z.
ACiB D1 Cn Cn
2
Cn
3
C Cn
n
D
n
nC1
1
n 1
D(por (6)) D
n
nC1
1
2i sen(x,2)u
Teniendo en cuenta que n
nC1
D cos
_
(n C 1)x
_
Ci sen
_
(n C1)x
_
es un nmero complejo de
mdulo 1 y que u
nC1
D cos
_
(n C1)x,2
_
C i sen
_
(n C1)x,2
_
, podemos usar la igualdad (6)
para obtener que:
n
nC1
1 D2i sen
_
(n C1)x,2
_
u
nC1
Deducimos que
ACiB Du
nC1
sen
_
n C1
2
x
_
sen
_
x
2
_ D
_
cos
_
n C1
2
x
_
Ci sen
_
n C1
2
x
__ sen
_
n C1
2
x
_
sen
_
x
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
20. Dados dos nmeros complejos distintos a. b 2 C, justica que para z b el nmero
z a
z b
es
real si, y slo si, z est en la recta que pasa por a y por b; y es real negativo si, y slo si, z est
en el segmento que une a con b.
Solucin. Sea t 2 R, t 1. Tenemos que
z a
z b
Dt z D
a bt
1 t
Da C
t
1 t
(a b)
La recta que pasa por a y b tiene la ecuacin paramtrica z Da Cz(a b), con z 2 R, por lo
que la igualdad anterior nos dice que
z a
z b
es real si, y slo si, z est en dicha recta.
Si t < 0, la igualdad anterior puede escribirse, cambiando t por s, en la forma
z a
z b
Ds z D
a Cbs
1 Cs
D
s
1 Cs
b C
1
1 Cs
a
Lo que nos dice que z es de la forma zb C (1 z)a con 0 < z D
s
1 Cs
< 1 pero esos son
justamente los puntos del segmento que une a con b (excluidos los extremos).
21. a) Sea jz
1
j Djz
2
j Djz
3
j D1. Prueba que z
1
, z
2
, z
3
son vrtices de un tringulo equiltero si, y
slo si, z
1
Cz
2
Cz
3
D0.
b) Deduce de lo anterior que si el baricentro y el circuncentro de un tringulo coinciden, dicho
tringulo debe ser equiltero.
Solucin. a) Si z
1
, z
2
, z
3
son vrtices de un tringulo equiltero, entonces cada uno debe estar
girado un ngulo de ,3 radianes respecto de otro. Sabemos que multiplicar por un complejo, u,
de mdulo 1 es un giro de amplitud igual a arg(u). Denamos u Dcos(,3) Ci sen(,3). Los
tres vrtices los podemos escribir como z
1
, z
1
u, z
2
u
2
y, por tanto:
z
1
Cz
2
Cz
3
Dz(1 Cu Cu
2
) Dz
u
3
1
u 1
D0
Supongamos ahora que jz
1
j Djz
2
j Djz
3
j D1, y que z
1
Cz
2
Cz
3
D0. Para probar que dichos
nmeros son vrtices de un tringulo equiltero, lo que vamos a hacer es comprobar que son las
races cbicas de un nmero complejo. Es decir, se trata de probar que hay un nmero tal que
z
1
, z
2
y z
3
son las races de la ecuacin polinmica z
3
D0. Para esto es necesario y suciente
que el producto (z z
1
)(z z
2
)(z z
3
) puede escribirse en la forma z
3
. Tenemos:
(z z
1
)(z z
2
)(z z
3
) Dz
3
(z
1
Cz
2
Cz
3
)z
2
C(z
1
z
2
Cz
1
z
3
Cz
2
z
3
)z z
1
z
2
z
3
D
Dz
3
C(z
1
z
2
Cz
1
z
3
Cz
2
z
3
)z z
1
z
2
z
3
Poniendo Dz
1
z
2
z
3
, lo que hay que probar es que z
1
z
2
Cz
1
z
3
Cz
2
z
3
D0. Todava no hemos
usado la hiptesis de que jz
1
j Djz
2
j Djz
3
j D1. Vamos a usarla ahora para intentar sacar factor
comn en la suma z
1
z
2
Cz
1
z
3
Cz
2
z
3
D0 la expresin z
1
Cz
2
Cz
3
. Tenemos que:
z
1
z
2
Cz
1
z
3
Cz
2
z
3
Dz
3
z
3
z
1
z
2
Cz
2
z
2
z
1
z
3
Cz
1
z
1
z
2
z
3
D(z
1
Cz
2
Cz
3
)z
1
z
2
z
3
D0
Pues z
1
Cz
2
Cz
3
Dz
1
Cz
2
Cz
3
D0.
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 n arg z < , prueba que el rea del tringulo de vrtices 0, z y n viene dada por
1
2
Im(zn).
Solucin. El rea de todo tringulo es la mitad de la base por la altura. En la gura (2) se ha
tomado como base el vector z con longitud jzj y la altura es h. Observa que sen( 0) D
h
jnj
.
Por tanto
rea D
1
2
jzjh D
1
2
jzjjnj sen( 0)
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 10
z
n
0

h
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 Dx Ciy, n Du Ci :.
Como 0 Darg(z) y Darg(n), tenemos que
rea D
1
2
jzjjnj sen( 0) D
1
2
jzjjnj
_
sen() cos(0) cos() sen(0)
_
D
D
1
2
jzjjnj
_
:
jnj
x
jzj

u
jnj
y
jzj
_
D
1
2
(:x uy) D
1
2
Im(zn)

23. Estudia, para z 2C

y n2N, las igualdades:

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

n
p
z

Ci arg
_
n
p
z
_
D
logjzj
n
Ci
arg z
n
log(z)
n
D
logjzj
n
Ci
arg z
n
La igualdad en c) se verica siempre.
d)
log(z
n
) Dlog(jz
n
j) Ci arg(z
n
) Dn log(jzj) Ci arg(z
n
)
n log(z) Dn log(jzj) Ci n arg(z)
La igualdad en d) equivale a que arg(z
n
) Dn arg(z). Como n arg(z) es un argumento de z
n
, para
que sea el argumento principal deber ser < n arg(z) 6.
24. Estudia condiciones para que
_
a
b
_
c
Da
bc
.
Solucin. Tenemos que
_
a
b
_
c
Dexp(c log(a
b
))I a
bc
Dexp(bc log a)
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 11
Por otra parte
exp(c log(a
b
)) Dexp
_
c log(e
b log a
)
_
Dexp
_
c(b log a Ci 2k)
_
Dexp(bc log a Ci c2k)
Donde k es un entero que hay que elegir por la condicin de que
< Im(b log a Ci 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 justica que:
a) Arg(zn) DArg(z) CArg(n). b) Log(zn) DLog(z) CLog(n)
Solucin. La forma razonable de interpretar la igualdad Arg(zn) DArg(z) CArg(n), es que su-
mando cada uno de los elementos de Arg(z) con cada uno de los elementos de Arg(n) obtenemos
todos los elementos de Arg(zn). Que efectivamente esto es as es fcil de probar. Sean s 2 Arg(z)
y t 2 Arg(n). Entonces, sabemos que sCt es un argumento de zn, esto es sCt 2 Arg(zn). Lue-
go hemos probado la inclusin Arg(z)CArg(n) Arg(zn). Recprocamente, sea 2 Arg(zn).
Elijamos cualquier elemento s 2Arg(z) y pongamos t D s. Entonces t es un argumento de
zn
z
D n, esto es, t 2 Arg(n); luego D s C t 2 Arg(z) C Arg(n). Lo que prueba la otra
inclusin Arg(zn) Arg(z) CArg(n).
Anlogamente, La forma razonable de interpretar la igualdad Log(zn) DLog(z) CLog(n), es
que sumando cada uno de los elementos de Log(z) con cada uno de los elementos de Log(n)
obtenemos todos los elementos de Log(zn). Teniendo en cuenta que Log(z) Dlogjzj Ci 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(n) en el grupo cociente del grupo aditivo de los nmeros reales respecto del
subgrupo de los mltiplos enteros de 2, esto es, el grupo G D R,2Z. Si z es un complejo
no nulo, se tiene que Arg(z) 2 G y, por denicin de suma en un grupo cociente, tenemos que
Arg(z)CArg(n) es la clase que contiene a arg(z)Carg(n) y, como arg(z)Carg(n) 2 Arg(zn),
obtenemos que Arg(zn) DArg(z) CArg(n).
26. Indica el error en los razonamientos siguientes: (z)
2
Dz
2
; por tanto 2 Log(z) D2 Log(z) y,
por consiguiente, Log(z) DLog(z).
Solucin. De la igualdad Log(zn) D Log(z) C Log(n), 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) CLog(z).
Dpto. de Anlisis Matemtico Universidad de Granada