Notas Del Curso PDF

ANLISIS MATEMTICO I
Edicin: febrero de 2014
Universidad de la Repblica, UdelaR

INSTITUTO DE MATEMTICA Y ESTADSTICA PROF. ING.
RAFAEL LAGUARDIA
OFICINA DE PUBLICACIONES
CENTRO DE ESTUDIANTES DE INGENIERA
ndice general
1. Nmero complejo
1.1. Nmero real . . . . . . . . . . . . . . . . . . . .
1.1.1. Axiomas de cuerpo . . . . . . . . . . . .
1.1.2. Axiomas de orden . . . . . . . . . . . .
1.2. Nmero complejo: definicin y operaciones . . .
1.3. Relacin entre los nmeros reales y los complejos
1.4. Unidad imaginaria y representacin binmica . .
1.4.1. Representacin grfica . . . . . . . . . .
1.4.2. Propiedades del mdulo . . . . . . . . .
1.5. Exponencial compleja . . . . . . . . . . . . . . .
1.5.1. Frmulas de Euler . . . . . . . . . . . .
1.5.2. Aplicaciones geomtricas . . . . . . . .
1.5.3. Potencias enteras y races . . . . . . . . .
1.6. Logaritmo complejo . . . . . . . . . . . . . . . .
1.7. Seno y coseno complejo . . . . . . . . . . . . .
2. Sucesiones y series
2.1. Introduccin . . . . . . . . . . . . . . . . . .
2.2. Sucesiones . . . . . . . . . . . . . . . . . . .
2.2.1. Sucesiones y lmites en R . . . . . .
2.2.2. Sucesiones montonas . . . . . . . .
2.2.3. Propiedades algebraicas de lmites . .
2.2.4. Subsucesiones . . . . . . . . . . . .
2.2.5. Sucesiones de Cauchy y convergencia
2.2.6. Sucesiones complejas . . . . . . . . .
2.3. Series . . . . . . . . . . . . . . . . . . . . .
2.3.1. Series telescpicas . . . . . . . . . .
2.3.2. Series de trminos no negativos . . .
2.3.3. Criterio de la raz y del cociente . . .
2.3.4. Series alternadas . . . . . . . . . . .
2.3.5. Series de trminos cualesquiera . . .
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
9
10
14
17
18
18
21
22
24
24
26
28
29
.
.
.
.
.
.
.
.
.
.
.
.
.
.
33
33
33
33
36
38
42
44
46
47
47
50
53
54
56
ndice general
2.3.6. Reordenacin de series . . . . . . . . . . . . . . . . . . . . .
2.3.7. Producto de Cauchy de series . . . . . . . . . . . . . . . . .
3. Repaso de Funciones de una Variable

3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Lmites y continuidad . . . . . . . . . . . . . . . . . . . . . .
3.2.1. Lmites laterales . . . . . . . . . . . . . . . . . . . .
3.2.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . .
3.2.3. Teoremas para funciones continuas en un intervalo . .
3.3. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . .
3.4. Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.1. Derivada de la funcin compuesta (regla de la cadena)
3.4.2. Extremos relativos y derivadas . . . . . . . . . . . . .
3.5. Funciones inversas . . . . . . . . . . . . . . . . . . . . . . .
3.6. Desarrollo de Taylor . . . . . . . . . . . . . . . . . . . . . .
3.6.1. rdenes de infinitsimos . . . . . . . . . . . . . . . .
3.6.2. Teorema de Taylor . . . . . . . . . . . . . . . . . . .
3.6.3. Frmula de Lagrange para el resto . . . . . . . . . . .
4. Integrales
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . .
4.2. Integracin de funciones continuas . . . . . . . . .
4.3. Propiedades de la Integral . . . . . . . . . . . . . .
4.4. Extensin a funciones seccionalmente continuas . .
4.5. Teoremas fundamentales . . . . . . . . . . . . . .
4.5.1. Teorema del valor medio . . . . . . . . . .
4.5.2. Teorema Fundamental del Clculo Integral
4.5.3. Ejemplos . . . . . . . . . . . . . . . . . .
4.6. Clculo de primitivas . . . . . . . . . . . . . . . .
4.6.1. Linealidad de la primitivaa . . . . . . . . .
4.6.2. Integracin por sustitucin . . . . . . . . .
4.6.3. Integracin por partes . . . . . . . . . . .
4.6.4. Primitivas de Funciones Racionales . . . .
4.7. Mtodos numricos de integracin . . . . . . . . .
4.7.1. Mtodo de los rectngulos . . . . . . . . .
4.7.2. Mtodo del trapecio . . . . . . . . . . . .
4.7.3. Mtodo del punto medio o de la tangente .
4.7.4. Mtodo de la parbola o regla de Simpson .
4.8. Aplicaciones de la integral definida . . . . . . . . .
4.8.1. reas . . . . . . . . . . . . . . . . . . . .
4.8.2. Volmenes . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
59
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
61
61
63
64
65
67
69
71
72
75
76
76
78
80
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
83
85
88
89
91
91
92
94
96
97
98
100
101
104
105
105
105
106
108
108
110
ndice general
4.9. Volumen de slidos de revolucin . . . . . . .
4.10. Integrales impropias . . . . . . . . . . . . . . .
4.10.1. Integrales impropias de primera especie
4.10.2. Caso integrando no negativo . . . . . .
4.10.3. Criterio integral para series . . . . . . .
4.10.4. Integrando con signo cualquiera . . . .
4.10.5. Integrales impropias de segunda especie
4.10.6. Cambios de variable . . . . . . . . . .
Bibliografa
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
112
115
115
118
120
121
123
124
127
ndice general
Reconocimientos
Estas notas son una reedicin de las Notas de Anlisis I elaboradas en el Instituto
de Matemtica y Estadstica Prof. Ing. Rafael Laguardia(IMERL) de la Facultad
de Ingeniera de la Universidad de la Repblica. Dichas notas fueron elaboradas por
Fernando Paganini, con la colaboracin de Marcelo Cerminara, Enrique Cabaa y el
equipo docente del curso de Anlisis I durante 1991-1992. Gabriel Lema y Pablo
Romero corrigieron y modernizaron la edicin original en 2013 y el Responsable (Roberto Markarian) y Coordinadoras (Laura Aspirot y Bojana Femic) del curso 2013,
realizaron diversas correcciones y agregados para esta edicin. Se ha procurado mantener la intencin de las notas originales, que si bien son autocontenidas no pretenden
eliminar - por el contrario, pretenden promover - la consulta de otra literatura, sugerida
en las referencias bibliogrficas del presente texto.
Estos captulos sern impresos por la Oficina de Publicaciones del CEI, al igual que
lo fueron las notas originales. El material que se presenta es la base del contenido del
curso de Clculo I del primer semestre de 2014, junto con los prcticos de ejercicios
del curso. Es nuestro deseo que este material sea de vuestra utilidad. Confiamos en
que sea bien enriquecido mediante las referencias bibliogrficas, que permiten ampliar
los temas aqu presentados. Ver libros [2], [3], [5], [6], en la Bibliografa al final del
texto.
Es un placer darles una clida bienvenida a este curso. Se sugiere mantenter un
espritu crtico en la lectura y el estudio. En especial queremos recordarles que tanto
el presente material como otros que consultarn pueden contener errores, y en caso de
hallarlos nos ser muy grato recibir vuestra realimentacin, que nos ayuda a trabajar
cada vez ms y mejor.
Agradecemos la colaboracin de varios estudiantes del curso 2013 y docentes del
Instituto, en particular los que colaboraron en el curso, que anotaron diversos errores
en esa edicin.
Montevideo, febrero de 2014
Instituto de Matemtica y Estadstica Prof. Ing. Rafael Laguardia
Facultad de Ingeniera
Universidad de la Repblica.
ndice general
Captulo 1
Nmero complejo
1.1.
Nmero real
Haremos una construccin axiomtica del conjunto de los nmeros reales demostrando algunas de sus propiedades ms relevantes. Sea R un conjunto no trivial y sea
+ : R R R una operacin binaria, que llamaremos suma, y : R R R otra
operacin que llamaremos producto. (Notacin: +(x, y) = x + y, (x, y) = xy).
1.1.1.
Axiomas de cuerpo
Axioma 1 Propiedad Conmutativa

x + y = y + x; xy = yx, x, y R.
Axioma 2 Propiedad Asociativa
x + (y + z) = (x + y) + z; x(yz) = (xy)z, x, y, z R.
Axioma 3 Propiedad Distributiva
x(y + z) = xy + xz, x, y, z R.
Axioma 4 Existencia de elementos neutros
0, 1 R : 0 6= 1 y x R, 0 + x = x + 0 = x, 1x = x1 = x.
Axioma 5 Existencia del opuesto
x R, y R : x + y = y + x = 0.
Axioma 6 Existencia del inverso
x R, x 6= 0, y R : xy = yx = 1.
De estos axiomas es posible deducir los teoremas clsicos del lgebra elemental.
Enunciamos algunos a modo de ejemplo. La demostracin se deja a cargo del lector.
9
10
Captulo 1. Nmero complejo
Proposicin 1 Si a + b = a + c entonces b = c, a, b, c R.
Proposicin 2 a, b R existe un nico x R tal que a + x = b.
Nota 3 A este x lo notamos b a (en particular 0 a lo escribimos a; por satisfacer
el Axioma 5 es el opuesto de a).
Proposicin 4 0a = a0 = 0, a = (1)a, (1)(1) = 1.
Proposicin 5 Si ac = ab y a 6= 0, entonces b = c.
Proposicin 6 a, b R, a 6= 0, un nico x tal que ax = b.
Nota 7 Tal nmero x se designa por b/a. En particular 1/a se designa a1 .
Proposicin 8 Si ab = 0 entonces a = 0 o b = 0.
1.1.2.
Axiomas de orden
Este grupo de axiomas permite definir el concepto de orden en el conjunto de los

nmeros reales. Esto permite decidir si un nmero real es mayor o menor que otro.
Introduciremos un concepto primitivo, el de nmero positivo, que nos permite definir
esta relacin de orden.
Suponemos que existe un conjunto R+ R, llamado conjunto de los nmeros
positivos, que satisfacen lo siguiente:
Axioma 7 Si x, y R+ (x + y), (xy) R+ .
Axioma 8 x 6= 0, x R+ o (x) R+ , pero no ambos.
Axioma 9 0
/ R+ .
Definicin 9 Si x, y R, entonces x < y (x es menor que y) si y solo si y x R+ .
Observacin 10
1. y > x significa que x < y.
2. x y significa que x < y o bien x = y.
3. y x significa que x y.
Es inmediato que x > 0 si x es positivo, (es decir, x R+ ). Si x < 0 entonces
decimos que x es negativo. Deducimos algunas propiedades de estos axiomas. Las
demostraciones omitidas son a cuenta del lector.
1.1. Nmero real
11
Proposicin 11 Sea a, b, c R; si a 0
b<ccb>0
En virtud del Axioma 7 se puede sumar, y se tiene que (b a) + (c b) > 0, de donde
c a > 0 a < c.
Proposicin 12 Si a, b R entonces es cierta una y solo una de las siguientes relaciones: a < b; b < a o bien a = b.
Proposicin 13 Si a 6= 0, a2 > 0.
Demostracin. Si a > 0 entonces por el Axioma 7, a a > 0.
Si a < 0 entonces (a) > 0, y en este caso (a)(a) > 0 tambin como resultado
del Axioma 7.
Proposicin 14 Si a bc.

Proposicin 15 Si ab > 0 entonces a y b son ambos positivos o bien ambos negativos.
Para concluir nuestra construccin de los nmeros reales, falta enunciar un ltimo
axioma, que veremos con ms cuidado que los anteriores. Este axioma permite definir
los nmeros irracionales, y de l se deducen las propiedades de continuidad de los nmeros reales.
Los nueve axiomas enunciados hasta el momento son satisfechos por el conjunto de
los nmeros racionales. Sin embargo, problemas elementales como el de encontrar una
solucin de x2 = a no pueden ser resueltos apelando solo a este conjunto. Como un
dcimo axioma introducimos la posibilidad de resolver problemas como el del ejemplo.
Definicin 16 Sea S R, S 6= y k R; si x k, x S diremos que k es una
cota superior de S.
Es evidente que si k es cota superior de S, entonces cualquier k 0 : k 0 > k es tambin
una cota superior.
Definicin 17 Sean k y S como en la Definicin 16. Diremos que k es un mximo de
S si k es cota superior y adems k S.
12
Ejemplo 18 Sea S = {x R : 0 x 1}. S est acotado superiormente por

k : k 1. Como 1 es cota superior y adems 1 S entonces 1 es mximo de S.
Ejemplo 19 Consideremos ahora T = {x R : 0 x < 1}. k ser cota superior si
y solo si k 1. En este ejemplo a diferencia del anterior, 1
/ T , por lo cual 1 no es
mximo de T .
Definicin 20 Un nmero k R se denomina supremo de S 6= si k es la menor de
las cotas superiores de S. Esto es: k 0 es cota superior de S, entonces k 0 k. A tal
nmero se le denota sup(S), siempre que exista.
Si S tiene mximo entonces este mximo ser supremo de S. El recproco no es
cierto. Es decir: un conjunto puede no tener mximo, y sin embargo s tener supremo.
El Ejemplo 19 muestra sto, pues 1 es el supremo de T . Las Figuras 1.1 y 1.2 ilustran
respectivamente a los conjuntos S, T R.
S
0
Figura 1.1: El conjunto S tiene mximo, que es supremo.
T
0
Figura 1.2: El conjunto T no tiene mximo, y 1 es supremo de T .

Proposicin 21 Si existe supremo de un conjunto, es nico.
Demostracin. Sea S 6= un conjunto y k, k 0 dos nmeros reales, supremos de S.
Como k es supremo, entonces k 0 k, pero como k 0 tambin es supremo, k k 0 , de
donde k = k 0 .
Con estos comentarios podemos enunciar el siguiente.

Axioma 10 Todo subconjunto real no vaco acotado superiormente tiene supremo:
S R, S 6= : s k0 s S, entonces k R : sup(S) = k.
A partir de los Axiomas 1 a 10 es posible dar la siguiente definicin.
1.1. Nmero real
13
Definicin 22 El conjunto R que verifica los Axiomas 1 a 10 con las operaciones + y

lo llamaremos conjunto de los nmeros reales.
De manera anloga, como definimos cota superior, mximo y supremo, se puede definir cota inferior, mnimo e nfimo. Queda a cargo del lector hacerlo.
Demostraremos la siguiente:
Proposicin 23 Dado S 6= , S R acotado inferiormente, entonces existe l R tal
que l = nf(S).
Demostracin. Sea S = {x R : x S} entonces S 6= .
Si c es una cota inferior de S, entonces c x, x S, de donde c x, x S.
Luego S es acotado superiormente, y por el Axioma 10, k R : k = sup(S).
Tomando l = k es fcil comprobar que l = nf(S). En efecto, l es cota inferior
de S. Falta ver que es la mayor. Sea l0 R tal que l0 x, x S. Entonces
l0 x, x S. Luego l0 sup(S) = l de donde l0 l.
Proposicin 24 Sean a, b nmeros reales tales que a b + , > 0 entonces a b.

Demostracin. Supongamos por absurdo que b < a, entonces tomando =
tiene b + = b + ab
= a+b
< a+a
= a, lo cual contradice la hiptesis.
2
2
2
ab
2
se
La siguiente propiedad establece que todo conjunto acotado superiormente (y por

lo tanto con supremo) contiene elementos tan prximos al supremo como se quiera.
Proposicin 25 Sean h R, h > 0 y S R un conjunto de reales, entonces:
1. Si S tiene supremo, existe x S tal que x > sup(S) h.
2. Si S tiene nfimo, existe x S tal que x < nf(S) + h.
Demostracin.
1. Supongamos nuevamente por absurdo que x sup(S) h, x S. Entonces
sup(S) h sera cota superior de S, pero como h > 0, sup(S) h < sup(S),
lo cual es absurdo.
2. Se demuestra de manera anloga.
14
Por ltimo, recordaremos que no era posible utilizando solo los nueve primeros
axiomas resolver problemas como la ecuacin x2 = 2. Veremos a continuacin que
el Axioma 10 nos permite definir la raz cuadrada de cualquier nmero no negativo, y
por ende resolver este problema.
Proposicin 26 Cada nmero real a no negativo tiene una nica raz cuadrada no
negativa.
Demostracin. Si a = 0 entonces 0 es la nica raz. Supongamos entonces que a > 0.
Sea S = {x : x > 0, x2 a}. Como (1 + a)2 > a entonces 1 + a es cota superior
a
de S. Adems, S 6= , pues (1+a)
S. En efecto, como a2 a(1 + a)2 entonces
a2
(1+a)2
a
a. En virtud del Axioma 10, S tiene supremo. Sea sup(S) = b, b 1+a
,y
2
2
2
por lo tanto b > 0. Existen solo tres posibilidades: b > a, b < a o bien b = a.
2
Si b2 > a tomamos c = b b 2ba = 12 (b + ab ). Entonces 0 < c < b, y c2 =
2
2
2 a)2
b2 (b2 a) + (b 4ba)
= a + (b 4b
> a. Por lo tanto, c2 > x2 y c > x, x S,
2
siendo c cota superior de S, pero como c 0 es posible definir un nmero c > 0 tal
que c b esto contradice el hecho que b sea una cota
superior de S. Por lo tanto debe ser b2 = a.
1.2.
Nmero complejo: definicin y operaciones
Hemos probado que el conjunto de los nmeros reales permite soluciones de x2 =

a, con a 0. Pero como el cuadrado de un real es un nmero positivo, la ecuacin
x2 = 1 sigue sin tener solucin para x R.
El inters en resolver esta ecuacin (y otras ecuaciones polinmicas) nos lleva a
buscar nuevas extensiones del campo de los nmeros reales. En principio se trata de
la motivacin puramente algebraica de obtener un campo numrico algebraicamente
cerrado, es decir donde todas las ecuaciones polinmicas tengan solucin. Sin embargo
el xito en la extensin (el nmero complejo) ha llevado a ir mucho ms all, y el
nmero complejo est presente en buena parte de la matemtica y sus aplicaciones.
En este curso se tratarn solo las operaciones ms elementales en el campo complejo. Se posterga para el curso de Funciones de variable compleja un tratamiento ms
a fondo del anlisis de variable compleja. Los lectores interesados pueden consultar
como referencia a este captulo [3, 4, 5], para lectura posterior [1].
Supongamos que hemos construido un campo numrico que incluye a los nmeros
reales, y donde la ecuacin x2 = 1 tiene una raz que llamaremos i, tal que i2 = 1.
1.2. Nmero complejo: definicin y operaciones
15
Si el campo numrico tiene definidas operaciones de suma y producto, estarn en l

nmeros de la forma a + bi, con a y b reales, y tambin sumas y productos de esa
forma.
Suponiendo que valen los axiomas de cuerpo y por lo tanto las reglas de operacin
habituales, tenemos:
(a + bi) + (c + di) = (a + c) + (b + d)i,
(a + bi)(c + di) = ac + adi + bci + bdi2 = (ac bd) + (ad + bc)i,
i2 = 1.
Por lo tanto, la suma y el producto de nmeros de la forma a + bi dan otro nmero
de la misma forma. Parecera, entonces, que para nuestra extensin basta con nmeros
de esta forma.
Hasta ahora no hemos dado nungn argumento
que asegure la existencia de una
extensin de los reales que incluya a i = 1. Sin embargo, una ligera abstraccin a
partir de lo anterior permite realizar la construccin adecuada.
De hecho, lo que distingue a dos nmeros de la forma a + bi son los dos reales a y
b. Podramos identificar el nmero con un par de nmeros reales (a, b). Las frmulas
obtenidas informalmente en el desarrollo anterior se transforman en la definicin de las
operaciones de suma y producto entre estos pares. Este es el camino que desarrollamos
a continuacin.
Comentamos que el campo as construido permitir extender todas las propiedades
de cuerpo y garantiza la existencia de soluciones para cualquier ecuacin de la forma:
an xn + an1 xn1 + . . . + a1 x + a0 = 0
Este resultado se conoce como teorema fundamental del lgebra, y ser demostrado
en cursos posteriores. Ver [1].
Definicin 27 Un nmero complejo es un par ordenado de nmeros reales.
La primera componente de z = (a, b) se llama parte real de z, y la segunda componente se llama parte imaginaria de z.
Notacin 28 a = Re(z), b = Im(z).
Nota 29 Par ordenado significa que (a, b) 6= (b, a) si a 6= b. En otras palabras, el
complejo z = (a, b) y el complejo w = (c, d) son iguales si y solo si a = c y b = d.
Denotemos por C al conjunto de los nmeros complejos.
Definicin 30 Dados dos complejos z = (a, b) y w = (c, d), definimos la suma z + w
y el producto zw por:
z + w = (a + c, b + d); zw = (ac bd, ad + bc)
16
El producto y la suma de complejos verifican las siguientes propiedades.

Proposicin 31 El producto y la suma de complejos son asociativos, conmutativos y
distributivos.
Demostracin. Slo demostraremos la distributiva. Las otras estn a cargo del lector.
Sean v = (a, b), w = (c, d) y z = (e, f ).
v(w + z) = (a, b)(c + e, d + f ) = (ac + ae bd bf, ad + af + bc + be)
= (ac bd, ad + bc) + (ae bf, af + be) = vw + vz.
Proposicin 32 Existen dos complejos (0, 0) y (1, 0) neutros de la suma y el producto

respectivamente.
Es decir, (a, b) C, (a, b) + (0, 0) = (a, b) y (a, b)(1, 0) = (a, b).
Demostracin a cargo del lector.
Proposicin 33
a) Dado z = (a, b) C, existe un opuesto z = (a, b) tal que
z + (z) = 0.
b) Dado z = (a, b) 6= (0, 0) existe un inverso:

b
a
1
,
z =
a2 + b 2 a2 + b 2
tal que zz 1 = (1, 0).
Demostracin. Inmediata haciendo cuentas.
Las afirmaciones anteriores permiten decir que el conjunto C, con las operaciones
de suma y producto de la Definicin 7, cumple los Axiomas de cuerpo 1 a 6.
Introducimos ahora la resta y la divisin.
Proposicin 34 Dados dos complejos z = (a, b) y w = (c, d) existe un complejo
v = (e, f ) tal que v + w = z. Lo designamos v = z w.
Demostracin. El complejo v = (a c, b d) cumple lo deseado.
Proposicin 35 Si z y w son nmeros complejos con w 6= (0, 0) existe un nmero

complejo v tal que wv = z. De hecho v = zw1
La demostracin es inmediata.
1.3. Relacin entre los nmeros reales y los complejos
1.3.
17
Relacin entre los nmeros reales y los complejos
Tenemos construido un conjunto, formado por los pares de nmeros reales de la

forma (a, b). En virtud de lo dicho en la introduccin, utilizando la notacin a + bi, es
natural que el papel de los reales lo jueguen los complejos tales que b = 0, es decir, los
de la forma (a, 0).
Sea C0 el conjunto de los nmeros complejos de la forma (x, 0). Es decir los que
tienen parte imaginaria nula. Es inmediato que la suma y el producto y la suma de
elementos de C0 tambin pertenece a C0 , pues:
(a, 0) + (b, 0) = (a + b, 0), (a, 0)(b, 0) = (ab, 0).
Esto muestra que los nmeros complejos de la forma (a, 0) se comportan respecto de la
suma y el producto de la misma forma que los nmeros reales a. Por eso convenimos
con identificar (a, 0) con a.
Como ya hemos dicho los complejos verifican los Axiomas de cuerpo de los reales
(Axiomas 1 a 6), es decir que los nmeros complejos forman una estructura algebraica
de cuerpo.
Cuando entre dos estructuras algebraicas se puede establecer una correspondencia
1 a 1 que respete las operaciones, se dice que ambas estructuras son isomorfas, es
decir que esencialmente se comportan como si fueran lo mismo. Esto es lo que ocurre
entre C0 y R y por eso tiene sentido identificar, como hemos dicho, los complejos con
parte imaginaria nula y los nmeros reales.
Podemos formalizar un poco ms esta idea: Sea f : R C0 : f (x) = (x, 0). Es
evidente que f es biyectiva. Veremos que f respeta las operaciones:
f (x + y) = (x + y, 0) = (x, 0) + (y, 0) = f (x) + f (y);
f (xy) = (xy, 0) = (x, 0)(y, 0) = f (x)f (y).
Luego f es un isomorfismo entre C0 y R.
Para que la identificacin sea completa hara falta adems definir un orden en C0
(Axiomas 7 a 10), lo que puede hacerse en forma natural, de modo que la correspondencia preserve tambin el orden (f preserva el orden si definimos (a, 0) < (b, 0) si y
solo si a < b).
Como C0 C podemos pensar a los nmeros complejos como una extensin de
los reales.
18
1.4.
Unidad imaginaria y representacin binmica
Definicin 36 Llamaremos unidad imaginaria al complejo (0, 1), al que notaremos i.

Nota 37 i2 = (0, 1)(0, 1) = 1 de donde i es raz de la ecuacin x2 + 1 = 0.
La ley de multiplicacin nos permite la siguiente igualdad (b, 0)i = (b, 0)(0, 1) =
(0, b), de donde z = (a, b) = (a, 0) + (0, b) = (a, 0) + i(b, 0). Entonces poniendo (a, 0) = a y (b, 0) = b podemos escribir cualquier complejo z = (a, b) como
z = a + bi.
Reencontramos entonces las expresiones que fueron presentadas al principio. Haciendo la salvedad de que a y b no son aqu reales sino sus copias (a, 0) y (b, 0)
en C0 , todo lo que all se dijo es vlido y la notacin resulta cmoda como forma de
clculo.
1.4.1.
Representacin grfica
Es posible representar el nmero complejo z = (a, b) como el punto del plano x0y
de coordenadas (a, b). En esta situacin llamaremos eje real al eje 0x y eje imaginario
al eje 0y. Indistintamente identificaremos al nmero complejo z con el correspondiente

punto del plano.
De la misma forma es posible representar el complejo z como el vector geomtrico
que une el origen con el punto (a, b) como indica la Figura 1.3.
Im(z)
z = (a, b)
Re(z)
Figura 1.3: Representacin de un nmero complejo en el plano.

