M

etodos Matem
aticos I. Curso 2016/17. Edici
on de 12 de septiembre de 2016 20

1.13. Ejercicios.
1. Demostrar a partir de los axiomas de cuerpo de los n
umeros reales las siguientes proposiciones:
Sean a, b, c, d R.

a) Si a + b = a + c, entonces b = c. e) Si ab = 0, entonces a = 0 o b = 0.
b) Si ab = ac y a 6= 0, entonces b = c. f ) Si a 6= 0 y b 6= 0 entonces
c) 0 a = a 0 = 0. 1/(ab) = (1/a)(1/b).
a c ad+bc
d ) El elemento 0 no tiene inverso. g) b + d = bd si b 6= 0 y d 6= 0.

Soluci
on: Denotaremos los diez axiomas de los n
umeros reales por Ai, con i = 1, 2, . . . , 10.
A4 A2
a) a + b = a + c = a + (a + b) = a + (a + c) = (a + a) + b = (a + a) + c
A4
= b = c.
b) Puesto que a 6= 0, el A5 garantiza que existe a1 . Usando entonces el A2 y el A4:
ab = ac = a1 (ab) = a1 (ac) = (a1 a)b = (a1 a)c = b = c.
c) Por el A4 y el A2, 0a = (b b)a = ba ba = 0. El A1 garantiza que a0 = 0a.
d ) El elemento 0 no tiene inverso. Suponer que s lo tiene nos llevara a una contradic-
on. En efecto, hemos demostrado que a0 = 0 para todo a R, luego si tomamos
ci
precisamente a = 01 , tendramos por un lado 01 0 = 0, y por otro 01 0 = 1, lo cual
es inconsistente, por lo tanto no puede existir el elemento 01 .
e) Supongamos a 6= 0. Entonces existe a1 , y (a1 a)b = b = 0. Si suponemos b 6= 0
llegamos a que a = 0.
f ) Basta demostrar que a1 1b
(ab) = 1. En
efecto, aplicando



sucesivamente los axiomas
A1, A2 y A5 tenemos a1 1b (ab) = 1b a1 (ab) = 1b a1 a b = 1b b = 1.

g) Aplicando sucesivamente los axiomas A5, A3 y A1:

ad + bc a c
= (bd)1 ad + (bd)1 cb = b1 d1 ad + b1 d1 cb = b1 a + d1 c = +
bd b d
2. Demostrar por inducci
on:
n n
X n(n + 1) X n2 (n + 1)2
(a) i= (b) i3 =
i=1
2 i=1
4

n n
X n(n + 1)(2n + 1) X 1 xn+1
(c) i2 = (d) xi = , x 6= 1
i=1
6 i=0
1x

Soluci
on: En cada uno de los casos demostraremos que la validez de la formula para n
implica la validez para n + 1. Previamente hay que comprobar que la formula es correcta
para n concreto, por ejemplo n = 1 (este paso lo omitimos en las soluciones que se exponen
a continuaci
on, pero el lector debe hacerlo).
n+1 n
X X n(n + 1) (n + 1)(n + 2)
a) i= i + (n + 1) = + (n + 1) = .
i=1 i=1
2 2
n+1 n
X
3
X n2 (n + 1)2 n2 (n + 1)2 + 4(n + 1)3
b) i = i3 + (n + 1)3 = + (n + 1)3 = =
i=1 i=1
4 4
(n + 1)2 [n2 + 4(n + 1)] (n + 1)2 (n + 2)2
= .
4 4
n+1 n
X X n(n + 1)(2n + 1) 1
i2 = i2 +(n+1)2 = +(n+1)2 = n(n + 1)(2n + 1) + 6(n + 1)2 =

c)
i=1 i=1
6 6
1 1 1
(n+1)[n(2n+1)+6(n+1)] = (n+1)(2n2 +n+6n+6) = (n+1)[(n+2)(2n+3)] =
6 6 6
1
(n + 1)(n + 2)[2(n + 1) + 1].
6
n+1 n
X X 1 xn+1 1 xn+1 + xn+1 xn+2 1 xn+2
d) xi = xi + xn+1 = + xn+1 = = .
i=0 i=0
1x 1x 1x
M
etodos Matem
aticos I. Curso 2016/17. Edici
on de 12 de septiembre de 2016 21

