Calculo Integral Guia

3
Captulo 3
Integral
definida
Mdulo 12
Notacin sigma () y
particin de un intervalo
Mdulo 13
Integral segn Riemann
Juicio final, detalle del panel derecho: el ngel hace sonar una trompeta y el condenado cae al
infierno. Obra del pintor flamenco Hans Menling (c. 1435-1494). Museo Promorskie, Gdansk
(Polonia). Scala/Art Resource, N.Y.
Mdulo 14
Propiedades de la integral
definida
Mdulo 15
Teorema del valor medio
(TVM) para integrales
En geometra elemental se deducen frmulas para las reas de muchas figuras planas, pero escasamente se da una definicin precisa de lo que significa rea. En
muchas ocasiones se define el rea de una regin como el nmero de cuadrados de
lado unidad que caben en la regin. Sin embargo, dicha definicin slo es aceptable
para algunas regiones simples del plano. As por ejemplo, el crculo de radio 1 tiene
como rea el nmero irracional . Pero, qu significa cuadrados de rea?
En este captulo iniciamos el estudio intentando definir el rea de algunas regiones
particulares R del plano, es decir, aquellas regiones limitadas superiormente por la
grfica de una curva y = f ( x) 0 en [a, b] , y lateralmente por las rectas verticales
x = a y x = b.
El nmero que se asigna como rea de R recibe el nombre de integral definida de f
sobre [ a, b] , aunque tambin la integral se definir para funciones f para las
cuales f ( x) 0 en [ a, b] .
Se conocen fundamentalmente tres formas de acercarse a la definicin de integral:
a travs de funciones escalonadas, a travs de las sumas superiores e inferiores
Mdulo 16
Los teoremas fundamentales
del clculo
Mdulo 17
Integrales impropias
Ejercicios
Mdulos 12 al 17
Captulo 3: Integral definida

(sumas de Darboux) y a travs de las llamadas sumas de Riemann.
En este texto lo hacemos siguiendo la tercera forma, por ser la manera clsica en los
textos de clculo y la que menos exigencias tiene del anlisis real para su comprensin.
116
12
Notacin sigma ( ) y particin de

un intervalo
Contenidos del mdulo
12.1 La notacin sigma () y propiedades de la sumatoria
12.2 Particin de un intervalo cerrado
Carl Friedrich Gauss
Objetivos del mdulo

1. Recordar el sentido de la notacin () y establecer algunas propiedades importantes de la sumatoria.
2. Definir la particin de un intervalo cerrado y en particular conocer la llamada
particin regular.
Preguntas bsicas
n
1. Demuestre que
k =
k =1
n(n + 1) .
2
2. Demuestre que si P y Q son dos particiones de [a, b], y si Q es una particin ms

refinada (ms fina) que P, entonces Q P .
Introduccin
Para indicar en forma compacta la suma de varios nmeros, existe una notacin que
facilita la escritura. Expresiones tales como x12 + x22 + x32 + + xn21 + xn2 se pueden
escribir en forma simplificada utilizando la notacin En el clculo integral usaremos frecuentemente esta notacin, as como tambin en el desarrollo de series de
nmeros reales.
Otra nocin importante en el desarrollo terico de la integral definida es la particin
de un intervalo cerrado y en particular la particin regular, la cual, conjuntamente
con la sumatoria, ayuda a simplificar y obtener resultados difciles de alcanzar
usando otros medios.
Por esta razn iniciamos el captulo 3 presentando estos dos conceptos.
Carl Friedrich Gauss, matemtico alemn

conocido por sus muy diversas contribuciones al campo de la fsica, especialmente
por sus estudios del electromagnetismo,
naci el 30 de abril de 1777 en Brunswick y
falleci el 23 de febrero de 1855 en Gotinga.
Cuando Gauss tena diez aos de edad su
maestro solicit a la clase que encontrara la
suma de todos los nmeros comprendidos
entre uno y cien. El maestro, pensando que
con ello la clase estara ocupada algn
tiempo, qued asombrado cuando su
alumno levant en seguida la mano y dio la
respuesta correcta. Gauss revel que
encontr la solucin usando el lgebra y el
maestro se dio cuenta al instante de que el
nio era una promesa en las matemticas.
Hijo de un humilde albail, Gauss dio seales
de ser un genio antes de que cumpliera los
tres aos. A esa edad aprendi a leer y
hacer clculos aritmticos mentales con
tanta habilidad que descubri un error en
los clculos que hizo su padre para pagar
unos sueldos. Ingres a la escuela primaria
antes de que cumpliera los siete aos;
cuando tena doce critic los fundamentos
de la geometra euclidiana; a los trece le
interesaban las posibilidades de desarrollar
la geometra no euclidiana; y a los quince
entenda la convergencia y prob el binomio
de Newton. El genio y la precocidad de Gauss
llamaron la atencin del duque de Brunswick,
quien dispuso, cuando el muchacho tena
catorce aos, costear tanto su educacin
secundaria como universitaria. Gauss, a
quien tambin le interesaban los clsicos y
los idiomas, pensaba que hara de la filologa
la obra de su vida, pero las matemticas
resultaron ser una atraccin irresistible.
Cuando estudiaba en Gotinga, descubri
que podra construirse un polgono regular
de diecisiete lados usando slo la regla y el
comps. Ense la prueba a su profesor,
quien se mostr un tanto escptico, pero
Elementos bsicos de clculo integral y series
117

Gauss demostr que tena la razn.
Posteriormente encontr la frmula para
construir los dems polgonos regulares
con la regla y el comps.
Gauss se gradu en Gotinga en 1798 y al
ao siguiente recibi su doctorado en la
Universidad de Helmstedt. Pero las
matemticas no fueron el nico tema que
le interes: fue tambin astrnomo, fsico,
geodesta e inventor. Hablaba con facilidad
varios idiomas, e inclusive domin el ruso
a la edad de 60 aos. En 1807 fue
nombrado director del observatorio y
profesor de astronoma en la Universidad
de Gotinga.
A principios del siglo XIX Gauss public
sus Disquisiciones aritmticas, que ofrecan
un anlisis lcido de su teora de nmeros
y comprendan las complicadas ecuaciones
que confirmaban su teora y una exposicin
de una convergencia de una serie infinita.
Gauss estudi la teora de los errores y
dedujo la curva normal de la probabilidad,
llamada tambin curva de Gauss, que
todava se usa en los clculos estadsticos.
En 1833 invent un telgrafo elctrico que
us entre su casa y el observatorio, a una
distancia de unos dos kilmetros. Invent
tambin un magnetmetro bifilar para
medir el magnetismo y, en compaa del
fsico alemn Wilhelm Eduard Weber,
proyect y construy un observatorio no
magntico. Tanto Gauss como el matemtico Bernhard Riemann, que fue discpulo
suyo, pensaban en una teora electromagntica que sera muy semejante a la ley
universal de la gravitacin, de Newton.
Sin embargo, la teora del electromagnetismo fue ideada ms tarde, en 1873, por
Maxwell, aunque Gauss ya posea los
cimientos matemticos para explicarla. En
1840, las investigaciones de Gauss sobre
la ptica tuvieron especial importancia
debido a sus deducciones relacionadas con
los sistemas de lentes.
Gauss falleci a la edad de 78 aos. Se ha
dicho que la lpida que seala su tumba
fue escrita con un diagrama, que construy
el mismo Gauss, de un polgono de
diecisiete lados. Durante su vida se
reconoci que era el matemtico ms
grande de los siglos XVIII y XIX. Su obra en
las matemticas contribuy a formar una
base para encontrar la solucin de
problemas complicadsimos de las ciencias
fsicas y naturales.
12.1 La notacin sigma ( ) y propiedades de la

sumatoria
Definicin
Sea f una funcin, y m, n y k enteros tales que m k n y pertenecientes al
n
dominio de f . Entonces el smbolo
f (k ) se define as:
k =m
f (k ) = f (m) + f (m + 1) + + f (n 1) + f (n) ,
k =m
donde k se denomina ndice de la sumatoria, m es el lmite inferior y n es el lmite

superior.
Observaciones
n
i.
A veces se define
f (k ) de la siguiente forma:
k =m
n 1
k =m
k =m
f ( k ) = f ( k ) + f ( n)
(definicin por recurrencia)
ii.
En
f (k ) se puede sustituir el ndice k por cualquier otro ndice i que
k =m
no aparezca en ella, sin que se altere el valor de la sumatoria; as por

ejemplo,
n
k =m
i=m
f (k ) = f (i) .
Ejemplo 1
4
i
Calcule: a. 2 ;
b.
i =1
j ( j + 1)( j + 2).
j =1
Solucin
a.
Es este caso f (i ) = 2i ; luego

5
i =1
i =1
f (i) = 2
b.
= 21 + 22 + 23 + 24 + 25 = 62.
En este caso f ( j ) = j ( j + 1)( j + 2); luego

4
j ( j + 1)( j + 2) = 1 2 3 + 2 3 4 + 3 4 5 + 4 5 6 = 210.
j =1
118
Mdulo 12: Notacin sigma ( ) y particin de un intervalo
Ejemplo 2
Exprese utilizando la notacin , la siguiente suma:
a1b2 + a2b3 + a3b4 + a4b5 .
Solucin
Obsrvese que los subndices de la letra a varan de 1 a 4 y los de b son una unidad
mayor que los de a, luego cada trmino de la suma es de la forma ak bk +1 , en donde
k recorre los valores 1, 2, 3 y 4. Entonces,
4
a1b2 + a2 b3 + a3b4 + a4 b5 = ak bk +1 .
k =1
De otra manera, se puede observar que los subndices de b varan de 2 a 5 y los de

a son una unidad menor que los de b, luego cada trmino de la suma es de la forma
ak 1bk , donde k recorre los valores 2, 3, 4 y 5. Entones,
5
a1b2 + a2 b3 + a3b4 + a4 b5 = ak 1bk .

k =2
En general, existen muchas formas para expresar una misma suma.
Teorema 1: Propiedades de
Sean f y g dos funciones, y m, n, k y p enteros pertenecientes al dominio de f y g,
tales que m k n , y sea c una constante real.
Entonces:
i.
ii.
k =m
k =m
k =m
[ f ( k ) + g (k ) ] = f ( k ) + g ( k )
n
k =m
k =m
cf (k ) = c f (k )
(propiedad aditiva sobre la funcin)
(propiedad distributiva generalizada)
iii.
c = (n m + 1) c
(sumatoria de una constante)
k =m
Si m n y m k p p + 1 n, entonces
iv.
v.
k =m
k =m
k = p +1
f (k ) = f (k ) +
n
n+ p
k =m
j =m+ p
f (k ) =
f (k )
(propiedad aditiva de los lmites)
f ( j p ) (desplazamiento del ndice)
Vea el mdulo 12 del programa

de televisin Elementos bsicos
de clculo integral y series
119

n
vi.
[ f (k ) f (k 1)] = f (n) f (m 1)
(propiedad telescpica)
k =m
Demostracin
n
ii.
cf (k )
k =m
= cf (m) + cf (m + 1) + + cf (n)
(definicin)
= c [ f (m) + f (m + 1) + + f (n) ]
(factorizando)
= c. f (k ).
(definicin)
k =m
vi.
n
[ f (k ) f (k 1)] = [ f (m) f (m 1)] + [ f (m + 1) f (m)] + [ f (m + 2) f (m + 1)]
k =m
+ + [ f (n 1) f (n 2)] + [ f (n) f (n 1)]

= f (m 1) + [ f (m) f (m)] + [ f (m + 1) f (m + 1)]
+ + [ f (n 1) f (n 1)] + f (n)
= f (n) f (m 1).
La demostracin de las partes i, iii, iv y v se deja como ejercicio para el lector.

Presentamos ahora algunos ejemplos en los cuales se muestra la manera de aplicar
las propiedades anteriores en una situacin especfica.
Ejemplo 3
n
Demuestre que
k =
k =1
n(n + 1)
.
2
Solucin
n
Como
(k + 1) = (k
2
k =1
k =1
(k + 1) = k
2
k =1
k =1
+ 2k + 1), entonces,
k =1
k =1
+ 2 k + 1
(propiedades i y ii),
de donde
n
2 k = (k + 1) 2 k 2 1 = ( k + 1) k 2 1 .
k =1
k =1
k =1
k =1
k =1
k =1
120

n
Como
(k + 1)
k =1
k 2 = (n + 1)2 1 (propiedad telescpica aplicada a

f ( k ) = (k + 1) 2 )
1 = n
k =1
(propiedad iii),
se tiene que
n
2 k = (n + 1)2 1 n = n 2 + n = n(n + 1) .
k =1
Luego
n(n + 1)
.
2
k =
k =1
Ejemplo 4
3
Calcule: a.
(2k 1) ;
b.
k =1
(2 j 1) ;
j =1
c.
(2r + 1).
r =3
Solucin
a.
k =1
k =1
k =1
(2k 1) = 2 k 1
(propiedades i y ii)
5(5 + 1)
5 (ejemplo 3 y propiedad iii)
2
= 25.
= 2.
b.
j =1
j =1
j =1
(2 j 1) = 2 j 1 = 2.
3(3 + 1)
3 = 9.
2
c.
(2r + 1) = (2 3 + 1) + (2 4 + 1) = 16.
r =3
Las frmulas siguientes, numeradas para referencias posteriores, tambin son de

gran utilidad.
n
F.12.1.1
k =
F.12.1.2
k =1
n
k =1
F.12.1.3
n(n + 1)
.
2
k3 =
k =1
n(n + 1)(2n + 1)
.
6
n 2 (n + 1) 2
.
4
121

n
F.12.1.4
k =1
n(n + 1)(6n3 + 9n2 + n 1)

.
30
La frmula F.12.1.1 fue demostrada en el ejemplo 3; las dems pueden demostrarse

por induccin o directamente con el teorema 1 y con la ayuda de algunos artificios
algebraicos.
12.2 Particin de un intervalo cerrado

Definicin
Una particin P del intervalo [a, b] , con a < b , es un conjunto finito de puntos
P = { x0 , x1 , x2 , x3 , , xn 1 , xn } tales que
a = x0 < x1 < x2 < xn 1 < xn = b.
Utilizaremos las letras P, Q, R, , etc., para denotar diferentes particiones del intervalo [a, b] .
Observaciones
i.
Dos particiones P y Q de un mismo intervalo [ a, b] son diferentes si

difieren por lo menos en un punto.
ii.
Toda particin de [a, b] contiene por definicin al menos los puntos a y

b; por tanto, siempre es un conjunto no vaco.
iii.
Toda particin P = { x0 , x1 , , xn 1 , xn } de [a, b] divide a dicho intervalo

en n-subintervalos cerrados:
I1 = [ x0 , x1 ]; I 2 = [ x1 , x2 ], , I k = [ xk 1 , xk ]; ; I n = [ xn 1 , xn ] .
En la figura 12.1 aparece una particin P = { x0 ,, xn } de [ a, b] y los

subintervalos que ella determina.
Figura 12.1
122

Definiciones
i.
La longitud del subintervalo I k = [ xk 1 , xk ] , denotada por xk , se define

como xk = xk xk 1 .
ii.
Sea P una particin de [ a, b] . La norma de la particin, denotada por || P || ,

se define como el mayor entre los siguientes valores: x1 , x2 , , xn .
iii.
Se dice que la particin Q de [a, b] es ms refinada o ms fina que la particin P de [ a, b] si Q contiene todos los puntos de P y por lo menos un
punto ms (figura 12.2).
Figura 12.2
iv.
Si x1 = x2 = x3 = = xn = x =
ba
, entonces la particin se llama
n
regular.
Observaciones
i.
xk > 0 para todo k = 1, 2,3,, n , puesto que xk > xk 1 . En consecuen-
cia, || P || > 0 .
ii.
xk || P || para todo k = 1, 2,, n.
iii.
x = ( x
k =1
k =1
xk 1 )
= ( x1 x0 ) + ( x2 x1 ) + + ( xn 1 xn 2 ) + ( xn xn 1 )
= x0 + xn = b a.
iv.
Si P y Q son dos particiones de [ a, b] , y si Q es una particin ms refinada

que P, entonces || Q || || P || .
v.
Decir que || P || 0 es equivalente a decir que n + .

123

Ejemplo 1
Sea P = {1, 0, 0.5, 2, 2.4, 3} una particin del intervalo [1, 3] (figura 12.3).
Figura 12.3
Los subintervalos en los cuales P divide al intervalo [1, 3] son:
I1 = [1, 0]; I 2 = [0, 0.5]; I 3 = [0.5, 2]; I 4 = [2, 2.4]; I 5 = [2.4, 3] .
Las longitudes de cada subintervalo son:

x1 = 0 (1) = 1; x2 = 0.5 0 = 0.5; x3 = 2 0.5 = 1.5;
x4 = 2.4 2 = 0.4; x5 = 3 2.4 = 0.6.
Adems, || P || es el mayor valor entre: 1, 0.5, 1.5, 0.4 y 0.6; es decir, || P ||= 1.5
Ejemplo 2
Efecte una particin regular P de [ a, b] .
Solucin
x =
longitud delintervalo[a, b] b a
=
.
n
n
Entonces la particin P de [ a, b] ser P = { x0 , x1 , x2, , xn } , en donde