La suma y resta de complejos tiene una sencilla interpretacin geomtrica segn la
regla del paralelogramo tal como lo ilustra la Figura 1.4.
Es decir que el vector z + w es una diagonal del paralelogramo de lados z y w, y
la diferencia z w el vector paralelo por el origen a la otra diagonal.
1.4. Unidad imaginaria y representacin binmica
19
Im(z)
z+w
z
zw
Re(z)
Figura 1.4: Representacin geomtrica de la suma y la resta de dos nmeros complejos.
Definicin 38 Sea z = a + ib. Llamamos mdulo de z al nmero = |z| = a2 + b2
Si z 6= 0, sea el ngulo entre el eje Ox y el vector (a, b) (definido a menos de un

mltiplo de 2). se llama argumento de z (existen por lo tanto infinitos argumentos
de z que difieren en mltiplos de 2).
La Figura 1.5 muestra la representacin polar de un nmero complejo.
Im(z)
Re(z)
Figura 1.5: Representacin polar de un nmero complejo.

Se verifica
a = cos
b = sen
(1.1)
Si se quiere una determinacin unvoca del argumento es usual elegir (, ]

y llamarle argumento principal de z (arg(z)).
20
Ejemplo 39 |i| = 1, arg(i) = /2

Un complejo puede estar dado entonces por sus partes real e imaginaria a y b, o por su
mdulo y argumento y .
Las ecuaciones 1.1 permiten pasar de (, ) a (a, b).
Para el pasaje inverso: = a2 + b2 . Calculamos para z 6= 0:

arg(z) = /2
si b > 0
si a = 0 :
arg(z) = /2 si b < 0
si a 6= 0: tan() = (b/a). La funcin arctan() es inversa de la funcin tan()
para (, ], de donde:
si a > 0: arg(z) = arctan(b/a)

arg(z) = arctan(b/a) +
si a < 0 :
arg(z) = arctan(b/a)
si b > 0
si b < 0
Definicin 40 Llamaremos conjugado de z = a + bi al complejo z = a bi.

Obsrvese que el conjugado no es otra cosa que el simtrico de z respecto del eje
Ox. La Figura 1.6 representa al complejo z en el plano complejo.

Im(z)
b
a Re(z)
Figura 1.6: Representacin grfica del conjugado de z, denotado mediante z.

Algunas propiedades del conjugado:
Propiedad 41
1. z + w = z + w
2. zw = zw
3. z + z = 2Re(z)
1.4. Unidad imaginaria y representacin binmica
21
4. z z = 2iIm(z)
5. z = z
6. Si z es raz de un polinomio P(z) de coeficientes reales, entonces z tambin es raz.
La demostracin de 1 a 5 quedan como ejercicio. Para ver 6 observar que si P (z) =
an z n + + a1 z + a0 con ai R, entonces P (z) = P (z).
La conjugacin resulta til para el clculo de divisiones en C. Se multiplica numerador y denominador por el conjugado del denominador, y as se obtiene la forma
binmica del cociente.
Ejemplo 42
1.4.2.
2+3i
1+i
(2+3i)(1i)
(1+i)(1i)
2+3i2i+3
2
5
2
+ 2i .
Propiedades del mdulo
Notemos que el mdulo de |z| es la distancia del punto z al origen, y como tal tiene
la propiedad de las longitudes de segmentos.
Propiedad 43
1. |z| 0
2. |z| = 0 sii z = (0, 0)
3. |Re(z)| |z| ; |Im(z)| |z|
4. |zw| = |z||w| ; | wz | =
|z|
|w|
5. zz = |z|2
6. |z + w| |z| + |w| (Desigualdad triangular)
Demostracin. Sea z = a + bi ; w = c + di
3. Re(z)2 = a2 a2 + b2 = |z|2 |Re(z)| |z| (Idem para |Im(z)| |z|)
4. |zw|2 = |(ac bd) + (ad + bc)i|2 = (ac bd)2 + (ad + bc)2 = a2 c2 + b2 d2 +
a2 d2 + b2 c2 = (a2 + b2 )(c2 + d2 ) = |z|2 |w|2 |zw| = |z||w|
6. |z + w|2 = (z + w)(z + w) = (z + w)(z + w) = zz + ww + zw + zw =
|z|2 + |w|2 + zw + zw = |z|2 + |w|2 + 2Re(zw) |z|2 + |w|2 + 2|zw| =
|z|2 + |w|2 + 2|z||w| = (|z| + |w|)2 |z + w| |z| + |w|
22
Se pierde algo en la extensin de R a C? Hasta ahora nos hemos conformado

con tener en C una estructura de cuerpo, es decir con los Axiomas 1 a 6 presentados
al principio. Como veremos a continuacin, no es posible extender para C los Axiomas 7 a 9, es decir que no es posible definir un orden en los complejos que preserve
las propiedades que tiene en R.
Supongamos que esto fuera posible, y existiera C+ C cumpliendo los Axiomas 7 a 9. Si el complejo i C+ , deducimos por el Axioma 7 que i2 = 1 C+ , y
entonces (1)2 = 1 C+ , de donde 1+1 = 0 C+ , lo que contradice el Axioma 9.
Si i
/ C+ , por Axioma 8 i C+ , y en forma anloga se llega a una contradiccin.
Por lo tanto, si definimos un orden en C, debemos sacrificar algunas propiedades que
tiene en R (en particular, la monotona del producto del Axioma 7). En cuanto al
Axioma 10, que da la completitud de R, obviamente depende tambin de la nocin de
orden que no tenemos en C. De hecho, pueden darse otras versiones equivalentes de
la nocin de completitud en R, que s pueden extenderse a C. Volveremos a esto en el
Captulo 2.
1.5.
Exponencial compleja
La idea es definir una funcion f : C C f (z) = ez , que llamaremos exponencial

compleja, y que tenga propiedades similares a la exponencial real ex . Las propiedades
de ex que deseamos conservar son la ley de exponentes ex+y = ex ey y por supuesto
que ez = ex si Im(z) = 0. Daremos una definicin para ez con z C y veremos que
se conservan estas propiedades.
Definicin 44 Si z = a + bi, definimos ez = ea+bi como el nmero complejo ez =
ea (cos(b) + isen(b)).
Proposicin 45 Si z = a + ib y w = c + id son dos nmeros complejos entonces
ez ew = ez+w .
Demostracin. ez = ea (cos(b) + isen(b)) ; ew = ec (cos(d) + isen(d)) ez ew =
ea ec (cos(b) cos(d)+i cos(b)sen(d)sen(b)sen(d)+isen(b) cos(d)) = ea ec (cos(b) cos(d)
sen(b)sen(d) + i(cos(b)sen(d) + sen(b) cos(d))
Ahora

cos(b) cos(d) sen(b)sen(d) = cos(b + d)
cos(b)sen(d) + sen(b) cos(d) = sen(b + d)
Adems ea ec = ea+c porque a y c son reales. Entonces tenemos que:

ez ew = ea+c (cos(b + d) + isen(b + d)) = ez+w
1.5. Exponencial compleja
23
Es inmediato adems ver que si z = a + 0i, entonces ez = ea cos(0 + isen(0)) = ea .
Ejemplo 46 ei = 1
Proposicin 47 ez 6= 0 z C.
Demostracin. ez ez = e0 = 1 de donde ez 6= 0
Se deduce tambin de aqu que (ez )1 = ez .

Proposicin 48 Si z = a + ib entonces |ez | = ea ; en particular, |eib | = 1.
Demostracin. |ez | = ea
p
cos(b)2 + sen(b)2 = ea
Proposicin 49 ez = 1 z es un mltiplo de 2i.

Demostracin.
() Si z = 2in donde n es entero entonces: ez = cos(2n) + isen(2n) = 1
() Supongamos ahora que ez = 1, entonces |ez | = ea = 1 a = 0.
Por lo tanto z = ib. Ahora, eib = cos(b) + isen(b) = 1, de donde cos(b) = 1, sen(b) =
0 y por lo tanto b = 2n.
Corolario 50 ez = ew z = w + i2n, con n entero.

Demostracin. ez = ew ezw = 1 z w = i2n z = w + i2n
24
1.5.1.
Frmulas de Euler
A partir de las ecuaciones ei = cos() + isen(); ei = cos() isen()

se deduce que:
ei +ei
= cos()
ei ei
2i
= sen()
Estas frmulas son conocidas como frmulas de Euler. Veremos ahora una notacin
para los complejos sumamente cmoda para efectuar las operaciones de divisin y
multiplicacin.
Proposicin 51 Todo nmero complejo z = a + ib, puede ser representado como
z = ei donde = |z| y es un argumento de z.
Demostracin. z = a + ib. Recordemos la notacin polar: a = cos(), y
b = sen(), de donde: z = (cos() + isen()). Como ei = cos() + isen()
z = ei
Utilizando las propiedades de la exponencial es ahora muy fcil multiplicar y dividir dos complejos. Sea z1 = 1 ei1 y z2 = ei2
z1 z2 = (1 ei1 )(2 ei2 ) = 1 2 ei(1 +2 )
1 e1
1
z1
=
= ei(1 2 )
2
z2
2 e
2
1.5.2.
Aplicaciones geomtricas
Consideremos la funcin del plano complejo en s mismo dada por F (z) = z + ,

donde , C. Estudiaremos qu interpretacin geomtrica tiene esta transformacin
del plano en el plano.
Caso 1. = 1, arbitrario. En este caso F (z) = z + representa una traslacin de
vector en el plano, como se observa en la Figura 1.7
Caso 2. = 0, R. En este caso, se trata de una homotecia de centro (0, 0) y razn
como se observa en la Figura 1.8.
Caso 3. = 0, = ei . Si z = ei , entonces z = ei(+) , de donde (ver Figura 1.9),
la funcin equivale a una rotacin de centro (0, 0) y ngulo .
Caso 4. = 0, = 0 ei . A partir de los casos 2 y 3 se deduce que la funcin F (z) = z
representa la composicin de una rotacin de ngulo y una homotecia de razn
0 , es decir una rotohomotecia en el plano.
25
z+
Im(z)
Re(z)
Figura 1.7: Traslacin del complejo z por el complejo , con resultado z + .
Im(z)
( > 1)
z
z
Re(z)
Figura 1.8: Multiplicacin del complejo z por el factor real , con resultado z.
Caso 5. El caso general se deduce de los anteriores. Se trata de la composicin de una
rotohomotecia con una traslacin, lo que equivale a una semejanza directa en el
plano.
Excepto en el caso de una traslacin ( = 1), se sabe que una tal semejanza tiene
un nico punto unido (z0 es un punto unido de F si F (z0 ) = z0 ). Obtengmoslo:
De z = F (z) = z + se tiene z = /(1 ), punto unido de F .
Ejercicio 52 Mostrar que F (z) = iz representa una rotacin en el plano de centro

(0,0) y de ngulo 2 .
Ejercicio 53 Sea F (z) = 21z + (1 2i). Hallar como ejercicio el punto unido y la
imagen del eje imaginario.
26

Im(z)
ei z
z
+
Re(z)
Figura 1.9: Rotacin del complejo z por un ngulo , con resultado zei .
1.5.3.
Potencias enteras y races
Definicin 54 Dados un nmero complejo z y un entero, definimos la n-sima potencia de z como sigue
0
z = 1; z n+1 = z n z si n 0
z n = (z 1 )n
si z 6= 0 y n > 0
Esta definicin permite mantener las reglas usuales de exponente, es decir si m y n son
enteros y z 6= 0:
z n z m = z n+m y (z1 z2 )n = z1n z2n
Es fcil realizar la demostracin por induccin completa y queda a cargo del lector.
Ejemplo 55 Calcular las potencias de i: i0 = 1; i1 = i; i2 = 1; i3 = i; i4 = 1.

Observamos que i4 = i0 , de donde i4k+j = ij k, j. Es decir, las potencias de i se
repiten cada cuatro, solo tomando los valores 1, i, 1, i.
En coordenadas polares, si z = ei entonces z n = n ein . La potencia queda
expresada en forma mucha ms compacta que en notacin binmica. La Figura 1.10
ilustra geomtricamente la potencia compleja en notacin polar.
Ejercicio 56 Probar el teorema de De Moivre: Sea n un nmero entero, entonces
(cos() + isen())n = cos(n) + isen(n)
27
Im(z)
zn
n
( > 1)
n
Re(z)
Figura 1.10: Representacin polar de la potencia z n de un complejo z.
Aplicar lo anterior para demostrar que:

sin(3) = 3 cos()2 sen() sen()3
cos(3) = cos()3 3 cos()sen()2
El siguiente teorema da una frmula para la raz n-sima de un complejo.
Proposicin 57 Si z 6= 0, z = ei y si n es un entero positivo, entonces existen exactamente n nmeros complejos distintos z0 , z1 , . . . , zn1 (llamados races n-simas) tales que:
n
zk = z para cada k = 0, 1, . . . , n 1
1
zk = k eik con k = n y k = n + 2k
(k = 0, 1, . . . , n 1)
n
Demostracin. Es evidente que los n nmeros zk (k = 0, 1, . . . , n 1) verifican que
zkn = z pues zkn = nk eink = ei .
Hay que probar que son los nicos nmeros que cumplen esto. Supongamos que
w = Aei verifica que wn = z. Entonces An ein = ei de donde An = (y por tanto
1
A = n ) y n = + 2k para algn k, de donde = +2k
. Pero si k toma todos los
n
valores enteros w solo toma valores z0 , z1 , . . . , zn1 .
La proposicin anterior prueba que un complejo tiene n races n-simas, que tienen
todas el mismo mdulo y argumentos que difieren en mltiplos de 2/n. Desde el
punto de vista geomtrico las n races ocupan los vrtices de un polgono regular (ver
Figura 1.11).
28

Im(z)
z1
2
n
z2
/n
z0
Re(z)
z3
z4
Figura 1.11: Las n races

el ejemplo n = 5
z del complejo z ocupan los vrtices de un polgono. En
Ejemplo 58 Las 4 races cuartas de 1 son zk = 1ei(2k/4) , k = 0, 1, 2, 3. O sea:

1, i, 1, i. Graficarlas.
1.6.
Logaritmo complejo
Ya hemos visto que ez 6= 0. Sin embargo 0 es el nico nmero que ez no puede

tomar jams. Esto se ve en el siguiente resultado que al mismo tiempo sirve para
justificar la definicin del logaritmo complejo.
Proposicin 59 Si z 6= 0 es un nmero complejo entonces existen infinitos nmeros
complejos w tales que ew = z. Adems estos nmeros tienen la forma
log |z| + i(arg(z) + 2n), con n entero
.
Demostracin. Como elog |z|+iarg(z) = elog |z| eiarg(z) = |z|eiarg(z) = z, vemos que
w = log |z| + iarg(z) es una solucin de la ecuacin ew = z. Si w0 es otra solucin
1.7. Seno y coseno complejo
29
entonces:
ew = ew0 y w w0 = 2ki.
Queda justificado entonces lo siguiente:

Definicin 60 Sea z 6= 0, z = ei . Denotamos por log(z) al conjunto de los logaritmos de z, es decir:
log(z) = {w C : ew = z} = {log() + i( + 2k), k Z}
Ntese que lo anterior no define una funcin, ya que existen infinitos logaritmos para
un complejo z. Se dice a veces que log(z) es una funcin multiforme aunque en rigor
no es una funcin.
Para definir una funcin, hace falta elegir uno de los logaritmos, lo que equivale a elegir
uno de los argumentos de z. Si se elige el argumento principal, se define la funcin
logaritmo principal:
Definicin 61 z 6= 0. La funcin log(z) = log |z| + iarg(z) se llama logaritmo principal de z.
Si z es real positivo entonces z = x + 0i log(z) = log(x) pues |z| = x y
arg(z) = 0. Lo cual muestra que el logaritmo principal complejo extiende la definicin del logaritmo real al campo complejo.
1.7.
Seno y coseno complejo
Definicin 62 Definimos la funcin seno, coseno y tangente compleja como:

cos(z) =
eiz + eiz
2
sen(z) =
eiz eiz
2i
tan(z) =
sen(z)
eiz eiz
=
cos(z)
i(eiz + eiz )
Estas definiciones extienden las frmulas de Euler al campo complejo. Es fcil observar que las funciones trigonomtricas complejas cuando z es real coinciden con las
trigonomtricas reales y adems el seno y coseno complejo son peridicas de perodo
2 y la tangente es peridica de perodo .
30
Al obtener frmulas para las funciones trigonomtricas en notacin binmica, aparecen las funciones hiperblicas reales. Las repasaremos brevemente.
senh(x) =
ex ex
2
ex + ex
2
ex ex
senh(x)
= x
tanh(x) =
cosh(x)
e + ex
cosh(x) =
(seno, coseno y tangente hiperblicas respectivamente). Tales funciones son representadas en la Figura 1.12: Se cumple que cosh(x)2 senh(x)2 = 1
f (x) = cosh(x)
f (x)
f (x) = senh(x)
1
x
f (x) = tanh(x)
Figura 1.12: Representacin grfica de las funciones cosh(x), senh(x) y tanh(x).
La siguiente proposicin da una frmula cmoda para las funciones trigonomtricas complejas.
Proposicin 63 Sea z = a + ib, entonces tenemos:
1. cos(z) = cos(a) cosh(b) isen(a)senh(b)
2. sen(z) = sen(a) cosh(b) + i cos(a)senh(b)
1.7. Seno y coseno complejo

3. tan(z) =
31
tan(a)+i tanh(b)
1i tan(a) tan(b)
Demostracin. 2 cos(z) = eiz +eiz = eb (cos(a)+isen(a))+eb (cos(a)isen(a)) =

cos(a)(eb + eb ) + isen(a)(eb eb ) = 2 cos(a) cosh(b) 2isen(a)senh(b)
Anlogamente se demuestran las otras igualdades.

Ejercicios. Probar las siguientes identidades:
1. sen(z)2 + cos(z)2 = 1
2. sen(z + w) = sen(z) cos(w) + cos(z)sen(w)
3. cos(z + w) = cos(z) cos(w) sen(z)sen(w)
4. sen(2z) = 2sen(z) cos(z)
5. cos(2z) = cos(z)2 sen(z)2

|sen(z)|2 = sen(a)2 + senh(b)2
6. si z = a + ib
| cos(z)|2 = cos(a)2 + senh(b)2
de donde se deduce que |sen(z)| y | cos(z)| no son acotados.
32
Captulo 2
Sucesiones y series
2.1.
Introduccin
Los temas cubiertos en este captulo corresponden en su mayor parte a los cursos
de secundaria. El objetivo de lo que sigue es ofrecer un breve repaso de algunos puntos
y complementar con ms profundidad otros.
En este sentido, el estudio de lmites de sucesiones, en lo referente al clculo de lmites, es tratado en forma breve y a modo de repaso de prerrequisitos. El desarrollo
no es, por lo tanto, una fuente adecuada para quien no conozca nada del tema. Nos
remitimos para ello a la bibliografa.
Nos detendremos con ms detalle en otros aspectos (subsucesiones, sucesiones de
Cauchy, series) donde se dar un enfoque ms autocontenido.
2.2.
Sucesiones
2.2.1.
Sucesiones y lmites en R
Definicin 64 Sea a R, y r > 0. Llamamos entorno de centro a y radio r al

conjunto
E(a, r) = {x R : |x a| < r} = (a r, a + r)
. Llamamos entorno reducido de centro a y radio r al conjunto
E 0 (a, r) = E(a, r) {a} = (a r, a) (a, a + r).
Definicin 65 Una sucesin real es una funcin de N (naturales) en R. Se denota
(an )nN a la sucesin a : N R tal que an = a(n), n N.
33
34
Captulo 2. Sucesiones y series
Observacin 66
1. La definicin responde a la idea de un ordenamiento infinito de nmeros reales,
uno por cada natural.
2. La sucesin no puede ser sobreyectiva, es decir que no es posible recorrer los
reales con una sucesin. Se dice que R es un conjunto no numerable.
No entraremos en detalle sobre esto aunque es conveniente que el lector recuerde
que los nmeros reales son muchos ms que los naturales y los racionales
(estos tambin forman un conjunto numerable). El lector interesado puede ver
en [2], Seccin 2.11.
Ejemplo 67 an = 0, n
Ejemplo 68 an = (1)n
Ejemplo 69 an = 2n(1)
Ejemplo 70 an = 1
Ejemplo 71 an =
nn
n!
1
n
(n! = 1 2 . . . n)
an +
an
Ejemplo 72 Sucesin definida por recurrencia: a0 = 1, an+1 =
, n 0,
2
(b R, b > 0). En este caso, por induccin queda bien definido an para cada n N,
pero no tenemos una frmula explcita.
Definicin 73 Lmite de una sucesin

Sea L R.
lm an = L > 0 n0 : n n0 , |an L| <
n+
E(L, ), n0 : n n0 , an E(L, ).
Es decir, la sucesin (an )nN tiene lmite L si fijado cualquier entorno de L la sucesin
permanece en l a partir de cierto ndice. En los ejemplos anteriores, las sucesiones de
los ejemplos 67 y 70 tienen lmite 0 y 1 respectivamente, como es fcil de verificar. En
la sucesin del Ejemplo 68, los trminos pares valen 1 y los impares -1. Para cualquier
L, eligiendo < 1 la sucesin no permanece en E(L, ) a partir de algn n0 . Por lo
tanto, la sucesin del Ejemplo 68 no tiene lmite. Algo similar ocurre en el Ejemplo 69.
Los ejemplos 71 y 72 sern estudiados ms adelante.
Proposicin 74 (Unicidad del lmite)
Si existe lm an , entonces es nico.
n+
2.2. Sucesiones
35
0
|
Demostracin. Si existen dos lmites L 6= L0 , eligiendo = |LL
obtenemos dos
2
entornos E(L, ) y E(L0 , ) que son disjuntos: E(L, ) E(L0 , ) = .
Pero n n0 , an E(L, ), y n n1 , an E(L0 , ).
Entonces n max{n0 , n1 }, an E(L, ) E(L0 , ), lo que es absurdo.
Definicin 75 (an )nN es acotada si y solo si k : |an | k, n N.

Proposicin 76 Si (an )nN tiene lmite L, est acotada.
Demostracin. Elegido > 0 cualquiera, n0 : n n0 , an E(L, ).
Entonces, n n0 , L < an < L + de donde |an | |L| + .
Tomando K = max{|a0 |, |a1 |, . . . , |an0 1 |, |L|+}, se cumple que |an | K, n N.
Observacin 1 El recproco de la Proposicin 76 no es cierto, como lo muestra el

Ejemplo 68 an = (1)n , que es una sucesin acotada que no tiene lmite. Se ver una
versin ms dbil del recproco en la Seccin 2.2.4.
Definicin 77 (Lmites infinitos)
lm an = + K R, n0 : n n0 , an K,
lm an = K R, n0 : n n0 , an K.
Es decir que una sucesin tiende a + () si fijada cualquier barrera, la sucesin termina permaneciendo encima (debajo) de la barrera.
Ejemplo 78 an = n, n, verifica que lm an = +.
n+
Observaciones y notaciones 1
1. Diremos que una sucesin converge si tiene lmite finito, que diverge si tiene
lmite infinito, y que oscila en caso de no tener lmite.
2. Las siguientes notaciones son equivalentes:
n
lm an = L; an L; an
L.
n+
(la notacin anloga se aplica para lmites infinitos).

Ejercicio 79 Probar que si an bn , lm an = A, lm bn = B, entonces A B.
n+
n+
Ejercicio 80 Probar que si an bn , an

+ entonces bn
+. Aplicarlo al
Ejemplo 71.
36
2.2.2.
Sucesiones montonas
Definicin 81 (an )nN se dice montona creciente (decreciente) si y solo si

an ()an+1 , n N.
Notacin 82 (an ) % [(an ) &] indica (an ) montona creciente (decreciente).
Teorema 1 Sea (an )nN montona creciente.
1. Si (an )nN es acotada superiormente (an K, n), entonces converge.
2. Si (an )nN no est acotada superiormente, entonces diverge a +.
Demostracin.
1. Sea L = sup{an : n N}, an L, n. Dado > 0, n0 : an0 > L (de otro
modo no sera extremo superior). Como an es creciente, an > L , n n0 ,
por lo que an E(L, ), n n0 .
L
a1
a2
an0 an0 +1 L
a3
(an )%
2. Si an no es acotada superiormente, K n0 : an0 K an K, n

n0 .
Nota 83 Anlogamente, las sucesiones decrecientes convergen o divergen a segn estn o no acotadas inferiormente.
Ejemplo 84 Sean an = (1 + n1 )n , bn = 1 +
1
Como bn+1 = bn + (n+1)!
bn , (bn ) %.
1
1!
1
2!
+ ... +
n
1
.
n!
1
Adems, bn 1 + 1 + 21 + 212 + . . . + 2n1
= 1 + 1(1/2)
< 3.
11/2
Por lo tanto, bn es acotada superiormente y converge. Al lmite se lo llama nmero e.
Para estudiar (an ), desarrollemos por el binomio de Newton. Recordamos la frmula:

n
X
n
(a + b) =
ank bk ,
k
n
k=0
2.2. Sucesiones

donde
37
n!
.
(n k)!k!

n
1
1 n (n 1) 1
n (n 1) . . . 1 1
an = 1 +
=1+n +
+ ... +
2
n
n
2!
n
n!
nn

1
1
1
2
1
1
+
1
1
+ ...
=1 + 1 +
2!
n
3!
n
n

1
1
2
n1
+
1
1
... 1
n!
n
n
n
n
k
Hemos escrito an como suma de trminos positivos. Cada sumando crece con n, y
adems el nmero de sumandos crece con n. Luego an es creciente. Adems, claramente an bn e, por lo que (an ) converge, y lm an e.
n+
En la seccin siguiente veremos que lm an = e.

n+
Definicin 85 Las sucesiones (an )nN y (bn )nN forman un par de sucesiones montonas convergentes (PSMC) si y solo si:
(1) (an ) %; (bn ) &.
(2) an bn , n N.
(3) > 0 n0 : bn0 an0 < .
Proposicin 86 Si (an )nN y (bn )nN forman un PSMC, entonces convergen al mismo
lmite.
Demostracin. Probemos primeramente que an bm m, n N. De hecho, si
n m : an bn bm . En caso contrario, cuando n < m, an am bm .
Luego, (an ) est acotada superiormente, y por hiptesis, (an ) %. Estamos en las
n
condiciones del Teorema 1, por lo que an
L. Dado que (bn ) & y est acotada
n
inferiormente, bn
L0 . Se deduce adems fcilmente que L L0 .
Si L 6= L0 entonces an L < L0 bn , n N, lo que contradice (3) tomando
= L0 L.
Ejemplo 87 (Sucesin de intervalos cerrados encajados)

Sean In = [an , bn ] intervalos tales que I0 I1 I2 . . . In In+1 . . . y adems
n
long(In ) = bn an
0. Entonces las sucesiones (an )nN y (bT
n )nN forman un PSMC
de lmite comn L. Como an L bn , L In , n L =
n=1 In .
38
2.2.3.
Propiedades algebraicas de lmites
Teorema 2 Si lm an = A y lm bn = B, entonces:
n+
(1)
(2)
(3)
(4)
n+
lm (an + bn ) = A + B
n+
lm (an bn ) = A B
n+
lm (an bn ) = AB
n+
lm (an /bn ) = A/B, si B 6= 0.
n+
Demostracin.
(1) |A + B (an + bn )| |A an | + |B bn |.
Fijado > 0 podemos obtener n0 : n n0 , |A an | < /2, |B bn | < /2 y
entonces |A + B (an + bn )| < .
(2) Es anlogo a (1).
(3) |AB an bn | = |AB Abn + Abn an bn | |A||B bn | + |bn ||A an |.
Como bn converge, es acotada, por lo que la ltima expresin puede acotarse por
K(|B bn | + |A an |).
La prueba termina en forma similar a (1).
(4) Se deduce de (3) si se prueba que lm 1/bn = 1/B:
n+

1
1 = |B bn | .
B bn
|B||bn |
Puesto que bn B, se puede obtener n0 : n n0 , |bn | |B|/2. Luego:

1

1
2 |B bn |, n n0 ,
B bn |B|2
de donde se sigue como en casos anteriores.
n
Ejercicio 88 Si (an )nN es acotada y bn

0, probar que an bn
0.
El teorema anterior cubre el caso de lmite finito. Las siguientes tablas extienden lo
anterior para incluir lmites infinitos. En ellas se supone que lm an = , lm bn =
n+
n+
, donde y pueden ser finitos, + o , y se da el lmite de an + bn , an bn .

Los casos an bn y an /bn son similares y se deducen de all. Para el cociente, si
2.2. Sucesiones
39
Cuadro 2.1: Lmite de una suma de sucesiones, en funcin de (columna) y (fila).

|
B
+
A
A+B
Cuadro 2.2: Lmite del producto de sucesiones, en funcin de (columna) y (fila).

|
0 B 6= 0 +
0
A 6= 0
AB
[A]
[A]
[B]
[B]
bn es fcil ver que 1/bn

0. Omitimos la demostracin, que no ofrece nuevas
dificultades.
El smbolo [A] denota infinito, con el signo de A. Los casos indicados con ? son
llamados lmites indeterminados; no existe aqu una regla general para el resultado,
que puede dar, segn el caso, alguna de las alternativas o incluso no existir lmite.
Los ejemplos que siguen muestran, entre otros, algunos casos importantes en que
se resuelve la indeterminacin.
Ejemplo 89 Volviendo al Ejemplo 84, se prob que an bn , y ambas tienen lmite,
siendo lm bn = e, lm an = A e. Sea p fijo.
). Si tomamos lmites
Si n p, an 1 + 1 + 2!1 (1 n1 ) + . . . + p!1 (1 n1 ) . . . (1 p1
n
en ambos lados, deducimos que lm an bp .
n+
(los factores que multiplican a cada sumando tienden a 1.)

Si A = lm an , bp A lm bp A e A A = e. Ambas sucesiones
n+
p+
tienen, por lo tanto, el mismo lmite e.

n
, b > 0,
Ejemplo 90 Volvemos a la sucesin definida por recurrencia: an+1 = an +b/a
2
del Ejemplo 6, con a0 = 1). Suponiendo que la sucesin tiene lmite L 6= 0,
se deduce
del Teorema 2 que: L = L+b/L
, y despejando se tiene que L2 = b, o L = b. Como
2
a1> 0, b > 0, se deduce por induccin que an > 0, n, lo que descarta el lmite
b. Tambin se puede descartar un posible lmite
0.
Lo anterior prueba que si existe lmite, debe ser L = b. Para verificar que la sucesin
tiene lmite, hace falta un mtodo indirecto. Por ejemplo, estudiamos monotona po-
40

