Notas de Clase Variable 1

Capitulo I
Números Complejos
Los números naturales N y números enteros Z aparecieron de manera natural al resolver ecuaciones como
x−5=3 x+5=3 x + 5 = 5.
Pero, al atacar ecuaciones cuadráticas, los matemáticos de la antigüedad se toparon

√ con unos nuevos y extraños
números. Las soluciones de una ecuación tan sencilla como x2 + 4 = 0 eran x = ± −4. ¿Qué sentido tenı́a la
raı́z de un número negativo?
Todos recordamos desde el colegio la ecuación ax2 + bx + c = 0 y su solución general
√
b2 − 4ac
x = −b ± .
2a
√
Por ejemplo en la solución de x2 +√2x + 3 también aparece estos números √ √ x = −1 ± −8. Observe que
√ extraños
estos “nuevos” números extraños −a siempre tienen algo en común −a = a −1 esto significa que,
n√ o
Números extraños = gen −1 = gen{i}
La necesidad de encontrar un universo C donde vivan todas las

soluciones de estas ecuaciones, nos lleva a incluir un nuevo inte-
grante a la familia R. Este integrante es número extraño i.
Este universo C que estamos construyendo ya contiene a la familia

real (R, +, ·), ahora debemos preservar la cerradura del producto
(·) con el nuevo integrante i, esto nos lleva a incluir inmediata-
mente en C la familia creada por i, esta familia es gen{i} y se
hacen llamar imaginarios puros.
Y si queremos preservar la cerradura de la suma (+), entonces cada “interacción” entre la familia real e imaginaria
debe pertenecer al universo C. Esta interacción tendrı́a la forma a + bi, con a perteneciente a la familia real y bi
pertenecientes a la familia de imaginarios puros.
Ese universo (C, +, ·) que hemos construido y que contiene esos “números extraños” es llamado: Conjunto de
números complejos y que se denota por C.
En 1806 el matemático suizo Jean Argand propuso la siguiente representación que consiste en visualizar el
conjunto de números complejos que denotamos por C como un par ordenado en R2
z = a + bi 7→ (a, b),
donde a es la parte real de z la cual denotamos Re(z) y b es la parte imaginaria de z que denotamos por Im(z).
Definición 1. (Números complejos)

Los números complejos se define como
n o
C = a + bi : a, b ∈ R
Si z = a + bi y a = 0 entonces z = bi es un imaginario puro, (el cual identificamos (0, b)).

Si z = a + bi y b = 0 tenemos z = a es un número real, (el cual identificamos (a, 0)). Por ende, R ⊆ C.
1
Departamento de Matemáticas
Variable Compleja. Universidad Nacional de Colombia
Geométricamente, los números complejos se pueden identificar con los puntos del plano haciendo corresponder
al complejo z = x + yi y el punto de coordenadas (x, y). De ahı́ que el conjunto C reciba el nombre de plano
complejo. En adelante, identificaremos
z = a + bi ≡ (a, b)
La igualdad en C se define mediante
a + bi = c + di ⇔ a=c b=d
En particular, a + bi = 0 si y solo si a = b = 0.
Si z = x + yi, se define Re(z) = x y Im(z) = y (partes real e imaginaria del complejo
Ejercicio 1. Halle rápidamente
1. Re(iz)
2. Im(iz)
Teorema 2. En el conjunto de los números complejos C considere las siguientes operaciones
(a + bi) + (c + di) = (a + c) + i(b + d) (a, b) + (c, d) = (a + c, b + d)

(a + bi) · (c + di) = (ac − bd) + (ad + bc)i (a, b) · (c, d) = (ac − bd, ad + bc)
demuestre que (C, +, ·) tiene estructura de cuerpo
DEM: Sean z, zk ∈ C luego z = a + bi ≡ (a, b), y zk = ak + bk i ≡ (ak , bk ) veamos las siguientes propiedades
I) z1 + z2 = z2 + z1 V) z1 z2 = z2 z1
(a1 , b1 )(a2 , b2 ) = (a1 a2 − b1 b2 , a1 b2 + b1 a2 )
(a2 , b2 )(a1 , b1 ) = (a2 a1 − b2 b1 , a2 b1 + b2 a1 )
II) (z1 + z2 ) + z3 = z1 + (z2 + z3 ) VI) z1 (z2 z3 ) = (z1 z2 )z3
III) z + 0 = z VII) z1 = z
(a, b) · (1, 0) = (a − b0, 0 + b) = (a, b) = z
IV) Existe −z ∈ C tal que z + (−z) = 0 VIII) Para z 6= 0 existe z −1 ∈ C tal que zz −1 = 1.
IX) la operación (·) es distributiva respecto a la operación (+),
z(z1 + z2 ) = zz1 + zz2 (z1 + z2 )z = z1 z + z2 z
Definición 3. (Inverso)
a b
Si z ∈ C con z = a + bi 6= 0 entonces z −1 = , −
a 2 + b2 a 2 + b2
2
Dem: Supongamos que z −1 = w que propiedades debe cumplir w? pues, la de siempre
zw = 1 = 1 + 0i,
Observe que si z = a + bi y w = x + yi entonces
zw = (a + bi)(x + yi) = (ax − by) + (ay + bx)i = 1 + 0i
ası́ que debemos resolver el siguiente sistema de ecuaciones:

  
 ax − by = 1 a −b 1
 
 bx + ay = 0 b a 0
a b
Como z = a + bi 6= 0 entonces a2 + b2 6= 0, podemos ver que la solución a este sistema es x = ,y=− 2
a2 +b 2 a + b2
Ası́ que es inverso multiplicativo de z = a + bi el cual denotamos por z1−1 está dado por
a b a b
z −1 = w = − i ≡ , −
a 2 + b2 a 2 + b2 a 2 + b2 a 2 + b2
DIVISION ENTRE COMPLEJOS: Si z1 = a + bi y z2 = c + di entonces
z1 c d (ac + bd) + (bc − ad)i

X) := z1 z2−1 = (a, b) 2 , − = .
z2 c + d2 c 2 + d2 c 2 + d2
1
XI) = z2−1 Sol: Propiedad (10). con z1 = 1
z2
z1 1
XII) = z1 z2−1 = z1
z2 z2
PROPIEDADES ALGEBRAICAS
z1 z1 + z2 z2 z2 z1 + z2 (11) (9) (11) z
2 z2
= = + = (z1 + z2 )z3−1 = z1 z3−1 + z2 z3−1 = +
z2 z3 z3 z3 z3 z3 z3
(9 (9)
(1 + z)2 = 1 + 2z + z 2 (1 + z)2 = (1 + z)(1 + z) = (1 + z)1 + (1 + z)z = 1 + z + z + z 2 = 1 + 2z + z 2
(9)
(−1)z = −z z + (−1)z = z(1 + (−1)) = z(0) = 0
1 1
=z = 1(z −1 )−1 = zz −1 (z −1 )−1 = z1 = z
1/z z −1
(z1 z2 )(z3 z4 ) = z1 [z2 (z3 z4 )] = z1 [(z2 z3 )z4 ] = z1 [(z3 z2 )z4 ] = z1 [z3 (z2 z4 )]
(z1 z2 )(z3 z4 ) = (z1 z3 )(z2 z4 )
= (z1 z3 )(z2 z4 )
(z1 z2 )(z1−1 z2−1 ) = (z1 z1−1 )(z2 z2−1 ) 1 1 1
= (z1 z2 )−1 = z1−1 z2−1 =
= (1)(1) = 1 z1 z2 z1 z2
z1 z2 z1 z2 z1 z2 1 1 1 1 1 z z
1 2
= = z1 z2 = z1 z2 = z1 z2 =
z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4
z1 z z1 z1 z z1 z z1 1 z1 −1 z1 z1
= = = z = zz = 1 =
z2 z z2 z2 z z2 z z2 z z2 z2 z2
3
1.1. Conjugado y módulo de un número complejo

Es natural asociar cada número complejo z = a + bi con el segmento dirigido o
vector, desde el origen hasta el punto (a, b). De hecho, nos referimos con frecuencia a
z como el punto z o el vector z.
Definición 4. (Módulo y Conjugado)

Si z = a + bi ∈ C, se define el módulo y el complejo conjugado de z respectivamente
como sigue:

 |z| = k(a, b)k = √a2 + b2 (distancia de z al origen)
 z̄ = a − bi (reflexión de z respecto del eje real)
El número |z| es la distancia del punto (a, b) al origen, osea la longitud del vector z.
La desigualdad z1 < z2 NO tiene sentido salvo que sean números reales, la desigualdad |z1 | < |z2 | SI tiene
sentido y significa que el punto z1 está más cercano al origen que el punto z2 .
El número z ∈ C es real si y sólo z = z̄, e imaginario puro si y sólo z = −z̄
i ≡ (0, 1) entonces i2 = ii = (0, 1)(0, 1) = (−1, 0) ≡ −1.
Nótese que para todo λ ∈ R se tiene λ(x, y) = (λx, λy) = (λ, 0)(x, y)
Propiedades conjugado: Sean z, w ∈ C.

z+z 4. zw = z w
1. Re(z) =
2
5. z = z
z−z
2. Im(z) =
2i 6. z n = z n , n ∈ N
z z 1 1
3. z + w = z + w 7. ( ) = en particular ( ) =
w w̄ w w
Propiedades Modulo: Sean z, w ∈ C.

z |z|
1. |z| = |z|
5. = con w 6= 0
w |w|
z
2. zz = |z|2 . En particular z −1 =
|z|2 6. Re(z) ≤ |z|
3. |zw| = |z||w| 7. Im(z) ≤ |z|.
4. |z| = |−z| = |z|
Ejemplo 1. Calcule
5(6 + 2i) − 5(1 + 3i)

Si z = + 7 + 2i. Halle z.
−1 + i − 2
4
(3 + 7i)2 (3 − 7i)2
Verifique =
8 + 6i 8 − 6i

(2 + i√5)(1 + i√3)3

Halle √ √
5+i 3
500
−3 + i
Ejemplo 2. Halle .
2i − 1
SOL: Para ello, primero observe que
−3 + i (−3 + i)(−2i − 1) 6i + 3 − 2i2 − i 5i + 5

= = = =1+i
2i − 1 (2i − 1)(−2i − 1) −4i2 + 1 5
500 h i250
−3 + i 500 2
Entonces = (1 + i) = (1 + i) = (2i)250 = 2250 i250 = −2250 .
2i − 1
Ejercicio 2. Calcule:
3
1+i
1−i
√ !100
1+i 3
1−i
Desigualdad Triangular |z + w| ≤ |z| + |w|.

DEM: Observe que,
|z + w|2 = (z + w)(z + w) = |z|2 +

Consecuencia: |z| − |w| ≤ |z − w|.

Dem: Primero recuerde que |z| − |w| ≤ |z − w| es equivalente a −|z − w| ≤ |z| − |w| ≤ |z − w|.
Por otra parte,

|z| = |z − w + w| ≤
|w| = |w − z + z| ≤
5
Representación polar y argumento de número complejo

Hemos visto que los números complejos pueden representarse como vectores en el plano
C. Usando las coordenadas polares en R2 y la representación de C con este espacio R2 . Si
z = x + iy ∈ C\{0} entonces
x = r cos θ = |z| cos θ
y = r sen θ = |z| sin θ
donde θ es el ángulo (medido en radianes) entre z = x + iy y el semieje real positivo. El
angulo θ está dado por
y y π π
tan θ = ⇒ θ = tan−1 − <θ<
x x 2 2
Sin embargo esta expresión no será válida en el II-III cuadrante. Por otra parte los ángulos
de inclinación dados por
θ + 2πk, k = 0, ±1, ±2, . . .
también proporcionan la misma dirección en el plano complejo.
Definición 5. (Forma polar y Argumento)
Para z ∈ C definimos la forma polar de z como
z = r (cos θ + i sen θ) .
donde θ := arg(z) es un ángulo (cualquiera) formado por el eje real positivo con el
vector z. En adelante arg(z) es llamado argumento de z,
arg(z) NO es una función pues a z se le puede asociar θ o θ + 2π, ect. Es decir, puede tomar infinitos valores
posibles.
y
Un argumento para z puede hallarse a partir de la ecuación tan(θ) = pero hay que tener en cuenta que los
x
valores que arroja la calculadora siempre están entre (−π/2, π/2).
En general la forma polar se reescribe como

z = |z| cos(arg (z)) + i sin(arg (z))
Ejemplo 3. Halle la forma polar de −1, −i, 1 y −1 − i.
Argumento principal de z
Definición 6. (Argumento principal de z)

Es el único valor de arg (z) que está entre (−π, π] y se denota por Arg(z). Ası́ que
arg (z) = Arg(z) + 2πk, k ∈ Z.
OBS: El argumento principal puede también definido en cualquier intervalo semiabierto I de longitud 2π,
ArgI : C − 0 → I. Por ejemplo
5π 5π
Arg[0,2π) (−1 − i) = Arg( π2 ,− 3π
2 ]
(−1 + i) = − .
4 4
6
Si z es un número real negativo entonces Arg(z) = π.
El argumento Arg = arg (−π,π]
Arg : C\{0} → (−π, π] es una función discontinua en R− ∪ {0}. Análogamente, Arg : C\{0} → [0, 2π) es
discontinua en R+ {0}.
Dado que el argumento principal de z depende del cuadrante donde se encuentra, usaremos los siguientes tips
para calcularlo.


 tan−1 xy si x > 0 (osea z está en el I y IV cuadrante)



 π

 si x = 0 e y > 0 (osea z está en el semieje imaginario positivo)
 2

y
Arg(z) = π + tan−1 x si x < 0 e y ≥ 0 (osea z está en el II cuadrante)



 −1 y

 −π + tan x si x < 0 e y < 0 (osea z está en el III cuadrante)


 −2π
si x = 0 e y < 0 (osea z está en el semieje imaginario negativo)
Ejemplo 4. Exprese los arg (i) y de arg (−1 − i).
π
SOL: No es difı́cil dar los argumentos principales, Arg(i) = 2 y Arg(−1 − i) = − 3π
4 . Por tanto,
nπ o n 3π o n 5π o
arg(i) ∈ + 2πk k∈Z arg(−1 − i) ∈ − + 2πk k∈Z = + 2πk k∈Z
2 4 4
Proposition 7. Sean z, z1 , z2 ∈ C.
1. arg(z1 z2 ) = arg(z1 ) + arg(z2 ), 3. arg(z) = −arg(z)

z1
2. arg(z −1 ) = −arg(z). 4. arg = arg(z1 ) − arg(z2 )
z2
DEM (1): Supongamos que z1 = r1 (cos θ1 + i sen θ1 ), z2 = r2 (cos θ2 + i sen θ2 )

luego tenemos
z1 z2 = r1 (cos θ1 + i sen θ1 )r2 (cos θ2 + i sen θ2 )

= r1 r2 (cos θ1 cos θ2 − sen θ1 sen θ2 + i [cos θ1 sen θ2 + sen θ1 cos θ2 ])
= r1 r2 (cos(θ1 + θ2 ) + i sen(θ1 + θ2 )) .
De este cálculo se sigue que |z1 z2 | = r1 r2 = |z1 ||z2 | Luego,
arg(z1 z2 ) = θ1 + θ2 + 2πk = θ1 + 2πk1 + θ2 + 2πk2 = arg(z1 ) + arg(z2 ).
De manera análoga se prueban el segundo y tercer item.
Note que en general Arg(z1 z2 ) 6= Arg(z1 ) + Arg(z2 ). Por ejemplo

π
Arg(−i) = − 6= Arg(−1) + Arg(i) = 3π/2
2
Ejercicio 3. Halle:
7
Arg(−1 − i)
Arg(1 + i).
La forma polar de −1 + i
1.1.1. La función exponencial
En curso de calculo integral estudiamos la serie de potencias de ciertas funciones
X∞ n ∞
X ∞
X
t t2n t2n+1
et = cos t = (−1)n sin t = (−1)n
n=0
n! n=0
(2n)! n=0
(2n + 1)!
Si z = x + iy ∈ C, la propiedad et+s = et es sugiere definir ez = ex eiy . Pero que es eiy ?. Observe que de la
definición de et encontramos que
X∞ ∞
X X∞ X∞ X∞
(iy)n (iy)n (iy)n (iy)2m (iy)2m+1
eiy = = + = +
n=0
n! n=par
n! n=impar
n! m=0
(2m)! m=0
(2m + 1)!
∞
X X∞
y 2mm y 2m+1
= (−1) +i (−1)m
m=0
(2m)! m=0
(2m + 1)!
= cos(y) + i sen(y)
Definición 8. (La función Exponencial)

Para z = x + iy ∈ C (x, y ∈ R), definimos

ez = ex+iy = ex eiy = ex cos(y) + i sen(y)
1
Para θ ∈ R tenemos entonces que eiθ = cos(θ) + i sen(θ).
La forma polar de z se puede escribir de la siguiente manera z = reiθ .
Si z ∈ R, la exponencial compleja se reduce obviamente a la exponencial real.
Ejemplo 5. Algunos valores para eiθ
e0 eiπ/2 eiπ = ei3π/2 = ei2π
Proposition 9. (Propiedades de ez )
Para todo z, w ∈ C
1. |ez | = eRez 3. ez+w = ez ew 5. ez = 1 ⇔ z = 2πki con k ∈ Z
2. arg(ez ) = Imz 4. (ez )−1 = e−z 6. ez = ez

7. ez es una función periódica, cuyos perı́odos son los números 2πki con k ∈ Z.
DEM: 1) y 2) Inmediata de la definición.

3) Si z = x1 + iy1 , w = x2 + iy2 , de la propiedad (1) y (2) se sigue que

ez ew = ex1 ex2 cos(y1 + y2 ) + i sen(y1 + y2 ) = ex1 +x2 cos(y1 + y2 ) + i sen(y1 + y2 ) = ez+w
4) ez e−z = e0 = 1 entonces (ez )−1 = e−z

5) ez = ex cos y + i sen y = 1 entonces ex = 1, y = 0 + 2πk, (k ∈ Z) ⇔ x = 0 y y = 2πk, (k ∈ Z). Por tanto
1 cos(θ) + i sen(θ) también es llamado cis(θ)
8
z = 0 + 2πk (k ∈ Z)
6) Directa
7) ez = ez+w ⇔ ew = 1 entonces w = 2πki (k ∈ Z)
Para finalizar esta sección expresemos cualquier z ∈ C en forma exponecial
Definición 10. (Forma Exponencial de z)
Para forma o representación exponencial de un complejo z está dada por
z = reiθ donde r = |z| y θ = arg (z)
Con el convenio de que e−iθ = ei(−θ) , entonces por ejemplo

