Variable compleja para calcular integrales

racionales trigonomtricas
Juan Carlos Ponce Campuzano
poncecampuzanocarlos@gmail.com
Universidad de Colima
4 de mayo de 2013
1. Problematica
Los sistemas de computo algebraico (CAS, por sus siglas en ingles: Computer Algebraic
System) son un tipo de software que nos permiten manipular expresiones algebraicas,
gracar funciones y manipular n umeros. Para el calculo de primitivas, se vuelve una
herramienta de gran valor, debido a que estan elaborados con algoritmos ecientes, los
cuales son consecuencias de resultados matematicos.
Uno de los principales problemas con esta herramienta, radica en la interpretacion de
los resultados, en particular cuando parece haber algo erroneo (Elbaz-Vincent, 2005).
1
Iniciamos mencionando la existencia de una problematica en terminos generales con
relacion al calculo de integrales, primitivas, integrales indenidas y del Teorema Fun-
damental de Calculo.
Por ejemplo si un estudiante o profesor pretende calcular
_

0
1
5 + 3 cos x
dx
con los metodos tradicionales, seguramente procedera a encontrar una primitiva de
f(x) =
1
5 + 3 cos x
,
con el metodo de cambio de variable u = tan
x
2
. Si hace esto (seguramente), obtendra la
funcion:
F(x) =
1
2
arctan
_
1
2
tan
x
2
_
.
Con la cual se encuentra el valor de cero para la integral.
Analicemos esto con mas detalle, pero ahora con la ayuda de la herramienta tecnologica.
Si deseamos calcular el valor de
_

0
1
5 + 3 cos x
dx,
con ayuda de alg un CAS (en este caso usamos Derive 6), nos arroja el resultado de

4
.
Si pedimos a Derive la formula general, con la cual se supone determina este valor, nos
muestra
_
1
5 + 3 cos x
dx =
x
4

arctan
_
sen x
cos x+3
_
2
.
De esta manera, usando el Teorema Fundamental, con esta funcion podemos corroborar
que efectivamente
_

0
1
5 + 3 cos x
dx =
_
x
4

arctan
_
sen x
cos x+3
_
2
_

0
=

4
.
2
Sin embargo, en los libros de Calculo la manera expuesta para resolver la integral, es por
medio del cambio de variable u = tan
x
2
. Si usamos este metodo tradicional encontramos
_
1
5 + 3 cos x
dx =
1
2
arctan
_
1
2
tan
x
2
_
.
Al usar este resultado obtenemos
_

0
1
5 + 3 cos x
dx =
1
2
arctan
_
1
2
tan
x
2
_

0
= 0.
Aqu se pueden observar dos problemas. En primer lugar, nos encontramos con una
contradicci on al encontrar dos valores distintos para una integral denida; de hecho,
debido a que la funcion f(x) esta denida y es positiva en todos los reales (como se
puede apreciar en la Figura 1), el valor de la integral denida debe ser positivo.
En segundo lugar, entra en conicto el hecho de que dos primitivas de una funcion
dieren en una constante; es decir, si H (x) y G(x) son funciones diferenciables tales
que, para toda H

(x) = G

(x) = g(x) en un intervalo (a, b) para una funcion g (x),

entonces H (x) y G(x) dieren en una constante en (a, b).
En este caso, los dos resultados anteriores tienen dominios distintos, si se quiere hacer
la diferencia entre ellas, tendra que considerarse un dominio com un. Este dominio
com un consiste de intervalos abiertos ajenos separados por los puntos de la forma
x = (2n + 1) , donde n es un n umero entero. En cada uno de estos intervalos hay una
constante para la diferencia.
Recordemos que una funcion P(x), derivable en un intervalo, se llama funcion primitiva
de g(x), si satisface P

(x) = g (x), para todos los puntos del intervalo. En estos terminos
3
la funcion
F(x) =
1
2
arctan
_
1
2
tan
x
2
_
, (1)
(ver Figura 2 en la siguiente pagina) es primitiva de f(x) =
1
5+3 cos x
, solo en los intervalos
de la forma
((2k + 1) , (2k + 3) ) , para k entero.
No obstante, debido a que f(x) es una funcion denida en todos los reales, lo natural
es encontrar una primitiva denida tambien en todos los reales, como es el caso de
G(x) =
x
4

