Notas Del Curso Análisis Matematico 1

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
2
ndice general
1. Nmero complejo 9
1.1. Nmero real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.1. Axiomas de cuerpo . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.2. Axiomas de orden . . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Nmero complejo: definicin y operaciones . . . . . . . . . . . . . . 14
1.3. Relacin entre los nmeros reales y los complejos . . . . . . . . . . . 17
1.4. Unidad imaginaria y representacin binmica . . . . . . . . . . . . . 18
1.4.1. Representacin grfica . . . . . . . . . . . . . . . . . . . . . 18
1.4.2. Propiedades del mdulo . . . . . . . . . . . . . . . . . . . . 21
1.5. Exponencial compleja . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5.1. Frmulas de Euler . . . . . . . . . . . . . . . . . . . . . . . 24
1.5.2. Aplicaciones geomtricas . . . . . . . . . . . . . . . . . . . 24
1.5.3. Potencias enteras y races . . . . . . . . . . . . . . . . . . . . 26
1.6. Logaritmo complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.7. Seno y coseno complejo . . . . . . . . . . . . . . . . . . . . . . . . 29
2. Sucesiones y series 33
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2.1. Sucesiones y lmites en R . . . . . . . . . . . . . . . . . . . 33
2.2.2. Sucesiones montonas . . . . . . . . . . . . . . . . . . . . . 36
2.2.3. Propiedades algebraicas de lmites . . . . . . . . . . . . . . . 38
2.2.4. Subsucesiones . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.2.5. Sucesiones de Cauchy y convergencia . . . . . . . . . . . . . 44
2.2.6. Sucesiones complejas . . . . . . . . . . . . . . . . . . . . . . 46
2.3. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.1. Series telescpicas . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.2. Series de trminos no negativos . . . . . . . . . . . . . . . . 50
2.3.3. Criterio de la raz y del cociente . . . . . . . . . . . . . . . . 53
2.3.4. Series alternadas . . . . . . . . . . . . . . . . . . . . . . . . 54
2.3.5. Series de trminos cualesquiera . . . . . . . . . . . . . . . . 56
3
4 ndice general
2.3.6. Reordenacin de series . . . . . . . . . . . . . . . . . . . . . 57

2.3.7. Producto de Cauchy de series . . . . . . . . . . . . . . . . . 59
3. Repaso de Funciones de una Variable 61

3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2. Lmites y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2.1. Lmites laterales . . . . . . . . . . . . . . . . . . . . . . . . 63
3.2.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.2.3. Teoremas para funciones continuas en un intervalo . . . . . . 65
3.3. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.4. Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.4.1. Derivada de la funcin compuesta (regla de la cadena) . . . . 71
3.4.2. Extremos relativos y derivadas . . . . . . . . . . . . . . . . . 72
3.5. Funciones inversas . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.6. Desarrollo de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.6.1. rdenes de infinitsimos . . . . . . . . . . . . . . . . . . . . 76
3.6.2. Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . 78
3.6.3. Frmula de Lagrange para el resto . . . . . . . . . . . . . . . 80
4. Integrales 83
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
4.2. Integracin de funciones continuas . . . . . . . . . . . . . . . . . . . 85
4.3. Propiedades de la Integral . . . . . . . . . . . . . . . . . . . . . . . . 88
4.4. Extensin a funciones seccionalmente continuas . . . . . . . . . . . . 89
4.5. Teoremas fundamentales . . . . . . . . . . . . . . . . . . . . . . . . 91
4.5.1. Teorema del valor medio . . . . . . . . . . . . . . . . . . . . 91
4.5.2. Teorema Fundamental del Clculo Integral . . . . . . . . . . 92
4.5.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.6. Clculo de primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.6.1. Linealidad de la primitivaa . . . . . . . . . . . . . . . . . . . 97
4.6.2. Integracin por sustitucin . . . . . . . . . . . . . . . . . . . 98
4.6.3. Integracin por partes . . . . . . . . . . . . . . . . . . . . . 100
4.6.4. Primitivas de Funciones Racionales . . . . . . . . . . . . . . 101
4.7. Mtodos numricos de integracin . . . . . . . . . . . . . . . . . . . 104
4.7.1. Mtodo de los rectngulos . . . . . . . . . . . . . . . . . . . 105
4.7.2. Mtodo del trapecio . . . . . . . . . . . . . . . . . . . . . . 105
4.7.3. Mtodo del punto medio o de la tangente . . . . . . . . . . . 105
4.7.4. Mtodo de la parbola o regla de Simpson . . . . . . . . . . . 106
4.8. Aplicaciones de la integral definida . . . . . . . . . . . . . . . . . . . 108
4.8.1. reas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4.8.2. Volmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
ndice general 5
4.9. Volumen de slidos de revolucin . . . . . . . . . . . . . . . . . . . 112

4.10. Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.10.1. Integrales impropias de primera especie . . . . . . . . . . . . 115
4.10.2. Caso integrando no negativo . . . . . . . . . . . . . . . . . . 118
4.10.3. Criterio integral para series . . . . . . . . . . . . . . . . . . . 120
4.10.4. Integrando con signo cualquiera . . . . . . . . . . . . . . . . 121
4.10.5. Integrales impropias de segunda especie . . . . . . . . . . . . 123
4.10.6. Cambios de variable . . . . . . . . . . . . . . . . . . . . . . 124
Bibliografa 127
6 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 (Ro-
berto Markarian) y Coordinadoras (Laura Aspirot y Bojana Femic) del curso 2013,
realizaron diversas correcciones y agregados para esta edicin. Se ha procurado man-
tener 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.
7
8 ndice general
Captulo 1
Nmero complejo
1.1. Nmero real

Haremos una construccin axiomtica del conjunto de los nmeros reales demos-
trando 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, 8 x, y 2 R.
Axioma 2 Propiedad Asociativa

x + (y + z) = (x + y) + z; x(yz) = (xy)z, 8 x, y, z 2 R.
Axioma 3 Propiedad Distributiva

x(y + z) = xy + xz, 8 x, y, z 2 R.
Axioma 4 Existencia de elementos neutros

9 0, 1 2 R : 0 6= 1 y 8 x 2 R, 0 + x = x + 0 = x, 1x = x1 = x.
Axioma 5 Existencia del opuesto

8 x 2 R, 9 y 2 R : x + y = y + x = 0.
Axioma 6 Existencia del inverso

8 x 2 R, x 6= 0, 9 y 2 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, 8 a, b, c 2 R.
Proposicin 2 8 a, b 2 R existe un nico x 2 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 8 a, b 2 R, a 6= 0, 9 un nico x tal que ax = b.
Nota 7 Tal nmero x se designa por b/a. En particular 1/a se designa a 1 .
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 2 R+ ) (x + y), (xy) 2 R+ .
Axioma 8 8 x 6= 0, x 2 R+ o ( x) 2 R+ , pero no ambos.
Axioma 9 0 2
/ R+ .
Definicin 9 Si x, y 2 R, entonces x < y (x es menor que y) si y solo si y x 2 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 2 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 2 R; si a 0
b<c)c b>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 2 R entonces es cierta una y solo una de las siguientes rela-

ciones: 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 n-
meros 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 2 R; si x k, 8 x 2 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 2 S.
Ejemplo 18 Sea S = {x 2 R : 0 x 1}. S est acotado superiormente por

k : k 1. Como 1 es cota superior y adems 1 2 S entonces 1 es mximo de S.
Ejemplo 19 Consideremos ahora T = {x 2 R : 0 x < 1}. k ser cota superior si

y solo si k 1. En este ejemplo a diferencia del anterior, 1 2
/ T , por lo cual 1 no es
mximo de T .
Definicin 20 Un nmero k 2 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 2 R.
S
0 1
Figura 1.1: El conjunto S tiene mximo, que es supremo.
T
0 1
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:
8 S R, S 6= ; : s k0 8 s 2 S, entonces 9 k 2 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 defi-
nir 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 2 R tal

que l = nf(S).
Demostracin. Sea S = {x 2 R : x 2 S} entonces S 6= ;.

Si c es una cota inferior de S, entonces c x, 8 x 2 S, de donde c x, 8 x 2 S.
Luego S es acotado superiormente, y por el Axioma 10, 9 k 2 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 2 R tal que l0 x, 8 x 2 S. Entonces
l0 x, 8 x 2 S. Luego l0 sup( S) = l de donde l0 l.
Proposicin 24 Sean a, b nmeros reales tales que a b + ", 8 " > 0 entonces a b.
Demostracin. Supongamos por absurdo que b < a, entonces tomando " = a b

2
se
tiene b + " = b + a 2 b = a+b
2
< a+a
2
= a, lo cual contradice la hiptesis.
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 2 R, h > 0 y S R un conjunto de reales, entonces:
1. Si S tiene supremo, existe x 2 S tal que x > sup(S) h.
2. Si S tiene nfimo, existe x 2 S tal que x < nf(S) + h.
Demostracin.
1. Supongamos nuevamente por absurdo que x sup(S) h, 8 x 2 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.

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
de S. Adems, S 6= ;, pues (1+a)
a
2 S. En efecto, como a2 a(1 + a)2 entonces
a2
(1+a)2
a. En virtud del Axioma 10, S tiene supremo. Sea sup(S) = b, b a
1+a
,y
por lo tanto b > 0. Existen solo tres posibilidades: b > a, b < a o bien b = a.
2 2 2
2
Si b2 > a tomamos c = b b 2b a = 12 (b + ab ). Entonces 0 < c < b, y c2 =
2 2 2 2
b2 (b2 a) + (b 4b2a) = a + (b 4ba) > a. Por lo tanto, c2 > x2 y c > x, 8 x 2 S,
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 2 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 com-
plejo. 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
p 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 x n + an 1 x n 1
+ . . . + 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 compo-
nente 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)

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, 8 (a, b) 2 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) 2 C, existe un opuesto z = ( a, b) tal que

z + ( z) = 0.
b) Dado z = (a, b) 6= (0, 0) existe un inverso:

1 a b
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 = zw 1
La demostracin es inmediata.
1.3. Relacin entre los nmeros reales y los complejos 17
1.3. 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 correspon-
dencia 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.
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 ponien-
do (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. Ha-

ciendo 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)
b z = (a, b)
a 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
z w
w
Re(z)
Figura 1.4: Representacin geomtrica de la suma y la resta de dos nmeros complejos.
p
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)
b z
'
a Re(z)
Figura 1.5: Representacin polar de un nmero complejo.
Se verifica
a = cos '
(1.1)
b = sen'
Si se quiere una determinacin unvoca del argumento es usual elegir ' 2 ( , ]
y llamarle argumento principal de z (arg(z)).
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 '. p 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 ' 2 ( , ], de donde:
si a > 0: arg(z) = arctan(b/a)

arg(z) = arctan(b/a) + si b > 0
si a < 0 :
arg(z) = arctan(b/a) 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 z
a Re(z)
b 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 2 R, entonces P (z) = P (z).
La conjugacin resulta til para el clculo de divisiones en C. Se multiplica nu-
merador y denominador por el conjugado del denominador, y as se obtiene la forma
binmica del cociente.
(2+3i)(1 i)
Ejemplo 42 2+3i
1+i
= (1+i)(1 i)
= 2+3i 2i+3
2
= 5
2
+ 2i .
1.4.2. 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|

|z|
4. |zw| = |z||w| ; | wz | = |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|
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 Axio-
mas 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 Axio-
mas 7 a 9. Si el complejo i 2 C+ , deducimos por el Axioma 7 que i2 = 1 2 C+ , y
entonces ( 1)2 = 1 2 C+ , de donde 1+1 = 0 2 C+ , lo que contradice el Axioma 9.
Si i 2
/ C+ , por Axioma 8 i 2 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 2 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 8 z 2 C.
Demostracin. ez e z
= e0 = 1 de donde ez 6= 0
Se deduce tambin de aqu que (ez ) 1

= e z.
Proposicin 48 Si z = a + ib entonces |ez | = ea ; en particular, |eib | = 1.

p
Demostracin. |ez | = ea 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 , ez w
=1,z w = i2n , z = w + i2n

1.5.1. Frmulas de Euler