√ √
−1 − i = 2ei(−3π/4) = 2e−i(3π/4)
Geométricamente los complejos z = eiθ están en la circuferencia de radio r

centrada en el origen, por ejemplo es geoemtricamente obvio que
eiπ = 1 e−π/2 = −i, e−i4π = 1
Hacemos notar, además, que la ecuación
z = Reiθ 0 ≤ θ ≤ 2π
es una representación paramétrica de la circunferencia |z| = R, centrada en el

origen y de radio R. Mas en general, la circunferencia |z − z0 | = R con centro
en z0 y radio R, admite la representación paramétrica
z = z0 + Reiθ 0 ≤ θ ≤ 2π
Esto se puede ver vectorialmente (ver figura) sin más que observar que un punto
z que recorre la circunferencia |z − z0 | = R una vez en sentido antihorario
corresponde a la suma de vector fijo z0 y de un vector de longitud R cuyo
ángulo de inclinación θ varia entre 0 ≤ θ ≤ 2π.
Mejor Notación Sea z = reiθ , z1 = r1 eiθ1 y z1 = r2 eiθ2 entonces

z1 z2 = (r1 eiθ1 )(r2 eiθ2 ) = r1 r2 ei(θ1 +θ2 ) 1 1
z −1 = = e−iθ
z r
z1 r1 eiθ1 r1
= = ei(θ1 −θ2 )
z2 r2 eiθ2 r2
Fórmula de de Moivre
La siguiente formula se debe al matemático francés Abraham De Moivre (1667-1754).
Teorema 11. (Fórmula de Moivre)

Si z = r(cos θ + i sin θ) = reiθ entonces
h i
z n = rn cos(nθ) + i sin(nθ) = rn einθ fórmula de Moivre (1.1)
Dem: (Inducción) Para n ≥ 0.
para n = 1, z 1 = reiθ .
Hip Inductiva Supongamos que la ecuación es valida para n = m es decir, z m = rm eimθ .
Demostremos la validez para n = m + 1

z m+1 = zz m = (reiθ ) rm eimθ = rm+1 ei(m+1)θ
9
Queda demostrado ası́ para todo entero positivo. Asimismo si adoptamos el convenio de z 0 = 1, entonces tambien
es valida para n = 0. Y que paso cuando n es negativo? Resp/ la ecuación se reescribe de la siguiente forma
z n = (z −1 )−n − n = 1, 2, 3 . . .
Dado que (??) es valida para los positivos entonces
1 −n 1 −n
z n = (z −1 )−n = ei(−θ) = ei(−n)(−θ) = rn einθ
r r
OBS: Si r = 1, la expresión (??) se convierte en

n
eiθ = einθ n = 0, ±1, ±2, . . .
Ejemplo 6. Expresar cos(3θ) y sen(3θ) como un polinomio en cos θ y sen θ.
SOL: La fórmula de de Moivre permite decir que
cos(3θ) + i sin(3θ) = (cos θ + i sin θ)3

= cos(t)3 − 3 cos θ sin2 θ + i 3 cos2 sin θ − sin3 θ
Entonces,
cos(3θ) = cos(t)3 − 3 cos θ sin2 θ sin(3θ) = 3 cos2 sin θ − sin3 θ
√ 7
Ejemplo 7. Hallar 3+i
√ π
SOL: No es difı́cil ver que Arg( 3 + i) = 6.
Luego usando la formula de Moivre
√ 7 π 7 7π √3 i √
i( 6 ) 7 i( 6 ) 7
3 + i = 2e =2 e =2 − − = −64 3+i
2 2
Ejemplo 8. Hallar (1 − i)23
SOL: No es difı́cil ver que Arg(1 − i) = − π4 . Luego usando la formula de Moivre

√ −π 23 √ 23π
(1 − i)23 = ( 2)ei( 4 ) = ( 2)23 e−i( 4 )
Pero, − 23π
4 =
π
4 − 6π. Por tanto,
√ 23π √ π √ √2 √
2
(1 − i)23 = ( 2)23 ei(− 4 ) = ( 2)23 ei( 4 ) = ( 2)23 +i
2 2
1.2. Raı́ces de números complejos

Dado que z = reiθ está situada en una circunferencia de radio r y centrada en el
origen. Ahora, si dos números complejos no nulos
z1 = r1 eiθ1 y z1 = r1 eiθ2
son iguales si, y sólo si,
r1 = r2 y θ1 = θ2 + 2πk k = 1, 2, . . ..
Esta importante observación, unida a la expresión z n = rn einθ es útil para hallar las
raı́ces n-ésimas de un número complejo z0 = r0 eiθ0 . El método se basa en que una
raı́z n-ésima de z0 es un número complejo no nulo z = reiθ tal que
z n = z0 ⇔ (reiθ )n = r0 eiθ0 ⇔ rn = r y nθ = θ0 + 2πk
10
Luego, concluimos que

√ θ0 2πk
r= n
r0 y θ= + , k = 0, ±1, ±2, . . . .
n n
Definición 12. (Raices n-ésimas)

las raı́ces n-esimas de z0 son números complejos distintos dados por

√ θ0 2πk
ck = n r0 ei n + n k = 1, 2, . . . , n (1.2)
Las raı́ces ck son números que verifican la ecuación (ck )n = z0 , y podemos

reescribirlas como
√ θ0 2πk
ck = c0 wnk donde c0 = n
r0 ei n y wnk = ei( n )
donde k = 1, 2, . . . , n. Por tanto, las n raı́ces distintas son
c0 , c0 wn , c0 wn2 , c0 wn3 , . . . , c0 wnn−1
Geométricamente todos estas raı́ces están situadas en la circunferencia |z| =

√n r centradas en el origen y están uniformemente espaciadas por 2π/n radianes,
0
a partir del argumento inicial θn0 .
La primera raı́z c0 tiene argumento θ0 /n y es la raı́z principal
Las raı́ces forman un polı́gono regular de n lados inscrito en una circunferencia.
Ejemplo 9. Halle las n-raı́ces de la unidad, esto es, halle las soluciones de z n = 1.
SOL: Observe que 1 = 1ei(0+2πk) con k ∈ Z. Las n soluciones a esta ecuación están dadas por,
0 2πk 2πk
ck = 11/n = (1)1/n ei( n + n ) = ei( n )
Por ejemplo si n = 3 las raı́ces son

√ √
2π 1 3 4π 1 3
c0 = 1, c1 = ei( 3 ) =− +i , c2 = ei( 3 ) =− −i .
2 2 2 2
2πk
Observe que aquı́ c0 = 1 y wnk = ei( n ). Ilustremos gráficamente las n raı́ces de 1 para n = 3, 4, 6.
Ejemplo 10. Halle las raı́ces cúbicas de i es decir, resuelva la ecuación z 3 = i

π π 2πk
Sol: Observe que i = 1ei( 2 +2πk) con k ∈ Z. De manera que las 3 raices buscadas son ck = (i)1/3 = ei( 6 + 3 ), es
decir,
π 1 √ π 2π 1 √ π 4π
c0 = ei( 6 ) = ( 3 + i) c1 = ei( 6 + 3 ) = (− 3 + i) c2 = ei( 6 + 3 ) = −i
2 2
11
Ejemplo 11. Halle las raı́ces cúbicas de −8i. es decir, z 3 = −8i

π
Sol: Observe que −8i = | − 8i|ei(− 2 +2πk) con k ∈ Z. De manera que las raı́ces buscadas son
π 2πk

ck = 2ei − 6 + 3 k = 0, 1, 2
Por tanto,
π √ π 7π √
c0 = 2ei(− 6 ) = 3 − i, c1 = 2ei( 2 ) = 2i c2 = 2ei( 6 ) = − 3 − i.
Ejemplo 12. Encuentre y dibuje las raı́ces cubicas de 1 + i.

π
Sol: Observe que 1 + i = |1 + i|ei( 4 +2πk) con k ∈ Z. De manera que las raı́ces
cubicas buscadas son
√ π 2πk
ck = ( 2)1/3 ei( 12 + 3 ) k = 0, 1, 2
Por tanto,
π 3π 17π
c0 = (2)1/6 ei( 12 ) , c1 = (2)1/6 ei( 4 ) c2 = (2)1/6 ei( 12 )
1.2.1. Secciones Cónicas
Las secciones cónicas proporcionan ejemplos adicionales de conceptos vista hasta ahora.Aunque pueden utilizarse
las fórmulas d ela geometrı́a analı́tica con x = Re(z) y z = Im(z), es fácil definir las secciones cónicas en términos
de distancia.
Definición 13. (Cónica: Elipse)
Una elipse se define como el conjunto de todos los puntos z ∈ C tales que la suma
de sus distancia a dos puntos fijos z0 , z1 ∈ C, llamados focos, es constante. En otras
palabras, satisfacen la siguiente ecuación:
|z − z0 | + |z + z1 | = c, c es una constante real.
Ejemplo 13. ¿Cuál es la ecuación compleja de la elipse que pasa a través de i y que tiene
sus focos en ±1?
SOL: Basándonos en la definición de elipse conduce a
|z − 1| + |z + 1| = c, c es una constante real
¿Como hallamos la constante c? Resp/ dado√que la elipse pasa por z = i entonces debe
cumplir esta ecuación c = |i − 1| + |i + 1| = 2 2. Ası́ la ecuación de la elipse es:
√
|z − 1| + |z + 1| = 2 2
Definición 14. (Cónica: Parábola)

Una parábola se define como el conjunto de todos los puntos de C cuya distancia a
un punto dado z0 ∈ C, llamado foco, es igual a su distancia a una recta fija llamada
directriz. (recta Im(z) = b ó recta Re(z) = a). Matematicamente hablando

 Re(z) − a parábola abriendo derecha-izquierda
|z − z0 | =
 Im(z) − b parábola abriendo arriba-abajo
12
Ejemplo 14. Encuentre la ecuación de la parábola que tiene a i como foco y

la recta Im(z) = −1 como directriz.
SOL: Por definición, la ecuación compleja obtenemos
|z − i| = Im(z) + 1 ⇔ |z|2 − 2Re(zi) + 1 = (Im(z) + 1)2 .
Luego si y = Im(z) y |z|2 = x2 + y 2 obtenemos la parábola
x2
y=
4
Definición 15. (Cónica: Hipérbola)

Una hipérbola se define como el conjunto de todos los puntos z ∈ C tales que el
valor absoluto de la diferencia entre las distancias de z a dos puntos fijos z0 , z1 ∈ C
llamados focos es una constante. Matemáticamente hablando

|z − z0 | − |z − z1 | = c c es una constante real
Ejemplo 15. Cuál es la ecuación de la hipérbola con focos ±1 que pasa por el punto 1 + i.
SOL: Por definición, la ecuación compleja es

|z − 1| − |z + 1| = c.
¿Como hallamos la constante c? Resp/ dado que la hipérbola pasa por z = 1 + i entonces debe cumplir esta
√
ecuación c = |1 + i − 1| − |1 + i + 1| = 5 − 1. Ası́ la ecuación de la hipérbola es:
√

|z − 1| − |z + 1| = 5 − 1
1.3. Regiones en el plano complejo
En esta sección estudiaremos algunos conjuntos de números complejos. Nuestro

instrumento fundamental será el concepto de ε-entorno de un punto z0 .
ε-ENTORNO esta región es la que nosotros llamamos disco abierto con centro
en z0 y radio ε.
|z − z0 | < ε
ENTORNO PERFORADO su inecuación esta dada por
0 < |z − z0 | < ε
Esta región consta de todos los puntos z de un ε-entorno de z0 excepto el

propio z0 .
ANILLO (con frontera) con centro en z0 . La siguiente desigualdad descri-

be un anillo (con frontera) con centro en z0 y radio inferior r1 y radio superior
r2 :
r1 < |z − z0 | < r2 .
13
LÍNEAS: Sea L una linea recta en C. Del álgebra lineal sabemos que L está deter-
minada por un punto en L y un vector director. Ası́ que si z1 en cualquier punto en
L y z2 es su vector director entonces
L = {z = z1 + tz2 : ∞ < t < ∞}
Si z2 6= 0 entonces

z − z1 z − z1
L= z∈C:t= = z ∈ C : Im =0
z2 z2
SEMIPLANOS n o
Semiplano superior z ∈ C : Im z−z 1
> 0 .
n z2 o
Semiplano inferior z ∈ C : Im z−z
z2
1
<0
Ahora veamos algunos ejemplos de curvas en el plano complejo.

Ejemplo 16. Grafique
i) Re(z) = 3.
ii) Im(z) = −1/2.
iii) |2z − i| = 4.
iv) |z + 2i| + |z − 2i| = 6.
v) |z − 3| − |z + 3| = 4.
Ejemplo 17. Analicemos algunas regiones
a) Grafique Re(z) < Im(z).
b) Grafique −2 ≤ Re(z) ≤ 3.
c) Determine todos los z tales que

|z|2 + 3Re(z 2 ) < 4.
Ejercicio 4. Grafique
Re(z) < 2.
Re(z − i) = 2
|z + i| = |z − i|
14
z2 + z2 = 2
1.4. Topologı́a del Plano

Punto Interior. Diremos que a es un punto interior de una región S ⊆ C si existe una bola B(a; ǫ) ⊆ S.
Conjunto Abierto. Diremos que S es un conjunto abierto si todos sus puntos son interiores. Ejemplo:
ε-entorno con centro en z0 ∈ C y radio ε.
Punto Frontera. Diremos que a es un punto frontera de una región S ⊆ C si toda bola B(a; ǫ) contiene
puntos de S y que no están en S.
Punto de acumulación. Diremos que a es un punto de acumulación de una región S ⊆ C si toda bola
perforada B(a; ǫ) lo suficientemente pequeña contiene puntos de S.
Conjunto Cerrado. Diremos que S es un conjunto cerrado si contiene todos sus

puntos de acumulación o todos sus puntos de frontera. Ejemplos: una circunferencia
con centro en el origen y radio 2, una bola con centro z0 y radio 1, esto es, |z −z0 | ≤ 1.
Conjunto Arconexo Diremos que S es un conjunto arcoconexo si cualquier par
de puntos de S pueden ser unidos por un camino poligonal (unión de segmentos
rectos) contenido en S. Ejemplo: un anillo con centro en z0 y radios r1 y r2 , es decir,
r1 ≤ |z − z0 | ≤ r2 .
Conjuntos separados Dos conjuntos R, S se dicen que están separados cuando R ∩ S = ∅ y R ∩ S = ∅.
Conjunto conexo Diremos que T es conexo cuando es imposible descomponerlo en la forma S = R ∪ S

donde R, S son conjuntos separados no vacı́os.
C es conexo, lo que significa que los únicos subconjuntos de C que son simultáneamente abiertos y cerrados
son C y ∅.
Conjunto Arconexo. Si γ : [a, b] → S ⊂ C es continua se dice que es un arco en S de pro inicial γ(a) y
punto final γ(b). Un conjunto S se dice que es conexo por arcos cuando para cada par a, b ∈ S existe un
arco γ : [0, 1] → S de origen γ(0) = a y extremo γ(1) = b. Todo conjunto S conexo por arcos es conexo. El
recı́proco se cumple si S es abierto.
Dominio. Diremos que S es un dominio (o región) si es abierto y conexo. Ejemplo: un anillo (sin frontera)
r1 < |z − z0 | < r2 .
1.5. Representación esférica de números complejos. Proyección este-

rográfica
Sea P = {(x, y, 0) : x, y ∈ R} el plano complejo y considérese una

esfera unitaria

S 2 = (x1 , x2 , x3 ) ∈ R3 : x21 + x22 + x23 = 1 .
Sea N = (0, 0, 1) un punto de la esfera que llamaremos polo norte.

Ahora, note que para cualquier punto z = (x, y, 0) sobre P pode-
mos construir una recta L que una los puntos N y z, e intersecte a
la esfera S 2 en el punto P = (x1 , x2 , x3 ). En este caso, excluyendo
el punto N , a cada punto del plano complejo P le corresponde
uno y solamente un punto de la esfera S 2 y podemos representar
cualquier número complejo por un punto sobre S 2 \{N }.
15
Note que
n o
L = {z + t(N − z) : t ∈ R} = {tN + (1 − t)z : t ∈ R} = (1 − t)x, (1 − t)y, t : t ∈ R

y L ∩ S 2 \ {N } = P implica que existe un t0 ∈ R\ {1} tal que P = (1 − t0 )x, (1 − t0 )y, t0 es decir,
x1 = (1 − t0 )x, x2 = (1 − t0 )y, x 3 = t0
y como x1 2 + x2 2 + x3 2 = 1 obtenemos
|z|2 − 1 2
(1 − t0 )2 (x2 + y 2 ) + t20 = 1 ⇒ t0 = ⇒ 1 − t0 =
|z|2 + 1 |z|2 + 1
2x 2y |z|2 − 1
Luego, x1 = , x 2 = y x 3 = . Por tanto, podemos definir la función
|z|2 + 1 |z|2 + 1 |z|2 + 1
φ :C → S 2 \ {N }

2x 2y |z|2 − 1
(x, y, 0) → φ(x, y) = 2
, 2 , 2
|z| + 1 |z| + 1 |z| + 1
la cual se puede extender a toda la esfera S 2 uniendo el infinito del plano complejo ∞ a los complejos
φe :C ∪ {∞} → S 2 \ {N }
e
z ∈ C → φ(z) = φ(z)
∞ → N,
C ∪ {∞} recibe el nombre de plano complejo extendido y se denota por C∞ . El método anteriormente explicado se
denomina proyección estereográfica y la esfera se llama esfera de Riemann.
Proposition 16. (Cı́rculos enviá en cı́rculos)
Bajo la proyección estereográfica, cı́rculos en la esfera corresponden a cı́rculos y lineas
rectas en el plano.
Dem: Consideremos un cı́rculo general en el plano C, se sabe que la ecuación de un