arctan
_
sen x
cos x+3
_
2
. (2)
(ver Figura 3). En este caso, la funcion (1) cumple que F

(x) = f (x) excepto en una

cantidad numerable de puntos, as que en el sentido estricto no es una primitiva de
f (x).
Sabemos de los resultados del Calculo que la integral indenida
F(x) =
_
x
a
f(t)dt,
con a un n umero real, es continua para cualquier funcion integrable f(x). Si f(x) es
una funcion continua, entonces F(x) es una primitiva de f(x) en virtud del Teorema
Fundamental del Calculo.
Sea f(x) una funcion continua y G(x) una primitiva cualquiera de f(x). Como
F(x) =
_
x
a
f(t)dt
4
es tambien una primitiva de f(x), entonces
G(x) F(x) = C,
es decir
G(x) =
_
x
a
f(t)dt + C.
De esta manera, cualquier primitiva de una funcion continua se puede expresar en
terminos de la integral indenida mas una constante y como consecuencia debe ser
continua.
Cuando calculamos una integral denida de una funcion, en la mayora de los casos
esta funcion es continua en el intervalo de integracion, por lo que esperamos que la
primitiva de la funcion integrada sea tambien continua. Pero no siempre sucede esto.
El calculo de la primitiva es un proceso algebraico y la nocion de integral indenida se
puede confundir con la nocion de primitiva, cuando no se especca nada acerca de la
funcion a integrar.
La respuesta sencilla obtenida con el metodo convencional, simplemente no produce una
primitiva porque este metodo reduce el dominio de la variable . Por otra parte tanto a
nivel de textos, como de artculos de investigacion sobre la ense nanza y aprendizaje del
Calculo muestran una serie de confusiones en los terminos, primitiva, integral denida;
no se trata solo de semantica sino de un uso adecuado de la terminologa que en algunos
casos puede conducir a situaciones conictivas como la anterior.
El fenomeno expuesto antes, puede presentarse en otras integrales como:
_
1
5 + 3 sen x
dx,
_
1
6 + 4 cos x + 4 sen x
dx,
_
1
2 + 3 sen x cos x
dx.
5
En general, para integrales de la forma
_
R(sen x, cos x)dx, donde R es una funcion
racional de sen x y cos x, con las siguientes particularidades:
1. Que no sea impar en sen x, ni tampoco en cos x.
2. Y que el denominador nunca se anule.
Para estos casos, algunos sistemas de computo algebraico (como Dervie 6) nos dan
primitivas denidas en todos los reales, pero al aplicar alg un metodo de integracion
tradicional, expuesto en los libros de Calculo, obtenemos una funcion que es primitiva
solo en intervalos.
2. Otra manera para resolver
_
1
a+b cos x
dx:
Supongase a
2
> b
2
. Por conveniencia, se buscara primero la siguiente integral
_

a
2
b
2
a + b cos x
dx.
El integrando se puede ver de la siguiente forma

a
2
b
2
a + b cos x
=
a + b cos x (a + b cos x) +

a
2
b
2
a + b cos x
= 1
b cos x +
_
a

a
2
b
2
_
a + b cos x
.
As
_

a
2
b
2
a + b cos x
dx =
_
_
1
b cos x +
_
a

a
2
b
2
_
a + b cos x
_
dx
=
_
dx
_
b cos x +
_
a

a
2
b
2
_
a + b cos x
dx.
6
El problema ahora es calcular la integral
_
b cos x +
_
a

a
2
b
2
_
a + b cos x
dx.
Haciendo el cambio de variable acostumbrado u = tan
x
2
, sabemos que cos x =
1u
2
1+u
2
y
como x = 2 arctan u, dx =
2
1+u
2
du. Entonces
_
b cos x +
_
a

a
2
b
2
_
a + b cos x
dx =
_
b
_
1u
2
1+u
2
_
+
_
a

a
2
b
2
_
a + b
_
1u
2
1+u
2
_
2
1 + u
2
du
= 2
_
_
a

a
2
b
2
+ b
_
+
_
a

a
2
b
2
+ b
_
u
2
((a + b) + (a b) u
2
) (1 + u
2
)
du.
Para facilitar los calculos se hara el siguiente renombre de variables
m = a

a
2
b
2
+ b
n = a