A partir de las ecuaciones ei' = cos(') + isen('); e i'
= cos(') isen(')
se deduce que: 8 ei' +e i'
< 2
= cos(')
: ei' e i'
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 divi-
dir dos complejos. Sea z1 = 1 ei'1 y z2 = ei'2
z1 z2 = (1 ei'1 )(2 ei'2 ) = 1 2 ei('1 +'2 )
z1 1 e'1 1
= '
= ei('1 '2 )
z2 2 e 2 2
1.5.2. Aplicaciones geomtricas

Consideremos la funcin del plano complejo en s mismo dada por F (z) = z + ,
donde , 2 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, 2 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.
z+
Im(z)
Re(z)
Figura 1.7: Traslacin del complejo z por el complejo , con resultado z + .
Im(z)
( > 1)
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.
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 poten-
cia 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 8 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')

Im(z)
zn
n ( > 1)
n'
z
'
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 exac-
tamente n nmeros complejos distintos z0 , z1 , . . . , zn 1 (llamados races n-simas) ta-
les que:
n
zk = z para cada k = 0, 1, . . . , n 1
1
zk = k ei'k con k = n y 'k = 'n + 2k n
(k = 0, 1, . . . , n 1)
Demostracin. Es evidente que los n nmeros zk (k = 0, 1, . . . , n 1) verifican que
zkn = z pues zkn = nk ein'k = 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 n
. Pero si k toma todos los
valores enteros w solo toma valores z0 , z1 , . . . , zn 1 .

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).
Im(z)
z1
2
n
z2
'/n z0
Re(z)
z3
z4
p
Figura 1.11: Las n races n
z del complejo z ocupan los vrtices de un polgono. En
el ejemplo n = 5
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:
e w = e w0 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 logarit-

mos de z, es decir:
log(z) = {w 2 C : ew = z} = {log() + i(' + 2k), k 2 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 prin-

cipal 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 defini-
cin del logaritmo real al campo complejo.
1.7. Seno y coseno complejo

Definicin 62 Definimos la funcin seno, coseno y tangente compleja como:
eiz + e iz
cos(z) =
2
eiz e iz
sen(z) =
2i
sen(z) eiz e iz
tan(z) = =
cos(z) i(eiz + e iz )
Estas definiciones extienden las frmulas de Euler al campo complejo. Es fcil ob-
servar 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 .
Al obtener frmulas para las funciones trigonomtricas en notacin binmica, apa-

recen las funciones hiperblicas reales. Las repasaremos brevemente.
ex e x
senh(x) =
2
ex + e x
cosh(x) =
2
senh(x) ex e x
tanh(x) = = x x
cosh(x) e +e
(seno, coseno y tangente hiperblicas respectivamente). Tales funciones son represen-
tadas 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)
x
f (x) = tanh(x) 1
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 trigonomtri-

cas 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 31
tan(a)+i tanh(b)
3. tan(z) = 1 i tan(a) tan(b)
Demostracin. 2 cos(z) = eiz +e iz = e b (cos(a)+isen(a))+eb (cos(a) isen(a)) =

cos(a)(eb + e b ) + isen(a)(e b 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.
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 l-
mites, 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 2 R, y r > 0. Llamamos entorno de centro a y radio r al
conjunto
E(a, r) = {x 2 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 )n2N a la sucesin a : N ! R tal que an = a(n), 8 n 2 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, 8 n
Ejemplo 68 an = ( 1)n
1)n
Ejemplo 69 an = 2n(
Ejemplo 70 an = 1 1
n
nn
Ejemplo 71 an = n!
(n! = 1 2 . . . n)
b
an +
Ejemplo 72 Sucesin definida por recurrencia: a0 = 1, an+1 = 2
an
,8n 0,
(b 2 R, b > 0). En este caso, por induccin queda bien definido an para cada n 2 N,
pero no tenemos una frmula explcita.
Definicin 73 Lmite de una sucesin

Sea L 2 R.
lm an = L , 8 " > 0 9 n0 : 8 n n0 , |an L| < "

n!+1
, 8 E(L, "), 9 n0 : 8 n n0 , an 2 E(L, ").
Es decir, la sucesin (an )n2N 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!+1
2.2. Sucesiones 35
0
Demostracin. Si existen dos lmites L 6= L0 , eligiendo " = |L 2L | obtenemos dos
entornos E(L, ") y E(L0 , ") que son disjuntos: E(L, ") \ E(L0 , ") = ;.
Pero 8 n n0 , an 2 E(L, "), y 8 n n1 , an 2 E(L0 , ").
Entonces 8 n max{n0 , n1 }, an 2 E(L, ") \ E(L0 , "), lo que es absurdo.

Definicin 75 (an )n2N es acotada si y solo si 9 k : |an | k, 8 n 2 N.
Proposicin 76 Si (an )n2N tiene lmite L, est acotada.
Demostracin. Elegido " > 0 cualquiera, 9 n0 : 8 n n0 , an 2 E(L, ").
Entonces, 8 n n0 , L " < an < L + " de donde |an | |L| + ".
Tomando K = max{|a0 |, |a1 |, . . . , |an0 1 |, |L|+"}, se cumple que |an | K, 8 n 2 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 = +1 , 8 K 2 R, 9 n0 : 8 n n0 , an K,
n!1
lm an = 1 , 8 K 2 R, 9 n0 : 8 n n0 , an K.
n!1
Es decir que una sucesin tiende a +1 ( 1) si fijada cualquier barrera, la suce-
sin termina permaneciendo encima (debajo) de la barrera.
Ejemplo 78 an = n, 8 n, verifica que lm an = +1.
n!+1
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!1 n
lm an = L; an ! L; an ! L.
n!+1
(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!+1 n!+1
n n
Ejercicio 80 Probar que si an bn , an ! +1 entonces bn ! +1. Aplicarlo al
Ejemplo 71.
2.2.2. Sucesiones montonas

Definicin 81 (an )n2N se dice montona creciente (decreciente) si y solo si
an ( )an+1 , 8 n 2 N.
Notacin 82 (an ) % [(an ) &] indica (an ) montona creciente (decreciente).
Teorema 1 Sea (an )n2N montona creciente.
1. Si (an )n2N es acotada superiormente (an K, 8 n), entonces converge.
2. Si (an )n2N no est acotada superiormente, entonces diverge a +1.
Demostracin.
1. Sea L = sup{an : n 2 N}, an L, 8 n. Dado " > 0, 9 n0 : an0 > L " (de otro
modo no sera extremo superior). Como an es creciente, an > L ", 8 n n0 ,
por lo que an 2 E(L, "), 8 n n0 .
L "
a1 a2 a3 an0 an0 +1 L
(an )%
2. Si an no es acotada superiormente, 8 K 9 n0 : an0 K ! an K, 8 n
n0 .
Nota 83 Anlogamente, las sucesiones decrecientes convergen o divergen a 1 se-

gn estn o no acotadas inferiormente.
Ejemplo 84 Sean an = (1 + n1 )n , bn = 1 + 1
1!
+ 1
2!
+ ... + 1
n!
.
Como bn+1 = bn + (n+1)!
1
bn , (bn ) %.
n
Adems, bn 1 + 1 + 12 + 212 + . . . + 2n1 1 = 1 + 1 1 (1/2)
1/2
< 3.
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 n
(a + b) = an k b k ,
k
k=0
2.2. Sucesiones 37

n n!
donde = .
k (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 1 2
=1 + 1 + 1 + 1 1 + ...
2! n 3! n n

1 1 2 n 1
+ 1 1 ... 1
n! n n n
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, clara-
mente an bn e, por lo que (an ) converge, y lm an e.
n!+1
En la seccin siguiente veremos que lm an = e.

n!+1
Definicin 85 Las sucesiones (an )n2N y (bn )n2N forman un par de sucesiones mon-
tonas convergentes (PSMC) si y solo si:
(1) (an ) %; (bn ) &.
(2) an bn , 8 n 2 N.
(3) 8 " > 0 9 n0 : bn0 an0 < ".
Proposicin 86 Si (an )n2N y (bn )n2N forman un PSMC, entonces convergen al mismo
lmite.
Demostracin. Probemos primeramente que an bm 8 m, n 2 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 , 8n 2 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 )n2N y (bTn n2N forman un PSMC
)
de lmite comn L. Como an L bn , L 2 In , 8 n ) L = 1 n=1 In .
2.2.3. Propiedades algebraicas de lmites

Teorema 2 Si lm an = A y lm bn = B, entonces:
n!+1 n!+1
(1) lm (an + bn ) = A + B
n!+1
(2) lm (an bn ) = A B
n!+1
(3) lm (an bn ) = AB
n!+1
(4) lm (an /bn ) = A/B, si B 6= 0.

n!+1
Demostracin.
(1) |A + B (an + bn )| |A an | + |B bn |.
Fijado " > 0 podemos obtener n0 : 8 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 1 |B bn |
= .
B bn |B||bn |
Puesto que bn ! B, se puede obtener n0 : 8 n n0 , |bn | |B|/2. Luego:
1 1 2
|B bn |, 8 n n0 ,
B bn |B|2
de donde se sigue como en casos anteriores.

n n
Ejercicio 88 Si (an )n2N 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!+1 n!+1
, donde y pueden ser finitos, +1 o 1, 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 +1 1
A A+B +1 1
+1 +1 +1 ?
1 1 ? 1
Cuadro 2.2: Lmite del producto de sucesiones, en funcin de (columna) y (fila).

| 0 B 6= 0 +1 1
0 0 0 ? ?
A 6= 0 0 AB [A] [A]
+1 ? [B] +1 1
1 ? [B] 1 +1
n
bn ! 1 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 n p, an 1 + 1 + 2!1 (1 n1 ) + . . . + p!1 (1 n1 ) . . . (1 p n 1 ). Si tomamos lmites
en ambos lados, deducimos que lm an bp .
n!+1
(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!+1 p!+1
tienen, por lo tanto, el mismo lmite e.
Ejemplo 90 Volvemos a la sucesin definida por recurrencia: an+1 = an +b/a 2

n
, b > 0,
del Ejemplo 6, con a0 = 1). Suponiendo que la sucesin tiene lmite L 6= 0,p se deduce
del Teorema 2 que: L = L+b/L2
, y despejando se tiene que L2 = b, o L = b. Como
a1p> 0, b > 0, se deduce por induccin que an > 0, 8 n, lo que descarta el lmite
b. Tambin se puede descartar un posible lmite p 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-
f (x)
p
b
p x
b
Figura 2.1: Figura del Ejemplo 90
niendo an+1 = f (an ), donde f (x) = x+b/x , y estudiamos el crecimiento de f . La gr-

2 p
fica de f tiene la forma de la Figura 2.1, de donde deducimos que an b, 8 b > 0.
p p
Como en x se cumple f (x) x (verificarlo), (an ) & y an
bp 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 + h)n 1 + nh + n(n2 1) 2
h n 1
an = h2 .
n n 2
Como 2 h ! +1, entonces lm an = +1.
n 1 2
n!+1
an
Anlogamente, lm n = +1, para > 0 cualquiera.
n!+1
xn
Ejemplo 92 an = (xan ) , donde a > 1, siendo (xn )n2N una sucesin que tiende a
+1. Sea in la parte entera de xn , es decir el entero tal que in xn < in + 1.
ax n ai n 1 ain +1
an = = = bn .
(xn ) (in + 1) a (in + 1)
i i i
Dado K 2 R, 9 i0 : 8 i i0 , ia > Ka (porque ia ! +1)
Como in ! +1, 9 n0 : 8 n n0 , in + 1 i0 ) bn > K.
Por lo tanto bn ! +1, y lm an = +1.
n!+1
2.2. Sucesiones 41

Ejemplo 93 an = (log(n))
n
, > 0, > 0 (log: logaritmo en base e). Es otro caso
n
indeterminado, pues log(n) ! +1. Sea xn = log(n) ) n = exn :
(log(n)) (xn ) 1 n
= xn = (e )xn
! 0,
n (e )
(xn )
ya que por el Ejemplo 13, el denominador tiende a infinito.

n
Ejemplo 94 an = an! , a > 1
an+1 n! n
Calculamos an+1
an
= (n+1)! an
= a
n+1
! 0
an+1 1
) 8n n0 , <
an 2
an 0 n n
) 8n n0 , an n n
! 0 ) an ! 0.
2 0
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!+1
Se utiliza adems que si:
n n
an ! c ) e a n ! e c ;
n n
an ! +1 ) ean ! +1;
n n
an ! 1 ) ean ! 0.
p 1 1 n log(n) n
Por ejemplo: n
n = n n = e n log(n) ! 1, ya que n
! 0.
n p n p
Ejemplo 96 Si an ! a entonces an ! a (con an 0).
Si a = 0, se prueba directamente por definicin de lmite.
Si a > 0, 8 n n0 , an > a/4, y como consecuencia:
p p |an a| |a a| n
| an a| = p p 3np ! 0.
an + a 2
a
Definicin 97 Dos sucesiones an y bn , ambas con lmite 1 (o ambas con lmite 0) se

dicen equivalentes si y solo si lm abnn = 1.
n!+1
4 n
Ejemplo 98 n4 + 3n + 1 n4 . En efecto, n +3n+1
n4
= 1 + n33 + n14 ! 1.
n
En general, un polinomio en n (o en an , con an ! +1) es equivalente a su trmino
n
de mayor grado. Un polinomio en an , con an ! 0, es equivalente al trmino de menor
grado.
n
Ejemplo 99 Si an ! 0, mencionamos sin demostracin los siguientes equivalentes:
a2n
e an 1 an ; log(1 + an ) an ; sin(an ) an ; 1 cos(an ) .
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!+1
1 1
log(n + 1) log(n) = log(1 + ) .
n n
Ejemplo 101 lm n2 sin( n1 ) = +1.
n!+1
Ejemplo 102
p [n2 (n2 1)] n 1
lm n[n n2 1] = lm n p = lm p = ,
n!+1 n!+1 n + n2 1 n!+1 n + n2 1 2
p
ya que n2 1 n.
p
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 )n2N una sucesin, y (nk )k2N una sucesin de nmeros natu-
rales que tiende a infinito. La sucesin (ank )k2N es una subsucesin de (an ).
Observacin 104 Intuitivamente, una subsucesin equivale a elegir algunos (infini-

tos) trminos de la sucesin original.
En lenguaje formal, la sucesin (ank )k2N es la funcin de N en R que resulta de com-
poner 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 = +1; lm a2k+1 = 0.
k!+1 k!+1
Teorema 3 lm an = L ) lm ank = L para toda subsucesin (ank ).

n!+1 k!+1
2.2. Sucesiones 43
Demostracin. Dado " > 0, 9 n0 : 8 n n0 , |L an | < ".

