M

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

1.13.

20

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.
c) 0 a = a 0 = 0.

f ) Si a 6= 0 y b 6= 0 entonces
1/(ab) = (1/a)(1/b).

d ) El elemento 0 no tiene inverso.

g)

a
b

c
d

ad+bc
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 contradicci
on. En efecto, hemos demostrado que a0 = 0 para todo a R, luego si tomamos
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:
(a)

n
X

i=

i=1

(c)

n
X
i=1

i2 =

n(n + 1)
2

n(n + 1)(2n + 1)
6

(b)

n
X

i3 =

i=1

(d)

n
X
i=0

n2 (n + 1)2
4

xi =

1 xn+1
, x 6= 1
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).
a)
b)

n+1
X
i=1
n+1
X
i=1

i=

n
X

i + (n + 1) =

i=1
3

i =

n
X
i=1

n(n + 1)
(n + 1)(n + 2)
+ (n + 1) =
.
2
2

i3 + (n + 1)3 =

n2 (n + 1)2
n2 (n + 1)2 + 4(n + 1)3
+ (n + 1)3 =
=
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
c)
i2 =
i2 +(n+1)2 =
+(n+1)2 =
n(n + 1)(2n + 1) + 6(n + 1)2 =
6
6
i=1
i=1
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 =
=
.
1x
1x
1x
i=0
i=0

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

21

3. Demostrar la f
ormula 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!
Soluci
on:

  
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!

 (k
 + (n + 1 k)(n
 n!

n! (n
k)! k
(k

1)!
k)!
1)!
 
 
= 



(n

k)! k!
(n + 1 k)! 
(k
1)! 


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
on la f
ormula del binomio de Newton: (a + b)n =
a b
.
k
k=0

Soluci
on:
n  
X
n

n  
n  
X
n k+1 nk X n k n+1k
a
b
+
a b
=
k
k
k
k=0
k=0
k=0

 
n+1
n  
n 
X n 
X
n k n+1k X
n
n n+1 0
k n+1k
k n+1k
=
a b
+
a b
=
a b
+
a
b +
k1
k
k1
n
k=1
k=0
k=1
  
 
n 
n  
X
n
n
n 0 n+1 X n k n+1k
+
ak bn+1k =
a b
= an+1 + bn+1 +
+
a b
+
k1
k
k
0
k=1
k=1


n+1
n
X n + 1 
X n+1
k n+1k
n+1
n+1
ak bn+1k
a b
+a
=
=b
+
k
k

(a+b)n+1 = (a+b)(a+b)n = (a+b)

ak bnk =

k=0

k=1

5. Obtener las f
ormulas de la suma de una progresion aritmetica y de una progresion geometrica:
n
X
i=0

ai =

n+1
(a0 + an ),
2

n
X

ai = a0 + d i

i=0

bi =

b0 bn+1
,
1r

b i = b0 r i

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
n
n
X
X
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) =
2
2
i=0
i=0
1
(n + 1)
(2a0 + an a0 ) = (n + 1)(a0 + an ).
|
{z
}
2
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
b0 b0 rn+1
b0 bn+1
1 rn+1
S =
bi =
ri b0 = b0
ri = b0
=
=
para
1

r
1

r
1r
i=0
i=0
i=0
r 6= 1.
n
n
n
n
X
X
X
X
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

6. Probar que

2+

3y

22

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)(
que ( 3 + 2) = p/q
3 2) = 1, por lo tanto suponer
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 ecuaci
on a3 = 9b3 se convierte en 27c3 = 9b3 , lo cual implica que b tambien es
m
ultiplo 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 ,
2
1
n
. . . a3x
a3x
siendo cada xi 1. Entonces la descomposicion de a3 es a3 = a3x
n .
2
1
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.
T
omese 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 .
7. Si a, b, c, d son racionales y x es irracional, probar que el n
umero real =
irracional. Dgase en que casos se dan las excepciones.

ax + b
es, en general,
cx + d

ax + b
m
= , siendo m y n enteros
cx + d
n
nb md
, lo cual
sin divisores comunes. En este caso podramos despejar x y obtener x =
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
m cx + d
m
nd
=
= n
=
=
Q
cx + d
cx + d
n cx + d
n
Soluci
on: Supongamos que es racional, es decir, que

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 n
umero 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