a
2
b
2
b
p = a + b
q = a b
que al sustituir tenemos
2
_
_
a

a
2
b
2
+ b
_
+
_
a

a
2
b
2
+ b
_
u
2
((a + b) + (a b) u
2
) (1 + u
2
)
du = 2
_
m + nu
2
(p + qu
2
) (1 + u
2
)
du.
Descomponiendo en fracciones parciales el integrando obtenemos
m + nu
2
(p + qu
2
) (1 + u
2
)
=
n +
mn
1
p
q
p + qu
2

mn
(qp)
1 + u
2
.
7
As que
2
_
m + nu
2
(p + qu
2
) (1 + u
2
)
du = 2
_
_
n +
mn
1
p
q
p + qu
2

mn
(qp)
1 + u
2
_
du
= 2
_
n +
mn
1
p
q
p + qu
2
du 2
_ mn
(qp)
1 + u
2
du
= 2
mq np

q (q p)
arctan
_
q

p
u
_
2
mn
q p
arctan u
regresando todo en terminos de a y b tenemos
2
mq np

q (q p)
arctan
_
q

p
u
_
2
mn
q p
arctanu = 2

a
2
b
2
_
(a b) (a + b)
arctan
_
_
(a b)
_
(a + b)
u
_
+2 arctanu
como a
2
> b
2
, entonces se reduce a 2 arctan u 2 arctan
_
ab

a
2
b
2
u
_
, sustituyendo el
valor de u
2 arctan
_
tan
x
2
_
2 arctan
_
a b

a
2
b
2
tan
x
2
_
De esta manera
_

a
2
b
2
a + b cos x
dx =
_
dx
_
b cos x +
_
a

a
2
b
2
_
a + b cos x
dx
= x 2 arctan
_
tan
x
2
_
+ 2 arctan
_
a b

a
2
b
2
tan
x
2
_
= x 2
_
arctan
_
tan
x
2
_
arctan
_
a b

a
2
b
2
tan
x
2
__
Y por tanto, dado que a
2
> b
2
, tenemos
_
1
a + b cos x
dx =
1

a
2
b
2
_
x 2
_
arctan
_
tan
x
2
_
arctan
_
a b

a
2
b
2
tan
x
2
___
. (3)
Esta primitiva es aparentemente continua, pero esto falso, porque evidentemente, esta
funcion no esta denida en x = (2k +1) para cada k entero. Sin embargo, el lmite de
(3), cuando x tiende a (2k +1), existe para cada k entero. Esto se puede justicar de
8
la siguiente manera. Al usar las identidades
arctan x arctan y = arctan
_
x y
1 + xy
_
,
sen
2
x + cos
2
x = 1,
tan
x
2
=
sen x
cos x + 1
y haciendo algunos calculos, se puede obtener
arctan
_
tan
x
2
_
arctan
_
a b

a
2
b
2
tan
x
2
_
= arctan
_
2b senx
2b cos x +
_
a b +

a + b
_
2
_
(4)
Sean
F(x) =
1

a
2
b
2
_
x 2
_
arctan
_
tan
x
2
_
arctan
_
a b

a
2
b
2
tan
x
2
___
G(x) =
1

a
2
b
2
_
x 2 arctan
_
2b sen x
2b cos x +
_
a b +

a + b
_
2
__
Usando la identidad (4) tenemos
lm
x(2k+1)
F(x) = lm
x(2k+1)
G(x)
= G((2k + 1)))
=
(2k + 1)

a
2
b
2
El lmite del lado derecho existe porque la funcion G(x) esta denida en todo R. Con
lo anterior, se puede concluir que
_
1
a + b cos x
dx =
1

a
2
b
2
_
x 2 arctan
_
2b senx
2b cos x +
_
a b +

a + b
_
2
__
.
Aqu se debe hacer la aclaracion de que la anterior solucion, la cual es continua, se ob-
tuvo al encontrar una identidad trigonometrica adecuada. Y tambien se debe observar,
que la identidad (4) no se cumple para x = (2k + 1) con k entero.
9
Nota 1: Con la formula anterior se encuentra
_
1
5 + 3 cos x
dx =
x
4

1
2
arctan
_
sen x
cos x + 3
_
.
Otros resultados generales que se pueden obtener como el anterior, son los siguientes
_
1
a + b sinx
dx =
1