circulo viene dada por
x2 + y 2 + ax + by + c = 0 (1.3)
esta ecuación representa, o bien un circulo, un punto, o vació. Observe que si comple-
temos cuadrados, tenemos que
a 2 a 2 a 2 + b2
(x + + (y + = −c
2 2 4
2 2
Los tres posibles casos corresponden al hecho de que a +b 4 − c es positivo, cero, ó estrictamente negativo.
Consideremos un circulo en la esfera, el cual se expresa como la intersección de la esfera y un plano AX +BY +CZ =
D. La proyección estereográfica de este circulo sobre el plano C consiste de puntos z = x + iy ∈ C que satisfacen
2x 2y |z|2 − 1
A( ) + B( 2 ) + C( 2 )=D (1.4)
|z|2
+1 |z| + 1 |z| + 1
Reescribiendo
(C − D)(x2 + y 2 ) + 2Ax + 2By − (C + D) = 0 (1.5)
Si C = D entonces (??) es una recta en C y su proyección estereografica a la esfera es la intersección de la

esfera con un plano que pasa por el N ¿PORQUE?.
16
Si C 6= D entonces dividimos por C − D entonces (??) seriá equivalente a
2A 2B −(C + D)
x2 + y 2 + a′ x + b′ y + c′ = 0, a′ = b′ = c′ =
C −D C −D C −D
es decir, tiene misma forma de la ecuación (??).
A 2 B 2 A2 + B 2 C +D A2 + B 2 + C 2 − D2
(x + + (y + = 2
+ = > 0?
C −D C −D (C − D) C −D (C − D)2
Ası́ que la proyección estereográfica de un circulo en C a la esfera es otro circulo contenido en la esfera.
El argumento es reversible, todo circulo en el plano es el foco de soluciones de una ecuación de la forma
x2 + y 2 + ax + by + c = 0
Al aplicar la proyección estereográfica a los puntos de este circulo, obtenemos una curva en la esfera. Ahora veamos
que esta curva es justamente un circulo en la esfera. Para ello basta mostrar que ψ(x, y) = (X, Y, Z) satisfacen la
ecuación de un plano AX + BY + CZ = D para algunos coeficientes A, B, C, D.
Teniendo en mente la ecuación del plano escrita en términos de las coordenadas x, y (ver ??), que es equivalente
a

(C − D)(x2 + y 2 ) + |{z} 2B y + − (C + D) = 0
2A x + |{z} (1.6)
| {z } | {z }
1 a b c
de manera que si definimos 2A = a, 2B = b, C − D = 1, y −(C + D) = c, garantizamos la existencia de los

coeficientes del plano AX + BY + CZ + D = 0. Ası́, (??) es justamente la ecuación original del cı́rculo, por lo tanto
los puntos ψ(x, y) = (X, Y, Z) satisfacen la ecuación de plano y por ende es un circulo en la esfera.
Similarmente, toda recta en el plano es el foco de soluciones de una ecuación de la forma ax + by + c = 0 la cual
también determina un plano vı́a 2A = a, 2B = b, C = D = −c/2 y este plano corta a la esfera en un circulo que
contiene al polo norte.
Dado que las lineas rectas en el plano corresponden a cı́rculos sobre la esfera a través del polo norte, es conveniente
dotar una linea recta en el plano complejo como un circulo a través del ∞. Con esta convención el teorema afirma
simplemente que la proyección estereográfica mapea cı́rculos sobre la esfera a cı́rculos in el plano complejo extendido
C∞ .
17
Capitulo II
Funciones Complejas
En esta sección vamos a estudiar funciones que dependen de una variable compleja f (z) y definiremos para ella
una teorı́a de la derivación.
Definición 17. (Función Compleja)
Una función de variable compleja es una función f : S ⊆ C −→ C, tal que f (z) = w.
Es decir, es una regla que asigna un número complejo w a cada número complejo z
de un conjunto S.
Quiero recalcar que para definir una función hacen falta dos ingredientes: Un dominio de definición y una regla
de asignación. Cuando no se haga mención explicita del dominio de definición se sobreentenderá que es el más
grande posible.
¿Que información se desprende de f (z) = w?
Dado que z, w ∈ C entonces si z = x + iy y w = u + iv. Luego,
f (z) = f (x + iy) = u(x, y) + iv(x, y).
Y si escribimos a z = reiθ (forma polar) podemos expresar la función compleja de esta forma
f (z) = u(r, θ) + iv(r, θ).
Note que un función compleja f (z) consiste en unpar de funciones reales de dos variables reales, u(x, y) y
v(x, y) también para la forma polar u(r, θ), v(r, θ) .
Si v = 0 entonces f (z) = u(x, y) es una función real de una variable compleja, Por ejemplo f (z) = |z|2 =
x2 + y 2 o g(z) = Re(z) = x.4
Dada la transformación w = f (z) o, de manera equivalente, u = u(x, y), v = v(x, y), a (x, y) se le conoce
como coordenadas rectangulares del punto P en el plano z, y a (u, v) como coordenadas curvilı́neas de P .
Las curvas
u(x, y) = c1 , v(x, y) = c2 ,
donde c1 y c2 son constantes, se llaman coordenadas curvas, y cada par de estas curvas se intersecan en un
punto. Estas curvas se llevan a rectas ortogonales del plano w.
Ejemplo 18 (Algunas funciones complejas).
18
√ √
a) f : C → C definida como f (z) = 3 − 2i. Aquı́, dom(f ) = C .Si z = x + iy entonces f (z) = 3 − 2i y
√
u(x, y) = 3 v(x, y) = −2.
b) f : C → C definida como f (z) = z 2 . Aquı́ dom(f ) = C. Si z = x+iy entonces f (z) = (x+iy)2 = (x2 −y 2 )+i2xy
y por lo tanto
u(x, y) = x2 − y 2 v(x, y) = 2xy.
Otra forma de expresar esta función es utilizando coordenadas polares, si z = reiθ entonces
f (z) = (reiθ )2 = r2 ei(2θ) = r2 (cos(2θ) + i sen(2θ)) = r2 cos(2θ) + ir2 sen(2θ).
Por ende,
u(r, θ) = r2 cos(2θ) v(r, θ) = r2 sen(2θ).
1 z
c) f : C → C definida como f (z) = = 2 . Dom(f ) = S = C\{0}. Si z = x + iy entonces
z |z|
x − iy x −y
f (z) = 2 2
= 2 2
+i 2 .
x +y x +y x + y2
De aquı́ concluimos
x y
u(x, y) = v(x, y) = − .
x2 + y2 x2 + y2
Por otra parte, usando coordenadas polares z = reiθ tenemos que
z reiθ 1 1 1
f (z) = 2
= 2
= e−iθ = cos(θ) − i sen(θ).
|z| r r r r
Luego,
1 1
u(r, θ) = cos(θ) v(r, θ) = − sen(θ).
r r
Definición 18. (Polinomios complejos)

Si n ≥ 0 es un entero y a0 , a1 , · · · , an son constantes complejas con an 6= 0. Entonces
p(z) = a0 + a1 z + a2 z 2 + · · · + an z n
es un polinomio de grado n. Note que su dominio es C.
Ejemplo 19. La función compleja p(z) = 5iz 4 − 3z 3 − 2i es un polinomio complejo de grado 4.

Ejemplo 20. Halle las raı́ces del polinomio complejo p(z) = z 2 + (2i − 3)z − 2i + 1/4.
Sol: Las raı́ces están dadas por la ecuación p(z) = 0 y como es un polinomio cuadrático, las raı́ces están dadas
por
Definición 19. (Funciones Racionales)

Las funciones racionales complejas son de la forma
p(z)
f (z) = ,
q(z)
donde p(z) y q(z) son polinomios complejos. Note que su dominio está dado por
S = {z ∈ C : q(z) 6= 0} .
19
z + 5i
Por ejemplo f (z) = es una función racional compleja.
z 3 + 2iz 2 − 5
az + b
Si función racional dada por f (z) = donde ad − bc 6= 0 son conocidas como Transformaciones de
cz + d
Möbius que son muy importantes en las aplicaciones de fı́sica e ingenierı́a eléctrica. (la veremos después)
2.1. Mapeo de funciones complejas

Las propiedades de una función real y = f (x) pueden describirse geométricamente por medio de su gráfica en el
plano R2 . Pero para w = f (z) con z ∈ C no es posible hacer una gráfica análoga porque cada uno de esos números
complejos está en un plano, no en una recta, por ende necesitarı́amos 4 dimensiones, dos por cada variable compleja.
En lugar de esto, la información acerca de f (z) = w se expresa creando dos planos complejos, un z-plano para el
espacio dominio y un w-plano para el espacio del rango. Luego visualizamos a f (z) como un aplicación del z-plano
a el w-plano y analizamos como varias configuraciones en el z-plano son mapeadas por f (z) = w al w-plano.
las configuraciones geométricas en el z-plano a considerar dependen mucho de las especificaciones de la función
f (z).
. z-plano w-plano
Definición 20. (Mapeo de funciones complejas)

Una mapeo es una aplicación de z-plano (dominio) en el w-plano (rango), el cual
ayuda a visualizar el comportamiento de una función compleja f (z).
Una funcion f que mapea un conjunto S en un conjunto S ′ , (f : S → S ′ ) se llama
• uno a uno si f (z1 ) = f (z2 ) implica que z1 = z2 .

• sobre si S ′ = f (S) donde f (S) es el conjunto d etodos los valores tomados por f en el conjunto S.
llamamos f (S) al conjunto imagen de S bajo el mapeo de f ..
Ejemplo 21 (Algunos Mapeos fáciles).
a) f (z) = z + 1
b) f (z) = iz
c) f (z) = z
20
Ejemplo 22. Interprete el mapeo f (z) = z 2
Sol: Observe que f (z) = (x + iy)2 = x2 − y 2 + i(2xy),

de manera que
u(x, y) = x2 − y 2 v(x, y) = 2xy.
Ahora si p
u(x, y) = x2 − y 2 = c1 ⇒ v(x, y) = 2xy = 2y y 2 + c1
donde c1 > 0 tenemos que f ({x − y = c1 }) = ({u = c1 }). Es decir, esta hipérbola se mapea en una recta vertical.
Si le colocamos una orientación a la hipérbola en z-plano esta induce una orientación a la curva u = c1 . Para
verificar la orientación inducida basta con estudiar la imagen de dos puntos cualesquiera.
Ahora, si consideramos las hipérbolas
c22
v(x, y) = 2xy = c2 ⇒ u(x, y) = x2 − y 2 = x2 −
4x2
Ası́ que, f ({xy = c2 }) = ({v = c2 }) esta hipérbola (rotada) se transforma en una recta horizontal v = c2 en el plano
w. Recuerde que una orientación en el z-plano induce una orientación el el w-plano. Basta tomar la imagen de dos
puntos cualesquiera.
Pregunta: Si S es el cuadrado limitado por las rectas x = 0, x = 1, y = 1, y = 0. f (S) =?
Si Recta x = 0 entonces que u(x, y) = −y 2 y v(x, y) = 0.

Luego
Si Recta y = 1 entonces u(x, y) = x2 − 1 y v(x, y) = 2x

2
ası́ que x = v2 y por tanto u = v4 − 1.
Si Recta x = 1 entonces u(x, y) = 1 − y 2 y v(x, y) = 2y de

2
aquı́ y = v2 y por lo tanto u = − v4 + 1
Si Recta y = 0 entonces u(x, y) = x2 y v(x, y) = 0
Note que f (S) es la región comprendida entre estas rectas y parábolas. Si queremos tener más datos para graficar
nuestra región podemos mapear los puntos de intersección de las rectas que limitan a S.
Veamos que el punto
Estudio mas general: Usando la forma exponencial w = z 2 = r2 ei2θ esto nos lleva a concluir que
|w| = |z 2 | arg (w) = 2arg (z)
21
La primera ecuacion muestra que cı́rculos |z| = r0

en el z-plano es mapeado a cı́rculos |w| = r02 en el
w-plano.
Observe que z = r0 eiθ se envia a w = r02 ei2θ . Es decir,
incremento su magnitud y su angulo el DOBLE.
Cuando z da una vuelta en un circulo del z-plano su
mapero da dos vueltas en otro circulo en el w-plano.
La segunda ecuación muestra que los rayos {arg =
θ0 } del z-plano se mapean en un rayo en el w-plano
pero de angulo doble.
Si z se mueven en un rayo en el z-plano a una ve-
locidad constante, su mapeo w se mueve en su rayo
imagen pero a medida que se aleja del origen incre-
menta su velocidad.
1
Ejemplo 23. Grafique la imagen del subconjunto S = {z ∈ C : |z| < 1} bajo la función compleja f (z) = .
z
SOL: Observe que f (z) = z −1 = 1r e−iθ = 1r (cos t − i sin θ) entonces

1 1
u(r, θ) = cos(θ) v(r, θ) = − sen(θ)
r r
Consideremos el circulo |z| = 1 en el z-plano (orien-
tacion positiva), luego u(r, θ) = cos(θ) y v(r, θ) =
− sen(θ), es decir, u2 + v 2 = 1 (orientacion negati-
va). Por tanto
Ahora la región S donde se mapea? Resp:
z x x
Otra forma, Observe que f (z) = = 2 2
−i 2 entonces
zz x +y x + y2
x y
u(x, y) = 2 v(x, y) = − 2 (2.1)
x + y2 x + y2
Consideremos el circulo x2 +y 2 = 1 en el z-plano, luego u(x, y) = x y v(x, y) = −y, es decir, u2 +v 2 = 1 (orientacion
negativa).
Ahora la region S donde se mapea? Resp:
1
Ejemplo 24. Halle la imagen del subconjunto S = {z ∈ C : |z − 1| < 1} bajo la función f (z) = .
z
SOL: observe que |z − 1| = 1 es equivalente a (x − 1)2 + y 2 = 1, por ende x2 + y 2 = 2x. Usando (??) encontramos
que p p
x 1 y 1 − (x − 1)2 x(2 − x)
u(x, y) = 2 2
= v(x, y) = − 2 2
=− =− ∈ R.
x +y 2 x +y 2x 2x
22
En conclusión
1
f (|z − 1| = 1) = {u = }.
2
Ahora la region S donde se mapea? Resp: Estudiemos
el mapeo de un z ∈ S, por ejemplo para z = 21 ya que
|z − 1| = 21 < 1 y f ( 12 ) = 2 que pertenece a la región que
está al lado derecho de la recta u = 21 .
Ejemplo 25 (Mapeo de la función exponencial).
Analicemos diferentes mapeos de la función f (z) = ez
u(x,y) v(x,y)
z }| { z }| {
SOL: Observe que f (z) = ez = ex eiy = ex cos(y) +i ex sen(y). De aquı́, observemos que
|f (z)| = |ex ||eiy | = ex arg (f (z)) = y + 2nπ
Recta vertical Lv : x = c1 > 0: Observe que

f (Lv ) = f (c1 + iy) = ec1 eiy y por tanto
|f (Lv )| = ec1 Arg(f (Lv )) = y ∈ R
Esto implica que la función exponencial mapea rectas

verticales en circunferencias con centro en el origen
y radio ec1 .
Recta Horizontal Lh : y = c2 > 0: Observe que f (Lh ) = f (x + ic2 ) = ex eic2 y por tanto
|f (Lh )| = ex Arg(f (Lh )) = c2 = const
Esto implica que la función exponencial mapea rectas horizontales en rayos con argumento c2 .
En conclusión los segmentos verticales yhorizontales transforman en porciones de circunferencias y rayos,
respectivamente.
Ahora, veamos cual es la imagen de la re-

gión rectangular a ≤ x ≤ b, c ≤ y ≤ d con
a, b, c, d > 0 bajo la función exponencial. Los
segmentos rectos horizontales DC y AB se
transforman en los rayos D′ C ′ y A′ B ′ respec-
tivamente. Y los segmentos rectos verticales
AD y BC se tranforman en las porciones de
circunferencias A′ D′ y B ′ C ′ respectivamente.
Más cositas
23
La semirecta x = 0, entre −π ≤ y < π se mapean de manera uno a uno en el circulo |w| = 1.
Las rectas verticales izquierdas x = −a, −π ≤ y < π se mapean en circulo de radio r < 1.
Las rectas verticales derechas x = a, −π ≤ y < π se mapean en circulo de radio r > 1.
La región punteada del z-plano x < 0, −π ≤ y < π se mapea en 0 < |w| < 1 en el w-plano.
La región del z-plano x > 0, −π ≤ y < π se mapea en |w| > 1 en el w-plano.
Recordemos que ez tiene periodo 2πi porque
ez+2πi = ex+i(y+2π) = ex [cos(y + 2π) + i sin(y + 2π)] = ez
asi que los valores complejos ez y ez+2πik , con k ∈ Z, son idénticos. Por tanto, cada franja horizontal −π ≤
y − 2πk < π, con k = 0, ±1, ±2, . . . también se mapea en C\{0} y el mapeo ez : C −→ C\{0} manda un
número infinito de puntos de C al mismo punto en C\{0}.
Este resultado es indeseable, en vista de que no permite la discusión de una función inversa, excepto sobre
cada una de las franjas infinitas descritas anteriormente. La función inversa es verdaderamente importante,
porque la inversa de la exponencial real es el logaritmo. Para eliminar esta dificultad, imagine que el rango
del mapeo consiste en un numero infinito de copia de C\{0} apiladas en capas unas sobre otras, cada una
cortada a lo largo del eje real negativo con el borde superior de una capa “pegada” al borde inferior de la
capa superior, produciendo un conjunto R que asemeja un rampa infinita en espiral.
El conjunto R difiere de C\{0} en que cada punto de R queda determinado univocamente en coordenadas
polares, mientras que los puntos de C\{0} no se pueden determinar en la misma forma, porque el argumento
es multivaluado. Si utilizamos a R como el rango de la función ez y medimos distancias cortas en R de
la manera obvia, observamos que ez mapea a C continuamente en R y que el mapeo es uno a uno. Asi
ez : C −→ R tiene inversa, la cual estudiaremos más adelante.
El conjunto R se llama superficie de Riemann;
Las lineas de corte en cada copia de C\{0} se llaman cortes de ramificación.
Los extremos de los cortes de ramificación 0, ∞ se llaman puntos de ramificación.
cada copia de C\{0} se llama rama de R.
2.1.1. Función Multivaluadas
Las funciones multivaluadas es una generalizaciónn del concepto de función pues consiste en una regla que asigne
a cada punto z del dominio más de un valor.
Ejemplo 26. La función f (z) = z 1/2 es multievaluada.
24
Note que ella es una función multivaluada pues a cada 0 6= z = reiθ le asigna dos valores
√ θ √ i( θ +π) √ θ
C0 = rei( 2 ) y C1 = re 2 = − rei 2 = −C0
Si restringimos 0 ≤ θ < 2π diremos que estamos en una rama de la función
multivaluada z 1/2 mientras si restringimos 2π ≤ θ < 4π estamos en otra rama
de la función. Con el fin de mantener la función unı́voca escogemos una ba-
rrera artificial (una semirrecta desde 0 sin incluir el punto) la cual acordamos
no cruzar. Esta barrera es conocida como rama y el punto 0 es el punto de
ramificación.
Ejemplo 27. La función f (z) = arg(z) es multievaluada y una de su ramas es el argumento principal −π <
Arg(z) < π.
Funciones trigonométricas e hiperbólicas
Si y es real entonces sabemos que


 eiy = cos y + i sen y 1 iy 1 iy
⇒ cos y = e + e−iy sin y = e − e−iy
 e−iy = cos y − i sen y 2 2i
Definición 21. (Funciones Trigonométricas)

Para todo z ∈ C se define
1 iz 1 iz
cos z = e + e−iz sin z = e − eiz
2 2i
Evidentemente, si z es real cos z y sen z se reducen a las correspondientes funciones
reales.
Proposition 22. (Propiedades )

Para todo z, w ∈ C se tiene
a) cos(−z) = cos(z) f ) cos2 z + sin2 z = 1
b) sin(−z) = − sen(z) g) cos z = cos(z)
c) cos(z + w) = cos z cos w − sen z sin w h) sin z = sin(z)
d) sin(z + w) = sin z cos w + cos z sin w i) sin(z) = 0 ⇐⇒ z = 0 + kπ (k ∈ Z)

