Sea f analítica en un dominio A y consideremos z0 ∈ A.

Decimos que f tiene un cero de orden k en z0 si

f (z0 ) = 0, ..., f (k−1) (z0 ) = 0 pero f (k) (z0 ) ̸= 0.
Tenemos el siguiente teorema, que no vamos a demostrar, el cual dice:
Teorema: Supongase que una función f esn analítica y no constante en un dominio (conjunto abierto y conexo)
D y que z0 es un elemento de D tal que f (z0 ) = 0. Entonces f puede ser representada de forma única en el dominio
D en la forma
m
f (z) = (z − z0 ) · g (z)
donde m es un entero positivo y g : D → C es una función analítica que satisface la condición g (z0 ) ̸= 0.
La prueba de este teorema muestra que m es el entero positivo más pequeño tal que f (m) (z0 ) ̸= 0. En este caso
m vendria siendo el orden del cero en z0 para f .
Regla de L’Hospital
Sean f y g funciones analíticas en un dominio que contiene a z0 y asuma que f (z0 ) = g (z0 ) = 0 pero g ′ (z0 ) ̸= 0.
Entonces
f (z) f ′ (z) f ′ (z0 )
lim = lim ′ = g ′ (z0 ) .
z→z0 g(z) z→z0 g (z)

En el caso cuando se de tambien que f ′ (z0 ) = g ′ (z0 ) = 0 entonces

′
f ′′ (z) f ′′ (z0 )
lim f ′ (z) = lim ′′ = g ′′ (z0 )
z→z0 g (z) z→z0 g (z)

siempre que g ′′ (z0 ) ̸= 0. Se puede seguir generalizando a la n-ésima derivada, esto es g siempre que g (n+1) (z0 ) ̸=
0.
Se puede encontrar una demostración de el teorema mencionado y esta regla en el libro de Palka , An introduction
to Complex Function Theory , pág. 301 y 302, 304 y 305, respectivamente.
Ejemplos:
Determine la multiplicidad del cero de f (z) = cos z en el punto z0 = π2 .
Notemos que f ′ (z0 ) = − sin z0 = −1. Por lo que en z0 = π2 existe un cero de primer orden de la función
f (z) = cos z.
Hallar la multiplicidad del cero de f (z) = ez − z − 1 en origen.
Notemos que f ′ (0) = 0 pero f ′′ (0) = 0, por lo que en z0 = 0 existe un cero de segundo orden de la función
f (z) = ez − z − 1.
z
Evaluar el límite lim e −z−1
z2 .
z→0
Tenemos que
z z z
−z−1 −1
lim e z2 = lim e2·z = lim e2 = 12 .
z→0 z→0 z→0

z
Evaluar el límite lim 1−cos
sin z 2 .
z→0
Tenemos que
lim 1−cos2z sin z
= lim 2·z·cos cos z 1
z 2 = lim 2·cos z 2 −4·z 2 ·sin z 2 = 2 .
z→0 sin z z→0 z→0

Hallar los residuos en los puntos singulares para las siguientes funciones.
z
1. f (z) = z2tan
−z· π4
Los puntos singulares de f (z) se encuentran en denominador, en este caso son
π
z = 0, z = 4 y, para k ∈ Z, z = π · k + π2 .
Veamos si en z = 0 existe una singularidad removible. Para esto debemos considerar el límite
2
z sec z
lim f (z) = lim z2tan 4
−z· π = lim 2·z− π = − π ,
z→0 z→0 4 z→0 4

usando la regla de L’Hospital. Como el límite es finito, entonces en el origen f (z) tiene una singularidad
removible (o evitable) y así el residudo en el origen para esta función es igual a 0.
Notemos que no podemos aplicar la regla de L’Hospital en el punto z = π4 pues se tiene que el numerador de
f (z) no es cero en ese punto. El denominador, z 2 − z · π4 , tiene un cero de orden uno en z = π4 . Por tanto f (z)
tiene un polo simple. Si recurrimos

1
 p(z0 )
Res (f, z0 ) = q ′ (z0 ) .

Si hacemos, en el ejercicio, p (z) = tan z y q ′ (z) = 2 · z − π4 entonces Res (f, z0 ) = π2 .

Sea k ∈ Z. Como en z = π · k + π2 existen singularidades para la función f (z) = sin z
. tan z
z 2 −z· π =
(z2 −z· π4 )·cos z
4
Calculemos el orden de los ceros
del denominador de
la función, esto es, g (z) = z
− 2
cos z. Para esto z · π4 ·
notemos que g ′ (z) = 2 · z − π4 · cos z − z 2 − z · π4 · sin z, por lo que g ′ π · k + π2 ̸= 0 y es un cero simple
z sin z
por lo que f (z) = z2tan−z· π = z2 −z· π tiene un polo simple en z = π · k + π2 . Entonces, si p (z0 ) = sin z0 y
4 ( 4 ) ·cos z
q (z) = z 2 − z · π4 · cos z, el residudo es

p(z0 ) sin z0 (−1)k

Res (f, z0 ) = q ′ (z0 ) = = 2 .
(2·z− π4 )·cos z−(z2 −z· π4 )·sin z π 2 ·k2 − 34 π 2 ·k− π8

cosh z
3. f (z) = (z 2 +1)·(z−3)
Notemos que los ceros
de la función cosh z, los cuales son i·π·(2·n+1)


2 no son ceros de la función z 2 + 1 · (z − 3).
Más los ceros de z 2 + 1 · (z − 3) = (z + i) · (z − i) · (z − 3) son ±i y 3 pero cosh i, cosh −i, cosh 3 ̸= 0.
Notemos que g (z) = (z + i) · (z − i) · (z − 3) es tal que g ′ (z) = (z − i) · (z − 3) + (z + i) [(z − 3) + (z − i)].
Así g ′ (i) , g ′ (−i) , g ′ (3) ̸= 0. Por tanto ±i y 3 son polos simples de la función f (z) = (z2 +1)·(z−3)
cosh z
. Entonces, si
π
2


p (z0 ) = cosh z0 y q (z) = z − z · 4 · cos z, el residudo en z0 = i es
ei +e−i
p(z0 ) cosh z0
Res (f, z0 ) = q ′ (z0 ) = (z0 −i)·(z0 −3)+(z0 +i)[(z0 −3)+(z0 −i)] = 2·i·(i−3) .
2

El residuo en z0 = −i es
e−i +ei
p(z0 ) cosh z0
Res (f, z0 ) = q ′ (z0 ) = (z0 −i)·(z0 −3)+(z0 +i)[(z0 −3)+(z0 −i)] = 2·i·(i+3) .
2

El residuo en z0 = 3 es
e3 +e−3
p(z0 ) cosh z0
Res (f, z0 ) = q ′ (z0 ) = (z0 −i)·(z0 −3)+(z0 +i)[(z0 −3)+(z0 −i)] = (3+i)·(3−i) .
2