x0 = a,
x1 = a + x = a +
ba
.
n
x2 = a + 2x = a + 2
124
ba
,
n

x3 = a + 3x = a + 3
ba
,
n
xk = a + k x = a + k
ba
,
n
xn = a + nx = a + n
ba
= b.
n
Ejemplo 3
n
xk .
Evale el siguiente lmite: lim
P 0
k =1
Solucin
n
Como
x
k =1
= (b a) es una constante, se sigue entonces que
lim xk = lim (b a) = (b a).

P 0
k =1
P 0
125
126
13
Integral segn Riemann

13.1 rea bajo una curva a travs de sumas superiores e inferiores

13.2 Sumas de Riemann
Georg Friedrich Bernhard Riemann
Objetivos del mdulo

1. Introducir por medio de la idea intuitiva de rea y de las llamadas sumas
aproximantes, la integral definida segn Riemann.
2. Ilustrar con ejemplos la definicin de integral definida.
Preguntas bsicas
1. Demuestre las siguientes frmulas:
a.
b.
c.
b
a
b
a
b
a
C dx = C (b a)
x dx =
b2 a2
2
2
x 2 dx =
b3 a 3
3 3
Introduccin
En este mdulo nos ocuparemos del concepto de integral definida de una funcin
acotada en un intervalo cerrado [a, b].
Se parte de un problema particular, como es el problema del rea de una regin
plana, el cual dio origen al clculo integral. El mtodo expuesto, conocido como
mtodo de los recubrimientos, se debe a Arqumedes, el ms grande de los matemticos griegos y uno de los mayores de toda la historia de la humanidad, quien
determin el rea de un segmento parablico por este mtodo, que an hoy, despus de conocer los modernos mtodos infinitesimales, resulta laborioso.
Bernhard Riemann naci en la ciudad

alemana de Breselenz el 17 de septiembre
de 1826. Durante sus estudios universitarios en Gotinga y en Berln se interes por
las teoras de los nmeros primos, las
funciones elpticas y la geometra, que
relacion con las teoras ms avanzadas de
la fsica. En Berln fue discpulo de los
famosos matemticos Jakob Steiner, Karl
Jacobi y Peter Dirichlet. Se doctor en 1851
en Gotinga con una tesis sobre los
fundamentos de una teora general de
funciones en la que estableca las relaciones
existentes entre los nmeros complejos bajo
las leyes de la geometra. Su definicin de
superficie multiestrato (riemanniana), que
asociaba una funcin de variable compleja
mltiple a una funcin de un solo valor,
contribuy notablemente al desarrollo de la
topologa.
Fueron muchas las contribuciones que
Riemann aport a las matemticas, pero
probablemente la ms conocida es la que
present en 1854 en su disertacin para
ingresar como profesor asistente en la
Facultad de Filosofa de la Universidad de
Gotinga. Cuando estuvo a punto de dar su
conferencia someti a consideracin, segn
la tradicin, tres posibles temas. Gauss, bajo
cuya direccin estudi Riemann en esa
universidad, pas por alto los dos primeros
y pidi que expusiera el tercero. Este tema
era nuevo, repleto de controversias y de
peligros, y basado en una geometra no
inspirada en los antiguos postulados
euclidianos de la lnea recta y el paralelismo.
Pero despus de un trabajo intensivo
Bernhard Riemann ofreci una conferencia
en la que, sin utilizar ni una figura o frmula,
present su hiptesis de la curvatura del
espacio, en trminos que podan entender
incluso quienes no estaban familiarizados
con las matemticas de alto nivel.
127

Riemann pudo visualizar el significado fsico
de esta generalizacin de la geometra
euclidiana. Entre las geometras no
euclidianas definidas a lo largo del siglo
XIX, la riemanniana tuvo una enorme
trascendencia en los conceptos de la fsica
terica del siglo XX. Aos despus se
desarroll el clculo tensorial, principalmente por los matemticos italianos Ostilio
Ricci y Tullio Levi-Civita.
La geometra riemanniana, as como es
difcil de apreciar en trminos visuales, es
bastante fcil de concebir como una
posibilidad abstracta, es decir, como una
simple progresin a partir de una lnea en
el espacio unitario de la longitud, a un plano
en el espacio bidimensional de anchura y
longitud, a un slido en el espacio
tridimensional de altura, anchura y
profundidad, y de aqu a espacios de ms
dimensiones por ejemplo, de altura,
anchura, profundidad y tiempo.
Riemann generaliz las propiedades de las
curvas y superficies de forma tal que
pudieran aplicarse a los espacios. Por
ejemplo, referente a la propiedad
geomtrica de la curvatura, sta se define
como la proporcin en que vara una lnea.
Una medida de esta proporcin es la
medida del crculo oscilador en un punto;
si el crculo que ms se acerca a la lnea
curva en este punto es muy pequeo,
entonces la curva se cierra poco a poco y
se dice que tiene una curvatura pequea.
La curvatura de una superficie se define
casi de la misma forma que la curvatura de
una lnea, excepto que sta no tiene por
que ser la misma en todas direcciones.
Gauss haba averiguado que la curvatura
en un punto cualquiera de una superficie
puede definirse tilmente como el producto
de las curvaturas mayor y menor de todas
las lneas que constituyen la superficie en
dicho punto (curvatura gaussiana). As, una
superficie de curvatura positiva es una que
siempre da vueltas para encontrarse a s
misma, como la cscara de un huevo,
mientras que una superficie de curvatura
negativa sera, por ejemplo, una silla de
montar, en donde el producto de una
curvatura positiva y una negativa resulta
negativa. Gauss haba encontrado tambin
que la curvatura de una superficie puede
definirse no slo en trminos de una
persona que mira a la superficie desde el
exterior sino equivalente en trminos de
mediciones realizadas dentro de la delgada
superficie. Riemann ampli esta idea hasta
dar una descripcin matemtica exacta de
la curvatura del espacio. En el sistema
cartesiano, las lneas de referencia son
lneas rectas en un plano; en el globo
terrestre, las lneas de referencia son las de
128
13.1 rea bajo una curva a travs de sumas

superiores e inferiores
Partiremos de una idea intuitiva de lo que entendemos por rea y profundizaremos
luego para llegar a una definicin apropiada de la integral (segn Riemann).
Supongamos que f es una funcin continua en [ a, b] y tal que f ( x) 0 para todo
x perteneciente al intervalo [a, b] . Deseamos determinar, en una forma razonable, la
manera de asignar un valor al rea de la regin R limitada por las rectas x = a, x = b ,
el eje x y la curva y = f ( x) (figura 13.1).
Figura 13.1
Sea A el rea de la regin R. Lo que hacemos es aproximarnos a este valor mediante

rectngulos cuyas reas se calculan fcilmente y usaremos luego un cierto tipo de
paso al lmite para llegar al resultado deseado.
Sea P = { x0 , x1 , x2 , , xn } una particin cualquiera de [a, b] . En cada uno de los
subintervalos [ xi 1 , xi ] levantamos un rectngulo Ri cuya base es xi = xi xi 1 y
su altura el valor mnimo de la funcin en [ xi 1 , xi ] , el cual existe ya que f es continua
en [a, b] (figura 13.2).
Figura 13.2
Mdulo 13: Integral segn Riemann

Si mi es el valor mnimo de f en [ xi 1 , xi ], entonces el rea de Ri es mi xi para todo
i = 1, 2,3, , n, y el rea de todos los rectngulos es:
n
m1x1 + m2 x2 + + mn xn = mi xi .
i =1
En este caso, la suma de las reas de los rectngulos es menor o igual al rea de la
regin R, o sea:
n
A mi xi .
i =1
Siguiendo un procedimiento similar al anterior, pero tomando como altura de cada

rectngulo el valor mximo de la funcin en [ xi 1 , xi ], obtenemos que la suma de las
reas de los rectngulos es mayor o igual que el rea de la regin R (figura 13. 3). Es
decir,
n
A M i xi .
i =1
donde M i es el mximo de f en [ xi 1 , xi ] .
De lo anterior podemos concluir entonces que
n
m x
i =1
A M i xi .
(1)
i =1
latitud y longitud; en un huevo, pudieran

ser crculos en una direccin y valos en
otra perpendicular; en el reflector de un
faro, pudieran ser crculos en una direccin
y parbolas en otra perpendicular a sta.
Riemann se dio cuenta de que toda superficie
o espacio de su geometra superior poda
trazarse por medio de distintas redes de
curvas de referencia y hall que las
ecuaciones escritas en trminos de un
sistema de coordenadas a menudo podan
ser ampliamente simplificadas al escribirse
en trminos de un conjunto distinto de
curvas de referencia.
Uno de los ms prcticos conjuntos de
curvas de referencia est formado por las
llamadas geodsicas. Una geodsica es el
camino de la distancia ms corta entre dos
puntos: en un espacio plano es un segmento
de lnea recta; en una esfera es un arco de
un crculo mximo anlogo al que siguen
los viajes areos intercontinentales; en una
superficie irregular en forma de lmpara o
en un espacio curvo, puede ser cualquier
tipo de curva. Al manipular ecuaciones
diferenciales elaboradas para minimizar las
distancias, Riemann encontr que poda
trazar redes geodsicas de lneas de
referencia y seguir la curvatura de cualquier
espacio desde tres dimensiones hasta n
dimensiones. El prestigio y la calidad de
sus trabajos, que llevaron a la posteridad a
aplicar su nombre a innumerables teoremas
matemticos, le valieron la obtencin de la
ctedra de Gotinga en 1859.
En 1860, en una memoria sobre la
propagacin del sonido, Riemann present
un mtodo, actualmente clsico, para la
integracin de una clase de ecuaciones
diferenciales de primer orden en derivadas
parciales. Debe mencionarse tambin el xito
que obtuvo de su exposicin rigurosa del
concepto de integral definida (integral segn
Riemann).
Riemann trabaj hasta el da anterior a su
muerte, la cual se produjo el 20 de julio de
1866, en Selasca, Italia, por tuberculosis
adquirida pocos aos antes a causa de su
dbil constitucin fsica. Su ltimo trabajo,
que trataba sobre la teora de la transferencia
del sonido desde un enfoque de principios
hidrulicos, qued inconcluso.
Figura 13.3
Ejemplo 1
Sea f ( x ) = x 2 definida en [0, 2] y P = { x0 , x1 , , xn } una particin regular de
[0, 2] . Si M i es el valor mximo de f en [ xi 1 , xi ] , i = 1, 2,3, , n y mi es el valor

129

mnimo de f en [ xi 1 , xi ] e i = 1, 2,3, , n, halle
n
M x
i =1
m x .
i =1
Figura 13.4
Solucin
Puesto que f ( x ) = x 2 es creciente en [0, 2] (figura 13.4), tambin lo es en cada
subintervalo [ xi 1 , xi ] en los cuales P divide al intervalo [ a, b] , y por tanto:
M i = f ( xi ) = xi2 y mi = f ( xi 1 ) = xi21 .
Puesto que la particin es regular,
xi =
20 2
= , i = 1, 2,3, n y
n
n
x0 = 0, x1 =
2
2
, x2 = 2 ,
n
n
2
2
xi 1 = (i 1) , xi = i ,
n
n
, xn = 2,
entonces
n
2 n 2i
2 2 n
M i xi = xi2 = ( xi2 ) =
n i =1 n
n n i =1
i =1
i =1
n
8
8 n(n + 1)(2n + 1)
,
= 3 i2 = 3
6
n i =1
n
n
130
(F.12.1.2)