e) cos z = sin π2 ± z j) cos(z) = 0 ⇐⇒ z = π
2 + kπ (k ∈ Z)
k) cos z y sen z son funciones periódicas de perı́odo 2k, con k ∈ Z.
Dem:
a) y b) directas de la definición.
c) y d) similares, hagamos la item c)
1 iz 1
cos z cos w − sen z sin w = e + e−iz ) eiw + e−iw − eiz − e−iz ) eiw − e−iw
4 4
1 1
= eiz eiw + e−iz e−iw = ei(z+w) + e−i(z+w)
2 2
= cos(z + w)
π
e) Hacer w = 2 en la fórmula para sen(z + w)
25
f) Hacer w = −z en la fórmula para cos(z + w).
g) y h) similares, hagamos el item g)
1 iz 1 1 1
cos z = e + e−iz = eiz + e−iz = eiz + e−iz = e−iz + eiz = cos(z)
2 2 2 2
i) y h) similares, hagamos el item h)
sin(z) = 0 ⇐⇒ eiz − e−iz = 0 ⇐⇒ ei(2z) = 0 ⇐⇒ i(2z) = 2πki(k ∈ Z) ⇐⇒ z = πk(k ∈ Z)
j) usando el item e) tenemos que

π π π
cos z = sin( ± z) = 0 ⇐⇒ ± z = πk(k ∈ Z) ⇐⇒ z = + πk (k ∈ Z)
2 2 2
k) Por el apartado e), basta probar la afirmación para la función sen z. De la identidad
w w w w w w
sin(z + w) − sen(z) = sen z + + − sen z + − = 2 sin( ) cos(z + )
2 2 2 2 2 2
se sigue que sin(z + w) − sen(z) = 0 para todo z ∈ C si y sólo si sen w2 = 0. Por el apartado i), esto es
equivalente a que w = 2πk (k ∈ Z) sea un múltiplo entero de 2 .
Definición 23. (Más funciones trigonométricas)

sin z 1 π
tan z = sec z = (z 6= + kπ, k ∈ Z)
cos z cos z 2
cos z 1
cot z = csc z = (z 6= kπ, k ∈ Z)
sin z sen z
Definición 24. (Funciones Hiperbolicas)

Para todo z ∈ C se define
1 z 1 z
cosh z = e + e−z sinh z = e − e−z
2 2
Proposition 25. (Propiedades )

Para todo z, w ∈ C se tiene
a) cosh(z) = cos(iz)
b) sinh(z) = −i sen(iz)
c) cosh2 z − sinh2 z = 1
d) sin(z) = sin(x + iy) = sin x cos(iy) + cos x sin(iy) = sin x cosh(y) + i cos x sinh y.
π
Si sin z es real si z ∈ R o si z = 2 + iy + kπ con y ∈ R y k ∈ Z.
Si cos y es real si z ∈ R o si z = iy + πk con y ∈ R y k ∈ Z.
sinh z iπ
e) tanh z = = −i tan(iz), (z 6= 2 + kπi, k ∈ Z)
cosh z
DEM:
26
2.2. Función Logaritmo complejo

Recordemos que en R, la función f : R → R+ dada por f (t) = et es una aplicación biyectiva. Su inversa es la
función ln : R+ 7−→ R. Por definición
ln x = y ⇐⇒ x = ey (⇒ x > 0)
En C sabemos que la función f (z) = ez NO es invertible al no ser inyectiva (por ser periodica). Por definición,
los posibles logaritmo de 0 6= z ∈ C son todos los complejos w ∈ C tales que
ew = z
Supongamos que w = u + iv y z = |z|reiθ entonces


 eu = |z| ⇐⇒ u = ln |z|
eu eiv = ew = z = |z|eiθ =⇒
 v = θ + 2πk (k ∈ Z)
Luego, hemos encontrado los posibles logaritmo de z ∈ C.
log(z) = w = u + iv = ln |z| + iarg (z) = ln |z| + i(θ + 2πk)
Definición 26. (Logaritmo complejo)

Dado un 0 6= z ∈ C, definimos el logaritmo de z como
log(z) = ln |z| + iarg (z) = ln |z| + i(θ + 2πk)
Claramente log NO es una función.
Ejemplo 28. Calcule:
log(−1) =
√
log(−1 − 3i) =
log(−2i) =
Proposition 27. (Propiedades log(z))

Sean z, z1 , z2 ∈ C entonces la función logaritmo verifica las siguientes propiedades:
log(z1 z2 ) = log(z1 ) + log(z2 ), log(z1n ) = n log(z1 ),
log(ez ) 6= z,
z1
log = log(z1 ) − log(z2 ), elog(z) = z.
z2
Demostración. Probemos el primer item. Para ello, observe que
log(z1 z2 ) = ln |z1 z2 | + iarg (z1 z2 ) = ln(|z1 ||z2 |) + i(arg z1 + arg z2 )

= ln |z1 | + ln |z2 | + iarg z1 + iarg z2 = (ln |z1 | + iarg z1 ) + (ln |z2 | + iarg z2 )
= log z1 + log z2 .
27
El segundo item se tiene por

z z z |z |
1 1 1 1
log = ln + iarg = ln + i(arg z1 − arg z2 )
z2 z2 z2 |z2 |
= ln |z1 | − ln |z2 | + iarg z1 − iarg z2 = (ln |z1 | + iarg z1 ) − (ln |z2 | + iarg z2 )
= log z1 − log z2 .
Note que el tercer item se cumple pues
log(z n ) = ln |z n | + iarg (z n ) = ln(|z|n ) + i(narg z)

= n ln |z| + inarg z = n(ln |z| + iarg z) = n log z.
Para probar el cuarto item note que log(ez ) = ln |ez | + iarg (ez ) y si z = x + iy tenemos
log(ez ) = ln |ex | + i(y + 2πk) = x + iy + i2πk = z + 2πki
Para finalizar, observemos que
elog(z) = eln |z|+iarg z = eln |z| eiarg z = |z|ei(Argz+2πk) = |z|eiArgz ei2πk

= |z|eiArgz = z.
Definición 28. (Ramas de Logaritmo)

Si I es un intervalo semiabierto de anchura 2π, se define la rama I del logaritmo
mediante
logI = ln |z| + iarg I z
La rama principal del logaritmo se define en el intervalo I = [π, π) por
log(π,π] = Log z = ln |z| + iArg(z), −π < Arg(z) ≤ π
Ejemplo 29.
a) log[0,2π) (−2) = c) Log (−1) =
b) Log(−2i) = d) Log (−1 − i) =
Note que Log (z1 z2 ) 6= Log (z1 ) + Log (z2 ) pues si z1 = −1 y z2 = i tenemos que
Log (z1 z2 ) = Log (−i) = −iπ/2 y Log (z1 ) + Log (z2 ) = iπ + iπ/2 = i3π/2
son diferentes.
Si z0 6= 0, la ecuación ew = z0 tiene por tanto infinitas soluciones, dadas por

w = log z0 = ln |z0 | + i arg (z0 ) + 2πk = ln |z0 | + iArg(z0 ) + 2πki; k∈Z:
Es decir, las soluciones difieren entre sı́ en 2πi. A cada solución w se les denomina logaritmos de z0 6= 0.
Ejemplo 30. Resuelva las siguientes ecuaciones
ez = −1.
ez = e2+i .
28
log(i − z) = 1.
Potencias de la forma z w
Definición 29. (Potencias de la forma z w )

Para cualquier z 6= 0 y w ∈ C, la función z w se define por medio de la ecuación
z w = ew log(z)
donde log(z) es la función logaritmo multivaluada. Por ende, la función es también

multivaluada.
ii =
i−2i =
23−i =
(−1 + i)i =
2.3. Lı́mites
La definición de lı́mite es esencialmente la misma que hemos aprendido en el cálculo.
Definición 30. (Limite )
Sea f (z) una función definida en una vecindad de z0 (excepto posiblemente en z0 )
lı́m f (z) = w0
z→z0
significa que dado ǫ > 0 existe δ > 0 tal que |f (z) − w0 | < ǫ siempre que 0 < |z − z0 | < δ.
Geometricamente para ε-entorno |w − w0 | < ε de w.

existe un δ-entorno perforado 0 < |z − z0 | < δ de
z0 tal que todo punto z en él tiene una imagen que
está en el ε-entorno.
Nótese que, aunque hay que considerar todos los pun-
tos del entorno perforado 0 < |z − z0 | < δ, sus ima-
genes no tienen por qué llenar por completo el en-
torno |w − w0 | < ε. Por ejemplo la función constante
f (z) = w0 , la imagen de z es siempre el centro de ese
entorno
Una vez encontrado un δ adecuado, puede sustituirse

por cualquier un número más pequeño, digamos δ/2.
29
Recordemos que la definición proporciona un medio para comprobar si un punto dado es un lı́mite de una función
pero no proporciona un método para calcularlo.
Ejemplo 32. Compruebe los siguientes lı́mites:
z 1+i
lı́m = .
z→1+i 4 4

1 + i z 1 + i |z − (1 + i)|

Nótese que f (z) −
4 = 4 − 4 = 4
. Por consiguiente, para cualquier número ǫ > 0,

f (z) − 1 + i < ǫ siempre que 0 < |z − (1 + i)| < 4ǫ.
4
iz i
lı́m = .
z→1 2 2
Nótese que

i iz
i i i |z − 1|
f (z) −
= − = (z − 1) = |z − 1| = .
2 2
2 2 2 2

i

Por consiguiente, para cualquier número ǫ > 0, f (z) − < ǫ siempre que 0 < |z − 1| < 2ǫ.
2
z
Ejemplo 33. Veamos que el lı́m no existe.
z→0 z
Observe que por el camino (real) z = (x, 0)
z x + i0
lı́m = lı́m =1
z→0 z z→0 x − i0
y=0 y=0
Pero por el camino (imaginario) z = (0, y) tenemos

z 0 + iy
lı́m = lı́m = −1
z→0 z z→0 0 − iy
x=0 x=0
como obtuvimos un resultado diferente tenemos que este lı́mite no existe, pues
si existiese debe ser único.
Proposition 31. (Propiedades de limites )
Si lı́m f (z) y lı́m g(z) existen. Entonces
z→z0 z→z0
lı́m f (z) ± g(z) = lı́m f (z) ± lı́m g(z)

z→z0 z→z0 z→z0
lı́m f (z)g(z) = lı́m f (z) lı́m g(z)

z→z0 z→z0 z→z0
lı́m f (z)
f (z) z→z0
lı́m = siempre que lı́m g(z) 6= 0.
z→z0 g(z) lı́m g(z) z→z0
z→z0
Definición 32. (Continuidad)

Diremos que f es continua en un punto z0 si lı́m f (z) existe, f (z0 ) existe y
z→z0
lı́m f (z) = f (z0 )

z→z0
Si f es continua en cada punto de su dominio diremos que f es continua.
Los ejemplos más sencillos son los polinomios complejos o funciones de variable compleja y valor real como
f (z) = |z|2 y g(z) = Re(z).
30
Ejemplo 34. 1. Determine si la siguiente función es continua

 2
 z + 4 , si z 6= 2i
f (z) = z − 2i

3 + 4i, si z = 2i
SOL: Esta función es continua en todo C excepto quiza en z = 2i. Por eso estudiamos la continuidad de f en
z = 2i. Para ello, observe que
z2 + 4 (z + 2i)(z − 2i)
lı́m f (z) = lı́m = lı́m = lı́m z + 2i = 4i.
z→2i z→2i z − 2i z→2i z − 2i z→2i
Por otro lado, note que existe f (2i) = 3 + 4i pero es evidente que este valor no coincide con el valor del lı́mite, por
ende f no es continua en z = 2i, y esto implica que f no es continua en todo su dominio.
Ejemplo 35. Determine si la siguiente función es continua en z = i

 2
 z + 1 , si z 6= i
f (z) = z−i

2i si z = i
SOL: Para ello, observe que

z2 + 1 (z + i)(z − i)
lı́m f (z) = lı́m = lı́m = lı́m z + i = 2i.
z→i z→i z − i z→i z−i z→i
Por otro lado, note que existe f (i) = 2i y como este valor coincide con el valor del lı́mite entonces f es continua en
z = i.
Nota: La suma, resta, el producto, el cociente y la composición de funciones continuas son funciones continuas
en su respectivo dominio de definición.
Teorema 33.
Si f (z) = u(x, y) + iv(x, y), z0 = x0 + iy0 , w0 = u0 + iv0 . Entonces
lı́m f (z) = w0 ⇔ lı́m u(x, y) = u0 y lı́m v(x, y) = v0 .

z→z0 (x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )
Dem: (ejercicio)
1
Ejemplo 36. Pruebe que el lı́m no existe.
z→0 z
SOL: Nótese que

1 z x − iy x −y
f (z) = = 2 = 2 = 2 +i 2 .
z |z| x + y2 x + y2 x + y2
| {z } | {z }
u(x,y) v(x,y)
1
Suponemos que lı́m existe por el teorema anterior deben existir los siguientes lı́mites
z→0 z
lı́m u(x, y) lı́m v(x, y).
(x,y)→(0,0) (x,y)→(0,0)
Pero observe que si consideramos el camino real (x, 0) en el primer lı́mite tenemos
x 1
lı́m u(x, y) = lı́m = lı́m = ∞
(x,y)→(0,0) (x,y)→(0,0) x2 + y 2 x→0 x
y=0 y=0
es decir, NO existe, ası́ que llegamos a una contradicción. De igual forma, si consideramos el camino imaginario
1
(0, y) en el segundo lı́mite vemos que también llegamos a un absurdo. Por tanto, el lı́mite lı́m no existe.
z→0 z
31
2.3.1. Lı́mites infinitos y al infinito
A veces resulta conveniente añadir al z-plano el punto del infinito denotado por ∞ y usarlo para calcular
limites relacionados con él. Al conjunto C ∪ {∞} es el plano complejo amplificado en se denota por C∞
Teorema 34. Si z0 y w0 son puntos de los z-planos y w-planos respectivamente. Entonces
1
i) lı́m f (z) = ∞ ⇔ lı́m = 0,
z→z0 z→z0 f (z)
ii) lı́m f (z) = w0 ⇔ lı́m f (1/z) = w0 ,
z→∞ z→0
1
iii) lı́m f (z) = ∞ ⇔ lı́m = 0.
z→∞ z→0 f (1/z)
Ejemplo 37. Demuestre los siguientes lı́mites:
iz + 3 2z + i 2z 3 − 1
1. lı́m = ∞, 2. lı́m = 2, 3. lı́m = ∞.
z→−1 z+1 z→∞ z+1 z→∞ z 2 + 1
SOL Para probar el primer lı́mite basta con observar

lı́m z + 1
z+1 z→−1 0
lı́m = = =0
z→−1 iz + 3 lı́m iz + 3 −i + 3
z→−1
y usar el primer item del teorema anterior.

Para mostrar el segundo, utilizamos el hecho que
2/z + i 2 + iz lı́m 2 + iz
z→0
f (1/z) = = lı́m f (1/z) = =2
1/z + 1 z+1 z→0 lı́m z + 1
z→0
y la segunda consecuencia del teorema.

Por último, dado que
1 (1/z)2 + 1 z + z3
lı́m = lı́m 3
= lı́m =0
z→0 f (1/z) z→0 2(1/z) − 1 z→0 2 − z 3
y por la tercera propiedad del Teorema anterior obtenemos el lı́mite deseado.
2.4. Derivadas
La derivada de una función compleja de una variable compleja se define exactamente, de la misma manera que
el caso real del calculo elemental.
Definición 35 (Derivada).
Sea f : C → C una función definida en un entorno de z0 ∈ C. La derivada de f en z0 que
se denota por f ′ (z0 ) se define como
f (z) − f (z0 ) f (z0 + ∆z) − f (z0 )

f ′ (z0 ) = lı́m =
|{z} lı́m
z→z0 z − z0 ∆z→0 ∆z
∆z=z−z0
siempre que exista este lı́mite. Cuando existe la derivada de f en z0 diremos que f es
derivable (o diferenciable) en z0 .
Interpretación geométrica de la derivada: Sea z0 un punto P en el z-plano y sea w0 su imagen P ′ en el

w-plano mediante la transformación f (z) = w. Como se supone que f (z) es unı́voca, el punto z0 se lleva a un
solo punto w0 .
32
Si se incrementa z0 en z se obtiene el punto Q. Este punto tiene como imagen Q′ en el w-plano. Por tanto,
de acuerdo con la figura, se ve que P ′ Q′ representa el número complejo ∆w = f (z0 + z) − f (z0 ). Se sigue que
la derivada en z0 (si existe) es
f (z0 + ∆z) − f (z0 ) P ′ Q′
lı́m = lı́m
∆z→0 ∆z Q→P P Q
es decir, el lı́mite del cociente de P ′ Q′ entre P Q cuando el punto Q tiende a P . Esta interpretación es sin
duda válida si z0 se sustituye por z. Es decir, la función derivada
f (z + ∆z) − f (z) dw
f ′ (z) = lı́m = .
∆z→0 ∆z dz
Proposition 36 (Propiedades Derivada).

Si f : C → C es derivable en z0 ∈ C entonces f es continua en z0
Dem En efecto,
f (z) − f (z0 ) f (z) − f (z0 )

lı́m f (z) − f (z0 ) = lı́m (z − z0 ) = lı́m lı́m (z − z0 ) = f ′ (z0 )(0) = 0
z→z0 ∆z→z0 z − z0 z→z0 z − z0 z→z0
Ejemplo 38. Calcule la función derivada de f (z) = z 2 .
SOL: Usando la definición

f (z + ∆z) − f (z) (z + ∆z)2 − z 2
f ′ (z) = lı́m = lı́m
∆z→0 ∆z ∆z→0 ∆z
2
2z∆z + (∆z)
= lı́m = lı́m 2z + ∆z = 2z.
∆z→0 ∆z ∆z→0
Proposition 37 (Propiedades Derivada).

Si f (z) y g(z) son funciones derivables en z entonces
(f + g)′ (z) = f ′ (z) + g ′ (z) f ′ f ′ (z)g(z) − g ′ (z)f (z)