3. Demostrar la formula aditiva de los coeficientes combinatorios, tambien conocida como ley del
tri
angulo de Pascal,      
n n n+1
+ = ,
k1 k k
 
n n!
donde = , n! = n(n 1)(n 2) . . . 1, y 0! = 1.
k (n k)! k!
Solucion:
   
n n n! n!
+ = +
k1 k (n k + 1)! (k 1)! (n k)! k!
n! (n k)! k! + (n + 1 k)! (k 1)! n!
=
(n + 1 k)! (k 1)! (n k)! k!
n! (n k)! k
  
(k  + (n + 1 k)(n
1)!   k)!  
 (k 1)!
 n!
= 
(n + 1 k)!  1)! 
(k  (nk)! k!

 
n!(k + n + 1 k) (n + 1)! n+1
= = =
(n + 1 k)! k! (n + 1 k)! k! k
n  
X n k nk
4. Demostrar por inducci ormula del binomio de Newton: (a + b)n =
on la f a b .
k
k=0

Soluci
on:
n   n   n  
X n X n k+1 nk X n k n+1k
(a+b)n+1 = (a+b)(a+b)n = (a+b) ak bnk =
a b + a b =
k k k
k=0 k=0 k=0
n+1
X n  n   n    
k n+1k
X n k n+1k X n k n+1k n n+1 0
= a b + a b = a b + a b +
k1 k k1 n
k=1 k=0 k=1
  n   n    
n 0 n+1 X n k n+1k X n n
+ a b + a b = an+1 + bn+1 + + ak bn+1k =
0 k k1 k
k=1 k=1
n 
X n+1  n+1
X n + 1 
n+1 k n+1k n+1
=b + a b +a = ak bn+1k
k k
k=1 k=0

5. Obtener las f
ormulas de la suma de una progresion aritmetica y de una progresion geometrica:

n n
X n+1 X b0 bn+1
ai = (a0 + an ), ai = a0 + d i bi = , b i = b0 r i
i=0
2 i=0
1r

Soluci
on:
a) En una progresi on aritmetica tenemos a0 , a1 , a2 , . . . , aj , . . . , an , con aj = aj1 + d,
es decir, aj = a0 + jd, siendo d una cantidad fija. Usando el resultado que hemos
X n Xn
obtenido en el apartado (a) del ejercicio 2, tenemos: S = ai = (a0 + id) =
! ! i=0 i=0
n n
X X 1 (n + 1)
a0 + d i = a0 (n + 1) + d n(n + 1) = (2a0 + nd) =
i=0 i=0
2 2
(n + 1) 1
(2a0 + an a0 ) = (n + 1)(a0 + an ).
2 | {z } 2
nd
b) En una progresi on geometrica tenemos b0 , b1 , b2 , . . . , bj , . . . , bn , con bj = rbj1 , es
decir, bn = rn b0 , siendo r una cantidad fija. Usando el resultado que hemos obtenido
en el apartado (d) del ejercicio 2, tenemos:
n n n
X X X 1 rn+1 b0 b0 rn+1 b0 bn+1
S = bi = ri b0 = b0 ri = b0 = = para
i=0 i=0 i=0
1 r 1 r 1r
r 6= 1.
X n n
X Xn X n
Si r = 1 la suma es trivial: bi = ri b0 = 1i b0 = b0 = b0 (n + 1).
i=0 i=0 i=0 i=0
M
etodos Matem
aticos I. Curso 2016/17. Edici
on de 12 de septiembre de 2016 22

3
6. Probar que 2+ 3y 9 son irracionales.

Soluci
on: Usaremos el resultado, visto en clase, de que la raz cuadrada de cualquier entero
que no sea cuadrado perfecto es irracional.

a) Tenemos ( 3+ 2)( 3 2) = 1, por lo tanto suponer que ( 3 + 2) = p/q
implica que ( 3 2) = q/p, y la suma de ambos sera 2 3 = (p/q) + (q/p), es
decir, deduciramos que 3 es racional, lo cual es falso.

