UNIVERSIDAD DE CÓRDOBA
Facultad de Ciencias Básicas
Programa de Matemáticas
Taller de Variable Compleja
Docente:
Luis Enrrique Benítez Babilonia
Doctor en Matemáticas
presentado por:
Marcos Samir Cabrales Meza -
Eider Fabián Rodelo Rodriguez
Carlos Mario Ojeda Rico
José Fernando Aristizabal
Jahiver Pérez González
José Daniel Agamez Orozco
Montería- Córdoba
2024
Taller
1. Pruebe la identidad:
π
2π
3π
(n − 1)π
n
sen sen sen · · · sen = n−1 para n ≥ 2.
n n n n 2
ez −e−z
2. Para z ∈ C, defina senh(z) = 2i .
(a) Determine: senh(z) = 0.
(b) Haga un estudio del comportamiento y formas de mapeos (como se hizo en clase) de la fun-
ción f (z) = senh(z) y considere una restricción en su dominio para definir apropiadamente
su inversa. (Halle un conjunto maximal en el que se pueda definir la inversa).
3. Para cada uno de los siguientes conjuntos indicar si es abierto, cerrado; y determinar los puntos
de acumulación, los puntos de adherencia y los puntos frontera:
(a) A1 = {z ∈ C : |z − a| + |z + a| = 16} para a ∈ R.
√
(b) A2 = z ∈ C : n z n = z para cada n ∈ N.
√ π
π
(c) A3 = n n 2 cos 2n + i sen 2n −1 :n∈N .
√ √
4. Demuestre que si Re(z) > 0, entonces z + z 2 − 1 ≥ 1. Además, z + z 2 − 1 = 1 si
√
0 < z ≤ 1. (Sugerencia: Estudiar Re z̄ z 2 − 1 , para Re(z) > 0).
1
corolario 1 Sea z ∈ C si 1, z1 , z2 , z3 , . . . zn son las (n + 1) raíces (n + 1)-ésimas de 1 , entonces
(z − z1 ) (z − z2 ) (z − z2 ) · · · (z − zn ) = 1 + z + z 2 + z 3 + · · · + z n
Demostración. Sea S = 1 + z + z 2 + z 3 + · · · + z n−1 , entonces
zS = z 1 + z + z 2 + z 3 + · · · + z n−1 = z + z 2 + z s + z 4 · · · + z n
luego,
zS − S = z + z 2 + z 3 + z 4 · · · + z n − 1 + z + z 2 + z 3 + · · · + z n−1
= zn − 1
⇒ S(z − 1) = z n − 1
zn − 1
⇒S=
z−1
Notemos que
z 3 − 1 = (z − 1) (z − z1 ) (z − z2 )
z 4 − 1 = (z − 1) (z − z1 ) (z − z2 ) (z − zS )
..
.
z n − 1 = (z − 1) (z − z1 ) · · · (z − zn−1 )
zn − 1
⇒ = (z − z1 ) (z − z2 ) · · · (z − zn−1 )
z−1
Así, (z − z1 ) (z − z2 ) · · · (z − zn−1 ) = 1 + z + z 2 + z 3 + · · · + z n−1
2
Soluciones de los ejercicios
1. Demostración. Del corolario 1 se sigue que 1, z1 , z2 , . . . , zn−1 , son raíces n - ésimas de la
unidad,
(z − z1 ) (z − z2 ) · · · (z − zn−1 ) = 1 + z + z 2 + z 3 + · · · + z n−1
Luego, notemos que
2πi π
w=e n = z2, con z = e π i,
entonces
Exercise 5. Let (X, τ ) be a first countable topological space, let A ⊆ X, and let x0 ∈ X. Show
that the following propositions hold:
x0 is a limit point of (xn )n ∈ N if, and only if, there exists a subsequence (xnk)k∈N of the
given sequence that converges to x0 .
n = (1 − w) 1 − w2 · · · 1 − wn−1
= |z|2 − z 2 |z|4 − z 4 · · · |z|2n−2 − z 2n−2
= z z̄ − z 2 z 2 z̄ 2 − z 4 · · · z n−1 z̄ n−1 − z 2n−2
= z(z̄ − z)z 2 z̄ 2 − z 2 · · · z n−1 z̄ n−1 − z n−1
= (−1)n−1 z 1+2+3+···+n−1 (z − z̄)z 2 z 2 − z̄ 2 · · · z n−1 − z̄ n−1
n−1 n(n − 1) π 2π (n − 1)π
= (−1) z 2i sin 2i sin · · · 2i sin
2 n n n
(n−1)π
π 2π (n − 1)π
= (−1)n−1 (i)n−1 2n−1 e 2 i sin sin · · · sin
n n n
n−1 n−1 n−1 πi
(n − 1) π 2π (n − 1)π
= (−1) (i) 2 e sin sin · · · sin
2 n n n
n−1 n−1 n−1
(n−1)
π 2π (n − 1)π
= (−1) (i) 2 (−1) 2 sin sin · · · sin
n n n
n−1 n−1 n−1 2
(n−1)
2 π 2π (n − 1)π
= (−1) (i) 2 i sin sin · · · sin
n n n
n−1 n−1 n−1 n−1
π 2π (n − 1)π
= (−1) (i) (i) 2 sin sin · · · sin
n n n
n−1 2 n−1 n−1
π 2π (n − 1)π
= (−1) i 2 sin sin · · · sin
n n n
n−1 n−1 n−1
π 2π (n − 1)π
= (−1) (−1) 2 sin sin · · · sin
n n n
2 n−1 n−1
π 2π (n − 1)π
= (−1) 2 sin sin · · · sin
n n n
π 2π (n − 1)π
= 2n−1 sin sin · · · sin
n n n
Lo cual implica que:
n−1
π 2π (n − 1)π
n=2 sin sin · · · sin
n n n
Y por tanto,
π 2π 3π (n − 1)π n
sin sin sin · · · sin = n−1
n n n n 2
■
3
2. (a) Sea z ∈ C y definamos
ez − e−z
senh(z) =
2
Luego
ez − e−z
Sen h(z) = 0 ⇐⇒ =0
z 2 −z
e −e
⇒2 =0
2
⇒ ez − e−z = 0
⇒ ez ez − e−z = 0
⇒ e2z − 1 = 0
⇒ e2z = 1 = e0
Ahora, usando que eω1 = eω2 , entonces ω1 = ω1 + 2nπi Con n ∈ Z, ω1 , ω2 ∈ C. Asi se
tiene que
e2z = 1 = e0 ⇒ 2z = 0 + 2nπi con n ∈ Z.
⇒ 2z = 2nπi
⇒ z = nπi con n ∈ Z.
Por tanto; senh(z) = 0 cuando z = nπi con n ∈ Z
4
3. (a)
A1 = {z ∈ C |z − a| + |z + a |= 16}
Para todo a ∈ R
|z − a| + |z + a| = 16
⇒ |x + yi − a| + |x + yi + a| = 16
|(x − a) + yi| + |x + a + yi| = 16
p p
(x − a)2 + y 2 + (x + a)2 + y 2 = 16
p p
(x − a)2 + y 2 = 16 − (x + a)2 + y 2
p 2 h p i2
(x − a)2 + y 2 = 16 − (x + a)2 + y 2
p
(x − a)2 + y 2 = 256 − 32 (x + a)2 + y 2 + (x + a)2 + y 2
p
(x − a)2 = 256 − 32 (x + a)2 + y 2 + (x + a)2
p
xx − 2ax + a2 = 256 − 32 (x + a)2 + y 2 + x2 + 2ax + a2
p
− 2ax = 256 − 32 (x + a)2 + y 2 + 2ax
p
− 4ax = 256 − 32 (x + a)2 + y 2
p
−4ax 256 − 32 (x + a)2 + y 2
=
−4 −4
p
ax = −64 + 8 (x + a)2 + y 2
p
ax + 64 = 8 (x + a)2 + y 2
p 2
(ax + 64)2 = 8 (x + a)2 + y 2
a2 x2 + 128ax + 4096 = 64 (x + a)2 + y 2 )
ax2 + 128ax + 4096 = 64x2 + 128ax + 64a2 + 64y 2
⇒ 64x2 + 64y 2 + 642 − a2 x2 = 4096
x2 64 − a2 + 64y 2 = 4096 − 64a2
⇒ x2 64 − a2 + 64y 2 = 64 64 − a2
x2 64 − a2 64y 2 64 64 − a2
+ =
64 (64 − a2 ) 64 (64 − a2 ) 64 (64 − a2 )
2 2
x y
+ =1
64 64 − a2
Para a ̸= −8, 8
Si a = 8 or a = −8
⇒ x (64 − 64) + 64y 2 = 64(64 − 64)
2
64y 2 = 0
y=0
■
5
√
n
(b) Para z= 0, entonces
√ z n =z y por observación en clase, se tiene que
A2 = z ∈ C : z = z = z ∈ C : − nπ ≤ Arg{z} ≤ nπ
n n ∪ {0} para cada n ∈ N.
Si n = 1, entonces A2 = C, esto es que A2 es abierto y A′2 = A2 , A2 =A2 y ∂A2 = ϕ.
Para n ≥ 2, tenemos que A2 es cerrado ya que su complemento C\A2 = z ∈ C : − nπ > Arg{z} > π
n
es abierto. En efecto.
Figure 1: Caption
Sean r > 0 dado y w ∈ C\A2 , sin perdida de generalidad supongamos que π ≥ Arg{w} >
π r
n , y tomemos δ ∈ C tal que Arg{w} = Arg{δ} y | delta | = |w + 2 > 0 , de donde
∗
w ̸= δ. Así δ ∈ C\A2 y δ ∈ D (w, r), por tanto w es un punto limite de C\A2 y
por ser w arbitrario, se tiene que C\A2 es abierto, lo que implica que A2 es cerrado -
De manera similar se prueba que A′2 = z ∈ C : − nπ < Arg{z} < nπ - Como A′2 ⊂ A2
entonces A2 = A2 - ∂A2 = z ∈ C : − nπ = Arg{z} ∨ nπ = Arg{z} ∨ z = 0
6
(c) A3 no es abierto porque
1 π π
1 2 n sen + i cos − 1 = 1 + 0i ∈ A3
2 2
(pero B(1 + 0i, r) ⊈ A3 para todo r > 0 ya que en B(1 + 0i, r) hay puntos que no estan
en la sucesion’ {zn }, con
√ π π
n
zn = n 2 sen + i cos −1
2n 2n
A3 es cerrado por ser un subconzunto numerable de C. Observemos ahora que paca todo
n ∈ N. √ π π √ 2
2 n n
|zn | = n 2 sen − n + in cos 2
2n 2n
√ π 2 √ π 2
n n
= n 2 sen − n + n 2 cos
2n π 2n √
√ π √ π
= n2n 4 sen2 − 2n2 2 sen + n2 4 cos
n
2n 2n 2n
√
2 n
√
2 n
π
= n 4 − 2n 2 sen
√ √ πn
2 n n
=n 4 − 2 2 sen
n
√ √ √ √
Como limn→∞ 4 = limn→∞ 2 = 1 y limn→∞ sen nπ = Sen 0 = 0, entonces limn→∞ n 4 − 2 n 2 sen π
n n
n =
2
Con lo cual limn→∞ |zn | = +∞ de donde Limn→∞ |zn | = +∞ y asi, {zn } → ∞, con lo
cual A3 no tiene puntos de acumulación, esto es A′3 = ϕi además
A3 = A3 ∪ A′3 = A3 ∪ ϕ = A3
Como A3 es cerrado, entonces F r(A3 ) ⊆ A3 , además para cualquier r > 0 y z ∈ A3 ,
B(z, r) tiene puntos en A3
■
√
4. Afirmación: Sea z ∈ C, con Re(z) > 0 entonces Re z̄ z 2 − 1 ≥ 0. Como z ∈ C, existen
a, b ∈ R tal que z = a + ib y trabajaremos con las ramas principales, lo que hacemos es ver
que para todo b ∈ R, se obtiene el resultado, y para esto debemos tomar casos.
Caso 1 b ⩾ 0 Se sigue que 0 ⩽ Arg{z} < π/2, por otra parte, si 0 < Arg z 2 < π, entonces
Arg z 2 − 1 > Arg z 2
⇒0 < 2 Arg{z} = Arg z 2 ⩽ Arg z 2 − 1
1
⇒0 < Arg{z} ⩽ Arg z 2 − 1 < π/2
2 n o
p
⇒0 < Arg{z} ⩽ Arg z 2 − 1 < π/2
np o
⇒0 < Arg z 2 − 1 < π/2(1)
Además, como − π2 < Arg{z̄} < 0 Sumando (1) y (2)
π np o π
− < Arg z 2 − 1 + Arg{z̄} <
2 2
π n p o π
− < Arg z̄ z 2 − 1 <
2 2
7
√
Así Re z̄ z 2 − 1 ⩾ 0. Caso 2. b < 0 Razonando de forma similar que en el caso anterior
obtenemos que:
π np o
− < Arg z2 − 1 < 0
2
π
y además, 0 < Arg{z̄} < 2 Sumando (3) y (4), se sigue
π np o π
− < Arg{z̄} + Arg z2 − 1 <
2 2
π n p
2
o π
⇒ − < Arg z̄ z − 1 <
2 2
√ √
Así Re z̄ z 2 − 1 > 0. En conclusión para todo b ∈ R se sigue que Re z̄ z 2 − 1 ⩾ 0. Ahora
√ √
suponga que Re{z} > 0, veamos que z + z 2 − 1 ⩾ 1 y z + z 2 − 1 = 1 si 0 < z ⩽ 1.
p n p o p 2
z+ z 2 − 1 = |z|2 + 2 Re z̄ z 2 − 1 + z2 − 1
n p o p 2
= |z|2 + 2 Re z̄ z 2 − 1 + z2 − 1
n p o
= |z|2 + 2 Re z̄ z 2 − 1 + z 2 − 1
n p o
⩾ z 2 − z 2 − 1 + 2 Re z̄ z 2 − 1
Por desigualdad triangular
n p o
= 1 + 2 Re z̄ z 2 − 1 Por afirmación
⩾1
- Si 0 < z ≤ 1, entonces, existe a ∈ R talque a ∈ (0, 1], así
p p
z+ z2 − 1 = a + a2 − 1
p
= a+ −1 (1 − a2 ) Factorizando
p √
= a + i 1 − a2 Aplicando que −1 = i
r q
2
= a2 + (1 − a2 ) Propiedad del modulo
p
= a2 + 1 − a2 Dado que 0 ⩽ 1 − x2 < 1
√
= 1
=1