(z) =
g f 2 (z)
(f − g)′ (z) = f ′ (z) − g ′ (z)
(f g)′ (z) = f ′ (z)g(z) + f (z)g ′ (z) (f (g(z)))′ = f ′ (g(z))g ′ (z)
Ejemplo 39. Si f (z) = (2z 2 + i)5 entonces
f ′ (z) = 5(2z 2 + i)4 (4z) = 20z(2z 2 + i)4
Ejemplo 40 (La continuidad no implica la diferenciabilidad.).

La función f (z) = |z|2 = zz es claramente continua en C. Pero NO es derivable.
33
SOL: Supongamos que f ′ (z) existe. Luego,
f (z + ∆z) − f (z) |z + ∆z|2 − |z|2

f ′ (z) = lı́m = lı́m
∆z→0 ∆z ∆z→0 ∆z
(z + ∆z)(z + ∆z) − zz
= lı́m
∆z→0 ∆z
zz + z∆z + z∆z + ∆z∆z − zz z∆z + z∆z + ∆z∆z
= lı́m = lı́m
∆z→0 ∆z ∆z→0 ∆z
podemos elegir cualquier camino para calcular este lı́mite y debe ser el mismo valor para todos los caminos. Consi-
deremos el camino real (x, 0), ası́ que ∆z = ∆(x + iy) = ∆x + i∆y = ∆x = ∆z. Ası́ que
z∆z + z∆z + ∆z∆z z∆z + z∆z + (∆z)2

lı́m = lı́m = lı́m z + z + ∆z = z + z.
∆z→0 ∆z ∆z→0 ∆z ∆z→0
Por otro lado, consideremos el camino imaginario (0, y) entonces ∆z = i∆y. Luego, ∆z = −i∆y = −∆z.
z∆z + z∆z + ∆z∆z −z∆z + z∆z − (∆z)2

lı́m = lı́m = lı́m −z + z − ∆z = −z + z.
∆z→0 ∆z ∆z→0 ∆z ∆z→0
Por lo tanto, z + z = −z + z, esto es 2z = 0. Luego, la función sólo es derivable en ese punto z = 0 y no en todo C.
Ejemplo 41. Estudie la diferenciabilidad de f (z) = z
Sol:
f (z + ∆z) − f (z) (z + ∆z) − z ∆z

f ′ (z) = lı́m = lı́m = lı́m (2.2)
∆z→0 ∆z ∆z→0 ∆z ∆z→0 ∆z
Este limite no existe
Definición 38 (Funciones Analı́ticas).

Si la derivada f ′ (z) existe en todos los puntos z de una región S, se dice que f (z) es
analı́tica en la región S
Se dice que una función f (z) es analı́tica en un punto z0 si existe una vecindad |z − z0 | < δ
en la cual f ′ (z) existe que para toda la δ-vecindad.
Nota: Como sinónimos de analı́tica suelen usarse también los términos regular y holomorfa.
Una función es analı́tica en un conjunto NO abierto A si es analı́tica en un abierto B tal que A ⊂ B.
Es importante observar que si la derivada existe en un ÚNICO punto diremos que la función NO es analı́tica,
por ejemplo como la función f (z) = |z|2 que solo es derivable en z = 0.
Una función que sea analı́tica en todo C la llamaremos función entera. Un ejemplo de función entera serı́a la
función exponencial compleja como lo veremos y otro ejemplo sencillo serı́an los polinomios complejos.
f
Si f y g son analı́ticas en su dominio D, entonces f + g, f · g, g y f ◦ g son funciones analı́ticas en D.
z3 + 4 √
Ejemplo 42. El dominio de analiticidad de la función f (z) = 2 2
es C\{± 3, ±i}.
(z − 3)(z + 1)
34
Teorema 39 (Ecuaciones de Cauchy-Riemann).

Supongamos que f (z) = u(x, y)+iv(x, y) y que f ′ (z0 ) existe un punto z0 = x0 +iy0 . Entonces
las derivadas parciales de primer orden de u y v existen en z0 = (x0 , y0 ) y satisfacen en ese
punto las ecuaciones de Cauchy-Riemann
ux = vy y uy = −vx .
Además, f ′ (z0 ) viene dada por
f ′ (z0 ) = ux + ivx o f ′ (z0 ) = −iuy + vy
donde estas derivadas parciales han de ser evaluadas en (x0 , y0 ).
DEM: Veamos que estas ecuaciones se deducen fácilmente de la definición de derivada.

Si f (z) = u(x, y) + iv(x, y) entonces
f (z0 + ∆z) − f (z0 )

f ′ (z0 ) = lı́m
∆z→0 ∆z
f (x0 + ∆x, y + ∆y) − f (x0 , y0 )
= lı́m
(∆x,∆y)→(0,0) ∆x + i∆y
u(x0 + ∆x, y0 + ∆y) + iv(x0 + ∆x, y0 + ∆y) − (u(x0 , y0 ) + iv(x0 , y0 ))
= lı́m
(∆x,∆y)→(0,0) ∆x + i∆y
u(x0 + ∆x, y0 + ∆y) − u(x0 , y0 ) + i [v(x0 + ∆x, y0 + ∆y) − v(x0 , y0 )]
= lı́m .
(∆x,∆y)→(0,0) ∆x + i∆y
Ahora como f ′ (z0 ) existe por hipótesis puedo elegir cualquier camino por ejemplo el camino real (x, 0), es decir
∆z = ∆x entonces la ecuación anterior se transforma
u(x0 + ∆x, y0 ) − u(x0 , y0 ) + i [v(x0 + ∆x, y0 ) − v(x0 , y0 )]
lı́m = ux (x0 , y0 ) + ivx (x0 , y0 ).
∆x→0 ∆x
Y si consideramos otro camino (0, y), esto es, ∆z = i∆y tenemos
u(x0 , y0 + ∆y) − u(x0 , y0 ) + i [v(x0 , y0 + ∆y) − v(x0 , y0 )]

lı́m = −iuy (x0 , y0 ) + vy (x0 , y0 ).
∆x→0 i∆y
Dado que el lı́mite es único entonces igualamos la parte real y la parte imaginaria y obtenemos las siguientes
ecuaciones
ux (x0 , y0 ) = vy (x0 , y0 ) y vx (x0 , y0 ) = −uy (x0 , y0 ).
NOTA: Las ecuaciones de Cauchy-Riemann son en honor al matemático francés Cauchy quién fue el que las
descubrió y utilizó y por el matemático alemán Riemann quién hizo de ellas un instrumento esencial en la teorı́a de
funciones de variable compleja.
Ejemplo 43.
1. Anteriormente probamos que la función f (z) = z 2 es derivable para todo z ∈ C. Ası́ que debe satisfacer las
ecuaciones de Cauchy Riemann. Recordemos que u(x, y) = x2 − y 2 y v(x, y) = 2xy
ux (x, y) = 2x = vy (x, y) y uy (x, y) = −2y = −vx (x, y).
Además, observe que f ′ (z) = ux + ivx = 2x + i2y = 2(x + iy) = 2z.

2. Probamos que la función f (z) = |z|2 sólo es derivable en z = 0, ası́ que debe satisfacer las ecuaciones de
Cauchy-Riemann en ese punto. Para ello, recordemos que u(x, y) = x2 + y 2 y v(x, y) = 0. Entonces
ux (0, 0) = 0 = vy (0, 0) y uy (0, 0) = 0 = −vx (0, 0).
Luego f ′ (0) = 0.
35
3. Veamos que la función f (z) = Re(z) no es derivable ya que no satisface las ecuaciones de Cauchy-Riemann
ux = 1 6= 0 = vy y vx = 0 = uy .
Note que f ′ (z0 ) también se puede calcular si se conocen las derivadas parciales uy (x0 , y0 ) y vy (x0 , y0 ) de la
siguiente forma:
f ′ (z0 ) = −iuy (x0 , y0 ) + vy (x0 , y0 ).
Saber que una función satisface las ecuaciones de Cauchy-Riemann en un punto z0 no es suficiente para
asegurar que existe la derivada en ese punto. Un ejemplo que satisface estas condiciones es la función dada
por D. Menchoff en 1936
 5
 z , si z 6= 0

f (z) = |z|4

 0, si z = 0
la cual satisface las ecuaciones de Cauchy-Riemann en (0, 0)

 5 3 2 4
 x − 10x y + 5xy , si (x, y) 6= (0, 0)

u(x, y) = (x2 + y 2 )2

 0, si (x, y) = (0, 0)
y
 4 2 3 5
 5x y − 10x y + y , si (x, y) 6= (0, 0)

2
(x + y )2 2
v(x, y) =

 0, si (x, y) = (0, 0)
De la definición de derivadas parciales para funciones de valor real obtenemos

u(∆x, 0) − u(0, 0) (∆x)5
ux (0, 0) = lı́m = lı́m = lı́m 1 = 1
∆x→0 ∆x ∆x→0 (∆x)5 ∆x→0
y
u(0, ∆y) − u(0, 0) 0
uy (0, 0) = lı́m = lı́m = lı́m 0 = 0
∆y→0 ∆y ∆y→0 (∆y)5 ∆x→0
similarmente obtenemos que vy (0, 0) = 1 y vx (0, 0) = 0. Sin embargo, f ′ (0) no existe pues
f (z) − f (0) f (z) z4
f ′ (0) = lı́m = lı́m = lı́m 4
z→0 z−0 z→0 z z→0 |z|
si consideramos el camino (x, 0) note que el lı́mite darı́a 1 pero si consideramos el camino (x, x) el lı́mite darı́a
−1, entonces el valor no fue único, por tanto el lı́mite no existe.
Teorema 40 (Condición para existencia de f ′ (z)).

Supongamos que la función
f (z) = u(x, y) + iv(x, y)
está definida en un entorno del punto z0 = (x0 , y0 ) y que las derivadas parciales de primer
orden de las funciones u, v respecto a x e y existen en todos los puntos de ese entorno. Si
esas derivadas son continuas en (x0 , y0 ) y satisfacen las ecuaciones de Cauchy-Riemann
ux = v y y uy = −vx
en (x0 , y0 ) entonces f ′ (z0 ) = ux + ivx (existe).
Dem: Dado que f = u + iv, z = x + iy y ∆z = ∆x + i∆y encontramos que

f (z + ∆z) − f (z) u(x + ∆x, y + ∆y) + iv(x + ∆x, y + ∆y) − u(x, y) + iv(x, y)
f ′ (z) = lı́m = lı́m
∆z→0 ∆z (∆x,∆y)→(0,0) ∆z
36
Tomando la parte real aquı́ encontramos que
u(x + ∆x, y + ∆y) − u(x, y) u(x + ∆x, y + ∆y) − u(x + ∆x, y) + u(x + ∆x, y) − u(x, y)
= .
∆z ∆z
Aplicando u es continua y diferenciable en la variable y entonces de TVM existe un c1 ∈ [y, y + ∆y] tal que
u(x + ∆x, y + ∆y) − u(x + ∆x, y)

uy (x + ∆x, c1 ) ≈
∆y
Analogamente, como u es continua y diferenciable en la variable x entonces de TVM existe un c2 ∈ [y, y + ∆y] tal
que
u(x + ∆x, y) − u(x, y)
ux (c2 , y) ≈
∆x
Por lo tanto,
u(x + ∆x, y + ∆y) − u(x, y) (∆y)uy (x + ∆x, c1 ) + (∆x)ux (c2 , y)

=
∆z ∆z
Haciendo el mismo razonamiento para la parte imaginaria, existen c3 ∈ [y, y + ∆y] c4 ∈ [x, x + ∆x] tal que
v(x + ∆x, y + ∆y) − v(x, y) (∆y)vy (x + ∆x, c3 ) + (∆x)vx (c4 , y)

=
∆z ∆z
Luego,

f (z + ∆z) − f (z) (∆y) uy (x + ∆x, c1 ) + ivy (x + ∆x, c3 ) + (∆x) ux (c2 , y) + ivx (c4 , y)
lı́m = lı́m
∆z→0 ∆z ∆z→0 ∆z
No es dificil ver que si |∆z| → 0 entonces ∆x, ∆y → 0 y por ende c1 , c3 → y y c2 , c4 → x. De manera que

f (z + ∆z) − f (z) (∆y) uy + ivy + (∆x) ux + ivx
lı́m = lı́m
∆z→0 ∆z ∆z→0
∆z
i(∆y) vy − iuy + (∆x) ux + ivx
= lı́m ker 1cmEcC − R
∆z
∆z→0

i(∆y) ux + ivx + (∆x) ux + ivx
= lı́m
∆z→0 ∆z
= ux + ivx
Ejemplo 44. Halle f ′ (z) donde f (z) = ez .
SOL: Observe que