y
f (x)
Figura 2.1: Figura del Ejemplo 90

, y estudiamos el crecimiento de f . La grniendo an+1 = f (an ), donde f (x) = x+b/x
2
fica de f tiene la forma de la Figura 2.1, de donde deducimos que an b, b > 0.
Como en x b
se cumple f (x) x (verificarlo), (an ) & y an b, por lo que
an converge, y an b.
La recurrencia anterior es un mtodo til para el clculo de una raz cuadrada.
n
Ejemplo 91 an = an , con a > 1 (es un lmite indeterminado). Poniendo a = 1 +

h, h > 0 y desarrollando el binomio, se tiene para n 2:
1 + nh + n(n1)
h2
(1 + h)n
n1 2
2
an =
h.
n
n
2
Como n1
h2 +, entonces lm an = +.
2
an
n
n+
Anlogamente, lm
n+
= +, para > 0 cualquiera.
xn
Ejemplo 92 an = (xan ) , donde a > 1, siendo (xn )nN una sucesin que tiende a
+. Sea in la parte entera de xn , es decir el entero tal que in xn < in + 1.
an =
ax n
ai n
1 ain +1
=
= bn .
(xn )
(in + 1)
a (in + 1)
i
Dado K R, i0 : i i0 , ia > Ka (porque ia

+)
Como in +, n0 : n n0 , in + 1 i0 bn > K.
Por lo tanto bn +, y lm an = +.
n+
2.2. Sucesiones
41
Ejemplo 93 an = (log(n))
, > 0, > 0 (log: logaritmo en base e). Es otro caso
n
n
indeterminado, pues log(n)
+. Sea xn = log(n) n = exn :
(log(n))
(xn )
=
=
n
(exn )
1
(e )xn
0,
(xn )
ya que por el Ejemplo 13, el denominador tiende a infinito.

n
Ejemplo 94 an = an! , a > 1

an+1 n!
= (n+1)!
=
Calculamos an+1
an
an
n
a
n+1
n n0 ,
n n0 , an
1
an+1
<
an
2
an0 n
n
0 an
0.
nn
0
2
Ejemplo 95 Lmites de potencias (an )bn , an > 0.

Se resuelven en general poniendo (an )bn = ebn log(an ) , y resolviendo lm (bn log(an )).
n+
Se utiliza adems que si:

n
c ean
ec ;
an
n
an
+ ean
+;
n
an
ean
0.
Por ejemplo:
1
1
n
n
1, ya que
n = n n = e n log(n)
log(n) n
0.
n
n
Ejemplo 96 Si an
a entonces an
a (con an 0).
Si a = 0, se prueba directamente por definicin de lmite.
Si a > 0, n n0 , an > a/4, y como consecuencia:
|an a|
|a a| n
3n
0.
| an a| =
an + a
a
2
Definicin 97 Dos sucesiones an y bn , ambas con lmite (o ambas con lmite 0) se
dicen equivalentes si y solo si lm abnn = 1.
n+
Ejemplo 98 n4 + 3n + 1 n4 . En efecto, n +3n+1

= 1 + n33 + n14
1.
n4
n
En general, un polinomio en n (o en an , con an
+) es equivalente a su trmino
n
de mayor grado. Un polinomio en an , con an
0, es equivalente al trmino de menor
grado.
42

n
Ejemplo 99 Si an
0, mencionamos sin demostracin los siguientes equivalentes:
ean 1 an ; log(1 + an ) an ; sin(an ) an ; 1 cos(an )
a2n
.
2
La sustitucin por equivalentes es un mtodo til para el clculo de lmites. La

nica precaucin es que no es vlida la sustitucin cuando se tiene la diferencia de 2
equivalentes.
No entramos en detalles sobre este punto, que puede verse en el siguiente captulo,
para el caso de funciones. Veamos en su lugar algunos ejemplos.
Ejemplo 100
lm n[log(n + 1) log(n)] = 1, ya que
n+
log(n + 1) log(n) = log(1 +

Ejemplo 101
1
1
) .
n
n
lm n2 sin( n1 ) = +.
n+
Ejemplo 102
lm n[n
n+
ya que
n2 1] = lm n
n+
[n2 (n2 1)]

n
1
= lm
= ,
2
2
n+
2
n+ n 1
n+ n 1
n2 1 n.
Obsrvese que no es vlido sustituir n2 1 por n en la expresin inicial (lo que

llevara incorrectamente a lmite 0), por tratarse de diferencia de dos equivalentes.
2.2.4.
Subsucesiones
Definicin 103 Sea (an )nN una sucesin, y (nk )kN una sucesin de nmeros naturales que tiende a infinito. La sucesin (ank )kN es una subsucesin de (an ).
Observacin 104 Intuitivamente, una subsucesin equivale a elegir algunos (infinitos) trminos de la sucesin original.
En lenguaje formal, la sucesin (ank )kN es la funcin de N en R que resulta de componer las sucesiones (an ) y (nk ).
Ejemplo 105 La sucesin del Ejemplo 68, an = (1)n , no tiene lmite.
Sin embargo, las subsucesiones a2k = 1 y a2k+1 = 1 son convergentes.
n
En el Ejemplo 69, an = 2n(1) , lm a2k = +; lm a2k+1 = 0.
k+
Teorema 3
k+
lm an = L lm ank = L para toda subsucesin (ank ).
n+
k+
2.2. Sucesiones
43
Demostracin. Dado > 0, n0 : n n0 , |L an | < .

k
Como nk
+, k0 : k k0 , nk n0 .
k k0 , |L ank | < .
Como conclusin del Teorema 3 y del Ejemplo 105, si la sucesin original tiene
lmite, sus subsucesiones lo heredan. Pero algunas subsucesiones pueden converger
aunque no lo haga la solucin original.
Se coment en la Seccin 2.1 que las sucesiones acotadas pueden no converger. Sin
embargo, resulta intuitivo que en un intervalo acotado no hay espacio para que todos
los elementos de la sucesin estn separados entre s. Parecera que algunos (una
subsucesin) deberan acumularse y converger.
Formalizamos las ideas anteriores a continuacin.
Definicin 106 (Punto de acumulacin)
Sea A R un conjunto, y a R. Decimos que a es un punto de acumulacin de A si
y solo si:
> 0, E 0 (a, ) A 6=
(todo entorno reducido de a tiene puntos de A)
Ejemplo 107 A = (a, b). Todos los puntos de [a, b] son de acumulacin de A.
Ejemplo 108 A = Q (racionales). Todo real es punto de acumulacin de Q.
Ejemplo 109 A = { n1 , n Z+ }. El nico punto de acumulacin de A es 0.
Ejemplo 110 A = N. A no tiene punto de acumulacin.
Teorema 4 (Bolzano-Weierstrass) Todo conjunto infinito y acotado tiene un punto de
acumulacin.
Demostracin. Sea A un conjunto infinito, A [a, b]. Sea I0 = [a0 , b0 ] = [a, b].
Consideramos su punto medio a+b
. Por ser A infinito, al menos uno de los semi2
a+b
intervalos [a, a+b
]
y
[
,
b]
tiene
infinitos
puntos de A. Definimos I1 = [a1 , b1 ] como
2
2
ese intervalo. Repetimos este procedimiento por induccin, definiendo una sucesin de
intervalos In = [an , bn ] que son encajados (In+1 In ) y su longitud (ba)2n tiende a
0. Adems, cada In tiene infinitos puntos de A. T
La Figura 2.2 ilustra el procedimiento
de biparticin. Por el Ejemplo 87 tenemos que +
n=1 In = {L}. Veremos que L es un
punto de acumulacin de A.
Dado > 0, elegimos n : (b a)2n < . Como L In , In E(L, ). Finalmente,
puesto que In tiene infinitos puntos de A, hay (infinitos) puntos de A en E 0 (L, ).
44

I0
I1
a0
a0 +b0
2
b0
I3
I2
Figura 2.2: Procedimiento de biparticin

In
L+
Volvemos a las sucesiones, y deducimos un corolario del teorema, que ser de

utilidad en desarrollos posteriores.
Teorema 5 Toda sucesin acotada tiene una subsucesin convergente.
Demostracin. Sea A = {an , n N} el recorrido de la sucesin. A es acotado. Si
A es finito, debe existir un punto de A por donde la sucesin pasa infinitas veces.
En otras palabras, existe x A tal que el conjunto {n N : an = x} es infinito.
Ordenando en forma creciente los naturales de ese conjunto se obtiene una subsucesin
constante (de valor x), que converge a x.
En caso contrario A es infinito, y por el Teorema 4 obtenemos un punto de acumulacin

L. Como en cada E(L, ) hay infinitos puntos de A, es posible elegir ank E 0 L, k1 ,
con nk+1 > nk . De esta forma, hemos construido una subsucesin (ank )kN de (an )nN
que converge a L.
2.2.5.
Sucesiones de Cauchy y convergencia
Si se quiere probar la convergencia de una sucesin por medio de la definicin de

lmite, hace falta conocer a priori el valor del lmite.
El criterio de Cauchy, que desarrollamos a continuacin, permite dar una condicin de
convergencia en trminos de la sucesin exclusivamente.
2.2. Sucesiones
45
Definicin 111 Una sucesin (an )nN es de Cauchy si y solo si

> 0, n0 : n, m n0 , |an am | < .
Teorema 6 (an )nN convergente (an )nN es de Cauchy.
Demostracin. Sea lm an = L. Dado > 0, elegimos n0 : n n0 , |an L| <
n+
/2.
Si n n0 , |an L| < /2. Si m n0 tambin tenemos que |am L| < /2.
Entonces |an am | = |an L + (L am )| |an L| + |am L| < /2 + /2 = .
Ejemplo 112 La sucesin an = (1 + n1 )n es de Cauchy.

Para una sucesin real, vale el recproco del Teorema 6.
Teorema 7 (an )nN es de Cauchy (an )nN converge.
Demostracin.
1) Veamos que (an )nN es acotada. En efecto, tomando por ejemplo = 1, tenemos
que
n0 : n, m n0 , |an am | < 1.
n n0 , |an an0 | < 1 (an )nN E(an0 , 1).
Como el conjunto {a0 , a1 , . . . , an0 1 } es finito, (an )nN es acotada.
k
2) Por el Teorema 5, (an )nN tiene una subsucesin convergente: (ank ) : ank
L.
3) Veamos que lm an = L.
n+
Sea > 0. Elijamos n0 : m, n n0 , |an am | < /2 y nk0 : nk nk0 :

|ank L| < /2. Sea n1 = max{n0 , nk0 }.
|an L| = |(an ank0 + (ank0 L)| |an ank0 | + |ank0 L| <
para todo n n1 .
46
Notas 1 Para sucesiones reales, los conceptos de convergencia y sucesin de Cauchy

son equivalentes; el criterio de Cauchy puede servir para probar convergencia de una
sucesin sin conocer el lmite. Sin embargo, corresponde sealar que las sucesiones
pueden definirse en otros contextos donde no siempre es vlida esta equivalencia.
Por ejemplo, si consideramos sucesiones en Q (racionales), los conceptos de lmite,
etc, pueden definirse sin problemas. La sucesin an = n1
es, por ejemplo, convern
gente y de Cauchy. Sin embargo, la sucesin an = (1 + n1 )n , que es de Cauchy, como
se dijo, no es convergente en Q, ya que e
/ Q. El conjunto de los racionales es incompleto, ya que le faltan lmites de algunas sucesiones de Cauchy.
El conjunto de los reales es, en este sentido, completo. Todas las sucesiones de Cauchy
convergen.
2.2.6.
Sucesiones complejas
Definicin 113 Una sucesin en C es una funcin de N en C.

; zn = 1 + 2ni son ejemplos de sucesiones
Las sucesiones zn = (i)n ; zn = 1+i
n
complejas. La definicin de lmite es idntica al caso real, donde ahora |.| denota el
mdulo complejo.
Definicin 114 Sea (zn )nN sucesin en C.
lm zn = z > 0, n0 : n n0 , |zn z| < .
n+
Tanto para estudiar la existencia de lmites como para calcularlos, es til el siguiente
resultado, que reduce el problema a sucesiones reales.
Proposicin 115 Si zn = an + ibn son los trminos de una sucesin (zn )nN en C y
z = a + ib, entonces:
n
n
n
zn
z an
a, bn
b.
Demostracin.
n
() |an a| |zn z|, por lo que an

a por la definicin de lmite.
El caso de bn es anlogo.
() Si an a y bn b, por las propiedades ya vistas de lmites deducimos que
n
n
|zn z|
0. Por la Definicin 114, esto equivale a que zn
z.
Ejemplo 116 zn = 1 + (1)n i no converge pues no lo hace la parte imaginaria.
2.3. Series
47
Pueden extenderse en forma idntica los conceptos de subsucesiones, sucesiones

de Cauchy, y los teoremas correspondientes. No nos extendemos en ellos porque los
resultados son un caso particular de sucesiones en Rn , que se vern en cursos posteriores.
Ejercicio 117 Hallar cuatro subsucesiones convergentes de zn = (i)n .
2.3.
Series
En numerosos problemas aparece con naturalidad la suma de infinitos nmeros

reales, a0 + a1 + . . . + an + . . .. Para dar una definicin razonable de esta suma, un
procedimiento natural es cortar la suma anterior en un nmero finito de trminos
a0 + . . . + an y ver si estas sumas finitas se aproximan a algn valor (si tienen lmite)
al crecer n.
Definicin 118 Dada (an )nN sucesin real o compleja, se llama serie de trmino
P
general an (notacin +
n=0 an ) a la sucesin (sn )nN , donde sn = a0 + . . . + an . A
cada sn le llamamos reducida n-sima de la serie.
La serie se dice convergente, divergente u oscilante segn lo sea la sucesin (sn )nN .
En el caso de convergencia, S = lm sn se llama suma de la serie, y se escribe
n+
P+
S = n=0 an .
P+ n
Ejemplo 119
n=0 q , donde |q| < 1, q C (serie geomtrica)
sn = 1 + q + q 2 + + q n =
Es fcil verificar que
q n+1 n
1q
0, ya que |q| < 1. Entonces

lm sn =
n+
Por lo tanto
2.3.1.
P+
n=0
1 q n+1
1
q n+1
=
1q
1q 1q
q n converge y suma
1
.
1q
1
1q
Series telescpicas
Supongamos que tenemos una sucesin (bn )nN tal que an = bn+1 bn , n N.
Entonces
sn = b1 b0 + b2 b1 + b3 b2 + + bn+1 bn = bn+1 b0
P
y deducimos que an converge (bn ) converge, y en ese caso la suma vale L b0 ,
siendo L = lm bn
n+
48
Ejemplo 120 a) Sea

caso bn = n1 .
P+
1
n=1 n(n+1) .
De modo que an =
s n = a1 + + an = 1
n+1
b)
P+
n=1
log 1 +
1
n
1
n(n+1)
lm sn = 1
+
X
n+
n=1
1
n
1
.
n+1
En este
1
=1
n(n + 1)
. Escribimos

1
n+1
log 1 +
= log
= log(n + 1) log(n)
n
n
De donde sn = log(n + 1) log(1) = log(n + 1) +.
n
+
X

1
log 1 +
diverge a +
n
n=1
P+ 1
Ejemplo 121
n=1 n (Llamada serie armnica).
Veremos que esta serie diverge a +. Para eso, si graficamos f (x) = log(1 + x)
vemos que se cumple que log(1 + x) x. por lo tanto
f (x) = x
f (x) = log(1 + x)
2.3. Series
49

1
log 1 +
n
sn =
n
X
1
i=1
Ejemplo 122
serie oscila.
P+
n
n=0 (1) .
n
X
i=1
1
n

1
log 1 +
= log(n + 1)
i
La sucesin sn es (1, 0, 1, 0, 1, 0, . . . ) que oscila. la
Proposicin 123 (Condicin necesaria de convergencia)

