Está en la página 1de 21

Variable Compleja

Ejercicios Resueltos
Figueroa Romero Pedro
pedrofigueroa@live.com.mx
http://p-fold.blogspot.com

Ultima actualizacion: 6 de mayo de 2012


But mathematics is the sister, as well as the servant, of the arts and is touched with the same
madness and genius.
Harold Marston Morse

Indice

Indice 2
1. N umeros Complejos 3
1.1. Encuentra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Encuentra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Encuentra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4. Calcula todos los valores de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. En la teora cuantica de fotoionizacion encontramos la identidad . . . . . . . . . . . 4
1.6. Demuestra algebraicamente que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.8. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.9. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Funciones de variable compleja 9
2.1. Determina si las funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2. Encuentra la funcion analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3. Integracion compleja 11
3.1. Calcula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2. Calcula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.3. Calcula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.4. Si C es el crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.5. Utiliza la formula integral de Cauchy para calcular . . . . . . . . . . . . . . . . . . . 12
3.6. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.7. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4. Series 14
4.1. Encontrar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.2. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.3. Demuestra que . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.4. La teora clasica de Langevin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4.5. El analisis de la difraccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.6. El factor de despolarizacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.7. Expande la funcion factorial incompleta . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.8. Demuestre que el desarrollo en series de Laurent es unico . . . . . . . . . . . . . . . 20
5. Referencias 21
1. N umeros Complejos
1.1. Encuentra
la parte real y la parte imaginaria de
z =

2 +

3i

2i
Solucion
z =

2 +

3i

2i
_

3 +

2i

3 +

2i
_
=

6 + 5i

6
5
= i
entonces
(z) = 0 (z) = 1
1.2. Encuentra
4

z, si z =
1
2
+

3i
2
Solucion
Si decimos que z = r e
i
, se tiene
|z| = 1 =
2
3
entonces
4

z = exp
__

6
+
k
2
_
i
_
=
_

_
exp
_

6
i
_
, k = 0
exp
_

3
i
_
, k = 1
exp
_

5
6
i
_
, k = 2
exp
_

4
3
i
_
, k = 3
1.3. Encuentra
el recproco de x + iy, a) trabajando por completo con representacion cartesiana y b)
trabajando con la forma polar pero expresando el resultado en forma cartesiana
Solucion
(x + iy)
1
=
x iy
x
2
+ y
2
=
x
x
2
+ y
2
i
y
x
2
+ y
2
(x + iy)
1
=
_
re
i
_
1
=
e
i
r
=
cos i sin
r
=
x iy
x
2
+ y
2
1.4. Calcula todos los valores de
(1 i)

i
Solucion
Sea = (1 i)

i
, entonces
= exp [ln()] =

i ln(1 i) = exp
_

i (ln|(1 i)| + i arg(1 i) + 2ni )


_
= exp
_

i
_
ln(| 1||1 + i|) + i
_
5
4
+ 2n
___
= exp
_

i
_
ln(

2) + i
_
5
4
+ 2n
___
=
_
_
_
exp
__
1

2
(i + 1)
_
_
ln(

2) + i
_
5
4
+ 2n
__
_
exp
__
1

2
(i 1)
_
_
ln(

2) + i
_
5
4
+ 2n
__
_
1.5. En la teora cuantica de fotoionizaci on encontramos la identidad
_
ia 1
ia + 1
_
ib
= exp [2b arccot(a)]
donde a, b R. Verica esta identidad.
Solucion
_
ia 1
ia + 1
_
ib
= exp
_
ib ln
_
ia 1
ia + 1
__
= exp {ib [ln(ia 1) ln(ia + 1)]}
= exp {b [arg(ia 1) arg(ia + 1)]} = exp {b [arctan (a) arctan (a) + ]}
= exp {b [2 arctan (a) + ]} = exp
_
b
_
2 arccot
_
1
a
_
+
__
= exp
_
b
_
2
_
arccot(a) +