u(x,y) v(x,y)
z }| { z }| {
f (z) = ez = ex cos(y) +i ex sen(y)
Luego
ux = ex cos(y) = vy y uy = −ex sen(y) = −vx
Es decir satisfacen C-R para todo (x, y) ∈ C. Por otro lado, ux , uy , vx y vy son claramente continuas (productos de
las funciones continuas). Otra forma de argumentar esto es chequear
uxy = −ex sen(y) = uyx y vxy = ex cos(y) = vyx
Por el teorema anterior f ′ (z) existe y está dada por
f ′ (z) = ux + ivx = ex (cos(y) + i sen(y)) = ex eiy = ez .
Ejemplo 45. Demuestre las siguientes enunciados
Si f (z) = eiz entonces f ′ (z) = ieiz
37
Si f (z) = cos z entonces f ′ (z) = − sin z
Si f (z) = sin z entonces f ′ (z) = cos z
Si f (z) = tan z entonces f ′ (z) = sec2 z
Si f (z) = sec z entonces f ′ (z) = sec z tan z
Si f (z) = senh z entonces f ′ (z) = cosh z
Si f (z) = cosh z entonces f ′ (z) = sinh z
Si f (z) = tanh z entonces f ′ (z) = sech2 z
Si f (z) = sech z entonces f ′ (z) = sech z tanh z
2.4.1. Derivadas en Coordenadas polares
Note que si consideramos z ∈ C\{0} en la forma polar, tenemos que
x = r cos(θ) y y = r sen(θ).
Si f (z) = u(x, y) + iv(x, y) note que usando la regla de la cadena para funciones de dos variables
∂u ∂u ∂x ∂u ∂y
ur = = + = ux cos(θ) + uy sen(θ),
∂r ∂x ∂r ∂y ∂r
∂u ∂u ∂x ∂u ∂y
uθ = = + = ux (−r sen(θ)) + uy (r cos(θ)),
∂θ ∂x ∂θ ∂y ∂θ
∂v ∂v ∂x ∂v ∂y
vr = = + = vx cos(θ) + vy sen(θ),
∂r ∂x ∂r ∂y ∂r
∂v ∂v ∂x ∂v ∂y
vθ = = + = vx (−r sen(θ)) + vy (r cos(θ))
∂θ ∂x ∂θ ∂y ∂θ
Ahora, si suponemos que f satisface las ecuaciones de Cauchy Riemann, es decir, ux = vy y uy = −vx . Entonces
vθ = rur y uθ = −rvr .
Ası́ que podemos definir el siguiente teorema:

Teorema 41 (Condición para existencia de f ′ (z) en forma polar).
Supongamos que la función
f (z) = u(r, θ) + iv(r, θ)
está definida en un entorno de z0 = r0 eiθ0 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 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 ′ (z) = e−iθ (ur + ivr ) existe.
1
Ejemplo 46. Estudie analiticidad de f (z) =
z
1 1 1 −1
SOL: Observe que f (z) = = e−iθ = cos(θ) +i sen(θ) . Note que
z r |r {z } | r {z }
u(r,θ) v(r,θ)
cos(θ) sin(θ) sin(θ) cos(θ)

ur = − , uθ = − vr = vθ = −
r2 r r2 r
38
Luego satisface las ecuaciones de Cauchy-Riemann en forma polar
rur = vθ uθ = −rvr
Dado que las primeras derivadas parciales de u y v son continuas (urθ = uθr y vrθ = vθr ) por el teorema anterior
existe f ′ (z) = e−iθ (ur + ivr ) en C\{0}.
−iθ
′ −iθ cos(θ) sen(θ) −iθ e 1 1
f (z) = e − 2 +i 2 =e − 2 = − iθ 2 = − 2
r r r (re ) z
Ejemplo 47. Estudie analiticidad de f (z) = z 1/3
SOL: Supongamos que z = reiθ con r > 0 y α < θ < α + 2π entonces

θ θ θ
f (z) = z 1/3 = r1/3 ei 3 =⇒ u(r, θ) = r1/3 cos( ) y v(r, θ) = r1/3 sen( ).
3 3
Luego,
1 −2/3 θ r1/3 θ 1 θ r1/3 θ
ur = r cos( ) uθ = − sen( ) vr = r−2/3 sen( ) vθ = cos( )
3 3 3 3 3 3 3 3
Por lo tanto satisfacen las ecuaciones de Cauchy-Riemann en forma polar
vθ = rur uθ = −rvr .
Luego, por el teorema anterior f ′ (z) existe f ′ (z) = e−iθ (ur + ivr ) en C\{0} y está dada por

1 θ 1 θ 1 1 2θ 1
f ′ (z) = e−iθ 2/3
cos( ) + i 2/3
sen( ) = 2/3 e−iθ eiθ/3 = 2/3 e−i( 3 ) = 2θ
3r 3 3r 3 3r 3r
3r2/3 ei( 3 )
1 1
= = 2/3 .
3(reiθ )2/3 3z
Ejercicio 5. Halle f ′ (z) si f (z) = log(z) = ln r + iθ con α < θ < α + 2π.
Regla de L’Hôpital
Es idéntica a la que se emplea en cálculo.

Teorema 42 (Regla de L’Hôpital).
Si g(z0 ) = 0 y h(z0 ) = 0 y si g(z), h(z) son derivables en z0 con h′ (z0 ) 6= 0. Entonces
g(z) g ′ (z) g ′ (z0 )

lı́m = lı́m ′ = ′
z→z0 h(z) z→z0 h (z) h (z0 )
Demostración.
g(z) − g(z0 )
g(z) g(z) − g(z0 ) z − z0 g ′ (z0 )
lı́m = lı́m = lı́m = ′ .
z→z0 h(z) z→z0 h(z) − h(z0 ) z→z0 h(z) − h(z0 ) h (z0 )
z − z0
−iz 3 + 2z 2 + 5iz −3iz 2 + 4z + 5i 5i 5

Ejemplo 48. Calcule el siguiente limite lı́m = lı́m = =− .
z→0 3z 2 − 2iz z→0 6z − 2i −2i 2
39
2.4.2. Funciones Trigonométricas e Hiperbólicas Inversas
Dado que las funciones trigonométricas e hiperbólicas se definen a partir de la función exponencial compleja,
sus inversas se describen en términos de logaritmos complejos.
La inversa de la función seno la cual denotaremos por sen−1 (z) debe verificar lo siguiente:
w = sen−1 (z) ⇐⇒ z = sen(w)
Esto es equivalente a
eiw − e−iw
z= ⇐⇒ 2iz = eiw − e−iw .
2i
Multipliquemos la ecuación anterior por eiw y obtenemos
(eiw )2 − 2izeiw − 1 = 0
√
2iz ± −4z 2 + 4 √
Entonces eiw = = iz ± 1 − z 2 . Ahora aplicando logaritmo tenemos
2
p
log(eiw ) = log(iz + 1 − z 2 )
lo que implica
p p
iw + 2πk1 i = ln iz ± 1 − z 2 + i arg (iz ± 1 − z 2 )
p p
= ln iz ± 1 − z 2 + i Arg(iz ± 1 − z 2 ) + 2πk2
con k1 , k2 ∈ Z. Entonces
p p
iw = ln iz ± 1 − z 2 + i Arg(iz ± 1 − z 2 ) + 2(k2 − k1 )π
p
= log(iz ± 1 − z 2 )
Ahora, si multiplicamos por −i tenemos
sen−1 (z) = w = −i log(iz ± (1 − z 2 )1/2 ).
Definición 43 (Funciones Inversas geometricas complejas).

Dado un z ∈ C se define las siguientes funciones inversas
sen−1 (z) = w = −i log(iz + (1 − z 2 )1/2 ) (2.3)

−1 2 1/2
cos (z) = −i log(z + i(1 − z ) ) (2.4)

i i+z
tan−1 (z) = log (2.5)
2 i−z
Note que estas funciones son multivaluadas, pero cuando se usan ramas especı́ficas de la raı́z cuadrada y las
funciones logaritmicas, las tres funciones inversas se convierten en funciones univaluada, y podemos ver que ellas
serán funciones analı́ticas por ser composición de funciones analı́ticas.
Calculemos la derivada de la función sen−1 (z), utilizando la derivada de logaritmo y regla de la cadena

d i − z(1 − z 2 )−1/2 i(1 − z 2 )1/2 − z
sen−1 (z) = −i = −i .
dz iz + (1 − z 2 )1/2 (1 − z 2 )1/2 (iz + (1 − z 2 )1/2 )
Luego,
d 1
sen−1 (z) = .
dz (1 − z 2 )1/2
Similarmente,
d 1
cos−1 (z) = −
dz (1 − z 2 )1/2
40
y
d 1
tan−1 (z) = .
dz 1 + z2
Observe que la derivada de tan−1 (z) no depende de los valores adoptados por las raı́ces cuadradas, es decir, no
depende de la manera en que la función se haga univaluada.

√ √  ln |1 + √2| + i(0 + 2πk)
sen−1 (−i) = −i log(1 ± 2) donde log(1 ± 2) = √
 ln |1 − 2| + i(π + 2πk)
Tratemos de unificar la respuesta. Observe que

√
√ √ 1 + 2 1 √

ln |1 − 2| = ln (1 − 2) √ = ln √ = − ln(1 + 2)
1+ 2 1+ 2
√ √
Ası́ que, log(1 ± 2) = (−1)k ln(1 + 2) + kπi. Por ende,
√
sen−1 (−i) = kπ + i(−1)k ln(1 + 2)

cos−1 (1) = −i log(1) = −i ln(1) + i(0 + 2πk) = 2πk.

−1 i i + 2i i i π ln(3)
tan (2i) = log = log(−3) = ln | − 3| + i(π + 2πk) = −(2k + 1) + i
2 i − 2i 2 2 2 2
Las funciones hiperbólicas inversas se analizan de forma similar

Definición 44 (Funciones hiperbolicas Inversas complejas).
Dado un z ∈ C se define las siguientes funciones inversas
senh−1 (z) = log(z + (z 2 + 1)1/2 ),

cosh−1 (z) = log(z + (z 2 − 1)1/2 ),

1 1+z
tanh−1 (z) = log .
2 1−z
y escogiendo ramas especı́ficas de la raı́z cuadrada y del logaritmo tenemos que las derivadas de las funciones
univaluadas están dadas por
d 1
(senh−1 (z)) = ,
dz (1 + z 2 )1/2
d 1
(cosh−1 (z)) = 2 ,
dz (z − 1)1/2
d 1
(tanh−1 (z)) = .
dz 1 − z2
Ejemplo 50. Resuelva
1 1
tanh−1 (0) = log(1) = (ln(1) + 2πki) = iπk.
2 2
cos(z) = 2. Esto es equivalente a
eiz + e−iz = 4
√
y multiplicando por eiz tenemos que e2iz − 4eiz + 1 = 0, lo que implica que eiz = 2 ± 3 y aplicando logaritmo
obtenemos √
iz = log(2 ± 3),
√ √ √
en otras palabras, z = −i log(2 ± 3) = −i ln(2 ± 3) + i(0 + 2πk) = 2πk − i ln(2 ± 3).
41
cosh(z) = 0. Dado que cosh(z) = cosh(x) cos(y) + i senh(x) sen(y) tenemos que
cosh(x) cos(y) = 0 y senh(x) sen(y) = 0.
π
Como cosh(x) 6= 0 se tiene que cos(y) = 0 lo que implica que y = (2k + 1) . Utilizando esto en la segunda
2
π
ecuación obtenemos sen((2k + 1) ) = (−1)k 6= 0 lo que produce senh(x) = 0, esto es, x = 0. Luego,
2
π
z = (2k + 1) i.
2
sen(z) = 2. Esto implica que

√ √
z = sen−1 (2) = −i log(2i ± 3i) = −i log((2 ± 3)i)
√ π
= −i ln(2 ± 3) + i + 2kπ
2
π √
= (4k + 1) − i ln(2 ± 3).
2
2.4.3. Mapeos de la función seno complejo
En esta sección mapearemos lı́neas verticales y horizontales bajo la función seno. Para ello recordemos que
sen(z) = sen(x) cosh(y) +i cos(x) senh(y) .
| {z } | {z }
u(x,y) v(x,y)
Veamos la imagen de la lı́nea vertical x = nπ, n ∈ Z. Note

que los puntos de esta recta son de la forma (nπ, y) con
y ∈ R. Ası́ que,
u(nπ, y) = sen(nπ) cosh(y) = 0

v(nπ, y) = cos(nπ) senh(y) = (−1)n senh(y).
Es decir, u = 0 y −∞ < v < ∞. Luego,
sen({x = nπ}) = {es el eje v}.

Ahora, veamos cuál es la imagen de una recta vertical de
π
la forma x = (2n + 1) donde n ∈ Z. Note que
2
π π
u (2n + 1) , y = sen (2n + 1) cosh(y) = (−1)n cosh(y)
2 2
π π
v (2n + 1) , y = cos (2n + 1) senh(y) = 0.
2 2
Es decir, u = (−1)n cosh(y) y v = 0. Y como cosh(y) ≥ 1
entonces si n es par tenemos que u ≥ 1y si n es impar
u ≤ −1. Luego,
π
sen({x = (2n + 1) }) = {|u| ≥ 1, v = 0}.
2

6
Si consideramos una recta vertical x = c0 = nπ, (2n + 1)π/2 tenemos
que
u(c0 , y) = sen(c0 ) cosh(y) y v(c0 , y) = cos(c0 ) senh(y),
donde sen(c0 ) y cos(c0 ) son reales distintos de cero. Entonces

2 2
u v
− = cosh2 (y) − senh2 (y) = 1.
sen(c0 ) cos(c0 )
42
Por lo tanto, la imagen de este tipo de rectas verticales son hipérbolas con semiejes sen(c0 ) y cos(c0 ). Dado que
sen2 (c0 ) + cos2 (c0 ) = 1 el foco de la hipérbola están en ±1. En general, uno puede decir, que las imágenes de los
casos anteriormente estudiados x = nπ y x = (2n + 1)π/2 son hiperbólas degeneradas.
Por otra parte, analicemos la imagen de las lı́neas horizontales.
Ası́ que estudiemos primero la imagen de y = 0.
u(x, 0) = sen(x) y v(x, 0) = 0.
Esto es, −1 ≤ u ≤ 1 y v = 0. Luego,
sen({y = 0}) = {|u| ≤ 1, v = 0}.

Ahora, consideremos una recta horizontal de la forma y = c1 6= 0
y note que
u(x, c1 ) = sen(x) cosh(c1 ) y v(x, c1 ) = cos(x) senh(c1 ),
donde cosh(c1 ) y senh(c1 ) son números reales distintos de cero.

Por lo tanto,
2 2
u v
+ = sen2 (x) + cos2 (x) = 1.
cosh(c1 ) senh(c1 )
En conclusión, la imagen de este tipo de rectas horizontales son elipses con semiejes cosh(c1 ) y senh(c1 ). Dado
que cosh2 (c1 ) − senh2 (c1 ) = 1, los focos de la elipse son ±1. Similar al caso anterior podemos visualizar la imagen
de y = 0 como una elipse degenerada.
2.5. Funciones Armónicas

Definición 45 (Funciones Armónicas).
Una función real H(x, y) se dice que es armónica en un dominio D del plano xy si las
derivadas parciales de primer y segundo orden son continuas en D y satisface:
Hxx + Hyy = 0.
| {z }
∆H
La temperatura T (x, y) en una placa delgada situada en el plano xy es con frecuencia una función armónica.
Otro ejemplo clásico de función armónica es el potencial electrostático que varı́a en el interior de una región del
espacio tridimensional libre de cargas.
Ejemplo 51. Sea T (x, y) = e−y sen(x) la temperatura en una semifranja 0 < x < π, y > 0. Demuestre que T es
armónica
SOL: Observe que las primeras derivas parciales están dadas por
Tx = e−y cos(x), Ty = −e−y sen(x).
Y sus segundas derivadas satisfacen
Txx = −e−y sen(x), Tyy = e−y sen(x).
Luego, Txx + Tyy = 0.
Teorema 46.
Si una función f (z) = u(x, y) + iv(x, y) es analı́tica en un dominio D las funciones compo-
nentes u(x, y) y v(x, y) son armónicas en D.
43
DEM: Como f es analı́tica la ec. C-R se verifica, esto es, ux = vy y uy = −vx derivando aquı́ respecto a x (e y)
uxx = vyx uyx = −vxx uxy = vyy uyy = −vxy
Ahora como las segundas derivadas parciales son continuas entonces uxy = uyx y vxy = vyx . Por tanto
uxx + uyy = vyx − vxy = 0 vxx + vyy = −uyx + uxy = 0.
NOTA: Note que el teorema anterior se verifica en la función T del Ejemplo ?? ya que ella es la parte real de la
función f (z) = e−y sen(x) − ie−y cos(x).
2xy x2 − y 2
Ejemplo 52. Demuestre que las funciones reales u = y v = son armónicas.
(x2 + y 2 )2 (x2 + y 2 )2
SOL: Consideremos la función

2xy x2 − y 2
f (z) = u + iv = + i .
(x2 + y 2 )2 (x2 + y 2 )2
Claramente f (z) es analı́tica en todo punto z 6= 0, por Teorema afirmamos que u y v son armónicas en todo dominio
del plano xy que no contenga el origen.
Definición 47 (Funciones Armónicas Conjugadas).
Sea u, v dos funciones armónicas en un dominio D que verifican C-R se dice que v es
armónica conjugada de u:
Ejemplo 53. Hallar la armónica conjugada de u(x, y) = y 3 − 3x2 y
Sol: Dado que la conjugada v esta relacionada con u por medio de C-R. ux = vy y uy = −vx . Por tanto,
vy = −6xy. Integrando aqui respecto a y, tenemos que
v(x, y) = −3xy 2 + C(x)
Ahora derivemos respecto a y y usando uy = −vx encontramos que 3y 2 −3x2 = 3y 2 −C ′ (x). Por tanto C(x) = x3 +C
y
v(x, y) = −3xy 2 + x3 + C
es la armónica conjugada de u.
OBS: Si v es armónica conjugada de u en un dominio D, NO necesariamente u es conjugada armónica de v en
D.
Ejemplo 54. v(x, y) = 2xy es armónica conjugada de u(x, y) = x2 − y 2 pero u(x, y) no es armónica conjuga de
v(x, y).
Sol: No es difı́cil ver que

f (z) = z 2 = x2 − y 2 + i(2xy)
y como f es un función entera entonces v(x, y es conjugada de u(x, y). Ahora bien u(x, y) NO puede ser armónica
conjugada de v(x, y) pues la función correspondiente seria
f (z) = 2xy + i(x2 − y 2 )
y está función no es analı́tica en ningún punto.
Principio de Reflexión
Definición 48 (Principio de Reflexión).

Si una función f (z) satisface f (z) = f (z) diremos que f cumple el Principio de Reflexión.
44
El siguiente teorema no enseña a predecir cuándo una función cumple el principio de Reflexión.
Teorema 49 (Prueba Principio de Reflexión).
Sea f una función analı́tica en un dominio D que contiene un segmento simétrico del eje x.
Entonces f (z) = f (z) para todo z ∈ D si y sólo si f (x) es real para todo x de ese segmento.
Ejemplo 55.
f (z) = z + 1. Note que como f es un polinomio complejo su dominio es C, ası́ que es claro que este dominio
contiene el eje real y f (x) = x + 1 es real para cualquier x real, ası́ que f (z) = f (z).
f (z) = z 2 es otro polinomio complejo ası́ que su dominio C contiene el eje real y es claro que f (x) = x2 es
real para todo x de ese eje real, luego f (z) = f (z).
f (z) = z + i es una función que no satisface el principio de reflexión pues f (x) = x + i no es real.
f (z) = iz 2 es una función que no satisface el principio de reflexión pues f (x) = ix2 no es real.
Funciones unı́vocas y funciones multivaluadas

1. Si a cada valor de z corresponde sólo un valor de w, se dice que f es una función unı́voca de z, o bien que
f (z) es unı́voca.
2. Si a cada valor de z corresponde más de un valor de w, se dice que f es una función multivaluada de z.
a) Rama de una función multivaluada: restricción de la función de manera que sea univaluada en su
dominio.
b) Linea de ramificación (corte ramal): curva o linea en el plano complejo que separa las distintas
ramas de una función multivaluada. La elección de esta linea no es única.
c) Hojas de Riemann: extensión del dominio de una función multivaluada para que sea continua y
univaluada en su dominio. La colección de todas ellas se conoce como superficie de Riemann.
3. Una función multivaluada puede considerarse como una colección de funciones unı́vocas.
4. Cada función multievaluada se le define una rama principal, y al correspondiente valor de la función en esta
rama, es el valor principal.
5. Siempre que se hable de una función, a menos que se diga otra cosa, se entenderá que se trata de una función
unı́voca.
Ejemplo 56.
a) Si w = z 2 , por cada valor de z se presenta un solo valor de w. Ası́, w = f (z) = z 2 es una función unı́voca de z.
b) Si w2 = z, por cada valor de z hay dos valores de w. Ası́, w2 = z define una función multivaluada (en este caso
con dos valores) de z.
45
2.6. Puntos de ramificación

Definición 50. (Punto de ramificación)
Sea C es una curva cerrada simple alrededor de un punto z0 y sea z ∈ C entonces z0
es un punto de ramificación de la función f si

f reiθ 6= f rei(θ+2πk) para algunos k ∈ Z
Adicionalmente, y lineas de ramificación nacen en los puntos de ramificación.
Nos interesa analizar los cambios que sufre w cuando la variable z se mueve siguiendo una trayectoria C
alrededor de un punto z0
Ejemplo 57. Halle los puntos de ramificación y lineas de ramificación para w = z 1/2 .
SOL: Consideremos una curva cerrada C en el z-plano que encierre el origen z = 0 (véase figura). Adicionalmente
√ θ
no es difı́cil ver que cualquier z = reiθ en el z-plano se enviá a w = rei( 2 ) en el w-plano.
Observe que en el punto A = reiθ1 , y se enviá en
√ i( θ1 )
w1 = re 2 .
Después de una vuelta completa a C regresamos a A, pero su

argumento se modifico de θ1 a θ1 + 2π y este se enviará a
√ θ1 +2π √ θ1
w= rei( 2 )
= − rei( 2 ) = −w1 .
Claramente, NO se obtiene el valor de w1 con el que se empezó.

Sin embargo, al dar otra vuelta completa a C y de regreso a A, su
argumento ahora se modificó de θ1 a θ1 + 4π y este se enviará a
√ i( θ1 +4π ) √ i( θ1 )
w= re 2 = re 2 = w1 .
Es decir, después de dos vueltas completas, la imagen de A recu-

pera su valor original, w1 .
Punto de ramificación. Dado que al rodear sucesivamente z = 0 se obtienen diferentes valores de f , entonces
z = 0 es un punto de ramificación. Adicionalmente es único pues si damos una vuelta completa en torno a otro
punto z 6= 0 NO conduce a valores diferentes.
Linea de Ramificación: Se establece hacer una linea como barrera artificial para “separar” las distintas
ramas de la función multievaluada, esta linea se acuerda NO cruzar con el objetivo de mantener la función unı́voca.
Esta linea siempre tiene su origen en un punto de ramificación. En este caso, tomaremos el eje real positivo
(aunque sirve cualquier otra recta que parta de O). Esta barrera (representada en la figura por una recta más
gruesa) se conoce como lı́nea de ramificación o corte de ramificación.
Otro método para estudiar las ramificaciones La función multievaluada w = z 1/2 es equivalente a w2 = z
tenemos entonces que arg (z) = 2arg (w) de lo cual concluimos que
1
cambio en arg w =
cambio en arg z
2
Entonces, si arg z aumenta 2π y 4π, arg w aumenta π y 2π que conducen a tener diferentes valores de w, los cuales
corresponden a las diferentes ramas de la función w = z 1/2 y que z = 0 es un punto de ramificación
Por lo anterior, w = z 1/2 es una función multievaluada pues cada z en el z-plano tiene 2 imágenes diferentes en
el w-plano, es por eso que podemos construir dos funciones unı́vocas f1 y f2 , restringiendo θ de manera adecuada.

 w = f (z) = |z|1/2 ei( θ2 ) si 0 ≤ θ < 2π
1/2 1 1
w = f (z) = z =⇒
 w = f (z) = |z|1/2 ei( θ2 ) si 2π ≤ θ < 4π