k
Como nk ! +1, 9 k0 : 8 k k0 , nk n0 .
)8k 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 2 R un conjunto, y a 2 R. Decimos que a es un punto de acumulacin de A si
y solo si:
8 " > 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 2 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 2
. Por ser A infinito, al menos uno de los semi-
intervalos [a, a+b
2
] y [ a+b
2
, b] tiene infinitos puntos de A. Definimos I1 = [a1 , b1 ] como
ese intervalo. Repetimos este procedimiento por induccin, definiendo una sucesin de
intervalos In = [an , bn ] que son encajados (In+1 In ) y su longitud (b a)2 n 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 +1 n=1 In = {L}. Veremos que L es un
punto de acumulacin de A.
Dado " > 0, elegimos n : (b a)2 n < ". Como L 2 In , In E(L, "). Finalmente,
puesto que In tiene infinitos puntos de A, hay (infinitos) puntos de A en E 0 (L, ").
I0
I1
a0 a0 +b0 b0
2 I3
I2
Figura 2.2: Procedimiento de biparticin
In
L
L " 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 2 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 2 A tal que el conjunto {n 2 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 2 E 0 L, k1 ,
con nk+1 > nk . De esta forma, hemos construido una subsucesin (ank )k2N de (an )n2N
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 )n2N es de Cauchy si y solo si
8 " > 0, 9 n0 : 8 n, m n0 , |an am | < ".
Teorema 6 (an )n2N convergente ) (an )n2N es de Cauchy.
Demostracin. Sea lm an = L. Dado " > 0, elegimos n0 : 8 n n0 , |an L| <

n!+1
"/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 )n2N es de Cauchy ) (an )n2N converge.
Demostracin.
1) Veamos que (an )n2N es acotada. En efecto, tomando por ejemplo " = 1, tenemos
que
9 n0 : 8 n, m n0 , |an am | < 1.
) 8n n0 , |an an0 | < 1 ) (an )n2N 2 E(an0 , 1).
Como el conjunto {a0 , a1 , . . . , an0 1 } es finito, (an )n2N es acotada.
k
2) Por el Teorema 5, (an )n2N tiene una subsucesin convergente: 9 (ank ) : ank !
L.
3) Veamos que lm an = L.
n!+1
Sea " > 0. Elijamos n0 : 8 m, n n0 , |an am | < "/2 y nk0 : 8nk n k0 :
|ank L| < "/2. Sea n1 = max{n0 , nk0 }.
) |an L| = |(an ank0 + (ank0 L)| |an ank0 | + |ank0 L| < "
para todo n n1 .

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 = nn 1 es, por ejemplo, conver-
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 2 / Q. El conjunto de los racionales es in-
completo, 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.
Las sucesiones zn = (i)n ; zn = 1+i n

; zn = 1 + 2ni son ejemplos de sucesiones
complejas. La definicin de lmite es idntica al caso real, donde ahora |.| denota el
mdulo complejo.
Definicin 114 Sea (zn )n2N sucesin en C.
lm zn = z , 8 " > 0, 9 n0 : 8 n n0 , |zn z| < ".

n!+1
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 )n2N 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 poste-
riores.
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 )n2N sucesin real o compleja, se llama serie de trmino
P
general an (notacin +1 n=0 an ) a la sucesin (sn )n2N , 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 )n2N .
En el caso de convergencia, S = lm sn se llama suma de la serie, y se escribe
n!+1
P+1
S = n=0 an .
P+1 n
Ejemplo 119 n=0 q , donde |q| < 1, q 2 C (serie geomtrica)
1 q n+1 1 q n+1
sn = 1 + q + q 2 + + q n = =
1 q 1 q 1 q
q n+1 n
Es fcil verificar que 1 q
! 0, ya que |q| < 1. Entonces
1
lm sn = .
n!+1 1 q
P+1
Por lo tanto n=0 q n converge y suma 1
1 q
2.3.1. Series telescpicas

Supongamos que tenemos una sucesin (bn )n2N tal que an = bn+1 bn , 8 n 2 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!+1
P+1
Ejemplo 120 a) Sea n=1 n(n+1) .
1
De modo que an = 1
n(n+1)
= 1
n
1
n+1
. En este
caso bn = n1 .
+1
X
1 1
s n = a1 + + an = 1 ) lm sn = 1 ) =1
n+1 n!+1
n=1
n(n + 1)
P+1
b) n=1 log 1 + 1
n
. 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) ! +1.

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

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

X
an converge ) lm an = 0
n!+1
Demostracin. an = sn sn 1 , 8 n 1. Si lm sn = S
n!+1
lm an = S S=0
n!+1

P 1 1
Ejemplo 124 e n no converge ya que lmn!+1 e n = 1
Es importante sealar
P que la condicin no es suficiente (lm an = 0 no alcanza
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.
P+1 P+1
Propiedad 125 n=0 an y n=p an son de la misma clase (convergente, divergente
u oscilante).
, nmeros P
Propiedad 126 P P ) (an + bn ) converge
an y bn convergen
Propiedad 127 (Condicin de Cauchy)

n=m+p
X X
an converge , dado " > 0, 9 n0 : 8 m n0 , p 1, an < "
n=m+1
P
Propiedad 128 zn serie compleja, xn = Re(zn ), yn = Im(zn )
X X X
zn converge , xn y yn convergen.
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 reduci-
das 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 +1 (o 1),
tambin lo hace la nueva serie.
En virtud de la Propiedad 128, nos restringiremos de aqu en adelante, salvo indi-

cacin expresa en contrario, a series reales.
2.3.2. Series de trminos no negativos

P
Se considera la serie an , donde an 0, 8 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 +1 segn est o no acotada
superiormente (Teorema 1) (no hay otra posibilidad).
Proposicin 130 Si 0 an bn , 8 n p, entonces:
P P+1
1. Si +1n=0 bn converge ) n=0 an converge
P P+1
2. Si +1n=0 an diverge ) n=0 bn diverge
Demostracin. Sean An = a0 + + an , Bn = b0 + + bn .
Entonces An Ap Bn Bp , 8 n > p.
1. Si Bn converge ) Bn acotada superiormente ) An acotada superiormente )
An converge
2. Si An ! +1 ) Bn ! +1
P+1 log(n) log(n)
Ejemplo 131 n=1 n
diverge a +1 ya que n
1
n
, 8n 3
Teorema 8 an 0, bn 0
P P
1. Si lman
=k>0 ) an y bn son de la misma clase
n!+1 bn
P P
2. Si lman
= 0, bn converge ) an converge
n!+1 bn
2.3. Series 51
Demostracin.
1. Como lm abnn = k, 9 n0 / 8 n n0 , k2 abnn 3k ) b k an 3k

2 (b 0) n 2
b
2 n
n!+1 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 = 0 ) 8k > 09n0 : 8 n n0 , an
k. El resto sigue como en 1.
n!+1 bn bn
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.
P
Ejemplo 132 1
n2
converge, ya que 1
n2
1
n(n+1)
P
Ejemplo 133 sin( n1 ) diverge
P
Ejemplo 134 p 1
diverge
n(n+10)
P 1
Ejemplo 135 Estudiamos
P1 P
n , donde 2 R.
Ya sabemos que n
diverge, 1
n2
converge.
P 1
Si 2, 1
n
1
n2
y por lo tanto n
converge por comparacin
P 1
Si 1, 1
n
1
n
y por lo tanto n
diverge por comparacin
D C
1 2
Nos falta clasificar para 2 (1, 2). Como para 2 (1, 2) se cumple que n12 <
1
n
< n1 , no es posible realizar una comparacin. El siguiente criterio permitir hacer
la clasificacin.
Teorema 9 (Criterio del 2k )

an 0, an & (montona decreciente). Entonces:
+1
X +1
X
an es de la misma clase que 2 k a2 k
n=0 k=0
P2k+1 1
Demostracin. an = a2k + a2k +1 + + a2k+1 1 tiene 2 sumandos, y como
n=2k
k
a2 k
(an ) &, cada sumando es
a2(k+1)
Deducimos que
2(k+1)
X1
k
2 a2(k+1) an 2 k a2 k
n=2k
Observemos que 2k a2(k+1) = 12 2k+1 a2(k+1) . Sumando en k = 0, . . . , k0 tenemos:
k0 +1 (k +1)
2 X 1 k0
1X X
0
k
2 a2 k an 2 k a2 k
2 k=1 n=1 k=0
P
sn a la reducida n-sima de P2k a2k
Si llamamos:
An a la reducida n-sima de an
hemos probado:
1
(sk +1 s0 ) A2(k0 +1) 1 a0 sk0
2 0
Estudiando el lmite con k0 ! +1, se prueba el teorema.
Ejemplo 39. (cont.) P

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

Teorema 10 an 0
p P
n a k < 1
n para n n0 ) P an converge
p
n a
n 1 para n n0 ) an diverge
p
Demostracin. n an k < 1, para n n0 P ) an k n , k < 1. P
p
Por comparacin con la serie geomtrica, an converge. Si n an 1 ) an
diverge, ya que an no tiene lmite 0.

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

an+1
Corolario 139 an > 0, lm =L
n!+1 an
P
Si L < 1 ) P an converge
Si L > 1 ) an diverge
n! an+1 (n+1)! nn n
Ejemplo 140 an = nn
, an = (n+1)n+1 n!
= n
= 1
n
P
n+1 (1+ n1 )
lm an+1 = 1
<1) an converge.
n!+1 an e
1000n an+1 1000 n

P
Ejemplo 141 an = n!
, an = n+1
! 0) an converge
Ejemplo 142 an = n1 , bn = 1
, lm an+1
n2 n!+1 an
= 1, lmbn+1
= 1. El criterio no decide.
n!+1 bn
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.
P q
Ejemplo 144 1
n(log(n))
. Verificar que l
m n 1
n(log(n))
=1
n!+1
Por el criterio de 2k :

k 2k 1 1 C para >1
2 a2 k = k = =
2 log(2k ) (k log(2)) k (log(2)) D para 1
2.3.4. Series alternadas

P+1
Sea an 0, estudiamos la serie n=0 ( 1)n an .
Teorema 12 (Criterio de Leibnitz) Si an es montona decreciente y lm an = 0,

P n!+1
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
s
0 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, 9 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!+1
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
Ejemplo 145 n
converge, ya que ( n1 ) & 0.
P ( 1)n P ( 1)n
Ejemplo 146 Idem para p ,
n n
con > 0.
P
Ejemplo 147 ( 1)n n+(1 1)n . Sea an = n+(1 1)n
Una primera tentacin es sustituir an por su equivalente n1 , pero debe tenerse en cuen-
ta 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
( 1)n
Para clasificar, tomamos la diferencia de ( 1)n an con su equivalente n
:
( 1)n ( 1)n n( 1)n ( 1)n (n + ( 1)n ) 1
= =
n + ( 1)n n n
n(n + ( 1) ) n(n + ( 1)n )
( 1)n 1
) ( 1)n an = = bn c n
n n(n + ( 1)n )
Hemos escrito el trmino generalP ( 1) an como P
n
diferencia de dos sucesiones. Sa-
bemos por el Ejemplo 145 que bn converge, y n es una serie de trminos no
cP
negativos,
P que puede clasificarse por su equivalente 1
n2
, que converge. Entonces
an converge.
P
Ejercicio 148 Clasificar ( 1)n pn+(1 1)n
.
2.3.5. Series de trminos cualesquiera

P
Se considera an , donde an 2 R de cualquier signo.
P
Definicin
P 149 an es una serie absolutamente convergente (A.C.) si y solo si la
serie |an | converge.
Teorema 13 Una serie absolutamente convergente es convergente.

P
Demostracin. Sea an absolutamente convergente. Definimos las sucesiones si-
guientes 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 | = an + an
P P
Luego 0 a+
n |an |, y 0 an |aPn |, de donde las series n y
a+ an convergen
por comparacin. Entonces, la serie (an an ) converge.
+
P sin(n) sin(n)
Ejemplo 150 n2
converge absolutamente, ya que n2
1
n2
.
P( 1)n P
Ejemplo 151 n
converge, pero no es A.C. (pues 1
n
diverge).
Observacin 152 El Ejemplo 151 muestra que el recproco del Teorema 13 no se

cumple: una serie puede converger pero
P +no ser
P A.C.. Observando
P +la prueba del teo-
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 in-
terpreta |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 2 R se cumple |an | |zn |
y |bP
n | |zn |. P P
Si
P |znP | converge, |an | y |bn | convergen
Ppor comparacin y luego (Teorema 13)
an y bn convergen y tambin entonces zn .
P n
Ejemplo 153 Si |z| < 1, z 2 P C, entonces n z converge absolutamente. Para
probarlo, clasificamos la serie n |z| (de trminos no negativos) por el criterio de
n
la raz: p p n
n
n |z n | = ( n n) |z| ! |z| < 1,
P
por lo que n |z|n converge.
P P P
Ejemplo 154 p 1
n+( 1)n n2 i
es A.C., ya que | pn+( 11)n n2 i | = p 1
n+n4
converge
1 1
[ pn+n 4 n2 ].
P ( 1)n
Ejemplo 155 n
, 2 R:
Para > 0, n1 & 0 y la serie converge
por Leibnitz.
n
Para 0, la serie no converge ( n1)
no tiende a 0 .
P 1
Para > 1, n
converge, y la de estudio es entonces A.C. En la Figura 2.3 se
muestra la clasificacin segn 2 R.
No C C.C AC
0 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 absolu-
ta: se puedenPemplear para |an | todos los mtodos de trminos no negativos. Sin
embargo,
P si |an | diverge no puede decidirse por este medio el comportamiento de
an .
2.3.6. Reordenacin de series