2
_
+
__
= exp [2b arccot(a)]
1.6. Demuestra algebraicamente que
|z
1
| |z
2
| |z
1
+ z
2
| |z
1
| +|z
2
|
Solucion
(|z
1
| |z
2
|)
2
|z
1
+ z
2
|
2
(|z
1
| +|z
2
|)
2
|z
1
|
2
2|z
1
z
2
| +|z
2
|
2
|z
1
|
2
+|z
2
|
2
+ 2 (z
1
z
2
) |z
1
|
2
+ 2|z
1
z
2
| +|z
2
|
2
|z
1
||z
2
| (z
1
z
2
) |z
1
||z
2
|
|z
1
||z
2
| (z
1
)(z
2
) +(z
1
)(z
2
) |z
1
||z
2
|
Es evidente que
|z| (z) |z| |z| (z) |z|
para cualquier z, por tanto se sigue que
1
(z
1
)
|z
1
|
(z
2
)
|z
2
|
+
(z
1
)
|z
1
|
(z
2
)
|z
2
|
1
es cierto para todo {z
1
, z
2
C : |z
1
z
2
| = 0}
donde la condicion solo descarta un caso trivial,
ya que implicara que el modulo de cualquiera,
z
1
o z
2
fuera igual a cero.
1.7. Demuestra que
n1

k=0
cos kx =
sin(nx/2)
sin x/2
cos
_
(n 1)
x
2
_
n1

k=0
sin kx =
sin(nx/2)
sin x/2
sin
_
(n 1)
x
2
_
Solucion
Vease que
n1

k=0
(cos kx + i sin kx) =
n1

k=0
cos kx + i
n1

k=0
sin kx
entonces
n1

k=0
(cos kx + i sin kx) =
n1

k=0
e
ikx
=
1 e
inx
1 e
ix
=
e
in
x
2
e
in
x
2
e
in
x
2
e
in
x
2
e
i
x
2
e
i
x
2
e
i
x
2
e
i
x
2
=
e
in
x
2
_
e
in
x
2
e
in
x
2
_
e
i
x
2
_
e
i
x
2
e
i
x
2
_ =
e
in
x
2
_
e
in
x
2 e
in
x
2
2i
_
e
i
x
2
_
e
i
x
2 e
i
x
2
2i
_ =
e
in
x
2
sin (nx/2)
e
i
x
2
sin x/2
=
sin (nx/2)
sin x/2
e
i
x
2
(n1)
=
sin (nx/2)
sin x/2
_

_
e
i
x
2
(n1)
_
+ i
_
e
i
x
2
(n1)
__
=
sin (nx/2)
sin x/2
_
cos
_
(n 1)
x
2
_
+ i sin
_
(n 1)
x
2
__
=
n1

k=0
cos kx + i
n1

k=0
sin kx
por tanto
n1

k=0
cos kx =
sin(nx/2)
sin x/2
cos
_
(n 1)
x
2
_
n1

k=0
sin kx =
sin(nx/2)
sin x/2
sin
_
(n 1)
x
2
_
1.8. Demuestra que

k=0
p
k
cos kx =
1 p cos x
1 2p cos x + p
2

k=0
p
k
sin kx =
p sin x
1 2p cos x + p
2
para todo 1 < p < 1. Estas series aparecen en la teora del interferometro
Fabry-Perot.
Solucion
De forma analoga al ejercicio anterior

k=0
p
k
(cos kx + i sin kx) =

k=0
p
k
cos kx + i

k=0
p
k
sin kx
entonces

k=0
p
k
e
ikx
= lm
n
_
n1

k=0
p
k
e
ikx
_
= lm
n
1 p
n
e
inx
1 pe
ix
=
1
1 pe
ix
=
1 p cos x + ip sin x
(1 p cos x)
2
+ p
2
sin
2
x
=
1 p cos x + ip sin x
1 2p cos x + p
2
=
1 p cos x
1 2p cos x + p
2
+ i
p sin x
1 2p cos x + p
2
por tanto

k=0
p
k
cos kx =
1 p cos x
1 2p cos x + p
2