2 2
46
El primer intervalo, 0 ≤ θ < 2π, suele conocerse como rango principal de θ, y corresponde a la rama principal de
la función w = z 1/2 .
Ejemplo 58. Considere la función multivaluada w = z 1/2 . Demuestre
a) Las ramas son discontinuas y, por lo tanto, no analı́tica sobre la linea de ramificación.
b) Las distintas ramas se conectan con continuidad sobre los puntos la linea de ramificación.
SOL a): Sabemos por el ejemplo anterior que las ramas de f están dadas por

 w = f (z) = |z|1/2 ei( θ2 ) si 0 ≤ θ < 2π
1/2 1 1
w = f (z) = z =⇒
 w = f (z) = |z|1/2 ei( θ2 ) si 2π ≤ θ < 4π
2 2
El corte ramal elegido es el conjunto L = {z : Rez ≥ 0, Imz = 0}; une 0 con z = ∞. Sin perdida de generalidad
demostremos que la rama f1 (z) presenta una discontinuidad en L.
Observese que para un punto z ∗ ∈ L (sobre el eje real),
arg z → 0 si z → z ∗ por encima del eje real
arg z → 2π si z → z ∗ por debajo del eje real.

Entonces,
0+ǫ 2π−ǫ
lı́m∗ f (z) = lı́m |z ∗ |1/2 ei( 2 ) = |z ∗ |1/2 lı́m∗ f (z) = lı́m |z ∗ |ei( 2 ) = −|z ∗ |1/2
z→z ǫ→0 z→z ǫ→0
arg z→0 arg z→2π
cuando z tiende a cruzar el corte ramal hacia z ∗ , la función f1 (z) presenta un discontinuidad de salto de 2|z ∗ |1/2
Sol b) Veamos que en todo punto z ∗ ∈ L (sobre el eje real), hay continuidad entre la rama f1 (z) y la rama f2 (z),
en efecto,
arg z → 2π si z → z ∗ por debajo del eje real para la rama f1 (z)
arg z → 2π si z → z ∗ por encima del eje real para la rama f2 (z)
Entonces,
2π−ǫ 2π+ǫ
lı́m∗ f (z) = lı́m |z ∗ |1/2 ei( 2 ) = −|z ∗ |1/2 lı́m∗ f (z) = lı́m |z ∗ |ei( 2 ) = −|z ∗ |1/2
z→z ǫ→0 z→z ǫ→0
arg z→2π − arg z→2π +
Es decir, las ramas conservan la continuidad de la función multievaluada f (z) = z 1/2
En resumen, las funciones multivaluadas pueden caracterizarse por sus puntos y lineas de rami-
ficación. Los cortes ramales, nos permiten trabajar con una rama de la función multivaluada que
será discontinua sobre los puntos del corte ramal. No existe una manera única de definir un corte
ramal; en general, será determinado a partir de las necesidades del cálculo. Cada corte ramal impone
una restricción en el recorrido del argumento limitando su variación a un intervalo de longitud 2π y,
viceversa, cada determinación del argumento implica un corte en el plano complejo.
Ejemplo 59. Dónde es analitica la función f (z) = Log (iz + 1)?
Sol: Para obtener la rama principal de la función infinitamente multievaluada log♥, se elige
−π < arg (♥) ≤ π ⇐⇒ la linea de ramificación es L = {♥ : Re♥ ≤ 0, Im♥ = 0}.
Luego, la función f (♥) = Log (♥) será analitica en C − L.
47
Ahora determinemos el corte ramal L correspondiente a f (z) = Log (iz + 1)

(recuerde que son los puntos donde f (z) será discontinua), tendremos que im-
poner que
Re(iz + 1) = 1 − y ≤ 0 y Im(iz + 1) = x = 0.
Luego, f (z) será analitica en el conjunto A = C − {x + iy : x = 0, y ≥ 1}.
√
Ejemplo 60. Dónde es analı́tica la función f (z) = 1 + ez ?
√
Sol: Como bien sabemos la funcion f (♥) = ♥ es multievaluada. Eligiendo nuevamente
−π < arg (♥) ≤ π ⇐⇒ la linea de ramificación es L = {♥ : Re♥ ≤ 0, Im♥ = 0}.

√
Luego, la función f (♥) = ♥ será analı́tica en C − L.
√
Ahora determinemos el corte ramal L correspondiente a f (z) = 1 + ez (re-
cuerde que son los puntos donde f (z) será discontinua), tendremos que resolver
entonces las siguientes inecuaciones
Re(1 + ez ) = 1 + ex cos y ≤ 0 y Im(1 + ez ) = ex sen y = 0.
√ probar fácilmente que x ≥ 0 e y = (2k + 1)π con k ∈ Z. Luego,

se puede
f (z) = 1 + ez será analı́tica en el conjunto
A = C − {x + iy : x ≥ 0, y = (2k + 1)π.k ∈ Z}.
√
Ejemplo 61. Dónde es analı́tica la función f (z) = z 2 − 1?
√
Sol: Como bien sabemos la función f (♥) = ♥ es multievaluada y tiene un punto ramal en ♥ = 0. Aquı́ vamos
a elegir
0 < arg (♥) ≤ 2π ⇐⇒ la linea de ramificación es L = {♥ : Re♥ ≥ 0, Im♥ = 0}.
√
√
Ahora determinemos el corte ramal L correspondiente a f (z) = z 2 − 1 (re-
cuerde que son los puntos donde f (z) será discontinua y recuerde tambien que
los cortes ramales nacen en los puntos de ramificación), tendremos que resolver
entonces las siguientes inecuaciones
Re(z 2 − 1) = x2 − y 2 − 1 ≥ 0 y Im(z 2 − 1) = 2xy = 0.

√
se puede probar fácilmente que |x| ≥ 1 e y = 0. Luego, f (z) = z2 − 1
será analı́tica en el conjunto
A = C − {x + iy : |x| ≥ 1, y = 0}.
√
EJERCICIO: Halle el conjunto de analiticidad f (z) = z 2 − 1 pero considerando
−π < arg (♥) ≤ π ⇐⇒ la linea de ramificación es L1 = {♥ : Re♥ ≤ 0, Im♥ = 0}.
48
p
Ejemplo 62. Considérese la función multivaluada f (z) = z + 3 (z − 1)2 . A
partir del corte ramal que se indica en la figura, elı́jase la rama definida por
f (0) = 1. Determinar el valor de f (z) en los puntos z1 = 1 + i y z2 = −i.
Sol: Aqui A = C − {x + iy : x = 1, −∞ < y ≤ 0}. De acuerdo con el corte

ramal elegido, cualquier punto z ∈ A podrá escribirse como z − 1 = |z − 1|eiθ
con −π/2 < θ ≤ 3π 2 . Luego,
θ+2πk
f (z) = z + (z − 1)2/3 = z + |z − 1|2/3 e2i( 3 )
k = 0, 1, 2.
Ahora tenemos que fijar el k para ello sabemos que f (0) = 1, pero antes observe
que si z0 = 0, θ0 = π y
π+2πk
f (0) = 0 + (0 − 1)2/3 = 0 + |0 − 1|2/3 e2i( 3 )
=1 si y solo si k = 1
Ahora ya podemos pasar a calcular f (1 + i) y f (−i), Observe que para z1 = 1 + i , θ1 = π/2 y para z2 = −i ,
θ2 = 5π/4 de manera que
π
+2π
2/3 2/3 2i( 2 3 )
f (1 + i) = 1 + i + (1 + i − 1) =1+i+ |i| e
√
5π π 1 3
=1+i+ ei( 3 ) =1+i+e i(2π− 3 )
=1+i+( −i )
√ 2 2
3 3
= + i(1 − )
2 2
5π
√ 4 +2π )
f (−i) = −i + (−i − 1)2/3 = −i + ( 2)2/3 e2i( 3
√
13π π 3 1
= −i + 21/3 ei( 6 ) = −i + 21/3 ei(2π+ 6 ) = −i + 21/3 ( +i )
√ 2 2
3 1
= 21/3 − i21/3
2 2
Ejemplo 63. Halle los puntos de ramificación y lineas de ramificación para w = z 1/5 .
θ1
SOL: Para z1 = r1 eiθ1 en el z-plano tenemos que su imagen es w1 = r1 ei( 5 ) , ahora veamos que ocurre al realizar
a partir de z1 un circuito completo en sentido contrario a las manecillas del reloj, en torno al origen.
A medida que el valor de θ aumenta de θ1 a θ1 + 2π, que es lo que ocurre al realizar un circuito completo en
sentido contrario a las manecillas del reloj, en torno al origen, se tiene
1/5 θ1 +2π 1/5 θ1 2π 2πi
w = r1 ei( 5 )
= r1 ei( 5 ) ei( 5 ) = w1 e 5
Después de dos circuitos completos en torno al origen, se encuentra

1/5 θ1 +4π 1/5 θ1 4π 4πi
w = r1 ei( 5 )
= r1 ei( 5 ) ei( 5 ) = w1 e 5
De manera similar, después de tres y cuatro circuitos completos en torno al origen, se tiene
6πi 8πi
w = w1 e 5 y w1 e 5
49
Después de cinco circuitos completos,

10πi
w = w1 e 5 = w1 ,
de manera que después de cinco revoluciones completas en torno al origen de nuevo se obtiene el valor original de
w. Por tanto, el ciclo se repite.
Por lo anterior, w = z 1/5 es una función multievaluada pues cada z en el
z-plano tiene 5 imágenes diferentes en el w-plano, es por eso que podemos
construir cinco funciones unı́vocas, restringiendo θ de manera adecuada.
0 ≤ θ < 2π, 2π ≤ θ < 4π, , 4π ≤ θ < 6π 8π ≤ θ < 10π

El primer intervalo, 0 ≤ θ < 2π, suele conocerse como rango principal de θ,
y corresponde a la rama principal de la función w = z 1/5 ; y la lı́nea de
ramificación serı́a el eje real positivo, con objeto de no ir más allá de este
corte (si se va más allá de este corte se obtiene otra rama de la función).
(También pueden tomarse otros intervalos para θ de longitud 2π; por ejemplo, −π ≤ θ < π, π ≤ θ < 3π, etcétera,
al primero de los cuales se le considera rango principal.). Observese que la función w = z 1/2 tiene 5 ramas distintas,
despues de pasar por ellas regresa a la rama (principal) original.
Dado que al rodear sucesivamente z = 0 se obtienen diferentes valores de f (z), entonces z = 0 es un punto de
ramificación.
√
Ejemplo 64. Sea w = f (z) = z 2 + 1.
a) Muestre que z = ±i son puntos de ramificación de f (z).
b) Muestre que una vuelta completa en torno a ambos puntos de ramificación no produce ningún cambio en las
ramas de f (z).
c) Determine donde es analı́tica.
p
SOL a): Se tiene w = (z 2 + 1)1/2 = (z − i)(z + i). Entonces, arg w = 21 arg (z − i) + 21 arg (z + i) de manera que
1 1
Cambio en arg w = {Cambio en arg (z − i)} + {Cambio en arg(z + i)}
2 2
Sea C una curva cerrada que encierre al punto i pero no al punto −i. Entonces, a medida que el punto z da una
vuelta completa por C en contra de las manecillas del reloj,
Cambio en arg (z − i) = 2π Cambio en arg(z + i) = 0
de manera que
Cambio en arg w = π
Por tanto, w no vuelve a su valor original, es decir, hubo un cambio de rama.
Como una vuelta completa en torno a z = i
modifica las ramas de la función, z = i es un
punto de ramificación. De manera similar, si
C es una curva cerrada que encierra al punto
−i pero no a i, se muestra que z = −i es un
punto de ramificación.
SOL b) Si C encierra los dos puntos de rami-

ficación z = ±i, como en la figura, entonces,
a medida que el punto z se mueve por C en
sentido contrario a las manecillas del reloj,
Cambio en arg (z − i) = 2π Cambio en arg(z + i) = 2π
50
de manera que
Cambio en arg w = 2π
Ası́, una vuelta completa en torno a los dos puntos de ramificación NO da lugar a ningún cambio de w por ende
NO hubo cambio de rama.
Otra justificación de a) y b): Sabemos que si z − i = r1 eiθ1 y z + i = r2 eiθ2 entonces
√ θ1 θ2
w1 = {r1 r2 ei(θ1 +θ2 ) }1/2 = r1 r2 ei( 2 ) ei( 2 )
Ahora suponga que se empieza con un determinado valor z1 correspondiente a θ1 = α1 y θ2 = α2 . Entonces

√ α1 α2
w = r1 r2 ei( 2 ) ei( 2 ) . A medida que z1 da una vuelta en sentido contrario a las manecillas del reloj en torno a i,
θ1 aumenta a α1 + 2π, mientras θ2 permanece igual, es decir, θ2 = α2 . Por tanto,
√ α1 +2π α
) i( 22 ) √ α1 α2
w= r1 r2 ei( 2 e = − r1 r2 ei( 2 ) ei( 2 ) = −w1
lo que muestra que NO se obtiene el mismo valor de w1 , es decir, hubo un cambio de rama, lo que indica que
z = i es un punto de ramificación.
Pero en este caso, en que, θ1 aumenta de α1 a α1 + 2π mientras θ2 aumenta de α2 a α2 + 2π. Por tanto,
√ α1 +2π α2 +2π √ α1 α2
w= r1 r2 ei( 2 ) ei( 2 ) = r1 r2 ei( 2 ) ei( 2 ) = w1
y no se observa ningún cambio de w1 . Por ende NO hubo cambio de rama.

√
Sol c) Estudiemos el conjunto donde f (z) es analı́tica. Como bien sabemos la función f (♥) = ♥ es multieva-
luada y tiene un punto ramal en ♥ = 0. Aquı́ vamos a elegir
0 < arg (♥) ≤ 2π ⇐⇒ la linea de ramificación es L = {♥ : Re♥ ≥ 0, Im♥ = 0}.

√
√
Ahora determinemos el corte ramal L correspondiente a f (z) = z 2 + 1 (recuerde que son los puntos donde
f (z) será discontinua y recuerde también que los cortes ramales nacen en los puntos de ramificación), tendremos
que resolver entonces las siguientes inecuaciones
Re(z 2 + 1) = x2 − y 2 + 1 ≥ 0 y Im(z 2 + 1) = 2xy = 0.

√
se puede probar fácilmente que x = 0 e |y| ≤ 1. Luego, f (z) = z 2 + 1 será analı́tica en el conjunto
A = C − {x + iy : x = 0, |y| ≤ 1}.
EJER: Compruebe que la función puede ser analı́tica en la gráfica derecha siempre que tomamos
−π < arg (♥) ≤ π ⇐⇒ la linea de ramificación es L1 = {♥ : Re♥ ≤ 0, Im♥ = 0}.

√
Luego, en este caso la función f (♥) = ♥ será analı́tica en C − L1 .
51
√ p
Ejemplo 65. Sea w = f (z) = z 2 + 1 = (z − i)(z + i).
a) Si w = 1 cuando z = 0 y z describe la curva C1 que se

muestra en la figura, encuentre el valor de w cuando
z = 1.
b) Si z describe la curva C2 que se muestra en la figura
2, ¿el valor de w, cuando z = 1, es el mismo que el
obtenido en el inciso a)?
Sol a) Sabemos que si z − i = r1 eiθ1 y z + i = r2 eiθ2 entonces
√ θ1 θ2
w = {r1 r2 ei(θ1 +θ2 +2πk) }1/2 = r1 r2 ei( 2 ) ei( 2 ) ei(kπ) (2.6)
Como se puede ver el la primera gráfica, cuando z está en 0, r1 = 1, θ1 = 3π/2 y r2 = 1, θ2 = π/2.

Como w = 1 en z = 0 se tiene, de acuerdo con (??), 1 = e(k+1)π y se elige k = −1 (ó 1, 3, . . .). Entonces
√ θ1 θ2
w = − r1 r2 ei( 2 ) ei( 2 )
√ √
A medida que z recorre C1 de 0 a 1, r1 cambia de 1 a 2, θ1 cambia de 3π/2 a −π/4, r2 cambia de 1 a 2, θ2
cambia de π/2 a π/4. Entonces
q
√ θ1 θ2 √ √ i(− π ) i( π ) √
w = − r1 r2 ei( 2 ) ei( 2 ) = − 2 2e 8 e 8 = − 2
√ θ1 θ2
Sol b) Como en el√inciso a), w = − r1 r2 ei( 2 ) ei( 2 ) . En la segunda
√ figura se ve que, a medida que z recorre C2 ,
r1 cambia de 1 a 2, θ1 cambia de 3π/2 a 7π/4, r2 cambia de 1 a 2 y θ2 cambia de π/2 a π/4. Entonces
q
√ θ θ
i( 21 ) i( 22 )
√ √ i( 7π ) i( π ) √
w = − r1 r2 e e =− 2 2e 8 e 8 = 2
que NO es el mismo valor que el que se obtuvo en el inciso a).
52
Capitulo III
Integración
Las integrales son muy importantes en el estudio de funciones de una variable compleja. La teorı́a de integración
que desarrollaremos en este capı́tulo es notable por su elegancia matemática. Los teoremas son, en general, concisos
y potentes, y sus demostraciones muy sencillas casi siempre. La teorı́a tiene, además, múltiples aplicaciones en
Matemáticas Aplicadas.
ˆ
Con objeto de introducir las integrales de f (z)dz de un modo sencillo y elegante, estudiaremos primero las
curvas complejas z(t).
Curvas complejas z(t)
En el curso de calculo integral (varias variables) se considera el concepto de derivada de una función vectorial

f : [a, b] ⊂ R → Rm , f (t) = f1 (t), f2 (t), . . . , fm (t)
donde fi : [a, b] → R. La función vectorial f es diferenciable en el [a, b] (en los puntos a y b se trata de las
derivadas unilaterales) si, y só1o si, las funciones fi son diferenciables para todo t ∈ [a, b] y

f ′ (t) = f1′ (t), f2′ (t), . . . , fm
′
(t) .
Un primera aplicación de funciones vectoriales son las curvas en el plano R2 .

Todos sabemos trazar una curva en un cuaderno, se coge un lápiz,
se coloca sobre el papel (el punto inicial de la curva) y se mueve
el lápiz sin levantar la punta del papel. La punta del lápiz des-
cribirá una curva sobre el papel, y al terminar se levanta el lápiz
en el punto final de la curva. Si se comienza a mover el lápiz en
el momento de tiempo t = 0 y en t = t0 finaliza la tarea de di-
bujar la curva entonces a medida que el tiempo transcurre de 0
a t0 la punta del lápiz se moverá continuamente del punto inicial
A hasta el punto final B o sea que a cada tiempo t (0 ≤ t ≤ t0 )
corresponde una posición de la punta en el plano del cuaderno.
Si introducimos los ejes coordenados en el plano del cuaderno, lo
posición (x, y) de la punta de lápiz es un función del tiempo t,
donde t varia de 0 a t0 , digamos
x = x(t) y = y(t) 0 ≤ t ≤ t0