Una propiedad habitual de la suma de un nmero finito de nmeros es la conmu-
tativa: el orden de estos no altera la suma. Es decir, si A = a1 + a2 + . . . + an y ' :
{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
P es entonces, la siguiente: si an converge, suma S, es cierto lo mismo
para bn ? Como veremos, no siempre es as, sino solo en el caso de convergencia
absoluta. Trabajemos con an 2 R.
P P
Teorema 14 Si an 0P8 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.
Entonces bn (de trminos P no negativos) converge a cierto valor P S S (por tener
0
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
P 157 Si an A.C. con suma S y bn es reordenada de an , entonces
bn A.C. con suma S.
P P
Demostracin. Como |an | converge, su reordenada
P + |bn |Pconverge por el Teo-
rema 14.
P + Volviendo P
a la notacin del Teorema 12, an yP an convergen. Sea
+
S = a yS = an . Se tiene que S = S +
S . Pero b+ n es una reordenada
P + Tneorema 14 P P
de an ! suma S . Anlogamente, bn suma S , por lo que bn suma
+
S.

P( 1)n
Ejemplo 158 La serie n
converge, como ya se vio. Sea S la suma. Tenemos
S = 1 + 2 3 4 .... Multiplicando por 12 se tiene que S2 = 12 + 14 16 ....
1 1 1
Es fcil deducir que S2 = 0 12 + 0 + 14 + 0 16 + 0 + 18 ....

Sumando la ltima serie a la original: 32 S = 1 + 0 13 + 12 15 + 0 17 .. de donde
3
2
S = 1 13 + 12 15 17 + 14 19 ...
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 P arbitrario y an converge condicionalmen-
te, entonces existe una reordenada de an que suma C.
Demostracin. Sea (pm )m2N la sucesin de trminos no negativos

P de (an ), en el orden
que aparecen, y ( qk )k2N
P la de los
P negativos. Como la serie an converge condicio-
1
nalmente, tenemos que pm y qk divergen a +1 .
n m k P
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 su-
perar por primera vez
P a C. Es decir: p1 + . . . + pm1 > C y p1 + . . . + pm1 1 C. Esto
es posible porque pm diverge a +1.
AgregamosPdespus trminos negativos hasta pasar nuevamente por debajo de C (po-
sible pues qk diverge a 1):
(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 j
que smj +kj ! C y sm(j+1) +kj ! C.
j j m
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 +1 y 1.
2.3.7. Producto de Cauchy de series

Si pensamos
P+1 extender
P+1la propiedad distributiva del producto respecto a la suma, el
producto ( n=0 an )( n=0 bn ) dara origen a los siguientes sumandos, correspondien-
tes a los productos trmino a trmino. La siguiente matriz contiene todos los productos
posibles de trminos generales an y bn :
1
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
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 P indicadas,
P definiendo cn = a0 bn + a1 bn 1 +
. . .+an b0 . Suponiendo que las series
P a n y b n convergen a A y B respectivamente,
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
Pn 16 Si an y bn son A.C. sumando P A y B respectivamente, y cn =
a b
j=0 j n j es el producto de Cauchy, entonces cn es A.C. con suma AB.
Demostracin. Elegimos un orden para recorrer la tabla de productos, generando una

nueva sucesin (dk )k2N , 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 n n
X X X
dk = ai bj . (2.1)
k=1 i=0 j=0
Adems,
(n+1)2 n n
X X X
|dk | = |ai | |bj |. (2.2)
k=1 i=0 j=0
P P
Como P |an | y |bn | convergen, el segundo miembro de (2.2) est acotado.
P+1 Deduci-
mos que |dk | converge.
P Volviendo a
P (2.1) y tomando lmite en n, k=1 dk = AB.
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 Coro-
lario 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 Sec-
cin 3.3) corresponden a los cursos de Secundaria. Los conceptos de lmites, continui-
dad 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, codo-
minio 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 2 R.
i) lm f (x) = L , 8" > 0, 9 > 0 : 0 6= |x a| < , x 2 D ) |f (x) L| < "

x!a
, 8E(L, "), 9 E 0 (a, ) : f (E 0 (a, ) \ D) E(L, ").
ii) lm f (x) = +1 , 8K, 9 > 0 : 0 6= |x a| < , x 2 D ) f (x) > K.

x!a
61
62 Captulo 3. Repaso de Funciones de una Variable
f (x)
f (a) + "
f (a)
f (a) "
a x
2 1
= mn( 1 , 2 )
Nota 161
i) Si a 2 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 lmx!a f (x) = 1, lmx!+1 f (x) = L, lmx! 1 f (x) =
+1, etc. Por ejemplo, si f : [b, +1) ! R, lmx!+1 f (x) = L , 8" >
0, 9M > 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 , 8(xn )n2N : xn 2 D {a}8n, lm xn = a ) lm f (xn ) = L.

x!a n n
Demostracin.
() ) Sea (xn )n2N una tal sucesin, y " > 0. Por la Definicin 160 podemos encontrar
> 0 tal que si x 2 D, 0 6= |x a| < ) |f (x) L| < ".
n
Como xn ! a, elegimos n0 : 8n n0 , |f (x) L| < ".
(() Supongamos por absurdo que f (x) no tiene lmite L.

Entonces existe E(L, ") : 8 > 0, 9x 2 E 0 (a, ) \ D, f (x ) 2/ E(L, "). Toma-
mos = 1/n, y sea xn el x correspondiente. Entonces (xn )n2N es una sucesin
n
en D {a}, xn ! a ) f (xn ) ! L. Pero f (xn ) 2 / E(L, "), lo que es absurdo.
3.2. Lmites y continuidad 63
f (x)
a x
Ejemplo 162
2 n n 2 n
1) lmx!0 e 1/x = 0. En efecto, si xn ! 0, 1/x2n ! 1 y e 1/xn ! 0.
Como consecuencia del teorema 17 (y sus extensiones para lmites infinitos o con
x ! 1), 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
ambos lmite 0 o 1, se dicen equivalentes cuando lm fg(x)
(x)
= 1) y tiene las
mismas propiedades.
3.2.1. Lmites laterales

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

x!a
En el ejemplo, lmx!0+ f (x) = 1, lmx!0 f (x) = 0.

Se definen anlogamente lmites laterales infinitos. Como ejercicio calcule los lmites
laterales lmx!0 e 1/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 2 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 2 D

f (x) es continua en a , 8" > 09 > 0 : |x a| < , x 2 D ) |f (x) f (a)| < "
, 8E(f (a), "), 9E(a, ) : f (E(a, )) E(f (a), ").

f es continua en (en D) si y solo si es continua en a, 8a 2 D.
Nota 165 Para a punto de acumulacin de D (caso habitual) la definicin anterior

equivale a pedir lmx!a 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 2 D
f es continua en a , 8(xn )n2N : xn 2 D8n, lmn xn = a ) lmn f (xn ) = f (a)
Demostracin. Anloga al teorema 17.

Las observaciones anteriores permiten asegurar la continuidad de numerosas funcio-
nes.
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 lasppropiedades algebraicas de los lmites.
La funcin f (x) = x es continua 8x 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 2 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
p
2) esen( x)
es continua en x 0.
3.2.3. 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 2 (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+b2
.
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 x
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.
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 2 (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 2 (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]:
9m, M : m f (x) M 8x 2 [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 2 [a, b], tal que lmn f (xn ) =
+1.
Consideremos (xn )n2N . Como es acotada, del Teorema 5 del Captulo 2 deduci-
k
mos que existe una subsucesin (xnk ) que converge, xnk ! L.
Como a xnk b ) a L b y L 2 [a, b].
k
) f es continua en L ) f (xnk ) ! f (L), lo que contradice lo supuesto
(f (xn ) ! 1).
ii) Sea M = supx2[a,b] {f (x)}. Como M es el supremo del conjunto

{f (x) : x 2 [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 k
vez ms, 9(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], lmx!a+ f (x) = +1, probar que f tiene mnimo en
[a, b].
3.3. Continuidad uniforme 67
3.3. 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 |x a| < 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
3) Sean f (x) p= x2 y a
p > 0. Para obtener |x
2
a2 | < ", px debe estar en el
intervalo
p ( a
2 ", a2 + "). Luego debe cumplir a2 + " a y
p Se puede ver que la primera condicin es ms restrictiva, por lo
a a 2 ".
que max = a2 + " a.
f (x)
x2
2
a +"
a2
a2 "
p ap x
a2 " 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 2 I que disten
entre s menos que , se cumplira |f (x) f (x0 )| < ". Llegamos a la definicin:
Definicin 171 f es uniformemente continua en un intervalo I ,

8" > 09 (") : 8x, x0 2 I, |x x0 | < ) |f (x) f (x0 )| < ".
Ejemplo 172
3) Continuacin: Si consideramos I = [0, +1) en el caso f (x)p= x2 , debera-
mos obtener (") max (a, "), 8a 2 I. Pero max (a, ") = a2 + " a =
a!+1
p "
a2 +"+a
! 0, de modo que lo anterior no es posible. En otras palabras,
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 2 I. La funcin no es uniformemente continua
en I.
Si restringiramos el problema a I 0 = [1, k] la situacin cambia: tomando
"
< pk2 +"+k , cumple < max para todo a 2 I 0 .
Claramente, la Definicin 171 nos asegura que una funcin uniformemente continua
en I es continua en todo a 2 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
4) f (x) = 1
x
,
I = (0, 1]. Claramente
f es continua en I. Para tener | x
1 1
a
| <
", hace falta que x 2 1 +" , 1 " = 1+a" , 1 a" . Luego, debe cumplir
1 1 a a
a a
a2 " a2 "
a
1 a"
a= 1 a"
y a a
1+a"
= 1+a"
. La segunda condicin es ms
1
a
+"
1
a
1
a
" 1
x
a a a
1 x
1+a" 1 a"
2 a!0
restrictiva, y max = 1+a"
a "
. Puesto que max ! 0, no es posible obtener
(") < max 8a 2 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 9" : 8 , 9x , x 0 2 I con
|x x 0 | < y |f (x ) f (x 0 )| ". 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 )n2N y (xn0 )n2N
tales que:
1
|xn xn0 | < , |f (x) f (x0 )| " ()
n
Como (xn )n2N es acotada, tiene (Teorema 5) una subsucesin convergente (xnk )k2N , y
k
lmk xnk = L 2 [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
entonces f (xnk ) f (x0nk ) ! 0, lo que es absurdo por ().
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: fx =
f (x) f (a)
x a
, llamado cociente incremental. Si buscamos una versin local, es decir la
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

en a si y solo si existe lmx!a f (x)x fa (a) .
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)).
f (x)
r
P
a x x
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.

x!a
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)
lm = f (a) ) lm (f (x) f (a)) = 0 ) lm f (x) = f (a).
x!a x a x!a x!a
De hecho, la derivabilidad es una condicin ms exigente que la continuidad, como lo

muestra el ejemplo f (x) = |x| en el punto x = 0. En ese caso, f (x)x f0 (0) = |x|
x
= sg(x),
que no tiene lmite en x = 0.
Ejemplo 175
5)
ex ea (ex a 1) x!a
f (x) = ex = ea ! ea ) f 0 (a) = ea .
x a (x a)
La funcin exponencial tiene derivada en cualquier punto y (ex )0 = ex .
En forma similar se puede probar que:

1
(x )0 = x 1 ; (log |x|)0 = ; (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 .
f 0 g f g0
(iii) (f /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)
x a x a x a
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)) g(f (x)) g(f (a)) f (x) f (a)
= .
x a f (x) f (a) x a
Cuando x ! a, f (x) ! f (a) y los dos factores del segundo miembro tienden respec-
tivamente a g 0 (b) y f 0 (a).
Un inconveniente de este argumento es que f (x) f (a) podra anularse para x arbi-
trariamente cerca de a, en el caso f 0 (a) = 0.
Sea "(y) = g(y)y g(b)
b
g 0 (b) definido para y en un entorno reducido. Por definicin
de derivada, lmy!b "(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:
g(f (x)) g(f (a)) f (x) f (a) 0
= (g (b) + "(f (x)))
x a x a
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).
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)), 8x 2 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

E(a, ) se cumple f (x)x fa (a) > 0, y por lo tanto f (x) f (a) es del mismo signo que
x a. Esto significa que f (x) > f (a) si x 2 (a, a + ), mientras que f (x) f (a) si
x 2 (a , a). Pero entonces a no es extremo relativo.
Si f (a) < 0, se cumple anlogamente que a no es extremo relativo.
0
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)

f (b) f (a)
Si f es continua en [a, b] y derivable en (a, b) ) 9 c 2 (a, b) tal que f 0 (c) = b a
.
Demostracin.
i) Veamos en primer lugar el caso f (b) = f (a) (Teorema de Rolle). Por el Teo-
rema 20 de Weierstrass, existen mximo M y mnimo m de f en [a, b]. Si am-
bos ocurren en los extremos a y b del intervalo, como f (a) = f (b) tendra-
mos m = M , y por lo tanto la funcin sera constante en [a, b]. En ese caso
f 0 (c) = 08c 2 (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 2 (a, b). Entonces f tiene un mximo relativo
en c y por lo tanto f 0 (c) = 0.
En cualquier caso, existe c 2 (a, b) : f 0 (c) = 0 = f (b)b fa (a) .
ii) En el caso general, sea g(x) = f (x) f (b)b fa (a) (x a). La funcin g as definida
cumple las hiptesis del caso i), ya que g(a) = g(b) = f (a).
Entonces, 9 c 2 (a, b) : f 0 (c) f (b)b fa (a) = 0.
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) r
f (a)
a c b x
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 2 (a, b), x < x0 . Si fuese f (x) f (x0 ), se deduce que
f (x0 ) f (x)
x0 x
0. Por el Teorema de Lagrange, existe c 2 (x, x0 ) tal que f 0 (c) 0, lo
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 cre-

