Taller 1

Juan Camilo Cala Baron

Codigo: 2112650

26 de noviembre de 2014

Secci
on 2
1. Verificar que:

a) ( 2 i) i(1 2i) = 2i

b) (2, 3)(2, 1) = (1, 8)



1 1
c) (3, 1)(3, 1)
,
= (2, 1)
5 10

n.
Solucio

a) ( 2 i) i(1 2i) = 2 i i 2i2 = 2 2i + 2 = 2i.

b) Veamos que (2, 3)(2, 1) = (1, 8). En efecto:

(2, 3)(2, 1) = (2 (2) (3) (1), 2 1 + (3) (2))

= (4 + 3, 2 + 6)

= (1, 8).

1 1
,
= (2, 1):
c) Veamos que (3, 1)(3, 1)
5 10




1 1
1 1
,
,
= [(3, 1)(3, 1)]
(3, 1)(3, 1)
5 10
5 10


= (3 3 1 (1), 3 (1) + 3 1)


1 1
= (10, 0)
,
5 10
= (2, 1).

1 1
,
5 10


10. Resolver la ecuaci
on z 2 + z + 1 = 0 en z = (x, y) escribiendo
(x, y)(x, y) + (x, y) + (1, 0) = (0, 0)
y resolviendo entonces un par de ecuaciones simult
aneas en x, y.
n. Despues de efectuar las operaciones respectivas, la expresi
Solucio
on
(x, y)(x, y) + (x, y) + (1, 0) = (0, 0)
1

se convierte en
(x2 y 2 + x + 1, 2xy + y) = (0, 0),
y como la igualdad de parejas ordenadas se tiene componente a componente, se genera el
sistema de ecuaciones
(
x2 y 2 + x + 1 = 0
y(2x + 1) = 0
De la segunda ecuaci
on se llega a que y = 0 o x = 1/2. Note que la opcion y = 0 no
puede ocurrir, pues al
llevar a la primera ecuaci
on, se obtiene la cuadratica x2 + x + 1 = 0
cuyo discriminante es 3
/ R. As, llevando x = 1/2 a la primera ecuaci
on, se obtiene
!

3
1
.
y = 3/2. Por lo tanto las soluciones de z 2 + z + 1 = 0 son z = ,
2
2


Secci
on 3
2. Probar que:
a) (1)z = z
1
b)
= z, (z 6= 0)
1/z
n.
Solucio
a) Sea z C. Observe que por las propiedades algebraicas de C, podemos hacer
1 + (1) = 0
[1 + (1)] z = 0 z

1 z + (1) z = 0

z + (1) z = 0

(z + z) + (1) z = z
0 + (1) z = z

(mult. por z)
(distributividad)
(sumando z)

(1) z = z.

Es decir, (1)z = z.

b) Note que por la relaciones (6) y (8),

 

1
1
1
1
= = 1.
=
1/z
z
z/z
1
1
1
es el inverso multiplicativo de , pero tambien es sabido que z lo
1/z
z
es, de modo que por la unicidad del elemento inverso para el producto, debe ocurrir
1
que
= z, para z 6= 0.
1/z
Por lo tanto,


2

6. Deducir la identidad

z1 z2
=
z3 z4

z1
z3



z2
z4

(z3 6= 0, z4 6= 0)

utilizando las relaciones (6) y (7).

n. Sean z1 , z2 , z3 , z4 C con z3 , z4 6= 0, entonces
Solucio


1
z1 z2
= (z1 z2 )
(por (7))
z3 z4
z3 z4
  
1
1
= (z1 z2 )
(por (6))
z3
z4
     
1
1
= z1
z2
z3
z4
  
z1
z2
=
.
(por (7))
z3
z4


Secci
on 4
3. Probar que

2|z| |Re z| + |Im z|.

n. Sea z = x + iy C, entonces x = Re z y y = Im z. Observe que por las

Solucio
propiedades de los n
umeros reales, se tiene que:
(|x| |y|)2 0

|x|2 2|x||y| + |y|2 0

2|x|2 + 2|y|2 |x|2 + 2|x||y| + |y|2

2(|x|2 + |y|2 ) (|x| + |y|)2

p
2 x2 + y 2 |x| + |y|

De esta u
ltima desigualdad se deduce que

2|z| |Re z| + |Im z|.

5. Usando |z1 z2 | que es la distancia entre los puntos z1 y z2 , dar un argumento geometrico
para justificar que:
a) |z 4i| + |z + 4i| = 10 representa una elipse con focos en (0, 4).

b) |z 1| = |z + i| representa la recta que pasa por el origen con pendiente 1.