k=0
p
k
sin kx =
p sin x
1 2p cos x + p
2
1.9. Demuestra que
= lm
z
i z
_
1 (1)
z
1
_
Solucion
Sea
f(z) = i z
_
1 (1)
z
1
_
Para probar la proposicion, notese que
f solo involucra a la variable dos veces, siendo una su recproco,
entonces podemos aprovechar este hecho, diciendo que
z
1
= w
para cualquier w C, y as
f(w) =
i [1 (1)
w
]
w
Es claro entonces tambien que
lm
z
z
1
= 0
por tanto
lm
z
f(z) = lm
w0
f(w)
es decir
lm
w0
f(w) = lm
w0
i [1 (1)
w
]
w
= lm
w0
i [(1)
w
ln (1)]
= lm
w0
i [(1)
w
(ln | 1| + i arg(1))]
= lm
w0
(1)
w
= lm
z
f(z) = lm
z
i z
_
1 (1)
z
1
_
=
como se quera demostrar.
2. Funciones de variable compleja
2.1. Determina si las funciones
u(x, y) = ln
_
4
_
x
2
+ y
2
_
v(x, y) = arctan
_
y
x +
_
x
2
+ y
2
_
satisfacen las ecuaciones Cauchy-Riemann
Solucion
Sean
x = r cos y = r sin
entonces por la regla de la cadena
u
r
=
u
x
cos +
u
y
sin

=
u
x
(r sin ) +
u
y
(r cos )
v
r
=
v
x
cos +
v
y
sin
v

=
v
x
(r sin ) +
v
y
(r cos )
As, con las ecuaciones Cauchy-Riemann, se tiene que
u
r
=
v
x
sin +
v
y
cos =
1
r
v

= r
_
v
x
cos +
v
y
sin
_
= r
v
r
entonces, simplemente, ya que
u
r
=

r
_
ln
_
r
__
=
1
2r
=
1
r
v

=
1
r

_
arctan
_
sin
cos + 1
__
=
1
r

2
_
u

= 0 = r
v
r
las ecuaciones Cauchy-Riemann se satisfacen para u, v
2.2. Encuentra la funci on analtica
w(z) = u(x, y) + iv(x, y)
si
a) u(x, y) = x
3
3xy
2
,
b) v(x, y) = e
y
sin x
Solucion a)
Se tiene
u
x
= 3x
2
3y
2
=
v
y
u
y
= 6xy =
v
x
entonces
v(x, y) =
_
(3x
2
3y
2
) dy = 3x
2
y y
3
+ (x)
v
x
= 6xy +

(x)
por tanto
w(x) = (x
3
3xy
2
) + i(3x
2
y y
3
)
Solucion b)
Se tiene
v
x
= e
y
cos x =
u
y
v
y
= e
y
sin x =
u
x
entonces
u(x, y) =
_
e
y
sin xdx = e
y
cos x + (y)
u
y
= e
y
cos x +

(y)
por tanto
w(x) = (e
y
cos x) + i(e
y
sin x)
3. Integraci on compleja
3.1. Calcula
_
|z|=1
e
z
z
dz
Solucion
Por la formula integral de Cauchy
_
|z|=1
e
z
z
dz = 2i
3.2. Calcula
_
|z|=2
dz
z
2
+ 1
Solucion
_
|z|=2
dz
z
2
+ 1
= A
_
|z|=2
dz
z + i
+ B
_
|z|=2
dz
z i
= 2i(A + B)
Al separar por fracciones parciales, entontramos A = B, por tanto
_
|z|=2
dz
z
2
+ 1
= 0
3.3. Calcula
_
|z|=1
e
z
z
n
dz
Solucion
Por la forma diferencial de la formula integral de Cauchy,
_
|z|=1
e
z
z
n
dz =
2i
(n 1)!
3.4. Si C es el crculo
de centro en z
0
= 3i y radio 4, calcula
_
C
dz
z
3
+ 9z
Solucion
Se tiene
1
z
3
+ 9z
=
1
z(z
2
+ 9)
=
1
z(z + 3i)(z 3i)
=
a
z
+
b
z + 3i
+
c
z 3i
por tanto, por la formula integral de Cauchy
_
C
dz
z
3
+ 9z
= a
_
C
1
z
dz + c
_
C
1
z 3i
dz = 2i(a + c) = 2i
_
1
9

1
18
_
=
i
9
3.5. Utiliza la formula integral de Cauchy para calcular
_