cimiento 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 .
Concavidad negativa
No entremos aqu en ms detalles (asntotas, etc.) del estudio analtico y represen-

tacin grfica de funciones, que es un tema usual en los cursos de secundaria. Termi-
namos 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),
) 9 c 2 (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 2 (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 0 (x) f (x)
lm = ) lm = .
x!a g 0 (x) x!a g(x)
Demostracin. Sea x > a. Aplicando el Teorema 24 de Cauchy a f y g en [a, b],

0 (c)
tenemos para algn c 2 (a, x): fg0 (c) = fg(x)
(x) f (a)
g(a)
= fg(x)
(x)
.
0
Si x ! a+ , c ! a+ , y por tanto lm+ fg0 (c)
(c)
= .
x!a
f (x)
) lm+ = .
x!a g(x)
Puede procederse igual para x ! a .

ex 1 x
Ejemplo 184 Buscamos lmx!0 x2
x ex 1 x
Derivando, se tiene lm e 2x 1 = 1
2
) lmx!0 x2
= 12 .
x!0
3.5. Funciones inversas 75
3.5. 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 estric-
tamente 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. Con-
sideramos y < y 0 . Si fuese f 1 (y) f 1 (y 0 ) tendramos a partir de la monoto-
na de f que f (f 1 (y)) f (f 1 (y 0 )), o que y y 0 , lo que es absurdo. Entonces,
1 1 0
f (y) < f (y ).
Veamos ahora la continuidad. Sea y0 2 J, estudiamos lmy!y0 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 lmy!y0 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 ) 8y < y0 , y aplicando f que
y f (L) < y0 8y < y0 , lo que es absurdo. Entonces lm f 1 (y) = f 1 (y0 ).
y!y0
Anlogamente, lm+ f 1
(y) = f 1
(y0 ).
y!y0
Teorema 27 Sea f derivable en I = (a, b), f 0 (x) > 0 en I, y J = f (I). Entonces f 1
es derivable en J, y (f 1 )0 (y) = f 0 (f 11 (y)) .
Demostracin. Por la Proposicin 182, f es estrictamente creciente (de donde se de-

duce adems que J es un intervalo abierto). Por el Teorema 26, existe f 1 continua.
Sea x = f 1 (y), x0 = f 1 (y0 ):
1
f (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

tiene lmite f 0 (x
1
0)
. Entonces (f 1 )0 (y0 ) = f 0 (x
1
0)
= f 0 (f 11 (y0 )) .
Nota 185 La expresin (f 1 )0 (y) = f 0 (f 11 (y)) permite deducir que si f tiene derivadas
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, /2).

f 1 (y) = arcsen(y), y 2 ( 1, 1).
(x = arcsen(y)) , y = sen(x).
1
(arcsen(y))0 = cos(arcsen(y)) = p 1 2 , donde la ltima igualdad se deduce del hecho
1 y
p
que si x = arcsen(y), y = sen(x) y 1 y 2 = cos(x) = cos(arcsen(y)).
arcsen(x)

sen(x) 2
1
x x
- 2
2
-1 1
-1
- 2
3.6. Desarrollo de Taylor

Comenzamos con la siguiente reinterpretacin de la nocin de derivada: si f es
derivable en a, f (x)x fa (a) ! f 0 (a), y podemos escribir f (x) = f (a) + f 0 (a)(x a) +
x!a
r(x), donde se verifica que xr(x)a ! 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)(x a) aproxima a f (x) de
tal modo que el error cometido r(x) resulta, cerca de a, despreciable frente a (x a). 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
mayor orden que g(x) (y se denota f (x) = o(g(x))) si y solo si lm fg(x)
(x)
= 0.
x!a
3.6. Desarrollo de Taylor 77
y f (x)
yt
f (a)
a x
Ejemplo 188 x2 = o(x), y en general x = o(x ) siempre que > .
x2 x!0
Ejemplo 189 x2 = o(sen(x)), ya que sen(x)
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))n f (x) x!a
n
= ! 0,
(g(x)) g(x)
f (x) x!a
donde el ltimo paso es vlido porque g(x)
! 0. Dejamos el resto como ejercicio.
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 ).
00 (n)
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 (x a)+. . .+an (x a)n +rn (x) = b0 +b1 (x a)+. . .+bn (x a)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 (x a)n +rn (x) = b1 (x a)+. . .+bn (x a)n +Rn (x). Dividiendo por (x a)
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((x a)n ). En otras palabras, tomando la primera
ecuacin como definicin de rn (x):
0 f (n) (a)
rn (x) = f (x) [f (a) + f (a)(x a) + . . . + (x a)n ]
n!
x!a
se debe probar que (xrn (a)
a)n
! 0. Derivando la expresin anterior en un entorno
de a (f es derivable), tenemos: rn0 (x) =
f (n) (a)
= f 0 (x) [f 0 (a)+f 00 (a)(x a)+. . .+ (x a)n 1 ] = f 0 (x) Pn 1 (f 0 , a).
(n 1)!
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!a
el resto de Taylor de f 0 de orden n 1 en x = a y por tanto (xrna)(x) n 1 !
0 x
rn x!a
0 o tambin n(x a)n 1 ! 0. Aplicando la regla de LHopital obtenemos
rn (a) x!a
(x a)n
! 0.

x2 xn
Ejemplo 191 Pn (ex , 0) = 1 + x + 2!
+ ... + n!
.
x3 x5 ( 1)k x2k+1
Ejemplo 192 P2k+1 (sen(x), 0) = x 3!
+ 5!
+ ... + (2k+1)!
2 /2+o(x2 ) 2
ex 1 x
Ejemplo 193 lm x2
= lm 1+x+x x2
1 x
= 1
2
+ lm o(x
x2
)
= 12 .
x!0 x!0 x!0
Ejemplo 194 Pn ( 1 1 x , 0) = 1+x+x2 +. . .+xn . Para verlo sin calcular las derivadas,
observar que
1 xn+1 1 xn+1
1 + x + . . . + xn = ) = 1 + x + . . . + xn + .
1 x 1 x 1 x
n+1
Como x1 x = o(xn ) y 1 1 x es derivable infinitas veces en 0, el polinomio de Taylor
surge de la unicidad del desarrollo.
2 4 2
Ejemplo 195 P4 (ex , 0) = 1 + x2 + x2 , ya que eu = 1 + u + u2 + r(u), r(u) = o(u2 ),
2 4
lo que implica que ex = 1 + x2 + x2 + r(x2 ), r(x2 ) = o(x4 ).
Ejemplo 196 P4 (esen(x) , 0). Para calcularlo, escribimos:
x2 x3 x4
ex = 1 + x + + + + o(x4 )
2! 3! 4!
(sen(x))2 (sen(x))3 (sen(x))4
) esen(x) = 1 + sen(x) + + + + 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 + 12 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 + 12 x2 18 x4
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 mxi-
mo, un mnimo o si no es ni siquiera un extremo. De hecho, veremos que la primera
derivada no nula, si existe, clasifica el punto:
Proposicin 197 Si f es derivable hasta el orden n en a, f 0 (a) = f 00 (a) = . . . =

f (n 1) (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.
(n) (a)
Demostracin. Por Taylor: f (x) = f (a)+ f n!
(x a)n +o((x a)n ), y reescribiendo:
(n) n n x!a
f (x) f (a) = (x a)n [ f n!(a) + o((x a) )
(x a)n
]. Como o((x a) )
(x a)n
! 0, en E 0 (a, ) el
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)(x a)n+1
rn (x), donde rn (x) = f (n+1)!
, para algn c 2 [a, x].
f (n) (a)(x a)n
Demostracin. Pn (f, a) = f (a) + f 0 (a)(x a) + . . . + n!
. Definimos una
funcin auxiliar F (t) sustituyendo a por t:
f (n) (t)(x t)n
F (t) = f (t) + f 0 (t)(x t) + . . . + , t 2 E(a, ).
n!
Se cumple F (x) = f (x), F (a) = Pn (f, a). Derivando, resulta
f (n+1) (t)(x t)n
F 0 (t) = f 0 (t) f 0 (t) + f 00 (t)(x t) f 00 (t)(x t) + . . . + =
n!
f (n+1) (t)(x t)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)
) = ) rn (x) = (x a)n+1 .
(x a)n+1 (n + 1)! (n + 1)!

2 n P xn
Ejemplo 198 ex = 1 + x + x2 + . . . + xn! + . . . = +1 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
c xn+1 |x| |x|n+1 n!+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 infinitamen-
te derivable converge para n ! +1 a la propia funcin, ni siquiera en un entorno de
n!+1
a (no siempre ocurre que rn (x) ! 0).
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)
a 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 fun-
cin 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:
n 1
a 2 a
X n 1
a3 X 2
sn = i = 3 i A. (4.1)
i=0
n n n i=0
83
84 Captulo 4. Integrales
f (x) f (x)
Sn
sn
a x a x
(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:
n 1h
X i2 a n
a a3 X 2
Sn = (i + 1) = 3 i A. (4.2)
i=0
n n n i=1
Pk 2 k3 k2
Para evaluar las sumatorias, recurrimos a una frmula: i=1 i = 3 + 2 + 6 que
k
Pk 1 2 3 2
puede probarse por induccin completa. Se deduce que i=1 i = k3 k
2
+ k6 . Se
3 3 2 3 3 3 3 a3 a3
obtiene entonces sn = na3 [ n3 n2 + n6 ] = a3 2n
a a
+ 6n 2 , mientras que Sn = 3 + 2n + 6n2 .
a
3
Tenamos sn A Sn . Como sn y Sn tienen lmite a3 cuando n ! +1, dedu-
3
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 c-
mo 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 fun-
cin, tomar lmite afinando la particin. Estas son las ideas bsicas para construir la
integral.
4.2. Integracin de funciones continuas 85
4.2. 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,...,n 1 {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 2 [xi , xi+1 ]},
Pny 1Mi = sup{f (x) :
x 2 [xi , xi+1 ]}, i = 0, . . . , n 1. A la suma s(f, P ) = Pmi (xi+1 xi ) le
i=0
llamaremos suma inferior de f respecto a P . A la suma S(f, P ) = ni=01 Mi (xi+1 xi )
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 1
s(f, P ) = ni=0;i6 mi (xi+1 xi ) + mk (xk+1 xk ), y
P n 1 =k
s(f, Q) = i=0;i6=k mi (xi+1 xi ) + m0k (y xk ) + m00k (xk+1 y),
donde m0k = nf{f (x) : x 2 [xk , y]}, m00k = nf{f (x) : x 2 [y, xk+1 ]} y
mk = nf{f (x) : x 2 [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 , 8i). 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).

f (x)
La proposicin anterior nos muestra que cualquier suma inferior (aproximacin

por defecto) es menor o igual que cualquier suma superior (aproximacin por exce-
so). 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 8" > 0, 9 > 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 8 >
09 : |x x0 | < ) |f (x) f (x0 )| < .
Sea " > 0, elegimos = b " a y cumpliendo la condicin anterior. Si P =
{x0 , x1 , . . . , xn } es una particin con |P | , entonces 8i, 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:
n 1
X n 1
X
S(f, P ) s(f, P ) = (Mi mi )(xi+1 xi ) < (xi+1 xi ) ".
i=0 i=0
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 n-
meros XP = {x0 , x1 , . . . , xn 1 } se llama conjunto admisible para P si y solo si se
cumple xi 2 [xi , xi+1 ], 8i = 0, n 1 (es decir, XP es una eleccin de puntos de
los intervalos de P ). Si f es acotada en [a, b],Pllamaremos suma de Riemann de f
n 1
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
8" > 0, 9 > 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 , . . . , xn 1 } 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
P 2 El Corolario 206 nos muestra que la integral es un lmite de sumas
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
R introducida por Leibniz, en
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
.
4.3. Propiedades de la Integral

Proposicin 208
1. Linealidad: si f y g son continuas en [a, b], , 2 R entonces:

Z b Z b Z b
[f (x) + g(x)]dx = f (x)dx + g(x)dx.
a a a
Rc Rb
2. RAditividad: si a b c y f continua en [a, c]: a
f (x)dx = a
f (x)dx +
c
b
f (x)dx.
Rb
3. Si f 0 en [a, b] entonces a
f (x)dx 0.
Rb Rb
4. Si f g en [a, b] entonces a
f (x)dx a
g(x)dx.
Rb Rb
5. Si a < b entonces | a
f (x)dx| a
|f (x)dx|.
Demostracin. Probaremos cada una de las propiedades enunciadas:

P
1. SR(f + g, P, XP ) = ni=01 (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 P P
SR(f, P, XP ) = ki=01 f (xi )(xi+1 xi )+ ni=k1 f (xi )(xi+1 xi ) = SR(f, P 0 , XP 0 )+
SR(f, P 00 , XP 00 ), donde P 0 y P 00 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, 8P , 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 |f (x)|dx.
Rb Rb a
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
Rb eliminando la restriccin a b c, si se da una
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 en-
c b
tonces a f (x)dx = a f (x)dx + b f (x)dx. El caso a b c ya se vio: pa-
ra 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 Pro-
posicin
Ra 208): R b f (x)dx = bR f (x)dx + c f (x)dx. Al trasponer tenemos que
c a
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 2 3 3 Rb
Adems: a x2 dx = 0 x2 dx 0
x dx = b3 a3 . Como a 2dx = 2(b a), entonces
Rb 3 3
la integral de inters vale a (x2 + 2)dx = b 3 a + 2(b a).
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 fun-
ciones continuas, se observa que la continuidad de la funcin es utilizada solo en el
Lema 204, que afirma que 8" > 0, 9 > 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 pro-
piedades. 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 conti-
nuas 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.