n.
Solucio
a) Recuerde que una de las definiciones m
as usuales de elipse es la del lugar geometrico
de todos los puntos de un plano, tales que la suma de las distancias a otros dos
puntos fijos (llamados focos) es constante. Traduciendo esto a terminos un poco m
as
2
algebraicos, si consideramos a R como el plano, dos puntos (p, q) y (r, s) all y la
distancia entre dos puntos es la distancia euclidiana, entonces la elipse, seg
un lo dicho
antes, no es otra cosa que el conjunto de puntos (x, y) del plano tales que
p
p
(x p)2 + (y q)2 + (x r)2 + (y s)2 = K,
3

donde K es constante. Ahora, dado que un n

umero complejo z puede verse como
un punto en el plano R2 de la forma z = (x, y), haciendo i = (0, 1) se tiene que la
ecuaci
on |z 4i| + |z + 4i| = 10 se transforma en
p
p
x2 + (y 4)2 + x2 + (y + 4)2 = 10,

la cual seg
un el razonamiento hecho, representa una elipse con focos en (0, 4). De
hecho no es difcil ver, haciendo unos cuantos calculos, que la ecuaci
on de esta elipse
en su forma m
as general es
y2
x2
+
= 1.
9
25
b) Un resultado cl
asico de la Geometra Euclidiana establece que la mediatriz del segmento que une dos puntos dados es el lugar geometrico (lnea recta) de todos los
puntos de un plano que equidistan a los extremos del segmento. Tomando nuevamente a R2 y dos puntos U = (p, q) y V = (r, s) como antes, la mediatriz del segmento UV
es el conjunto de puntos (x, y) del plano tales que
p
p
(x p)2 + (y q)2 = (x r)2 + (y s)2 .
Si ahora consideramos los puntos i = (0, 1) y 1 = (1, 0), la ecuaci
on |z 1| = |z +i|
se convierte en
p
p
x2 + (y + 1)2 = (x 1)2 + y 2 ,

la cual seg
un lo establecido no es otra cosa que la mediatriz del segmento de recta que
une a 1 y i. No es difcil verificar que 0 = (0, 0) en efecto pertenece a tal mediatriz.
Adem
as, note que la pendiente de dicha recta es la que resulta al girar /2 en sentido
antihorario la recta que contiene a 1 y i, cuya pendiente es 1 = tan(/4). As, la
pendiente de la mediatriz est
a determinada por tan(/2 + /4) = tan(3/4) = 1.


Secci
on 5
1. Usar las propiedades de los conjugados y de los m
odulos establecidas en esta secci
on para
probar que:
a) z + 3i = z 3i
b) iz = iz

c) (2 + i)2 = 3 4i

d) |(2z + 5)( 2 i)| = 3|2z + 5|

n.
Solucio
a) z + 3i = z + 3i = z 3i.
b) iz = iz = iz.

c) (2 + i)2 = (2 + i) = (2 i)2 = 22 4i + i2 = 3 4i.

d) |(2z + 5)( 2 i)| = |2z + 5| |( 2 i)| = 3|2z + 5|.


4

7. Usar las propiedades ya conocidas de los m

odulos para demostrar que si |z3 | =
6 |z4 |,


 z1 + z2 
|z1 | + |z2 |


 z3 + z4  ||z3 | |z4 || .

n. Sean z1 , z2 , z3 , z4 C. Es sabido que |z1 + z2 | |z1 | + |z2 | por la desigualdad

Solucio
triangular y tambien que ||z3 | |z4 || |z3 + z4 |, luego si |z3 | =
6 |z4 |, entonces 1/|z3 + z4 |
1/||z3 | |z4 || y por lo tanto


 z1 + z2  |z1 + z2 |
|z1 | + |z2 |


 z3 + z4  = |z3 + z4 | ||z3 | |z4 || .


13. Sean a0 , a1 , a2 , . . . , an con n 1 n

umeros reales y z cualquier n
umero complejo. Con ayuda
de los resultados del Ejercicio 12, probar que
a0 + a1 z + a2 z 2 + + an z n = a0 + a1 z + a2 z 2 + + an z n
n. Usando los resultados del Ejercicio 12, se tiene que
Solucio
a0 + a1 z + a2 z 2 + + an z n = a0 + a1 z + a 2 z 2 + + an z n
= a0 + a1 z + a 2 z 2 + + an z n

= a0 + a1 z + a 2 z 2 + + an z n .


Secci
on 7
6. Escribiendo los factores de la izquierda en forma exponencial, efectuando las operaciones
y cambiando finalmente a coordenadas rectangulares, verificar que:

a) i(1 3i)( 3 + i) = 2(1 + 3i)

b) 5i/(2 + i) = 1 + 2i

c) (1 + i)7 = 8(1 + i)

d) (1 + 3i)10 = 211 (1 + 3i)

n. El ejercicio es muy mec
Solucio
anico, as que solo hare el inciso d). Los dem
as se hacen
de forma an
aloga.

Sea z = 1 + 3i, entonces r = 1 + 3 = 2 y = tan1 3 = /3, por lo que

De ah que

10

= 210 ei10/3 = 210 ei2/3 .
z 10 = 2ei/3
(1 +

10

3i)

10

=2

1
3
= 211 (1 + 3i).
+i
2
2


10. Demostrar la identidad

1 + z + z2 + + zn =

1 z n+1
1z

(z 6= 1)

y usarla despues para deducir la identidad trigonometrica de Lagrange:

1 + cos() + cos(2) + + cos(n) =

1 sen[(2n + 1)/2]
+
2
2 sen(/2)

(0 < < 2)

n. Sea S = 1 + z + z 2 + + z n , entonces zS = z + z 2 + z 3 + + z n+1 y por lo

Solucio
tanto se deduce que
S zS = 1 z n+1

(1 z)S = 1 z n+1
S=

1 z n+1
,
1z

que era lo que se quera probar, siempre que z 6= 1. Ahora para establecer la identidad
trigonometrica de Lagrange, considere el n
umero complejo z = cos + i sen = ei , con
0 < < 2, entonces
2

1 + ei + (ei ) + + (ei ) =

n+1

1 (ei )
1 ei

Por un lado, usando la formula de De Moivre, (cos + i sen )k = cos(k) + i sen(k) para
cualquier k N, entonces la parte real del lado izquierdo de la igualdad es
1 + cos() + cos(2) + + cos(n).
Para encontrar la parte real del lado derecho de la igualdad, observe que
!
n+1
n+1
1 (ei )
ei/2
1 (ei )
=
1 ei
1 ei
ei/2
=
lo cual se convierte en

ei/2 ei(2n+1)/2
ei/2 ei/2

cos(/2) i sen(/2) cos[(2n + 1)/2 i sen[(2n + 1)/2] i

2i sen(/2)
i
que es lo mismo que
sen(/2) + sen[(2n + 1)/2] + i cos(/2) i cos[(2n + 1)/2]
.
2 sen(/2)
Pero la parte real de esta u
ltima expresi
on es claramente
1 sen[(2n + 1)/2]
+
,
2
2 sen(/2)
llegando as a la identidad
1 + cos() + cos(2) + + cos(n) =

1 sen[(2n + 1)/2]
+
2
2 sen(/2)

(0 < < 2).



Secci
on 9
4. De acuerdo con el Ejemplo 1 de la Secci
on 9, las tres races c
ubicas de un n
umero complejo
ubica principal de
z0 no nulo se pueden expresar como c0 , c0 3 , c0 32 , donde c0 es la raz c
z0 y



2
1 + 3i
3 = exp i
.
=
3
2

Probar que si z0 = 4 2 + 4 2i, entonces c0 = 2(1 + i) y las otras dos races cubicas
son, en forma rectangular, los n
umeros

( 3 1) ( 3 + 1)i
( 3 + 1) + ( 3 1)i
2

,
c0 3 =
.
c0 3 =
2
2

n. Como z0 est
Solucio
a sobre el tercer cuadrante y arctan(4 2/4 2) = arctan(1) =
/4, entonces el argumento principal de 
z0 , Arg(z
 0 ) = 3/4 = 0 , y como r = 8 podemos
3
, por lo tanto la raz c
ubica principal de
escribir en forma exponencial z0 = 8 exp i
4
z0 es
 
c0 = 2 exp i
= 2(1 + i).
4
Entonces las otras 2 races son:



6+ 2
6 2
11
+i
=
c0 3 = 2 exp i
12
2
2



5
6 2
6+ 2
2
i
=
c0 3 = 2 exp i
12
2
2

6 2
2 3 2
31

Observe que
=
=
, as se obtiene la respuesta buscada.
2
2 2
2

6. Calcular las cuatro races de la ecuaci
on z 4 + 4 = 0. Usarlas para factorizar z 4 + 4 en
factores cuadraticos con coeficientes reales.
n. El problema es equivalente a encontrar las races cu
Solucio
articas de z0 = 4. Por la
formula de De Moivre, estas races vienen dadas por



k
+
; para k = 0, 1, 2, 3.
ck = 2 exp
4
2
As, se obtienen

 
=1+i
2 exp i
4 

3
c1 = 2 exp i
= 1 + i
4



3
c2 = 2 exp i
= 1 i
4



=1i
c3 = 2 exp i
4

c0 =

Por lo que z 4 + 4 = [(z c0 )(z c3 )][(z c1 )(z c2 )] = (z 2 2z + 2)(z 2 + 2z + 2).

Secci
on 10
3. Cu
ales de los conjuntos del Ejercicio 1 son acotados?
n. El u
Solucio
nico de los conjuntos acotados es el a) |z 2 + i| 1, pues se trata de una
circunferencia. Argumentamos el por que el resto de conjuntos no son acotados:
b) |2z + 1| 4 son los puntos que est
an fuera de la circunferencia con centro (3/2, 0)
y radio 2. Sera imposible cubrirlos con una circunferencia.
c) Im(z) > 1 son los puntos que est
an por encima de la recta y = 1, sin incluirla.
Nuevamente, se hace imposible cubrirlos todos en una circunferencia.
d) Im(z) = 1 son los puntos que est
an sobre la recta y = 1. Si el conjunto anterior no se
poda acotar, este tampoco.
e) 0 arg(z) /4 (z 6= 0) corresponde a los puntos situados en el primer cuadrante
del plano xy, lo que imposibilita su acotamiento.
f ) |z 4| |z| es el mismo conjunto de puntos satisfaciendo Re(z) 2, que representa la
regi
on a la izquierda de la recta x = 2, inclusive, y esto tambien es imposible intentar
encerrarlo dentro de una circunferencia.