a
2
b
2
_
2 arctan
_
a tan
x
2
+ b

a
2
b
2
_
+ 2 arctan
_
tan
x
2
_
x
_
=
1

a
2
b
2
_
x + 2 arctan
_
2b cos x
2b sinx +
_
a b +

a + b
_
2
__
Si
b
a
> 1
_
1
a + b cos
2
x
dx =
1

a + b
_
x arctan(tanx) + arctan
_
a

a + b
tanx
__
=
1

a + b
_
x arctan
_
b sin2x
b cos 2x +
_
a + b +

a
_
2
__
_
1
a + b sen
2
x
dx =
1

a + b
_
x arctan(tanx) + arctan
_
a + b

a
tanx
__
=
1

a + b
_
x arctan
_
b sen2x
b cos 2x
_
a + b +

a
_
2
__
.
El anterior procedimiento se hizo para obtener una solucion denida en todo R y para
encontrar los resultados que da Derive al usar el metodo tradicional de integracion. Sin
embargo, si empezaramos usando la siguiente igualdad
1
a + b cos x
=
a + b cos x (a + b cos x) + 1
a + b cos x
= 1
(a 1) + b cos x
a + b cos x
10
y siguiendo un procedimiento como el que se siguio anteriormente; es decir, haciendo
el cambio de variable u = tan
x
2
y usando fracciones parciales, con la condicion a
2
> b
2
,
obtendramos
_
1
a + b cos x
dx = x 2 arctan
_
tan
x
2
_
+
2

a
2
b
2
arctan
_
a b

a
2
b
2
tan
_
x
2
_
_
.
Otros resultados generales obtenidos como este ultimo, son los siguientes:
_
1
a + b sin x
dx =
2

a
2
b
2
arctan
_
a tan
x
2
+ b

a
2
b
2
_
+ 2 arctan
_
tan
x
2
_
x.
Si
a
b
> 1
_
1
a + b cos
2
x
dx = x arctan (tan x) +
1

a + b
arctan
_
a

a + b
tan x
_
y
_
1
a + b sin
2
x
dx = x arctan (tan x) +
1

a + b
arctan
_
a + b

a
tan x
_
1
.
Como se puede apreciar, las anteriores formulas generales no estan denidas en todo R.
3. Usando variable compleja
La variable compleja es una herramienta muy util que funge como una extension del
Calculo. Muchos problemas que pueden ser complicados de resolver en Calculo resultan
muy sencillos si aplicamos la teora de variable compleja. Los resultados que se mues-
tran en la seccion anterior para las primitivas continuas concuerdan si usamos variable
1
Se intiva al lector a cerciorarse por s mismo de los resultados generales presentados en esta seccion;
ya sea, haciendo los calculos manualmente o usando alguna herramienta tecnologica.
11
compleja para encontrar la integral denida entre 0 y de la funcion f(x) =
1
a+b cos x
,
con a
2
> b
2
. Pero para ello, primero mencionemos algunas deniciones y resultados.
Denici on 1 : Sea f continua en A C y : [a, b] C una curva suave por tramos
tal que ([a, b]) C. La expresion
_

f =
_

f(z)dz =
n1

i=0
_
a
i1
a
i
f ( (t))

(t) dt
se llama integral de contorno.
Proposici on 1 : Si f(z) = u(x, y) + iv(x, y), entonces
_

f =
_

[u(x, y)dx v(x, y)dy] + i

_

[u(x, y)dy v(x, y)dx] .

Demostraci on:
f ( (t))

(t) = [u(x(t), y(t)) + iv(x(t), y(t))] [x

(t) + iy

(t)]
= [u(x(t), y(t))x

(t) v(x(t), y(t))y

(t)]
+i [v(x(t), y(t))x

(t) + u(x(t), y(t))y

(t)]
Cuando integramos en ambos lados sobre el intervalo [a
i
, a
i+1
] con respecto a t y si
usamos la denicion 1 obtenemos lo que necesitamos.
Un hecho basico en el Calculo de funciones de variable real, es el Teorema Fundamental.
Basicamente dice que la integral de la derivada de una funcion es la diferencia entre los
valores de la funcion en los extremos del intervalo de integracion y la integral indenida
de una funcion es una antiderivada de la funcion. En la variable compleja existe una
analoga en la integracion de trayectorias complejas.
12
Teorema 1 : Teorema Fundamental para Integrales de Contorno. Sea F una
funcion denida y analtica en un conjunto abierto G que contiene a . Donde
: [0, 1] C
es una curva suave por tramos. Entonces
_