Las funciones x(t) y y(t) deben ser continuas para que el punto x(t), y(t) represente el movimiento del lápiz
sin levantar la punta del papel.
Más ampliamente, decimos que una curva C es determinada por dos ecuaciones reales

 x = x(t)
C: a≤t≤b (parametrización: r(t) = x(t), y(t) ) (3.1)
 y = y(t)
donde x(t) y y(t) son funciones continuas en el intervalo [a, b]. En esta idealización matemática, no hay que inter-
pretar el parametro t como el tiempo, solamente t es un parámetro que varia de a hasta b. Si consideramos la curva
en el plano complejo C, en lugar de dos ecuaciones reales (1.1) se forma una ecuación compleja.
n
C : z = z(t) = x(t) + iy(t) a≤t≤b (3.2)
53
El número complejo z(a) = x(a) + iy(a) es el punto inicial de la curva y el punto final de la curva es el número
complejo z(b) = x(b) + iy(b).
Definición 51. Arco y curva de Jordan
El arco C es un arco simple, o arco de Jordan, si NO se corta a sı́ mismo; esto es,
si z(t1 ) = z(t2 ) cuando t1 6= t2 . Cuando el arco C es simple excepto por el hecho de
que z(b) = z(a), decimos que C es una curva cerrada simple, o curva de Jordan.
Ejemplo 66. Indique cuáles de los siguientes arcos son curvas de Jordan.
i) 
 t + it si 0 ≤ t ≤ 1,
z(t) =
 t + i si 1 ≤ t ≤ 2
Es un arco simple, pero no es una curva de Jordan pues z(0) 6= z(2).

ii) z = eiθ con 0 ≤ θ ≤ 2π es la circunferencia unitaria orientada positivamente
pues va al contrario de las manecillas del reloj y claramente es una curva de
Jordan.
iii) z = e−iθ con 0 ≤ θ ≤ 2π es la circunferencia unitaria orientada negativamente
pues va en el sentido de las manecillas del reloj y claramente es una curva de
Jordan.
iv) z = e2iθ con 0 ≤ θ ≤ 2π es la circunferencia unitaria que da dos vueltas y está orientada positivamente y
como se autointersecta no es una curva de Jordan.
v) z = e2iθ con 0 ≤ θ ≤ π es la circunferencia unitaria orientada positivamente pues va al contrario de las

manecillas del reloj y claramente es una curva de Jordan.
De ii) y v) observamos que la representación paramétrica elegida para un arco no es única.
Definición 52 (Arco suave y caminos).

Decimos z(t) = x(t) + iy(t) es un arco suave si las dos funciones x(t), y(t) son
derivables, x′ (t) y ′ (t) son continuas en [a, b] y
z ′ (t) = x′ (t) + iy ′ (t) ≡ (x′ (t), y ′ (t)) 6= 0. (3.3)
Finalmente, un camino es un arco formado por un número finito de arcos suaves

unidos uno tras otro. Y si sólo los puntos inicial y final de z(t) son iguales se dice
que el camino es cerrado y simple.
p
La función real |z ′ (t)| = x′ (t)2 + y ′ (t)2 es continua e integrable en [a, b] y
ˆ b
|z ′ (t)|dt = L
a
donde L es la longitud del camino z(t).
Para mayor sencillez, en el presente capitulo vamos a trabajar solamente con curvas suaves, sin embargo los
resultados son válidos para las curvas más generales.
d z0 t
Ejemplo 67. Demuestre que dt [e ] = z0 ez0 t donde z0 = x0 + iy0
x(t) y(t)
z }| { z }| {
Sol: observe que ez0 t = ex0 t+iy0 t = ex0 t cos(y0 t) + i sin(y0 t) = ex0 t cos(y0 t) +i ex0 t sin(y0 t). Usando (1.3)
54
concluimos que
d z0 t
[e ] = [ex0 t cos(y0 t)]′ + i[ex0 t sin(y0 t)]′
dt
= x0 ex0 t cos(y0 t) − y0 ex0 t sin(y0 t) + i x0 ex0 t sin(y0 t) + y0 ex0 t cos(y0 t)

= (x0 + iy0 ) ex0 t cos(y0 t) + iex0 t sin(y0 t)
= (x0 + iy0 )ex0 t+ity0
= (x0 + iy0 )etz0
d
EJER: Demuestre que dt [z0 z(t)] = z0 z ′ (t) donde z0 = x0 + iy0
Hay que decir que no toda regla de derivación del Cálculo es válida para funciones del tipo w(t) = u(t) + v(t).
Supongamos, por ejemplo, que z(t) es continua en [a, b]; esto es, ambas, u y v son continuas allı́. Aunque w′ (t)
exista cuando a < t < b, el teorema del valor medio NO tiene por qué ser aplicable. Para ser exactos, no es
necesariamente cierto que ∃c ∈ (a, b) tal que
w(b) − w(a)
w′ (c) = .
b−a
En efecto, considere la función w(t) = eit con 0 ≤ t ≤ 2π. Entonces, |w′ (t)| = |ieit | = 1, esto es, w′ (t) 6= 0, mientras
que w(2π) − w(0) = 0.
Definición 53. Integral de un curva compleja z(t)

La integral de una curva compleja z(t) = x(t) + iy(t) sobre un intervalo a ≤ t ≤ b se
define como
ˆ b ˆ b ˆ b
z(t)dt = x(t)dt + i y(t)dt
a a a
siempre que las integrales de la derecha existen.
Observe que !
ˆ b ˆ b ˆ b
Re z(t)dt = x(t)dt = Re(z(t))dt
a a a
y !
ˆ b ˆ b ˆ b
Im z(t)dt = y(t)dt = Im(z(t))dt
a a a
ˆ 1
Ejemplo 68. Calcule (1 + it)2 dt
0
Sol:

1 1 1 1
t3 1 t2 1 2
ˆ ˆ ˆ ˆ
2 2 2
(1 + it) dt = (1 + 2it − t )dt = (1 − t )dt + i 2tdt = t− + i = + i.
0 0 0 0 3 0 2 0 3
55
Proposition 54. Propiedades de Integral de z(t)

Sean z0 ∈ C complejo fijo y z1 (t) y z2 (t) dos curvas complejas entonces
ˆ b ˆ b ˆ b ˆ b ˆ b
a) z0 z(t)dt = z0 z(t)dt, c) (z1 (t) + z2 (t))dt = z1 (t)dt + z2 (t)dt
a a a a a
ˆ a ˆ b ˆ b ˆ c ˆ b
b) z(t)dt = − z(t)dt d) z(t)dt = z(t)dt + z(t)dt.
b a a a c
ˆ ˆ
b b

e) w(t)dt ≤ |w(t)|dt.
a a
ˆ
b ˆ b

DEM e): Note que si w(t)dt = 0 la desigualdad es trivial pues 0 ≤ |w(t)|dt ya que |w(t)| es una función
a a
ˆ
b ˆ b

real no negativa. Ası́ que podemos suponer que w(t)dt 6= 0 esto implica que el complejo w(t)dt 6= 0. Luego,
a a
su forma polar
ˆ
ˆ b b ˆ b
iθ0
w(t)dt = r0 e , =⇒ r0 = w(t)dt , θ = arg w(t)dt (3.4)
a a a
Note que de la Ecuación (1.4)

ˆ b
r0 = e−iθ0 w(t)dt
a
pero como r0 es un número real el otro lado de la igualdad (la integral) debe ser también un real. Por ende
ˆ ! ˆ
b ˆ b ˆ b b
−iθ0 −iθ0
w(t)dt = r0 = e w(t)dt = Re e w(t)dt = Re(e−iθ0 w(t))dt
a a a a
ˆ b ˆ b ˆ b
−iθ −iθ
≤ e 0 w(t) dt = e 0 |w(t)| dt = |w(t)| dt.
a a a
Teorema 55. Teorema Fundamental de Cálculo para z(t)

Supongamos que las funciones w(t) = u(t)+iv(t) y W (t) = U (t)+iV (t) son continuas en a ≤ t ≤ b.
Si W ′ (t) = w(t) en a ≤ t ≤ b entonces U ′ (t) = u(t), V ′ (t) = v(t) y
ˆ b b

w(t)dt = W (t)
a a
Demostración: Dado que W ′ (t) = w(t) entonces obviamente U ′ (t) = u′ (t) y V ′ (t) = v(t) y
ˆ b ˆ b ˆ b ˆ b ˆ b
w(t)dt = u(t)dt + i v(t)dt = U ′ (t)dt + i V ′ (t)dt
a a a a a
b b b

= U (t) + iV (t) = W (t)
a a a
donde hemos usado el Teorema Fundamental del Cálculo para funciones de valor y variable real.
ˆ π/4
Ejemplo 69. Calcule eit dt si se sabe que la derivada de la función −ieit es eit .
0
56
√ √ ! √ √ !
ˆ π/4 π/4 2 2 2 2
it it
e dt = −ie = −i eiπ/4 − 1 = −i +i −1 = +i 1− .
0 0 2 2 2 2
Las integrales de funciones complejas de una variable compleja se definen sobre curvas del plano complejo en
lugar de intervalos de la recta real como en el caso de funciones complejas de variable real. Ası́ que en la siguiente
sección introducimos las clases de curvas adecuadas para el estudio de esas integrales.
3.1. Caminos
Definición 56. Integral de camino
Sea f (z) una función continua de una variable compleja definida en D. Si C : z = z(t) = x(t)+iy(t)
con a ≤ t ≤ b representa un camino suave que está en D. Definimos la integral de f (z) a lo largo
del camino C como ˆ ˆ b
f (z)dz = f (z(t))z ′ (t)dt.
C a
El valor de una integral de camino es invariante bajo cambio de para-

metrización del camino.
Para calcular una integral a lo largo de una curva C, siempre debe ob-
servar la orientación de la curva C.
Si la curva parte del punto A = z(a) y termina en B = z(b) tomamos la
integral
ˆ ˆ b
f (z)dz = f (z(t))(z ′ (t))dt
C a
Si el punto inicial de la curva C es B(b) y termina en A = z(a) entonces,

se debe calcular ˆ ˆ a
f (z)dz = f (z(t))z ′ (t)dt
C b
Proposition 57 (Propiedades ).
Si f (z) y g(z) son funciones de valor y variable complejas y z0 ∈ C. Entonces
ˆ ˆ
a) z0 f (z)dz = z0 f (z)dz,
C C
ˆ ˆ ˆ
b) (f (z) + g(z)) dz = f (z)dz + g(z)dz,
C C C
ˆ ˆ
c) f (z)dz = − f (z)dz
−C C
ˆ ˆ ˆ
d) Si C = C1 ∪ C2 entonces f (z)dz = f (z)dz + f (z)dz
C C1 C2
Ejemplo 70. Calcule las siguientes integrales de caminos
π π
ˆ
zdz si C es la mitad derecha de la circunferencia z(t) = 2eit donde − ≤t≤ .
C 2 2
π π
ˆ ˆ
2
ˆ
2
π
it 2
zdz = 2eit 2ie
|{z} |{z} dt = 4i dt = 4it π = 4πi
π π −2
C −2 −2
f (z(t)) z ′ (t)
57
dz
ˆ
si C es la circunferencia unitaria |z| = 1 orientada positivamente. Entonces consideramos la parame-
C z
trización del camino C como z(t) = eit con 0 ≤ t ≤ 2π. Por lo tanto,
ˆ
dz
ˆ 2π
z ′ (t)
ˆ 2π 2π

= dt = idt = it = 2πi
C z 0 z(t) 0 0
ˆ
Re(z)dz donde C es la parametrización del gráfico y = x2 desde (−1, 1) hasta (2, 4). Note que z(t) = t+it2 ,
C
−1 ≤ t ≤ 2.
2
t3 2
ˆ 2 ˆ 2
t2
ˆ ˆ
Re(z)dz = t(1 + 2it)dt = tdt + 2i t2 dt = + 2i
C −1 −1 −1 2 3 −1

1 8 1 3
=2 − + 2i + = + 6i.
2 3 3 2
ˆ
f (z)dz donde f (z) = y − x − i3x2 y C1 es el camino OAB y C2 es el camino OB.
C
Observe que OA está parametrizada por z(t) = it, 0 ≤ t ≤ 1. Ası́ que x = 0 e y = 1
por ende
t2 1
ˆ 1
i
ˆ
f (z)dz = tidt = i = .
OA 0 2 0 2
AB está dado por z(t) = t + i, 0 ≤ t ≤ 1 entonces x = t e y = 1. Luego,
ˆ ˆ 1
t2 1 1 1

f (z)dz = (1 − t − 3it2 )dt = t − − it3 = 1 − − i = − i.
AB 0 2 0 2 2
Luego
1−i
ˆ
f (z)dz =
C1 2
Por otra parte, C2 esta parametrizada por z = t + it con 0 ≤ t ≤ 1
ˆ ˆ 1 ˆ 1
2
f (z)dz = −i3t (1 + i)dt = 3(1 − i) t2 dt = 1 − i.
C2 0 0
Evidentemente, pues, las integrales de f (z) a lo largo de los caminos C1 y C2 toman valores distintos, pese a
que ambos caminos tienen el mismo punto inicial y el mismo punto final.
Obsérvese que, en consecuencia, el valor de la integral f (z) sobre el contorno cerrado simple OABO, o sea,
C1 − C2 , es
−1 + i
ˆ ˆ
f (z)dz − f (z)dz = .
C1 C2 2
EJERCICIOS: Halle las siguientes integrales

ˆ
z 2 dz donde C : z(t) = t + it, con 0 ≤ t ≤ 1 Resp: − 32 + i 32
C
1
ˆ
dz donde C es una semicircuferencia de radio 1. Resp: iπ
C z
ˆ
z 2 dz donde C es la frontera de la region dada por un cuarto de circulo de radio 1 Resp: 0
C
58

Notas de Clase Variable 1

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Notas de Clase Variable 1

Uploaded by

Copyright:

Available Formats

Capitulo I

Pero, al atacar ecuaciones cuadráticas, los matemáticos de la antigüedad se toparon

La necesidad de encontrar un universo C donde vivan todas las

Este universo C que estamos construyendo ya contiene a la familia

Definición 1. (Números complejos)

Si z = a + bi y a = 0 entonces z = bi es un imaginario puro, (el cual identificamos (0, b)).

La igualdad en C se define mediante

Si z = x + yi, se define Re(z) = x y Im(z) = y (partes real e imaginaria del complejo

Ejercicio 1. Halle rápidamente

Teorema 2. En el conjunto de los números complejos C considere las siguientes operaciones

(a + bi) + (c + di) = (a + c) + i(b + d) (a, b) + (c, d) = (a + c, b + d)

demuestre que (C, +, ·) tiene estructura de cuerpo

II) (z1 + z2 ) + z3 = z1 + (z2 + z3 ) VI) z1 (z2 z3 ) = (z1 z2 )z3

IX) la operación (·) es distributiva respecto a la operación (+),

z(z1 + z2 ) = zz1 + zz2 (z1 + z2 )z = z1 z + z2 z

Dem: Supongamos que z −1 = w que propiedades debe cumplir w? pues, la de siempre

Observe que si z = a + bi y w = x + yi entonces

zw = (a + bi)(x + yi) = (ax − by) + (ay + bx)i = 1 + 0i

ası́ que debemos resolver el siguiente sistema de ecuaciones:

DIVISION ENTRE COMPLEJOS: Si z1 = a + bi y z2 = c + di entonces

z1  c d  (ac + bd) + (bc − ad)i

1.1. Conjugado y módulo de un número complejo

Definición 4. (Módulo y Conjugado)

El número z ∈ C es real si y sólo z = z̄, e imaginario puro si y sólo z = −z̄

i ≡ (0, 1) entonces i2 = ii = (0, 1)(0, 1) = (−1, 0) ≡ −1.

Propiedades conjugado: Sean z, w ∈ C.

Propiedades Modulo: Sean z, w ∈ C.

3. |zw| = |z||w| 7. Im(z) ≤ |z|.

4. |z| = |−z| = |z|

5(6 + 2i) − 5(1 + 3i)

SOL: Para ello, primero observe que

−3 + i (−3 + i)(−2i − 1) 6i + 3 − 2i2 − i 5i + 5

Desigualdad Triangular |z + w| ≤ |z| + |w|.

Por otra parte,

Representación polar y argumento de número complejo

Ejemplo 3. Halle la forma polar de −1, −i, 1 y −1 − i.

Definición 6. (Argumento principal de z)

arg (z) = Arg(z) + 2πk, k ∈ Z.

Si z es un número real negativo entonces Arg(z) = π.

El argumento Arg = arg (−π,π]

Ejemplo 4. Exprese los arg (i) y de arg (−1 − i).

1. arg(z1 z2 ) = arg(z1 ) + arg(z2 ), 3. arg(z) = −arg(z)

DEM (1): Supongamos que z1 = r1 (cos θ1 + i sen θ1 ), z2 = r2 (cos θ2 + i sen θ2 )

z1 z2 = r1 (cos θ1 + i sen θ1 )r2 (cos θ2 + i sen θ2 )

De este cálculo se sigue que |z1 z2 | = r1 r2 = |z1 ||z2 | Luego,

arg(z1 z2 ) = θ1 + θ2 + 2πk = θ1 + 2πk1 + θ2 + 2πk2 = arg(z1 ) + arg(z2 ).

De manera análoga se prueban el segundo y tercer item.

Note que en general Arg(z1 z2 ) 6= Arg(z1 ) + Arg(z2 ). Por ejemplo

1.1.1. La función exponencial

En curso de calculo integral estudiamos la serie de potencias de ciertas funciones

Definición 8. (La función Exponencial)

e0 eiπ/2 eiπ = ei3π/2 = ei2π

1. |ez | = eRez 3. ez+w = ez ew 5. ez = 1 ⇔ z = 2πki con k ∈ Z

2. arg(ez ) = Imz 4. (ez )−1 = e−z 6. ez = ez

DEM: 1) y 2) Inmediata de la definición.

4) ez e−z = e0 = 1 entonces (ez )−1 = e−z

z = reiθ donde r = |z| y θ = arg (z)

Con el convenio de que e−iθ = ei(−θ) , entonces por ejemplo

Geométricamente los complejos z = eiθ están en la circuferencia de radio r

eiπ = 1 e−π/2 = −i, e−i4π = 1

Hacemos notar, además, que la ecuación

es una representación paramétrica de la circunferencia |z| = R, centrada en el

Mejor Notación Sea z = reiθ , z1 = r1 eiθ1 y z1 = r2 eiθ2 entonces

La siguiente formula se debe al matemático francés Abraham De Moivre (1667-1754).

z1 c d (ac + bd) + (bc − ad)i