8. Probar que si un conjunto contiene todos sus puntos de acumulaci
on, es cerrado.
n. Sea S C. Supongamos que S contiene todos sus puntos de acumulaci
Solucio
on y
por contradicci
on que S no es cerrado. Debe existir un punto frontera que no est
a en S,
digamos que ese punto es z0 , entonces todo -entorno de z0 contiene puntos que est
an y no
est
an en S. En particular, dado que z0
/ S, todo entorno perforado de z0 contiene puntos
que est
an en S. As, z0 es un punto de acumulaci
on de S y por hip
otesis, z0 S. Luego
z0 S y z0
/ S es absurdo.


Secci
on 11
2. Expresar la funci
on f (z) = z 3 + z + 1 en la forma u(x, y) + iv(x, y).
n. Sea z = x + iy. Usando la formula binomial, se tiene que
Solucio
f (z) = (x3 + 3ix2 y 3xy 2 iy 2 ) + (x + iy) + 1
= (x3 3xy 2 + x + 1) + i(3x2 y y 2 )

de donde u(x, y) = x3 3xy 2 + x + 1 y v(x, y) = 3x2 y y 2 .



Secci
on 13
1. En la relaci
on del Ejemplo 1 de la Secci
on 12, hallar el dominio del plano z cuya imagen
2
bajo la transformacion w = z sea el dominio cuadrado acotado en el plano w por las
rectas u = 1, u = 2, v = 1 y v = 2.

 n. Seg
Solucio
un el razonamiento que ya se haba hecho en el libro, las hiperbolas de la
forma
c1 = x2 y 2 , c2 = 2xy
son enviadas bajo la transformacion w = z 2 a las rectas u = c1 y v = c2 , respectivamente.
As que el dominio del plano z cuya imagen es el cuadrado descrito arriba es la regi
on
limitada por las hiperbolas
1 = x2 y 2 ,

2 = x2 y 2 ,

1 = 2xy,

1 = xy.

Las figuras que est

an inmediatamente debajo ilustran mejor el razonamiento hecho.
y
v
u=1
u=2
v=2
v=1
x

Secci
on 17
6. Demostrar la afirmacion (8) del Teorema 2 de la Secci
on 15 usando:
a) El Teorema 1 de la Secci
on 15 y las propiedades de los lmites de funciones reales de
dos variables reales.
b) La definicion (2) de lmite de la Secci
on 14.
n. Queremos probar lo siguiente:
Solucio
Supongamos que lm f (z) = w0 y
zz0

lm F (z) = W0 , entonces

zz0

lm [f (z) + F (z)] = w0 + W0 .

zz0

a) Escribamos f (z) = u(x, y) + iv(x, y) y F (z) = U (x, y) + iV (x, y) y sean z0 = x0 + iy0 ,