Soluci
on: 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.
10. Expresar los siguientes n
umeros complejos en las formas a + ib y rei .
a) (1 + i)3

b)

2 + 3i
3 4i

c) i5 + i16

d)

1
2

1 + i8
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)(3 + 4i)
1
6
17
2 + 3i
=
=
(6 + 8i + 9i 12) = + i;
b) z =
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 (1 + i8 )(1 i)
1
1
1
1
8
7
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 .
b) z1 z2 = z1 z2 .
c) z z = |z|2 .

d ) z + z = 2 Re(z).
e) z z = 2i Im(z).

Soluci
on: Las propiedades (a), (d) y (e) son evidentes si expresamos los n
umeros complejos
en su forma bin
omica (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.
Soluci
on: 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
inducci
on: (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.

n
Soluci
on: 1 = ei2k/n , con k = 0, 1, 2, . . . n1. Poniendo entonces = ei2/n , esta claro
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
n1
n1
k
X
X
X
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 n
umero complejo
1
1/n
z se distribuyen equidistantemente sobre una circunferencia de radio |z|
y la suma de
n
umeros 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().
Soluci
on: Tenemos ei(+) = ei ei , es decir,
cos( + ) + i sen( + ) = (cos + i sen )(cos + i sen )
= cos cos sen sen + i(sen cos + cos sen )
La expresi
on ei(+) = ei ei es entonces una forma compacta de escribir las formulas del
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:
a) cosh2 (a) senh2 (a) =

1 a
e + ea
2

2

1 a
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).
4
2

b





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







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



i 1h
1h a
2 senh(a) cosh(a) = 2
e ea ea + ea = e2a + 1 1 e2a = senh(2a).
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).
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
1 tanh2 (a) = 1
=
=
.
2
2
cosh (a)
cosh (a)
cosh2 (a)
cosh2 (a)
senh2 (a) cosh2 (a)
1
1 cotanh2 (a) = 1
=
=
.
2
2
senh (a)
cosh (a)
senh2 (a)
=

b)
c)

d)

e)

f)
g)
h)

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)
Soluci
on: 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).
2
2
|
{z
}
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) .
{z
} |
{z
}
2 |
2
cos(2x)

cosh(2y)

sen(2x) + i senh(2y)
N
=
.
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)
(b)
(c)
(d)

Log(i).
ii .
cos(i).
2 .

(e)
(f)
(g)
(h)

(4 + 3i)/(5 6i).
exp(1 + i).
i5 + i27 .
ie .

(i) i .
(j) Log( i ).

(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

1  iz
1  ii
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().


p

k ) z = |z|ei arg(z)+2k /2 , con k = 0, 1. Si z = 3 4i, entonces |z|

= 5 y arg(z) =
i arg(z)+2k
/2

arc tg(4/3) (cuarto cuadrante). Por tanto z = 5e

con k = 0, 1.
 arg z, 

arg z
+ i 5 sen
y
Las dos races son entonces
z 1 = 5 cos
z 2 =
2
2
 arg z
 arg z



5 cos
+ + i 5 sen
+ . Otro modo de resolver este problema con2
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
2
x4 3x2
4 = 0, que es una ecuacion de segundo grado en x cuyas soluciones son
3 9 + 16
= 4, 1. Sin embargo, solo el valor x2 = 4 es admisible porque x
x2 =
2
es un n
umero real. Por lo tanto x = 2 y las dos races pedidas son: (2 i) y (2 + i).
19. Sup
on que definimos la potenciaci
on 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.
Usando esta definici
on determina los posibles valores de i1/3 . Observaque si hubieramos usado
s
olo el logaritmo principal no habramos obtenido las tres races de 3 i.
Soluci
on: tenemos log(i) = i 2 + i2k y log(i) = i 2 + i2k, con k Z. Por lo tanto

i
i = ei log(i) = ei(i 2 +i2k) = e/2 e2k , mientras que ii = ei log(i) = ei(i 2 +i2k) =
/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 ce
nirse 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 multivaluado 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.
20. Expresa en forma exponencial los n
umeros z1 = 4 4i, z2 = (1 i)3/2 . Calcula el logaritmo
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).