b) Supongamos que 3 9 puede escribirse como a/b, siendo a y b n umeros enteros sin
divisores comunes. Tenemos entonces a3 = 9b3 , de donde se deduce que tanto a3
como a son m ultiplos de 3 (demostramos esto al final). Escribimos entonces a = 3c
y la ecuacion a3 = 9b3 se convierte en 27c3 = 9b3 , lo cual implica que b tambien es
multiplo de 3, en contradiccion con la hipotesis de partida de que a y b son enteros
sin divisores comunes.
Nos falta demostrar la implicacion (a3 m ultiplo de 3) = (a m ultiplo de 3). Para
ello escribamos la descomposicion de a en factores primos como a = ax1 1 ax2 2 . . . axnn ,
siendo cada xi 1. Entonces la descomposicion de a3 es a3 = a3x 1
1
a3x
2
2
. . . a3x
n .
n

3
Ahora bien, si a es m ultiplo de 3 (que es primo) entonces alguno de los ai tiene que
ser igual a 3. Como todos los ai de la factorizacion de a3 estan en la de a, deducimos
que a tambien es m ultiplo de 3.
La suma de dos n umeros irracionales es generalmente irracional, pero no siempre.
Tomese como ejemplo el par de n umeros a = 4 + y b = 4 . Tanto a como b son
claramente irracionales, y sin embargo su suma es racional: a+b = 8. Es evidente que
dados a racional y irracional cualesquiera, siempre podemos construir dos n umeros
irracionales cuya suma sea racional, a saber: a + y a .
ax + b
7. Si a, b, c, d son racionales y x es irracional, probar que el n
umero real = es, en general,
cx + d
irracional. Dgase en que casos se dan las excepciones.
ax + b m
Soluci
on: Supongamos que es racional, es decir, que = , siendo m y n enteros
cx + d n
nb md
sin divisores comunes. En este caso podramos despejar x y obtener x = , lo cual
mc na
implicara que x es racional, en contra de la hipotesis de partida. Deducimos entonces que
no puede ser racional, es decir, que no podemos escribirlo como m/n porque llegamos
a una contradicci on.
nb md
Hay, no obstante, una salvedad: la expresion no tiene sentido si numerador y
mc na
denominador son ambos nulos, en cuyo caso se verifica que a = mc/n y b = md/n, es
decir, a/b = c/d. Entonces:
m
cx + m
 
ax + b nd m cx + d m
= = n = = Q
cx + d cx + d n cx + d n

8. Determinar el supremo y el nfimo, si existen, de los siguientes conjuntos:

a) A = {r Q | 2r3 1 < 17} como subconjunto de Q.

b) M = {x R | x2 2x < 2} como subconjunto de R.

Soluci
on:

a) 2r3 1 < 17 = 2r3 < 18 = r3 < 9 = r < 3 9, porlo tanto el conjunto A no
tiene nfimo en Q. Tampoco tiene supremo en Q, porque 3 9 es irracional. Dicho de
otro modo, el supremo del conjunto es A es 3 9, que resulta ser un numero irracional.
b) Tenemosx2 2x < 2; x2 2x2 < 0. Las soluciones de la ecuacion x2 2x2 = 0 son
x = 1 3, que determinan los puntos de corte del eje x con una parabola orientada
de modo que sus ramas son ascedentes en el sentido positivo del eje de ordenadas. El
conjunto M est a formado por los puntosdel eje x que estan entre
esos cortes, por lo
tanto conclumos que el Sup(M ) = 1 + 3, y el Inf(M ) = 1 3.

9. Determina, si existen, el supremo, nfimo, maximo y mnimo de los siguientes conjuntos:

R; Q; A = (0, 1]; B = {x [0, 1] I}; C = {x [0, 1] Q}.
M
etodos Matem
aticos I. Curso 2016/17. Edici
on de 12 de septiembre de 2016 23

Solucion: Tanto R como Q carecen de supremo, nfimo, maximo y mnimo. El maximo y