X
an converge lm an = 0
n+
Demostracin. an = sn sn1 , n 1. Si lm sn = S
n+
lm an = S S = 0
n+
Ejemplo 124
e n no converge ya que lmn+ e n = 1
Es importante sealar
que la condicin no es suficiente (lm an = 0 no alcanza
P
para asegurar que
an converge). Un ejemplo de este hecho es la serie armnica
(Ejemplo 121) que diverge, pero su trmino general n1 tiene lmite 0.
Propiedad 125
u oscilante).
Propiedad 126
P+
n=0 an y
P+
n=p
an son de la misma clase (convergente, divergente
,
P nmeros
P
an y
bn convergen
P
(an + bn ) converge
Propiedad 127 (Condicin de Cauchy)

X
n=m+p
X

an converge dado > 0, n0 : m n0 , p 1,
an <

n=m+1
Propiedad 128
zn serie compleja, xn = Re(zn ), yn = Im(zn )

X
X
X
zn converge
xn y
yn convergen.
50
Propiedad 129 (Propiedad asociativa).

Si en la serie convergente a0 + a1 + + an + . . . se asocian trminos consecutivos
de la forma (a0 + a1 + + an0 ) + (an0 +1 + + an1 ) + ( + an2 ) + . . .
la nueva serie converge a la misma suma.
Para esto basta observar que si sn son las reducidas de la serie original, las reducidas de la nueva serie son sn0 , sn1 , . . . , una subsucesin de (sn ), y por tanto converge
al mismo lmite.
El mismo argumento sirve para demostrar que si la original diverge a + (o ),
tambin lo hace la nueva serie.
En virtud de la Propiedad 128, nos restringiremos de aqu en adelante, salvo indicacin expresa en contrario, a series reales.
2.3.2.
Series de trminos no negativos
P
Se considera la serie an , donde an 0, n.
Una consecuencia inmediata es que en este caso la sucesin sn = a0 + a1 + + an
es montona creciente, y por tanto, converge o diverge a + segn est o no acotada
superiormente (Teorema 1) (no hay otra posibilidad).
Proposicin 130 Si 0 an bn , n p, entonces:
P+
P+
bn converge
1. Si n=0
n=0 an converge
P+
P+
an diverge
2. Si n=0
n=0 bn diverge
Demostracin. Sean An = a0 + + an , Bn = b0 + + bn .
Entonces An Ap Bn Bp , n > p.
1. Si Bn converge Bn acotada superiormente An acotada superiormente
An converge
2. Si An + Bn +
P+ log(n)
diverge a + ya que
Ejemplo 131
n=1
n
log(n)
n
n1 , n 3
Teorema 8 an 0, bn 0
an
n+ bn
=k>0
an
n+ bn
= 0,
1. Si lm
2. Si lm
an y
bn converge
bn son de la misma clase

P
an converge
2.3. Series
51
Demostracin.
1. Como lm abnn = k, n0 / n n0 , k2 abnn 3k
b k an 3k
b
2 (b 0) n 2
2 n
n+
n
(i)
(ii)
P
Si
P bn converge, la desigualdad (ii) y el criterio de comparacin implican que
an converge.
P
Si
P bn diverge, la desigualdad (i) y el criterio de comparacin implican que
an diverge.
Como no hay otra posibilidad, son de la misma clase.
2.
lm an
n+ bn
= 0 k > 0n0 : n n0 ,
an
bn
k. El resto sigue como en 1.
Como consecuencia del teorema, a los efectos de determinar la convergencia o no

de una serie, se puede sustituir el trmino general an por un equivalente. Por este
motivo, en general es ms sencillo decidir si converge o no (clasificar la serie) que
hallar su suma en caso de convergencia.
Ejemplo 132
1
n2
Ejemplo 133
sin( n1 ) diverge
Ejemplo 134
converge, ya que
1
n(n+10)
1
n2
1
n(n+1)
diverge
P 1
Ejemplo 135 Estudiamos
, donde R.
n
P
P1
1
Ya sabemos que
diverge,
converge.
n
n2
Si 2,
1
n
1
n2
Si 1,
1
n
1
n
P 1
y por lo tanto
converge por comparacin
n
P 1
y por lo tanto
diverge por comparacin
n
C
1
Nos falta clasificar para (1, 2). Como para (1, 2) se cumple que n12 <
1
< n1 , no es posible realizar una comparacin. El siguiente criterio permitir hacer
n
la clasificacin.
52
Teorema 9 (Criterio del 2k )

an 0, an & (montona decreciente). Entonces:
+
X
an es de la misma clase que
n=0
+
X
2k a2k
k=0
P2k+1 1
k
a
n = a2k + a2k +1 + + a2k+1 1 tiene 2 sumandos, y como
a2k
(an ) &, cada sumando es
a2(k+1)
Deducimos que
2(k+1)
X1
k
2 a2(k+1)
an 2k a2k
Demostracin.
n=2k
n=2k
Observemos que 2k a2(k+1) = 12 2k+1 a2(k+1) . Sumando en k = 0, . . . , k0 tenemos:

(k +1)
0
k0 +1
k0
2 X
1
X
1X
k
2 a2k
an
2k a2k
2 k=1
n=1
k=0
P
sn a la reducida n-sima de P2k a2k
An a la reducida n-sima de
an
Si llamamos:
hemos probado:
1
(sk +1 s0 ) A2(k0 +1) 1 a0 sk0
2 0
Estudiando el lmite con k0 +, se prueba el teorema.
Ejemplo 39. (cont.) P

1
para (1, 2). Como
Nos faltaba clasificar
n
decreciente, aplicamos el Teorema 9
k
2 a2k
Si q =
1
21
1
1
= 2 k = k(1) =
(2 )
2
k
, para > 1 se cumple que q < 1
1
n
P+
k=0
es una sucesin montona
k
21
q k converge.
X 1
converge para > 1, y diverge para 1
n
2.3. Series
53
D
2.3.3.
Criterio de la raz y del cociente
Teorema 10 an 0

P
n a k < 1
para n n0 P an converge
n
n a 1
para n n0 an diverge
n
Demostracin. n an k < 1, para n n0 P

an k n , k < 1.
P
an
Por comparacin con la serie geomtrica,
an converge. Si n an 1
diverge, ya que an no tiene lmite 0.
Corolario 136 an 0, lm n an = R
n+

P
Si R < 1 P an converge
Si R > 1
an diverge
Ejemplo 137 an =
(
Ejemplo 138
n3
,
2n
1
n+ 2
an
an converge
n a
n 1
n+
En estos casos el criterio no permite debn = n12 , n bn 1
an = n1 ,
n+
cidir
Teorema 11 an> 0
P
an+1
k<1
a converge
a
n
P n
Si para n n0
an+1
1
an diverge
an
Demostracin. an+1 kan , n n0 an k nn0 an0 =
P
P
Si k < 1, k n converge
=
an converge
an0 n
k
k n0
comparacion
Si an+1
1 an+1 an , n n0 an an0 > 0, n n0
an
diverge (an no tiende a 0)
an
54
an+1
n+ an
Corolario 139 an > 0, lm

Ejemplo 140 an =
lm an+1
n+ an
1
e
n! an+1
, an
nn
<1
Ejemplo 141 an =
=L
P
Si L < 1 P an converge
Si L > 1
an diverge
(n+1)! nn
(n+1)n+1 n!
n
n
n+1
(1+ n1 )
an converge.
1000n an+1
, an
n!
Ejemplo 142 an = n1 , bn =
1000 n
n+1
1
, lm an+1
n2 n+ an
an converge
bn+1
n+ bn
= 1, lm
= 1. El criterio no decide.
Observacin 143 Los criterios anteriores deciden (como se ve en la prueba) en el

caso en que la serie puede compararse con una geomtrica, o casos en que no tiende a
cero. Se trata de series que convergen o divergen fuertemente. Para estudiar series
que no tienen un comportamiento tan claro, es conveniente usar otros criterios, como
el de 2k
Existen otros criterios comparables a este ltimo (por ejemplo, criterios de Raabe).
No entraremos en ellos.
q
P
1
1
n
.
Verificar
que
l
m
=1
Ejemplo 144
n(log(n))
n(log(n))
n+
Por el criterio de 2k :
k
2 a2 k
2.3.4.
2k
1
1
=
=
= k
2 log(2k )
(k log(2))
k (log(2))
C para > 1
D para 1
Series alternadas
Sea an 0, estudiamos la serie
P+
n=0 (1)
an .
Teorema 12 (Criterio de Leibnitz) Si an es montona decreciente y lm an = 0,

n+
P
entonces (1)n an converge, y si S es la suma, |S sn | an+1
Demostracin. sn = a0 a1 + a2 . . . + (1)n an . Si observamos la sucesin
(sn ), vemos que al agregar un trmino par crece; al agregar un impar decrece. Sin
embargo, esta oscilacin gradualmente decrece, por lo que (sn ) tiene aparentemente
lmite. Formalizando:
2.3. Series
55
s1
s3
s4
s2
a0 = s 0
1. La sucesin (s2k ) de trminos pares, es decreciente:

s2k+2 = s2k + (a2k+2 a2k+1 ) s2k
2. La sucesin (s2k+1 ) de trminos impares, es creciente:
s2k+3 = s2k+1 + (a2k+2 a2k+3 ) s2k+1
3. s2k+1 s2k , ya que s2k s2k+1 = a2k+1 0.
n
4. Dado > 0, k0 : s2k0 s2k0 +1 < , porque sn

0.
Por lo tanto, las sucesiones (s2k ) y (s2k+1 ) forman un par de sucesiones montonas
convergentes (PSMC) de lmite comn S. Es fcil deducir de aqu que lm sn = S.
n+
Adems, como s2k+1 S s2k 0 s2k S a2k+1

Anlogamente s2k+1 S s2k+2 0 S s2k+1 a2k+2 .
Entonces, en general es cierto que |S sn | an+1 .
P (1)n
converge, ya que ( n1 ) & 0.

P (1)n P (1)n
,
Ejemplo 146 Idem para
con > 0.
n
n
P
1
1
Ejemplo 147
(1)n n+(1)
n . Sea an = n+(1)n
Una primera tentacin es sustituir an por su equivalente n1 , pero debe tenerse en cuenta que la serie no es de trminos no negativos, condicin en la que se dedujo esa
propiedad. Por otra parte, el criterio de Leibnitz no puede usarse ya que (an ), aunque
tiende a cero, no es monnota:
1
1
1
a2 = ; a3 = ; a4 = .
3
2
5
Ejemplo 145
Para clasificar, tomamos la diferencia de (1)n an con su equivalente
(1)n
:
n
(1)n
(1)n
n(1)n (1)n (n + (1)n )
1
=
=
n
n
n + (1)
n
n(n + (1) )
n(n + (1)n )
(1)n
1
= bn c n
n
n(n + (1)n )
n
Hemos escrito el trmino general
diferencia de dos sucesiones. SaP (1) an como P
bemos por el Ejemplo 145 que
bn converge, y
cP
n es una serie de trminos no
1
, que converge. Entonces
negativos, que puede clasificarse por su equivalente
n2
P
an converge.
(1)n an =
56
Ejercicio 148 Clasificar
2.3.5.
1
(1)n n+(1)
n.
Series de trminos cualesquiera
Se considera
an , donde an R de cualquier signo.
P
Definicin
an es una serie absolutamente convergente (A.C.) si y solo si la
P 149
serie |an | converge.
Teorema 13 Una serie absolutamente convergente es convergente.
P
Demostracin. Sea
an absolutamente convergente. Definimos las sucesiones siguientes a partir de (an ):

an si an 0
+
an =
0 si an < 0.

0
si an 0
an =
an si an < 0.
Luego (a+
n ) y (an ) son sucesiones no negativas, y se cumple:
an = a+
n an
|an | = a+
n + an
Luego 0 a+
donde las series
n |an |, y 0 an |a
Pn |, de
+
por comparacin. Entonces, la serie (an a
n ) converge.
a+
n y
a
n convergen
Ejemplo 150
P sin(n)
converge absolutamente, ya que
Ejemplo 151
P (1)n
converge, pero no es A.C. (pues
n2
sin(n)
n2
1
n
1
.
n2
diverge).
Observacin 152 El Ejemplo 151 muestra que el recproco del Teorema 13 no se

cumple: una serie puede converger pero
Observando
del teoP +no ser
P A.C..
P +la prueba
rema, vemos que esto ocurre cuando an y an divergen y (an an ) converge.

Una serie con esta propiedad (converge pero no es A.C.) se llama condicionalmente
convergente.
2.3. Series
57
El caso complejo
La Definicin 149 se aplica tambin a series de trminos complejos, donde se interpreta |an | como el mdulo complejo. El Teorema 13 se mantiene vlido: para eso
basta observar que si zn = an + ibn es un complejo, an , bn R se cumple |an | |zn |
y |bP
n | |zn |.
P
P
Si
| converge, |an | y |bn | convergen
P |znP
Ppor comparacin y luego (Teorema 13)
an y bn convergen y tambin entonces zn .
P n
Ejemplo 153 Si |z| < 1, z P
C, entonces
n z converge absolutamente. Para
n
probarlo, clasificamos la serie n |z| (de trminos no negativos) por el criterio de
la raz:
p
n
n
n |z n | = ( n n) |z|
|z| < 1,
P
por lo que n |z|n converge.
Ejemplo 154
1
1
[ n+n
4 n2 ].
1
n+(1)n n2 i
es A.C., ya que
1
| n+(1)
n n2 i | =
1
n+n4
converge
P (1)n
Ejemplo 155
, R:
n
por Leibnitz.
Para > 0, n1 & 0 y la serie converge

n
Para 0, la serie no converge (1)

no tiende a 0 .
n
P 1
Para > 1,
converge, y la de estudio es entonces A.C. En la Figura 2.3 se
n
muestra la clasificacin segn R.
No C
C.C
0
AC
1
Figura 2.3: Intervalos de convergencia, de absoluta convergencia, y de no convergencia

Los Ejemplos 153 y 154P
muestran la ventaja del estudio de convergencia absoluta: se puedenPemplear para
|an | todos los mtodos de trminos no negativos. Sin
embargo,
si
|an | diverge no puede decidirse por este medio el comportamiento de
P
an .
2.3.6.
Reordenacin de series
Una propiedad habitual de la suma de un nmero finito de nmeros es la conmutativa: el orden de estos no altera la suma. Es decir, si A = a1 + a2 + . . . + an y :
58
{1, . . . , n} {1, . . . , n} es una permutacin cualquiera de los nmeros {1, . . . , n},

entonces A = a(1) + a(2) + . . . + a(n) .
Intentamos ver si esta propiedad es vlida para una suma de infinitos nmeros (una
serie). Para eso en primer lugar extenderemos el concepto de reordenacin.
P
Definicin 156 SeaP
: N N una funcin biyectiva, y bn = a(n) . La serie bn es
una reordenada de an .
P
La pregunta
es entonces, la siguiente: si an converge, suma S, es cierto lo mismo
P
para
bn ? Como veremos, no siempre es as, sino solo en el caso de convergencia
absoluta. Trabajemos con an R.
P
P
Teorema 14 Si an 0 P
n,
an converge con suma S y
bn es reordenada de la
serie anterior, entonces bn converge, a la misma suma S.
Demostracin. Sean An = a0 + a1 + . . . + an y Bn = b0 + b1 + . . . + bn . An % S por
ser an 0. Como los {bi }i=1,...,n son un nmero finito de los an , existe m = m(n) tal
que {b0 , b1P
, . . . , bn } {a0 , a1 , . . . , am }, por lo que Bn Am S.
0
Entonces
bn (de trminos
P no negativos) converge a cierto valor
P S S (por tener
reducidas acotadas). Pero
an es a su vez una reordenada de
bn , de donde por el
mismo argumento S S 0 . Se concluye entonces que S 0 = S.
P
P
P
Corolario
157 Si
an A.C. con suma S y
bn es reordenada de
an , entonces
P
bn A.C. con suma S.
P
P
Demostracin. Como
|an | converge, su reordenada
por el TeoP + |bn |Pconverge
convergen.
Sea
y
a
rema 14.
Volviendo
a
la
notacin
del
Teorema
12,
a
n
n P
P
P +
+
+
S = an y S = an . Se tiene que S = S S . Pero bn es una reordenada
P
P
P
T eorema 14
+
bn suma S , por lo que bn suma
de a+
n suma S . Anlogamente,
S.
P (1)n
Ejemplo 158 La serie

converge, como ya se vio. Sea S la suma. Tenemos
n
1
1
1
S = 1 + 2 3 4 .... Multiplicando por 21 se tiene que S2 = 12 + 41 16 ....
Es fcil deducir que S2 = 0 21 + 0 + 14 + 0 16 + 0 + 81 ....
Sumando la ltima serie a la original: 32 S = 1 + 0 13 + 12 51 + 0 17 .. de donde
3
S = 1 13 + 21 15 71 + 14 91 ...
2
La ltima serie es una reordenada de la original, como puede probarse con algo de
trabajo. Su suma, sin embargo, es 32 S 6= S (S 6= 0 ya que |S an | an+1 ; en este
caso |S (1)| an+1 ). El anterior es un ejemplo de serie convergente con una
reordenada que no suma lo mismo. No hay contradiccin con el Teorema 14. El hecho
sorprendente, como muestra el siguiente teorema, es que en el caso de convergencia
condicional, se puede ordenar para obtener cualquier suma.
2.3. Series
59
P
Teorema 15 (Riemann) Si C es un real
arbitrario
y
an converge condicionalmenP
te, entonces existe una reordenada de an que suma C.
Demostracin. Sea (pm )mN la sucesin de trminos no negativos
P de (an ), en el orden
que aparecen, y (qk )kN
serie an converge condicioP la de los
P negativos. Como la
1
nalmente, tenemos que pm y qk divergen a + .
P
n
m
k
Adems, como an
0, pm
0 y qk
0. Reordenamos la serie an de la siguiente
forma: ponemos en primer lugar tantos trminos positivos como hagan falta para superar por primera vez
P a C. Es decir: p1 + . . . + pm1 > C y p1 + . . . + pm1 1 C. Esto
es posible porque pm diverge a +.
AgregamosPdespus trminos negativos hasta pasar nuevamente por debajo de C (posible pues qk diverge a ):
(p1 + . . . + pm1 ) (q1 + . . . + qk1 ) < C,
(p1 + . . . + pm1 ) (q1 + . . . + qk1 1 ) C.
Luego agregamos nuevamente positivos:
(p1 + . . . + pm1 ) (q1 + . . . + qk1 ) + (pm1 +1 + . . . + pm2 ) > C,
(p1 + . . . + pm1 ) (q1 + . . . + qk1 ) + (pm1 +1 + . . . + pm2 1 ) C,
P
y se repite el procedimiento. Veremos que la reordenada de an as obtenida converge
a C. Sea (sn ) su reducida. La construccin anterior implica que (an ) crece entre
smj +kj y sm(j+1) +kj , y decrece entre sm(j+1) +kj y sm(j+1) +k(j+1) . Basta probar entonces
j
que smj +kj

C y sm(j+1) +kj
C.
j
Pero |sm(j+1)+kj C| < pmj+1

0, y |smj +kj C| < qkj
0, por lo que sm
C.
Observacin 159 Modificando ligeramente el procedimiento anterior se construyen

ordenadas que divergen a + y .
2.3.7.
Producto de Cauchy de series
Si pensamos
P+ extender
P+la propiedad distributiva del producto respecto a la suma, el
producto ( n=0 an )( n=0 bn ) dara origen a los siguientes sumandos, correspondientes a los productos trmino a trmino. La siguiente matriz contiene todos los productos
posibles de trminos generales an y bn :
P + P
P
P
Se prob, en rigor, que
an y
an divergen. Las series
pm y
qk se obtienen de ellas
eliminando ceros, as que tambin divergen
1
60
a0 b 0 a0 b 1 a0 b 2 . . . a 0 b n . . .
a1 b0 a1 b1 a1 b2 . . . a1 bn . . .
a2 b0 a2 b1 a2 b2 . . . a2 bn . . .
..
..
.
.
an b 0
...
an bn . . .
..
..
.
.
Para obtener una serie con estos trminos, el mtodo de cauchy consiste en agrupar
y sumar los elementos de las diagonales
definiendo cn = a0 bn + a1 bn1 +
P indicadas,
P
. . .+an b0 . Suponiendo que las series
a
y
b
convergen
a A y B respectivamente,
n
n
P
la pregunta que se plantea es si
cn converge a AB. Una vez ms, pueden darse
ejemplos en que lo anterior no se cumple, y solo tendremos esa propiedad en el caso
de convergencia absoluta.
P
P
Teorema
16 Si
an y
bn son A.C. sumando
P A y B respectivamente, y cn =
Pn
a
b
es
el
producto
de
Cauchy,
entonces
cn es A.C. con suma AB.
j=0 j nj
Demostracin. Elegimos un orden para recorrer la tabla de productos, generando una
nueva sucesin (dk )kN , de la siguiente manera: d1 = a0 b0 , d2 = a0 b1 , d3 = a1 b1 ,
d4 = a1 b0 , d5 = a2 b0 , de modo que:
(n+1)2
dk =
k=1
n
X
i=0
ai
n
X
bj .
(2.1)
j=0
Adems,
(n+1)2
X
k=1
|dk | =
n
X
i=0
|ai |
n
X
|bj |.
(2.2)
j=0
P
P
Como P
|an | y |bn | convergen, el segundo miembro de (2.2) est acotado.
P+ Deducimos que |dk | converge.
Volviendo
a
(2.1)
y
tomando
lmite
en
n,
k=1 dk = AB.
P
P
Para obtener la serie
cn a partir de
dk , hace falta reordenar los trminos ai bj , y
luego asociar losPque cumplen i + j = n. El primer paso puede hacerse por el Corolario 157, pues
dk es A.C.. El segundo por la propiedad asociativa (es fcil ver en
este caso que no se pierde la convergencia absoluta).
Captulo 3
Repaso de Funciones de una Variable
3.1.
Introduccin
En forma similar al Captulo 2, tratamos aqu temas que (a excepcin de la Seccin 3.3) corresponden a los cursos de Secundaria. Los conceptos de lmites, continuidad y derivadas se tratan en forma rpida, con nfasis en los conceptos principales y
no en los aspectos de clculo. Por una versin ms completa consultar la bibliografa.
Nos detendremos ms en la continuidad uniforme (Seccin 3.3) y en el desarrollo de
Taylor. En lo que sigue, suponemos conocido el concepto de funcin, dominio, codominio o recorrido, funcin compuesta. Por un repaso de estos conceptos nos referimos
a las notas de Geometra y lgebra Lineal. Trabajamos en este captulo con funciones
de una variable y variables en R (f : D R, D R).
3.2.
Lmites y continuidad
Intuitivamente, el lmite de f (x) con x a es el valor al cual se acerca f (x)

cuando x se acerca a a. Para que esto pueda tener sentido, x debe poder acercarse a a
en puntos del dominio de f . Formalizamos la definicin.
Definicin 160 f : D R, a punto de acumulacin de D, L R.
i) lm f (x) = L > 0, > 0 : 0 6= |x a| < , x D |f (x) L| <
xa
E(L, ), E 0 (a, ) : f (E 0 (a, ) D) E(L, ).
ii) lm f (x) = + K, > 0 : 0 6= |x a| < , x D f (x) > K.

xa
61
62
Captulo 3. Repaso de Funciones de una Variable

f (x)
f (a) +
f (a)
f (a)
a
2 1
= mn(1 , 2 )
Nota 161
i) Si a D, el valor de la funcin en a no interviene en la definicin de lmite

(interesa lo que ocurre al acercarse a a).
ii) En forma similar se definen lmxa f (x) = , lmx+ f (x) = L, lmx f (x) =
+, etc. Por ejemplo, si f : [b, +) R, lmx+ f (x) = L >
0, M > b : x > M |f (x) L| <
El siguiente teorema permite relacionar lo anterior con lmites de sucesiones
(hay versiones anlogas para los otros lmites).
Teorema 17
lm f (x) = L (xn )nN : xn D {a}n, lm xn = a lm f (xn ) = L.
xa
Demostracin.
( ) Sea (xn )nN una tal sucesin, y > 0. Por la Definicin 160 podemos encontrar
> 0 tal que si x D, 0 6= |x a| < |f (x) L| < .
n
Como xn
a, elegimos n0 : n n0 , |f (x) L| < .
() Supongamos por absurdo que f (x) no tiene lmite L.
Entonces existe E(L, ) : > 0, x E 0 (a, ) D, f (x )
/ E(L, ). Tomamos = 1/n, y sea xn el x correspondiente. Entonces (xn )nN es una sucesin
n
en D {a}, xn
a f (xn ) L. Pero f (xn )
/ E(L, ), lo que es absurdo.
3.2. Lmites y continuidad
63
f (x)
Ejemplo 162
n
y e1/xn
0.
0, 1/x2n
1) lmx0 e1/x = 0. En efecto, si xn
Como consecuencia del teorema 17 (y sus extensiones para lmites infinitos o con
x ), se deduce que los lmites de funciones tienen las mismas propiedades
algebraicas que las que se presentaron en 2.2.3 para el caso de sucesiones. No
nos extenderemos entonces en el clculo de lmites.
Mencionamos que el concepto de equivalentes es anlogo (si f (x) y g(x) tienen
(x)
ambos lmite 0 o , se dicen equivalentes cuando lm fg(x)
= 1) y tiene las
mismas propiedades.
3.2.1.
Lmites laterales

La funcin f (x) =
1
0
si x 0
no tiene claramente lmite cuando x 0, pero
si x < 0
f (x)
1
x
s cuando x se acerca a 0 por la derecha o por la izquierda. Esto nos lleva a definir:
64
Definicin 163 lmxa+ f (x) = L E(L, ), : f (a, a + ) E(L, );

lm f (x) = L E(L, ), : f (a , a) E(L, ).
xa
En el ejemplo, lmx0+ f (x) = 1, lmx0 f (x) = 0.

Se definen anlogamente lmites laterales infinitos. Como ejercicio calcule los lmites
laterales lmx0 e1/x .
3.2.2.
Continuidad
El concepto de continuidad de una funcin responde a la idea de que sta no vara

bruscamente; en otras palabras si a D y x se acerca a a, la funcin debe ser tal que
f (x) se acerque a f (a).
La siguiente definicin formaliza estas ideas:
Definicin 164 Sea a D
f (x) es continua en a > 0 > 0 : |x a| < , x D |f (x) f (a)| <
E(f (a), ), E(a, ) : f (E(a, )) E(f (a), ).
f es continua en (en D) si y solo si es continua en a, a D.
Nota 165 Para a punto de acumulacin de D (caso habitual) la definicin anterior
equivale a pedir lmxa f (x) = f (a).
Lo anterior reduce el concepto de continuidad al de lmite. Hay tambin una versin
de la continuidad en trminos de sucesiones.
Teorema 18 Sea a D
f es continua en a (xn )nN : xn Dn, lmn xn = a lmn f (xn ) = f (a)
Demostracin. Anloga al teorema 17.
Las observaciones anteriores permiten asegurar la continuidad de numerosas funciones.
En primer lugar, los polinomios son continuos, y las funciones racionales (cocientes
de polinomios) lo son en todos los puntos que no sean races del denominador. Esto es
consecuencia de laspropiedades algebraicas de los lmites.
La funcin f (x) = x es continua x 0 (ver ejemplo (17) del Captulo 2). Se puede
ver tambin (no lo haremos aqu) que las funciones xa , ex , log(x), sen(x), cos(x) son
continuas en sus respectivos dominios.
Por otra parte, la composicin de funciones continuas es continua, como surge de la
siguiente
3.2. Lmites y continuidad
65
Proposicin 166 Si f : D D0 continua en a D y g : D0 R continua en

b = f (a), entonce g f : D R es continua en a.
Demostracin. Es sencilla por el Teorema 18.
n
n
n
Si xn
a f (xn )
f (a) g(f (xn ))
g(f (a)).
Ejemplo 167
2) esen(
3.2.3.
x)
es continua en x 0.
Teoremas para funciones continuas en un intervalo
Teorema 19 (Bolzano)
f continua en [a, b], f (a) y f (b) son de distinto signo (no nulo), o f (a)f (b) < 0.
Entonces, existe c (a, b) tal que f (c) = 0
Demostracin. Sean por ejemplo f (a) < 0 y f (b) > 0 (el otro caso es anlogo).
Recurrimos al mtodo de biparticin introducido en la Seccin 2.2.4.
.
Tomamos a0 = a, b0 = b. Sea c0 = a+b
2
Si f (c0 ) = 0 ya encontramos la raz buscada. En caso contrario, si f (c0 ) > 0
f (x)
f (x)
a1
a
a2 a3
c0
b
b1 = b2 = b3
Figura 3.1: Ejemplo teorema de Bolzano

definimos a1 = a0 y b1 = c0 ; en el caso que f (c0 ) < 0 definimos a1 = c0 y b1 =
b0 . Se repite el procedimiento por induccin. Si no tuvimos una raz en un nmero
finito de pasos (en cuyo caso termin el teorema), entonces generamos una sucesin
de intervalos [an , bn ] con f (an ) < 0, f (bn ) > 0. Adems, como se vio en el Captulo 2,
por este procedimiento se obtienen sucesiones (an ) y (bn ) que forman un PSMC. Sea
c el lmite comn. Como f es continua, lmn f (an ) = lmn f (bn ) = f (c). Como
f (an ) 0, lmn f (an ) 0. Anlogamente, como f (bn ) 0, lmn f (bn ) 0. Como
deben coincidir, se tiene que lmn f (an ) = lmn f (bn ) = f (c) = 0.
66
Corolario 168 Sean f continua en [a, b], f (a) 6= f (b) y un valor intermedio entre
f (a) y f (b) (f (a) < < f (b) o f (a) > > f (b) segn el caso).
Entonces existe c (a, b) tal que f (c) = .
Demostracin. La funcin g(x) = f (x) cumple las hiptesis del Teorema de
Bolzano, por lo que existe c (a, b) tal que g(c) = f (c) = 0, y entonces f (c) = .
Teorema 20 (Weierstrass)
Si f es continua en [a, b] f tiene mximo y mnimo en [a, b]:
m, M : m f (x) M x [a, b], m = f (xm ), M = f (xM ).
Demostracin.
i) Veamos en primer lugar que f es acotada superiormente en [a, b]. Si no fuera
as, se podra construir una sucesin f (xn ), con xn [a, b], tal que lmn f (xn ) =
+.
Consideremos (xn )nN . Como es acotada, del Teorema 5 del Captulo 2 deducik
mos que existe una subsucesin (xnk ) que converge, xnk
L.
Como a xnk b a L b y L [a, b].
k
f (L), lo que contradice lo supuesto
f es continua en L f (xnk )
(f (xn ) ).
ii) Sea M = supx[a,b] {f (x)}. Como M es el supremo del conjunto
{f (x) : x [a, b]} es fcil construir (f (xn )) con lmite M . (Basta tomar f (xn )
tal que M n1 f (xn ) M , que siempre existe por ser M el supremo). Una
k
vez ms, (xnk ) : xnk

xM f (xnk )
f (xM ) M = f (xM ). El
razonamiento es anlogo para el mnimo.
Ejercicio 169
a) Dar un ejemplo de f continua en (a, b] y no acotada.
b) Si f es continua en [a, b], lmxa+ f (x) = +, probar que f tiene mnimo en
[a, b].
3.3. Continuidad uniforme
3.3.
67
Continuidad uniforme
Volvemos a la definicin de continuidad. Si f es continua en un punto a, sabemos

que fijado > 0 podemos encontrar > 0 tal que |xa| < implique |f (x)f (a)| <
. El nmero representa entonces la cercana que debemos imponer entre x y a para
garantizar que f (x) no se aleje ms que de f (a).
Fijado , el valor posible para no es en general nico, ya que si un valor para nos
sirve entonces nos servir cualquier otro menor. Sin embargo, existe en general un
mximo que no podemos superar si queremos tener |f (x) f (a)| < . Veamos un
ejemplo.
Ejemplo 170
2
2
3) Sean f (x) = x2 y a
> 0. Para obtener |x a | < , x debe estar en el
2
2
2
intervalo
( a , a + ). Luego debe cumplir a + a y
2
a a .
Se puede ver que la primera condicin es ms restrictiva, por lo
que max = a2 + a.
f (x)
x2
a +
a2
a2
a2
x
a2 +
El ejemplo pone de manifiesto que para un dado, el valor max depende (adems de
) del punto a en que se est considerando la continuidad.
Para muchas aplicaciones (en particular en el clculo integral, como se ver) resulta til
obtener un que dependa de pero que valga para todos los puntos a de un intervalo.
Esto es algo ms exigente que la continuidad.
Si obtuviramos un tal , resultar que para todo par de puntos x, x0 I que disten
entre s menos que , se cumplira |f (x) f (x0 )| < . Llegamos a la definicin:
68
Definicin 171 f es uniformemente continua en un intervalo I

> 0() : x, x0 I, |x x0 | < |f (x) f (x0 )| < .
Ejemplo 172
3) Continuacin: Si consideramos I = [0, +) en el caso f (x)= x2 , deberamos obtener () max (a, ), a I. Pero max (a, ) = a2 + a =
a+

0, de modo que lo anterior no es posible. En otras palabras,
a2 ++a
la restriccin de cercana de x y a se vuelve ms exigente al crecer a (lo que se
visualiza con por el incremento de pendiente de la funcin) y es imposible dar un
valor de uniforme para todo a I. La funcin no es uniformemente continua
en I.
Si restringiramos el problema a I 0 = [1, k] la situacin cambia: tomando
, cumple < max para todo a I 0 .

< k2 ++k
Claramente, la Definicin 171 nos asegura que una funcin uniformemente continua
en I es continua en todo a I (basta con tomar x0 = a en la definicin). El ejemplo
anterior muestra que el recproco no es cierto, al menos para un intervalo infinito.
Ejemplo 173
1
1
I = (0, 1]. Claramente