1 si x > 0
Ejemplo 212 La funcin dada por f (x) = es seccionalmente conti-
0 si x 0
nua.
1
sen x
)
1
-1

sen x1 si x 6= 0
Ejemplo 213 La funcin dada por f (x) = no es seccionalmente
0 si x = 0
continua, pues no existen los lmites laterales en x = 0.
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] en-
tonces
8" > 0 9 > 0 : |P | < ) S(f, P ) s(f, P ) < ".
Demostracin. Por simplicidad, suponemos que f tiene un nico punto de discontinui-

dad c 2 [a, b]. Adems, f es acotada (Ejercicio 214). Sean k = sup |f (x)|, x 2 [a, b] y
P = {x0 , x1 , . . . , xn } una particin de [a, b]. Luego:
n 1
X
S(f, P ) s(f, P ) = (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
a c la siguiente desigualdad (Mi mi ) < 2(b" a) . Para hacerlo, definir g(x) = f (x)
para x 2 [a, c) y g(c) = lmx!c f (x), mientras que h(x) = f (x) para x 2 (c, b],
y h(c) = lmx!c+ 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:
X n 1
X
" "
(Mi mi )(xi+1 xi ) < (xi+1 xi ) < .
2(b a) i=0
2
{i2{0,...,n 1}: c2[x
/ i ,xi+1 ]}
4.5. Teoremas fundamentales 91
f (x)
x
a c 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 ) <
"
2
+4k si |P | < . Si elegimos tal que adems < 8k"
, se tiene S(f, P ) s(f, P ) < ".

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 fun-
ciones ms generales que las seccionalmente continuas. Se dice que una funcin es
integrable (segn Riemann) cuando esto puede hacerse. No estudiaremos esta genera-
lizacin. 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 2 [0, 1], x racional
Ejemplo 218 La funcin de Dirichlet f (x) = no es
0 si x 2 [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, 8P , 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 ver-
siones 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 re-
presenta 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.
f (x)
x
a b
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
medio de f en [a, b] al nmero = b 1 a a f (x)dx.
Teorema 32 (Teorema del Valor Medio) Sea f continua en [a, b], y su valor medio.
Entonces, existe c 2 [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
m(b a) f (x)dx M (b a) ) m M.
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), 8x 2
I.
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, 8x 2 I).
Demostracin. F 0 (x) = G0 (x) = f (x) ) F 0 (x) G0 (x) = 0 8x 2 I. La funcin

H(x) = F (x) G(x) tiene derivada idnticamente nula. Si suponemos H(x1 ) 6=
H(x2 ) entonces H(xx11) H(x
x2
2)
6= 0, y por el Teorema 23 de Lagrange, se obtendra un
punto intermedio c tal que H (c) 6= 0, lo que es absurdo.
0

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)
a x t
Teorema 33 (Teorema Fundamental del Clculo Integral) Si f es seccionalmente

Rx
continua en un intervalo abierto I, a 2 I, y se considera F (x) = a f (t)dt para
x 2 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.
2. Como f es continua en x0 y f tiene a lo sumo un nmero finito de discontinui-

dades, 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:
F (x0 + h) F (x0 )
lm = lm f (x0 + eh) = f (x0 ), (4.3)
h!0 h h!0
por lo que la derivada F 0 (x0 ) existe, y vale F 0 (x0 ) = f (x0 ).

Rx
Corolario 223 Si f es continua en [a, b], F (x) = a
f (t)dt es una primitiva de f en
(a, b) (continua en los extremos a y b).
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 cons-
tante (F es otra primitiva):
Z x
G(x) = f (t)dt + C,
a
Rb
para x 2 (a, b) (y para x 2 [a, b] por continuidad). Entonces G(b) G(a) = 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.

1 si x 2 [0, 1] Rx
Ejemplo 225 Sean f (x) = y F (x) = 0 f (t)dt.
0 si x 2/ [0, 1]
Para x 0, claramente F R x(x) = 0.
Para x 2 [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.
f (x)
x
1
F (x)
x
1
Ra xn+1
Ejemplo 226 0
xn . Aplicamos la Regla de Barrow con primitiva n+1
:
Z a
xn+1 a an+1
xn dx = |0 = .
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)
x

2
Rb
Ejemplo 228 1
1 x
dx = log(x)|b1 = log(b).
R1p R1
Ejemplo 229 0
xdx = 0
x1/2 = 23 x3/2 |10 = 23 .
Rx
Ejemplo 230 Hallar c y f continua tal que c f (t)dt = cos(x) 12 .
Derivando a ambos lados tenemos que f (x) = sen(x), y por la Regla de Barrow:
Z x
( sen(t))dt = cos(t)|xc = cos(x) cos(c), (4.4)
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 cade-
na: G0 (x) = F 0 (x2 )2x = (1+x
2x
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 demos-
tracin 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
x
= log |x| + C.
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
R dx
sen2 x
= cot(x) + C.
R dx
1+x2
= arctan(x) + C.
R
p dx = arcsen(x) + C.
1 x2
R dx
cosh2 (x)
= tanh(x) + C.
R dx
senh2 (x)
= coth(x) + C.
R dx
1 x2
= arctanh(x) + C.
R dx
cos2 x
= tan(x) + C.
R
p dx = arccosh(x) + C.
x2 1
R p
p dx = arcsenh(x) + C = log |x + 1 + x2 | + C.
1+x2
4.6.1. Linealidad de la primitivaa

R
R Sean f yRg funciones continuas en un intervalo [c, d]. Entonces (af + bg)dx =
a f dx + b gdx.
Rx Rx Rx
Si F es primitiva de af +bg,
R entonces
R F = c (af +bg)+C = a c f +b c g +C.
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.)
R R R
Ejemplo 232 (3 cos(x) + 2ex )dx = 3 cos(x)dx + 2 ex dx = 3 sin(x) + 2ex + C.
R n+1 2
Ejemplo 233 (an xn +an 1 xn 1
+. . .+a1 x+a0 )dx = an xn+1 +. . .+a1 x2 +a0 x+C.
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)
2
, por lo que:
Z
1 sen(2x)
cos2 (x)dx = x + + C.
2 4
4.6.2. Integracin por sustitucin

Si se tiene resuelto el problema de hallar una primitiva para una funcin f (x) conti-
nua en un intervalo entonces tambin puede hallarse la primitiva de f (g(t))g 0 (t) donde
gR es una funcin con derivada continua que puede componerse
R con f . En efecto, sea
f (x)dx = F (x) + C (F primitiva de f ). Entonces f (g(t))g (t)dt = F (g(t)) + C.
0
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.
1
R En la segunda
0
integral, considerando x = g(t) = t4 y f (x) = cos(x) tenemos
4
f (g(t))g (t).R R
Resolvemos
R 3 f (x)dx = cos(x)dx = sen(x) + C, y componiendo con g(t) se
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),
R escribimos g 0 (t) R= dx
dt
o tambin dx = g 0 (t)dt.
Tenemos f (g(t))g (t)dt = f (x)dx = F (x) + C = F (g(t)) + C.
0
El trmino dx en la integral sirve como recordatorio de que la variable de integra-

cin 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
2 x3 cos3 (t)
cos (t)sen(t)dt = x2 dx = +C = + C.
3 3
R p R p
Ejemplo 237 sen(pt t) dt = 2 sen(u)du = 2 cos(u)+C = 2 cos( t)+C, donde
p
se ha hecho el cambio de variable u = t, du = 2dt
p .
t
R R R du
Ejemplo 238 tg(t)dt = sen(t) cos(t)
dt = u
= log |u| + C = log | cos(t)| + C,
donde se ha hecho el cambio de variable u = cos(t), du = sen(t)dt.
R x R du p p
Ejemplo 239 p1+x 2 dx = 1
2
p =
u
u + C = 1 + x2 + C, donde se ha hecho el
cambio de variable u = x2 + 1, du = 2xdx.
R3
Ejemplo 240 Supongamos que se quiere calcular la integral definida 1 log(x)x
dx. Cal-
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 = dx
x
. Luego, evaluamos la primitiva:
Z 3
log(x) (log(x))2 3 (log(3))2
dx = = .
1 x 2 1 2
Sin embargo, lo anterior puede hacerse de otro modo, incluyendo los extremos en
el cambio de variables. Con el mismo cambio:
Z 3 Z log(3)
log(x) (log(3))2
dx = udu = .
1 x 0 2
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 b b g(b)
Z g(b)
0
f (g(t))g (t)dt = F (g(t)) = F (g(b)) F (g(a)) = F (x) = f (x)dx.
a a g(a) g(a)

R1 p
Ejemplo 242 1 x2 dx. Si se pone x = sen(t), para t 2 [ /2, /2] se tiene
p 1
que 1 x2 = cos(t). Adems dx = cos(t)dt, de donde:
Z Z
1 p /2
2 t sen(2t) /2
1 x2 dx = cos (t)dt = + = /2.
1 /2 2 4 /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. p
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).
En este caso x = sen(t) tiene inversa t = arcsin(x), para t 2 [ 2 , 2 ], x 2 [ 1, 1].

Se tiene entonces:
Z p
1 1
1 x2 dx = arcsin(x) + sen(2 arcsin(x)), x 2 [ 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.
R R
Demostracin. Como (f g)0 = f g 0 + f 0 g, entonces f (x)g 0 (x)dx + f 0 (x)g(x)dx =
f (x)g(x) + C.

Rb b Rb
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.
R
Ejemplo 247 log(x)dx. Aqu aparece una sola funcin en el integrando, pero siem-
pre podemos escribir log(x) = 1 log(x). Aprovechando R que log(x) tiene derivada
sencilla, ponemos f (x) = log(x) y g (x) = 1. Entonces log(x)dx =
0
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 (Ejem-
plo 233). El problema se reduce entonces al segundo sumando.
Un teorema de la teora de polinomios, que enunciamos a continuacin sin demos-
tracin, permite reducir el problema a la primitiva de fracciones ms simples.
Teorema 34 (Descomposicin en fracciones simples) Todo cociente de polinomios
P (x)
Q(x)
con gr(P ) < gr(Q), puede descomponerse de forma nica en suma de cocientes
ms simples, correspondiendo a cada raz de Q(x), las siguientes fracciones:
1. Raz real simple ) A
x
.
Ak
2. Raz real de multiplicidad k ) A1
x
+ A2
(x )2
+ ... + (x )k
.
3. Races complejas simples i ) M x+N

(x )2 + 2 .
Mk x+Nk
4. Races complejas i con multiplicidad k ) M1 x+N1
(x )2 + 2
+...+ ((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 ,
entonces: ax2 + bx + c = a((x )2 + 2 ) y se usa la fraccin a((xM1 x+N 1
)2 + 2 )
.
Ejemplo 248 Descomposicin de 1

(x 1)(x+1)3
. Por el Teorema 34 sabemos que existen
A, B, B2 y B3 tales que:
1 A B1 B2 B3
= + + +
(x 1)(x + 1)3 (x 1) (x + 1) (x + 1)2 (x + 1)3
Para hallar los coeficientes:
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 = 1

2
.
3. Multiplicamos por x, tomamos lmite con x ! 1, 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 resol-
viendo el correspondiente sistema de ecuaciones lineales o tomando denominador co-
mn e identificando los coeficientes del numerador.
Del Teorema 34 surge, entonces, que basta con conocer las primitivas de las frac-
ciones simples para resolver cualquier funcin racional. Las obtenemos:
R
(i) xdx = log |x | + C.
R
(ii) dx
(x )k
= 1 1
k 1 (x )k 1 + C, (k > 1).
R R R M +N
(iii) M x+N
dx = (xM (x
(x )2 + 2 2
) +
)
2 dx + (x )2 + 2
dx, donde es posible resolver por
separado ambas integrales. La primera vale:
Z Z
M (x ) M du M
2 2
dx = 2
= log(u + 2 ) + C,
(x ) + 2 u+ 2
siendo u = (x )2 , mientras que para la segunda integral:

Z Z
M + N M + N du M + N
2 2
dx = 2
= arctan(u) + C,
(x ) + u +1
donde u = x
. A partir de esto, tenemos que:
Z
Mx + N M M + N x
dx = log((x )2 + 2
)+ arctan( ) + C.
(x )2 + 2 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).
R R M (x ) R
(iv) M x+N
((x )2 + 2 )k
dx = ((x )2 + 2 )k
dx + (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 M 1
2 k
= +C
2 (u + ) 2 (k 1)(u + 2 )k 1
M 1
= + C,
2(k 1) ((x )2 + 2 )k 1
mientras que la segunda integral es igual a:

Z Z
M + N dx M + N du
2k 2 2 k
= 2k 1
((x ) / + 1) (u + 1)k
2
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.
R
Ejemplo 250 (Continuacin) dx
(x 1)(x+1)3
= 1
8
log |x 1| 1
8
log |x + 1| + 1 1
4 x+1
+
1 1
4 (x+1)2
+ C.
Terminamos el tema con un ejemplo completo.

R 7x4 +2x3 7x2 6x+2
Ejemplo 251 (x+1)2 (x 2)(x2 +1)
dx. 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 ! 1: 7 = A + B + M , por lo que B = 1.
Reuniendo la informacin:
Z
7x4 + 2x3 7x2 6x + 2 1
2 2
dx = 2 log |x 2|+log |x+1|+ +2 log(x2 +1)+C.
(x + 1) (x 2)(x + 1) x+1
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 primitivasR de2 las
funciones elementales, como ya se adelant. Por ejemplo, las primitivas e x dx,
R sen(x)
x
dx no pueden expresarse en trminos de las funciones elementales (hecho que
no probaremos aqu).
Sealamos que esto no quiere decir que las primitivas no existan. La siguiente
funcin: Z x
2
'(x) = e t dt, (4.5)
0
2
que por cierto es muy utilizada en probabilidades, es una primitiva de e t . Lo que
ocurre es que '(x) no puede escribirse como una funcin elemental.
Para evaluar integrales en estos casos, debe recurrirse inevitablemente a aproxima-
ciones 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
Rb llamados de cuadratura)
proveen aproximaciones numricas al valor a f (x) dx, independientemente del ca-
rcter 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 intro-
ductorios de algunos de sus mtodos.
En principio, cualquier suma de Riemann es una aproximacin numrica a la inte-
gral, 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 m-
todo. 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 = b na particin en n
intervalos iguales.
Z b n 1
X Z xi+1
I= f (x) dx = Ii , con Ii = f (x) dx
a i=0 xi
4.7. Mtodos numricos de integracin 105
Notaremos fi al valor f (xi ), i = 0, . . . , n. En cada mtodo I (n) denotar la aproxima-

cin 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
n 1
X n 1
X
(n)
) I = f (xi )h = h fi
i=0 i=0
n
I (n) es una suma de Riemann (con xi = xi ) lo que asegura que I (n) ! I
f (x)
x
xi xi+1
4.7.2. Mtodo del trapecio