el supremo de A es 1; el nfimo es 0 pero no tiene mnimo. El nfimo del conjunto B es 0
y el supremo es 1, pero no tienen mnimo ni maximo. El supremo y el maximo de C es 1,
mientras que el nfimo y el mnimo es 0.

umeros complejos en las formas a + ib y rei .

10. Expresar los siguientes n
1 + i8
 
2 + 3i 1
a) (1 + i)3 b) c) i5 + i16 d)
3 4i 2 1+i
Soluci
on:

a) z = (1 + i)3 = (1 1 + 2i)(1 + i) = 2 + 2i; r = 8 = 2 2; tg = 2/(2) = 1;
= 3/4; z = 2 2ei3/4 .
2 + 3i (2 + 3i)(3 + 4i) 1 6 17
b) z = = = (6 + 8i + 9i 12) = + i;
3 4i 9 + 16 25 25 25
= arc tg(17/6) (segundo cuadrante); r = 36 + 172 /25.

c) i5 + i16 = (i2 )2 i + (i2 )8 = (1)8 + (1)2 i = 1 + i; r = 2; = /4.
1 (1 + i8 )(1 i)
 
1 8 7

1 1 1 1
d) z = = 1i+i i = 1 i + 2 4 2 3 = (1
2 2 4 4 (i ) i(i ) 4
1 1
i + 1 i) = i; r = 2/2; = /4 (cuarto cuadrante).
2 2
11. Probar las siguientes propiedades de la conjugacion compleja:

a) z1 + z2 = z1 + z2 . d ) z + z = 2 Re(z).
b) z1 z2 = z1 z2 .
c) z z = |z|2 . e) z z = 2i Im(z).

Soluci
on: Las propiedades (a), (d) y (e) son evidentes si expresamos los numeros complejos
en su forma binomica (a1 + ib1 ), (a2 + ib2 ), mientras que la (b) y la (c) son evidentes si
los expresamos en su forma exponencial, r1 ei1 , r2 ei2 .

12. Probar la f
ormula de Moivre:
n
(cos + i sen ) = cos(n) + i sen(n)

siendo n un entero positivo y un n

umero real.

Solucion: Recurriendo a
la definicion de exponencial compleja la demostracion es trivial,

n n
(cos + i sen ) = ei = ein = cos(n) + i sen(n). Tambien se puede probar por
n+1
induccion: (cos + i sen ) = [cos(n) + i sen(n)](cos + i sen ) = cos(n) cos
sen(n) sen + i[sen(n) cos + cos(n) sen ] = cos[(n + 1)] + i sen[(n + 1)].

13. Demostrar que las races n-esimas de 1 vienen dadas por {, 2 , . . . , n } con = e2i/n , y probar
que las races distintas de 1 satisfacen 1 + x + x2 + x3 + . . . + xn1 = 0. Dado z un n umero complejo
arbitrario y zk sus races n-esimas, probar que z0 + z1 + z2 + . . . + zn1 = 0. Dar una interpretaci
on
geometrica de este resultado.

on: 1 = ei2k/n , con k = 0, 1, 2, . . . n1. Poniendo entonces = ei2/n , esta claro
n
Soluci
que las races n-esimas de 1 son {0 , 1 , 2 , . . . , n1 } (observese que n = 1). Por lo
n1
X 1 n1+1 1 n 11
tanto, 0 + 1 + 2 + . . . + n1 = ` = = = = 0.
1 1 1
`=0
Por otro lado, las races n-esimas de z = |z|ei son zk = |z|1/n ei(+2k)/n , con k =
n1
X n1
X n1
X k
0, 1, 2, . . . n 1. Entonces zk = |z|1/n ei(+2k)/n = |z|1/n ei/n ei2/n =
k=0 k=0 k=0
1 n
 
1/n i/n
|z| e = 0. Puesto que las races n-esimas de cualquier numero complejo
1
1/n
z se distribuyen equidistantemente sobre una circunferencia de radio |z| y la suma de
numeros complejos concide con la suma de vectores en el plano, resulta evidente desde
un punto de vista geometrico que la suma de todas las races tiene que anularse.
M
etodos Matem
aticos I. Curso 2016/17. Edici
on de 12 de septiembre de 2016 24