w0 = u0 + iv0 y W0 = U0 + iV0 . Usando la hip
otesis, por el Teorema 1 de la Secci
on
15, los lmites de las funciones u, v, U y V cuando (x, y) (x0 , y0 ), existen y tienen
valores u0 , v0 , U0 y V0 , respectivamente. Por lo tanto las componentes real e imaginaria
de la suma
f (z) + F (z) = (u + U ) + i(v + V ),
tienen lmites u0 + U0 y v0 + V0 , respectivamente, cuando (x, y) (x0 , y0 ). Entonces,
aplicando nuevamente el Teorema 1, se obtiene que f (z) + F (z) tiene lmite
(u0 + U0 ) + i(v0 + V0 )
cuando z z0 , y esto no es otra cosa que w0 + W0 .
9

b) Sea > 0. Como lm f (z) = w0 y lm F (z) = W0 , existe un > 0 apropiado tal

zz0

zz0

que si 0 < |z z0 | < , entonces

|f (z) w0 | <

|F (z) W0 | < .
2

Luego
|f (z) + F (z) (w0 + W0 )| |f (z) w0 | + |F (z) W0 |

< + = .
2 2
De ah que lm [f (z) + F (z)] = w0 + W0 .
zz0


8. Denotando z = z z0 , probar que:
lm f (z) = w0

zz0

si y solo si

lm f (z0 + z) = w0 .

z0

n. Sea > 0. Como lm f (z) = w0 , existe un > 0 tal que |f (z) w0 | <
Solucio
zz0

siempre que 0 < |z z0 | < . Haciendo z = z z0 , es claro que cuando z z0 , z 0

y |f (z0 + z) w0 | < siempre que 0 < |z| < . De ah que lm f (z0 + z) = w0 .
z0

Observe que el recproco es simplemente devolverse usando los mismos argumentos.

Secci
on 19
6. Deducir la expresi
on (2) de la Secci
on 19 para la derivada de z n , donde n es un entero
positivo, usando:
a) Inducci
on y la formula (4) de la Secci
on 19 para la derivada de un producto.
b) La definicion (3) de la Secci
on 18 y la formula binomial.
n.
Solucio
d n
a) Veamos por induccion sobre n que
(z ) = nz n1 . El paso base n = 1 se tiene, ya
dz
d
que es sabido que
z = 1. Supongamos ahora que para n = k el resultado es valido,
dz
d k
es decir,
(z ) = kz k1 . Usando la regla de la derivada de un producto,
dz
d
d k+1
(z
)=
(z z k )
dz
dz
d
d
= z k (z) + z (z k )
dz
dz
k
k1
= z + z(kz
)
= (k + 1)z k .
De ah se concluye que

d n
(z ) = nz n1 , para cada n Z+ .
dz
10

b) Sea f (z) = z n . Usando la definicion (3) de la Secci

on 18 y la formula binomial,
f (z) =

dw
w
= lm
z0 z
dz
(z + z)n z n
= lm
z0

 n z
P n
nk k
z z n
k z
k=0
= lm
z0
z
" 
#
n  
n n1 X n nk k1
= lm
z
+
z
z
z0
1
k
k=2

= lm nz

n1

z0

nk
k1

z
+ lm
z
= nz n1 .

z0
k

k=2
n  
X
n

Se sigue entonces que f (z) = nz n1 , para cada n Z+ .


7. Probar que la expresi
on (2) de la Secci
on 19 para la derivada de z n sigue siendo valida
cuando n es un entero negativo (n = 1, 2, . . .) y z 6= 0.

n. Supongamos que z 6= 0 y sea n Z . Por las propiedades de Z, podemos

Solucio
escribir n = k con k Z+ , entonces usando la regla de la derivada de un cociente,
 
d
1
d n
(z ) =
dz
dz z k
kz k1
=
z 2k
= kz k1
y volviendo a reemplazar, se tiene que

d n
(z ) = nz n1 , para cualquier n Z .
dz


Secci
on 22
4. Usar el teorema de la Secci
on 22 para probar que cada una de las siguientes funciones
es derivable en el dominio de definicion que se especifica. A continuaci
on, hallar f (z)
utilizando la expresi
on (7) de esta secci
on:
a) f (z) = 1/z 4 (z =
6 0)
i/2
(r > 0, < < + 2)
b) f (z) = re
c) f (z) = e cos(ln r) + ie sen(ln r) (r > 0, 0 < < 2)
n. Recordemos que dice el teorema de la Secci
Solucio
on 22:
Supongamos que la funci
on
f (z) = u(r, ) + iv(r, )
est
a definida en un -entorno de z0 = r0 ei0 , un punto distinto del origen, y que las
derivadas parciales de primer orden de u y v respecto de r y existen en todos los puntos
11

de ese entorno. Si esas derivadas parciales son continuas en (r0 , 0 ) y satisfacen la forma
polar
rur = v , u = rvr