dx
x
2
+ x + 1
Solucion
Sea
(z) =
1
q(z)
=
1
z
2
+ z + 1
=
1
(z )(z )
=
a
z
+
b
z
Las races de q(z) son
= i
4
3
= i
2
3
entonces, si C es la semicircunferencia de radio r para toda parte imaginaria mayor a cero
_
C
dz
z
2
+ z + 1
= b
_
C
dz
z
= b2i =
1

2i =
2

3
que es independiente del radio de la circunferencia, entonces
_

dx
x
2
+ x + 1
=
2

3
3.6. Demuestra que
_
C
(z z
0
)
n
dz =
_
2i, n = 1
0, n = 1
donde C encierra al punto z = z
0
en sentido positivo y n Z.
Solucion
Parametrizando C como una circunferencia de radio R y centro z = z
0
,
_
C
(z z
0
)
n
dz = i
_
2
0
(Re
i
)
n+1
d
=
R
n+1
n + 1
e
i(n+1)

2
0
= 0, n = 1
y para el caso n = 1 entonces se tiene
_
C
(z z
0
)
n
dz = i
_
2
0
d = 2i
como se esperaba por el teorema integral de Cauchy
3.7. Demuestra que
1
2i
_

z
mn1
dz, m, n Z
donde encierra una vez el origen en sentido positivo, es una representacion de la
delta de Kronecker
mn
Solucion
Empleese una parametrizacion analoga a la del ejercicio anterior, con centro z = 0,
1
2i
_

z
mn1
dz =
1
2
_
2
0
(Re
i
)
mn
d
=
(Re
i
)
mn
2i(mn)

2
0
= 0, m = n
y para el caso m = n,
1
2i
_

z
mn1
dz =
1
2
_
2
0
d = 1
que tambien resulta trivial por el teorema integral de Cauchy.
4. Series
4.1. Encontrar
la expansion en serie de potencias (alrededor de z = 0) de
f(z) =
z
2 + z
Solucion
z
2 + z
= z
_
1
2 + z
_
=
z
2
_
1
z
2
+ 1
_
=
z
2
_
1
z
2
+
z
2
4

z
3
8
+ . . .
_
=
z
2

z
2
4
+
z
3
8

z
4
16
+ . . . =

k=1
_

z
2
_
k
4.1.1.
f(z) =
z
2
1
z
2
+ 7z + 12
Solucion
z
2
1
z
2
+ 7z + 12
=
z
2
1
(z + 3)(z + 4)
= z
2
1
_
1
z + 3

1
z + 4
_
= z
2
1
_
1
3

z
9
+
z
2
27

z
3
81
+ . . .
1
4
+
z
16

z
2
64
+
z
3
256

z
4
1024
+ . . .
_
= z
2
1
_
1
12

7z
144
+
37z
2
1728

175z
3
20736
+
781z
4
248832
+ . . .
_
=
1
12
+
7z
144
+
107z
2
1728

833z
3
20736
+
4547z
4
248832
+ . . .
4.1.2.
f(z) =
z
2
(1 z)
3
Solucion
f(z) =
z
2
(1 z)
3
= z
2
1
(1 z)
3
=
z
2
2
d
dz
_
1
(1 z)
2
_
=
z
2
2
d
2
dz
2
_
1
1 z
_
=
z
2
2
d
2
dz
2
(1 + z + z
2
+ z
3
+ . . .)
=
z
2
2
(2 + 6z + 12z
2
+ 20z
3
+ 30z
4
+ 42z
5
+ . . .)
= z
2
+ 3z
3
+ 6z
4
+ 10z
5
+ 15z
6
+ . . .
4.2. Demuestra que
lm
n
_
1 +
z
n
_
n
=

n=0
z
n
n!
Solucion
Sea
n
=
_
1 +
z
n
_
n
.
Ahora bien,
n
= exp (ln
n
), y sabemos que
ln
n
= nln
_
1 +
z
n
_
= n
_
z
n

z
2
2n
2
+
z
3
3n
3

z
4
4n
4
+ . . .
_
=

k=1
z
k
k
_

1
n
_
k1
por tanto concluimos que
lm
n