14. A partir de las propiedades de la exponencial compleja, deduce las formulas para del coseno y
seno de la suma de angulos reales: cos( + ) = cos() cos() sen() sen() y sen( + ) =
sen() cos() + cos() sen().

on: Tenemos ei(+) = ei ei , es decir,

Soluci

cos( + ) + i sen( + ) = (cos + i sen )(cos + i sen )

= cos cos sen sen + i(sen cos + cos sen )

on ei(+) = ei ei es entonces una forma compacta de escribir las formulas del

La expresi
coseno y seno de la suma de angulos, y mucho mas facil de recordar.

15. Demostrar las siguientes propiedades de las funciones trigonometricas hiperbolicas:

a) cosh2 (a) senh2 (a) = 1.

b) cosh2 (a) + senh2 (a) = cosh(2a).
c) cosh(a + b) = cosh(a) cosh(b) + senh(a) senh(b).
d ) senh(a + b) = senh(a) cosh(b) + cosh(a) senh(b).
e) senh(2a) = 2 senh(a) cosh(a).
f ) cosh(2a) = 1 + 2 senh2 (a).
g) 1 tanh2 (a) = 1/ cosh2 (a).
h) 1 cotanh2 (a) = 1/senh2 (a).

Soluci
on:
 2  2
1 a 1 a
a) cosh2 (a) senh2 (a) = e + ea e ea




2 2
1 2a
e + e2a + 2 e2a e2a + 2 = 1.


=
4
1 2a
1 2a
cosh2 (a)+senh2 (a) = e + e2a + 2 + e2a + e2a 2 = e + e2a = cosh(2a).


b)
4 2
1h a a b

i
+ ea ea eb eb

b


c) cosh(a) cosh(b)+senh(a) senh(b) = e +e e +e
4
1 h a+b a+b (a+b)
i
= e +e ab
+e +e + ea+b eab ea+b + e(a+b)
4h
1 i
= 2ea+b + 2e(a+b) = cosh(a + b).
4
1h a
i
e ea eb + eb + ea + ea eb eb




d) senh(a) cosh(b)+cosh(a) senh(b) =
4
1h i
= ea+b + eab ea+b e(a+b) + ea+b eab + ea+b e(a+b)
4h
1 i
= 2ea+b 2e(a+b) = senh(a + b).
4
1h a
i 1h i
e ea ea + ea = e2a + 1 1 e2a = senh(2a).


e) 2 senh(a) cosh(a) = 2
4 2
Tambien podramos haber aplicado directamente la propiedad (d):
senh(2a) = senh(a + a) = senh(a) cosh(a) + cosh(a) senh(a) = 2 senh(a) cosh(a).
f) Aplicando la propiedad (c) tenemos: cosh(2a) = cosh(a + a) = cosh2 (a) + senh2 (a) =
1 + senh2 (a) + senh2 (a) = 1 + 2 senh2 (a).
senh2 (a) cosh2 (a) senh2 (a) 1
g) 1 tanh2 (a) = 1 2 = 2 = .
cosh (a) cosh (a) cosh2 (a)
cosh2 (a) senh2 (a) cosh2 (a) 1
h) 1 cotanh2 (a) = 1 2 = 2 = .
senh (a) cosh (a) senh2 (a)

16. Dado un n umero complejo z = x + iy, demostrar la expresiones:

(a) cos z = cos x cosh y i sen x senh y, (b) sen z = sen x cosh y + i cos x senh y.

Soluci
on:
M
etodos Matem
aticos I. Curso 2016/17. Edici
on de 12 de septiembre de 2016 25

   
a) 2 cos z = eiz + eiz = eix ey + eix ey = ey cos x + i sen x + ey cos x i sen x
   
= (cos x) ey + ey i(sen x) ey ey = 2 cos x cosh y 2i sen x senh y.
cos z = cos x cosh y i sen x senh y.
   
b) 2i sen z = eiz eiz = eix ey eix ey = ey cos x + i sen x ey cos x i sen x
   
