Proposicion.

Con p y q polinomios primos entre si, tales que:

() 0, () () 2
Se tiene que
+ ()
()
= 2 () ( , )
>0

Demostracion. Paso 1: Eleccion de la conveniente funcin compleja a integrar:

()
() () , \; { : () = 0}.

Paso 2: Eleccion del ciclo sobre el que integrar: para , , > 0, sea

[, , + , + , ]

( con orientacin positiva, contraria a las de las agujas del reloj, de modo que el paso al limite
con teniendo a+,tenga coherencia con la integracin en R).

Paso 3: Aplicacin del teorema de los residuos. Para ellos bastara tomar :

> max { : }
=
< min{ : } {
,
> max{

De donde
= 2 (, ) ().

Paso 4: Calculo efectivos de residuos e ndices.

> 0 () = 1
{
< 0 () = 1

De donde
= 2 (, )
>0

+
Paso 5: Encontrar la relacin entre las integrales () ().
Lamemos (), e igualmente, demos nombres:

1 [, + ]; 2 [ + , + ]; 3 [ + , ],
Y tambin
; {1,2,3}.

De este modo

=: = () + 3=1

Objetivos: reducir el sumatorio a cero.. y cosa de la vida?, ello se lograra

cuando , +!
2 ()
Como existe lim , existirn tambin R,N > 0 tales que
()

|| > |()| = | ()| 2
||
y

2 , [, ||] |2 | 2 ( + ),

Pues |()| 2 , .
Por otro lado, si R:

|1 | = |0 ( + )| 0 |( + )|

0 2 + 2
=

2
.

Tambin tenemos, razonando de modo anlogo, que

|3 | 2
.

En resumen:
1 1
| () | (
2
+ ) ,

De donde haciendo lo propio con y , se sigue lo deseado. Q.E.D.

Ejemplo. Calculamos
+
(1+ 2 )
(n )

Resolucin. Lamemos f a la funcin del integrado en su forma compleja: presenta un

nico polo (a considerar) de orden n en = . As, como las integrales
+
() ()
+
(1+ 2 )
= 2 (, )

1 1 1
= 2 (1)! lim [ ]
1 (+)
2 (1)1 (22)!
= (1)!(1)! 221 21

(22)!
= (1)!2 222

Aun quinto mtodo que nos va a ayudar; ahora, en el calculo de sumas de series mediante
la tcnica de los residuos:
V. Suma de series.

Una de las aplicaciones ms espectaculares del clculo con residuo ser su utilidad
para obtener sumas de series de nmeros reales (aunque no exclusivamente reales). La clave
la encontramos en el comportamiento de dos funciones complejas de variable compleja muy
concretas, la cotangente y la cosecante:

cot(), csc()
las cuales tienen, ambas ,polos que nos van a ocupar sern cocientes de polinomios y, aunque
se podran enunciar resultaos mas generales para funciones meroformas bajo ciertas
restricciones, nos conformaremos para enunciarlo y probarlos para funciones racionales R en
el plano complejo C. Concretamente, para R:= p/q, con p y q polinomios primos entre si,
veremos dos resultados; el primero para para grad(q)-grad(p) 2, y el segundo cuando
grad(q)= 1 + grad(p).
Comenzamos con un sugestivo lema sobre acotacin de las dos funciones arriba
citadas:

Lema. Para cada n , consideremos dado por

1 1 1 1
[( + 2) (1 ), ( + 2) (1 ), ( + 2) (1 + ), ( + 2) (1 )]

Sea B:= . Entonces existen constates positivas 1 2 :

|cot(z)| 1, |csc()| 2, .

Demostracin. Probaremos la primera de las desigualdades; en la segunda se puede proceder

de modo anlogo. Para z = x + iy se tienen

|sin()| |sinh()| y |cos()| |cos()| + |sinh()|,

Y, con z B, existe un natural n tal que . Y as, tendremos dos posibilidades:

1 1 0 |cot(| 1
a. || = + y || + {
2 2 = 0 |cot()| = 0 1
1 1
b. || = +2 y || + 2
1+ |sinh()| 1
|cot()| = 1 + |sinh()|
|sinh()|

2 2
=1+ | |
=1+ || ||

2
1+ 3 =:
2 1

En cualquier caso, haciendo 1 max{, 1}, tenemos lo deseado. Q.E.D.

Teorema. Sean p y q polinomios primos entre si, y tales que grad (q)- grad (p) 2.
Entonces:

+
= () = ()=0 (, ),
()0
donde
()
() cot() () , \( ),
 Siendo A el conjunto de los cero de q.

Demostracin. Consideramos tal que

1
+ > max{| |, | | ; }.
2

Aplicando el teorema de los residuos:

= 2 ( (, ) + +
= (, ))

Como para los de g que no son ceros de q podemos razonar as:

()
(, ) = lim ( )() = lim ( ) cot()
()
()
= lim cos()
sin()sin() ()

cos()() ()
= =
cos()() ()

La formula anterior, nos dice

= 2 ( (, ) + +
=
()) ,

()0

Y, por tanto el objetivo es hacer cero el primer miembro cuando hagamos .

Pero, por otro lado, como grad(q) grad(p) 2,

, > 0 || | ()| ||2
.

Si, adems,
1
: > || + 2 > | ()| 2 .

Usando 1 > 0 del lema:

1 1
|2 | 2 1 2 (8 + 4 ) 0, +,

De donde

lim +
=
() = (, ). . . .
()0

Ejemplo. Comprobemos que

1 2
+
=1 = .
2 6

Resolucion. Llamemos () 1 , () 2 , .
1
+ +
= () = = = ()=0 (, ) = (, 0),
2
()0 0
Donde
cot()
() = 2
, \.

Como
2
(, 0) = 6
.

Entonces
1 1 1 1 2 2
+
=1 = +
= = 2 ( ) = .
2 2 2 3 6
0

Teorema. Sean p y q polinomios primos entre si, y tales que grad(q) > grad (p). Entonces:

+
= (1) () = ()=0 (, ),
()0

Donde
()
() = csc() ()
, \( ),

Siendo A el conjunto de los ceros de q.

Demostracion. Razonando como en la demostracin anterior, ahora para \:

()
(, ) = lim ( ) sin()()

()
= lim
sin()sin() ()

() ()
= cos() () = 1 ().

Por tanto, el teorema de los residuos nos da:

+
= 2 ( (, ) + = (1) ()).

()0

Ahora, si grad(q) grad (p) 2, razonaramos como arriba. Supongamos, por tanto que
grad (q) grad(p) = 1. En esta situacin, han de existir y 0 0 primos entre si, con
grad (0 ) (0 ) 2 , verificado
0
() = + , \;
0

Y, por tanto,
csc() ()
=
+ () 0() = 1 + 2.
0

Pero, 1=0 (Por ser la integral de una funcin par ) e 2 0 + . Luego el

resultado es el deseado .Q.E.D.
Ejemplo. Calculemos
(1)
+
=1 2 +1

Resolucion. Como la funcin

2 +1

Tiene polos simples en i y i consiste en clcular los residuos en dichos puntos para la funcin
csc()
() 2 +1

Por tanto,
(1) 1
+
=1 = (1)[( , ) (, )]
2 +1 2
1
= 2 [( , ) + ( , )] = 4 .