n
= exp
_
z +

k=2
z
k
k
_

1
n
_
k1
_
= e
z
cuya serie de Taylor alrededor de cero ya conocemos, esto es
lm
n
_
1 +
z
n
_
n
= e
z
=

n=0
z
n
n!
La intencion del ejercicio es emplear series de Taylor,
sin embargo se puede calcular directamente el lmite sin muchos problemas;
sea = 1/n, entonces
lm
n

n
= lm
0
(1 + z)

1
= lm
e
0
ln (1 + z)

= lm
e
0
z
1 + z
= lm
0
exp
_
z
1 + z
_
= e
z
tal como se haba encontrado.
4.3. Demuestra que

k=2
_
1
1
k
2
_
=
1
2
Solucion

k=2
_
1
1
k
2
_
= lm
n
n

k=2
_
k
2
1
k
2
_
Examnese el producto nito de la secuencia:
n

k=2
_
k
2
1
k
2
_
=
_
3
4
__
8
9
__
15
16
_

_
(n 1)
2
1
(n 1)
2
__
n
2
1
n
2
_
=
P
p
P
q
Inmediatamente se puede ver que
P
q
= (n!)
2
Para P
p
pueden examinarse algunos casos
n = 4 =P
p
= 3 8 15 = (2 3) (3 4 5)
n = 5 =P
p
= 3 8 15 24 = (2 3 4) (3 4 5 6)
n = 6 =P
p
= 3 8 15 24 35 = (2 3 4 5) (3 4 5 6 7)
.
.
.
n 2 =P
p
=
1
2
(n 1)! (n + 1)!
entonces reescribimos el producto como
n

k=2
_
k
2
1
k
2
_
=
(n 1)! (n + 1)!
2 (n!)
2
=
n + 1
2 n
por tanto
lm
n
n

k=2
_
k
2
1
k
2
_
= lm
n
n + 1
2 n
= lm
n
1
2
=

k=2
_
1
1
k
2
_
=
1
2
como se esperaba.
4.4. La teora clasica de Langevin
del paramagnetismo lleva a una expresion para la polarizacion magnetica,
P(z) = c
_
cosh z
sinh z

1
z
_
expande P(z) en serie de potencias alrededor de z = 0.
Solucion
P(z) = c
_
e
2z
+ 1
e
2z
1

1
z
_
= c
_
2
e
2z
1

1
z
+ 1
_
= c
_
_
2
_
_

j=0
e
2zj
_
_

1
z
+ 1
_
_
= c
_
_
_
2
_
_

j=0
_

k
(2z)
k
k!
_
j
_
_

1
z
+ 1
_
_
_
Esta representacion, aunque correcta, no es muy satisfactoria, hagase
P(z) = c
_
1 +
1
e
z
1

1
e
z
+ 1

1
z
_
= c
_
_
_

k=0
z
k
k!
1
_
1

k=0
z
k
k!
+ 1
_
1
+ 1
1
z
_
_
...calculando las inversas de ambas series
*
P(z) = c
_
1
z

1
2
+
z
12

z
3
720
+
z
5
30240
. . .
1
2
+
z
4

z
3
48
+
z
5
480
. . . + 1
1
z
_
P(z) = c
_
z
3

z
3
45
+
2z
5
945
. . .
_
Tambien se puede emplear la serie de Taylor de tanh z y obtener la serie inversa;
la manera m as tentadora, aunque quiza menos inmediata de obtener el resultado
es obtener la expansion en series de Laurent de coth z.
Se invita al lector a intentarlo.
*
Vease 2, se ofrece una explicaci on completa y sencilla, o en 4 se ofrecen las f ormulas para calcular los primeros
coecientes.
4.5. El analisis de la difracci on
de una abertura circular involucra
_
2
0
cos(c cos ) d
expande el integrando en series e integra usando
_
2
0
cos
2n
d =
(2n)!
2
2n
(n!)
2
2,
_
2
0
cos
2n+1
d = 0
El resultado es 2 veces la funcion de Bessel J
0
(c)
Solucion
_
2
0
cos(c cos ) d =
_
2
0

k=0
(1)
k
(c cos )
2k
(2k)!
d
=