= (cos x) ey ey + i(sen x) ey + ey = 2 cos x senh y + 2i sen x cosh y.
sen z = sen x cosh y + i cos x senh y.
c) Otra manera de resolver este ejercicio consiste en usar las expresiones cos(iy) =
cosh(y), sen(iy) = i senh(y), junto con las formulas del seno y coseno de una suma
de angulos. En efecto:
cos(z) = cos(x+iy) = cos(x) cos(iy)sen(x) sen(iy) = cos(x) cosh(y)i sen(x) senh(y).
sen(z) = sen(x+iy) = sen(x) cos(iy)+cos(x) sen(iy) = sen(x) cosh(y)+i cos(x) senh(y).

17. La tangente de un n
umero complejo se define como tg z = sen z/ cos z. Demostrar que, para z =
x + iy se cumple
sen(2x) + i senh(2y)
tg z =
cos(2x) + cosh(2y)

Solucion: Usando los resultados del ejercicio anterior escribimos

sen z sen x cosh y + i cos x senh y
tg z = = =
cos z cos x cosh y i sen x senh y
(sen x cosh y + i cos x senh y)(cos x cosh y + i sen x senh y) N
= 2 2
= .
(cos x cosh y) + (sen x senh y) D

N = sen x cos x cosh2 y+i sen2 x cosh y senh y + cos2 x cosh y senh y sen x cos x senh2 y =
1 i
sen x cos x cosh2 y senh2 y +i cosh y senh y = sen(2x) + senh(2y).


| {z } 2 2
1
D = cos2 x cosh2 y + sen2 x senh2 y = cos2 x 1 + senh2 y + sen2 x senh2 y =


1
= cos2 x+senh2 y cos2 x + sen2 x = cos2 x+senh2 y = cos2 x + cos2 x + senh2 y + senh2 y =



2
1  1 
cos2 x sen2 x + 1 + 2 senh2 y = cos(2x) + cosh(2y) .
2 | {z } | {z } 2
cos(2x) cosh(2y)
N sen(2x) + i senh(2y)
Por lo tanto tg z = = .
D cos(2x) + cosh(2y)

18. Expresa en forma bin

omica, es decir, del modo (a + ib), los siguientes n
umeros complejos.

(a) Log(i). (e) (4 + 3i)/(5 6i). (i) i .

(b) ii . (f) exp(1 + i).
(j) Log( i ).
(c) cos(i). (g) i5 + i27 .

(d) 2 . (h) ie . (k) 3 4i.

Soluci
on:
a) El logaritmo principal de un n umero complejo se define como Log(z) = log(|z|) +
i arg(z), por lo tanto Log(i) = log(1) + i/2 = i/2.
b) z w = ewLog(z) , por lo tanto ii = eii/2 = e/2 .
1  iz  1  ii  1  e2 + 1
c) cos z = e + eiz ; cos i = e + eii = e1 + e = cosh(1) = .
2 2 2 2e
d ) 2 .
4 + 3i (4 + 3i)(5 + 6i) 20 + 24i + 15i 18 2 39
e) = = = +i .
5 6i 25 + 36
61 61 61
f ) e1+i = e1 ei = e cos(1) + i sen(1) .
g) i5 + i27 = i(i2 )2 + i(i2 )13 = i i = 0.
h) z w = ewLog(z) ; ie = eeLog(i) = eei/2 = cos(e/2) + i sen(e/2).
i ) i = eiLog() = ei log = cos(log ) + i sen(log ).
M
etodos Matem
aticos I. Curso 2016/17. Edici
on de 12 de septiembre de 2016 26

j ) Usando el resultado anterior tenemos Log i = log | i | + i arg i =

= log(1) + i log = i log . Por otra parte, tambien podramos usar directamente la
propiedad de que los logaritmos convierten la exponenciacion en multiplicacion, es
decir: Log( i ) = iLog() = i log().


k ) z = |z|ei arg(z)+2k /2 , con k = 0, 1. Si z = 3 4i, entonces |z|
p
= 5 y arg(z) =
i arg(z)+2k
/2
arc tg(4/3) (cuarto cuadrante). Por tanto z = 5e  arg z, 
con k = 0, 1.