(z)dz = F((1)) F((0)).

En particular, si (0) = (1) entonces
_

(z)dz = 0.
Demostraci on: Sean g, u y v funciones denidas como
F((t)) = g(t) = u(t) + iv(t).
Entonces
F

((t))

(t) = g

(t) = u

(t) + iv

(t)
por lo que
_

(z)dz =
_
1
0
F

((t))

(t)dt =
_
1
0
g

(t)dt
=
_
1
0
u

(t)dt + i
_
1
0
v

(t)dt
= [u(1) u(0)] + i [v(1) v(0)]
= [u(1) + iv(1)] [u(0) + iv(0)]
= g(1) g(0)
= F((0)) F((0)).
Mencionemos ahora un resultado el cual es una version un tanto informal del teorema
de Cauchy.
13
Teorema 2 : Teorema de Cauchy. Sea f analtica en una region G. Sea una
curva cerrada en G. La cual es homotopica a un punto en G. Entonces
_

f = 0.
Demostraci on: Usaremos el teorema de Green como herramienta para demostrar este
teorema. El teorema de Green establece que dadas las funciones suaves P(x, y) y Q(x, y),
_

P(x, y)dx +Q(x, y)dy =

_ _
A
_
Q
x
(x, y)
P
y
(x, y)
_
dxdy.
Donde A es en interior de .
Ahora, sea f = u + iv. De esta manera tenemos
_

f =
_

f(z)dz =
_

(u + iv) (dx + idy)

=
_

(udx vdy) + i
_

(udy + vdx) .
Aplicando el teorema de Green a cada integral, obtenemos
_

f =
_ _
A
_

v
x

u
y
_
dxdy + i
_ _
A
_
u
x

v
y
_
dxdy.
Ambos terminos son cero debido a las ecuaciones de Cauchy-Riemman.
Otros terminos que usaremos son los siguientes:
Denici on 2 : Sean una curva cerrada en C y z
0
C un punto que no esta en .
Entonces, el ndice de con respecto de z
0
(n umero de giros de con respecto a z
0
)
esta denido como
I(, z
0
) =
1
2i
_

dz
z z
0
.
14
Denici on 3 : F ormula Integral de Cauchy. Sea f analtica en una region A, sea
una curva cerrada en A que es homotopica a un punto, y sea z
0
A tal que z
0
no
esta en . Entonces,
f(z
0
) I(, z
0
) =
1
2i
_

f(z)
z z
0
dz.
La formula anterior se aplica a menudo cuando es una curva cerrada simple y z
0
esta dentro de . Entonces I(, z
0
) = 1, por lo que la formula se convierte en
f(z
0
) =
1
2i
_

f(z)
z z
0
dz,
la cual signica que el valor de f esta determinado por sus valores frontera. Veamos
otro resultado cuya demostracion se omite debido a lo largo de ella.
Teorema 3 : Teorema de Expansi on de Laurent. Sea r
1
0, r
2
> r
1
y z
0
C y
considere la region A = {z C| r
1
< |z z
0
| < r
2
}. Se admite que r
i
= 0 o r
2
= (o
ambos). Sea f analtica en la region A. Entonces, podemos escribir
f(z) =

n=0
a
n
(z z
0
)
n
+

n=0
b
n
(z z
0
)
n
donde ambas series en el lado derecho de la ecuacion, convergen absolutamente en A y
uniformemente en cualquier conjunto de la forma B

1
,
2
= {z |
1
< |z z
0
| <
2
} donde
r
1
<
1
<
2
< r
2
. Si es un crculo alrededor de z
0
con radio r, con r
1
< r < r
2
,
entonces los coecientes estan dados por
a
n
=
1
2i
_

f()
( z
0
)
n+1
d n = 0, 1, 2, . . .
b
n
=
1
2i
_