k=0
(1)
k
c
2k
(2k)!
_
2
0
cos
2k
d
= 2

k=0
(1)
k
(k!)
2
_
c
2
_
2k
= 2J
0
(c)
4.6. El factor de despolarizacion
L para un esferoide oblato en un campo electrico uniforme paralelo al eje de rotacion
es
L =
1

0
_
1 +
0
2
_
(1
0
arccot
0
)
donde
0
dene un esferoide oblato en coordenadas oblato-esferoides (, , ).
Demuestra que
lm

L =
1
3
0
(esfera) lm

0
0
L =
1

0
(sabana delgada)
Solucion
Se tiene la expansion en serie de McLaurin (Taylor alrededor de cero)
arccot
0
=

2

0
+

0
3
3


0
5
5
+ . . .
con lo que se vuelve evidente que
lm

0
0
L =
1

0
Ahora bien, podemos encontrar facilmente la serie de Laurent, recordando que
arccot
0
= arctan
1

0
Sea = 1/
0
, entonces
arctan =

k=0
(1)
k
_

k
_
2k+1
=

k=0
(1)
k
_
1

0
k
_
2k+1
, |
0
| > 1
por tanto
L =
1

0
_
1 +
0
2
_
_
1
3
0
2

1
5
0
4
+ . . .
_
=
1

0
_
1
3
+
1
3
0
2

1
5
0
2

1
5
0
4
+ . . .
_
y as entonces se concluye que
lm

L =
1
3
0
4.7. Expande la funci on factorial incompleta
(n + 1, x) =
_
x
0
e
t
t
n
dt
en serie de potencias de x. Cual es el radio de convergencia de esta?
Solucion
(n + 1, x) =
_
x
0

k=0
(1)
k
t
k
k!
t
n
dt
=

k=0
(1)
k
k!
_
x
0
t
k+n
dt
=

k=0
(1)
k
x
k+n+1
k!(k + n + 1)
= x
n+1
_
1
n + 1

x
n + 2
+
x
2
2!(n + 3)
. . .
_
Analicemos entonces el radio de convergencia r,
r = lm
m

a
m
a
m+1

= lm
m
(1)
m
x
m+n+1
m!(m + n + 1)
(m + 1)!(m + n + 2)
(1)
m+1
x
m+n+2
= lm
m
(m + 1)(m + n + 2)
x(m + n + 1)
=
por tanto la serie converge x R
4.8. Demuestre que el desarrollo en series de Laurent es unico
Solucion
La serie de Laurent de una funcion analtica f(z) en D : r
1
< |z z
0
| < r
2
es
+

n=
A
n
(z z
0
)
n
por tanto si el desarrollo es unico, existe
+

n=
B
n
(z z
0
)
n
= f(z) =
+

n=
A
n
(z z
0
)
n
tal que A
n
= B
n
, esto es
+

n=
(A
n
B
n
)(z z
0
)
n
= 0
Sea un entero constante arbitrario, entonces
+

n=
(A
n
B
n
)(z z
0
)
n
(z z
0
)
1
=
+

n=
(A
n
B
n
)(z z
0
)
n1
= 0
Sea C un contorno positivo contenido en D, entonces tambien
_
C
+

n=
(A
n
B
n
)(z z
0
)
n1
dz = 0
+

n=
(A
n
B
n
)
_
C
(z z
0
)
n1
dz = 0
por el teorema integral de Cauchy
2i
+

n=
(A
n
B
n
)
n
= 0
donde

n
=
_
1, si n =
0, si n =
es la delta de Kronecker.
Ya que es arbitrario, se sigue que
A
n
= B
n
como se quera demostrar.
5. Referencias
[1] Algunos ejercicios fueron propuestos por el Dr. Jaime Cruz Sampedro de la UAM-A
[2] Ahlfors, Complex Analysis. McGraw-Hill, Third Edition, 1979.
[3] Churchill & Brown, Variable Compleja y Aplicaciones. McGraw-Hill, Septima Edition, 2004.
[4] Arfken & Weber, Mathematical Methods for Physicists. Harcourt Academic Press, Fifth
Edicion, 2001.