arg z

Las dos races son entonces z 1 = 5 cos + i 5 sen y z 2 =
 arg z   arg z  2 2
5 cos + + i 5 sen + . Otro modo de resolver este problema con-
2 2
siste en buscar un w = x+iy tal que w2 = (x+iy)2 = 34i, es decir, x2 y 2 +i2xy =
34i. Tenemos entonces dos ecuaciones con dos incognitas: x2 y 2 = 3, y 2xy = 4.
De la segunda deducimos que y = 2/x. Sustituyendo esto en la primera llegamos a
x4 3x2 2
4 = 0, que es una ecuacion de segundo grado en x cuyas soluciones son
3 9 + 16
x2 = = 4, 1. Sin embargo, solo el valor x2 = 4 es admisible porque x
2
es un numero real. Por lo tanto x = 2 y las dos races pedidas son: (2 i) y (2 + i).

19. Supon que definimos la potenciacion compleja en terminos de la funcion logaritmo multivaluada
(no el logaritmo principal), es decir, dado z = |z|ei , definimos z w = ew log(z) , siendo log(z) =
log(|z|) + i + i2k, con k Z.

Demuestra que con esta definicion no se cumple en general que ii ii = i0 = 1.

on determina los posibles valores de i1/3 . Observaque si hubieramos usado
Usando esta definici
olo el logaritmo principal no habramos obtenido las tres races de 3 i.
s

on: tenemos log(i) = i 2 + i2k y log(i) = i 2 + i2k, con k Z. Por lo tanto

Soluci

i = ei log(i) = ei(i 2 +i2k) = e/2 e2k , mientras que ii = ei log(i) = ei(i 2 +i2k) =
i
/2 2k
e e . En todo caso k Z, luego los infinitos valores de esas potencias los podemos
escribir como ii = {e/2 e2k | k Z}, y ii = {e+/2 e2k | k Z}. Explcitamente:
ii = {e/2 , e/2 e2 , e/2 e4 , e/2 e6 , . . .}
ii = {e/2 , e/2 e2 , e/2 e4 , e/2 e6 , . . .}
Si tomamos el primer valor de cada una de esas listas tendramos ii ii = e/2 e/2 = 1,
de acuerdo con las reglas algebraicas usuales, que se cumplen incluso si tomamos otras
parejas de valores como ii ii = e/2 e2 e/2 e+2 = 1, pero no para todos los posibles
valores de esas potencias, por ejemplo ii ii = e/2 e+2 e/2 e+2 = e+4 6= 1. Moraleja:
cuando usemos la notaci on z w conviene cenirse de modo consistente a un valor concreto
del logaritmo complejo, o simplemente definir las potencias complejas en terminos del
valor principal del logaritmo (Log).
Para calcular las tres races c
ubicas de i, no obstante, s necesitamos el logaritmo multi-
valuado en lugar del principal:
     
1 1 2k
i1/3 = e 3 log(i) = exp i + 2k = exp i +
3 2 6 3
Observa que aunque hagamos tomar a k todos los valores de Z en la expresion anterior,
s
olo obtenemos las tres races c
ubicas de 1, es decir, para k = 3 obtenemos la misma raz
que para k = 0, etc.

umeros z1 = 4 4i, z2 = (1 i)3/2 . Calcula el logaritmo

20. Expresa en forma exponencial los n
principal de z3 = 4 + 3i.

Soluci
on:

a) z1 = 4 4i, |z1 | = 42 + 42 = 4 2, arg(z) = 5/4, por lo tanto z1 = 4 2ei5/4 .
p
b) z2 = (1 i)3/2 = (1 i)3 = 2 2i. Pongamos w = 2 2i, entonces |w| =

2 22 =p2 2, arg(w) = 7/4,p w = 2 2ei5/4 . Ahora calculamos las dos races:

( w)1 = 2 2ei5/8 , ( w)2 = 2 2ei13/8 .
c) Log(z3 ) = log(|z3 |) + i arg(z3 ) = log(5) + i arc tg(3/4).