fi +fi+1
Aproximamos Ii por 2
h
h
) I (n) = (f0 + fn ) + h(f1 + f2 + + fn 1 )
2
n
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
f (x)
x
xi xi+1
medio).
n 1
X
(n)
)I =h f (xi )
i=0
n
I (n) ! I por ser suma de Riemann.
f (x)
f (xi )
x
xi xi xi+1
4.7.4. 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 ) )
I = h3 (f0 + f2m ) + 2h
(n)
3
(f2 + f4 + . . . + f2m 2 ) + 4h3
(f1 + f3 + . . . + f2m 1 ). Se verifica
(n) n
tambin I ! I. Este hecho nos da garantas de que asintticamente, el mtodo es
4.7. Mtodos numricos de integracin 107
f (x) fi+1
fi+2
fi
x
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 2 [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
2
M1 (b a)h
M2 (b a) 2
Trapecio 12
h
M2 (b a) 2
Tangente 24
h
M4 (b a) 4
Simpson 180
h
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 b n 1
X
xi + xi+1 M2
f (x)dx f h (b a)h2 ,
a i=0
2 24
donde h = b a
n
y xi = a + ih.
Rx
Demostracin. Sea Ii = xii+1 f (x)dx. Desarrollamos por Taylor a la funcin f en-
torno al punto xi = xi +x2 i+1 , con el resto en la forma de Lagrange:
f 00 (c)
f (x) = f (xi ) + f 0 (xi )(x xi ) + (x xi ) 2 ,
2
siendo c un punto intermedio entre xi y xi . Luego:
Z xi+1 Z xi+1 Z xi+1
0 f 00 (c)
Ii = f (x)dx = f (xi )h + f (xi ) (x xi )dx + (x xi )2 dx
xi xi xi 2
xi + h
(x xi )2 2
Como el segundo trmino es f 0 (xi ) 2 h
= 0, se obtiene que:
xi 2
Z xi+1 Z xi+1
f 00 (c) 2 f 00 (c)
|Ii f (xi )h| = (x xi ) dx (x xi )2 dx
xi 2 xi 2
Z xi+1 Z h/2 h/2
M2 2 M2 2 M2 u3 M2 h 3
(x xi ) dx = u du = = .
2 xi 2 h/2 2 3 h/2 24
Entonces:
n 1
X n 1
X M2 h 3 M2 (b a)h2
I f (xi )h |Ii f (xi )h| n= .
i=0 i=0
24 24

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 ! +1), 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 2 [a, b]}, como el nmero:
Z b
A= f (x) dx
a
4.8. Aplicaciones de la integral definida 109
x
a b
Si se quiere definir (y calcular) el rea para una regin R del tipo R = {(x, y) :
f (x) y g(x), x 2 [a, b]}, es natural tomar
Z b Z b
A(R) = g(x) dx f (x) dx
a a
No nos dedicaremos aqu a extender la nocin de rea a conjuntos ms complicados
y
g
R
f
x
a b
del plano. Se volver sobre esto en el 2do. Curso.
x2 y2
Ejemplo 253 rea encerrada por la elipse a2
+ b2
=1
Z r Z r Z r
a a a
x2 x2 x2
A= b 1 dx b 1 dx = 2b 1 dx =
a a2 a a2 a a2
Z 1 p
=x 2ab 1 u2 du = 2ab = ab
u= a 1 2
Observar que en el caso a = b (circunferencia de radio a), se obtiene la conocida
frmula A = a2 .
b q
x2
y=b 1 a2
x
a a
q
x2
y= b 1 a2
b
4.8.2. Volmenes
Sea R un conjunto del espacio de tres dimensiones, que suponemos acotado. Bus-
camos una forma de calcular el volumen V (R).
Una vez ms, no hemos definido el volumen para tal conjunto. Este tema se reto-
mar 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 2 [a, b], se obtiene una regin plana de rea A(z).
zi
A(z)
a
Consideremos una particin P = {z0 , z1 , . . . , zn } de [a, b], y aproximamos el volu-

men 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 ).
P
El volumen aproximado es VP = ni=01 A(zi )(zi+1 zi ). Si A(z) es seccionalmente
4.8. Aplicaciones de la integral definida 111
|P |!0 Rb
continua, VP ! a
A(z) dz. Esto nos lleva a calcular el volumen como:
Z b
V = A(z) dz
a
Ejemplo 254 [Volumen de la esfera]

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

2
(R 2
z ) con z 2 [ R, R].
2
Z R
2 2 2 z3 R
3 2 3 4
V = (R z ) dz = R z = 2R R = R3
R 3 R 3 3
x
4.9. Volumen de slidos de revolucin

Calculamos el volumen del cuerpo engendrado girando una regin del plano en
torno a una recta.
z z
y = f (z)
y = f (z)
b
y 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 2 [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 2engen-
drado por el rea debajo de y = f (x) al girar en torno a Ox es Vox = a f (x)dx.
x
a b
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:
r
f (x) = (x h)
h
Z h
r2 r2 h
) Vox = 2 (x h)2 dx =
h 0 3
4.9. Volumen de slidos de revolucin 113
r
h
r
x
h
Ahora queremos girar la regin debajo de la funcin f (x) en torno a Oy (supone-

mos 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).
x
a xi xi xi+1 b
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
x
xi xi+1
) Vi = f (xi )(x2i+1 x2i )

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

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

Z b
Voy = 2 xf (x)dx
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)
x
R r R R+r
Z R+r Z R+r Z R+r p
Voy = 2 xf (x)dx 2 xg(x)dx = 4 x r2 (x R)2 dx
R r R r R r
Z r p Z r p Z r p
= 4 (u + R) r2 u2 du = 4 u r2 u2 du + 4R r2 u2 du
u=x R r r r
| {z } | {z }
(I) (II)
R0 1p
(I) = 4 0 2
vdv =0
v=r u2
2
dv= 2udu
4.10. Integrales impropias 115
Z
Rr q u 2
1 p
(II) = 4Rr r 1 r
du =u 4Rr 2
1 t2 dt = 2 2 Rr2
t= r 1
| {z }
= 2
V = 2 2 Rr2
4.10. Integrales impropias

En diversas aplicaciones es necesario integrar funciones en intervalo del tipo [a, +1),
( 1, b], o ( 1, +1). Esto nos conducir a introducir las integrales impropias de pri-
mera especie. Tambin es posible que nos interesa integrar sobre un intervalo acotado,
una funcin que no es seccionalmente continua (por ejemplo, que tiene una disconti-
nuidad infinita); esto nos llevar a las integrales impropias de segunda especie.
4.10.1. Integrales impropias de primera especie

R +1
Supongamos que f es continua en [a, +1). Queremos Rx definir a
f (t)dt. Un
camino es integrar en el intervalo [a, x], obtener F (x) = a f (t)dt y luego tomar el
lmite para x ! +1. Llegamos a la definicin:
Rx
Definicin 257 Sea f continua en [a, +1), F (x) = a f (t)dt.
R +1
1. Si existe lm F (x) = L finito, decimos que la integral impropia a f (t)dt
x!+1
R +1
converge y escribimos a f (t)dt = L.
R +1
2. Si lm F (x) es infinito, decimos que a
f (t)dt diverge.
x!+1
R +1
3. Si no existe lm F (x), decimos que a
f (t)dt oscila.
x!+1
Existe una fuerte analoga de la definicin anterior

P con las correspondientes para
De hecho, el procedimiento para estudiar +1
series.P n=0 n es sumar hasta un cierto m,
a
m
sm = n=0 an , y estudiar el lmite de sm con m ! +1.
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 +1
Ejemplo 258 1 t1 dt.
8 x
Z x < 1 t1 = 1 1 (x1 1) si 6= 1
1 1
F (x) = dt = x 1
1 t
: (log(t)) = log(x) si = 1
1
8 1
< si > 1
1
lm F (x) = +1 si < 1
x!+1 :
+1 si = 1
R +1
Por lo tanto 1
1
t
dt converge , > 1.
D C
1
R +1 P
En el caso de convergencia 1
1
t
dt = 1
1
. Comparar con la serie 1
n
.
R +1 Rx
Ejemplo 259 0
cos(t)dt oscila, ya que 0
cos(t)dt = sen(x), no tiene lmite
para
x ! +1
Si f es continua en ( 1, b] o ( 1, +1) el estudio se extiende de manera natural:

Rb
a) f (t)dt. Se trata de forma anloga estudiando lm F (x), donde F (x) =
1
Rb R +1 x! 1
x
f (t)dt. Con el cambio u = t se reduce a b f ( u)du, por lo que la teora
es aplicable.
R +1 Ra R +1
b) 1
f (t)dt. Elegimos a 2 R y estudiamos las impropias 1
f (t)dt y a
f (t)dt.
R +1 Ra R +1
Definicin 260 Decimos que 1 f (t)dt converge si 1 f (t)dt y a f (t)dt con-
R +1 Ra R +1
vergen, y en ese caso 1 f (t)dt = 1 f (t)dt + a f (t)dt
Queda como ejercicio verificar que la definicin no depende de la eleccin de a.

R +1 R +1 +1
Ejemplo 261 dt
1 1+t2
=2 0
dt
1+t2
= 2 (arctan(t)) = 2( 2 0) = .
0
R +1 Rx R +1
Nota 262 Si 1
f (t)dt converge, entonces lm x
f (t)dt = 1
f (t)dt. Pero
x!+1
este lmite puede existir aunque la integral impropia no sea convergente segn la de-
Rx x!+1 R +1
finicin anterior. Por ejemplo x t dt = 0 ! 0, pero 1 t dt no converge. Se
R +1
dice en este caso que la integral 1 t dt tiene valor principal 0.
La analoga con las series hace pensar en extender las propiedades. Veamos algu-
nas:
R +1 R +1
Proposicin 263 (Linealidad) Si a f (t)dt, a g(t)dt convergen.
Z +1 Z +1 Z +1
) (f (t)dt + g(t)) dt converge y vale f (t)dt + g(t) dt
a a a
R +1 R +1
Proposicin 264 a f (t)dt y b f (t)dt son de la misma clase. (f continua en una
semirrecta [c, +1) 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 +1
an ! 0. Ser cierto que a f (t)dt converge ) lm f (t) = 0? El siguiente ejem-
t!+1
plo prueba lo contrario.
Ejemplo 265
1 si t 2 [n, n + 1
2n
], n2N
f (t) =
0 en otro caso
Rx
f es seccionalmente continua en [0, x], 8 x. Sea F (x) = 0
f (t)dt. Es claro que F es
x
0 1 1+ 1 2 3
2
1 1
2+ 22
3+ 23
Rn P n!+1
creciente. Adems F (n) = 0 f (t)dt = nk=01 21k ! 2. Se concluye finalmente
R +1
que lm F (x) = 2 = 0 f (t)dt. La integral impropia converge pero f no tiene
x!+1
lmite con t ! +1
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
R +1 ejemplo, con apariencia menos artificial, es la integral impropia de Fresnel
0
sen(t 2
)dt, con aplicaciones en ptica). Es claro que lm sen(t2 ) no existe. Pro-
t!+1
baremos ms adelante que la integral impropia converge. En los ejemplos anteriores
no existe el lmite de f (t) con t ! 1. En caso de existir el lmite es necesario que
valga 0.
R +1
Ejercicio 267 a f (t)dt converge, 9 lm f (t) = L. Probar que L = 0.
t!+1
x
0 1 1+ 1 2 3
2
1 1
2+ 22
3+ 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, +1), F (x) = a f (t)dt, definida 8 x > a. Enton-
R +1
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) = +1
x!+1
Si F es acotada superiormente, sea sup F (x) = L. Se prueba fcilmente que
x2[a,+1)
lm F (x) = L
x!+1
Corolario 269 (Criterio de comparacin) 0 f (t) g(t), 8 t > a. Entonces:

Z +1 Z +1
g(t)dt C ) f (t)dt C
a a
Z +1 Z +1
f (t)dt D ) g(t)dt D
a a
Demostracin.R Rx
x
Sean F (x) = a f (t)dt, G(x) = a g(t)dt. Se cumple que F (x) G(x) 8 x > a, y
ambas son crecientes. Por lo tanto:
Z +1 Z +1
Si g(t)dt C ) G es acotada ) F es acotada ) f (t)dt C
a a
El otro caso es anlogo.