de las ecuaciones de Cauchy-Riemann en (r0 , 0 ), entonces f (z0 ) existe. Adem

as, podemos
escribir
f (z0 ) = ei (ur + ivr )
donde el miembro de la derecha debe ser evaluado en (r0 , 0 ).
a) f (z) =

1
1
1
=
4 = r 4 [cos(4) i sen(4)] con z 6= 0, entonces
i
z4
(re )
u(r, ) =

cos(4)
r4

y v(r, ) =

sen(4)
r4

por lo que las derivadas parciales con respecto a r y ,

ur =

4 cos(4)
4 sen(4)
4 sen(4)
4 cos(4)
, u =
, vr =
, v =
5
4
5
r
r
r
r4

existen y son claramente continuas en todo punto distinto del origen. Ademas,
rur =

4 cos(4)
= v
r4

rvr =

4 sen(4)
= u
r4

satisfacen la forma polar de las ecuaciones de Cauchy-Riemann, por lo que f (z) existe
para todo z 6= 0 y podemos escribir


4i
sen(4)
4
4
cos(4)
i e

i
+
i
= i 5 = 5 .
=
4e
f (z) = 4e

5
5
5
r
r
r
(re )
z
b) f (z) =

rei/2 =

r[cos(/2) + i sen(/2)] con r > 0 y < < + 2, entonces

u(r, ) = r cos(/2) y v(r, ) = r sen(/2),

por lo que las derivadas parciales con respecto a r y ,

sen(/2)
cos(/2)
r sen(/2)
r cos(/2)
, u =

, vr =
, v =
ur =
2
2
2 r
2 r
claramente existen y son continuas en todo punto diferente del origen. Como

r cos(/2)
r sen(/2)
= v y rvr =
= u
rur =
2
2
cumplen la forma polar de las ecuaciones de Cauchy-Riemann, f (z) existe en todo
el dominio de definicion y
ei
1
ei
1  i/2 1
f (z) = [cos(/2) + i sen(/2)] = ei/2 =
=
re
.
2 r
2 r
2
2f (z)

12

c) f (z) = e cos(ln r) + ie sen(ln r) para r > 0 y 0 < < 2, entonces es claro que
u(r, ) = e cos(ln r) y

v(r, ) = e sen(ln r),

por lo que las derivadas parciales con respecto a r y ,

ur =

e cos(ln r)
e sen(ln r)
, u = e cos(ln r), vr =
, v = e sen(ln r)
r
r

ciertamente existen y son continuas en todo punto distinto del origen. Dado que
rur = e sen(ln r) = v

rvr = e cos(ln r) = u

satisfacen la forma polar de las ecuaciones de Cauchy-Riemann, f (z) existe en todo

el dominio de definicion y
f (z) =

1

f (z)
ei
[e sen(ln r) + ie cos(ln r)] = rei
if (z) = i
r
z

7. Despejar ux y uy en las ecuaciones (2) de la Secci

on 22 para demostrar que
ux = ur cos u

sen
,
r

uy = ur sen + u

cos
.
r

A continuaci
on, usar esas ecuaciones y las an
alogas para vx y vy con el fin de probar que
las ecuaciones (4) de la Secci
on 22 se satisfacen en un punto z0 si y solo si se satisfacen
en el las ecuaciones (6). Completar as la comprobacion de que las ecuaciones (6) de la
Secci
on 22 son las ecuaciones de Cauchy-Riemann en forma polar.
n. Las ecuaciones (2) de la Secci
Solucio
on 22 establecen que
ur = ux cos + uy sen

u = ux r sen + uy r cos .

Al hacer la resta ur r cos u sen ,

ur r cos u sen = ux r cos2 + ux r sen2
1

2 2
= ux r (cos
+ sen )

= ux r
sen
. Del mismo modo, al hacer la
donde finalmente se obtiene que ux = ur cos u
r
suma ur r sen + u cos ,
ur r sen + u cos = uy r sen2 + uy r cos2
1

= uy r (sen
+ cos )

= uy r
cos
.
r
Analogamente, las ecuaciones (3) establecen que

por lo que uy = ur sen + u

vr = vx cos + vy sen

y
13

v = vx r sen + vy r cos ,

de tal forma que al hacer vr r cos v sen y vr r sen + v cos , se logran las expresiones
vx = vr cos v

sen
r

vy = vr sen + v

cos
.
r

Para completar la comprobacion de que las ecuaciones (6) son las ecuaciones de CauchyRiemann en forma polar, supongamos que en un punto z0 se satisface
rur = v ,