f es continua en I. Para tener | x a | <
a
a
, hace falta que x 1 1+ , 1 1 = 1+a
, 1a
. Luego, debe cumplir
4) f (x) =

1
,
x
a
1a
a =
a2
1a
y a
a
1+a
a2
.
1+a
La segunda condicin es ms
1
a
+
1
a
1
a
1
x
a
1+a
a
1a
1
a0
a
restrictiva, y max = 1+a
. Puesto que max 0, no es posible obtener
() < max a I. La funcin no es uniformemente continua en I.
3.4. Derivadas
69
El ejemplo 4) nos muestra que una funcin continua en un intervalo acotado ((0, 1]
en el ejemplo) puede no ser uniformemente continua. Como veremos a continuacin,
si el intervalo es cerrado y acotado, entonces la continuidad implica la continuidad
uniforme.
Teorema 21 (Cantor) f continua en [a, b] f uniformemente continua en [a, b].
Demostracin. Supongamos por absurdo que f no es uniformemente continua. La
negacin lgica de la Definicin 171 nos conduce a que : , x , x0 I con
|x x0 | < y |f (x ) f (x0 )| . En otras palabras, para un particular, no
existe uniforme y puedo encontrar puntos tan cercanos como quiera con imgenes
que distan ms que .
Particularmente con cada = 1/n podemos construir sucesiones (xn )nN y (xn0 )nN
tales que:
1
|xn xn0 | < , |f (x) f (x0 )| ()
n
Como (xn )nN es acotada, tiene (Teorema 5) una subsucesin convergente (xnk )kN , y
k
lmk xnk = L [a, b]. Como |xnk x0nk | < n1k
0 lmk x0nk = L.
Como f es continua en L sabemos que lmk f (xnk ) = lmk f (x0nk ) = f (L). Pero
k
0, lo que es absurdo por ().

entonces f (xnk ) f (x0nk )
3.4.
Derivadas
La nocin de derivada responde a la idea de la velocidad con que cambia la

funcin f (x). En un intervalo, esta velocidad puede expresarse por la razn: f
=
x
f (x)f (a)
, llamado cociente incremental. Si buscamos una versin local, es decir la
xa
velocidad con que est variando f (x) en el punto a, lo natural es tomar lmite con
x a.
Geomtricamente, esto equivale a considerar la pendiente de la recta por los puntos
P = (a, f (a)) y Q = (x, f (x)) y al tomar lmite, si ste existe, obtener la pendiente
de la recta r, tangente en el punto P .
Llegamos a la siguiente definicin:
Definicin 174 Sea f : D R funcin, a tal que existe E(a, r) D. f es derivable
(a)
en a si y solo si existe lmxa f (x)f
.
xa
En ese caso, al lmite se le llama derivada de f en el punto a y se lo denota f 0 (a) (o
df
tambin dx
(a)).
70

f (x)
r
P
Obsrvese que esta definicin es eqivalente a la existencia de un nmero A tal que

f (x) = f (a) + (x a)A + (x a)(x) tal que lm (x) = 0.
xa
Naturalmente A = f 0 (a). Esta manera de definir la derivabilidad es la que se generaliza

para funciones de ms variables.
Una consecuencia inmediata de la Definicin 174 es que toda funcin derivable es
continua. En efecto:
f (x) f (a)
= f (a) lm (f (x) f (a)) = 0 lm f (x) = f (a).
xa
xa
xa
xa
lm
De hecho, la derivabilidad es una condicin ms exigente que la continuidad, como lo

(0)
muestra el ejemplo f (x) = |x| en el punto x = 0. En ese caso, f (x)f
= |x|
= sg(x),
x0
x
que no tiene lmite en x = 0.
Ejemplo 175
5)
f (x) = ex
(exa 1) xa a
ex ea
e f 0 (a) = ea .
= ea
xa
(x a)
La funcin exponencial tiene derivada en cualquier punto y (ex )0 = ex .

En forma similar se puede probar que:
(x )0 = x1 ; (log |x|)0 =
1
; (sen(x))0 = cos(x); (cos(x))0 = sen(x).
x
3.4. Derivadas
71
Proposicin 176 Si f, g son derivables en a, tambin lo son f + g, f g, f g y f /g

si g(a) 6= 0, y se cumple:
(i) (f g)0 = f 0 g 0 .
(ii) (f g)0 = f 0 g + f g 0 .
(iii) (f /g)0 =
f 0 gf g 0
g2
Demostracin. Veamos por ejemplo (ii), los otros son similares:

f (x)g(x) f (a)g(a) = (f (x) f (a))g(x) + f (a)(g(x) g(a))
f (x)g(x) f (a)g(a)
f (x) f (a)
g(x) g(a)
=
g(x) + f (a)
xa
xa
xa
Tomando lmite con x a, el segundo miembro tiende a f 0 (a)g(a) + f (a)g 0 (a).
3.4.1.
Derivada de la funcin compuesta (regla de la cadena)
Teorema 22 Sean f derivable en a y g derivable en b = f (a). Entonces, g f es

derivable en a, y (g f )0 (a) = g 0 (b)f 0 (a).
Demostracin. Una primera aproximacin a la prueba es la siguiente:
g(f (x)) g(f (a)) f (x) f (a)
g(f (x)) g(f (a))
=
.
xa
f (x) f (a)
xa
Cuando x a, f (x) f (a) y los dos factores del segundo miembro tienden respectivamente a g 0 (b) y f 0 (a).
Un inconveniente de este argumento es que f (x) f (a) podra anularse para x arbitrariamente cerca de a, en el caso f 0 (a) = 0.
Sea (y) = g(y)g(b)
g 0 (b) definido para y en un entorno reducido. Por definicin
yb
de derivada, lmyb (y) = 0. Si definimos (b) = 0 ((y) continua en b), la igualdad
g(y) g(b) = (y b)(g 0 (b) + (y)) vale para y en un entorno de b, incluso en el punto
b. Ponemos y = f (x), y dividimos por x a:
f (x) f (a) 0
g(f (x)) g(f (a))
=
(g (b) + (f (x)))
xa
xa
Tomando lmite con x a, se prueba la tesis.
Deducimos del teorema que (g f )0 (x) = g 0 (f (x))f 0 (x).

Ejemplo 177
6) (esen(x) )0 = esen(x) cos(x).
72
3.4.2.
Extremos relativos y derivadas
Definicin 178 f tiene un mximo (mnimo) relativo en el punto a si y solo si existe un

entorno E(a, ) en el dominio de f tal que f (x) f (a) (f (x) f (a)), x E(a, ).
Ejemplo 179 f (x) = |x| tiene un mnimo relativo e x = 0.
Proposicin 180 Si existe derivada en un extremo relativo, debe valer 0.
Demostracin. Supongamos que f 0 (a) > 0. Entonces para todo x en un entorno
(a)
E(a, ) se cumple f (x)f
> 0, y por lo tanto f (x) f (a) es del mismo signo que
xa
x a. Esto significa que f (x) > f (a) si x (a, a + ), mientras que f (x) f (a) si
x (a , a). Pero entonces a no es extremo relativo.
Si f 0 (a) < 0, se cumple anlogamente que a no es extremo relativo.
Nota 181 La condicin f 0 (a) = 0 no alcanza para asegurar que f tiene extremo en a,
como lo muestra el ejemplo f (x) = x3 en el punto x = 0.
Teorema 23 (Teorema del valor medio o de Lagrange)
Si f es continua en [a, b] y derivable en (a, b) c (a, b) tal que f 0 (c) =
f (b)f (a)
.
ba
Demostracin.
i) Veamos en primer lugar el caso f (b) = f (a) (Teorema de Rolle). Por el Teorema 20 de Weierstrass, existen mximo M y mnimo m de f en [a, b]. Si ambos ocurren en los extremos a y b del intervalo, como f (a) = f (b) tendramos m = M , y por lo tanto la funcin sera constante en [a, b]. En ese caso
f 0 (c) = 0c (a, b).
Supongamos ahora que uno de ellos (por ejemplo el mximo) se da en un punto
de (a, b): es decir, f (c) = M, c (a, b). Entonces f tiene un mximo relativo
en c y por lo tanto f 0 (c) = 0.
(a)
.
En cualquier caso, existe c (a, b) : f 0 (c) = 0 = f (b)f
ba
(a)
ii) En el caso general, sea g(x) = f (x) f (b)f
(x a). La funcin g as definida
ba
cumple las hiptesis del caso i), ya que g(a) = g(b) = f (a).
(a)
Entonces, c (a, b) : f 0 (c) f (b)f
= 0.
ba
Un corolario til del Teorema 23 es que el signo de la derivada en un intervalo

determina el crecimiento de la funcin.
3.4. Derivadas
73
f (x)
f (b)
f (a)
a
Proposicin 182 Si f es derivable en un intervalo (a, b), f 0 (x) > 0 en (a, b), entonces
f es estrictamente creciente en (a, b), es decir x < x0 f (x) < f (x0 ).
Demostracin. Sean x, x0 (a, b), x < x0 . Si fuese f (x) f (x0 ), se deduce que
f (x0 )f (x)
0. Por el Teorema de Lagrange, existe c (x, x0 ) tal que f 0 (c) 0, lo
x0 x
que es absurdo por hiptesis.
Nota 183 En forma anloga, si f 0 (x) < 0 en (a, b), f es estrictamente decreciente en
(a, b).
De lo anterior surge que estudiando el signo de f 0 (x) se puede bosquejar el crecimiento de la funcin f (x). Para una representacin grfica ms completa de una
funcin, es usual estudiar la concavidad, que nos indica si la pendiente de la curva est
creciendo o decreciendo con x.
Concavidad positiva
Como la pendiente es f 0 (x), su crecimiento est dado por el signo de la derivada
de f 0 (x), si sta existe. A la derivada de f 0 (x) se le llama derivada segunda de f , y se
2
denota f 00 o tambin ddxf2 .
74

Concavidad negativa
No entremos aqu en ms detalles (asntotas, etc.) del estudio analtico y representacin grfica de funciones, que es un tema usual en los cursos de secundaria. Terminamos la seccin con dos resultados que sern empleados en la Seccin 3.6.
Teorema 24 (Cauchy)
Si f, g son continuas en [a, b] y derivables en (a, b),
c (a, b) : f 0 (c)[g(b) g(a)] = g 0 (c)[f (b) f (a)]
.
Demostracin. Sea h(x) = f (x)[g(b) g(a)] g(x)[f (b) f (a)]. Luego h(a) =
h(b) = f (a)g(b) g(a)f (b). Por el Teorema 23, existe c (a, b) : h0 (c) = 0.
Teorema 25 (Regla de LHpital)

Si f y g son continuas en E(a, ), f (a) = g(a) = 0, y derivables en E 0 (a, ), g 0 (x) 6= 0
en E 0 (a, ) entonces:
f (x)
f 0 (x)
= lm
= .
0
xa g(x)
xa g (x)
lm
Demostracin. Sea x > a. Aplicando el Teorema 24 de Cauchy a f y g en [a, b],

0 (c)
(x)f (a)
(x)
= fg(x)g(a)
= fg(x)
.
tenemos para algn c (a, x): fg0 (c)
0
(c)
Si x a+ , c a+ , y por tanto lm+ fg0 (c)
= .
xa
lm+
xa
f (x)
= .
g(x)
Puede procederse igual para x a .
Ejemplo 184 Buscamos lmx0

x
Derivando, se tiene lm e 2x1 =

x0
1
2
ex 1x
x2
lmx0
ex 1x
x2
= 12 .
3.5. Funciones inversas
3.5.
75
Funciones inversas
Si f : D R es una funcin inyectiva (f (x) 6= f (x0 ) para x 6= x0 ) y D0 = f (D)

es el recorrido, puede definirse una funcin inversa f 1 : D0 D tal que f 1 (y) =
x f (x) = y: o en otras palabras, f 1 f = idx ; f f 1 = idy , donde id es la
funcin identidad (idx (x) = x, idy (y) = y).
Un caso particular en que la inyectividad est asegurada es el de una funcin estrictamente montona (creciente o decreciente). Una pregunta natural es la siguiente: si f
es continua o derivable, lo ser tambin f 1 ? Los Teoremas 26 y 27 dan resultados
sobre este punto.
Teorema 26 Si f es continua y estrictamente montona en un intervalo I. Entonces, el
recorrido de f es un intervalo J, y f 1 : J I es continua y estrictamente montona.
Demostracin. J = f (I) es un intervalo por el Corolario 168, que asegura que si
f (continua) toma dos valores distintos entonces toma todos los valores intermedios.
La monotona es tambin sencilla. Sea por ejemplo f estrictamente creciente. Consideramos y < y 0 . Si fuese f 1 (y) f 1 (y 0 ) tendramos a partir de la monotona de f que f (f 1 (y)) f (f 1 (y 0 )), o que y y 0 , lo que es absurdo. Entonces,
f 1 (y) < f 1 (y 0 ).
Veamos ahora la continuidad. Sea y0 J, estudiamos lmyy0 f 1 (y). Como
para y < y0 se tiene que f 1 (y) < f 1 (y0 ), y adems f 1 (y) crece con y, se deduce
fcilmente que existe lmyy0 f 1 (y) = L, y adems L f 1 (y0 ). Si fuese L <
f 1 (y0 ) entonces se tendra que f 1 (y) L < f 1 (y0 ) y < y0 , y aplicando f que
y f (L) < y0 y < y0 , lo que es absurdo. Entonces lm f 1 (y) = f 1 (y0 ).
yy0
Anlogamente, lm+ f
(y) = f
(y0 ).
yy0
Teorema 27 Sea f derivable en I = (a, b), f 0 (x) > 0 en I, y J = f (I). Entonces f 1

1
es derivable en J, y (f 1 )0 (y) = f 0 (f 1
.
(y))
Demostracin. Por la Proposicin 182, f es estrictamente creciente (de donde se deduce adems que J es un intervalo abierto). Por el Teorema 26, existe f 1 continua.
Sea x = f 1 (y), x0 = f 1 (y0 ):
f 1 (y) f 1 (y0 )
x x0
=
.
y y0
f (x) f (x0 )
Por la continuidad de f 1 , cuando y y0 entonces x x0 y el segundo miembro
1
1
tiene lmite f 0 (x
. Entonces (f 1 )0 (y0 ) = f 0 (x
= f 0 (f 11 (y0 )) .
0)
0)
76
1
Nota 185 La expresin (f 1 )0 (y) = f 0 (f 1
permite deducir que si f tiene derivadas
(y))
de mayor orden (derivadas segunda, tercera, etc.), tambin las tiene f 1 , y pueden
obtenerse derivando la frmula anterior por la regla de la cadena.
Ejemplo 186 f (x) = sen(x), x (/2, /2).

f 1 (y) = arcsen(y), y (1, 1).
(x = arcsen(y)) y = sen(x).
1
= 1 2 , donde la ltima igualdad se deduce del hecho
(arcsen(y))0 = cos(arcsen(y))
1y
p
que si x = arcsen(y), y = sen(x) y 1 y 2 = cos(x) = cos(arcsen(y)).
arcsen(x)
sen(x)
1
- 2
-1
-1
- 2
3.6.
Desarrollo de Taylor
Comenzamos con la siguiente reinterpretacin de la nocin de derivada: si f es

(a)
f 0 (a), y podemos escribir f (x) = f (a) + f 0 (a)(x a) +
derivable en a, f (x)f
xa
r(x) xa
r(x), donde se verifica que xa
0. Se dice que r(x) es un infinitsimo de mayor
orden que (x a), lo que implica que para x suficientemente prximo a a, r(x) ser
despreciable frente a (x a).
En otras palabras, la recta tangente yt (x) = f (a)+f 0 (a)(xa) aproxima a f (x) de
tal modo que el error cometido r(x) resulta, cerca de a, despreciable frente a (xa). El
desarrollo de Taylor permite extender las ideas anteriores para obtener aproximaciones
mejores.
3.6.1.
rdenes de infinitsimos
Definicin 187 Sean f (x), g(x) con lmite 0 cuando x a. Se dice que f (x) es de
(x)
mayor orden que g(x) (y se denota f (x) = o(g(x))) si y solo si lm fg(x)
= 0.
xa
3.6. Desarrollo de Taylor
77
y
f (x)
yt
f (a)
Ejemplo 188 x2 = o(x), y en general x = o(x ) siempre que > .

Ejemplo 189 x2 = o(sen(x)), ya que
x2
sen(x)
x0
x
= x sen(x)
0.
Proposicin 190 Con x a, se verifica

a) o(g(x)) + o(g(x)) = o(g(x)).
b) o(kg(x)) = o(g(x)), si k 6= 0.
c) o(o(g(x))) = o(g(x)).
d) h(x)o(g(x)) = o(g(x)) si h es acotada en E(a, r).
e) [o(g(x))]n = o(g n (x)).
f) Si h(x) g(x) con x a, entonces o(h(x)) = o(g(x)).
La notacin debe interpretarse de la siguiente manera. Por ejemplo, en el caso a),
si f1 (x) = o(g(x)) y f2 (x) = o(g(x)) entonces f1 (x) + f2 (x) = o(g(x)). En otras
palabras, la suma de infinitsimos de mayor orden que g(x) es tambin de mayor orden
que g(x).
La prueba de las propiedades es sencilla. Veamos por ejemplo e). Sea f (x) =
o(g(x)). Queremos probar que (f (x))n = o(g(x)n ):

n
f (x)
(f (x))n
xa
=
0,
n
(g(x))
g(x)
donde el ltimo paso es vlido porque
f (x) xa
g(x)
0. Dejamos el resto como ejercicio.
78
Retomando el planteo inicial, podemos decir que si f es derivable en a, f 0 (x) =

f (a) + f 0 (a)(x a) + r(x), con r(x) = o(x a). Aproximando f con un polinomio
de primer grado en (x a), obtuvimos un error de mayor orden que (x a). Si
queremos una aproximacin mejor, con un error que sea o((x a)n ), parece natural
aproximar por un polinomio de grado n en (x a). Para que esa aproximacin sea
vlida, deberemos pedir ms regularidad a f : que tenga n derivadas en a.
3.6.2.
Teorema de Taylor
Teorema 28 (Taylor)
Sea f derivable hasta el orden n en x = a. Entonces existe un nico polinomio
Pn (f, a), de grado n en (x a), tal que f (x) = Pn (f, a) + rn (x), con rn (x) =
o((x a)n ).
(n)
00
Adems, Pn (f, a) = f (a) + f 0 (a)(x a) + f 2!(a) (x a)2 + . . . + f n!(a) (x a)n
(polinomio de Taylor de f en a).
rn (x) se denomina resto del desarrollo de Taylor de f de orden n en x = a.
Demostracin.
(i) Veamos en primer lugar la unicidad. Supongamos que f (x) =
a0 +a1 (xa)+. . .+an (xa)n +rn (x) = b0 +b1 (xa)+. . .+bn (xa)n +Rn (x)
con rn (x) = o((x a)n ), Rn (x) = o((x a)n ). Como rn (x) y Rn (x) tienen
lmite 0 para x a, se cumple que f (a) = a0 = b0 . Luego a1 (x a) + . . . +
an (xa)n +rn (x) = b1 (xa)+. . .+bn (xa)n +Rn (x). Dividiendo por (xa)
y tomando lmite con x a, se obtiene que a1 = b1 , ya que rn (x) = o((x a))
y Rn (x) = o((x a)). Repitiendo el procedimiento por induccin, se llega a
que ai = bi , i = 1, . . . , n, lo que prueba la unicidad.
(ii) Para la existencia, razonamos por induccin completa. Para n = 1, el teorema
equivale a la observacin que se hizo al principio de la seccin. Suponiendo el
teorema vlido para n 1, lo probaremos para n. Debe probarse que f (x) =
Pn (f, a)+rn (x), con rn (x) = o((xa)n ). En otras palabras, tomando la primera
ecuacin como definicin de rn (x):
f (n) (a)
(x a)n ]
rn (x) = f (x) [f (a) + f (a)(x a) + . . . +
n!
0
xa
rn (a)
0. Derivando la expresin anterior en un entorno
se debe probar que (xa)
n
de a (f es derivable), tenemos: rn0 (x) =
= f 0 (x)[f 0 (a)+f 00 (a)(xa)+. . .+
f (n) (a)
(xa)n1 ] = f 0 (x)Pn1 (f 0 , a).
(n 1)!
79
Aplicando la hiptesis inductiva a la funcin f 0 , siendo la expresin dentro del

parntesis recto el desarrollo de Taylor de f 0 de orden n 1, resulta que rn0 (x) es
0 (x)
xa
rn
el resto de Taylor de f 0 de orden n 1 en x = a y por tanto (xa)
n1
0 o tambin
rn (a) xa
(xa)n
0 x
rn
n(xa)n1
xa
0. Aplicando la regla de LHopital obtenemos
0.
Ejemplo 191 Pn (ex , 0) = 1 + x +
x2
2!
+ ... +
x3
3!
Ejemplo 192 P2k+1 (sen(x), 0) = x

ex 1x
x2
x0
Ejemplo 193 lm
= lm 1+x+x
x5
5!
xn
.
n!
+ ... +
2 /2+o(x2 )1x
x2
x0
(1)k x2k+1
(2k+1)!
1
2
)
+ lm o(x
= 12 .
x2
x0
1
Ejemplo 194 Pn ( 1x
, 0) = 1+x+x2 +. . .+xn . Para verlo sin calcular las derivadas,
observar que
1 + x + . . . + xn =
1
xn+1
1 xn+1
= 1 + x + . . . + xn +
.
1x
1x
1x
n+1
1
Como x1x = o(xn ) y 1x
es derivable infinitas veces en 0, el polinomio de Taylor
surge de la unicidad del desarrollo.
4
Ejemplo 195 P4 (ex , 0) = 1 + x2 + x2 , ya que eu = 1 + u + u2 + r(u), r(u) = o(u2 ),

4
2
lo que implica que ex = 1 + x2 + x2 + r(x2 ), r(x2 ) = o(x4 ).
Ejemplo 196 P4 (esen(x) , 0). Para calcularlo, escribimos:
ex = 1 + x +
x 2 x3 x4
+
+
+ o(x4 )
2!
3!
4!
(sen(x))2 (sen(x))3 (sen(x))4

+
+
+ o(x4 ),
2!
3!
4!
ya que o((sen(x))4 ) = o(x4 ) por propiedad (f). Sustituimos ahora sen(x) por su
desarrollo:
3
3
3
esen(x) = 1+(x x3! +o(x4 ))+ 12 (x x3! +o(x4 ))2 + 3!1 (x x3! +o(x4 ))3 + 4!1 (x+o(x2 ))4 =
1 + x + 21 x2 18 x4 + o(x4 ), donde se desarrollaron las expresiones y se unieron los
trminos de mayor orden que x4 . Entonces: P4 (esen(x) , 0) = 1 + x + 21 x2 18 x4
esen(x) = 1 + sen(x) +
El Ejemplo 193 mostr una aplicacin del desarrollo de Taylor al clculo de lmites
indeterminados. Veamos una aplicacin al estudio de extremos relativos de funciones.
Como se vio en la Seccin 3.4, en un extremo relativo se anula la derivada (si existe).
Sin embargo, la anulacin de la derivada no alcanza para saber si el punto es un mximo, un mnimo o si no es ni siquiera un extremo. De hecho, veremos que la primera
derivada no nula, si existe, clasifica el punto:
80
Proposicin 197 Si f es derivable hasta el orden n en a, f 0 (a) = f 00 (a) = . . . =

f (n1) (a) = 0 y f (n) (a) 6= 0 entonces:
a) Si n es par y f (n) (a) > 0, f tiene un mnimo relativo en a.
b) Si n es par y f (n) (a) < 0, f tiene un mximo relativo en a.
c) Si n es impar, f no tiene extremo en a.
Demostracin. Por Taylor: f (x) = f (a)+ f
(n)
(n) (a)
n!
(xa)n +o((xa)n ), y reescribiendo:

n
xa
)
)
]. Como o((xa)
f (x) f (a) = (x a)n [ f n!(a) + o((xa)
0, en E 0 (a, ) el
(xa)n
(xa)n
signo del parntesis recto es el de f (n) (a). Si n es par, este es el signo de f (x) f (a),
de donde se deduce a) y b). Si n es impar, (x a)n cambia de signo a un lado y otro
de a, por lo que tambin lo hace f (x) f (a).
3.6.3.
Frmula de Lagrange para el resto
Para diversas aplicaciones resulta til tener una expresin para el resto rn (x) en
trminos de la funcin f . Existen varias formas, pero nos limitaremos a la ms usada,
la forma de Lagrange, que generaliza el Teorema 23 del valor medio. Ntese que hace
falta hiptesis ms fuertes para f (derivada de orden n + 1 en un entorno de a).
Teorema 29 Si f tiene derivada de orden n+1 en E(a, ), entonces f (x) = Pn (f, a)+
(n+1) (c)(xa)n+1
, para algn c [a, x].
rn (x), donde rn (x) = f
(n+1)!
Demostracin. Pn (f, a) = f (a) + f 0 (a)(x a) + . . . +
funcin auxiliar F (t) sustituyendo a por t:
f (n) (a)(xa)n
.
n!
Definimos una
f (n) (t)(x t)n

, t E(a, ).
n!
Se cumple F (x) = f (x), F (a) = Pn (f, a). Derivando, resulta
F (t) = f (t) + f 0 (t)(x t) + . . . +
F 0 (t) = f 0 (t) f 0 (t) + f 00 (t)(x t) f 00 (t)(x t) + . . . +
f (n+1) (t)(x t)n

=
n!
f (n+1) (t)(xt)n
.
n!
Sea G(t) = (x t)n+1 . Se cumple que G(x) = 0, G(a) = (x a)n+1 .

Aplicamos el Teorema 24 de Cauchy a F y G:
F (x) F (a)
F 0 (c)
f (n+1) (c)(x c)n
f (n+1) (c)
= 0
=
=
G(x) G(a)
G (c)
n!(1)(n + 1)(x c)n
(n + 1)!
f (x) Pn (f, a)
f (n+1) (c)
f (n+1) (c)
=
r
(x)
=
(x a)n+1 .
n
n+1
(x a)
(n + 1)!
(n + 1)!
81
P
n
2
xn
Ejemplo 198 ex = 1 + x + x2 + . . . + xn! + . . . = +
n=0 n! Si sn (x) es la reducida
n-sima de la serie, sn (x) = Pn (ex , 0). Como ex es infinitamente derivable, con
|x| |x|n+1 n+
c xn+1
derivadas ex , ex sn (x) = rn (x) = e(n+1)!
, y |ex sn (x)| e (n+1)!
0.
Nota 199 No siempre es cierto que el desarrollo de Taylor de una funcin infinitamente derivable converge para n + a la propia funcin, ni siquiera en un entorno de
n+
a (no siempre ocurre que rn (x) 0).
82
Captulo 4
Integrales
4.1.
Introduccin
Los orgenes del clculo integral se remontan a ms de 2000 aos, cuando los
griegos calculaban reas por el mtodo de exhaucin. La idea consiste en aproximar
la regin cuya rea se quiere determinar por regiones poligonales de rea conocida, y
usar estas aproximaciones para obtener la frmula exacta.
Veamos un ejemplo.
f (x)
Figura 4.1: rea debajo de una grfica

Se quiere hallar el rea A de la regin del plano comprendida entre el eje 0x y la
parbola y = x2 , en el intervalo [0, a] (regin rayada en la Figura 4.1). Para eso se
divide el intervalo [0, a] en partes iguales [ na i, na (i + 1)], i = 0, . . . , n 1.
En cada intervalo tomamos el mnimo valor de f (x) = x2 y construimos la funcin escalonada por debajo de la parbola. El rea debajo de esta escalera es una
aproximacin por defecto del rea A (Figura 4.2(a)). Le llamamos sn . Se tiene que:
n1
n1
X
a 2 a
a3 X 2
i
= 3
i A.
sn =
n
n
n
i=0
i=0
83
(4.1)
84
Captulo 4. Integrales
f (x)
f (x)
Sn
sn
(a) Aproximacin por defecto
(b) Aproximacin por exceso
Figura 4.2: Aproximaciones del rea debajo de una grfica

Anlogamente, construimos una aproximacin por exceso del rea A (Figura 4.2(b)),
tomando en cada intervalo el valor mximo de f (x) = x2 . Se tiene:
Sn =
n1 h
X
a
i=0
n
i2 a
a3 X 2
(i + 1)
= 3
i A.
n
n
n i=1
(4.2)
Pk 2
k3
k2
k
Para evaluar las sumatorias, recurrimos a una frmula:
i=1 i = 3 + 2 + 6 que
Pk1 2
3
2
puede probarse por induccin completa. Se deduce que i=1 i = k3 k2 + k6 . Se
3
3
2
3
a3
a3
a3
a3
a3
obtiene entonces sn = na3 [ n3 n2 + n6 ] = a3 2n
+ 6n
2 , mientras que Sn = 3 + 2n + 6n2 .
3
Tenamos sn A Sn . Como sn y Sn tienen lmite a3 cuando n +, dedu3
cimos que A = a3 . En el razonamiento anterior, hemos utilizado con cierta libertad
el concepto de rea. De hecho hemos asumido que est bien definida el rea como
un nmero asociado a una regin del plano, que si un rea contiene a otra su rea es
mayor o igual, etc.
Si bien esto parece intuitivo, nos veramos en dificultades ante la pregunta de cmo se define el rea de un conjunto del plano. Un camino para dar la definicin, es
justamente el procedimiento anterior, al menos para regiones dadas por debajo de una
funcin.
En lo que sigue, obtendremos a partir de una funcin f , por un procedimiento
analtico como el anterior, un nmero real que llamaremos integral de f en un intervalo
3
(en el ejemplo, a3 es la integral de f (x) = x2 en el intervalo [0, a]).
Luego definiremos el rea debajo de una funcin f como ese nmero. Ms all de
esta observacin de carcter formal, importa rescatar del ejemplo el mtodo a seguir:
partir el intervalo, construir funciones escalonadas por encima y por debajo de la funcin, tomar lmite afinando la particin. Estas son las ideas bsicas para construir la
integral.
4.2. Integracin de funciones continuas
4.2.
85
Integracin de funciones continuas
Consideramos en primera instancia una funcin f acotada en el intervalo [a, b].

Definicin 200 Llamamos particin del intervalo [a, b] a un conjunto de puntos P =
{x0 , x1 , . . . , xn } tales que a = x0 < x1 < . . . < xn = b. Llamamos norma de la
particin al nmero |P | = maxi=0,...,n1 {xi+1 xi }, longitud mxima de los intervalos
[xi , xi+1 ]. Si P y Q son particiones de [a, b] y P Q, se dice que Q es un refinamiento
de P .
Definicin 201 Consideremos una funcin f acotada en [a, b] y P = {x0 , . . . , xn }
una particin de [a, b]. Sea mi = nf{f (x) : x [xi , xi+1 ]},
y Mi = sup{f (x) :
Pn1
x [xi , xi+1 ]}, i = 0, . . . , n 1. A la suma s(f, P ) =
i (xi+1 xi ) le
i=0
Pm
n1
Mi (xi+1 xi )
llamaremos suma inferior de f respecto a P . A la suma S(f, P ) = i=0
le llamaremos suma superior de f respecto a P .
Proposicin 202
a) Si Q es un refinamiento de P , s(f, P ) s(f, Q) S(f, Q) S(f, P ).
b) s(f, P ) S(f, Q) para particiones cualesquiera P y Q.
Demostracin.
a) Basta probar las desigualdades para el caso que Q tiene un punto ms que P
(todo refinamiento puede obtenerse por un nmero finito de estos pasos).
Sean P = {x0 , x1 , . . . , xk , xk+1 , . . . , xn } y Q = {x0 , x1 , . . . , xk , y, xk+1 , . . . , xn }.
P
s(f, P ) = n1
=k mi (xi+1 xi ) + mk (xk+1 xk ), y
Pi=0;i6
n1
s(f, Q) = i=0;i6=k mi (xi+1 xi ) + m0k (y xk ) + m00k (xk+1 y),
donde m0k = nf{f (x) : x [xk , y]}, m00k = nf{f (x) : x [y, xk+1 ]} y
mk = nf{f (x) : x [xk , xk+1 ]}.
Claramente, mk m0k , mk m00k . Entonces mk (xk+1 xk ) = mk (y xk ) +
mk (xk+1 y) m0k (y xk ) + m00k (xk+1 y),
de donde s(f, P ) s(f, Q).
Se razona de forma anloga para probar S(f, P ) S(f, Q).
b) Claramente, s(f, P ) S(f, P ) (pues mi Mi , i). Para P y Q cualesquiera,
P Q es un refinamiento de ambas. Entonces: s(f, P ) s(f, P Q)
S(f, P Q) S(f, Q).
86
f (x)
La proposicin anterior nos muestra que cualquier suma inferior (aproximacin

por defecto) es menor o igual que cualquier suma superior (aproximacin por exceso). Guindonos por el ejemplo f (x) = x2 , sera deseable que sumas superiores e
inferiores encerraran un nico nmero real. En otras palabras, que el extremo superior
de las s(f, P ) coincidiera con el extremo inferior de las S(f, P ). (En principio, por (b)
se tiene que supP {s(f, P )} nf Q {S(f, Q)}).
Definicin 203 Se dice que f : [a, b] R acotada (no necesariamente continua) es
integrable si supP {s(f, P )} = nf Q {S(f, Q)}. A este nmero real se le llama integral
Rb
Rb
de f en el intervalo [a, b] y se denota por I = a f o tambin I = a f (x)dx (la
ventaja de la segunda notacin se ver ms adelante).
Las funciones continuas, que constituyen una clase muy amplia de funciones, son
integrables.
Teorema 30 Si f es continua en [a, b] entonces es integrable; o sea supP {s(f, P )} =
nf Q {S(f, Q)}.
La demostracin surge en forma sencilla del siguiente lema:
Lema 204 Si f es continua en [a, b] entonces > 0, > 0 tal que si |P | <
entonces S(f, P ) s(f, P ) < .
Demostracin. Se utiliza la continuidad uniforme de f en [a, b]. Por el Teorema 21
del Captulo 3 (de Cantor), f es uniformemente continua en [a, b], es decir que >
0 : |x x0 | < |f (x) f (x0 )| < .
Sea > 0, elegimos = ba

y cumpliendo la condicin anterior. Si P =
{x0 , x1 , . . . , xn } es una particin con |P | , entonces i, Mi mi (al ser f
continua en [xi , xi+1 ], alcanza su mximo y su mnimo en dos puntos que distan entre
s menos que ). Entonces:
S(f, P ) s(f, P ) =
n1
X
i=0
(Mi mi )(xi+1 xi ) <
n1
X
i=0
(xi+1 xi ) .
4.2. Integracin de funciones continuas
87
Vamos a la demostracin del Teorema 30:

Demostracin. Sean I = supP s(f, P ), I 0 = nf P S(f, P ). Se cumple I I 0 .
Si fuese I 0, lo que es absurdo por el Lema 204
En el ejemplo de la parbola hemos visto que el rea era el lmite de una sucesin
de sumas. Extendemos esta propiedad:
Definicin 205 Sea P = {x0 , . . . , xn } una particin de [a, b]. Un conjunto de nmeros XP = {x0 , x1 , . . . , xn1 } se llama conjunto admisible para P si y solo si se
cumple xi [xi , xi+1 ], i = 0, n 1 (es decir, XP es una eleccin de puntos de
los intervalos de P ). Si f es acotada en [a, b],
suma de Riemann de f
Pllamaremos
n1
asociada a P , XP al nmero SR(f, P, XP ) = i=0 f (xi )(xi+1 xi ).
Teorema 31 Si f es continua en [a, b], entonces
> 0, > 0 : |P | < |I SR(f, P, XP )| < ,
donde XP es admisible para P .
Demostracin. Dado > 0, elegimos segn el Lema 204.
Si |P | < , S(f, P ) s(f, P ) < . Por definicin, s(f, P ) I S(f, P ). Adems,
si XP = {x0 , . . . , xn1 } es un conjunto admisible, mi f (xi ) Mi , de donde
s(f, P ) SR(f, P, XP ) S(f, P ). Luego
|I SR(f, P, XP )| S(f, P ) s(f, P ) < .
Corolario 206 Sea f continua en [a, b]. Si Pm es una sucesin de particiones tal que
m
m Rb
|Pm |
0 y Xm es admisible para Pm , entonces SR(f, Pm , Xm )
a f (x)dx.
La demostracin es inmediata acudiendo al Teorema 31.
Observacin
2 El Corolario 206 nos muestra que la integral es un lmite de sumas
P
f (xi )xi (aqu xi = xi+1 xi ) cuando las longitudes de los intervalos xi
Rb
tienden a cero. Este es el origen de la notacin a f (x)dx
introducida por Leibniz, en
R
que la sumatoria se sustituye por el smbolo integral , y x por dx para indicar paso
al lmite.
Ra
3
Ejemplo 207 0 x2 dx = a3 . En efecto, f (x) = x2 es continua y por Rtanto las sumas
s(f, Pn ) y S(f, Pn ) (que son sumas de Riemann) deben converger a x2 dx siempre
n
que |Pn |
0. Tomando Pn como en la introduccin se encuentra que la integral es
a3
.
3
88
4.3.
Propiedades de la Integral
Proposicin 208
1. Linealidad: si f y g son continuas en [a, b], , R entonces:
Z
Z
[f (x) + g(x)]dx =
Z
f (x)dx +
Rb
4. Si f g en [a, b] entonces
Rb
5. Si a < b entonces |
Rb
a
g(x)dx.
a
2. RAditividad: si a b c y f continua en [a, c]:

c
f (x)dx.
b
3. Si f 0 en [a, b] entonces
Rc
a
f (x)dx =
Rb
a
f (x)dx +
f (x)dx 0.
f (x)dx
f (x)dx|
Rb
a
Rb
a
g(x)dx.
|f (x)dx|.
Demostracin. Probaremos cada una de las propiedades enunciadas:

P
1. SR(f +g, P, XP ) = n1
i=0 (f (xi )+g(xi ))(xi+1 xi ) = SR(f, P, XP )+
SR(g, P, XP ). Tomando lmite con una sucesin Pn tal que |Pn | 0, se
prueba la linealidad.
2. Sea P es una particin de [a, c] que contiene a b, es decir P = {x0 , . . . , xk , . . . , xn }
con xk = b. Entonces
Pn1
P
0
SR(f, P, XP ) = k1
i=k f (xi )(xi+1 xi ) = SR(f, P , XP 0 )+
i=0 f (xi )(xi+1 xi )+
00
0
00
SR(f, P , XP 00 ), donde P y P son particiones heredadas de [a, b] y [b, c],
XP 0 y XP 00 conjuntos admisibles heredados. Adems |P 0 | |P |, |P 00 | < |P |.
Considerando Pn sucesin de particiones que contienen a b con |Pn | 0, se
obtienen Pn0 y Pn00 tales que |Pn0 | 0 y |Pn00 | 0. Tomando lmite en la igualdad
anterior se prueba la aditividad.
Rb
3. Si f 0 en [a, b] entonces SR(f, P, XP ) 0, P , lo que implica que a f (x)dx
0.
Rb
4. Si f g en [a, b] entonces por el punto anterior a [f (x) g(x)]dx 0, y en
Rb
Rb
consecuencia a f (x)dx a g(x)dx 0.
Rb
Rb
Rb
5. |f (x)| f (x) |f (x)|, y luego a |f (x)|dx a f (x)dx a |f (x)|dx.
Rb
Rb
Si a |f (x)|dx = k 0, entonces hemos probado que el nmero a f (x)dx est
en el intervalo [k, k]. Por lo tanto, su valor absoluto es menor o igual que k.
4.4. Extensin a funciones seccionalmente continuas
89
La aditividad puede extenderse

eliminando la restriccin a b c, si se da una
Rb
definicin conveniente de a f (x)dx para a > b.
Rb
Ra
Definicin 209 Si a > b y f es continua en [b, a] entonces a f (x)dx = b f (x)dx.
ResultaRentonces que Rsi f es continua
R c en un intervalo que contiene a a, b y c enc
b
tonces a f (x)dx = a f (x)dx + b f (x)dx. El caso a b c ya se vio: para extenderlo a los otros casos hace falta discutir segn las posibles ordenaciones
de a, b y c. Sea
R a por ejemplo Rbc c a.R aPor la aditividad (prueba de la Proposicin
208): R b f (x)dx = bR f (x)dx + c f (x)dx. Al trasponer tenemos que
Ra
a
c
b f (x)dx + b f (x)dx = c f (x)dx. Finalmente aplicando la Definicin 209
se recupera la aditividad
R a extendida.
R cLos otros casos
R a son similares.
Rc
Rc
Tambin resulta a f (x)dx = a f (x)dx+ c f (x)dx = a f (x)dx a f (x)dx =
0.
Rb
Rb
Rb
Rb
Ejemplo 210 a (x2 + 2)dx. Por linealidad: a (x2 + 2)dx = a x2 dx + a 2dx.
Rb
Rb
Ra
Rb
3
3
Adems: a x2 dx = 0 x2 dx 0 x2 dx = b3 a3 . Como a 2dx = 2(b a), entonces
Rb
3
3
la integral de inters vale a (x2 + 2)dx = b a
+ 2(b a).
3
4.4.
Extensin a funciones seccionalmente continuas
Hemos probado la integrabilidad y las propiedades elementales de la integral para

el caso de funciones continuas. Una pregunta natural es en qu medida la integrabilidad
puede extenderse a funciones con discontinuidades en el intervalo de integracin [a, b].
Para funciones acotadas, tenemos definidas las sumas superiores e inferiores S(f, P )
y s(f, P ) y las sumas de Riemann. Si se repasa la prueba de la integrabilidad para funciones continuas, se observa que la continuidad de la funcin es utilizada solo en el
Lema 204, que afirma que > 0, > 0 : |P | < S(f, P ) s(f, P ) < . A
partir del Lema 204 deducimos el Teorema 30 en que se prueba la integrabilidad de las
funciones continuas.
Por otra parte, el Lema 204 vuelve a utilizarse en el Teorema 31 y su Corolario 206
para obtener a la integral como lmite de sumas de Riemann y deducir de all las propiedades. En otras palabras, si una funcin f cumple el Lema 204, puede probarse la
integrabilidad para f y todas las propiedades que goza la integral de funciones continuas que hemos visto hasta el momento.
A continuacin extendemos el Lema 204 para funciones seccionalmente continuas
(continuas a tramos o a trozos).
Definicin 211 Una funcin f es seccionalmente continua si y solo si tiene a lo sumo
un nmero finito de puntos de discontinuidad, con lmites laterales finitos.
90

Ejemplo 212 La funcin dada por f (x) =

nua.

sen x1 )
1
0
si x > 0
es seccionalmente contisi x 0
1
x
-1
sen x1 si x 6= 0
no es seccionalmente
0
si x = 0
continua, pues no existen los lmites laterales en x = 0.

Ejemplo 213 La funcin dada por f (x) =
Ejercicio 214 Una funcin seccionalmente continua en un intervalo [a, b] es acotada.

Esto permite definir S(f, P ) y s(f, P ) para este caso.
Lema 215 (Extensin del Lema 204) Si f es seccionalmente continua en [a, b] entonces
> 0 > 0 : |P | < S(f, P ) s(f, P ) < .
Demostracin. Por simplicidad, suponemos que f tiene un nico punto de discontinuidad c [a, b]. Adems, f es acotada (Ejercicio 214). Sean k = sup |f (x)|, x [a, b] y
P = {x0 , x1 , . . . , xn } una particin de [a, b]. Luego:
S(f, P ) s(f, P ) =
n1
X
(Mi mi )(xi+1 xi ).
i=0
El punto c pertenece a lo sumo a 2 intervalos [xi , xi+1 ]. No es difcil ver que se

puede elegir tal que si |P | < se tiene en los intervalos [xi , xi+1 ] que no contienen
. Para hacerlo, definir g(x) = f (x)

a c la siguiente desigualdad (Mi mi ) < 2(ba)
para x [a, c) y g(c) = lmxc f (x), mientras que h(x) = f (x) para x (c, b],
y h(c) = lmxc+ f (x). Luego g y h son uniformemente continuas en [a, c] y [c, b]
respectivamente, donde se deduce lo anterior, ya que en los intervalos que no contienen
a c, coinciden con f . Entonces:
n1
(Mi mi )(xi+1 xi ) <

(xi+1 xi ) < .
2(b a) i=0
2
{i{0,...,n1}: c[x
/ i ,xi+1 ]}
4.5. Teoremas fundamentales
91
f (x)
b = xn
En los intervalos que contienen a c (que pueden ser uno o dos), acotamos (Mi
mi )(xi+1 xi ) < 2k. Como son a lo sumo dos, se deduce que S(f, P ) s(f, P ) <
+4k si |P | < . Si elegimos tal que adems < 8k

, se tiene S(f, P )s(f, P ) < .
2
Corolario 216 Funciones seccionalmente continuas en [a, b] son integrables sobre

[a, b].
Nota 217 Es posible extender el Lema 215 (y por lo tanto la integrabilidad) a funciones ms generales que las seccionalmente continuas. Se dice que una funcin es
integrable (segn Riemann) cuando esto puede hacerse. No estudiaremos esta generalizacin. Ver, por ejemplo, Captulo 9 de [2]. En estos casos la tesis del Corolario 206
se puede tomar como la definicin de la integrabilidad (Riemann).
El siguiente ejemplo muestra que hay funciones que no son integrables.