f()( z
0
)
n1
d n = 1, 2, . . .
15
Cabe mencionar que cuando r
1
= 0, f es analtica en {z C| 0 < |z z
0
| < r
2
}, que
es la r
2
-vecindad agujerada de z
0
y decimos que z
0
es una singularidad aislada de f y
as se puede expandir la serie de Laurent como sigue
f(z) = . . . +
b
n
(z z
0
)
n
+ . . . +
b
1
z z
0
+ a
0
+ a
1
(z z
0
) + a
1
(z z
0
)
2
+ . . .
valido para 0 < |z z
0
| < r
2
.
Algunos terminos derivados del teorema anterior, los cuales estaremos usando, son:
Singularidad aislada: Es un punto z
0
en el cual una funcion f es analtica en una
region A que contiene alguna vecindad -vecindad agujerada de z
0
.
Polo: Es un punto z
0
, el cual es una singularidad aislada de f donde todos los b
n
,
excepto un n umero nito, son cero. Si k es el mayor entero tal que b
k
= 0, z
0
es un
polo de orden k. Si z
0
es un polo de primer orden, tambien decimos que es un polo
simple.
Residuo: A b
1
se le llama residuo de f en z
0
.
Singularidad esencial: Si un n umero innito de b
k
es distinto de cero, z
0
es llamada
una singularidad esencial.
Singularidad removible: Si todos los b
k
son cero, decimos que z
0
es una singularidad
removible.
Todo este camino nos lleva hasta el ultimo teorema que nos ayudara a calcular la
integral
_

0
1
a + b cos x
dx.
16
Teorema 4 Teorema del Residuo: Sea A una region y sean z
1
, . . . , z
n
A puntos
distintos de A. Sea f analtica en A\ {z
1
, . . . , z
n
}. Sea una curva cerrada en A,
homotopica a un punto a un punto en A. Ning un z
i
no esta en . Entonces
_

f = 2i
n

i=1
[Res(f, z
i
)] I(, z
0
).
Una demostracion precisa se puede ver en [].
Con los anteriores resultados se pueden resolver facilmente integrales de la forma
_
2
0
R(sen x, cos x)dx (5)
donde el integrando es una funcion racional de sen x y cos x, al evaluarse por medio
de residuos. Por supuesto estas integrales se pueden calcular tambien con integracion
explcita, pero esta tecnica es muy laboriosa.
Lo natural es hacer la sustitucion z = e
ix
, lo cual transforma a (5) en la integral
i
_
|z|=1
R
_
1
2i
_
z
1
z
_
,
1
2
_
z +
1
z
__
dz
z
.
Basta ahora determinar los residuos que corresponden a los polos del integrando adentro
del crculo unitario.
Primero calculemos la integral
_

0
1
a + cos x
dx, a > 1.
Esta integral no se extiende sobre (0, 2), pero como cos x toma los mismos valores en
los intervalos (0, ) y (, 2), es claro que la integral de 0 a es la mitad de la integral
17
de 0 a 2. Tomando esto en consideracion, podemos hacer los siguientes calculos.
_

0
1
a + cos x
dx =
1
2
_
2
0
1
a + cos x
dx
=
1
2
_
i
_
|z|=1
1
a +
1
2
_
z +
1
z
_
dz
z
_
=
1
2
_
i
_
|z|=1
2z
z
2
+ 2az + 1
dz
z
_
= i
_
|z|=1
1
z
2
+ 2az + 1
dz.
El denominador se puede factorizar como (z )(z ) con
= a +

a
2
1, = a

a
2
1
donde evidentemente || < 1 y || > 1. As que
i
_
|z|=1
1
z
2
+ 2az + 1
dz = i
_
|z|=1
1
(z )(z )
dz
= i [2i (Res (f, ) + Res (f, ))]
y como el residuo en es
1

, tenemos
_

0
1
a + cos x
dx = i
_
2i
_
1

__
=
2

=
2
2

a
2
1
=

a
2
1
.
Calculemos ahora la integral
_

0
1
a + b cos x
dx, a
2
> b
2
.
18
Entonces
_

0
1
a + b cos x
dx =
1
2
_
2
0
1
a + b cos x
dx
=
1
2
_
i
_
|z|=1
1
a + b
1
2
_
z +
1
z
_
dz
z
_
=
1
2
_
i
_
|z|=1
2z
bz
2
+ 2az + b
dz
z
_
= i
_
|z|=1
1
bz
2
+ 2az + b
dz
=
i
b
_
|z|=1
1
z
2
+
2a
b
z + 1
dz
El denominador se puede factorizar como (z + )(z ) con
=