u = rvr .

Entonces:
ux = ur cos + vr sen

vx = vr cos ur sen

uy = ur sen vr cos

vy = vr sen + ur cos

De donde facilmente se puede verificar que

u x = vy ,

uy = vx .

Esto termina la prueba (el recproco ya est

a resuelto en libro).


Secci
on 24
3. Explicar por que la composici
on de dos funciones enteras es entera. Razonar por que,
asimismo, cualquier combinaci
on lineal c1 f1 (z) + c2 f2 (z) de dos funciones enteras, donde
c1 y c2 son constantes complejas, es entera.
n. Recuerde que una funcion se dice entera cuando es analtica en todo C. Puesto
Solucio
que la suma, el producto y la composici
on de dos funciones analticas es analtica, se sigue
inmediatamente que la suma, el producto y la composici
on de dos funciones enteras es
otra entera. En particular, para f1 (z), f2 (z) ambas funciones enteras, c1 f1 (z) + c2 f2 (z) es
entera para cualesquiera c1 , c2 C.

7. Sea f (z) una funci
on analtica en un dominio D. Probar que f (z) debe ser constante en
D si:
a) f (z) es real en todo punto z de D.
b) |f (z)| es constante en D.
n.
Solucio
a) Supongamos que f (z) es real en todo punto z de D. Escribiendo f (z) = u(x, y) +
iv(x, y), se tiene que v(x, y) = 0 para cualquiera que sea (x, y) R2 , por lo cual
vx = vy = 0. Usando la analiticidad de f en D, las ecuaciones de Cauchy-Riemann
se verifican, por lo que
ux = vy = 0 y

uy = vx = 0,

y como f (z) = ux + ivx = 0, por el Teorema de la Secci

on 23 se concluye que f (z)
es constante en D.
14

b) Supongamos que |f (z)| es constante en D. Si |f (z)| = 0, no hay nada que probar. Si

suponemos entonces que |f (z)| = k con k una constante no nula, por las propiedades
del conjugado,
k2
,
f (z)f (z) = |f (z)|2 = f (z) =
f (z)
y como f (z) es analtica y no se anula en D, f (z) tambien lo es por ser producto
de funciones analticas. As, usando el resultado del ejemplo 3 de la Secci
on 24, f (z)
debe ser constante en D.


Ejercicios del libro de Conway p.10

1. Muestre detalladamente c
omo obtener las expresiones (6.7) y (6.8).
n. Para obtener (6.7), partimos del hecho que
Solucio
d(z, z )2 = 2 2(x1 x1 + x2 x2 + x3 x3 )
donde z, z C y Z = (x1 , x2 , x3 ) y Z = (x1 , x2 , x3 ) son los correspondientes de z y z en
S, respectivamente. Usando el hecho que
x1 =
x1 =

z+z
,
|z|2 + 1

z + z
,
|z |2 + 1

y haciendo los respectivos productos

x1 x1 =

x2 =
x2 =

i(z z)
,
|z|2 + 1

i(z z )
|z |2 + 1

zz + zz + zz + zz
,
(|z|2 + 1)(|z |2 + 1)
x3 x3 =

x2 x2 =

x3 =
x3 =

|z|2 1
|z|2 + 1

|z |2 1
|z |2 + 1

zz + zz + zz zz
(|z|2 + 1)(|z |2 + 1)

|zz |2 |z|2 |z |2 + 1
(|z|2 + 1)(|z |2 + 1)

se tiene entonces que

 2

|zz | + |z|2 + |z |2 + 1 2zz 2zz |zz |2 + |z|2 + |z |2 1
2
d(z, z ) = 2
(|z|2 + 1)(|z |2 + 1)

 2
|z| + |z |2 zz zz
=4
(|z|2 + 1)(|z |2 + 1)


zz + z z zz zz
=4
(|z|2 + 1)(|z |2 + 1)
=

4(z z )(z z )
(|z|2 + 1)(|z |2 + 1)

4(z z )(z z )
(|z|2 + 1)(|z |2 + 1)
4|z z |2
=
(|z|2 + 1)(|z |2 + 1)
=

15

y de esta u
ltima igualdad se deduce la expresi
on (6.7),
2|z z |
.
d(z, z ) = p
(|z|2 + 1)(|z |2 + 1)

Ahora, para mostrar que la identidad (6.8) es efectivamente

d(z, ) = p

note que

2
(|z|2 + 1)

|z z |2 = |z|2 2Re(zz ) + |z |2 ,
de modo que
|z z |2
= lm
|z |
|z | |z |2 + 1
lm

y por lo tanto,