de donde
n
M x
i
i =1
8n(n + 1)(2n + 1)
.
6n 3
(1)
Ahora,
2 n
2
2 2 n 2
= xi 1 = (i 1)
n i =1
n
n n i =1
i =1
n
1
(
)(2
1)
n
n
n
)
8
8 (
,
= 3 (i 1) 2 = 3 .
6
n i =1
n
n
m x = x
i
i =1
2
i 1
(F.12.1.2)
de donde
n
m x
i =1
8n(n 1)(2n 1)
.
6n3
(2)
De (1) y (2), y teniendo en cuenta que el rea bajo la curva est entre estas dos
sumas, tenemos que:
8n( n 1)(2n 1)
8n(n + 1)(2n + 1)
A
.
6n3
6n 3
Tomando lmites en los lados de esta desigualdad y teniendo en cuenta que A es un

nmero fijo, obtenemos:
lim
8n(n 1)(2n 1)
8n( n + 1)(2n + 1)
A lim
.
3
n
6n
6n 3
Luego, por el teorema del snduche,
8
8
8
A , es decir, A = .
3
3
3
Encontramos una manera muy elegante de hallar el rea comprendida entre
x = 0, x = 2 e y = 0 (eje x) bajo la curva y = x 2 .

Observacin
Si elegimos como altura del rectngulo Ri el valor que asume la funcin en un
punto ti cualquiera del intervalo [ xi 1 , xi ] (figura 13.5), la suma de las reas de
n
estos rectngulos es
f (t ) x .
i =1
131
Figura 13.5
Tendremos en cuenta la discusin hecha hasta ahora para definir el rea bajo una
curva, pero antes daremos algunas definiciones que nos llevan a precisar la
definicin de la integral de Riemann y, con base en ella, definir el rea bajo una
curva.
13.2 Sumas de Riemann

Definicin 1
Sea f una funcin definida en [ a, b] y tal que f ( x) M para todo x de [a, b] y
cierto M real positivo (funcin acotada en [a, b] ); sea P = { x0 , x1 , , xn } una particin de [ a, b] y sean t1 , t2 , , tn puntos tales que xi 1 ti xi para cada
i = 1, 2, , n .
n
La expresin
f (t ) x
i
i =1
se llama suma de Riemann para f en [a, b] .
Ejemplo 2
Sea f ( x) = c definida en [ a, b] . Halle una suma de Riemann para f ( x).
Solucin
Sea P = { x0 , x1 , , xn } una particin cualquiera de [a, b] . En consecuencia,
xi = xi xi 1 , f (ti ) = c, para todo i = 1, 2,3, , n .
Entonces,
n
f (t ) x = cx
i =1
132
i =1
= c xi = c (b a).
i =1

Obsrvese que para la funcin constante f ( x) = c, todas las sumas de Riemann
son iguales a c (b a) .
Ejemplo 3
Sea f una funcin montona creciente en [a, b] y sea P = { x0 , x1 , , xn } una parn
ticin de [a, b] . Demuestre que f (a)(b a) f (ti ) xi f (b)(b a) .

i =1
Solucin
Si ti est en [ xi 1 , xi ] , entonces por ser f creciente f (a ) f (ti ) f (b), y puesto
que xi > 0, se concluye que
f (a ) xi f (ti ) xi f (b) xi .
(1)
Si en (1) efectuamos la suma variando i desde 1 hasta n, obtenemos:

n
f (a) x f (t ) x f (b) x .
i
i =1
i =1
i =1
Luego
n
i =1
i =1
i =1
f (a) xi f (ti ) xi f (b) xi (puesto que f (a) y f (b) son constantes)

y simplificando obtenemos finalmente
n
f (a)(b a) f (ti ) xi f (b)(b a).

i =1
Definiremos ahora la integral definida de una funcin sobre un intervalo cerrado

[a, b] .
Definicin 2
Sea f una funcin definida en el intervalo [ a, b] .
Se dice que f es integrable en [ a, b] (segn Riemann) si existe un nmero real L que
satisface la siguiente propiedad:
Escuche el audio Nota histrica:

Riemann en su multimedia de
Elementos bsicos de clculo
integral y series.
133
Para cada > 0 , existe un > 0 tal que

n
f (t ) x
i =1
Vea la animacin Construccin

de las sumas de Riemann en su
multimedia de Elementos bsicos
L <
para toda particin P de [a, b] para la cual || P || < y cualquiera que sea la eleccin
de ti en [ xi 1 , xi ], i = 1, 2, , n .
Cuando una funcin f satisface la definicin anterior, diremos que L es el valor de
la integral definida de f entre a y b. Este hecho lo expresamos diciendo que
n
lim f (ti ) xi = L.
P 0
i =1
Denotemos a L como
b
a
(1)
f ( x) dx , llamada integral definida de f desde a hasta b. Es
decir,
b
a
f ( x) dx = lim f (ti ) xi .
P 0
i =1
En la expresin
b
a
f ( x) dx, a y b se llaman lmite inferior y lmite superior, respec-
tivamente, de la integral definida; f ( x) se llama integrando y dx indica que x es la

variable independiente que toma valores desde a hasta b.
Observaciones
i.
Si existen dos nmeros L1 y L2 que satisfacen la definicin 2, entonces

L1 = L2 ; es decir, el valor de la integral definida cuando existe, es nico.
ii.
La definicin 2 nos dice tambin que podemos hacer la suma de Riemann

tan cerca al nmero L como se quiera, siempre y cuando la norma de la
particin sea menor que .
iii.
La nocin de lmite dada aqu es diferente a la nocin de lmite dada en el

mdulo 2 del texto Elementos bsicos de clculo diferencial para funciones
presentada para funciones de variable real, ya que en el caso aqu considen
rado se trata de la suma
f (t ) x
i =1
en la cual varan xi y ti , que es cual-
quier punto de [ xi 1 , xi ] .
iv.
134
En la notacin para la integral definida las variables que aparecen son variables mudas. Es decir, se puede cambiar x por y o z o por cualquier otra
variable.
As,
b
a
f ( x) dx ,
b
a
f ( y ) dy ,
b
a
f ( z ) dz significarn la misma integral y
representan el mismo nmero real L.

Ejemplo 4
Sea f ( x) = C , con x en el intervalo [ a, b] (figura 13.6).
Analice si f es integrable en [a, b] .
Figura 13.6
Solucin
Sea P = { x0 , x1 , , xn } una particin de [a, b] y sea ti un punto cualquiera de
[ xi 1 , xi ] con i = 1, 2, , n (figura 13.6).
n
Consideremos la siguiente suma de Riemann:
f (t ) x .
i
i =1
(1)
Puesto que f (ti ) = C para todo ti , entonces:

n
f (t ) x = C x
i
i =1
i =1
= C xi = C (b a).
i =1
O sea que para cualquier particin la suma de Riemann dada en (1) es una constante
y, por tanto,
n
lim f (ti ) xi = C (b a).

P 0
i =1
Luego f ( x) = C es integrable en [ a, b] y adems
b
a
f ( x) dx = C (b a) .
135

Ejemplo 5
0 si x 1
Sea f ( x) = 1 si x = 1
Analice si f es integrable en [2,3] .

Solucin
Sea P = { x0 , x1 , , xn } una particin de [2,3] y sea [ xi 1 , xi ] un subintervalo
cualquiera de [2,3] y ti un punto de [ xi 1 , xi ] con i = 1, 2, , n (figura 13.7).
n
Consideremos la siguiente suma de Riemann:
f (t ) x
i =1
Figura 13.7
Veamos dos casos:

a.
Si ninguno de los ti es igual a 1, entonces f (ti ) = 0 y por tanto

n
f (t ) x
i =1
= 0 y lim f (ti ) xi = 0 .
P 0
i =1
Es decir, dado > 0, existe > 0 tal que
f (t ) x 0 < para
i =1
cualquier particin P con || P ||< .
b.
(1)
Si alguno de los ti es igual a 1, por ejemplo t j = 1, 1 j n , entonces

f (t j ) = 1 , y como los dems ti son diferentes de 1, se tiene que para
stos ti f (ti ) = 0. Por tanto,

n
f (t ) x
i =0
= f (t1 )x1 + f (t2 )x2 + + f (t j )x j + f (t j +1 )x j +1 + + f (tn )xn

= 0x1 + 0x2 + + 1x j + 0x j +1 + + 0xn .
136

n
f (t ) x
i =1
= x j .
Puesto que x j || P || , se tiene que
f (t ) x
i =1
|| P || .
Es decir, dado > 0, elijamos la particin P de [a, b] tal que || P || < , luego
tomando = se verifica que para cada > 0 existe un > 0 tal que
n
f (t ) x
i =1
0 < para toda particin P de [2,3] con || P ||< .
(2)
De (1) y (2) se concluye que f es integrable en [2,3] y adems L = 0. Es decir,
f ( x) dx = 0.
Observaciones
i.
El ejemplo anterior presenta una funcin igual a cero en todos los puntos de
[2,3] excepto en x = 1, es decir, una funcin discontinua en x = 1.
Se puede demostrar que si f ( x) = 0 salvo en un nmero finito de puntos
de [a, b] , entonces f es integrable en [a, b] y adems
ii .
b
a
f ( x) dx = 0.
Cuando la funcin es continua y no negativa tomaremos los ti [ xi 1 , xi ] de

tal forma que f (ti ) coincida con el mximo absoluto M i o con el mnimo
absoluto mi de la funcin en el i-simo subintervalo [ xi 1 , xi ] . Adems, para
simplificar los clculos asumiremos que las particiones son regulares y as
escribiremos:
b
a
f ( x ) dx = lim f (ti ) xi
P 0
i =1
= lim M i xi
n +
i =1
= lim mi xi .
n +
i =1
Teniendo en cuenta adems que:
mk = f ( xk 1 )
Si f es creciente en [a, b] , M = f ( x )
k
k
(rectngulos inscritos)
(rectngulos circunscritos)
137
mk = f ( xk ) (rectngulos inscritos)
Si f es decreciente en [ a, b] , M = f ( x ) (rectngulos circunscritos)
k 1
k
Ejemplo 6
Use la definicin de la integral definida (segn Riemann) para calcular
b
a
x dx,
haciendo una particin regular y tomando rectngulos circunscritos.

Solucin
En este caso f ( x) = x, y consideremos la particin regular P = { x0 , x1 , x2 ,..., xn }
para la cual:
x1 = x2 =
= xn =
ba
,
n
x0 = a, x1 = a +
ba
ba
, x2 = a + 2
,
n
n
xi 1 = a + (i 1)
ba
ba
, xi = a + i
,
n
n
, xn = b.
En la figura 13.8 aparece la grfica de f ( x) = x, la particin P de [ a, b] y el elemento

representativo de rea.
Figura 13.8
Tambin,
M i = f ( xi ) = xi = a + i
138
ba
(tomando rectngulos circunscritos).
n

As que:
b
a
x dx = lim M i xi
n +
i =1
ba ba
= lim a + i
n +
n n
i =1
ba
ba
a+i
n +
n i =1
n
= lim
ba n
ba n
+
a
i (propiedad i, teorema 1, seccin 12.1)

n +
n i =1
n i =1
= lim
= lim
n +
ba
(b a ) n(n + 1)
na +
(propiedades ii, iii y F.12.1.1,
n
n
2
seccin 12.1)
= a (b a ) +
(b a )
b
a
=
.
2
2
2
2
De esta forma,
b
a
x dx =
b2 a2
.
2
2
Razonamientos similares al anterior nos permiten deducir que
Los clculos de
b
a
x dx y
b
a
b
a
x 2 dx =
b3 a 3
.
3 3
x 2 dx hacen pensar que el clculo con integrales
definidas es generalmente difcil. De hecho, las integrales definidas de la mayor

parte de las funciones es imposible determinarlas con exactitud; sin embargo, como
vimos en el captulo 2, la integral de muchas funciones puede calcularse fcilmente.
Este hecho, conjuntamente con el segundo teorema fundamental del clculo que
presentaremos en el mdulo 16, nos facilitarn las cosas para calcular la integral
definida de un gran nmero de funciones.
139
140
14
Propiedades de la integral definida

14.1 lgebra de funciones integrables
14.2 Relacin entre la integral y la continuidad de una funcin de variable real
Thomas Simpson
Objetivos del mdulo

1. Destacar la relacin existente entre continuidad e integrabilidad mediante un
teorema que proporciona una gran familia de funciones integrables.
2. Enunciar y analizar las propiedades ms importantes de la integral definida.
Preguntas bsicas
1. Si a < b < c < d, y f es integrable sobre [a, d], demuestre que f es integrable sobre
[b, c].
2. Si f y g son integrables en [a, b], y f ( x) g ( x) para todo x de [a, b], entonces
b
a
f ( x) dx g ( x) dx.
a
Introduccin
Aunque la mayor parte de las integrales definidas no pueden ser calculadas exactamente, es importante por lo menos saber cundo una funcin es integrable sobre
[a, b], y sta es la informacin ms importante que proporciona el teorema 2 de este
mdulo. Igualmente, en el teorema 1 se presentan otras propiedades importantes de
las funciones integrables y de esta forma se simplifican resultados que son difciles
de demostrar recurriendo directamente a la definicin de integral definida.
Thomas Simpson, matemtico ingls nacido

en Market Bosworth en 1710 y fallecido en
la misma ciudad en 1761, es conocido
principalmente por su trabajo en interpolacin y mtodos numricos de integracin
(regla de Simpson) y por haber ideado un
mtodo para calcular, por aproximacin,
una integral definida. Tambin trabaj la
teora de la probabilidad y en 1740 public
Naturaleza y leyes de probabilidad. Parte de
su investigacin en esta rea se bas en las
ideas del matemtico francs y pionero de
la teora de la probabilidad y la trigonometra,
Abraham de Moivre. Trabaj, igualmente,
en la teora de errores y prob que la
media aritmtica era ms importante que
una simple observacin. La justificacin de
esta afirmacin apareci en su memoria de
1757 titulada Un intento de mostrar la
ventaja de tomar la media de varias
observaciones en astronoma prctica. En
esta ciencia tambin abord otros
problemas, tales como la precesin de los
equinoccios, que dej plasmados en su
obra Folletos miscelneos.
Sus dos volmenes de Doctrina y aplicacin
de las fluxiones son considerados por
muchos como el mejor trabajo sobre la
versin del clculo de Newton que fue
publicada en el siglo XVIII.
141
14.1 lgebra de funciones integrables

Antes de enunciar e ilustrar el teorema que recoge las propiedades ms importantes
de la integral definida se da la siguiente definicin.
Definicin
Si f es integrable en [a, b], entonces definimos:

a
i.
ii.
f ( x) dx = 0.
a
f ( x) dx = f ( x) dx .
b
Teorema 1: Propiedades de la integral definida

Sean f y g dos funciones integrables en [a, b], k una constante real y a < c < b .
Entonces:
kf ( x) dx = k f ( x) dx.
i.
kf es integrable en [a, b] y
ii.
( f + g) es integrable en [a, b] y a [ f ( x) + g ( x)] dx = a f ( x) dx + a g ( x) dx.
iii.
Si f ( x) 0 para todos x de [a, b], entonces
iv.
f es integrable en [a, c] y en [c, b] y
v.
Sean f y g dos funciones definidas en [a, b]. Si f es integrable en [a, b] y
b
a
b
a
f ( x) dx 0.
c
f ( x) dx = f ( x) dx + f ( x) dx.
g ( x) = f ( x) para todo x de (a, b), entonces
b
a
g ( x) dx = f ( x) dx.
a
Demostracin
La demostracin de las partes i, ii e iii pueden hacerse usando la definicin de
funcin integrable presentada en el mdulo 13, pero considero que no tiene mucho
inters demostrarlas en un primer curso de clculo integral.
iv.
Para este numeral slo hacemos una interpretacin geomtrica.

Como se ilustra en la figura 14.1, el rea de la regin sombreada se puede
descomponer en dos regiones de tal manera que el rea de la regin entre a
y b sea igual a la suma de las reas entre a y c y entre c y b.
142
Mdulo 14: Propiedades de la integral definida
Figura 14.1
v.
Sea c un punto en (a, b), y puesto que f es integrable en [a, b], entonces f
es integrable en [a, c] y en [c, b] (propiedad iv).
Veamos que
c
a
g ( x) dx = f ( x) dx y
a
b
c
g ( x) dx = f ( x) dx .
c
Sea h( x) = g ( x) f ( x) para todo x de [a, c]. Puesto que f y g difieren

0 si x a
slo en el punto x = a, entonces podemos escribir h( x) =
k si x = a
Y teniendo en cuenta el ejemplo 4 del mdulo 13, h as definida es integrable

en [a, c] y adems
c
a
h( x) dx = 0; entonces, por la propiedad ii, h( x) + f ( x)
es integrable y por tanto g(x) es integrable en [a, c] ya que
h( x ) + f ( x ) = ( g ( x ) f ( x ) ) + f ( x ) = g ( x )
y adems
[ h( x) + f ( x)] dx =
c
h( x) dx + f ( x) dx
a
= 0 + f ( x) dx = g ( x) dx.
El caso entre c y b es similar (figura 14.2)
Figura 14.2
143

Observaciones
i.
La propiedad ii del teorema 1 se puede generalizar as:
[ f ( x) + f
b
( x) + + f n ( x) ] dx = f1 ( x) dx + f 2 ( x) dx +
b
+ f n ( x) dx.
a
ii.
En la propiedad iv del teorema si a < c1 < c2 < < cn < b, entonces
iii.
b
a
f ( x) dx =
c1
a
f ( x) dx +
c2
c1
f ( x) dx + + f ( x) dx.
cn
Teniendo en cuenta la definicin dada al principio se puede concluir que
b
a
f ( x) dx = f ( x) dx + f ( x) dx
para toda terna a, b, c de nmeros reales que pertenezcan al intervalo donde

la funcin es integrable.
iv.
De la propiedad iii del teorema podemos deducir las siguientes propiedades

adicionales:
Si f y g son integrables en [a, b] y f ( x) g ( x) para todo x de [a, b],
entonces
a.
b
a
f ( x) dx g ( x) dx.
a
Si f es integrable y m1 f ( x) M 1 para todo x de [a, b], entonces
b.
m1 (b a) f ( x) dx M1 (b a).
a
Ejemplo 1
Sean f y g dos funciones tales que
4
1
f ( x) dx = 3,
7
4
f ( x) dx = 2 y
7
1
g ( x) dx = 6.
[5 f ( x) + g ( x)] dx.
1
Calcule
Solucin
[5 f ( x) + g ( x)] dx =
144
5 f ( x) dx + g ( x) dx
7
(teorema 1, parte ii)

1
= 5 f ( x) dx + g ( x) dx
)(
(teorema 1, parte i)
= 5 f ( x) dx + g ( x) dx
= 5
4
1
(definicin 14.1,
parte ii)
f ( x) dx + f ( x) dx + (6) (teorema 1, parte iv)

4
= 5(3 2) 6 = 11.
Ejemplo 2
5
Calcule 2 x 3 dx.
Solucin
Note en primer lugar que ninguna de las propiedades establecidas hasta ahora
permite evaluar directamente la integral; sin embargo, de acuerdo con la definicin
de valor absoluto podemos escribir:
x 3 si x 3
x3 =
3 x si x < 3
(1)
La grfica de la funcin f ( x) = x 3 en el intervalo [2, 5] aparece en la figura

14.3.
Figura 14.3
De otro lado,
x 3 dx = x 3 dx + x 3 dx
3
= (3 x) dx + ( x 3) dx
(teorema 1, parte iv)

(reemplazando (1))
145

3
= 3 dx x dx + x dx 3 dx
32 (2) 2
= 3(3 (2))
2
2
(teorema 1 partes i y ii)
52 32
+ 3(5 3) (ejemplos 4
2 2
y 6 de la seccin 13.2)
=
29
.
2
Ejemplo 3
Sea f ( x) =
1
definida en [1, 2]. Encuentre m y M tales que
x
m(2 1)
2
1
1
dx M (2 1).
x
Solucin
La funcin f ( x) =
1
es decreciente para todo x > 0 ya que su derivada es negativa;
x
por tanto, en el intervalo [1, 2] el mximo absoluto es f (1) = 1 y el mnimo absoluto

es f (2) = 1/ 2 . Entonces se puede tomar como m cualquier nmero menor o igual
a 1/2 y como M cualquier nmero mayor o igual que 1.
14.2 Relacin entre la integral y la continuidad de

una funcin de variable real
A continuacin enunciamos un teorema que nos proporciona una gran familia de
funciones integrables, pero no lo demostraremos porque se sale del alcance de este
libro.
Teorema 2
Si f es continua en [a, b], entonces f es integrable en [a, b].
Obsrvese que el recproco de este teorema no siempre se cumple (vea el ejemplo 4,
mdulo13). No obstante que el teorema anterior nos garantiza la integrabilidad de
un gran nmero de funciones, el teorema no proporciona la manera de hallar el valor
de la integral. Ms adelante presentaremos el teorema fundamental del clculo que
nos permitir hallar el valor exacto de la integral sin recurrir a la definicin.
Ejemplo 4
Sabiendo que
2
0
3x 2 dx = 8 y
( 2 x + 1) dx = 24 , halle
5
3x 2
si x [0, 2]
h( x ) =
h
(
x
)
dx
si
0
2 x + 1 si x [2,5]
5
146
(figura 14.4)
Figura 14.4
Solucin
Sea f ( x) = 2 x + 1 con x en [2, 5]. Ya que h (x) en el intervalo [2, 5] difiere de f en el
punto x = 2, y puesto que
5
2
f ( x) dx = 24 , entonces por la propiedad v se tiene
que:
5
2
h( x) dx = (2 x + 1) dx = 24.
2
Adems,
2
0
h( x) dx = 8 .
Luego empleando la propiedad iv tenemos que:
5
0
h( x) dx = h( x) dx + h( x) dx = 8 + 24 = 32.
Ntese que h es integrable [0,5]; sin embargo, no es continua all.
147
148
15
Teorema del valor medio (TVM) para

integrales
15.1 Teorema del valor intermedio
15.2 Teorema del valor medio (TVM) para integrales
Eudoxio de Cnido
Objetivos del mdulo

1. Conocer los dos teoremas bsicos para la demostracin de los teoremas fundamentales del clculo, del prximo mdulo.
2. Relacionar el rea bajo una curva con el rea de un rectngulo.
Preguntas bsicas
La temperatura de un caldo que se saca del refrigerador (a 5 C) y se pone al fuego
durante 10 minutos, puede modelarse mediante la funcin
1
f (t ) = 5 + t (t + 1),
2
siendo f(t) la temperatura a los t minutos de haberse puesto al fuego.
1. Calcule la temperatura promedio que tuvo el caldo durante los 10 minutos en que
se calent.
2. A qu temperatura lleg a los 10 minutos?
3. En qu instante de los 10 minutos de calentamiento tuvo el caldo la temperatura
promedio?
Introduccin
A pesar de que los dos teoremas bsicos de este mdulo tienen mltiples aplicaciones en la vida diaria, nuestro inters est centrado en el uso que se har de ellos en
la demostracin del primer teorema fundamental del clculo que presentaremos con
todo detalle en el mdulo 16, el cual, conjuntamente con las tcnicas de integracin
del captulo 2, nos permitir determinar el valor de muchas integrales definidas y
que son el soporte bsico para las aplicaciones que esperamos desarrollar en el
captulo 4.
El matemtico astrnomo, mdico, gegrafo y retrico griego Eudoxio de Cnido naci

en el ao 408 a.C. y muri en el 355. Alumno
del gran filsofo Platn, fue el inventor del
mtodo de la exhaucin , consistente en
calcular las reas planas delimitadas por
curvas agotando el espacio disponible por
medio de reas ms sencillas de calcular
cada vez ms pequeas, que es precisamente lo que ocurre en el clculo integral,
por lo que podramos decir que Eudoxio
fue el precursor de esta rama de la
matemtica. Sin embargo, su mtodo era
muy tosco. Quien verdaderamente us
adecuadamente y perfeccion dicho
mtodo fue Arqumedes y con l calcul el
rea de la parbola y el crculo, adems de
elipses (obtuvo la frmula para medir el
rea de esta cnica), sectores parablicos
y sectores de espiral. Se cree que el primer
teorema demostrado por Eudoxio desde
este punto de vista sea la proporcionalidad
entre dos crculos y los cuadrados
construidos sobre sus dimetros.
A Eudoxio se debe tambin uno de los
primeros sistemas geocntricos, adoptado
y ampliado despus por Aristteles (384322 a.C.). En el sistema de Eudoxio, llamado
tambin de las esferas homocntricas (es
decir, con un centro comn), el planeta
Tierra estaba en el centro del universo y los
siete cuerpos celestes conocidos en aquella
poca estaban fijados a siete grupos de
esferas de dimensiones crecientes. El primer
grupo, formado por tres esferas, perteneca
a la Luna; el segundo, formado por otras
tres esferas, al Sol; los otros planetas
conocidos en ese entonces (Mercurio,
Venus, Marte, Jpiter y Saturno) ocupaban
cada uno un grupo de cuatro esferas. Cada
cuerpo celeste se crea que estaba fijado a
la esfera ms interna del propio grupo y las
esferas de cada grupo estaban conectadas
entre s mediante un sistema de ejes polares
desfasados. Todo este complicado meca-
149

nismo era necesario para justificar los
movimientos aparentes de los planetas que,
como se sabe, parecan tener segn los
periodos del ao movimiento directo,
retrgrado o estacionario.
Indudablemente la obra de Eudoxio es una
muestra de la madurez terica y el rigor
lgico alcanzado por la geometra en su
poca, que cre las condiciones previas
para lo que sera la poca de mayor
esplendor de la matemtica griega.
15.1 Teorema del valor intermedio

Antes de demostrar el teorema bsico de este mdulo enunciaremos sin demostrar
una propiedad muy importante que tienen las funciones continuas en un intervalo
cerrado.
Teorema 1: Teorema del valor intermedio

Sea f una funcin continua en [a, b]. Si f (a) f (b), entonces para cualquier
nmero r entre f ( a ) y f (b) existe al menos un nmero c entre a y b tal que
f (c ) = r .
Como la demostracin de este teorema requiere algunos conocimientos ms

avanzados, no la incluiremos en este libro. Presentaremos sin embargo la interpretacin geomtrica.
En la figura 15.1, f (a) < f (b) y f (a) r f (b). El punto (0, r ) es un punto
cualquiera entre (0, f (a )) y (0, f (b)).
El teorema establece que la recta y = r corta la curva de f ( x) al menos en un punto
(c, r ). La hiptesis de continuidad en un intervalo cerrado es esencial ya que si f es
discontinua en [a, b] no siempre existe c tal que f (c) = r , como lo ilustra el siguiente ejemplo.
Figura 15.1
Sea
150
2 x + 1
f ( x) =
x
si x 1
si x < 1
en el intervalo [2, 2].
Mdulo 15: Teorema del valor medio (TVM) para integrales
Figura 15.2
Esta funcin es discontinua en x = 1 .

Ahora, si r es cualquier nmero entre 1 y 3, no existe ningn c en [2, 2] tal que
f (c) = r . Es decir, la recta y = r no corta la curva en ningn punto (figura 15.2).
15.2 Teorema del valor medio (TVM) para integrales

Si f es continua en [a, b], entonces existe al menos un c tal que a c b y tal que:
b
a
f ( x ) dx = f (c)(b a ) f (c) =
b
1
f ( x) dx .
ba a
Al valor f (c) se le conoce como valor medio de la funcin en [a, b].
Geomtricamente, cuando la funcin es no negativa, se puede interpretar el teorema

de la manera siguiente: el valor de la integral entre a y b es igual al rea del
rectngulo cuya base es (b a) y su altura es f (c) (figura 15.3).

151

Un factor que desempea un gran papel
en el desarrollo de la matemtica es la
solucin de problemas que durante
siglos desafiaron la capacidad de las
mejores mentes. Un ejemplo de lo
anterior es el famoso quinto postulado
que con clarividencia no trat de
demostrar Euclides y que durante 22
siglos mantuvo ocupados a muchos
matemticos hasta que se crearon las
geometras no euclidianas.
A continuacin se presentarn algunos
de esos problemas.
Figura 15.3
Los tres problemas clsicos de la

matemtica griega
Demostracin
Para el filsofo Platn los entes

geomtricos ideales eran la recta y la
circunferencia. Por lo anterior, la
geometra habra que limitarla a las
construcciones con regla y comps (con
la aclaracin de que la regla slo se utiliza
para trazar rectas y por tanto no es
metrizada). Problemas de esta clase se
resolvieron despus utilizando otros
instrumentos y permitieron encontrar
respuestas adecuadas a los tres
problemas clsicos de la matemtica
griega: la duplicacin del cubo, la
triseccin del ngulo y la cuadratura del
crculo. Comentmoslos brevemente:
i.
Si f es constante, el teorema se cumple trivialmente.
ii.
Si f no es constante, como f es continua en el intervalo cerrado, entonces f

alcanza un mximo absoluto y un mnimo absoluta en [a, b].
1. Duplicacin del cubo. Se trata de

resolver el siguiente problema: construir,
utilizando solamente regla y comps, la
arista de un cubo que duplique el
volumen de un cubo conocido.
Sea f (c1 ) = M el mximo absoluto y f (c2 ) = m el mnimo absoluto de f en

[a, b]. Entonces, m f ( x) M , y por la observacin iv (parte b) del teorema 1 del mdulo 14, tenemos que
b
m(b a) f ( x) dx M (b a).
De donde
El problema de la duplicacin del cubo

se caracteriza por la ecuacin
x = 2a , en donde a es la arista del

cubo conocido y x es la arista que tendr
el cubo de volumen doble.
3
b
a
f ( x) dx
ba
M.
Un simple anlisis de construccin con

regla y comps revela, empleando
algunas nociones de geometra analtica,
que los segmentos construidos a partir
de otros segmentos dados son
expresables por races cuadradas y al
iterar esas construcciones aparecen
nuevamente slo races cuadradas y
nunca de otro ndice.
Como f es continua en [a, b], entonces por el teorema del valor intermedio
(seccin 15.1) f toma todos sus valores entre m y M. Por tanto,
b
a
f ( x) dx
ba
corresponde a uno de dichos valores funcionales. Es decir, existe c en [a, b]
tal que
f (c ) =
b
a
f ( x) dx
ba
de donde
152
(1)
b
a
f ( x) dx = f (c)(b a).
Mdulo 15: Teorema del valor medio (TVM) para integrales

Ejemplo 1
Sea f ( x ) = x 2 definida en [0, 1]. Encuentre el valor de c que satisface las condiciones del TVM para integrales.
Ahora, en el problema de la duplicacin

del cubo, el elemento de solucin no es
expresable por races cuadradas de las que
pueden construirse con regla y comps,
Solucin
ya que como x = 2a , entonces x = 3 2 a,
Como f ( x ) = x 2 es continua en [0, 1], entonces de acuerdo con el TVM para
y 3 2 no puede construirse slo con

estos dos instrumentos.
integrales existe por lo menos un c [0,1] tal que:
1
0
2. Triseccin del ngulo. El problema se

enuncia del siguiente modo: divida un
ngulo dado en tres ngulos parciales
iguales, usando slo regla y comps.
x 2 dx = f (c)(1 0) f (c) = x 2 dx .
0
En primer lugar, se sabe que
f (c ) =
1
0
x 2 dx =
Se puede demostrar que el problema

anterior equivale a hallar un x tal que x 3
3 x 1 = 0; pero el x hallado slo es
expresable como una raz cbica que no
es construible con tales instrumentos.
1
. As que:
3
1
1
=3= ,
1 0
1 3
1
3. Cuadratura del crculo. El problema

de la cuadratura del crculo es an ms
profundo, ya que implica una
irracionalidad de naturaleza enteramente
diferente a las de las anteriores.
x 2 dx
2
y como f (c) = c2 , se tiene c =
El problema se enuncia as: determine,

utilizando solamente regla y comps, el
lado de un cuadrado de rea equivalente
al rea de un crculo de radio dado.
1
1
, de donde c =
.
3
3
Ejemplo 2
Verifique la validez del TVM para integrales, con la funcin f ( x) = 4 x 2 en el
intervalo [0, 2].
Solucin
La solucin del problema de la cuadratura

conduce a la ecuacin que tiene como
variable la medida del lado del cuadrado
de rea equivalente al rea del crculo de
radio unidad. Esta ecuacin es x 2 = , en
la cual el coeficiente del trmino independiente no es algebraico y por tanto no
puede ser raz de una ecuacin algebraica
con coeficientes racionales.
Figura 15.4
La grfica de la funcin f ( x ) = 4 x 2 en el intervalo [0, 2] determina la porcin

del crculo x 2 + y 2 = 4 en el primer cuadrante (figura 15.4), y cuya rea es . De
153

esta forma,
2
0
f ( x) dx =
2
0
4 x 2 dx = .
Ahora, como f ( x ) = 4 x 2 es continua en el intervalo [0, 2], el TVM para integrales garantiza la existencia de por lo menos un c [0, 2] tal que:
f (c ) =
Es decir,
c=
2
0
4 c2 =
4 x 2 dx
20
, y resolviendo para c se obtiene:
16 2
[0, 2] .
2
Cmo interpreta geomtricamente el resultado?
154
16
Los teoremas fundamentales del

clculo
16.1 Primer teorema fundamental del clculo: derivada de una integral
16.2 Segundo teorema fundamental del clculo
16.3 Algunas propiedades que ayudan a simplificar los clculos en algunas integrales
Objetivos del mdulo

1. Enunciar y demostrar los dos teoremas fundamentales del clculo.
2. Establecer la relacin entre derivacin y primitivacin.
Preguntas bsicas
La funcin logaritmo natural de x, denotada por ln x, se define como ln x =
x
1
1
dt ,
t
x > 0.
A B
B1
1
dt = dt.
1 t
A
t
2. Use la definicin dada de ln x y la parte 1 para deducir las propiedades de los
logaritmos.
1. Dados A y B nmeros reales positivos, pruebe que
Introduccin
Hasta ahora slo hemos encontrado el valor de pocas integrales definidas. Sabemos de muchas funciones que son integrables, como las funciones continuas, pero
no hemos encontrado su valor; adems, no hemos utilizado los poderosos instrumentos desarrollados anteriormente, como son las tcnicas de integracin. Mostraremos ahora que las operaciones de derivacin y de integracin estn ntimamente
relacionadas mediante un teorema que muestra cmo la derivada deshace la
accin de la integral de una funcin f (t). Posteriormente se presenta el tan esperado
segundo teorema fundamental del clculo para poder completar as los fundamentos tericos del clculo integral, cuyas herramientas bsicas emplearemos en el
prximo captulo de las aplicaciones.
Galileo Galilei
El famoso astrnomo Galileo Galilei naci el
15 de febrero de 1564 en Pisa y falleci el 8
de enero de 1642 en Arcetri (cerca de
Florencia).
Tena 79 aos de edad y su cabello y su
barba eran tan blancos como la espuma.
Sus ojos, que miraron al cielo a travs de
sus telescopios y observaron ms que
cualquier ser humano desde el principio de
los tiempos, estaban apagados por la edad.
Su reputacin de ser uno de los ms
brillantes cientficos de su tiempo fue la razn
de que reyes y reinas disputaran sus
servicios. Ahora estaba arrodillado ante el
temido tribunal de la Inquisicin, obligado
a confesar pblicamente un error que no
era error: Yo, Galileo Galilei..., abandono
la falsa opinin... de que el Sol es el centro
(del universo) y est inmvil... Abjuro,
maldigo y detesto los dichos errores.
Algunos dicen que cuando el anciano se
puso de pie murmur para sus adentros:
E pur si mueve [Y sin embargo (la Tierra)
se mueve (alrededor del Sol)].
Galileo naci en una familia de siete hijos,
con un padre que era un talentoso msico
y un hombre de considerable cultura. A
temprana edad, Galileo prometa mucho
tanto mental como manualmente. Tena
diecisiete aos cuando ingres a la
Universidad de Pisa, donde se especializ
en medicina y estudi tambin matemticas
y ciencias fsicas.
Una vez, cuando todava estudiaba en Pisa,
observ la regularidad con que oscilaba
una lmpara en la catedral. Apenas pudo
esperar hasta que volvi a su casa para
experimentar con bolitas de plomo atadas
a hilos de diferentes longitudes. Descubri
que, cualquiera que fuese la magnitud de la
oscilacin o el peso del plomo, la bolita
necesitaba el mismo tiempo para completar
un viaje de ida y vuelta. Slo el cambio de la
155

longitud afectaba el tiempo de la oscilacin
(periodo de vibracin). Esta observacin
condujo al invento del pndulo, usado en
los relojes y otros instrumentos para medir
con precisin el tiempo. Ley las obras de
Arqumedes y us las matemticas para
probar algunos de los experimentos de este
ltimo con lquidos y aleaciones.
16.1 Primer teorema fundamental del clculo:

derivada de una integral
Cre el concepto de la aceleracin que se

usa en la fsica moderna y el concepto
moderno de la friccin y la inercia con
respecto a los objetos en movimiento.
Analiz los componentes de la fuerza,
demostrando, por ejemplo, que las fuerzas
que afectan a la trayectoria de una bala son
hacia abajo y hacia adelante, de tal manera
que pueden medirse sistemticamente.
Estos experimentos, iniciados antes de
1590, fueron perfeccionados y publicados
en 1638 en su obra Dilogos sobre dos
nuevas ciencias (movimiento y mecnica).
La obra de Galileo, que inici la comprensin
de estas ciencias, llev a la formulacin de
las leyes de movimiento de Newton, ms
precisas, y al perfeccionamiento que de
esas leyes hicieron ms tarde otros
cientficos.
del mdulo 14, f es tambin integrable sobre el intervalo [a, x] con a x b, y
Estableci un taller para fabricar instrumentos como brjulas magnticas, termmetros y telescopios. Tambin lleg a ser
un experto en la construccin de
fortificaciones militares. A principios del
siglo XVII escuch que un ptico holands
haba logrado unir una lente cncava y otra
convexa, de tal manera que haca que los
objetos distantes parecieran ms cercanos.
Usando esa idea construy un telescopio
que ampliaba los objetos treinta veces, y
en 1609 dio una demostracin pblica de
su uso. Cuando Galileo volvi su telescopio
hacia el cielo, por la noche, abri nuevos
campos de conocimiento que describi en
su libro Mensajero de las estrellas. En l
dice: Doy gracias a Dios, que ha tenido a
bien hacerme el primero en observar las
maravillas ocultas a los siglos pasados. Me
he cerciorado de que la Luna es un cuerpo
semejante a la Tierra... He contemplado una
multitud de estrellas fijas que nunca antes
se observaron... Pero la mayor maravilla
de todas ellas es el descubrimiento de cuatro
nuevos planetas (cuatro satlites de
Jpiter). He observado que se mueven
alrededor del Sol.
Descubri que la Va Lctea consista en
una mirada de estrellas; que el Universo
no era fijo ni inmutable, como crean sus
contemporneos, pues aparecan ante su
vista nuevas estrellas que luego desaparecan; y que los planetas Venus y Mercurio
se movan tambin alrededor del Sol y que
el Sol mismo giraba sobre su eje. Su libro
Dilogo sobre los dos principales sistemas
del mundo es una brillante stira que
156
Antes de mostrar dicha relacin estudiaremos algunos resultados previos.

Sea f una funcin integrable en el intervalo [a, b]. Por la propiedad iv del teorema 1
puesto que para cada x de [a, b] el valor de la integral
x
a
f (t ) dt es nico, entonces
podemos definir la siguiente funcin:

x
F ( x) = f (t ) dt con x en [a, b].

a
Segn vimos antes, si f ( x) 0 en [a, b], entonces la funcin F ( x) definida anteriormente representa geomtricamente el rea de la regin comprendida entre a y x
y bajo la curva de la funcin f (figura 16.1).
Obsrvese que
a
F (a) = f (t ) dt = 0 y F (b) = f (t ) dt.

a
a
b
Figura 16.1
Teorema 1
Si f es integrable en [a, b] y F est definida por
x
F ( x) = f (t ) dt , con x en [a, b], entonces F es continua en [a, b].

a
Demostracin
Sea C un punto cualquiera de (a, b) y h tal que a C + h b. Demostraremos que
F es continua en C, es decir, demostraremos que lim F (C + h) = F (C ).
h0
Mdulo 16: Los teoremas fundamentales del clculo

Por la definicin de F se tiene que
F (C + h) =
C+h
a
demostraba por medio del dilogo las fallas

del sistema geocntrico tolomeico en
comparacin con el sistema heliocntrico
copernicano.
f (t ) dt y F (C ) = f (t ) dt.
a
El trabajo experimental y terico de Galileo

sobre el movimiento de los cuerpos, junto
con los trabajos de Kepler y Ren Descartes,
fue el inicio de la mecnica clsica
desarrollada por Sir Isaac Newton. Galileo
fue el pionero, al menos en la tradicin
europea, en desarrollar experimentos
rigurosos insistiendo en la descripcin
matemtica de las leyes de la naturaleza.
Entre sus aportes fundamentales estn la
transformacin de Galileo entre sistemas
de referencia inerciales y el desarrollo del
concepto de inercia.
Luego
C+h
F (C + h) F (C ) =
C +h
C +h
f (t ) dt f (t ) dt =
f (t ) dt + f (t ) dt
C
f (t ) dt .
Es decir,
F (C + h) F (C ) =
C+h
C
f (t ) dt (figura 16.2).
Puesto que f es acotada en [a, b] (por ser f integrable), entonces existe M 0 tal
que f (t ) M para todo t de [a, b].
Luego
M f (t ) M .
(1)
Uno de los mitos ms famosos sobre Galileo

es aquel en que tira objetos de diferentes
masas desde lo alto de la Torre de Pisa, con
el fin de demostrar que la velocidad de
descenso era independiente de la masa.
Esto contradeca el pensamiento de
Aristteles de que los objetos pesados
caern ms rpido que los ligeros, en forma
directamente proporcional a su peso. La
historia de la torre aparece en una biografa
de uno de sus alumnos, Vicenzo Viviani,
pero es considerada falsa. En realidad Galileo
nunca realiz, que se sepa, este experimento
de esta forma y de haberlo hecho su
resultado sera el opuesto, como l saba.
La fuerza de resistencia del aire depende no
slo de la forma del objeto sino indirectamente tambin en parte de su masa, de
donde se origin la idea aristotlica. Sin
embargo, Galileo realiz experimentos que
implicaban el deslizamiento de objetos sobre
planos inclinados, para hacer ms lenta la
cada, reduciendo los efectos de la
resistencia del aire que dependen de la
velocidad, aislando as la accin de la
gravedad y probando que la cada o
deslizamiento libres son acelerados
independientemente de la masa.
Sobre los aos 1606-1607 (posiblemente
antes), Galileo construy un termmetro
usando la expansin y contraccin del aire
en un recipiente de cristal para mover el
agua de un tubo adjunto. Y en 1609 estuvo
entre los primeros en usar el telescopio
refractor como instrumento para observar
las estrellas, planetas y lunas. En 1610 utiliz
un telescopio como microscopio compuesto, e hizo mejoras en los microscopios
de 1623 en adelante.
Figura 16.2
Analicemos dos casos: cuando h 0 y cuando h < 0.

Primer caso
Si h 0, entonces, aplicando en (1) el teorema 1 mdulo14 (observacin iv),
obtenemos:
Lamentablemente, a la edad de 74 aos,

Galileo qued ciego. Cuando muri,
venerado por los ciudadanos y muchos
hombres principales de la Iglesia y de los
seglares, la Inquisicin se neg a permitir la
realizacin de un funeral pblico
157
C +h
C
M dt
Mh
C +h
C
C +h
C
f (t ) dt
C+h
C
M dt
f (t ) dt Mh.
O sea que
Escuche el audio En un tono
menos serio: el problema del
pintor matemtico en su multimedia de Elementos bsicos de
clculo integral y series.
Mh F (C + h) F (C ) Mh.
Si tomamos lmite a esta expresin cuando h tiende a cero por la derecha, obtenemos:
lim ( Mh) lim+ [ F (C + h) F (C )] lim+ ( Mh),
h 0+
h 0
h 0
y puesto que lim+ ( Mh) = 0 y lim+ ( Mh) = 0 , se concluye, por el teorema del
h 0
h 0
snduche, que
lim [ F (C + h) F (C )] = 0,
h 0+
F (C + h) = F (C ).
y por tanto hlim
0+
(2)
Segundo caso
Si h < 0, entonces C + h < C , luego aplicando a (1) el teorema 2 del mdulo 14
(observacin iv) se obtiene:
M ( h)
C
C +h
f (t ) dt M (h) .
Entonces:
Mh
C +h
C
f (t ) dt Mh.
Al multiplicar esta desigualdad por (1) resulta:
Es decir,
Mh F (C + h) F (C ) Mh.
Si tomamos lmite a esta ltima expresin cuando h tiende a 0 por la izquierda,

obtenemos por el teorema del snduche que
158
lim [ F (C + h) F (C )] = 0.
h 0
Luego
lim F (C + h) = F (C ).
(3)
h 0
De (2) y (3) podemos concluir que

lim F (C + h) = F (C ).
(4)
h 0
Hemos probado as que F es continua en todo C de (a, b).

Cuando C = a C = b la demostracin es similar pero considerando lmites laterales.
El teorema anterior significa que, dada una funcin f ( x) integrable en [a, b], la
x
funcin F ( x) = f (t ) dt con a x b siempre es continua en [a, b].

a
Ejemplo 1
2
Sea f ( x ) =
4
si
x 1
si
x <1
con x en [0, 2]. Halle
x
0
f (t ) dt.
Solucin
x
Sea F ( x) = f (t ) dt.
0
Para resolver esta integral es necesario hacerla en dos partes dependiendo de que
x 1 o que x < 1.
1.
Si x < 1 , entonces
2.
x
0
f (t ) dt = (4) dt = 4( x 0) = 4 x (ejemplo 4, mdulo 13).

0
Si x 1 , entonces
x
0
f (t ) dt = f (t ) dt + f (t ) dt = (4) dt + 2 dt
0
= 4 + 2( x 1) = 2 x 6.
Entonces de 1 y 2 tenemos que, para todo x en [0, 2],

159

4 x si
F ( x) =
2 x 6 si
x <1
x 1
En las figuras 16.3a y 16.3b se muestran las grficas de las funciones f y F. Obsrvese que la segunda es continua a pesar de ser discontinua la primera.
Figura 16.3
Ejemplo 2
x
Sea f ( x) = 3 con x en [0, 3]. Halle F ( x) = 0 f (t ) dt.
F (x
Solucin
x
F ( x) = 3 dt = 3( x 0) = 3x.
0
Es decir, F ( x) = 3 x con x en [0, 3]. Ntese que esta funcin es derivable en todo
x de [0, 3].
Teorema 2: Primer teorema fundamental del clculo (derivada de una integral)

Sea f una funcin continua en [a, b] y F la funcin definida por
con x en [a, b].
Entonces, F es derivable en todo x de [a, b] y F ( x) = f ( x).
Demostracin
Probemos que lim

h0
160
F ( x + h) F ( x )
= f ( x ).
h

Sea x un punto fijo de [a, b], luego:
F ( x + h) F ( x ) =
x+h
a
x+h
f (t ) dt f (t ) dt =
f (t ) dt.
(1)
Entonces, por ser f continua se tiene por el TVM que existe un punto c entre x y
x + h tal que:
x+h
x
f (t ) dt = f (c) h
(h puede ser positivo o negativo)
(2)
Entonces, de (1) y (2) se tiene que F ( x + h) F ( x) = f (c)h , de donde

F ( x + h) F ( x )
= f (c).
h
(3)
Ahora, lim f (c) = f ( x) ya que f es continua y c x h 0 (figura 16.4).

h0
Teorema fundamental del clculo
Figura 16.4
Por tanto, tomando lmite en (3) cuando h 0 , obtenemos:
lim
h0
O sea que
F ( x + h) F ( x )
= lim f (c) = f ( x).
c x
h
d
F ( x) = f ( x) para todo x en [a, b].
dx
O, lo que es lo mismo,
d
dx
x
a
f (t ) dt = f ( x), igualdad que indica que la derivada
deshace la accin de la integral de la funcin f (t ) .

Ejemplo 3
El teorema fundamental del clculo,

que se atribuye a Isaac Newton y
Gottfried Leibniz, marca el comienzo del
clculo como disciplina unificada.
Newton desarroll su clculo a finales
del ao 1660, pero no public sus
resultados hasta 1687. Leibniz los
redescubri a mediados de 1670, pero
los public antes que Newton, en 1684
y 1686. La notacin y terminologa de
Leibniz (en buena parte todava en uso)
es mejor que la de Newton. (Newton se
refera a las derivadas e integrales como
fluxiones y fluyentes. ) Sin embargo,
Newton desarroll las nociones bsicas
antes que Leibniz. A raz de un cruce de
cartas entre ambos, surgi una tensa
controversia sobre quin deba ser
considerado el creador del clculo. La
disputa degener en una autntica
guerra entre los matemticos de
Inglaterra y los del resto de Europa. La
comunicacin entre las dos comunidades matemticas qued en suspenso
durante un siglo, hecho que ejerci
influencia innegable en el desarrollo de
las matemticas en el siglo XVIII.
161

Si F ( x) =
x
0
t 4 + 3t 2 + 9 dt , halle F ( x) .
Solucin
Ya que f (t ) = t 4 + 3t 2 + 9 es continua, entonces F es derivable y F ( x) = f ( x).
O sea que
F ( x ) =
d x 4
t + 3t 2 + 9 dt = x 4 + 3 x 2 + 9.
dx 0
Ejemplo 4
2
Si F ( x) = t 3 t 2 + 1 dt , halle Dx t 3 t 2 + 1 dt.
Solucin
Para poder aplicar el teorema debemos intercambiar previamente los lmites de integracin. Esto es,
2
F ( x) = t 3 t 2 + 1 dt = t 3 t 2 + 1 dt = (t 3 t 2 + 1) dt ,
y puesto que f (t ) = t 3 t 2 + 1 es continua, entonces:
F ( x) =
d x 3 2
t t + 1 dt = x3 x 2 + 1.
dx 2
Utilizando la regla de la cadena podemos extender el resultado del teorema 2.

Corolario 1
Sea h una funcin continua en [c, d], V ( x) una funcin derivable en [a, b] y
c V ( x) d .
Si F ( x) =
V ( x)
c
h(t ) dt , entonces
dF ( x)
dV
= h(V ( x)).
.
dx
dx
En efecto, sea G (V ) = h(t ) dt.

c
Por el teorema anterior, G es derivable respecto a V, luego

F ( x) = (G V )( x).
162
dG (V )
= h(V ) y adems
dV

Entonces:
dF dG dV
dV
=
.
= h(V ).
.
dx dV dx
dx
Es decir,
d V ( x)
dV
h(t ) dt = h(V ( x))
.
c
dx
dx
Corolario 2
Sea h continua en [c, d ], U ( x) y V ( x) derivables en [a, b] con c U ( x) d y
c V ( x) d .
Si F ( x) =
V ( x)
U ( x)
h(t ) dt , entonces
d V ( x)
dV
dU
h(t ) dt = h(V ( x))
h(U ( x))
.
dx U ( x )
dx
dx
Para la demostracin basta aplicar el colorario 1 a la expresin
F ( x) =
V ( x)
c( x)
h(t ) dt
u( x)
c
h(t ) dt.
Ejemplo 5
x2 + 3
Halle Dx 0
(t 3 + 5) dt.
Solucin
Puesto que h(t ) = t 3 + 5 es continua en todo y V ( x ) = x 2 + 3 es derivable en
todo , entonces podemos aplicar el colorario 1.
d x2 + 3 3
(t + 5) dt = ( x 2 + 3)3 + 5 (2 x).
dx 0
Ejemplo 6
x2
3
Sea F ( x) = x (t + 5t 8) dt. Halle
d x2 3
(t + 5t 8) dt.
dx x
Solucin
163

Puesto que h(t ) = t 3 + 5t 8 es continua, V ( x ) = x 2 y U ( x) = x son derivables.
Entonces
d x2 3
(t + 5t 8) dt = ( x 2 )3 + 5( x 2 ) 8 (2 x) ( x )3 + 5( x) 8 (1)
x
dx
= 2 x[ x 6 + 5 x 2 8] + [ x 3 5 x 8].
Ejemplo 7
Sea F ( x ) =
2x
x
1
dt con x > 0. Pruebe que F es una funcin constante.
t
Solucin
1
es continua para todo t > 0, V ( x) = 2 x y U ( x) = x son
t
derivables. Entonces
Como h(t ) =
F ( x) =
d 2x 1
1 d
1 d
1
1
dt =
(2 x)
( x) =
2 1 = 0.
x
dx
t
2 x dx
x dx
2x
x
Es decir, F ( x) = 0 para todo x > 0 , y de aqu F es una constante (ejercicio 19,

mdulos 20-28, Elementos bsicos de clculo diferencial).
Ejemplo 8
Determine los intervalos donde crece y decrece la siguiente funcin, as como tambin sus extremos relativos:
f ( x) =
1 x 2
3
t
dt.
1+ t2
Solucin
Los intervalos donde crece y decrece una funcin, as como los extremos relativos,
los determina el signo de la primera derivada. As que si
f ( x) =
entonces
164
1 x 2
3
t
dt ,
1+ t2

f ( x) =
d 1 x2 t
(1 x 2 )
( 2 x ) .
dt
=
dx 3 1 + t 2
1 + (1 x 2 ) 2
f ( x) =
2 x (1 x) (1 + x)
.
1 + (1 x 2 ) 2
Esto es,
El signo de f ( x) depende del signo de los factores 2 x, (1 x) y (1 + x), como

se ilustra en el siguiente diagrama (figura 16.5):
Figura 16.5
Del diagrama anterior se deduce que:
f (x) decrece en: (, 1] [0,1].

f (x) crece en: [1, 0] [1, +).
x = 1 corresponde a un mnimo relativo. Entonces:
Pm1 (1, f (1)) = Pm1 1,
0
3
t
1
dt = Pm1 1, ln10 .
2
1+ t
2
x = 0 corresponde a un mximo relativo. Entonces:
PM1 (0, f (0)) = PM1 0,
1
3
t
1
dt = PM1 0, ln 5 .
2
1+ t
2
x = 1 corresponde a un mnimo relativo. Entonces:
Pm2 (1, f (1)) = Pm2 1,
0
3
dt = Pm2
1+ t2
1, ln10 .
2
165
16.2 Segundo teorema fundamental del clculo

Teorema 3 : Segundo teorema fundamental del clculo
Sea f una funcin continua en un intervalo cerrado [a, b] y F una funcin tal que
F ( x) = f ( x) para todo x en [a, b]. Entonces,
b
a
f (t ) dt = F (b) F (a).
(1)
Demostracin
x
Como f es integrable en [a, b], sea G ( x) = f (t ) dt , a x b. En consecuencia,

a
G ( x) = f ( x), y como por hiptesis F ( x) = f ( x), entonces F y G difieren en una
constante, es decir, G ( x) = F ( x) + C. Esto es,

x
G ( x) = f (t ) dt = F ( x) + C
a
Por tanto,
a
G (a) = f (t ) dt = 0 = F (a) + C ,
a
de donde F (a) = C.
Adems,
b
G (b) = f (t ) dt = F (b) + C = F (b) F (a).

a
Luego
b
a
f (t ) dt = F (b) F (a).
Observaciones
i.
En el trabajo con integrales, la expresin F (b) F (a) se denota por [ F ( x ) ]b ,

a
que se lee: F ( x) entre a y b.

Con esta notacin podemos escribir entonces
F ( x) una primitiva de f.
166
b
a
f (t ) dt = [ F ( x)]a , siendo
b
ii.

En muchas aplicaciones la conclusin del segundo teorema fundamental
del clculo se escribe en la forma siguiente:
iii.
f (t ) dt = f (b) f (a).
Si al evaluar
b
a
f (t ) dt no podemos encontrar en forma directa una primiti-
va F ( x) de f, la regla de sustitucin puede emplearse en este caso en la

forma siguiente:
Si u = g ( x), donde g ( x) y g ( x) son continuas en el intervalo
[ g (a), g (b)] , y si
f ( g ( x)) est definida y es continua en [ g (a), g (b)],
entonces
f ( g ( x) ) g ( x)dx =
b
g (b )
g (a)
f (u ) du.
Ntese que al calcular la integral definida por la frmula anterior no necesariamente regresamos a la variable original sino que se halla una primitiva
de f (u ) y la evaluamos desde g (a) hasta g (b).
iv.
La frmula de integracin por partes tambin puede usarse para el clculo de

integrales definidas. En este caso se tiene que si U ( x) y V ( x) son dos
funciones derivables en [a, b], entonces:
b
a
U dV = [U ( x) V ( x)] a V dU .
b
Ejemplo 9
Calcule el valor de las siguientes integrales definidas.
b
a.
b.
c.
3
0
n 1, n real.
x n dx,
x dx
( 3x
1)
x3
9 + x2
dx.
Solucin
a.
b
a
x n +1
b n +1
a n +1
+ C =
+C
C.
x n dx =
n +1
n +1
n +1
167

Luego
b n +1 a n + 1
,
( n + 1)
x n dx =
n 1, n real.
Ntese que en el proceso de evaluacin de la integral, la constante C

desaparece. En adelante y por simplicidad omitiremos la escritura de sta.
b.
Para evaluar dicha integral, aplicamos la regla de sustitucin.

Sea u = g ( x ) = 3 x 2 1.
(1)
De aqu, du = 6 x dx, de donde x dx =
du
.
6
Ahora, g (1) = 2 y g (3) = 26.

Por tanto,
3
1
x dx
=
(3x 2 1)3
26
2
26
du u
=
6u 3 12 2
2
1
1
262 22
7
.
=
=
12
338
Podemos evaluar tambin dicha integral aplicando la regla de sustitucin,

pero escribiendo el resultado en trminos de la variable x. As:
Sea u = 3x 2 1 .
(2)
Entonces du = 6 x dx, de donde x dx =
du
.
6
Por tanto,
x dx
du u 2
1
1
=
(3x 2 13 6u 3 = 12 = 12u 2 = 12(3x 2 1)2 .
Ahora,
3
3
1
x dx
1
=
(3 x 2 1)3 12 ( 3 x 2 1)2
1
1
7
=
+
.
=
2
2
12 ( 26 ) 12 ( 2 ) 338
c.
168
3
0
x3
9 + x2
dx =
x2 x
9 + x2
dx .

Sea u 2 = 9 + x 2 .
(3)
Entonces, 2u du = 2 x dx u du = x dx.
u = 9 + x2 .
cuando x = 0, u = 3
De aqu se tiene que
cuando x = 3, u = 18 = 3 2
As que,
x3
9 + x2
dx =
x2 x
9 + x2
3 2
dx =
3 2
3
(u 2 9)u du u 3
= 9u
u
3
3
(3 2)3
33
=
9(3 2) + 27 = 18 9 2.
3
3
Se pide al estudiante calcular la integral anterior, haciendo la sustitucin x = 3 tan .

Ejemplo 10
Demuestre que
sen
nx dx = , siendo n .
Solucin
sen
nx dx =
1 cos 2nx
dx
2
1
1
1
1
= x sen 2nx = sen 2n

sen (2n )
n
n
n
2
4
2
4
2
4
= .
Ejemplo 11
Una funcin g(x) satisface las siguientes condiciones:
ii.
g(x) est definida en todo x .

g ( x) es continua.
iii.
g (0) = g (2) .
iv.
g (2) = 3.
i.
169
Demuestre que
2
0
x g ( x) dx = 6.
Solucin
Sea
dV = g(x) dx.
V(x) = g(x)
u(x) = x
du = dx
(V existe por ii).
Aplicando entonces integracin por partes, se tiene:
2
0
x g ( x) dx = [ x g ( x)]0 g ( x) dx.
2
Pero,
[ x g ( x)]0 = [ 2 g (2) 0 g (0)] = 2 3 = 6

2
(condicin iv).
Tambin,
2
0
g ( x) dx = g (2) g (0)
(2 TFC)
= 0 (condicin iii).
As que:
2
0
x g ( x) dx = 6 0 = 6.
16.3 Algunas propiedades que ayudan a simplificar los

clculos en algunas integrales
El conocimiento de la simetra que presenta el integrando en un intervalo de longitud 2a ayuda a simplificar los clculos, como se muestra a continuacin.
i.
Si f es una funcin par ( f ( x) = f ( x)) , esto es, si f es simtrica con

respecto al eje y, entonces
ii.
Si f es una funcin impar ( f ( x) = f ( x)), esto es, si f es simtrica con

respecto al origen, entonces
170
f ( x) dx = 2 f ( x) dx (figura 16.6a).
f ( x) dx = 0 (figura 16.6b).
Figura 16.6
As por ejemplo, en la integral
x3
x3
f ( x) =
dx
,
el
integrando
es
1 (1 + x 2 )4
(1 + x 2 ) 4
1
una funcin impar, puesto que f ( x) =
( x)3
x3
=
= f ( x) .
(1 + ( x) 2 ) 4
(1 + x 2 ) 4
En consecuencia,
x3
dx = 0.
1 (1 + x 2 ) 4
La integral
(1 + x + x 2 + x 3 ) dx puede escribirse en la forma:

2
(1 + x + x 2 + x 3 ) dx = 1dx +
2
x dx + x 2 dx + x 3 dx.
Pero,
x dx = 0 = x 3 dx (por ser el integrando funciones impares).

2
Tambin,
1 dx = 2 1 dx = 4
0
y
2
x dx = 2
2
2
0
x3 16
(por ser el integrando funciones pares).
x dx = 2 =
3 0 3
2
Luego
2
(1 + x + x 2 + x 3 ) dx = 4 +
16 28
= .
3
3
171
172
17

17.1 Integrales impropias tipo I
17.2 Integrales impropias tipo II
Objetivos del mdulo
Pierre-Simon Laplace
1. Extender la nocin de integral para funciones no acotadas y que no estn definidas en todos los puntos de integracin.
2. Dar sentido a integrales de las formas
o de la forma
b
a
+
a
f ( x) dx,
f ( x ) dx y
f ( x ) dx,
f ( x) dx, donde f (x) presenta una discontinuidad infinita en
[a, b], es decir, f (x) se hace infinita en algn punto del intervalo [a, b].
Preguntas bsicas
1. Por qu
1
dx existe?
1 + x2
2. Por qu no existe
3. Demuestre que si
igual a
x dx, a pesar de que lim

N
x dx s existe?
f ( x ) dx existe, entonces existe lim
N N
f ( x) dx, y es
f ( x ) dx.
Introduccin
En el mdulo anterior de este mismo captulo se hizo el estudio de la integral definida
b
a
f ( x) dx para una funcin f definida y acotada en el intervalo cerrado [a, b].
En este mdulo se extender la nocin de integracin a funciones no acotadas y

funciones que no estn definidas en todos los puntos del intervalo de integracin.
Adems se le dar sentido a integrales de las formas:
+
a
f ( x) dx ,
f ( x ) dx y
f ( x ) dx,
Pierre-Simon Laplace naci el 28 de marzo

de 1749 en Beaumont-en-Auge, Francia, y
falleci el 5 de marzo de 1827 en Pars.
A la edad de dieciocho aos, Laplace
sobresala como maestro y matemtico en
la escuela militar de su pueblo natal. No
obstante, para l, Pars era la nica ciudad
por la que entrara en el gran mundo de la
ciencia. Consigui cartas de recomendacin
y, en 1767, parti hacia all a solicitar la
ayuda del distinguido matemtico francs
Jean DAlembert. Cuando se present en la
casa de ste fue recibido con corteses
excusas, pero lo despidieron sin que
pudiera entrevistarlo. Pasaron las semanas
y Laplace segua sin obtener audiencia.
Persistente en su ambicin, decidi
entonces usar un mtodo distinto. Como
no surtieron efecto las cartas de recomendacin, trat de comunicarse por medio
del lenguaje de la ciencia. Escribi una
disertacin sobre los principios de la
mecnica y se la envi a DAlambert con la
solicitud de que le concediera una audiencia.
Era un lenguaje que poda entender y
apreciar un matemtico. DAlambert qued
tan impresionado con el talento de Laplace,
que mand llamarlo en seguida y le dijo:
No necesitis ms presentacin que la
recomendacin de vuestro trabajo. Con
su ayuda, Laplace obtuvo ms tarde el
nombramiento de profesor de matemticas
en la Escuela Militar de Pars y qued
asegurado su ingreso en el mundo de la
ciencia.
El primer trabajo cientfico de Laplace fue
su aplicacin de las matemticas a la
mecnica celeste. A Newton y otros
astrnomos les haba sido imposible explicar
las desviaciones de los planetas de sus
rbitas, predichas matemticamente. As
por ejemplo, se determin que Jpiter y
Saturno se adelantaban o retrasaban a veces
con respecto a las posiciones que deban
ocupar en sus rbitas. Laplace ide
173

entonces una teora, apoyada en pruebas
matemticas, que postulaba que las
variaciones eran normales y se corregan
solas en el transcurso de largas etapas de
tiempo. Esta teora, de gran importancia
para entender las relaciones de los cuerpos
celestes en el universo, ha soportado la
prueba del tiempo sin sufrir ms que
correcciones relativamente secundarias.
Los siguientes aos fueron de exitosas
investigaciones para Laplace, que fue
aclarando los conocimientos cientficos
sobre las fuerzas elementales de la
naturaleza y el universo. Escribi artculos
acerca de la fuerza de gravedad, el
movimiento de los proyectiles, el flujo y
reflujo de las mareas, la precesin de los
equinoccios, la forma y rotacin de los
anillos de Saturno y otros fenmenos.
Tambin estudi el equilibrio de una masa
lquida en rotacin e ide una teora de la
tensin superficial que era semejante al
moderno concepto de la atraccin o
cohesin molecular dentro de un lquido.
Trabajando con el qumico francs Lavoisier,
estudi el calor especfico y la combustin
de diversas sustancias y puso los cimientos
para la moderna ciencia de la termodinmica. Invent un instrumento,
conocido con el nombre de calormetro de
hielo, para medir el calor especfico de una
sustancia. El calormetro meda la cantidad
de hielo fundido mediante el peso dado de
una sustancia caliente cuya temperatura se
conoca. Entonces, poda calcularse
matemticamente su calor especfico.
Al estudiar la atraccin gravitacional de un
esferoide sobre un objeto externo, Laplace
ide lo que se conoce hoy como ecuacin
de Laplace, que se usa para calcular el
potencial de una magnitud fsica en un
momento dado mientras est en movimiento continuo. Esta ecuacin no slo tiene
aplicacin en la gravitacin, sino tambin
en la electricidad, la hidrodinmica y otros
aspectos de la fsica.
Entre 1799 y 1825, Laplace reuni sus
escritos en una obra de cinco volmenes,
titulada Mecnica celeste , en la que se
propuso dar una historia de la astronoma
sistematizando la obra de generaciones de
astrnomos y matemticos, y ofreciendo
una solucin completa a los problemas
mecnicos del sistema solar. Ms tarde
public un volumen titulado El sistema del
mundo, y luego, en 1812, su Teora analtica
de las probabilidades.
Laplace vivi hasta la avanzada edad de 78
aos. En vida an, fue elegido para ser
parte del selecto grupo de los Cuarenta
inmortales de la Academia Francesa.
174
o de la forma
b
a
f ( x) dx,
donde f (x) presenta una discontinuidad infinita en [a, b], es decir, f (x) se hace
infinita en algn punto del intervalo [a, b]. A todas estas integrales se les denomina
integrales impropias.
A continuacin se definirn estos dos tipos de integrales impropias.
Mdulo 17: Integrales impropias
17.1 Integrales impropias tipo I

Definiciones
i.
Sea f una funcin integrable en [ a , + ). Si lim
que la integral impropia
+
a
f ( x) dx existe, se dice
f ( x) dx es convergente y en este caso se
escribe:
+
a
f ( x) dx = lim
f ( x) dx.
Si el lmite no existe, se dice que la integral impropia es divergente.

ii.
Sea f una funcin integrable en (, b]. Si lim
que la integral impropia
f ( x) dx existe, se dice
f ( x ) dx es convergente y en este caso se
escribe:
f ( x) dx = lim
f ( x) dx.
iii.
Si f es integrable en (, +) , y c , entonces
f ( x) dx =
f ( x) dx +
+
c
f ( x) dx.
Observaciones
i.
El significado de la definicin iii es el siguiente: si las integrales impropias
f ( x) dx y
+
c
f ( x) dx son convergentes, siendo c cualquier nmero
real, entonces la integral impropia
f ( x) dx es convergente y su valor es
la suma de las dos integrales impropias; pero si al menos una de las dos
integrales impropias de la derecha es divergente, entonces la integral
ii.
f ( x ) dx es divergente.
Cuando f ( x) 0 y la integral impropia
+
a
f ( x) dx es convergente, en-
tonces el valor de dicha integral corresponde al rea de la regin acotada

por la curva y = f (x), el eje x y la recta x = a.
175

Ejemplo 1
Analice la convergencia o divergencia de las siguientes integrales impropias:
a.
+
0
1
dx
1 + x2
b.
1
dx
1 + x2
c.
1
dx
1 + x2
Solucin
a.
De acuerdo con la definicin i,
+
0
1
1
dx = lim
dx, si dicho lmite existe.
2
0
+
1 + x
1 + x2
Pero
1
dx = tan 1 x]0 = tan 1 tan 1 0 = tan 1 .
1 + x2
De esta forma,
1
1
dx = lim
dx = lim (tan 1 ) =
.
2
2
0
+
+
2
1 + x
1 + x
Esto significa que la integral impropia es convergente y se puede escribir:
b.
+
0
dx =
.
2
2
1 + x
De acuerdo con la definicin ii,

0
1
1
dx = lim
dx, si dicho lmite existe.
2
1 + x
1 + x 2
Pero
1
dx = tan 1 x]0 = tan 1 0 tan 1 = tan 1 .
1 + x2
De esta forma,
0
1
1
dx = lim
dx
2
1 + x
1 + x2

.
= lim ( tan 1 ) = =
+
2
2
176

Esto significa que la integral impropia es convergente y se puede escribir:
c.
dx =
.
2
2
1 + x
De acuerdo con la definicin iii,
1
dx =
1 + x2
1
dx +
1 + x2
+
0
dx =
+
= .
2
2
2
1 + x
El siguiente ejemplo ser de gran utilidad en el trabajo con series numricas ya que
1
permite determinar los valores para los cuales la llamada serie-p p es con n =1 n
vergente o divergente.
Ejemplo 2
Determine los valores de p para los cuales la integral impropia
+
1
1
dx converge.
xp
Solucin
De acuerdo con la definicin i,
+
1
1
1
dx = lim p dx.
p
1
+
x
x
Pero
1
(1 p 1)
1
p
=
dx
xp
ln
si
p 1
p =1
As que:
1.
Si p = 1, entonces
2.
+
1
1
1
dx = lim p dx = lim (ln ) = + .
p
1
+
+
x
x
Si p > 1, entonces
+
1
1
1
1
1
(1 p 1) =
dx = lim p dx = lim
p
+ 1 x
+ 1 p
x
p 1 , puesto que
lim 1 p = 0 . (Como p > 1 , 1 p < 0 y 1 p 0. cuando +)

177

3.
Si p < 1, entonces
1
1
1
(1 p 1) = + , puesto que
dx = lim p dx = lim
p
1
+
+
1 p
x
x
lim 1 p = + . (Como p < 1 , 1 p > 0 y 1 p + , cuando +)
Del anlisis anterior se puede concluir que la integral impropia
+
1
1
dx converge
xp
para p >1, y en los dems casos diverge.

El siguiente teorema y su corolario, que se enuncian sin demostracin, son tiles
porque en muchos casos permiten decidir si una integral impropia es convergente o
no.
Teorema 1
Sean f y g dos funciones integrables en su dominio, tales que 0 f ( x) g ( x)
para todo x a. Por tanto,
1.
Si
ms
2.
Si
+
a
+
a
+
a
g ( x) dx converge, entonces
f ( x) dx
+
a
+
a
f ( x) dx tambin converge, y ade-
g ( x) dx.
f ( x) dx diverge, entonces
+
a
g ( x) dx tambin diverge.
La parte 1 de este teorema puede interpretarse geomtricamente as: si el rea de la

regin bajo la grfica de g(x) es un valor finito, tambin tomar un valor finito el rea
de la regin bajo la grfica de f (x).
Corolario
Sean f y g dos funciones integrables en su dominio, tales que f ( x) 0 , g ( x) 0
para todo x a, y adems lim
x +
1.
Si C 0, las integrales
f ( x)
= C. Entonces:
g ( x)
+
a
f ( x) dx y
+
a
g ( x) dx ambas convergen o
ambas divergen.
2.
Si C = 0 y la integral
tambin converge.
178
+
a
g ( x) dx converge, entonces la integral
+
a
f ( x) dx

Ejemplo 3
Analice la convergencia o divergencia de la siguiente integral impropia:
+
1
1
dx.
x (1 + x 2 e x )
2
Solucin
Para x 1 , e x 1 , as que 0 x 2 1 + x 2 e x , lo cual implica que
0 x 4 x 2 (1 + x 2 e x ),
de donde
1
1
4.
x 2 (1 + x 2 e x )
x
Ahora,
+
1
1
1
dx = (ejemplo 2, parte 2).
3
x4
Entonces, de acuerdo con la parte 1 del teorema 1, se puede concluir que
+
1
1
dx converge, y adems 0
x 2 (1 + x 2 e x )
+
1
1
1
dx .
3
x 2 (1 + x 2 e x )
Ejemplo 4
Demuestre que para cada s la integral impropia
+
1
e x x s dx es convergente.
Solucin
Para la demostracin se utiliza el corolario del teorema 1 en su parte 2.
Sea g ( x ) = x 2 y f ( x ) = e x x s para x 1.
Pero,
xs+2
= 0.
x + e x
lim
En efecto,
lim
x +
f ( x)
e x x s
xs+2
= lim
= lim x
2
x + x
x + e
g ( x)
(1)
179
xs+2
= 0.
ex
Si s 2, entonces xlim
+
Si s > 2, entonces el lmite xlim

+
xs+2
es de la forma indeterminada .
ex
Como s + 2 es un real fijo, se puede aplicar reiteradamente la regla de LHopital

hasta que el exponente de x sea negativo o cero. En ese momento el numerador es
una constante y el denominador tiende a infinito. En consecuencia,
lim
x +
xs+2
= 0.
ex
(2)
De (1) y (2) se concluye que

lim
x +
f ( x)
= 0.
g ( x)
Adems,
+
1
dx = 1 (convergente),
x2
y por el corolario del teorema 1 (parte 2) se puede concluir finalmente que la integral
impropia
g ( x) dx =
+
1
x 2 dx =
e x x5 dx es convergente para todo s .
A continuacin se definir el segundo tipo de integrales impropias.

La particularidad de este tipo de integrales es la discontinuidad infinita que presenta el integrando en algn punto del intervalo cerrado [a, b].
17.2 Integrales impropias tipo II

A este tipo pertenecen integrales de la forma
b
a
f ( x) dx, donde f (x) presenta una
discontinuidad infinita en [a, b], es decir, f (x) se hace infinita en algn punto del
intervalo [a, b].
Se presentan varios casos, dependiendo del punto donde el integrando se hace
discontinuo.
Caso 1. La funcin f presenta discontinuidad infinita en x = a lim+ f ( x ) =
xa
(figura 17.1a) .
180
Figura 17.1
Definicin
b
Si lim+ f ( x) dx = lim+
b
a
b
a +
f ( x) dx existe, se dice que la integral impropia
f ( x) dx es convergente, y en este caso se puede escribir:
f ( x) dx = lim+ f ( x) dx = lim+
a
b
a +
f ( x) dx.
Caso 2. La funcin f presenta discontinuidad infinita en x = b lim f ( x) =

x b
(figura 17.1b) .
Definicin
Si lim f ( x) dx = lim+
b
b
a
b
a
f ( x) dx existe, se dice que la integral impropia
No siempre
f ( x) dx es convergente, y en este caso se puede escribir:
b
a
f ( x) dx = lim f ( x) dx = lim+
b
b
a
Precaucin sobre integrales

impropias
f ( x) dx = lim f ( x) dx

aunque es muy tentador escribirlo. En

algunas ocasiones el lmite de la derecha
existe para algunas integrales impropias
divergentes como sucede por ejemplo
con la funcin f (x) = x.
f ( x) dx.
x dx = 0,
Se puede probar que lim

sin embargo la integral impropia
Caso 3. La funcin f presenta discontinuidad infinita en x = a y en

x = b lim+ f ( x ) = lim f ( x ) = (figura 17.2a).
xa
x b
x dx
diverge.
(Tomado de La precaucin sobre
integrales impropias, pgina 526 del
texto Clculo de Smith y Minton)
181

En este caso, y de acuerdo con las propiedades de la integral definida, la integral
impropia
b
a
b
a
f ( x) dx puede escribirse en la forma:

c
f ( x) dx = f ( x) dx + f ( x) dx ,
(1)
siendo c un nmero real tal que a < c < b, transformando as la integral inicial en la
suma de dos integrales impropias cuya convergencia o divergencia corresponde,
respectivamente, a las definiciones de los casos 1 y 2 inmediatamente anteriores.
Si alguna de las integrales impropias de la derecha de (1) es divergente, entonces la
integral impropia
b
a
f ( x) dx es divergente.
Figura 17.2
Caso 4. La funcin f presenta discontinuidad infinita en x = c, con c , tal que

a < c < b lim f ( x) = (figura 17.2b).
xc
En este caso, y de acuerdo con las propiedades de la integral definida, la integral
impropia
b
a
b
a
f ( x) dx puede escribirse en la forma:

c
f ( x) dx = f ( x) dx +
a
b
c
f ( x) dx,
(2)
transformando as la integral inicial en la suma de dos integrales impropias cuya

convergencia o divergencia corresponde, respectivamente, a las definiciones de
los casos 2 y 1 inmediatamente anteriores.
Si alguna de las integrales impropias de la derecha de (2) es divergente, se dice
entonces que la integral impropia
182
b
a

Observacin
Si la funcin f presenta un nmero finito de discontinuidades infinitas en los pun, cn 1 , cn , donde a < c1 < c2 <
tos c1 , c2 ,
propia
< cn 1 < cn < b, entonces la integral im-
f ( x) dx se transforma en una suma finita de integrales impropias, a sa-
ber:
b
a
f ( x) dx =
c1
a
f ( x) dx +
c2
c1
f ( x) dx +
cn
cn1
f ( x) dx + f ( x) dx, (3)
c
n
cuya convergencia o divergencia se analiza de acuerdo con el caso 1, 2, 3 y 4 que

corresponda de los mencionados anteriormente.
Si al menos una de las integrales impropias de la derecha de (3) es divergente, se
dice entonces que la integral impropia
b
a
Ejemplo 5
1
1
1
dx.
x2
Solucin
Como en x = 0 (punto interior del intervalo [1,1] ) la funcin f ( x) =
1
se hace
x2
infinita, se tiene, de acuerdo con el caso 4, que
1
1
0 1
1 1
1
dx =
dx + 2 dx.
2
2
1
0
x
x
x
Pero
1
1
1
1
dx = lim
dx = lim = lim + 1 = +.
2
2
1
0
0
0
x
x
x 1

Igualmente,
1
0
1 1
1
1
1
dx = lim+ 2 dx = lim+ = lim+ 1 + = +.

2
0
0
0
x
x
x

183
Es decir, ambas integrales divergen a +, y en consecuencia la integral impropia

dada diverge.
Obsrvese que si no se tiene en cuenta la discontinuidad de la funcin en x = 0 y se
evala la integral directamente, se obtiene:
1
1
1
1
dx = = 2,
2
x
x 1
lo que es un absurdo puesto que si f ( x) =
1
1
1
> 0, entonces,
x2
1
dx > 0.
x2
Ejemplo 6
1
0
1
1 x2
dx.
Solucin
1
Como en x = 1 la funcin f ( x) =
se hace infinita, se tiene, de acuerdo con
1 x2
la definicin del caso 2, que
1 x
dx = lim
1
dx = lim sen 1 x = sen 1 1 = ,

0
1
2
1 x
lo cual indica que la integral impropia es convergente.
Ejemplo 7
Demuestre que para cada s > 0 la integral
1
0
e t t s 1 dt es convergente.
Solucin
Ntese, en primer lugar, que la integral
t
s 1
que la funcin f (t ) = e t =
184
1
0
e t t s 1 dt es una integral impropia puesto
et
se hace infinita en t = 0.
t1 s
Considrese entonces la integral

cambio de variable t =
1
x
e t t s 1 dt =
e t t s 1 dt , con x > 0, y en la cual al hacer el
1
, se obtiene:
u
1/ x
1
e1/ u u s 1 du (compruebe el resultado).
Analcese entonces la integral impropia

Como e
1
u
+
1
1 para u 1, entonces 0 e
sabe que la integral impropia
+
1
1
u
e 1/ u u s 1 du.
u s 1 u s 1 , y por el ejemplo 2 se
1
du converge para (s + 1) > 1, es decir,
u s +1
converge para s > 0.
De esta forma, de acuerdo con la parte 1 del teorema 1, se deduce que la integral
impropia
+
1
1
u
u s 1 du tambin converge para s > 0, y en consecuencia su
integral impropia equivalente
1
0
e t t s 1 dt converge para s > 0.
Observacin
Como
1
0
e t t s 1 dt converge para s > 0 y la integral
+
1
et t s 1 dt converge para
todo s (ejemplo 4), se concluye que la integral impropia
+
0
e t t s 1 dt converge
para s > 0. A esta integral se le conoce como funcin gamma y se denota por ( s );
es decir,
( s ) =
+
0
e t t s 1 dt , s > 0.
Ejemplo 8
Use la definicin de la funcin gamma para demostrar las siguientes propiedades
concernientes a ella.
a.
(1) = 1.
b.
( s + 1) = s ( s ), s > 0.
c.
(n + 1) = n !, para n N.
185

Solucin
a.
De acuerdo con la definicin de la funcin gamma, se tiene:
(1) =
b.
( s + 1) =
+
0
+
0
e t t11 dt = et dt = lim et dt = lim 1 e = 1.

0
+ 0
+
et t ( s +1) 1 dt =
+
0
et t s dt = lim et t s dt.
+ 0
Para calcular la ltima integral se usa integracin por partes, esto es,
sea u = t s y dv = e t dt.
Entonces du = st s 1 dt y v = e t .
De esta forma,
e t t s dt = et t s + s et t s 1 dt.
s
s
lim e s = 0 (usando la regla de
Como e t 0 = e y +
LHopital), se tiene entonces que:
lim
e t t s dt = lim e s + s e t t s 1 dt
+
= 0 + s lim
e t t s dt = s ( s ).
En consecuencia, ( s + 1) = s ( s ).
c.
Al reemplazar n por s en la conclusin de la parte b se obtiene

(n + 1) = n (n).
Al utilizar en forma reiterada en la ltima igualdad la conclusin de la

parte b, se puede escribir entonces:
(n) = ((n 1) + 1) = (n 1) (n 1).
(n 1) = ((n 2) +1) = (n 2) (n 2),..., (3) = 2(2) = 2(1+1) = 21.
Luego
(n + 1) = n(n 1)(n 2) 2 1 = n !
Teniendo en cuenta b se deduce que:
186
+
0
e x x n dx = n !
Mdulos 12 al 17
I.
Notacin sigma
En los ejercicios 1 a 5 escriba en forma de sumatoria la suma dada.
1.
4 + 4 + 4 + 4 + 4 + 4 + 4.
2.
1 + 5 + 9 + 13 + 17.
3.
1 1 1 1 1
+ + + + .
4 5 6 7 8
4.
ln 4 + ln 6 + ln 8 + ln 10.
5.
1 + 3 2 + 4 3 + 5 4 + 6 5.
6.
Suponga que
10
10
10
i =1
i =1
i =1
f (i) = 8, g (i) = 3 y h(i) = 5.
Calcule el valor de la expresin indicada en los ejercicios a-e.

10
a.
7.
10
[ f (i) + g (i) + h(i)].
b.
i =1
10
10
i =1
i =1
c.
3 [ f (i ) + 2g (i )] 3 [2 g (i ) + h(i )].
e.
[ f (i) + 2g (i)] + [2 g (i) h(i)] + 2 [h(i) f (i)] .
d.
10
10
10
i =1
i =1
i =1
[2 f (i) + 3g (i) 3h(i)].

i =1
10
10
i =1
i =1
[ f (i) 2g (i)] + 4h(i).
Calcule el valor de las sumas dadas en los ejercicios a-g.

5
a.
(8 + 3i).
d.
i =1
10
3
m
m +1
(a
k =3
(8 + k
e.
).
k =1
m=1
g.
b.
i=2
1
i
+ i + i 2 .
c.
(1 + i) .
f.
k k + 1 .
i =1
40
k =1
ak 1 ).
Elementos
de clculo integral
y series 187
Captulo
3: bsicos
Integral
definida
8.
Demuestre la siguiente frmula:

n
i =1
r r n +1
; r 1.
1 r
n
(Ayuda: llame S =
= r + r 2 + r 3 + ... + r n y considere la diferencia S rS ).
i =1
9.
En los literales a-f evale las sumas dadas.

4
a.
(k + k
).
b.
k =2
d.
10.
(2
j =2
(i + 1) .
2
e.
i =1
(2
r 1
(1) k +1
.
k
k =1
7
j 1).
c.
f.
2 3
2r ).
r =1
j =1
i =1
Determine para cul(es) de los literales a-d se verifica la igualdad:

n+3
a.
c.
(i + 3) = i.
i =1
i=4
k =0
k =1
j =1
j =1
b.
(2 + j ) = 2 + j.
d.
ar2 = ar .
r =1
r =1
ak = ak .
11.
n
n n
a
b
Demuestre que i j = ai . b j .
j =1 i =1
i =1 j =1
12.
a.
Si
(k + 1) = (k
3
k =1
k =1
n +1
(k + 1) = k
3
k =1
k =1
, demuestre que
k =2
n(n + 1)(2n + 1)
.
6
n
k =1
k =1
n(n + 1)(2n + 1)
.
6
Demuestre las partes i, iii, iv y v del teorema 1 del mdulo 12.
Ejercicios de los mdulos 12 al 17
188
3
3
2
Partiendo de la igualdad [k (k 1) ] = [3k 3k + 1] demuestre que
k
13.
+ 3k 2 + 3k + 1), y si adems
k =1
k
b.
II.
Particin de un intervalo
1.
Dadas las siguientes particiones:
P1 = {0, 1 2, 5 4, 9 4, 3} una particin de [0,3] ;

P2 = {1,5 3,9 4,8 3,3} una particin de [1,3] ;
P3 = {0, 1 2, 3 4, 5 4, 3 2, 9 4, 3} una particin de [0,3];

P4 = {1, 1 3, 1 2, 1,5 4, 2} una particin de [1, 2] :
a.
Determine los subintervalos en los cuales cada particin divide al intervalo dado. Encuentre
P1 , P2 , P3 y P4 .
b.
2.
Seleccione dos particiones del intervalo [0,3] , tales que una de ellas sea ms refinada que la otra.
Sea la funcin f ( x) = x definida en el intervalo [0,1] y sea P = {0, 1 4, 1 3, 1 2, 2 3, 3 4, 1} una particin de [0,1] .
a.
Halle los subintervalos en los cuales P divide al intervalo [0,1] . Cul es la norma de la particin?
b.
Si M k y mk representan el mximo y mnimo valor de f ( x) en el k-simo subintervalo, respectivamente, halle

6
M
k =1
3.
III.
xk y
m x .
k =1
Sea P = { x0 , x1 , x2 ,, xn } una particin de [ a, b] . Demuestre que:

a.
P1 = { x0 + c, x1 + c, , xn + c} una particin de [a + c, b + c].
b.
P2 = {kx0 , kx1 , , kxn } una particin de [ka, kb], si k > 0.
Integral de Riemann
En los ejercicios 1 a 7 use la definicin de la integral definida (segn Riemann) para calcular
b
a
f ( x) dx, siendo f (x) la
funcin dada, tomando una particin regular del intervalo [a, b] y eligiendo las ti como se enuncia en cada caso.
1.
f ( x) = x en el intervalo [1, 3] ; ti : extremo derecho del i-simo subintervalo (rectngulos circunscritos).
2.
f ( x) = 2x + 1, en el intervalo [0, 5]; ti : extremo izquierdo del i-simo subintervalo (rectngulos inscritos).
Elementos
de clculo integral
y series 189
Captulo
3: bsicos
Integral
definida
3.
f ( x) = x2 , en el intervalo [1, 4]; ti : extremo derecho del i-simo subintervalo.
4.
f ( x) = 2x + 3, en el intervalo [0, 4]; ti =
5.
f ( x ) = x 2 1, en el intervalo [ 2]; ti = 1 +
6.
f ( x) = 6 x, en el intervalo [1, 4]; ti : extremo derecho del i-simo subintervalo (rectngulos inscritos).
7.
f ( x) = 6 x, en el intervalo [0, 4]; ti : extremo izquierdo del i-simo subintervalo (rectngulos

circunscritos).
8.
Demuestre, usando la definicin de la integral definida, que:
b
a
4i
.
n
3i
.
n
e x dx = eb e a .
(Ayuda: tome una particin regular del intervalo [a, b], ti : extremo izquierdo del i-simo subintervalo. Use para
la suma el ejercicio nmero 8 del apartado I Notacin sigma y en el lmite use la regla de LHopital.)
IV.
Propiedades de la integral definida y teorema del valor medio

1.
En los literales a-i coloque una V o una F segn sea verdadero o falso el enunciado correspondiente.
Justifique su respuesta.
a. ______ Si f ( x) y g ( x) son integrables en [a, b], entonces su suma es integrable en [a, b], y la integral
de la suma es la suma de las integrales de cada funcin.
b. ______ Si f ( x) y g ( x) son integrables en [a, b], entonces su producto es integrable en [a, b], y la
integral de su producto es el producto de las integrales de cada funcin.
c. ______ Si f ( x) y g ( x) son integrables en [a, b], entonces su cociente es integrable en [a, b], y la integral
de su cociente es el cociente de las integrales de cada funcin.
d. ______ Si f ( x) y g ( x) son integrables en [a, b] y f ( x) g ( x) para todo x [a, b] , entonces
b
a
f ( x) dx
b
a
g ( x) dx.
e. ______ Si f ( x) es continua y f ( x) 0 para todo x [a, b] , entonces
b
a
f ( x) dx 0.
190
f. ______ Si
g. ______ Si
f ( x) dx 0, entonces f ( x) 0 para todo x [a, b].

f ( x) dx = 0, entonces f ( x) = 0 para todo x [a, b] .
h. ______ Si f ( x) 0 y
i. ______ Si
b
a
f ( x) dx = 0, entonces f ( x) = 0 para todo x [a, b].
f ( x) dx
b
a
g ( x) dx, entonces
b
a
[ f ( x) g ( x)] dx 0.
En los ejercicios 2 a 11 suponga que f (x) y g (x) son funciones continuas en y que adems:
3
1
f ( x) dx = 4;
5
3
f ( x) dx = 3 ;
5
1
g ( x) dx = 2.
Calcule el valor de la expresin indicada:

1
2.
3.
4.
5.
6.
4 f ( x) dx + 4 f ( x) dx 2 g ( x) dx.
f ( x) dx.
1
5
1
1
2 f ( x) dx.
1
5
[ f ( x) 4 g ( x)] dx.
[ f ( x) + g ( x)] dx.
3
7.
8.
9.
10.
3
1
5
1
3
1
5
3
3
f ( x) dx + 4 f ( x) dx.
5
f ( x) dx + 3 g ( x) dx + 3g ( x) dx.
2
[2 f ( x) + g ( x)] dx + g ( x) dx.
3
[3 f ( x) + 4 g ( x)] dx + 4 g ( x) dx.
1
11.
12.
Sean f ( x) y g ( x) dos funciones tales que
[2 f ( x) + 7g ( x)] dx [4 f ( x) 7 g ( x)] dx.
Calcule
1
7
4
1
f ( x) dx = 3,
7
4
f ( x) dx = 2 y 3g ( x) dx = 6.
1
[5 f ( x) + g ( x)] dx.
Elementos
de clculo integral
y series 191
Captulo
3:bsicos
Integral
definida
13.
a.
b.
14.
Calcule
5
0
si 0 x < 1
x
f ( x) = 1
si 1 x 3
x 4 si 3 < x 5
x + 2 si 0 x < 2
f ( x) =
6 x si 2 x 5
En los literales a-f halle el valor de cada una de las siguientes integrales definidas:
2
a.
d.
(x
2
3
15.
f ( x) dx en cada uno de los siguientes casos:
x dx.
) dx
b.
e.
c.
x 1 dx.
f.
(2
a.
c.
e.
b
a
x dx.
x 3 x ) dx .
f ( x) dx M (b a).
b.
(x3 + 8 x 2 5 x + 3) dx.
d.
(3x 2 + 4 x 7) dx.
f.
4 x dx.
3
0
x 2 + 3 dx.
x 1
dx.
x2
( x 2 + 3)1 3 dx.
f ( x) dx
f ( x) dx (sugerencia: f ( x) f ( x) f ( x) ).
16.
Si f es continua en [a, b] , demuestre que
17.
Encuentre el valor de c que satisface el teorema del valor medio para integrales si:
a.
2
1
x 2 dx =
7
.
3
b.
0
2
x 3 dx = 4.
c.
2
0
( x 2 + 3 x + 1) dx =
32
.
3
Para los literales a-e verifique la validez del teorema del valor medio para integrales y determine el valor (s) de C de
la conclusin:
a.
f ( x) = x 2 + 1 en [0, 1].
b.
f ( x ) = x 2 + x + 2 en [ 1, 1].
c.
f ( x ) = 4 3 x 2 en [ 1, 1].
192
En los literales a-f siguientes encuentre un par de valores M y m tal que
m(b a)
18.
x 3 dx.
d.
f ( x ) = e x en [0, 1].
e.
f ( x) = 9 x 2 en [0, 3].
19.
Demuestre que el teorema del valor intermedio garantiza que la ecuacin x3 4 x 2 + x + 3 = 0 tiene una raz
entre 1 y 2.
20.
D un ejemplo de una funcin para la cual f ( x) 0 para todo x de [ a, b] , f ( x) > 0 para algn x de [ a, b]
y adems
21.
b
a
f ( x) dx = 0.
Supngase que f es una funcin para la cual 0 f ( x) 1 si 0 x 1. Demuestre que existe al menos un
nmero c en [0,1] tal que f (c) = c (sugerencia: haga g ( x) = f ( x) x ).
V.
Teoremas fundamentales del clculo

En cada uno de los ejercicios 1 a 6 utilice el primer teorema fundamental del clculo para calcular la derivada que se
indica.
2x
1.
Dx
3.
Dx
5.
Dx
7.
2.
Dx 3 t + 2 dt.
(t 2 + 1) dt.
4.
Dx
3 + t dt.
6.
Dx
4 + t 2 dt.
1+ x 2
5x 7
x+2
x +2x
3
x
x2 + 2
2 x2
8 x2
(t + 2) dt.
1
dt , t > 0.
t
Una funcin F est definida para todo x real por la frmula F ( x) = 3 +
x
0
t
dt. Halle un polinomio
t +1
2
cuadrtico P ( x ) = ax 2 + bx + c tal que: P (0) = F (0), P (0) = F (0) y P (0) = F (0).
8.
Encuentre una funcin f y un valor de la constante c, tal que:
x
c
f (t ) dt = cos x
1
para todo x .
2
En los ejercicios 9 a 22 calcule la derivada de la funcin F(x) dada.

9.
F ( x) =
11.
F ( x) =
13.
F ( x) =
5
1
1
x
1 + t + t 2 dt.
10.
F ( x) =
12.
F ( x) =
14.
F ( x) = x et dt.
sen 2 t dt + cos 2 t dt.
x
2
(sen 4 t 2 ) dt.
x
4
(sen t 2 ) 4 dt.
e4t dt.
x
Elementos
de clculo integral
y series 193
Captulo
3:bsicos
Integral
definida
15.
17.
F ( x) =
19.
F ( x) =
21.
F ( x) =
x2
1 + t 2 dt .
x
x2
cos u du.
F ( x) =
x3
3
x2
2
3
x2
16.
t 2
F ( x) =
1+ x
1 x
xet dt.
3x
u 3 + 2 du
18.
F ( x) =
20.
F ( x) =
x
.
1
3 x2 1 + u 4 dt
22.
F ( x) =
g (t ) dt f (t ) dt.
1
2x
x2 + 1
dt
tet dt
.
t 2 et dt
En los ejercicios 23 a 28 calcule el lmite indicado usando la regla de LHopital.
23.
25.
lim
x
0
x 0
lim
x 0
sen t
dt
t
.
x
3x
x
0
e u du
2
24.
lim
26.
lim
28.
lim
1 + t 2 dt
x2 1
x 1
x
1
x 1 + t 2 dt
.
x2 1
x 1
27.
lim
29.
Determine los intervalos donde crece y decrece, as como tambin los extremos relativos, de la funcin:
x
0
t 1 + t 3 dt
x 0
8x
f ( x) =
30.
1 x 2
3
x
0
(1 cos t ) dt
.
x3
x 0
t
dt.
1+ t2
Determine los intervalos de concavidad de la grfica, as como los puntos de inflexin, de la funcin:
x
f ( x) = (t 2 2t + 1)et dt.
1
31.
En los literales a-t evale cada una de las siguientes integrales definidas:
5
a.
d.
g.
b.
x 3 dx.
e.
dy
.
( y + 2)3
h.
(3x 2 + 5 x 1) dx.
dy
.
( y + 2)3
x x dx.
x dx
.
(3 x 2 1)3
f.
i.
194
c.
x dx
.
(3x 2 1) 3
(3x 2 + 5x 1) dx.
5
x 9 x 2 dx.
32.
n.
m.
p.
q.
r.
4+ x
s.
x
dx , haciendo w = 3x + 1.
(3x + 1) 2
t.
5 + 4x + 9
x sen ( x 2 ) dx.
e 4 sen 3 x cos 3 x dx.
3 + x 1
k.
j.
t ( t + 1)3
dt.
1
dx.
x (3ln x + 4)
l.
o.
1 1
1 + 2
t t
dt.
dx
e4 x
.
x
dx , haciendo t 2 = x 1.
3x + 1
dx , haciendo u = 7 x + 8.
7x + 8
dx , haciendo
x = u.
dx , haciendo
4 x + 9 = u.
La ley de accin de masa en qumica resulta de la ecuacin diferencial:

dx
= k (a x)(b x); k > 0, a < 0, b > 0,
dt
donde x es la cantidad de sustancia en el momento t que resulta de la reaccin de otras dos. Suponga que
x = 0 cuando t = 0.
33.
i.
Resuelva esta ecuacin diferencial en el caso en que b > a.
ii.
Demuestre que lim x(t ) = a (si b > a).
iii.
Suponga que a = 2 y b = 4 y que se forma 1 g de la sustancia en 20 minutos. Cunto habr en 1 hora?
iv.
Resuelva la ecuacin diferencial si a = b.
En muchos problemas de crecimiento de la poblacin hay una cota superior que no puede rebasarse.
Supongamos que la Tierra no soporta una poblacin de mas de 16.000 millones y que haba 2000 millones
de habitantes en 1925 y 4000 millones en 1975. Entonces, si y (t ) es la poblacin en t aos despus de 1 9 2 5 ,
un modelo apropiado para sta es la ecuacin diferencial:
dy
= Ky(16 y).
dx
Elementos
de clculo integral
y series 195
Captulo
3:bsicos
Integral
definida
34.
i.
Resuelva esta ecuacin diferencial.
ii.
Encuentre la poblacin en el ao 2015.
iii.
Cundo la poblacin ser de 9000 millones?
Los bioqumicos han propuesto el modelo

dy
= k ( A y )( B + y )
dx
como un modelo para la produccin de la tripsina a partir del tripsingeno en la digestin, donde k > 0, A
es la cantidad inicial de tripsingeno y B es la cantidad inicial de tripsina. Resuelva la ecuacin diferencial.
35.
La ecuacin diferencial
dy
= k ( y m)( M y ), con k > 0; 0 m < y0 < M ,
dx
ha sido utilizada para modelar algunos problemas de crecimiento. Resuelva esta ecuacin diferencial y
y (t ) .
encuentre lim
t
36.
Si m, n son enteros positivos, demuestre que:

0 si n m
si n = m
sen mx sen nx dx =
cos mx cos nx dx ; m n.
37.
Calcule
38.
Sea f ( x) = an sen (nx) . Utilice el ejercicio 36 para comprobar cada una de las siguientes integrales:
n =1
a.
b.
am
f ( x) sen ( mx) dx =
si m N
si m > N
f 2 ( x) dx = an 2 .
n =1
Las integrales de este tipo aparecen en las llamadas series de Fourier, que tienen aplicaciones en el calor,
la vibracin de una cuerda y otros fenmenos fsicos.
Recuerde que:
1
sen sen = [cos ( ) cos ( + )],
2
1
cos cos = [cos ( + ) + cos ( )].
2
196
39.
Teorema de Pitgoras para integrales definidas

Sean f, g y h tres funciones que satisfacen las siguientes condiciones:
g ( x) =
a c
b c
f x y h( x ) = f x ,
c a
c b
siendo a, b, c enteros positivos que cumplen a 2 + b 2 = c 2 .

Demuestre que:
a
0
g ( x) dx + h( x) dx = f ( x) dx.
Esto indica que las reas de regiones similares construidas en dos catetos de un tringulo rectngulo es
igual al rea construida sobre la hipotenusa.
Geomtricamente es como se muestra en la figura 1:
Figura 1
V.
1.
Analice la convergencia o divergencia de las siguientes integrales impropias (a-n). Para las convergentes
determine su valor.
+
a.
d.
g.
j.
m.
e.
h.
dx.
k.
e x sen x dx.
n.
x dx
9+ x
b.
x 2 e x dx.
dx
x(ln x) 2
x
x +4
2
xe x dx.
c.
e3 x dx.
f.
dx
x(ln x)
i.
x
dx.
( x + 9) 2
l.
dx
.
x5
dx
3x
dx
.
(2 x 1)3
1
dx.
x + 2x + 5
2
( x sen x) dx.
Elementos
de clculo integral
y series 197
Captulo
3:bsicos
Integral
definida
2.
3.
Analice la convergencia o divergencia de las siguientes integrales impropias del tipo II. Para las convergentes
determine su valor.
2
a.
d.
g.
dx
.
( x 1)1 3
dx
b.
1 x
dx
.
(3 x) 2 3
e.
dx
h.
2x x
dx
.
1 x 4
1
x dx
.
( x 4) 2 3
2
c.
f.
i.
x
dx.
9 x2
3
dx.
x + x2
2
dx
x x2 1
La funcin gamma ( ) est definida por:
( x) =
4.
e u u x 1 du; x > 0 .
eu u x dx.
a.
Demuestre que ( x + 1) =
b.
Integrando por partes, muestre que ( x + 1) = x( x).
c.
Demuestre que (1) = 1.
d.
Usando los resultados b y c demuestre que si n
, entonces (n + 1) = n !
Usando la funcin gamma calcule las siguientes integrales impropias:

a.
+
0
e x dx.
3
b.
x n e h x
2 2
+
0
xe x dx.
3
c.
+
0
e h x dx (h constante).
2 2
n + 1
2
dx = n +1 ; n > 1 .
2h
5.
Demuestre que
6.
En la teora electromagntica, el potencial magntico u de un punto sobre el eje de una bobina circular est
dado por:
u = Ar
dx
,
( r + x 2 )3 2
2
donde A, r y a son constantes. Evale u.
Demuestre que la integral impropia
7.
Demuestre que la integral impropia
8.
9.
Pruebe que
10.
Discuta la verdad o falsedad de la siguiente igualdad. Razone su respuesta.
x 3 dx diverge, pero lim
x 3 dx = 0.
x e x dx converge a 0 (cero).
2
x e x dx = 0 para todo R 0.
2
f ( x) dx = lim
R R
f ( x) dx.

Calculo Integral Guia

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Calculo Integral Guia

Cargado por

Copyright:

Formatos disponibles

3

Captulo 3: Integral definida

Notacin sigma ( ) y particin de

Carl Friedrich Gauss

Objetivos del mdulo

2. Demuestre que si P y Q son dos particiones de [a, b], y si Q es una particin ms

Carl Friedrich Gauss, matemtico alemn

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida

12.1 La notacin sigma ( ) y propiedades de la

dominio de f . Entonces el smbolo

donde k se denomina ndice de la sumatoria, m es el lmite inferior y n es el lmite

(definicin por recurrencia)

f (k ) se puede sustituir el ndice k por cualquier otro ndice i que

no aparezca en ella, sin que se altere el valor de la sumatoria; as por

Es este caso f (i ) = 2i ; luego

En este caso f ( j ) = j ( j + 1)( j + 2); luego

Mdulo 12: Notacin sigma ( ) y particin de un intervalo

De otra manera, se puede observar que los subndices de b varan de 2 a 5 y los de

a1b2 + a2 b3 + a3b4 + a4 b5 = ak 1bk .

En general, existen muchas formas para expresar una misma suma.

(propiedad aditiva sobre la funcin)

(propiedad distributiva generalizada)

(sumatoria de una constante)

(propiedad aditiva de los lmites)

f ( j p ) (desplazamiento del ndice)

Vea el mdulo 12 del programa

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida

[ f (k ) f (k 1)] = [ f (m) f (m 1)] + [ f (m + 1) f (m)] + [ f (m + 2) f (m + 1)]

+ + [ f (n 1) f (n 2)] + [ f (n) f (n 1)]

La demostracin de las partes i, iii, iv y v se deja como ejercicio para el lector.

Mdulo 12: Notacin sigma ( ) y particin de un intervalo

k 2 = (n + 1)2 1 (propiedad telescpica aplicada a

Las frmulas siguientes, numeradas para referencias posteriores, tambin son de

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida

n(n + 1)(6n3 + 9n2 + n 1)

La frmula F.12.1.1 fue demostrada en el ejemplo 3; las dems pueden demostrarse

12.2 Particin de un intervalo cerrado

Dos particiones P y Q de un mismo intervalo [ a, b] son diferentes si

Toda particin de [a, b] contiene por definicin al menos los puntos a y

Toda particin P = { x0 , x1 , , xn 1 , xn } de [a, b] divide a dicho intervalo

En la figura 12.1 aparece una particin P = { x0 ,, xn } de [ a, b] y los

Mdulo 12: Notacin sigma ( ) y particin de un intervalo

La longitud del subintervalo I k = [ xk 1 , xk ] , denotada por xk , se define

Sea P una particin de [ a, b] . La norma de la particin, denotada por || P || ,

xk > 0 para todo k = 1, 2,3,, n , puesto que xk > xk 1 . En consecuen-

xk || P || para todo k = 1, 2,, n.

Si P y Q son dos particiones de [ a, b] , y si Q es una particin ms refinada

Decir que || P || 0 es equivalente a decir que n + .

Captulo 3: Integral definida

Los subintervalos en los cuales P divide al intervalo [1, 3] son:

I1 = [1, 0]; I 2 = [0, 0.5]; I 3 = [0.5, 2]; I 4 = [2, 2.4]; I 5 = [2.4, 3] .

Las longitudes de cada subintervalo son:

Entonces la particin P de [ a, b] ser P = { x0 , x1 , x2, , xn } , en donde

Mdulo 12: Notacin sigma ( ) y particin de un intervalo

= (b a) es una constante, se sigue entonces que

lim xk = lim (b a) = (b a).

Elementos bsicos de clculo integral y series

Integral segn Riemann

13.1 rea bajo una curva a travs de sumas superiores e inferiores

Objetivos del mdulo