Teorema de Laurent: Sea f una funcin analtica en la corona circular centrada en el punto a, r < z a < R .

. Entonces puede desarrollarse de forma nica en una serie de Laurent:

n=

cn ( z a ) , con cn C y z C
n

cn =
Dem:

1 2 i

wa =

f ( w ) dw ( w a ) n +1

Consideremos dos crculos 1 : z a = r + ; 2 : z a = R como en la figura:

y el ciclo = 2 ( 1 ) . Entonces, integrando en ese ciclo, por la frmula integral de Cauchy, para todo z entre esos dos Crculos se tiene:

f (z) = dw ( w z ) dw 2 i ( w z )
f

( w)

( w)

Para la primera integral, como

1 w z
se tiene
=

n =0

( z a ) n+1 ( wa )
n

+ ( w) n dw = c ( z a ) n =0 2 i ( w a )

cn =

2 i 2 ( w a )

( w ) dw
n +1

Para la segunda integral, como

1 w z
1
f

(z a) (w a) (z a)
n dw

n =0

w a z a

que es convergente por ser w a < z a para w en 1, se tiene

+ ( w) dw = f ( w )( w a ) n =0 2 i 1 ( w z ) 1

( z a )

n +1

= cn ( za )n
n =

cn =

2 i 1 ( w a )

( w ) dw
n +1

Estas frmulas son vlidas para cualquier crculo contenido en la corona circular inicial, de ecuacin w a = , con r < < R por ser la funcin subintegral que define los coeficientes radios r y R .

cn

analtica en la corona circular de