1 si x [0, 1], x racional
Ejemplo 218 La funcin de Dirichlet f (x) =
no es
0 si x [0, 1], x irracional
integrable, pues para todo intervalo [xi , xi+1 ] se tiene Mi = 1 mientras que mi = 0, ya
que en todo intervalo hay racionales e irracionales. Luego S(f, P ) = 1 y s(f, P ) =
0, P , y 0 = supP s(f, P ) < nf P S(f, P ) = 1.
Notar que la funcin de Dirichlet es discontinua en todo punto de [0, 1]. Existen versiones ms generales de la integral (integral de Lebesgue) que incluyen la funcin de
Dirichlet, aunque no cualquier funcin. No entraremos en esto.
4.5.
Teoremas fundamentales
4.5.1.
Teorema del valor medio
Comencemos definiendo el valor medio de una funcin en un intervalo. Este representa la altura promedio de la grfica (ver Figura 4.3 tal que el rea por debajo de
la constante coincide con el de la funcin.
92
f (x)
Figura 4.3: Valor medio de una funcin en un intervalo

Definicin 219 Sea f una funcin seccionalmente continua en [a, b]. Se llama valor
Rb
1
medio de f en [a, b] al nmero = ba
f (x)dx.
a
Teorema 32 (Teorema del Valor Medio) Sea f continua en [a, b], y su valor medio.
Entonces, existe c [a, b] tal que f (c) = .
Demostracin. Sean M y m el mximo y mnimo de f en [a, b]. Integrando en [a, b] y
aplicando la propiedad 4, se tiene que:
Z b
f (x)dx M (b a) m M.
m(b a)
a
Como m y M son los valores de f en dos puntos de [a, b] y f es continua, por el

Corolario 168 del Captulo 3, f debe tomar el valor en un punto intermedio.
Ejercicio 220 Dar un ejemplo de funcin seccionalmente continua en que el valor

medio no sea alcanzado por f .
4.5.2.
Teorema Fundamental del Clculo Integral
Hasta ahora tenemos una definicin de integral con buenas propiedades, pero el
procedimiento de clculo (como lmite), si bien puede ser til desde el punto de vista
de obtener aproximaciones numricas, no es cmodo del punto de vista analtico.
Encaramos esto a continuacin; como se ver, el clculo se basa en el proceso
inverso a la derivacin.
Definicin 221 F (x) es una primitiva de f (x) en un intervalo I si F 0 (x) = f (x), x
I.
93
Proposicin 222 Si F y G son primitivas de f en un intervalo I, entonces difieren en

una constante (es decir que F (x) = G(x) + C, x I).
Demostracin. F 0 (x) = G0 (x) = f (x) F 0 (x) G0 (x) = 0 x I. La funcin
H(x) = F (x) G(x) tiene derivada idnticamente nula. Si suponemos H(x1 ) 6=
2)
H(x2 ) entonces H(xx11)H(x
6= 0, y por el Teorema 23 de Lagrange, se obtendra un
x2
0
punto intermedio c tal que H (c) 6= 0, lo que es absurdo.
Rx
Sea f seccionalmente continua. Consideremos F (x) = a f (t)dt, donde a es fijo y
x variable (se utiliza la variable t, variable muda dentro de la integral para distinguir
del extremo).
f (t)
F (x)
Teorema 33 (Teorema Fundamental del Clculo Integral) Si f es seccionalmente

Rx
continua en un intervalo abierto I, a I, y se considera F (x) = a f (t)dt para
x I, entonces:
1. F es continua en I
2. Si f es continua en x0 , F es derivable en x0 , y F 0 (x0 ) = f (x0 ).
Demostracin.
R x+h
R x+h
1. Sea h > 0, |F (x + h) F (x)| = | x f (t)dt| x |f (t)|dt. Puesto que
f es seccionalmente continua, es acotada en un entorno de x (|f (t)| k), y
entonces |F (x + h) F (x)| k|h|. Si h < 0, se obtiene de todas formas que
|F (x + h) F (x)| k|h|, de donde se deduce que F es continua.
94
2. Como f es continua en x0 y f tiene a lo sumo un nmero finito de discontinuidades, f es continua en E(x0 , ). Para |h| < :
Z
F (x0 + h) F (x0 )
1 x0 +h
=
f (t)dt = f (x0 + eh),
h
h x0
con e : 0 < e < 1, gracias al Teorema 32 del valor medio, donde se debe
distinguir entre los casos h > 0 y h < 0. Tomando lmite con h 0:
lm
h0
F (x0 + h) F (x0 )
= lm f (x0 + eh) = f (x0 ),
h0
h
(4.3)
por lo que la derivada F 0 (x0 ) existe, y vale F 0 (x0 ) = f (x0 ).
Corolario 223 Si f es continua en [a, b], F (x) =

(a, b) (continua en los extremos a y b).
Rx
a
f (t)dt es una primitiva de f en
Corolario 224 (Regla de Barrow) Sea f continua en [a, b] y G primitiva de f en

Rb
[a, b]. Entonces a f (t)dt = G(b) G(a) = G(x)|ba
Rx
Demostracin. Por la Proposicin 222, G difiere de F (x) = a f (t)dt en una constante (F es otra primitiva):
Z x
f (t)dt + C,
G(x) =
a
para x (a, b) (y para x [a, b] por continuidad). Entonces G(b) G(a) =
Rb
a
f (t)dt.
4.5.3.
Ejemplos
El inters de la Regla de Barrow es que cualquier primitiva, incrementada, nos da

la integral. Veamos a continuacin algunos ejemplos en que la primitiva es conocida.
En la seccin siguiente veremos mtodos de clculo de primitivas para ms funciones.

Rx
1 si x [0, 1]
Ejemplo 225 Sean f (x) =
y F (x) = 0 f (t)dt.
0 si x
/ [0, 1]
Para x 0, claramente F
R x(x) = 0.
Para x [0, 1], F (x) = 0 1dt = x
R1
Rx
Para x 1, F (x) = 0 1dt + 1 0dt = 1.
La funcin F (x) es continua en todo punto y derivable en los puntos de continuidad
de f (x), en los que se cumple F 0 = f (x). Se comprueba en este caso el Teorema
Fundamental 33.
95
f (x)
1
F (x)
Ejemplo 226
Ra
0
xn . Aplicamos la Regla de Barrow con primitiva

Z
xn dx =
xn+1
:
n+1
xn+1 a
an+1
|0 =
.
n+1
n+1
Se puede comprobar que para el caso n = 2 recuperamos el Ejemplo 207.

R
Ejemplo 227 0 sen(x)dx = ( cos(x))|0 = cos()+cos(0) = 2, y el valor medio
de sen(x) en el intervalo [0, ] es 2 .
sen(x)
1
Ejemplo 228
Rb
Ejemplo 229
R1
R1
xdx = 0 x1/2 = 23 x3/2 |10 = 23 .
0
1
dx
1 x
= log(x)|b1 = log(b).
96
Rx
Ejemplo 230 Hallar c y f continua tal que c f (t)dt = cos(x) 21 .
Derivando a ambos lados tenemos que f (x) = sen(x), y por la Regla de Barrow:
Z x
(4.4)
(sen(t))dt = cos(t)|xc = cos(x) cos(c),
c
por lo que c debe cumplir cos(c) = 12 . Por ejemplo, c = 3 .

Rx
R x2
Ejemplo 231 Si F (x) = 0 (1+t1 2 )3 dt y G(x) = 0 (1+t1 2 )3 dt, hallar F 0 (x) y G0 (x).
Por el Teorema Fundamental del Clculo, F 0 (x) = (1+x1 2 )3 . Observando que
G(x) = F (x2 ), podemos derivar la funcin compuesta mediante regla de la cade2x
na: G0 (x) = F 0 (x2 )2x = (1+x
4 )3 .
4.6.
Clculo de primitivas
R
Notaremos por f (x)dx al conjunto de las primitivas de f (x). El problema es
hallar una primitiva F (x), para poder aplicar la Regla de Barrow. El camino a seguir
es, conociendo un nmero reducido de primitivas (identificables
R como derivadas de
funciones), mediante transformaciones y propiedades, escribir f (x)dx en funcin de
primitivas conocidas.
Es importante saber que el problema de hallar funciones elementales F (x) (que son
las resultantes de operar y/o componer polinomios, ex , sen(x), cos(x) y sus inversas)
que sean primitivas de otras funciones elementales, no siempre tiene solucin.
En particular, existen funciones V : R R derivables en todo punto cuya derivada
V 0 es acotada, pero no integrable. Por tanto V es una primitiva de V 0 pero esa primitva
no puede escribirse como la integral de V 0 , como indica la frmula de G en la demostracin de la regla de Barrow. La llamada funcin de Volterra (cuya construccin est
basada en la funcin x2 sen(1/x)) es un ejemplo de esta situacin.
El conjunto de partida para el clculo explcito de primitivas es el de las llamadas
primitivas elementales:
R
Adx = Ax + C.
R
+1
x dx = x+1 + C, 6= 1.
R dx
= log |x| + C.
x
R x
e dx = ex + C.
R
sen(x)dx = cos(x) + C.
R
cos(x)dx = sen(x) + C.
4.6. Clculo de primitivas
97
dx
sen2 x
= cot(x) + C.
dx
1+x2
= arctan(x) + C.
dx
1x2
dx
cosh2 (x)
= tanh(x) + C.
dx
senh2 (x)
= coth(x) + C.
dx
1x2
= arctanh(x) + C.
dx
cos2 x
= tan(x) + C.
dx
x2 1
= arccosh(x) + C.
dx
1+x2
= arcsenh(x) + C = log |x +
4.6.1.
= arcsen(x) + C.
1 + x2 | + C.
Linealidad de la primitivaa
R
Sean
f
y
g
funciones
continuas
en
un
intervalo
[c,
d].
Entonces
(af + bg)dx =
R
R
a f dx + b gdx.
Rx
Rx
Rx
Si F es primitiva de af +bg,
F = c (af +bg)+C = a c f +b c g +C.
R entonces
R
Por tanto F es primitiva de a f +b g o sea, F es combinacin lineal de una primitiva
de f y una primitiva de g. (La inclusin en el otro sentido es semejante.)
Ejemplo 232
R
R
(3 cos(x) + 2ex )dx = 3 cos(x)dx + 2 ex dx = 3 sin(x) + 2ex + C.
Ejemplo 233
(an xn +an1 xn1 +. . .+a1 x+a0 )dx = an xn+1 +. . .+a1 x2 +a0 x+C.
n+1
R
Ejemplo 234 cos2 (x)dx
Recordando las frmulas trigonomtricas cos2 (x) + sen2 (x) = 1 y
cos2 (x) sen2 (x) = cos(2x) se obtiene cos2 (x) = 1+cos(2x)
, por lo que:
2
Z
1
sen(2x)
cos2 (x)dx = x +
+ C.
2
4
98
4.6.2.
Integracin por sustitucin
Si se tiene resuelto el problema de hallar una primitiva para una funcin f (x) continua en un intervalo entonces tambin puede hallarse la primitiva de f (g(t))g 0 (t) donde
con f . En efecto, sea
Rg es una funcin con derivada continua que puede componerse
R
0
f (x)dx = F (x) + C (F primitiva de f ). Entonces f (g(t))g (t)dt = F (g(t)) + C.
Esto se debe a que por la regla de la cadena, (F og)0 (t) = F 0 (g(t))g 0 (t) = f (g(t))g 0 (t).
Veamos un ejemplo:
R
R
Ejemplo 235 t3 cos(t4 )dt = 14 (4t3 )(cos(t4 ))dt.
integral, considerando x = g(t) = t4 y f (x) = cos(x) tenemos
R En la segunda
1
0
f (g(t))g (t).R
4
R
Resolvemos
f (x)dx = cos(x)dx = sen(x) + C, y componiendo con g(t) se
R 3
obtiene t cos(t4 ) = 14 sen(t4 ) + C.
La notacin de Leibnitz para la integral resulta especialmente adecuada para tratar
este procedimiento.
Si x = g(t),
g 0 (t) R= dx
o tambin dx = g 0 (t)dt.
dt
R escribimos
0
Tenemos f (g(t))g (t)dt = f (x)dx = F (x) + C = F (g(t)) + C.
El trmino dx en la integral sirve como recordatorio de que la variable de integracin es x, y que si se realiza una sustitucin x = g(t), debe ponerse dx = g 0 (t)dt. De
otroRmodo, nos
R sentiramos inclinados a escribir
f (x) = f (g(t)), que NO es correcto.
R
Ejemplo 236 cos2 (t)sen(t)dt. Poniendo x = cos(t). dx = sen(t)dt, entonces:
Z
Z
cos3 (t)
x3
2
+ C.
cos (t)sen(t)dt = x2 dx = + C =
3
3
R
R
Ejemplo 237 sen(t t) dt = 2 sen(u)du = 2 cos(u)+C = 2 cos( t)+C, donde
.
se ha hecho el cambio de variable u = t, du = 2dt
t
R
R
R
Ejemplo 238 tg(t)dt = sen(t)
dt = du
= log |u| + C = log | cos(t)| + C,
cos(t)
u
donde se ha hecho el cambio de variable u = cos(t), du = sen(t)dt.
R x
R du
1
=
Ejemplo 239 1+x
dx
=
u
+
C
=
1 + x2 + C, donde se ha hecho el
2
2
u
cambio de variable u = x2 + 1, du = 2xdx.
R3
Ejemplo 240 Supongamos que se quiere calcular la integral definida 1 log(x)
dx. Calx
culamos la primitiva por cambio de variable:
Z
Z
log(x)
u2
(log(x))2
= udu =
+C =
+ C,
x
2
2

donde u = log(x), du =
Z
1
dx
.
x
99
Luego, evaluamos la primitiva:
log(x)
dx =
x
(log(x))2
2

3 (log(3))2
.
=
2
1
Sin embargo, lo anterior puede hacerse de otro modo, incluyendo los extremos en
el cambio de variables. Con el mismo cambio:
Z log(3)
Z 3
(log(3))2
log(x)
dx =
udu =
.
x
2
0
1
Como la segunda integral es en la variable u = log(x), se transformaron los extremos
1 y 3 en log(1) y log(3) respectivamente.
Justifiquemos este paso con una proposicin de carcter general.
Proposicin 241 Sean f : I R continua, g : [a, b] R con derivada continua y
Rb
R g(b)
g([a, b]) I. Entonces a f (g(t))g 0 (t)dt = g(a) f (x)dx.
Demostracin. Si F (x) es primitiva de f , ya se vio que F (g(t)) es primitiva de
f (g(t))g 0 (t). Entonces:
Z
a
b
g(b) Z

f (g(t))g (t)dt = F (g(t)) = F (g(b)) F (g(a)) = F (x)
=
g(b)
g(a)
f (x)dx.
g(a)
R1
Ejemplo 242 1 1 x2 dx. Si se pone x = sen(t), para t [/2, /2] se tiene
que 1 x2 = cos(t). Adems dx = cos(t)dt, de donde:

Z
1 x2 dx =
/2
/2
cos (t)dt =
t sen(2t)
+
2
4

/2
= /2.

/2
En los Ejemplos 242 y 240, se calcul la integral sin obtener la primitiva de la funcin,
sino evaluando la integral en la nueva variable. El Ejemplo 242 muestra, sin embargo,
una diferencia respecto a los anteriores. En los anteriores se saba integrar f (x) y se
utilizaba el cambio para integrar f (g(t))g 0 (t). En el Ejercicio 242, es exactamente al
revs.
Si se quiere utilizar este procedimiento para calcular la primitiva de 1 x2 (no

solo la integral definida), estamos en el caso en que se dispone de F (g(t)) y se busca
F (x). Hace falta componer con la funcin inversa t = g 1 (x), para lo cual sta debe
existir (en los anteriores clculos de primitiva, esto no haca falta).
100
En este caso x = sen(t) tiene inversa t = arcsin(x), para t [ 2 , 2 ], x [1, 1].

Se tiene entonces:
Z
1
1
1 x2 dx = arcsin(x) + sen(2 arcsin(x)), x [1, 1].
2
4
En los ejercicios se vern ms ejemplos de clculo de integrales por cambio de
variable. Como se ve de los ejemplos, no existe un mtodo para encontrar un cambio
de variable adecuado. Recurrimos a la intuicin (que se desarrolla con la prctica)
y a algo de tanteo. Por otra parte, no siempre puede resolverse una integral por este
camino. Veremos a continuacin otro ejemplo importante.
4.6.3.
Integracin por partes
Proposicin 243 Sean f y g funciones con derivada continua. Entonces:

Z
Z
0
f (x)g (x)dx = f (x)g(x) f 0 (x)g(x)dx.
Demostracin. Como (f g)0 = f g 0 + f 0 g, entonces
f (x)g(x) + C.
f (x)g 0 (x)dx +
f 0 (x)g(x)dx =
b R
Rb

b
Corolario 244 a f (x)g 0 (x)dx = f (x)g(x) a f 0 (x)g(x)dx
a
La demostracin es inmediata a partir de evaluacin de las primitivas.

Las identidades anteriores dan un mtodo para calcular integrales, transformando
la integral de f g 0 en la de f 0 g. Si se sabe calcular esta ltima, resulta conveniente la
integracin por partes.
R
Ejemplo 245 xex dx. Como se conoce primitiva de ex , es conveniente poner g 0 (x) =
ex y f (x) = x. Tenemos
Z
Z
x
x
xe dx = xe ex dx = (x 1)ex + C.
R
R
Ejemplo 246 x2 sen(x)dx = x2 cos(x) + 2x cos(x)dx, donde seRha integrado
por partes tomando f (x) = x2 y g 0 (x) = sen(x). No conocemos an x cos(x)dx,
pero la reducimos por una nueva integracin por partes:
Z
Z
x cos(x)dx = xsen(x) sen(x)dx = xsen(x) + cos(x) + C.
Sustituyendo, tenemos entonces que:
Z
x2 sen(x)dx = (2 x2 ) cos(x) + 2x sin(x) + C.
101
R
Ejemplo 247 log(x)dx. Aqu aparece una sola funcin en el integrando, pero siempre podemos escribir log(x) = 1 log(x). Aprovechando
R que log(x) tiene derivada
0
sencilla, ponemos f (x) = log(x) y g (x) = 1. Entonces log(x)dx =
Z
Z
1
1 log(x)dx = x log(x) x dx = x log(x) x + C = (x 1) log(x) + C.
x
4.6.4.
Primitivas de Funciones Racionales
Veremos a continuacin la resolucin completa del problema de hallar la primitiva

P (x)
de una funcin racional, es decir para un cociente de polinomios f (x) = Q(x)
.
Una primera observacin es que basta resolver el caso en que gr(P ) < gr(Q) (el
grado del numerador es menor que el del denominador). Esto se debe a que siempre
puede realizarse la divisin entera de los polinomios P (x) = C(x)Q(x)+R(x), donde
P (x)
R(x)
R(x) = 0 o gr(R) < gr(Q), por lo que Q(x)
= C(x) + Q(x)
.
El primer sumando es un polinomio y su primitiva se obtiene fcilmente (Ejemplo 233). El problema se reduce entonces al segundo sumando.
Un teorema de la teora de polinomios, que enunciamos a continuacin sin demostracin, permite reducir el problema a la primitiva de fracciones ms simples.
Teorema 34 (Descomposicin en fracciones simples) Todo cociente de polinomios
P (x)
con gr(P ) < gr(Q), puede descomponerse de forma nica en suma de cocientes
Q(x)
ms simples, correspondiendo a cada raz de Q(x), las siguientes fracciones:
1. Raz real simple
A
.
x
2. Raz real de multiplicidad k
A1
x
3. Races complejas simples i
A2
(x)2
+ ... +
Ak
.
(x)k
M x+N
.
(x)2 + 2
4. Races complejas i con multiplicidad k
M1 x+N1
(x)2 + 2
+...+
Mk x+Nk
((x)2 + 2 )k
Omitimos la demostracin, que corresponde a cursos anteriores. El lector interesado

puede verla en la Seccin 23.6 de Kudrivtsev [6] o Seccin 3.12 del libro de Courant
y John [5].
Observacin. Si el denominador ax2 + bx + c tiene races complejas i,
M1 x+N1
entonces: ax2 + bx + c = a((x )2 + 2 ) y se usa la fraccin a((x)
2 + 2 ) .
Ejemplo 248 Descomposicin de
A, B, B2 y B3 tales que:
1
.
(x1)(x+1)3
Por el Teorema 34 sabemos que existen
1
A
B1
B2
B3
=
+
+
+
(x 1)(x + 1)3
(x 1) (x + 1) (x + 1)2 (x + 1)3
Para hallar los coeficientes:
102
1. Multiplicamos a ambos lados por (x 1) y tomamos lmite en x = 1. Resulta

A = 1/8.
2. Multiplicamos por (x + 1)3 , tomamos lmite en x = 1. Resulta B3 = 12 .
3. Multiplicamos por x, tomamos lmite con x , y se consigue que A+B1 = 0,
B1 = 1/8.
4. Evaluamos en x = 0 1 = A + B1 + B2 + B3 B2 = 1/4.
Nota 249 Los pasos anteriores son convenientes para simplificar los clculos, pero
conviene observar que los coeficientes pueden hallarse evaluando en puntos y resolviendo el correspondiente sistema de ecuaciones lineales o tomando denominador comn e identificando los coeficientes del numerador.
Del Teorema 34 surge, entonces, que basta con conocer las primitivas de las fracciones simples para resolver cualquier funcin racional. Las obtenemos:
R dx
= log |x | + C.
(i) x
(ii)
(iii)
dx
(x)k
1
1
= k1
+ C, (k > 1).
(x)k1
R M (x)
R M +N
= (x)
dx, donde es posible resolver por
2 + 2 dx +
(x)2 + 2
separado ambas integrales. La primera vale:
Z
Z
M (x )
M
du
M
dx =
=
log(u + 2 ) + C,
2
2
2
(x ) +
2
u+
2
M x+N
dx
(x)2 + 2
siendo u = (x )2 , mientras que para la segunda integral:

Z
Z
M + N
M + N
du
M + N
dx =
=
arctan(u) + C,
2
2
2
(x ) +
u +1
donde u =
Z
x
.
A partir de esto, tenemos que:
M
Mx + N
M + N
x
dx =
log((x )2 + 2 ) +
arctan(
) + C.
2
2
(x ) +
2
Observacin. En la pareja conjugada i de races complejas en la integral

de arriba el signo de que uno elige es indiferente, ya que los sumandos del
trmino de la derecha son funciones pares con respecto a (la funcin inversa
de la tangente -arctan- es impar, por serlo la tangente).

(iv)
M x+N
dx
((x)2 + 2 )k
103
M (x)
dx
((x)2 + 2 )k
+ (M + N )
dx
.
((x)2 + 2 )k
Nuevamente calculamos por separado cada una de las dos ltimas integrales. La
primera es igual a
Z
M
du
1
M
=
+C
2
k
2
(u + )
2 (k 1)(u + 2 )k1
1
M
=
+ C,
2(k 1) ((x )2 + 2 )k1
mientras que la segunda integral es igual a:
Z
Z
M + N
dx
du
M + N
=
2k
2
2
k
2k1
2
((x ) / + 1)
(u + 1)k
La integracin del ltimo trmino puede resolverse en forma iterativa reduciendo
el orden de k mediante una integracin por partes. Esto se ver en el curso prctico.
Ejemplo 250 (Continuacin)
1
1
+ C.
4 (x+1)2
dx
(x1)(x+1)3
1
8
log |x 1| 18 log |x + 1| +
1 1
4 x+1
Terminamos el tema con un ejemplo completo.

Ejemplo 251
7x4 +2x3 7x2 6x+2

dx.
(x+1)2 (x2)(x2 +1)
El primer paso es aplicar el Teorema 34:
7x4 + 2x3 7x2 6x + 2

A
B
C
Mx + N
=
+
+
+ 2
.
2
2
2
(x + 1) (x 2)(x + 1)
(x 2) (x + 1) (x + 1)
x +1
Multiplicando por (x 2) y tomando x 2: A = 2.
Multiplicando por (x + 1)2 y tomando x 1: C = 1.
Multiplicando por x2 + 1 y tomando x i:
7 2i + 7 6i + 2
= M i + N.
(i + 1)2 (i 2)
Operando se obtiene 8 4i = (2M N ) + (2N M )i, de donde se deduce que
M = 4 y N = 0.
Multiplicamos por x, y tomamos x : 7 = A + B + M , por lo que B = 1.
Reuniendo la informacin:
Z
7x4 + 2x3 7x2 6x + 2
1
dx = 2 log |x2|+log |x+1|+
+2 log(x2 +1)+C.
2
2
(x + 1) (x 2)(x + 1)
x+1
104
Existen mtodos para encontrar primitivas de funciones no racionales de algunos

tipos particulares. En [6] se dan algunos casos.
Sin embargo, no existe un mtodo general que permita obtener primitivas
R de2 las
funciones elementales, como ya se adelant. Por ejemplo, las primitivas ex dx,
R sen(x)
dx no pueden expresarse en trminos de las funciones elementales (hecho que
x
no probaremos aqu).
Sealamos que esto no quiere decir que las primitivas no existan. La siguiente
funcin:
Z x
2
(x) =
et dt,
(4.5)
0
2
que por cierto es muy utilizada en probabilidades, es una primitiva de et . Lo que

ocurre es que (x) no puede escribirse como una funcin elemental.
Para evaluar integrales en estos casos, debe recurrirse inevitablemente a aproximaciones numricas.
4.7.
Mtodos numricos de integracin
En las secciones anteriores se busc calcular integrales por mtodos analticos, que
nos den el valor de la integral en trminos de funciones conocidas. Como se seal,
esto no siempre es posible. Por otra parte, si se buscan valores numricos, de todas
formas habr que calcular estas funciones (por ejemplo, un logaritmo) en trminos
aproximados.
Los mtodos numricos de integracin (antiguamente
llamados de cuadratura)
Rb
proveen aproximaciones numricas al valor a f (x) dx, independientemente del carcter elemental o no de la primitiva. Por otra parte, un buen mtodo debe permitir
acotar el error metido en la aproximacin. Estos mtodos han sido potenciados por
el advenimiento de las computadoras y corresponden a una rama de la matemtica, el
anlisis numrico. No pretendemos aqu adentrarnos en ella, sino dar ejemplos introductorios de algunos de sus mtodos.
En principio, cualquier suma de Riemann es una aproximacin numrica a la integral, en la que se ha dividido el intervalo [a, b] de acuerdo a una particin, y se aproxima
la funcin en el intervalo [xi , xi+1 ] por una constante f (xi ). Este seraa un primer mtodo. Si la funcin f es suficientemente regular, es de esperarse que la aproximacin
mejore si se utiliza una recta adecuada, por ejemplo, en lugar de una constante. Esto
conduce a los mtodos que presentamos a continuacin.
Consideremos P = {x0 , x1 , . . . , xn } con xi = a + h i , h = ba
particin en n
n
intervalos iguales.
Z
I=
f (x) dx =
a
n1
X
i=0
xi+1
Ii , con Ii =
f (x) dx
xi
4.7. Mtodos numricos de integracin
105
Notaremos fi al valor f (xi ), i = 0, . . . , n. En cada mtodo I (n) denotar la aproximacin a la integral, con una particin de n intervalos. El error cometido es I I (n) .
4.7.1.
Mtodo de los rectngulos
Aproximamos Ii por f (xi )h

I
(n)
n1
X
f (xi )h = h
n1
X
i=0
fi
i=0
n
I (n) es una suma de Riemann (con xi = xi ) lo que asegura que I (n)

I
f (x)
xi
4.7.2.
xi+1
Mtodo del trapecio
Aproximamos Ii por
fi +fi+1
h
2
I (n) =
h
(f0 + fn ) + h(f1 + f2 + + fn1 )
2
Es fcil ver que I (n)

I (es el promedio de dos sumas de Riemann).
4.7.3.
Mtodo del punto medio o de la tangente
Aproximamos Ii por f (xi )h, con xi = xi +x2 i+1 .

Esto equivale a tomar un rectngulo de altura f (xi ), o tambin un trapecio que
se obtiene de la recta tangente en el punto medio (o cualquier otra recta en el punto
106
f (x)
xi
xi+1
medio).
I
(n)
=h
n1
X
f (xi )
i=0
n
I (n)
I por ser suma de Riemann.
f (x)
f (xi )
xi
4.7.4.
xi
xi+1
Mtodo de la parbola o regla de Simpson
Se toma n = 2m, y para i par, se aproxima Ii + Ii+1 por la integral de la parbola

por los puntos (xi , fi ), (xi+1 , fi+1 ), (xi+2 , fi+2 ).
Con algo de trabajo se encuentra que esta integral vale h3 (fi + 4fi+1 + fi+2 )
(n)
I = h3 (f0 + f2m ) + 2h
(f2 + f4 + . . . + f2m2 ) + 4h
(f1 + f3 + . . . + f2m1 ). Se verifica
3
3
(n) n
tambin I
I. Este hecho nos da garantas de que asintticamente, el mtodo es
4.7. Mtodos numricos de integracin

f (x)
107
fi+1
fi+2
fi
xi
xi+1
xi+2
correcto. Pero, en la prctica se tiene un n limitado, y es til saber medir lo cerca que
se est del lmite. Para eso se deben dar cotas para el error cometido. Esto solo es
posible si se hacen hiptesis de regularidad sobre la funcin f , ya que de otro modo
no hay garantas de que f se comporte de manera predecible en los puntos donde es
evaluada.
Suponiendo que f tiene derivadas continuas hasta el orden k en [a, b], se define:
Mk = max{|f (k) (x)|, x [a, b]}.
Se tienen las siguientes cotas para cada mtodo, suponiendo en cada caso que f
tiene las derivadas necesarias.
Mtodo
Cota de |I I (n) | con h = (b a)/n
Rectngulo
1
M1 (b a)h
2
M2 (ba) 2
h
12
M2 (ba) 2
h
24
M4 (ba) 4
h
180
Trapecio
Tangente
Simpson
La prueba de las acotaciones se hace desarrollando a la funcin de Taylor en el

intervalo, hasta el orden suficiente, y acotando la integral del resto.
La realizamos, a modo de ejemplo, en el caso del punto medio o tangente.
Proposicin 252 Sea f una funcin con derivada segunda continua en [a, b].
Entonces:
Z

n1
b
X
xi + xi+1

M2
f (x)dx
f
h
(b a)h2 ,

a

2
24
i=0
donde h =
ba
n
y xi = a + ih.
108
Rx
Demostracin. Sea Ii = xii+1 f (x)dx. Desarrollamos por Taylor a la funcin f entorno al punto xi = xi +x2 i+1 , con el resto en la forma de Lagrange:
f (x) = f (xi ) + f 0 (xi )(x xi ) +
f 00 (c)
(x xi )2 ,
2
siendo c un punto intermedio entre xi y xi . Luego:

Z xi+1
Z
Z xi+1
0
(x xi )dx +
Ii =
f (x)dx = f (xi )h + f (xi )
xi
xi
Como el segundo trmino es f 0 (xi )
xi
xi + h
(xxi )2

2
xi+1
xi h
2
f 00 (c)
(x xi )2 dx
2
= 0, se obtiene que:
Z xi+1 00

f (c)
f 00 (c)
2

(x xi )2 dx
(x xi ) dx

2
2
xi
xi
h/2
Z
Z
M2 xi+1
M2 h/2 2
M2 u3
M2 h3
2
(x xi ) dx =
u du =
=
.
2 xi
2 h/2
2 3 h/2
24
Z

|Ii f (xi )h| =
xi+1
Entonces:
n1

n1
X

X
M2 h3
M2 (b a)h2

)h
|I
f
(x
)h|
n
=
.
I
f
(x

i
i
i

24
24
i=0
i=0
Las acotaciones del error presentadas nos muerstran que el mtodo ms eficiente es
el de Simpson, siempre que f tenga derivada cuarta, ya que el error es un infinitsimo
de mayor orden en h. Si h 0 (n +), el error en el mtodo de Simpson ser a
la larga menor. Existen otros mtodos (en los que no entraremos), que logran mayor
eficiencia utilizando particiones no uniformes, adaptndose de acuerdo a la funcin.
4.8.
Aplicaciones de la integral definida
4.8.1.
reas
Como la integral surgi del intento de calcular reas, esta es una primera aplicacin
natural.
Si f (x) 0 es seccionalmente continua en [a, b], definimos el rea de la regin de
puntos del plano {(x, y) : 0 y f (x), x [a, b]}, como el nmero:
Z b
A=
f (x) dx
a
4.8. Aplicaciones de la integral definida
109
y
f
Si se quiere definir (y calcular) el rea para una regin R del tipo R = {(x, y) :
f (x) y g(x), x [a, b]}, es natural tomar
b
g(x) dx
A(R) =
a
f (x) dx
a
No nos dedicaremos aqu a extender la nocin de rea a conjuntos ms complicados

y
g
R
f
a
del plano. Se volver sobre esto en el 2do. Curso.

Ejemplo 253 rea encerrada por la elipse
Z
A=
a
x2
b 1 2 dx
a
u= a
y2
b2
=1
x2
b 1 2 dx =
a
2b 1
a
x2
dx =
a2
1 u2 du = 2ab = ab
2
1
Z
=x 2ab
x2
a2
Observar que en el caso a = b (circunferencia de radio a), se obtiene la conocida

frmula A = a2 .
110
y
b
y=b
x2
a2
4.8.2.
q
1
q
y = b 1
x2
a2
Volmenes
Sea R un conjunto del espacio de tres dimensiones, que suponemos acotado. Buscamos una forma de calcular el volumen V (R).
Una vez ms, no hemos definido el volumen para tal conjunto. Este tema se retomar en el 2do. curso, pero veremos aqu un mtodo plausible para calcular el volumen
en algunos casos particulares, sin preocuparnos por formalizar.
Si R est acotado entre ls planos z = a y z = b, suponemos que al cortar R con un
plano de altura z [a, b], se obtiene una regin plana de rea A(z).
z
A(z)
zi
a
y
Consideremos una particin P = {z0 , z1 , . . . , zn } de [a, b], y aproximamos el volumen de la porcin de R comprendida entre los planos z = zi , z = zi+1 , por el volumen
del cilindro de base A(zi ) y altura (zi+1 zi ).
Pn1
El volumen aproximado es VP = i=0
A(zi )(zi+1 zi ). Si A(z) es seccionalmente
4.8. Aplicaciones de la integral definida
|P |0
continua, VP
Rb
a
111
A(z) dz. Esto nos lleva a calcular el volumen como:

Z
A(z) dz
V =
a
Ejemplo 254 [Volumen de la esfera]

2
2
2
Tomamos como regin R al conjunto de puntos x2 +
y + z R . Al cortar con
2
2
un plano de altura z, se obtiene un crculo de radio R z . Por lo tanto A(z) =
(R2 z 2 ) con z [R, R].
R

z 3 R
2 3
4
2
3
(R z ) dz = R z
V =
= 2R R = R3
3
3
3
R
R
Z
112
4.9.
Volumen de slidos de revolucin
Calculamos el volumen del cuerpo engendrado girando una regin del plano en
torno a una recta.
z
a
y = f (z)
y = f (z)
b
y
Figura 4.4: solido de revolucion

En la Figura 4.4, se ha girado la regin comprendida entre el eje Oz y la funcin
y = f (z), (z [a, b]), en torno al eje Oz. Se tiene A(z) = f 2 (z) V =
Rb
a f 2 (z)dz.
Habitualmente se expresan las regiones al girar en el plano xy. El volumen
R b 2engendrado por el rea debajo de y = f (x) al girar en torno a Ox es Vox = a f (x)dx.
y
f
Ejemplo 255 Volumen del cono recto de base circular (altura h, radio de la base r).
Lo obtenemos girando la siguiente regin en torno a Ox:
f (x) =
Vox
r2
= 2
h
Z
0
r
(x h)
h
(x h)2 dx =
r2 h
3
4.9. Volumen de slidos de revolucin
113
y
r
h
r
h
Ahora queremos girar la regin debajo de la funcin f (x) en torno a Oy (suponemos a 0).
Consideramos una particin P en [a, b]. Para un intervalo [xi , xi+1 ], aproximamos
la regin a girar por un rectngulo de altura f (xi ), donde se tom xi = xi +x2 i+1 (punto
medio).
y
xi
xi
xi+1
El volumen Vi que se obtiene al girar ese rectngulo se puede calcular como la

diferencia entre dos volmenes cilndricos, ambos de altura f (xi ) y con radios xi , xi+1 .
y
xi
xi+1
Vi = f (xi )(x2i+1 x2i )

Vi = f (xi )(xi+1 + xi )(xi+1 xi ) = 2f (xi )(xi )(xi+1 xi )
114
La aproximacin al volumen total es entonces:

Vp = 2
n1
X
xi f (xi )(xi+1 xi )
i=0
Cuando |P | 0, la suma anterior tiende a:

b
xf (x)dx
Voy = 2
a
Ejemplo 256 (Volumen del toro)

Un toro es un cuerpo en forma de anillo que se obtiene girando una circunferencia en
torno a un eje exterior. Por ejemplo la circunferencia (x R)2 + (y b)2 = r2 en
torno al eje Oy. (r < R).
Poniendo
p
f (x) = b + r2 (x R)2
p
g(x) = b r2 (x R)2
y
f (x)
g(x)
Rr
Z
R+r
Rr
Rr
(I)
=
2
v=r u2
dv=2udu
1
vdv
0 2
R0
=0
R+r
xg(x)dx = 4
= 4
(u + R) r2 u2 du = 4
u=xR
r
|
Z
R+r
R+r
xf (x)dx 2
Voy = 2
p
x r2 (x R)2 dx
Rr
Z r
2
2
u r u du + 4R
r2 u2 du
r
r
{z
} |
{z
}
(I)
(II)
4.10. Integrales impropias

Rr q
(II) = 4Rr r 1
115

u 2
r
du =u 4Rr
t= r
1 t2 dt = 2 2 Rr2
}
| 1 {z
Z
= 2
V = 2 2 Rr2
4.10.
Integrales impropias
En diversas aplicaciones es necesario integrar funciones en intervalo del tipo [a, +),
(, b], o (, +). Esto nos conducir a introducir las integrales impropias de primera especie. Tambin es posible que nos interesa integrar sobre un intervalo acotado,
una funcin que no es seccionalmente continua (por ejemplo, que tiene una discontinuidad infinita); esto nos llevar a las integrales impropias de segunda especie.
4.10.1.
Integrales impropias de primera especie
R +
Supongamos que f es continua en [a, +). Queremos
definir
f (t)dt. Un
a
Rx
camino es integrar en el intervalo [a, x], obtener F (x) = a f (t)dt y luego tomar el
lmite para x +. Llegamos a la definicin:
Rx
Definicin 257 Sea f continua en [a, +), F (x) = a f (t)dt.
R +
1. Si existe lm F (x) = L finito, decimos que la integral impropia a f (t)dt
x+
R +
converge y escribimos a f (t)dt = L.
2. Si lm F (x) es infinito, decimos que
R +
a
x+
3. Si no existe lm F (x), decimos que

x+
R +
a
f (t)dt diverge.
f (t)dt oscila.
Existe una fuerte analoga de la definicin anterior

con las correspondientes para
P
series.P
De hecho, el procedimiento para estudiar +
a
n=0 n es sumar hasta un cierto m,
m
sm = n=0 an , y estudiar el lmite de sm con m +.
Esta analoga se explotar en lo que sigue. Al igual que en las series, el primer
problema a abordar con una integral impropia es clasificarla en uno de los tres tipos.
R +
Ejemplo 258 1 t1 dt.
x
Z x
1
1 1
t
(x1 1) si 6= 1
= 1
1
1
1

F (x) =
dt =
x
(log(t)) = log(x)
1 t
si = 1
1
116
lm F (x) =
x+
Por lo tanto
R +
1
1
dt
t
1
1
si > 1
+ si < 1
+ si = 1
converge > 1.
D
1
En el caso de convergencia
Ejemplo 259
x +
R +
0
R +
1
1
dt
t
cos(t)dt oscila, ya que
1
.
1
Rx
0
Comparar con la serie
1
.
n
cos(t)dt = sen(x), no tiene lmite

para
Si f es continua en (, b] o (, +) el estudio se extiende de manera natural:

a)
Rb
f (t)dt. Se trata de forma anloga estudiando lm F (x), donde F (x) =