a
2
b
2
+ a
b
, =

a
2
b
2
a
b
donde evidentemente || > 1 y || < 1. As que
i
b
_
|z|=1
1
z
2
+
2a
b
z + 1
dz =
i
b
_
|z|=1
1
(z + )(z )
dz
=
i
b
[2i (Res (f, ) + Res (f, ))]
y como el residuo en es
1
+
, tenemos
_

0
1
a + b cos x
dx =
i
b
_
2i
_
1
+
__
=
2
b
1
( + )
=
2
b
b
2

a
2
b
2
=

a
2
b
2
19
Lo cual concuerda si usamos formula
_
1
a + b cos x
dx =
1

a
2
b
2
_
x 2 arctan
_
2b sen x
2b cos x +
_
a b +

a + b
_
2
__
para calcular la integral de 0 a . Es decir,
_

0
1
a + b cos x
dx =
1

a
2
b
2
_
x 2 arctan
_
2b sen x
2b cos x +
_
a b +

a + b
_
2
__

0
=

a
2
b
2
.
La generalizacion de lo anterior queda de la siguiente manera:
Proposici on 2 : Sea R(x, y) una funcion racional de x, y; cuyo denominador no se
anula en el crculo unitario. Entonces
_
2
0
R(sen , cos )d = 2i

[residuos de f(z) dentro del crculo unitario]

donde
f(z) =
R
_
1
2i
_
z
1
z
_
,
1
2
_
z +
1
z
__
iz
.
Demostraci on: Si z = x + iy esta en el crculo unitario, entonces
x =
1
2i
_
z
1
z
_
y =
1
2
_
z +
1
z
_
.
Debido a que R no tiene polos en el crculo unitario, tampoco los tiene f, y si es el
crculo unitario, tenemos, por el teorema del residuo,
_

f = 2(residuos de f dentro de ) .
20
Por lo que
_
2
0
R(sen , cos )d =
_
2
0
R
_
e
i
e
i
2i
,
e
i
+ e
i
2
_
ie
i
ie
i
d
=
_
2
0
f
_
e
i
_
ie
i
d
=
_

f.
Referencias
[1] M. A. Armstrong., Topologa Basica., Editorial Reverte, S. A., Espa na., (1987).
[2] N. Bourbaki., Elementos de la historia de las matematicas., Alianza Universal,
(1976).
[3] C. B. Boyer., A history of mathematics., Utah C. Merzbach, Second Edition.
[4] 9. G.Buskes & A. Van Rooij., Topological Spaces: From Distance to Neighborhood.
Springer-Verlag New York.(1997).
[5] A. Garca-Maynez & A. Tamariz., Topologa General., Editorial Porr ua, S. A.,
Mexico. (1988)
[6] A. Illanes., Notas de Hiperespacios., 1990 (no publicadas).
[7] A. Illanes, A characterization of dendroids by the nconnectedness of the Whitney
levels., Fundamenta Mathematicae, 140 (1992), 157-174.
[8] A. Illanes & S. B. Nadler Jr., HYPERSPACES Fundaments and Recents Advances.,
Monographs and Textbooks in Pure and Applied Math., Marcel Dekker, New York
and Basel. (1999).
21
[9] I. M. James., History of topology., North Holland, Oxford University UK.(1999).
[10] M. Kline., Mathematical Thought from Ancient to Modern Times., Oxford Univer-
sity Press. New York. (1972).
[11] S. B. Nadler Jr., Hyperspaces of sets., Monographs and Textbooks in Pure and
Applied Math., Marcel Dekker Inc., New York and Basel.(1978).
[12] S. B. Nadler Jr., Continuum Theory, An introdution., Monographs and Textbooks
in Pure and Applied Math., Marcel Dekker Inc., New York and Basel.(1992).
[13] G. Salicrup., Introduccion a la Topologa. Sociedad Matematica Mexicana Mexico.
(1993).
[14] G. T. Whyburn, Analitic Topology., Amer. Math. Soc. Collq. Publ., vol.28, Amer.
Math. Soc., Providence, R. I., (1942).
22