R +1
Ejemplo 270 0 tn e t dt, n 0. Buscamos una comparacin con otra integral
R +1 1
impropia conocida, por ejemplo 1 t dt.
Para todo , se cumple que existe t0 2 R: tn e t < t1 8 t t0 . Esto se debe a
R +1 1 R +1
que lm t e = 0. Poniendo = 2, como 1 t2 dt C ) 1 tn e t dt C )
n+ t
R +1t!+1
0
tn e t dt C.
Si n < 0 se debera estudiar qu sucede con la integral de 2da especie (ver ms
adelante).
f (t)
Corolario 271 f (t) 0, g(t) 0, lm =L>0
t!+1 g(t)
Z +1 Z +1
) f (t)dt y g(t)dt son de la misma clase.
a a
Demostracin.
8 t > t0 , L2 fg(t)
(t)
3L
2
L 3L
) g(t) f (t) g(t)
2 (I) (II) 2
R +1 R +1
Si a
g(t)dt C ) a
f (t)dt C por (II)
R +1 R +1
Si a
g(t)dt D ) a
f (t)dt D por (I)

R +1
Ejemplo 272 0
p t
t4 +1
dt diverge, porque p t
t4 +1
' 1
t
cuando t ! +1.
R +1 1
1

Ejemplo 273 0
et 1 1
t
dt converge, ya que et 1 1
t
' 1
2t2
(t !
+1)
4.10.3. Criterio integral para series

La analoga
R +1 1 entre la teora de integrales impropias P y la de series, y en particular el
ejemplo 0 t dt que se comporta exactamente como +1 n=0 n , hace pensar en que se
1
podra explotar esto para clasificar series a travs de integrales impropias o viceversa.
Ms precisamente, si Pf es unaR funcin en [1, +1), y an = f (n) sus valores en los
+1
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, +1) y sea an = f (n), n k, donde
k, n 2 N.
X+1 Z +1
) an y f (t)dt son de la misma clase.
n=k k
Demostracin.
Como f es decreciente se tiene 8 t 2 [n, n + 1], f (n + 1) f (t) f (n)
n+1
X Z n+1 Xn
) ai f (t)dt ai
(I) k (II)
i=k+1 i=k
Rx
Sea F (x) = k f (t)dt.
P R +1
Si +1k an C =) lm F (n + 1) es finito ) k f (t)dt C
(II) n!+1
P+1 R +1
Si k an D =) lm F (n + 1) = +1 ) k
f (t)dt D
(I) n!+1

P
Ejemplo 274 Clasificar +1 n=2 n log(n) .
1
1
f (t) = t log(t) es no negativa y decreciente. Entonces F (t) =
Z x Z log(x)
1 1 log(x)
= dt = du = (log(u)) = log(log(x)) log(log(2))
2 t log(t) u=log(t) log(2) u log(2)
+1
X X +1
1 1
) lm F (x) = +1 ) dt D ) D
x!+1
2
t log(t) n=2
n log(n)
El ejemplo muestra la ventaja de clasificar la integral impropia: si se encuentra primiti-

va, esto es ms sencillo que en el caso de series, donde no es fcil calcular la reducida.
4.10.4. Integrando con signo cualquiera

Para el caso en que f (t) 0 8 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 an-
teriores (comparacin, sustitucin por equivalentes) no pueden aplicarse. Se introduce
aqu, igual que para series, la convergencia absoluta.
R +1
Definicin 275 La integral impropia a f (t)dt es absolutamente convergente (A.C.)
R +1
, a |f (t)|dt C.
Teorema 36 Z +1 Z +1
f (t)dt es A.C. ) f (t)dt C
a 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.
8 R +1 + 9
Z +1 < a f (t)dt C = Z +1
|f (t)|dt =) =) f (t)dt C.
a comparacion : R +1 ; linealidad a
a
f (t)dt C

R +1 sen(t) sen(t)
Ejemplo 276 1 t2
dt es A.C. ya que t2
1
t2
R +1 sen(t)
Ejemplo 277 1 t
dt
Si estudiamos convergencia absoluta, la cota ms sencilla de sen(t)
t
es 1t , que no sirve
R +1 1
para comparar porque 1 t dt diverge.
Una integracin por partes permite resolver el problema. La frmula
Z b b
Z b
0
f (t)g (t) dt = (f (t)g(t)) f 0 (t)g(t) dt
a a a
puede extenderse a:
Z +1 +1
Z +1
0
f (t)g (t) dt = (f (t)g(t)) f 0 (t)g(t) dt
a a a
+1
donde ((f (t)g(t)) denota lm f (t)g(t) f (a)g(a) , siempre que los lmites
a t!+1
para b ! +1 existan.
R +1 +1 R
+1 cos(t)
En este caso 1 sen(t)
t
dt = cos(t)
t 1 t2
dt.
1
La segunda integral converge absolutamente, y el primer trmino converge porque
lm cos(t) = 0.
t!+1 t
Z +1
sen(t)
) dt C.
1 t
R +1
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 +1 +1 Z +1
2 cos(t2 ) cos(t2 )
) sen(t )dt = dt
1 2t 1 1 2t2
Los dos trminos convergen en forma similar al Ejemplo 277

R +1
Ejercicio 279 Probar que 0 t cos(t4 )dt converge. Este es ejemplo de integral im-
propia convergente en que la funcin no est acotada en [0, +1)
a x b t
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.
t!a
Rb Rb
Para definir a f (t)dt, estudiamos lm+ x f (t)dt.
x!a
Rb
Definicin 280 f continua en (a, b], F (x) = x f (t)dt.
8 9 8
< = L f inito = Z b < C
Si lm+ F (x) = 1 se dice que f (t)dt D
x!a : ; :
@ 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.
x!b

R1 R1 1
(1 x1
) si 6= 1
Ejemplo 281 1
0 t
dt. F (x) = 1
x t
dt = 1
log(x) si = 1
8 1
si < 1
< 1
lm F (x) = +1 si > 1
x!0+ :
+1 si = 1
C D
1
Z 1
1
) dt C , < 1
0 t
R1 Rx
Ejemplo 282 0
p 1 dt
1 t2
= lm 0
p 1 dt
1 t2
= lm arcsin(x) =
2
x!1 x!1
4.10.6. Cambios de variable

Es posible reducir una integral de segunda especie a una de primera especie utili-
zando un cambio de variable.
Rb
Supongamos que a f (t)dt es impropia en el punto a. Buscamos una nueva varia-
ble u tal que cuando t ! a+ ) u ! +1. Una posibilidad es el siguiente cambio de
variable:
u = t 1a
t = a + u1 , dt = u12 du
Sea x > a:
Z b Z 1 Z 1
b a 1 1 x a 1 1
f (t)dt = f a+ du = f a+ du
x 1
x a
u u2 1
b a
u u2
Z +1
x!a+ 1 1
! f a+ du
1
b a
u u2
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 1
f (t)dt = 1 f a+ 2
du
a t=a+ u 1
b a
u u
dt= 1 du
u2
Ejemplo 283
Z Z +1
2 1 1 1
dt =1 1
du
0 sen(t) t= u 2

sen u
u2
dt= 1 du
u2
diverge, ya que 1
1 u2
sen( u
1
1
cuando u ! +1, y el integrando es no negativo para
) u
u > 2 .
R1
Ejemplo 284 0
Aqu el problema es en t = 1 . Elegimos el cambio
p 1 dt.
1 t2

u = 11 t
t = 1 u1 , dt = u12 du
Z 1 Z +1 Z +1
1 1 1 1 1
p dt = 1 q 2
du = q du
0 1 t2 t=1 u 1 1 2u 1 2 1 u2
dt= 1 du
1 1 u u u2
u2
converge, ya que q 1
2 1
1
u2
p
1
3 con u ! +1. Se reencuentra el resultado del
u u2
2u 2
Ejemplo 282
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
habitual). En el Ejemplo 283, sen(t)1
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 + )

Rb Rb
Si a
g(t)dt C ) a
f (t)dt C
Rb Rb
Si a
f (t)dt D ) a
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
a
f (t)dt y a g(t)dt son de la misma clase.
Para integrales impropias en b , los enunciados son anlogos.

Existen otros casos de integrales de segunda especie.
Rb
a
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 c b t
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.
a c b t
R +1
Tipos mixtos: a f (t)dt, donde f continua en (a, +1) con discontinuidad
Rb
infinita en a. Se elige b 2 (a, +1) y se exige la convergencia de a f (t)dt y
R +1
b
f (t)dt.
R +1
Ejemplo 287 0 t1 dt diverge 8 porque no existe para el cual converjan simul-
R1 R +1
tneamente 0 t1 dt y 1 t1 dt como se ven en los Ejemplos 258 y 281.
R +1
Ejemplo 288 (Funcin Gamma) Definimos () = 0 t 1 e t dt, > 0.
RVeamos
1 1
en primer lugar que es convergente. Tenemos:
0 t e t dt converge ya que para t ! 0+ ) t 1 e t > 0 y t 1 e t t11 ,
1 R < 1, y:
+1
1 t 1 e t dt converge por comparacin.
Una propiedad interesante de la funcin es que ( +1) = (). La probamos
integrando por partes.
Z +1 +1 Z
1 t t t 1 +1 t 1
() = t e dt = e + t e dt = ( + 1)
0 0 0
porque el primer sumando es nulo.

R +1
Observando que (1) = 0 e t 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 Análisis Matematico 1

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Notas Del Curso Análisis Matematico 1

Hochgeladen von

Copyright:

Verfügbare Formate

ANLISIS MATEMTICO I

Edicin: febrero de 2014

Universidad de la Repblica, UdelaR

INSTITUTO DE MATEMTICA Y ESTADSTICA PROF. ING.

2.3.6. Reordenacin de series . . . . . . . . . . . . . . . . . . . . . 57

3. Repaso de Funciones de una Variable 61

4.9. Volumen de slidos de revolucin . . . . . . . . . . . . . . . . . . . 112

Montevideo, febrero de 2014

1.1. Nmero real

1.1.1. Axiomas de cuerpo

Axioma 2 Propiedad Asociativa

Axioma 3 Propiedad Distributiva

Axioma 4 Existencia de elementos neutros

Axioma 5 Existencia del opuesto

Axioma 6 Existencia del inverso

Proposicin 2 8 a, b 2 R existe un nico x 2 R tal que a + x = b.

Nota 3 A este x lo notamos b a (en particular 0 a lo escribimos a; por satisfacer

Proposicin 4 0a = a0 = 0, a = ( 1)a, ( 1)( 1) = 1.

Proposicin 6 8 a, b 2 R, a 6= 0, 9 un nico x tal que ax = b.

Nota 7 Tal nmero x se designa por b/a. En particular 1/a se designa a 1 .

1.1.2. Axiomas de orden

Axioma 8 8 x 6= 0, x 2 R+ o ( x) 2 R+ , pero no ambos.

Definicin 9 Si x, y 2 R, entonces x < y (x es menor que y) si y solo si y x 2 R+ .

2. x y significa que x < y o bien x = y.

Es inmediato que x > 0 si x es positivo, (es decir, x 2 R+ ). Si x < 0 entonces

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

Proposicin 12 Si a, b 2 R entonces es cierta una y solo una de las siguientes rela-

Demostracin. Si a > 0 entonces por el Axioma 7, a a > 0.

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

Proposicin 15 Si ab > 0 entonces a y b son ambos positivos o bien ambos negativos.

Definicin 16 Sea S R, S 6= ; y k 2 R; si x k, 8 x 2 S diremos que k es una

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

Ejemplo 19 Consideremos ahora T = {x 2 R : 0 x < 1}. k ser cota superior si

Definicin 20 Un nmero k 2 R se denomina supremo de S 6= ; si k es la menor de

Si S tiene mximo entonces este mximo ser supremo de S. El recproco no es

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 .

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.

A partir de los Axiomas 1 a 10 es posible dar la siguiente definicin.

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

Proposicin 23 Dado S 6= ;, S R acotado inferiormente, entonces existe l 2 R tal

Demostracin. Sea S = {x 2 R : x 2 S} entonces S 6= ;.

Demostracin. Supongamos por absurdo que b < a, entonces tomando " = a b

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

Proposicin 25 Sean h 2 R, h > 0 y S R un conjunto de reales, entonces:

1. Si S tiene supremo, existe x 2 S tal que x > sup(S) h.

2. Si S tiene nfimo, existe x 2 S tal que x < nf(S) + h.

1. Supongamos nuevamente por absurdo que x sup(S) h, 8 x 2 S. Entonces

2. Se demuestra de manera anloga.

Demostracin. Si a = 0 entonces 0 es la nica raz. Supongamos entonces que a > 0.

1.2. Nmero complejo: definicin y operaciones

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

(a + bi) + (c + di) = (a + c) + (b + d)i,

(a + bi)(c + di) = ac + adi + bci + bdi2 = (ac bd) + (ad + bc)i,

Definicin 27 Un nmero complejo es un par ordenado de nmeros reales.

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

Definicin 30 Dados dos complejos z = (a, b) y w = (c, d), definimos la suma z + w

z + w = (a + c, b + d); zw = (ac bd, ad + bc)

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

v(w + z) = (a, b)(c + e, d + f ) = (ac + ae bd bf, ad + af + bc + be)

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

Es decir, 8 (a, b) 2 C, (a, b) + (0, 0) = (a, b) y (a, b)(1, 0) = (a, b).