|z|2
2Re(zz ) |z |2

+ 2
|z |2
|z |2
|z |
=1
1
+1
|z |2

d(z, ) = lm d(z, z )
|z |

|z z |
|z|2 + 1 |z | |z |2 + 1
2
.
=p
|z|2 + 1

=p

lm

2. Para cada uno de los siguientes puntos en C, muestre su correspondiente en S: 0, 1+i, 3+2i.
n. Recuerde que la proyeccion estereografica es la funcion : C S definida por
Solucio


2x
2y
|z|2 1
(z) =
,
,
.
|z|2 + 1 |z|2 + 1 |z|2 + 1
Para z = 0, |z| = 0 y entonces (z) = (0, 0, 1). Por lo tanto el punto z = 0 corresponde
al punto (0, 0, 1) sobre S.

Para z = 1 + i, |z| = 2 y


2 2 1
, ,
(z) =
.
3 3 3
Luego z2 = 1 + i corresponde al punto (2/3, 2/3, 1/3) en S.

Por u
ltimo, si z = 3 + 2i, entonces |z| = 13 y por ende


3 2 6
(z) =
, ,
.
7 7 7
Por lo tanto z = 3 + 2i corresponde al punto (3/7, 2/7, 6/7) en S.


16

3. Cu
ales subconjuntos de S corresponden a los ejes real e imaginario en C?
n.
Solucio
Si z = x + iy C est
a sobre el eje real, z = x y esto implica |z|2 = x2 , por lo que


2x
x2 1
(z) =
, 0, 2
.
x2 + 1
x +1
Entonces el conjunto


t2 1
2t
, 0, 2
2
t +1
t +1

:tR

corresponde al eje real en C. Pero

(t2 + 1)2
(2t)2 + (t2 1)2
=
= 1,
(t2 + 1)2
(t2 + 1)2
de modo que estos puntos est
an sobre la circunferencia x2 + z 2 = 1 del plano xz. As que
los puntos en S correspondientes al eje real en C no son otros que los que est
an sobre la
circunferencia unitaria con centro en el origen del plano xz.
De la misma manera, si z est
a en el eje imaginario, entonces z = y y |z|2 = y 2 , por lo cual


2y
y2 1
(z) = 0, 2
,
y + 1 y2 + 1
y entonces el conjunto de puntos

0,

2t t2 1
,
t2 + 1 t2 + 1

:tR

corresponden al eje imaginario en C. Haciendo el mismo razonamiento que antes, se llega

a que estos puntos son los mismos que est
an sobre la circunferencia unitaria con centro en
2
2
el origen y + z = 1 del plano yz.

4. Sea una circunferencia sobre S. Existe un u
nico plano P en R3 tal que P S = .
Recuerde de la geometra analtica que
P = {(x, y, z) R3 : Ax + By + Cz = D},
donde (A, B, C) es un vector ortogonal a P y D es un n
umero real. Suponga que A2 +
B 2 + C 2 = 1. Use esta informaci
on para mostrar que si contiene el punto N = (0, 0, 1)
entonces su proyecci
on estereografica sobre C es una lnea recta. Si no, se proyecta sobre
una circunferencia en C.
n. Sea P el plano que intersecta a la circunferencia cuya ecuaci
Solucio
on est
a descrita
arriba y z = x + iy un punto en C. Como es sabido que


2y
x2 + y 2 1
2x
,
,
(z) =
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
entonces para que (z) este en P , debe ocurrir
2Ax + 2By + C(x2 + y 2 1) = D(x2 + y 2 + 1),
17

que al hacer unos cuantos c

alculos se convierte en
(C D)(x2 + y 2 ) + 2Ax + 2By C D = 0.

(1)

Observe que C = D si y solo si el punto N = (0, 0, 1) P y adem

as (1) se convierte en
Ax + By = C,
que es la ecuaci
on de una recta. De esto se sigue que la proyeccion estereografica de
sobre C es una lnea recta siempre que contenga al punto N = (0, 0, 1).
Ahora, si C 6= D, entonces a partir de (1) se tiene que
"
2 
2 #
B2
B
A2
A
+
+ y+
=C +D+
(C D) x +
CD
C D
CD C D
y en u
ltimas esto se reduce a


A
x
DC

2

B
+ y
DC

2

A2 + B 2 + C 2 D 2
(C D)2

que representa la ecuaci

on de una circunferencia con centro y radio, respectivamente,



1 D2
A
B
C=
,
.
, r=
DC DC
CD
Note que 1 > D 2 pues de lo contrario P no tendra puntos en com
un con . De ah que
se proyecta en una circunferencia en C.


18