R + x
f (t)dt. Con el cambio u = t se reduce a b f (u)du, por lo que la teora
x
es aplicable.
Rb
b)
R +
f (t)dt. Elegimos a R y estudiamos las impropias
Ra
f (t)dt y
R +
a
f (t)dt.
R +
Ra
R +
Definicin 260 Decimos que f (t)dt converge si f (t)dt y a f (t)dt conR +
Ra
R +
vergen, y en ese caso f (t)dt = f (t)dt + a f (t)dt
Queda como ejercicio verificar que la definicin no depende de la eleccin de a.
+
R + dt
R + dt

=
2
=
2
(arctan(t))
= 2( 2 0) = .
Ejemplo 261 1+t

2
1+t2
0
0
Nota 262 Si
R +
f (t)dt converge, entonces lm
Rx
x+ x
f (t)dt =
R +
f (t)dt. Pero
este lmite puede existir aunque la integral impropia no sea convergente segn la deRx
R +
x+
finicin anterior. Por ejemplo x t dt = 0 0, pero t dt no converge. Se
R +
dice en este caso que la integral t dt tiene valor principal 0.
La analoga con las series hace pensar en extender las propiedades. Veamos algunas:
117
R +
R +
Proposicin 263 (Linealidad) Si a f (t)dt, a g(t)dt convergen.
Z
Z +
Z +
f (t)dt +
(f (t)dt + g(t)) dt converge y vale
g(t) dt
R +
R +
Proposicin 264 a f (t)dt y b f (t)dt son de la misma clase. (f continua en una
semirrecta [c, +) con a c, b c).
La demostracin es sencilla y queda como ejercicio.
P
En el caso de las series,Rtenamos una condicin necesaria de convergencia:
an C
n
+
an
0. Ser cierto que a f (t)dt converge lm f (t) = 0? El siguiente ejemt+
plo prueba lo contrario.

Ejemplo 265

f (t) =
1 si t [n, n +
0 en otro caso
1
],
2n
nN
f es seccionalmente continua en [0, x], x. Sea F (x) =
Rx
0
f (t)dt. Es claro que F es
y
1
1+
1
2
2
2+
1
22
3
3+
x
1
23
Rn
P
1 n+
creciente. Adems F (n) = 0 f (t)dt = n1
2. Se concluye finalmente
k=0 2k
R +
que lm F (x) = 2 = 0 f (t)dt. La integral impropia converge pero f no tiene
x+
lmite con t +
Nota 266 Si se quiere un ejemplo con f continua, se lo puede obtener con una ligera
modificacin en el anterior, por ejemplo utilizando tringulos de altura 2 y base 21n .
Otro
con apariencia menos artificial, es la integral impropia de Fresnel
R + ejemplo,
2
sen(t
)dt,
con aplicaciones en ptica). Es claro que lm sen(t2 ) no existe. Pro0
t+
baremos ms adelante que la integral impropia converge. En los ejemplos anteriores

no existe el lmite de f (t) con t . En caso de existir el lmite es necesario que
valga 0.
R +
Ejercicio 267 a f (t)dt converge, lm f (t) = L. Probar que L = 0.
t+
118
y
2
1+
1
2
2
2+
1
22
3
3+
x
1
23
sen(x2 )
4.10.2.
Caso integrando no negativo
Al igual que en las series, un caso particular en que la clasificacin es ms simple

es el caso f (t) 0.
Rx
Proposicin 268 f (t) 0 en [a, +), F (x) = a f (t)dt, definida x > a. EntonR +
ces F es creciente y por tanto: a f (t)dt converge F es acotada superiormente.
Demostracin.
Ry
Si y > x F (y) F (x) = x f (t)dt 0 F creciente.
Si F no es acotada superiormente, se deduce que lm F (x) = +
x+
Si F es acotada superiormente, sea
sup F (x) = L. Se prueba fcilmente que

x[a,+)
lm F (x) = L
x+
Corolario 269 (Criterio de comparacin) 0 f (t) g(t), t > a. Entonces:

Z
Z
g(t)dt C
f (t)dt C
a
Z
f (t)dt D
g(t)dt D
a
119
Demostracin.R
Rx
x
Sean F (x) = a f (t)dt, G(x) = a g(t)dt. Se cumple que F (x) G(x) x > a, y
ambas son crecientes. Por lo tanto:
Z +
Z +
Si
g(t)dt C G es acotada F es acotada
f (t)dt C
a
El otro caso es anlogo.
R +
Ejemplo 270 0 tn et dt, n 0. Buscamos una comparacin con otra integral
R +
impropia conocida, por ejemplo 1 t1 dt.
Para todo , se cumple que existe t0 R: tn et < t1 t t0 . Esto se debe a
R +
R +
que lm tn+ et = 0. Poniendo = 2, como 1 t12 dt C 1 tn et dt C
R +t+
tn et dt C.
0
Si n < 0 se debera estudiar qu sucede con la integral de 2da especie (ver ms
adelante).
Corolario 271 f (t) 0, g(t) 0, lm
f (t)
t+ g(t)
Z
f (t)dt y
Si
R +
g(t)dt son de la misma clase.
3L
2
R +
Demostracin.
(t)
t > t0 , L2 fg(t)
Si
=L>0
L
3L
g(t) f (t)
g(t)
2
(I)
(II) 2
g(t)dt C
R +
g(t)dt D
R +
f (t)dt C por (II)

f (t)dt D por (I)
Ejemplo 272
R +
Ejemplo 273
+)

1

R + 1
1
1
t 1
t 1
e
dt
converge,
ya
que
e
'
t
t
0
t
dt
t4 +1
diverge, porque
t
t4 +1
'
1
t
cuando t +.
1
2t2
(t
120
4.10.3.
Criterio integral para series
La analoga
y la de series, y en particular el
R + 1 entre la teora de integrales impropias P
1
ejemplo 0 t dt que se comporta exactamente como +
n=0 n , hace pensar en que se
podra explotar esto para clasificar series a travs de integrales impropias o viceversa.
Ms precisamente, si P
f es unaR funcin en [1, +), y an = f (n) sus valores en los
+
naturales. Es cierto que an e 1 f (t)dt son de la misma clase?
A primera vista la respuesta sera negativa ya que los valores f (n) no determinan
el comportamiento de f en (n, n + 1).
Si f es montona, los valores intermedios estn, sin embargo, controlados, y la
conjetura es vlida.
Teorema 35 (Criterio integral)
Sea f (t) 0 montona decreciente en [k, +) y sea an = f (n), n k, donde
k, n N.
Z +
+
X
f (t)dt son de la misma clase.
an y
k
n=k
Demostracin.
Como f es decreciente se tiene t [n, n + 1], f (n + 1) f (t) f (n)
Z n+1
n+1
n
X
X
ai
f (t)dt
ai
i=k+1
(I)
(II)
i=k
Rx
Sea F (x) = k f (t)dt.

R +
P
an C = lm F (n + 1) es finito k f (t)dt C
Si +
k
(II) n+
Si
P+
k
an D = lm F (n + 1) = +
(I) n+
R +
k
f (t)dt D
P
1
Ejemplo 274 Clasificar +
n=2 n log(n) .
1
f (t) = t log(t)
es no negativa y decreciente. Entonces F (t) =
Z
=
2
1
dt =
t log(t) u=log(t)
log(x)
log(2)
log(x)
1

du = (log(u))
= log(log(x)) log(log(2))
u
log(2)
lm F (x) = +
x+
+
X
2
X
1
1
dt D
D
t log(t)
n log(n)
n=2
El ejemplo muestra la ventaja de clasificar la integral impropia: si se encuentra primitiva, esto es ms sencillo que en el caso de series, donde no es fcil calcular la reducida.
4.10.4.
121
Integrando con signo cualquiera
Para el caso en que f (t) 0 t t0 , los resultados son anlogos al caso f (t) 0.
Si f (t) toma ambos signos para valores de t arbitrariamente grandes, los mtodos anteriores (comparacin, sustitucin por equivalentes) no pueden aplicarse. Se introduce
aqu, igual que para series, la convergencia absoluta.
R +
Definicin 275 La integral impropia a f (t)dt es absolutamente convergente (A.C.)
R +
a |f (t)|dt C.
Teorema 36
Z
f (t)dt es A.C.
f (t)dt C
a
Demostracin.
Anlogamente al caso de series, introducimos las funciones no negativas f + y f :

f (t) si f (t) 0
+
f (t) =
0
si f (t) < 0

0
si f (t) 0
f (t) =
f (t) si f (t) < 0
f (t)
t
f + (t)
t
f (t)
t
|f (t)|
t
Se cumple que f = f + f , |f | = f + + f ; y f + 0, f 0.
R + +
Z +
Z +
a f (t)dt C
f (t)dt C.
|f (t)|dt
=
=
comparacion R +
linealidad a
a
f
(t)dt
C
a
122
Ejemplo 276
R +
Ejemplo 277
R +
sen(t)
dt
t2

sen(t)
es A.C. ya que t2
1
t2
sen(t)
dt
t

sen(t) 1
Si estudiamos convergencia absoluta, la cota ms sencilla de t es t , que no sirve
R +
para comparar porque 1 1t dt diverge.
Una integracin por partes permite resolver el problema. La frmula
Z
a
b Z b

f 0 (t)g(t) dt
f (t)g (t) dt = (f (t)g(t))
0
puede extenderse a:
Z
+ Z

f (t)g (t) dt = (f (t)g(t))
f 0 (t)g(t) dt
+

donde ((f (t)g(t))
denota lm f (t)g(t) f (a)g(a) , siempre que los lmites
t+
a
para b + existan.

+ R
R +
+
cos(t)
En este caso 1 sen(t)
dt
=
1 cos(t)
dt.

t
t
t2
1
La segunda integral converge absolutamente, y el primer trmino converge porque
lm cos(t) = 0.
t+ t
Z +
sen(t)
dt C.
t
1

R +
Ejemplo 278 Clasificamos la integral de Fresnel 0 sen(t2 )dt, con una integracin
por partes.
1
Para t > 0, escribimos sen(t2 ) = 2t sin(t2 )
| {z } |{z}
2t
g 0 (t)
f (t)

+ Z +
cos(t2 )
cos(t2 )
sen(t )dt =
dt

2t
2t2
1
1
2
Los dos trminos convergen en forma similar al Ejemplo 277

R +
Ejercicio 279 Probar que 0 t cos(t4 )dt converge. Este es ejemplo de integral impropia convergente en que la funcin no est acotada en [0, +)
123
4.10.5.
Integrales impropias de segunda especie
Supongamos que f es continua en (a, b], pero lm+ f (t) no existe o no es finito.
ta
Rb
Rb
Para definir a f (t)dt, estudiamos lm+ x f (t)dt.
xa
Rb
Definicin 280 f continua en (a, b], F (x) = x f (t)dt.
Z b
C
= L f inito
D
f (t)dt
se dice que
Si lm+ F (x) =
xa
a
oscila
@
Rb
En el caso de convergencia, se denota a f (t)dt = L.
Rx
La definicin es anloga para f continua en [a, b), considerando lm a f (t)dt.
xb
Ejemplo 281
R1
1
dt.
0 t
F (x) =
R1
1
dt
x t

=
1
1
(1 x1 ) si 6= 1
log(x)
si = 1
1
1
si < 1
lm F (x) =
+ si > 1
x0+
+ si = 1
D
1
1
Ejemplo 282
R1
0
1 dt
1t2
= lm
x1
Rx
0
1
dt C < 1
t
1 dt
1t2
= lm arcsin(x) =
x1
124
4.10.6.
Cambios de variable
Es posible reducir una integral de segunda especie a una de primera especie utilizando un cambio de variable.
Rb
Supongamos que a f (t)dt es impropia en el punto a. Buscamos una nueva variable u tal que cuando t a+ u +. Una posibilidad es el siguiente cambio de
variable:

1
u = ta
t = a + u1 , dt = u12 du
Sea x > a:
Z
Z b
f (t)dt =
x
1
ba

Z 1
xa
1
1 1
f
f a+
du =
du
1
1
u2
u u2
xa
ba

Z +
1 1
xa+
du
f a+
2
1
u
u
ba

1
a+
u
Reducimos el problema a una integral de primera especie. Habitualmente, los pasos

intermedios se omiten y se escribe directamente el cambio:

Z b
Z +
1 1
f (t)dt = 1
f a+
du
2
1
u
u
t=a+ u
a
ba
dt= 12 du
u
Ejemplo 283
Z
1
dt
sen(t)
diverge, ya que
1
1
1 u2
sen( u
)
1
u
Z
=1
t=
u
dt= 12 du
u
+
2
1
1
2 du
1
sen u u
cuando u +, y el integrando es no negativo para
u > 2 .
Z
0
R1
Aqu el problema es en t = 1 . Elegimos el cambio

1
u = 1t
t = 1 u1 , dt = u12 du
Z +
Z +
1
1
1
1
1
q
q
du
=
du
dt = 1
2
2
1 u2
1 t2 t=1 u 1
1 2u
1
u2
1 1 u
1
u
Ejemplo 284
1 dt.
1t2
dt= 2 du
u
converge, ya que
Ejemplo 282
q 1
2
1
u2
1
u2
1
3
2u 2
con u +. Se reencuentra el resultado del
125
En los ejemplos anteriores, se realiz el cambio de variable, y luego se clasific la

integral de la primera especie por equivalentes.
De hecho, se puede clasificar tomando equivalentes (o aplicando comparacin)
en la integral de segunda especie si esta es de integrando de signo constante (caso
1
habitual). En el Ejemplo 283, sen(t)
1t (t 0), y la clasificacin se reduce al
Ejemplo 281.
Escribamos losR criterios, cuya
R b demostracin es anloga al caso de primera especie.
b
Supongamos que a f (t)dt y a g(t)dt son impropias en el punto a.
Propiedad 285 Si 0 f (t) g(t) en (a, a + )
Si
Rb
Si
Rb
g(t)dt C
Rb
f (t)dt D
Rb
f (t)dt C
g(t)dt D
Propiedad 286 0 f (t), 0 g(t) en (a, a + ), f (t) g(t) con t a+ entonces

Rb
Rb
f (t)dt y a g(t)dt son de la misma clase.
a
Para integrales impropias en b , los enunciados son anlogos.
Existen otros casos de integrales de segunda especie.
Rb
f (t)dt para f continua en (a, b), con discontinuidad infinita en ambos puntos.
Rc
Rb
Para que converja, exigimos que a f (t)dt y c f (t)dt converjan para a < c < b.
a
f continua en [a, c) (c, b], y con discontinuidad infinita en c. Nuevamente,

Rc
Rb
para que converja, exigimos que a f (t)dt y c f (t)dt converjan.
126
y
R +
Tipos mixtos: a f (t)dt, donde f continua en (a, +) con discontinuidad
Rb
infinita en a. Se elige b (a, +) y se exige la convergencia de a f (t)dt y
R +
f (t)dt.
b
R +
Ejemplo 287 0 t1 dt diverge porque no existe para el cual converjan simulR1
R +
tneamente 0 t1 dt y 1 t1 dt como se ven en los Ejemplos 258 y 281.
R +
Ejemplo 288 (Funcin Gamma) Definimos () = 0 t1 et dt, > 0.
en primer lugar que es convergente. Tenemos:
RVeamos
1 1 t
1
0 t e dt converge ya que para t 0+ t1 et > 0 y t1 et t1
,
1
<
1,
y:
R +
1 t1 et dt converge por comparacin.
Una propiedad interesante de la funcin es que ( +1) = (). La probamos
integrando por partes.
+
Z
Z +
1 + t
1
t t
1 t
() =
t e dt =
e
+
t e dt = ( + 1)

0
0
porque el primer sumando es nulo.
R +
Observando que (1) = 0 et dt = 1, deducimos que (2) = 1, (3) = 2,
(4) = 6, y en general por induccin que (n + 1) = n.
La funcin (1+x) es una funcin de variable real, que restringida a los naturales
coincide con el factorial de x.
Bibliografa
[1] L.V. Ahlfors. Anlisis de variable compleja: introduccin a la teora de funciones
analticas de una variable compleja.
[2] T.M. Apostol. Anlisis Matemtico. Revert, 1976.
[3] T.M. Apostol. Calculus (en 2 volmenes), Vol 1. lgebra lineal, con aplicaciones
a las ecuaciones diferenciales y a las probabilidades. Revert, 1996.
[4] R. Courant. Differential and Integral Calculus. Wiley Classics Library. Wiley,
1988.
[5] R. Courant and F. John. Introduccin al clculo y al anlisis matemtico (en dos
volmenes), Vol 1.
[6] L.D. Kudrivtsev. Curso de anlisis matemtico (en dos tomos), tomo 1.
127

Notas Del Curso PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Notas Del Curso PDF

Cargado por

Copyright:

Formatos disponibles

ANLISIS MATEMTICO I

Edicin: febrero de 2014

Universidad de la Repblica, UdelaR

3. Repaso de Funciones de una Variable

Axioma 1 Propiedad Conmutativa

Captulo 1. Nmero complejo

Este grupo de axiomas permite definir el concepto de orden en el conjunto de los

1.1. Nmero real

Proposicin 11 Sea a, b, c R; si a < b y b < c a < c.

Proposicin 14 Si a < b y c < 0 entonces ac > bc.

Captulo 1. Nmero complejo

Ejemplo 18 Sea S = {x R : 0 x 1}. S est acotado superiormente por

Figura 1.1: El conjunto S tiene mximo, que es supremo.

Figura 1.2: El conjunto T no tiene mximo, y 1 es supremo de T .

Con estos comentarios podemos enunciar el siguiente.

1.1. Nmero real

Definicin 22 El conjunto R que verifica los Axiomas 1 a 10 con las operaciones + y

Proposicin 24 Sean a, b nmeros reales tales que a b + , > 0 entonces a b.

La siguiente propiedad establece que todo conjunto acotado superiormente (y por

Captulo 1. Nmero complejo

Nmero complejo: definicin y operaciones

Hemos probado que el conjunto de los nmeros reales permite soluciones de x2 =

1.2. Nmero complejo: definicin y operaciones

Si el campo numrico tiene definidas operaciones de suma y producto, estarn en l

Captulo 1. Nmero complejo

El producto y la suma de complejos verifican las siguientes propiedades.

Proposicin 32 Existen dos complejos (0, 0) y (1, 0) neutros de la suma y el producto

Proposicin 35 Si z y w son nmeros complejos con w 6= (0, 0) existe un nmero

1.3. Relacin entre los nmeros reales y los complejos

Relacin entre los nmeros reales y los complejos

Tenemos construido un conjunto, formado por los pares de nmeros reales de la

Captulo 1. Nmero complejo

Unidad imaginaria y representacin binmica

Definicin 36 Llamaremos unidad imaginaria al complejo (0, 1), al que notaremos i.

al eje 0y. Indistintamente identificaremos al nmero complejo z con el correspondiente

Figura 1.3: Representacin de un nmero complejo en el plano.

1.4. Unidad imaginaria y representacin binmica

Definicin 38 Sea z = a + ib. Llamamos mdulo de z al nmero = |z| = a2 + b2

Si z 6= 0, sea el ngulo entre el eje Ox y el vector (a, b) (definido a menos de un

Figura 1.5: Representacin polar de un nmero complejo.

Si se quiere una determinacin unvoca del argumento es usual elegir (, ]

Captulo 1. Nmero complejo

Ejemplo 39 |i| = 1, arg(i) = /2

Definicin 40 Llamaremos conjugado de z = a + bi al complejo z = a bi.

Ox. La Figura 1.6 representa al complejo z en el plano complejo.

Figura 1.6: Representacin grfica del conjugado de z, denotado mediante z.

1.4. Unidad imaginaria y representacin binmica

Propiedades del mdulo

Captulo 1. Nmero complejo

Se pierde algo en la extensin de R a C? Hasta ahora nos hemos conformado

La idea es definir una funcion f : C C f (z) = ez , que llamaremos exponencial

Adems ea ec = ea+c porque a y c son reales. Entonces tenemos que:

1.5. Exponencial compleja

Es inmediato adems ver que si z = a + 0i, entonces ez = ea cos(0 + isen(0)) = ea .

Se deduce tambin de aqu que (ez )1 = ez .

Proposicin 49 ez = 1 z es un mltiplo de 2i.

Corolario 50 ez = ew z = w + i2n, con n entero.

Captulo 1. Nmero complejo

A partir de las ecuaciones ei = cos() + isen(); ei = cos() isen()

Consideremos la funcin del plano complejo en s mismo dada por F (z) = z + ,

1.5. Exponencial compleja

Ejercicio 52 Mostrar que F (z) = iz representa una rotacin en el plano de centro

Captulo 1. Nmero complejo