Está en la página 1de 41

Captulo 6

La integral de Riemann
Vamos a dar una denicin precisa de la integral de una funcin denida en un intervalo. Este
tiene que ser un intervalo cerrado y acotado, es decir [a, b] con a < b R, y la denicin que daremos
de integral solo se aplica a funciones acotadas, y no a todas, sino a las funciones que llamaremos
integrables.
En el siguiente captulo veremos cmo, en un sentido ms amplio, podemos hablar de integrales
de funciones no acotadas o denidas en intervalos no acotados.
Seguimos bsicamente el desarrollo que puede verse, entre otros muchos textos, en [ROSS, cap. VI,
pg. 184 y sigs.] o en [BARTLE-SHERBERT, cap. 6, pg. 251 y sigs.]. Como complemento puede con-
sultarse [GUZMN, cap. 12]. La evolucin histrica de la integral est muy bien contada (sobre todo la
aportacin de Newton y Leibniz) en [DURN]; de carcter ms tcnico es el libro [GRATTAN-GUINNESS].
6.1. Denicin (de Darboux) de la integral de Riemann
6.1.1. Denicin de integral
Denicin 6.1.1. Una particin de un intervalo [a, b] es un conjunto nito de puntos de [a, b] que
incluye a los extremos. Una particin P la representamos ordenando sus puntos de menor a mayor,
comenzando en a y terminando en b:
P = {x
i
}
n
i=0
{a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b}.
El conjunto de las particiones de [a, b] lo indicamos con P([a, b]). Una particin como la indicada
divide el intervalo [a, b] en n subintervalos [x
i1
, x
i
], cada uno de longitud x
i
x
i1
.
Denicin 6.1.2 (sumas de Darboux). Sea f una funcin acotada denida en [a, b], y sea P
P([a, b]), P {a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b}. Sean, para cada i = 1, . . . , n,
M
i
= sup{f (x) : x [x
i1
, x
i
]}; m
i
=nf{f (x) : x [x
i1
, x
i
]}.
La suma inferior de f asociada a P se dene como
S( f , P) =
n

i=1
m
i
(x
i
x
i1
),
y la suma superior de f asociada a P es
S( f , P) =
n

i=1
M
i
(x
i
x
i1
).
119
120 Captulo 6. La integral de Riemann
a x
1
x
2
. . .
x
n1
b
f (x)
Suma inferior asociada a una particin
a x
1
x
2
. . .
x
n1
b
f (x)
Suma superior asociada a una particin
Observacin. Para cualquier P P([a, b]) tenemos que S( f , P) S( f , P), ya que m
i
M
i
para cada
i. Tambin, poniendo M = sup{ f (x) : x [a, b]}, m =nf{ f (x) : x [a, b]}, se deduce que m(ba)
S( f , P) S( f , P) M(ba) cualquiera que sea la particin P (y por consiguiente, tanto el conjunto
de las sumas superiores como el de las sumas inferiores estn acotados, superiormente por M(ba),
inferiormente por m(ba)).
Nota (relacin entre la integral y la medida de reas). Supongamos que f es una funcin no
negativa y consideremos la regin que delimita su grca con las rectas y =0, x =a y x =b. Si el rea
de dicha regin es A, entonces
S( f , P) A S( f , P),
ya que las respectivas sumas son las reas que obtenemos si cambiamos f en cada [x
i1
, x
i
) por m
i
o
M
i
, y los hemos denido de forma que m
i
f M
i
(de hecho hemos tomado los valores ms ajustados
que cumplen dichas desigualdades).
a x
1
x
2
. . .
x
n1
b
Suma superior, rea y suma inferior
En la gura, se representan en distinto color la diferencia entre la suma superior y el rea A y
la diferencia entre A y la suma inferior. Parece claro que si tomamos una particin sucientemente
nutrida de puntos podemos conseguir que estas zonas sean muy pequeas, de forma que tanto la suma
superior como la inferior sean arbitrariamente prximas al rea A.
6.1. Denicin (de Darboux) de la integral de Riemann 121
Denicin 6.1.3. Dada f acotada en [a, b], se dene su integral inferior en [a, b] como
_
b
a
f = sup{S( f , P) : P P([a, b])},
y su integral superior en [a, b] como
_
b
a
f =nf{S( f , P) : P P([a, b])}.
Notemos que, como consecuencia de la observacin previa, la integral inferior y la superior son
valores reales perfectamente denidos para cualquier funcin acotada en un intervalo cerrado y aco-
tado. No es difcil adivinar que la integral inferior es siempre menor o igual que la superior, pero la
demostracin de este hecho es menos trivial de lo que parece a simple vista. Para probarlo, necesita-
mos un estudio ms detallado de las sumas de Darboux, que posponemos al apartado siguiente.
Denicin 6.1.4. Una funcin f acotada en [a, b] es integrable-Riemann en [a, b] (en el sentido de
Darboux), o simplemente integrable, si se cumple que
_
b
a
f =
_
b
a
f .
En tal caso, al valor comn de dichas integrales se le llama la integral (de Riemann) de f en [a, b], y
se escribe
_
b
a
f .
A veces es cmodo escribir la integral como
_
b
a
f (x)dx, expresando la funcin mediante su va-
lor f (x) en la variable x. En tal caso, es indiferente la letra empleada: el mismo signicado tiene
_
b
a
f (y)dy,
_
b
a
f (z)dz,
_
b
a
f (t)dt, etc.; todos estos smbolos representan la integral de la funcin f en
el intervalo [a, b].
Ejemplo (integral de una funcion constante). Si f (x) = c para todo x [a, b] y P es la particin
trivial {a, b} resulta que S( f , P) = c(ba) = S( f , P). Se comprueba fcilmente que lo mismo sucede
para cualquier otra particin, as que la integral superior y la inferior coinciden con c(ba). Es decir,
_
b
a
cdx = c(ba).
Ejemplo (integral de la funcin identidad). Si f (x) = x para todo x [a, b], su integral superior y
su inferior coinciden con
1
2
(b
2
a
2
). Es decir,
_
b
a
xdx =
1
2
(b
2
a
2
).
La comprobacin de este resultado a partir de la denicin de integral requiere ms esfuerzo del que
cabe suponer (vanse en [BARTLE-SHERBERT, pgs. 257258] los clculos para a = 0, b = 1).
Ejemplo (integral de la funcin cuadrado). Si f (x) = x
2
para todo x [a, b], su integral superior y
su inferior coinciden con
1
3
(b
3
a
3
). Es decir,
_
b
a
x
2
dx =
1
3
(b
3
a
3
).
La obtencin de esta frmula es sorprendentemente complicada. Los detalles del clculo pueden verse
en [ROSS, pg. 186] o [BARTLE-SHERBERT, pg. 258].
122 Captulo 6. La integral de Riemann
Este ejemplo y el anterior ponen de maniesto la necesidad de hallar procedimientos indirectos
de clculo que permitan evaluar cmodamente al menos integrales de funciones tan sencillas como
estas. Veremos algunos ms adelante.
Ejemplo (una funcin acotada que no es integrable). Sea f : [0, 1] R la dada por f (x) = 1
si x Q y f (x) = 0 si x / Q (la funcin de Dirichlet). Por la densidad de los racionales y de los
irracionales, en cualquier intervalo [x
i1
, x
i
], asociado a cualquier particin P, f toma los valores 0
y 1, luego resulta que S( f , P) = 1 y S( f , P) = 0. Por lo tanto la integral inferior vale 0 y la integral
superior vale 1. La funcin de Dirichlet no es integrable-Riemann.
Nota (la integral es el rea?). Dada una funcin f acotada y no negativa, ya hemos visto que
S( f , P) A S( f , P) para cada particin P, si A es el rea de la regin que limita la grca de f . Por
tanto A es una cota superior del conjunto de las sumas inferiores y una cota inferior del conjunto de
las sumas superiores, y entonces
_
b
a
f A
_
b
a
f . (6.1)
Si f es integrable, los dos extremos de (6.1) coinciden con
_
b
a
f , as que el rea A es igual a la integral.
Pero hay que sealar un matiz importante: mientras que la integral es un concepto que hemos denido
a
b
_
b
a
f (x)dx
La integral y el rea
rigurosamente, nos hemos valido de una nocin intuitiva e ingenua de la medida de reas.
6.1.2. Propiedades bsicas de las sumas de Darboux
Lema 6.1.5. Sea f una funcin acotada en un intervalo cerrado y acotado [a, b]. Si P y Q son parti-
ciones de [a, b] y P Q (se dice en tal caso que Q es ms na que P), entonces
S( f , P) S( f , Q) S( f , Q) S( f , P),
y en consecuencia
S( f , Q) S( f , Q) S( f , P) S( f , P).
6.1. Denicin (de Darboux) de la integral de Riemann 123
Demostracin. Basta probarlo en el caso en que Q tiene un elemento ms que P; para el caso general
basta reiterar el razonamiento, aadiendo en cada paso un punto nuevo hasta obtener Q. Ponemos
entonces Q=P{c}, con P {a =x
0
<x
1
<x
2
<. . . <x
n1
<x
n
=b} y Qa =x
0
<. . . <x
k1
<
c < x
k
< . . . < x
n
= b. Se trata de probar que S( f , P) S( f , Q) y S( f , Q) S( f , P).
Sean m
i
los nmos correspondientes a la particin P y sean

1
=nf{ f (x) : x [x
k1
, c]},

2
=nf{ f (x) : x [c, x
k
]}
(ver la gura). Entonces, m
k

1
, m
k

2
. Por lo tanto,
m
k

2
x
k1
c x
k

1
Diferencia entre las sumas inferiores correspondientes a P y Q
S( f , Q) S( f , P) =
1
(c x
k1
) +
2
(x
k
c) m
k
(x
k
x
k1
)
m
k
(c x
k1
+x
k
c) m
k
(x
k
x
k1
) = 0.
Anlogamente, sean M
i
los supremos correspondientes a P y sean
1
= sup{ f (x) : x [x
k1
, c]} y

2
= sup{ f (x) : x [c, x
k
]}. Entonces, M
k

1
, M
k

2
y
S( f , Q) S( f , P) =
1
(c x
k1
) +
2
(x
k
c) M
k
(x
k
x
k1
) 0.
Lema 6.1.6. Sea f una funcin acotada en un intervalo cerrado y acotado [a, b]. Si P y Q son parti-
ciones cualesquiera de [a, b], entonces
S( f , P) S( f , Q).
Demostracin. Por el lema 6.1.5, si tomamos PQ P([a, b]) entonces
S( f , P) S( f , PQ) S( f , PQ) S( f , Q);
la primera desigualdad se da porque P PQ, y la tercera porque Q PQ.
124 Captulo 6. La integral de Riemann
a x
1
x
2
. . .
x
n1
b
Suma inferior y suma superior para particiones distintas
Teorema 6.1.7. Si f es una funcin acotada en [a, b], entonces su integral inferior es siempre menor
o igual que su integral superior:
_
b
a
f
_
b
a
f
Demostracin. Segn el lema 6.1.6, si Q es una particin cualquiera de [a, b],
_
b
a
f = sup{S( f , P) : P P([a, b])} S( f , Q).
Por lo tanto,
_
b
a
f nf{S( f , Q) : Q P([a, b])} =
_
b
a
f .
6.1.3. Existencia de la integral: condicin de Riemann. Integrabilidad de las funciones
montonas y de las funciones continuas
Al abordar la integral de Riemann uno se enfrenta a dos cuestiones. Primero, para una funcin
acotada en un intervalo, se encuentra la cuestin de la existencia de la integral. Segundo, cuando se
sabe que existe la integral, surge entonces el problema de evaluarla ([BARTLE-SHERBERT, pg. 259]).
Para ver si una funcin es integrable, es preciso considerar todas las sumas de Darboux y calcular
la integral superior e inferior? Por suerte, en el siguiente teorema vamos a demostrar que no es nece-
sario: basta probar que hay particiones cuyas sumas de Darboux estn sucientemente prximas. Este
resultado servir adems para deducir que las funciones continuas y las montonas son integrables.
Teorema 6.1.8 (condicin de integrabilidad de Riemann). Una funcin f acotada en [a, b] es inte-
grable en dicho intervalo si y solo si para cada > 0 existe una particin P = P

de [a, b] tal que


S( f , P) S( f , P) < .
Demostracin. Supongamos primero que f es integrable. Como
_
b
a
f es el supremo de las sumas
inferiores y el nmo de las sumas superiores, para > 0 resulta que ni
_
b
a
f /2 es cota superior
6.1. Denicin (de Darboux) de la integral de Riemann 125
de las primeras ni
_
b
a
f +/2 es cota inferior de las segundas, as que existen dos particiones P
1
y P
2
tales que
_
b
a
f /2 < S( f , P
1
), S( f , P
2
) <
_
b
a
f +/2.
Si P = P
1
P
2
entonces S( f , P
1
) S( f , P) y S( f , P) S( f , P
2
), luego
_
b
a
f /2 < S( f , P), S( f , P) <
_
b
a
f +/2
y por tanto S( f , P) S( f , P) < .
Recprocamente, si esto as para alguna P entonces
_
b
a
f S( f , P) < S( f , P) +
_
b
a
f +,
luego 0
_
b
a
f
_
b
a
f < , y si esto es as para todo > 0 entonces
_
b
a
f
_
b
a
f = 0.
Denicin 6.1.9. Dada una particin P P([a, b]), su norma P es el mximo de {x
i
x
i1
: i =
1, . . . , n}.
La norma de una particin es la mayor distancia entre dos puntos consecutivos de la misma.
Grcamente, se trata de la anchura mxima de los intervalos parciales [x
i1
, x
i
]; controla la holgura
de la particin, de modo que cuanto menor sea, ms tupida es la particin, sus puntos estn ms
prximos.
Observacin. Podemos tomar particiones de norma arbitrariamente pequea: para conseguir que la
norma sea menor que un > 0 prejado, basta elegir un n tal que h =
ba
n
< y tomar
P = {a, a+h, a+2h, a+3h, . . . , a+nh = b}.
Teorema 6.1.10 (integrabilidad de las funciones montonas). Toda funcin montona en un inter-
valo [a, b] es integrable.
Demostracin. Supongamos que f es una funcin no decreciente en [a, b]. Entonces f est acotada
(inferiormente por f (a), superiormente por f (b)).
Dada P {a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b}, la monotona dice que, para cada i,
M
i
sup{ f (x) : x [x
i1
, x
i
]} = f (x
i
);
m
i
nf{ f (x) : x [x
i1
, x
i
]} = f (x
i1
).
Por lo tanto,
S( f , P) S( f , P) =
n

i=1
(M
i
m
i
)(x
i
x
i1
) =
n

i=1
( f (x
i
) f (x
i1
))(x
i
x
i1
)
<P
n

i=1
( f (x
i
) f (x
i1
)) =P( f (b) f (a)).
Ahora, dado > 0 basta tomar una particin P de modo que P( f (b) f (a)) < para probar que
se cumple la condicin de integrabilidad de Riemann (teorema 6.1.8).
Si f es no creciente la demostracin es anloga.
126 Captulo 6. La integral de Riemann
a x
1
x
2
. . .
x
n1
b
Suma superior y suma inferior para una funcin montona
Notemos que la idea esencial de la demostracin es que, gracias a la monotona de f , en cada
subintervalo [x
i1
, x
i
] podemos controlar la oscilacin de sus valores (el tamao de M
i
m
i
) a travs
del tamao de la norma de la particin. Esta misma idea es adaptable al caso de que f sea continua,
debido a que f es entonces uniformemente continua.
Teorema 6.1.11 (integrabilidad de las funciones continuas). Toda funcin continua en un intervalo
[a, b] es integrable.
Demostracin. Sea f continua en [a, b]. Notemos que f es acotada por ser continua en el intervalo
cerrado y acotado [a, b], as que tiene sentido considerar su integrabilidad. Adems, el teorema 4.2.18
de Heine dice que es uniformemente continua en [a, b]. Dado > 0, existe por tanto un valor > 0
tal que | f (x) f (y)| <

ba
para cualesquiera x, y [a, b] tales que |x y| < .
Sea P una particin tal que P < , P {a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b}. Si M
i
y m
i
son los correspondientes supremos e nmos en cada [x
i1
, x
i
], por el teorema 4.2.8 de Weierstrass
podemos elegir r
i
, s
i
en dicho intervalo con M
i
= f (r
i
) y m
i
= f (s
i
). Entonces |r
i
s
i
| x
i
x
i1
<,
as que f (r
i
) f (s
i
) <

ba
, y
S( f , P) S( f , P) =
n

i=1
M
i
(x
i
x
i1
)
n

i=1
m
i
(x
i
x
i1
)
=
n

i=1
(M
i
m
i
)(x
i
x
i1
) =
n

i=1
( f (r
i
) f (s
i
))(x
i
x
i1
)
<

ba
n

i=1
(x
i
x
i1
) =

ba
(ba) = .
Por la condicin de integrabilidad de Riemann (teorema 6.1.8), f es integrable.
Pero hay funciones integrables que no son montonas ni continuas. El siguiente resultado propor-
ciona ejemplos sencillos.
Proposicin 6.1.12. Sea f : [a, b] Runa funcin acotada. Si f es integrable en cada intervalo [c, b],
con a < c < b, entonces es integrable en [a, b].
6.1. Denicin (de Darboux) de la integral de Riemann 127
Demostracin. Sea B > 0 una cota de | f | en [a, b]. Dado > 0, tomemos c (a, b) de manera que
c a <

4B
. Como f es integrable en [c, b], en virtud de la condicin de Riemann se puede encontrar
una particin P
b
c
del intervalo [c, b] tal que S( f , P
b
c
)S( f , P
b
c
) <

2
. Aadiendo el punto a a la particin
P
b
c
, obtenemos una particin P de [a, b] para la que
S( f , P) S( f , P) = sup f ([a, c]) (c a) +S( f , P
b
c
) nf f ([a, c]) (c a) S( f , P
b
c
)
B (c a) +S( f , P
b
c
) +B (c a) S( f , P
b
c
)
< 2B (c a) +

2
<

2
+

2
= ,
y en consecuencia f es integrable en [a, b].
Ejemplo. La funcin f : [0, 1] R denida mediante f (0) = 1 y
f (x) = sen
1
x
si 0 < x 1
es integrable-Riemann en [0, 1]. En efecto, claramente est acotada y adems es integrable en cada
intervalo [c, 1], con 0 < c < 1, porque es continua en [c, 1].
Este es un ejemplo interesante de una funcin integrable que no es continua ni montona.
Comentario: discontinuidades de las funciones integrables-Riemann (condicin de in-
tegrabilidad de Lebesgue)
Las funciones continuas son integrables, aunque no todas las funciones integrables son continuas:
valen de ejemplo las funciones montonas con discontinuidades. Pero las funciones integrables no
pueden tener demasiadas discontinuidades, segn demostr Lebesgue. Concretamente:
Teorema 6.1.13 (condicin de integrabilidad de Lebesgue). Una funcin f acotada en [a, b] es
integrable si y solo si para cada > 0 se puede encontrar una sucesin (J
n
) de intervalos tal que:
a) lm
n
n

k=1
|J
k
| < , donde |J
k
| es la longitud del intervalo J
k
;
b) el conjunto de puntos de [a, b] en los que f es discontinua est contenido en
n
J
n
.
Cuando se conozca la medida de Lebesgue, se ver que esto signica que el conjunto de puntos de
discontinuidad de f es de medida nula. Los conjuntos nitos quedan dentro de esta categora; tambin
los conjuntos numerables, es decir, los conjuntos innitos que pueden escribirse en forma de sucesin,
como N, Z o Q.
6.1.4. Sumas de Riemann. Denicin de integrabilidad de Riemann: comparacin con
la de Darboux
El control de las oscilaciones de f a travs de la norma de la particin que hemos visto para
funciones montonas o continuas puede llevarse a cabo para cualquier funcin integrable:
Teorema 6.1.14. Una funcin f acotada en [a, b] es integrable si y solo si para cada > 0 existe un
> 0 tal que toda particin P de [a, b] con norma P < cumple que
S( f , P) S( f , P) < .
128 Captulo 6. La integral de Riemann
Demostracin. Supongamos que f es integrable. Fijado > 0, sea P
0
P([a, b]) tal que
S( f , P
0
) S( f , P
0
) <

2
,
pongamos que P
0
tiene n puntos y sea K > 0 tal que | f (x)| K para todo x [a, b].
Sea P una particin de [a, b],
P {a =t
0
<t
1
< . . . <t
m1
<t
m
= b}.
y tomemos Q=P
0
P. Como mximo, Q tiene n2 puntos ms que P, los de P
0
\{a, b}. Supongamos
que fuese Q = P{c}, con t
j1
< c <t
j
. Entonces sera
S( f , P) S( f , Q) = M
j
(t
j
t
j1
)
1
(c t
j1
)
2
(t
j
c)
donde M
j
,
1
y
2
son los supremos de los valores de f en [t
j1
, t
j
], [t
j1
, c] y [c, t
j
] respectivamente.
Como |M
j
| K, |
1
| K, |
2
| K y 0 <t
j
t
j1
P, deducimos que
S( f , P) S( f , Q) K(t
j
t
j1
) +K(c t
j1
) +K(t
j
c) 2KP.
Reiterando lo anterior (aadiendo cada vez un punto hasta obtener Q) es fcil ver que en general
tenemos
S( f , P) S( f , Q) 2(n2)KP < 2nKP,
y anlogamente se ve que
S( f , Q) S( f , P) < 2nKP.
Tambin tenemos que S( f , Q) S( f , Q) < /2, porque Q es ms na que P
0
. Por lo tanto,
S( f , P) < S( f , Q) +2nKP
< S( f , Q) +/2+2nKP
< S( f , P) +/2+4nKP.
Ahora basta tomar =

8nK
y si P < , entonces S( f , P) S( f , P) < .
El recproco es consecuencia directa de la condicin de integrabilidad de Riemann (teorema 6.1.8).
Denicin 6.1.15. Dada una particin P {a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b} y una funcin
f denida en [a, b], para cada eleccin de valores s
i
[x
i1
, x
i
] se dice que
S =
n

i=1
f (s
i
)(x
i
x
i1
)
es una suma de Riemann de f asociada a P.
Provisionalmente, decimos que f es -integrable o integrable segn la denicin de Riemann
en [a, b] si existe un nmero real R tal que, dado > 0 arbitrario, se puede encontrar un > 0 de
manera que
|S R| <
para cualquier suma de Riemann S de f asociada a una particin P de norma P < . Cuando
esto suceda, decimos que R es la -integral de f en [a, b], y ponemos (provisionalmente) R

=
_
b
a
f .
6.1. Denicin (de Darboux) de la integral de Riemann 129
Observacin. Dado que m
i
f (s
i
) M
i
para cada i, cualquier suma de Riemann asociada a P de
una funcin acotada f cumple que
S( f , P) S S( f , P).
El resultado siguiente prueba que la integral segn la denicin de Darboux y la integral segn la
denicin de Riemann son iguales.
Teorema 6.1.16. Una funcin acotada en un intervalo [a, b] es integrable segn la denicin 6.1.15
de Riemann si y solo si es integrable segn la denicin 6.1.4 de Darboux, y en ese caso las dos
integrales coinciden.
Demostracin. Sea f integrable con la denicin de Darboux y sea > 0. Por el teorema 6.1.14,
existe tal que S( f , P) S( f , P) < siempre que P < ; si S es una suma de Riemann asociada
a P entonces S( f , P) S S( f , P), y como tambin S( f , P)
_
b
a
f S( f , P) concluimos que la
distancia entre S y
_
b
a
f es menor que . Es decir, cualquier suma de Riemann S asociada a una
particin P P([a, b]) con P < cumple que

S
_
b
a
f

< .
Por lo tanto, f es integrable en [a, b] segn la denicin de Riemann, con integral igual a
_
b
a
f .
Para probar el recproco, supongamos que f es integrable segn la denicin de Riemann en [a, b],
con integral R. Dado > 0, si es como en la denicin 6.1.15 y P {a = x
0
< x
1
< x
2
< . . . <
x
n1
< x
n
= b}, P < , podemos tomar s
i
[x
i1
, x
i
] de manera que f (s
i
) > M
i
(1 i n). La
correspondiente suma de Riemann S verica simultneamente
S S( f , P) (ba), |S R| < .
Entonces,
_
b
a
f S( f , P) S +(ba) < R+ +(ba),
y como es arbitrario,
_
b
a
f R.
De manera anloga se prueba que
_
b
a
f R, por lo cual
_
b
a
f =
_
b
a
f = R, f es integrable en el sentido
de Darboux y
_
b
a
f = R.
Corolario 6.1.17. Sea f una funcin integrable en [a, b], (P
n
) una sucesin de particiones de [a, b]
tal que lm
n
P
n
= 0. Si para cada n se considera una suma de Riemann S
n
correspondiente a la
particin P
n
y a la funcin f , entonces
lm
n
S
n
=
_
b
a
f .
Ejemplo. Para toda funcin f integrable en [0, 1], lm
n
1
n
n

k=1
f
_
k
n
_
=
_
1
0
f .
130 Captulo 6. La integral de Riemann
6.2. Propiedades bsicas de la integral de Riemann
6.2.1. Operaciones con funciones integrables
Empezaremos probando la linealidad de la integral. Para ello nos conviene observar antes lo si-
guiente:
Lema 6.2.1. Sea A un conjunto acotado y no vaco de nmeros reales. Entonces:
a) sup(A) =nf A; nf(A) =supA.
b) Para todo > 0 se cumple que sup(A) = supA, nf(A) = nf A.
c) supAnf A = sup{|x y| : x, y A}.
Demostracin. a) Si y = nf A y x A resulta que x y, luego y es cota superior de A, y por
tanto sup(A) nf A. Si s = sup(A), dado x A tenemos que x s, es decir que s x, luego
s es una cota inferior de A y entonces sup(A) nf A, o sea nf A sup(A). Ya tenemos que
sup(A) =nf A, y entonces supA = sup((A)) =nf(A), luego nf(A) =supA.
b) Si s = supA, dado x A tenemos que x s, luego s es una cota superior de A; por
tanto sup(A) supA. Por la misma razn tenemos que supA =sup
1

A
1

sup(A), y entonces
supA sup(A). Por tanto sup(A) = supA. Y de a) se deduce que nf A = sup(A) =
sup(A) =nf(A).
c) Recordemos que, dados dos conjuntos acotados A y B, sup(A+B) = supA+supB. Notemos
que el conjunto {|x y| : x, y A} es la interseccin con [0, +) de {x y : x, y A} = A+ (A),
luego su supremo es igual al de este y, por a), sup(A+(A)) = supA+sup(A) = supAnf A.
Teorema 6.2.2. Sean f y g funciones integrables en [a, b] y sea un nmero real. Entonces
a) f es integrable y
_
b
a
( f ) =
_
b
a
f .
b) f +g es integrable y
_
b
a
( f +g) =
_
b
a
f +
_
b
a
g.
Demostracin. a) Notemos primero que f es acotada, y entonces f tambin lo es.
Si = 0 el resultado es inmediato. Si > 0, para cada particin P de [a, b] se obtiene, usando
la parte b) del lema 6.2.1, que S( f , P) = S( f , P) y S( f , P) = S( f , P). Por la misma razn, se
deduce que
_
b
a
f =
_
b
a
f =
_
b
a
f ,
_
b
a
f =
_
b
a
f =
_
b
a
f ,
luego f es integrable y
_
b
a
( f ) =
_
b
a
f .
Para ver que f es integrable ( =1) utilizamos la parte a) del lema: resulta que, para cualquier
P, S(f , P) =S( f , P) y S(f , P) =S( f , P), luego
_
b
a
(f ) =
_
b
a
f =
_
b
a
f ,
_
b
a
(f ) =
_
b
a
f =
_
b
a
f .
6.2. Propiedades bsicas de la integral de Riemann 131
Por ltimo, si es cualquier valor negativo lo reducimos a los casos anteriores: f = || f es
integrable, con integral igual a

_
b
a
(|| f ) =||
_
b
a
f =
_
b
a
f .
b) Notemos primero que f +g est acotada, porque f y g lo estn. Dado A [a, b], para cada t A
tenemos que
f (t) +g(t) sup{f (x) : x A}+sup{g(x) : x A},
luego
sup{ f (t) +g(t) : t A} sup{ f (t) : t A}+sup{g(t) : t A}
y anlogamente
nf{ f (t) : t A}+nf{g(t) : t A} nf{ f (t) +g(t) : t A}.
Cuando tomamos como A los subintervalos [x
i1
, x
i
] que dene una particin P P([a, b]), se sigue
que
S( f +g, P) S( f , P) +S(g, P),
S( f , P) +S(g, P) S( f +g, P).
Dado > 0, podemos tomar dos particiones P
1
y P
2
tales que S( f , P
1
) S( f , P
1
) < /2 y S(g, P
2
)
S(g, P
2
) < /2. Si P = P
1
P
2
, tambin S( f , P) S( f , P) < /2 y S(g, P) S(g, P) < /2, y de aqu
se deduce que S( f +g, P) S( f +g, P) < . Por la condicin de integrabilidad de Riemann (teore-
ma 6.1.8), f +g es integrable. Adems tenemos que
_
b
a
f +
_
b
a
g =
_
b
a
f /2+
_
b
a
g/2 < S( f , P) +S(g, P)
S( f +g, P)
_
b
a
( f +g) S( f +g, P)
S( f , P) +S(g, P) <
_
b
a
f +/2+
_
b
a
g+/2
=
_
b
a
f +
_
b
a
g+.
Es decir, para cualquier > 0 resulta que
_
b
a
f +
_
b
a
g <
_
b
a
( f +g) <
_
b
a
f +
_
b
a
g +, y entonces
_
b
a
( f +g) =
_
b
a
f +
_
b
a
g.
Nota. El teorema 6.2.2 dice que el conjunto R([a, b]) formado por todas las funciones integrables en
[a, b] es un espacio vectorial, y que la aplicacin R([a, b]) R dada por f
_
b
a
f es lineal.
El siguiente resultado expresa la monotona de la integral con respecto al integrando:
Teorema 6.2.3. Sean f y g funciones integrables en [a, b] tales que
f (x) g(x) para cada x [a, b].
Entonces
_
b
a
f
_
b
a
g.
132 Captulo 6. La integral de Riemann
Demostracin. Si f g tenemos que 0 g f , y es inmediato comprobar que S(g f , P) 0 para
cualquier particin P del intervalo [a, b]. Como adems g f es integrable, se deduce que
0 S(g f , P)
_
b
a
(g f ) =
_
b
a
g
_
b
a
f .
Nota. En particular, si h es integrable en [a, b] y h 0, entonces
_
b
a
h 0.
Aunque no es tan sencillo de demostrar, tambin se cumple la monotona estricta: si h es integrable
en [a, b] y h(x) > 0 para todo x [a, b], entonces
_
b
a
h > 0. Como consecuencia, si dos funciones f y
g son integrables y se cumple que f (x) < g(x) en todo x [a, b], podemos asegurar que
_
b
a
f <
_
b
a
g.
Teorema 6.2.4. Si f es integrable en [a, b], entonces | f | es integrable en [a, b] y

_
b
a
f

_
b
a
| f |.
Demostracin. Como f es integrable, est acotada. Y por lo tanto, la funcin | f | tambin est acotada.
Dada una particin
P {a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b} P([a, b])
tenemos que
S( f , P) S( f , P) =
n

i=1
(M
i
m
i
)(x
i
x
i1
),
S(| f |, P) S(| f |, P) =
n

i=1
(M

i
m

i
)(x
i
x
i1
),
donde, usando la parte (c) del lema,
M
i
m
i
= sup{ f (t) : t [x
i1
, x
i
]}nf{ f (t) : t [x
i1
, x
i
]} = sup{| f (t) f (s)| : s, t [x
i1
, x
i
]}
para cada i. Anlogamente,
M

i
m

i
= sup{

| f (t)| | f (s)|

: s, t [x
i1
, x
i
]}.
Como para cada t y s la desigualdad triangular inversa dice que

| f (t)| | f (s)|

| f (t) f (s)|, resulta


que M

i
m

i
M
i
m
i
para cada i, y por tanto que S(| f |, P) S(| f |, P) S( f , P) S( f , P) para toda
P. Por la condicin de integrabilidad de Riemann resulta que si f integrable tambin lo es | f |.
Ahora, como f | f | y f | f |, por los teoremas 6.2.3 y 6.2.2 tenemos que
_
b
a
f
_
b
a
| f | y
_
b
a
(f ) =
_
b
a
f
_
b
a
| f |, luego

_
b
a
f

= m ax
_
_
b
a
f ,
_
b
a
f
_

_
b
a
| f |.
En cierto sentido, este resultado puede verse como una generalizacin de la desigualdad trian-
gular, cambiando sumas por integrales. Pronto iremos comprobando que es tan til como la propia
desigualdad triangular.
6.2. Propiedades bsicas de la integral de Riemann 133
Corolario 6.2.5. Sean f y g dos funciones integrables en [a, b]. Entonces las funciones m ax( f , g),
mn( f , g) son tambin integrables en [a, b].
Demostracin. Basta tener en cuenta que
m ax{ f (x), g(x)} =
1
2
_
f (x) +g(x) +| f (x) g(x)|
_
,
mn{ f (x), g(x)} =
1
2
_
f (x) +g(x) | f (x) g(x)|
_
.
Teorema 6.2.6. Sean f y g funciones integrables en [a, b]. Entonces:
a) f
2
es integrable en [a, b];
b) la funcin producto f g es integrable en [a, b].
Demostracin. a) f est acotada, as que existe K >0 tal que | f (x)| <K para todo x [a, b]. Entonces
0 f (x)
2
K
2
para todo x, luego f
2
tambin est acotada. Dado >0, sea PP(I) tal que S( f , P)
S( f , P) <

2K
. Si P {a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b}, entonces, como en el teorema 6.2.4,
resulta que S( f , P) S( f , P) =
n
i=1
r
i
(x
i
x
i1
), donde
r
i
= sup{| f (t) f (s)| : s, t [x
i1
, x
i
]},
y anlogamente S( f
2
, P) S( f
2
, P) =
i
r

i
(x
i
x
i1
), donde
r

i
= sup{| f
2
(t) f
2
(s)| : s, t [x
i1
, x
i
]}.
Como para cada s y t tenemos que
| f
2
(t) f
2
(s)| = | f (t) + f (s)| | f (t) f (s)| (| f (t)| +| f (s)|)| f (t) f (s)|
2K| f (t) f (s)|,
resulta que r

i
2Kr
i
para cada i, y por tanto que S( f
2
, P) S( f
2
, P) 2K
_
S( f , P) S( f , P)
_
< , y
as vemos que f
2
es integrable, por la condicin de integrabilidad de Riemann.
b) Por el apartado a), son integrables tanto f
2
como g
2
y ( f +g)
2
(ya que f +g es integrable).
Pero
f g =
1
2
_
( f +g)
2
f
2
g
2
_
,
y as vemos que f g es integrable.
Observacin. Los teoremas 6.2.4 y 6.2.6 no admiten recproco: una funcin f puede ser no integrable
pese a que | f | y f f = f
2
s lo sean. Como ejemplo podemos tomar, en I = [0, 1], la funcin dada por
f (x) = 1 si x Q y f (x) =1 si x / Q, de forma que f
2
= | f | = 1.
6.2.2. Integracin en subintervalos
Teorema 6.2.7. Sea f una funcin denida en un intervalo cerrado y acotado [a, b]. Dado c [a, b],
son equivalentes:
a) f es integrable en [a, b];
b) f es integrable en [a, c] y en [c, b].
134 Captulo 6. La integral de Riemann
Adems, cuando f es integrable en [a, b] se tiene:
c)
_
b
a
f =
_
c
a
f +
_
b
c
f .
Demostracin. b) = a) Como f es integrable en [a, c] y en [c, b], en particular f est acotada en
[a, c] y en [c, b]: en consecuencia, f est acotada en [a, b].
Adems, usando la condicin de Riemann, la integrabilidad de f garantiza que para todo > 0
existen una particin P
c
a
de [a, c] y una particin P
b
c
de [c, b] tales que
S( f , P
c
a
) S( f , P
c
a
) <

2
, S( f , P
b
c
) S( f , P
b
c
) <

2
.
Considerando ahora la particin P
b
a
de [a, b] obtenida al tomar todos los puntos de P
c
a
y los de P
b
c
, se
sigue directamente aplicando la denicin que
S( f , P
b
a
) = S( f , P
c
a
) +S( f , P
b
c
), S( f , P
b
a
) = S( f , P
c
a
) +S( f , P
b
c
),
luego
_
b
a
f S( f , P
b
a
) = S( f , P
c
a
) +S( f , P
b
c
) < S( f , P
c
a
) +

2
+S( f , P
b
c
) +

2

_
c
a
f +

2
+
_
b
c
f +

2
.
Es decir,
_
b
a
f <
_
c
a
f +
_
b
c
f +
para cualquier > 0. De aqu se obtiene que
_
b
a
f
_
c
a
f +
_
b
c
f .
Anlogamente,
_
b
a
f S( f , P
b
a
) = S( f , P
c
a
) +S( f , P
b
c
) > S( f , P
c
a
)

2
+S( f , P
b
c
)

2

_
c
a
f

2
+
_
b
c
f

2
.
Es decir,
_
b
a
f >
_
c
a
f +
_
b
c
f
para cualquier > 0. De ah se deduce que
_
b
a
f
_
c
a
f +
_
b
c
f .
Como
_
b
a
f
_
b
a
f , resulta
_
b
a
f =
_
b
a
f =
_
c
a
f +
_
b
c
f ,
lo que nos dice que f es integrable en [a, b], con
_
b
a
f =
_
c
a
f +
_
b
c
f .
6.2. Propiedades bsicas de la integral de Riemann 135
a) =b) Si f es integrable en [a, b], para cada > 0 existir una particin Q
b
a
del intervalo [a, b]
tal que
S( f , Q
b
a
) S( f , Q
b
a
) < .
Sea P
b
a
la particin de [a, b] obtenida al aadir a Q
b
a
el punto c (si es que no gura ya en Q
b
a
), y
descompongamos P
b
a
en sendas particiones P
c
a
y P
b
c
de [a, c] y de [c, b], respectivamente. Se tiene
S( f , P
c
a
) S( f , P
c
a
) +S( f , P
b
c
) S( f , P
b
c
) = S( f , P
b
a
) S( f , P
b
a
) S( f , Q
b
a
) S( f , Q
b
a
) < ,
y como S( f , P
c
a
) S( f , P
c
a
) y S( f , P
b
c
) S( f , P
b
c
) son no negativos, cada uno de ellos ser menor o
igual que su suma, por lo que
S( f , P
c
a
) S( f , P
c
a
) < , S( f , P
b
c
) S( f , P
b
c
) < ,
y por consiguiente f es integrable en [a, c] y en [c, b].
Corolario 6.2.8. Sea f : [a, b] R acotada, y sean a = c
0
< c
1
< c
2
< . . . < c
n
= b. Se cumple que
f es integrable en [a, b] si y solo si lo es en [c
i1
, c
i
] para cada i = 1, . . . , n, y en tal caso
_
b
a
f =
n

i=1
_
c
i
c
i1
f .
Demostracin. Aplicar induccin sobre n y el teorema 6.2.7.
El siguiente resultado permite ampliar ligeramente la nocin de integral y dar ejemplos adicionales
de funciones integrables.
Lema 6.2.9. Sean f y g dos funciones denidas en un intervalo cerrado y acotado [a, b] que coinciden
excepto posiblemente en a y b, es decir, tales que
f (x) = g(x) para todo x (a, b).
Entonces f es integrable en [a, b] si y solo si lo es g. Si son integrables,
_
b
a
f =
_
b
a
g.
Demostracin. Basta probar que la funcin h = f g es una funcin integrable en [a, b] con integral
nula. Ahora bien: h se anula en (a, b), por lo que para cada particin P {t
0
= a < t
1
< < t
n1
<
t
n
= b} ser
S(h, P) = m ax{h(a), 0} (t
1
a) +m ax{h(b), 0} (bt
n1
) 0,
S(h, P) = mn{h(a), 0} (t
1
a) +mn{h(b), 0} (bt
n1
) 0.
Dado > 0, tomemos B > m ax{|h(a)|, |h(b)|} y P

de manera que
t
1
a <

2B
, bt
n1
<

2B
.
Resulta
_
b
a
h S(h, P

) < B

2B
+B

2B
= ,
_
b
a
h S(h, P

) >B

2B
B

2B
=,
luego
_
b
a
h 0
_
b
a
h. Por lo tanto,
_
b
a
h =
_
b
a
h = 0, es decir, h es integrable en [a, b] con integral
nula.
136 Captulo 6. La integral de Riemann
Corolario 6.2.10. Sea g una funcin integrable en [a, b], y sea f una funcin igual a g excepto en un
conjunto nito de puntos de [a, b]. Entonces f es integrable, y
_
b
a
f =
_
b
a
g.
Demostracin. Por induccin sobre el nmero de puntos, con ayuda del lema.
Denicin 6.2.11. Una funcin f : [a, b] R se dice continua a trozos si existe una particin a =
t
0
<t
1
<t
2
<. . . <t
n1
<t
n
=b tal que f es continua en cada intervalo (t
i1
, t
i
) y existen y son reales
los lmites laterales en cada t
i
.
Una funcin f : [a, b] R se dice montona a trozos si existe una particin a = t
0
< t
1
< t
2
<
. . . <t
n1
<t
n
= b tal que f es montona (de cualquier clase) en cada intervalo (t
i1
, t
i
).
Por ejemplo, la funcin de la gura no es continua ni montona, pero s continua a trozos y
montona a trozos.
a
b
Funcin continua a trozos y montona a trozos
Teorema 6.2.12. Si f es un funcin continua a trozos o una funcin acotada y montona a trozos en
[a, b], entonces f es integrable en [a, b].
Demostracin. Si f es continua a trozos y t
i
son como en la denicin, para cada i existe una extensin
continua (y por tanto integrable) de f

(t
i1
,t
i
)
al intervalo [t
i1
, t
i
]. Esta extensin es integrable en el
intervalo [t
i1
, t
i
], por ser continua, y coincide con f en (t
i1
, t
i
), luego f es integrable en [t
i1
, t
i
], por
el lema 6.2.9. Por el corolario 6.2.8, resulta que f es integrable en [a, b].
Si f es montona a trozos y acotada y t
i
son como en la denicin, entonces existen y son reales
los lmites laterales en cada t
i
. La demostracin sigue de manera anloga a la de funciones continuas
a trozos.
No obstante, hay funciones que son integrables en un intervalo [a, b] y no son continuas a trozos
ni montonas a trozos. Un ejemplo es la funcin denida en [0, 1] mediante
f (x) =
_
1, si x = 0,
sen
1
x
, si 0 < x 1,
que vimos que era integrable en [0, 1].
6.2. Propiedades bsicas de la integral de Riemann 137
6.2.3. Teoremas de la media (o del valor medio) del clculo integral
Teorema 6.2.13. Sea f una funcin integrable en el intervalo cerrado y acotado [a, b] y sean m, M
tales que para todo x [a, b] se cumpla
m f (x) M.
Entonces el nmero
1
ba
_
b
a
f ,
denominado promedio integral de f en [a, b], est en [m, M], es decir
m
1
ba
_
b
a
f M.
Demostracin. Puesto que m f M, por la monotona de la integral
m(ba) =
_
b
a
m
_
b
a
f
_
b
a
M = M(ba),
y como ba > 0, podemos dividir para obtener
m
1
ba
_
b
a
f M.
Cuando f es continua en [a, b], su promedio integral est en el rango de valores de f :
Corolario 6.2.14 (teorema de la media del clculo integral). Sea f una funcin continua (y por
tanto integrable) en el intervalo cerrado y acotado [a, b]. Existe entonces al menos un punto x
0
[a, b]
tal que
1
ba
_
b
a
f = f (x
0
).
Demostracin. Por el teorema 4.2.8 de Weierstrass el conjunto { f (x) : x [a, b]} tiene mnimo y
mximo, a los que llamamos m y M respectivamente. Se cumple as que
m(ba) =
_
b
a
m
_
b
a
f
_
b
a
M = M(ba).
Es decir,
m
1
ba
_
b
a
f M.
Por el teorema 4.2.10 de Darboux (o de los valores intermedios), existe x
0
[a, b] en el que f toma
dicho valor entre m y M, y as f (x
0
) =
1
ba
_
b
a
f .
Ejemplo. Sea 1 < a < b. Para cada x [a, b],
1
x +

x
x

x
=

x +1

x 1
= 1+
2

x 1
1+
2

a1
.
Por lo tanto,
1
1
ba
_
b
a
x +

x
x

x
dx 1+
2

a1
. (6.2)
138 Captulo 6. La integral de Riemann
En algunas ocasiones, no es necesario calcular el valor exacto de una integral, sino que basta con
estimaciones aproximadas. Por ejemplo, de (6.2) se deduce que
lm
a+
_
a+1
a
x +

x
x

x
dx = 1.
El corolario 6.2.14 puede mirarse como una lectura inversa del teorema 5.2.7 del valor medio del
clculo diferencial. De hecho, otra demostracin del corolario 6.2.14 consiste en aplicar el teorema
del valor medio a la funcin F : [a, b] R dada por F(x) =
_
x
a
f , que es derivable y cuya derivada es
F

(x) = f (x) (segn probaremos en el siguiente apartado).


Teorema 6.2.15. Sea f una funcin integrable en el intervalo cerrado y acotado [a, b], sea g una
funcin no negativa, integrable en el intervalo cerrado y acotado [a, b] y sean m, M tales que para
todo x [a, b] se cumple
m f (x) M.
Entonces existe [m, M] tal que
_
b
a
f g =
_
b
a
g
(el nmero es una especie de promedio ponderado de f respecto a la densidad de masa g).
Demostracin. Puesto que g 0, se verica
mg f g Mg.
Todas estas funciones son integrables, luego podemos poner
m
_
b
a
g
_
b
a
f g M
_
b
a
g.
Si
_
b
a
g =0, cualquier [m, M] cumple la igualdad del enunciado. Si
_
b
a
g =0, entonces
_
b
a
g >0,
y basta tomar como el cociente entre
_
b
a
f g y
_
b
a
g.
Corolario 6.2.16. Sea f una funcin continua (y por tanto integrable) en el intervalo cerrado y
acotado [a, b] y sea g una funcin no negativa, integrable en [a, b]. Existe entonces al menos un punto
x
0
[a, b] tal que
_
b
a
f g = f (x
0
)
_
b
a
g.
Demostracin. La funcin f tiene mximo y mnimo absolutos sobre [a, b], por el teorema 4.2.8 de
Weierstrass. Si el mximo y el mnimo se alcanzan en c y d, respectivamente, podemos aplicar el
teorema 6.2.15 con m = f (c) y M = f (d). Por el teorema 4.2.10 de Darboux, hay al menos un punto
x
0
[a, b] tal que f (x
0
) = , donde es el valor del teorema 6.2.15.
Proposicin 6.2.17 (segundo teorema de la media del clculo integral). Sean f y g funciones
integrables en un intervalo cerrado y acotado [a, b].
a) Si g 0 y es no creciente, existe x
0
[a, b] tal que
_
b
a
f g = g(a)
_
x
0
a
f .
6.3. Teoremas fundamentales del clculo integral 139
b) Si g 0 y es no decreciente, existe x
0
[a, b] tal que
_
b
a
f g = g(b)
_
b
x
0
f .
c) Si g es montona, existe x
0
[a, b] tal que
_
b
a
f g = g(a)
_
x
0
a
f +g(b)
_
b
x
0
f .
Demostracin. Ver [GARAY-CUADRA-ALFARO, pg. 212].
6.3. Teoremas fundamentales del clculo integral
6.3.1. Regla de Barrow (primer teorema fundamental del clculo integral)
Teorema 6.3.1 (regla de Barrow). Sea f una funcin integrable en un intervalo [a, b] y supongamos
que existe otra funcin g continua en [a, b], derivable en (a, b) y tal que g

(x) = f (x) para todo


x (a, b). Entonces,
_
b
a
f = g(b) g(a).
Demostracin. Sea P una particin cualquiera de [a, b],
P {a = x
0
< x
1
< x
2
< . . . < x
n1
< x
n
= b}.
Segn el teorema 5.2.7 del valor medio,
g(b) g(a) = g(x
n
) g(x
0
) =
n

i=1
(g(x
i
) g(x
i1
))
=
n

i=1
g

(c
i
)(x
i
x
i1
) =
n

i=1
f (c
i
)(x
i
x
i1
),
donde c
i
(x
i1
, x
i
) para cada i. Puesto que
nf{ f (t) : t [x
i1
, x
i
]} f (c
i
) sup{ f (t) : t [x
i1
, x
i
]},
se deduce que
S( f , P) g(b) g(a) S( f , P).
Como esto es cierto para cualquier particin P, tomando supremos e nmos resulta que
_
b
a
f g(b) g(a)
_
b
a
f .
Pero sabemos que f es integrable, as que
_
b
a
f =
_
b
a
f =
_
b
a
f . Por lo tanto,
_
b
a
f = g(b) g(a).
140 Captulo 6. La integral de Riemann
La regla de Barrow nos dice cmo calcular la integral de una funcin f integrable entre a y b: si g
es continua en [a, b] y es una primitiva de f en (a, b), entonces
_
b
a
f (x)dx = g(b) g(a).
La diferencia g(b) g(a) suele escribirse como g(x)

x=b
x=a
. Es decir:
_
b
a
f (x)dx = g(x)

x=b
x=a
.
Ejemplo. La funcin arcsen es continua, luego integrable, en el intervalo [0, 1]. Calculando por partes
una primitiva, encontramos la funcin xarcsenx +

1x
2
, continua en [0, 1] y derivable claramente
en el intervalo [0, 1), con derivada arcsenx en ese intervalo; menos claro es lo que sucede en el punto
1, pero segn el teorema 6.3.1 no necesitamos saberlo para garantizar que
_
1
0
arcsenxdx =
_
1 arcsen1+
_
11
2
_

_
0 arcsen0+
_
10
2
_
=

2
1.
Si aplicamos la regla de Barrow para calcular una integral, puede ser conveniente utilizar los
resultados empleados en el clculo de primitivas, como el teorema de integracin por partes que
acabamos de citar o el teorema de cambio de variable. Ambos tienen su versin para integrales. Vemos
primero la de integracin por partes:
Teorema 6.3.2 (integracin por partes). Si u y v son funciones continuas en [a, b] derivables en
(a, b) y sus derivadas u

y v

son integrables en [a, b], entonces


_
b
a
uv

= u(b)v(b) u(a)v(a)
_
b
a
u

v.
Demostracin. Notemos que u

v y uv

son integrables porque lo son u

, v

(estas por hiptesis) y


tambin u y v (porque son continuas). Entonces tambin es integrable (uv)

= u

v +uv

, y por la regla
de Barrow
_
b
a
uv

+
_
b
a
u

v =
_
b
a
(uv)

= u(b)v(b) u(a)v(a),
de donde obtenemos la frmula del enunciado.
Observacin. Este resultado no se puede utilizar en el ejemplo anterior; por qu?
Ejemplo. Veamos que, para cualesquiera m y n enteros no negativos,
_
1
0
x
m
(1x)
n
dx =
m! n!
(m+n+1)!
.
Probmoslo por induccin sobre n. Primero vemos que la frmula es vlida para n = 0 y cualquier m,
usando la regla de Barrow:
_
1
0
x
m
dx =
x
m+1
m+1

x=1
x=0
=
1
m+1
=
m! 0!
(m+0+1)!
.
6.3. Teoremas fundamentales del clculo integral 141
Ahora, si n N y suponemos que la frmula es cierta para n1 y cualquier m, integrando por partes
concluimos que lo es para n y cualquier m: para ello tomamos u(x) = (1x)
n
y v(x) = x
m+1
/(m+1),
con lo que
_
1
0
x
m
(1x)
n
dx =
_
1
0
u(x)v

(x)dx = u(x)v(x)

x=1
x=0

_
1
0
u

(x)v(x)dx
=
n
m+1
_
1
0
x
m+1
(1x)
n1
dx,
que por hiptesis de induccin es
n
m+1

(m+1)! (n1)!
_
(m+1) +(n1) +1
_
!
=
m! n!
(m+n+1)!
.
Corolario 6.3.3 (frmula de Taylor con resto integral). Sea I un intervalo, c un punto de I, f una
funcin denida en I, n N. Supongamos que f es derivable en I hasta el orden n y que f
(n)
es
continua en I. Entonces para cada x I es
f (x) = f (c) + f

(c)(x c) +
f

(c)
2
(x c)
2
+ +
f
(n1)
(c)
(n1)!
(x c)
n1
+
1
(n1)!
_
x
c
(x t)
n1
f
(n)
(t)dt.
Demostracin. Basta integrar por partes reiteradamente
1
(n1)!
_
x
c
(x t)
n1
f
(n)
(t)dt
(ver [BARTLE-SHERBERT, teor. 6.3.14, pg. 281]).
6.3.2. Continuidad y derivabilidad de una integral con extremo de integracin varia-
ble
El teorema 6.3.1 (regla de Barrow) viene a decir que al integrar la derivada de f recuperamos f
(ya que f (x) = f (a) +
_
x
a
f

). Para que podamos decir del todo que integrar y derivar son procesos
inversos, la pregunta natural sera: podemos decir que derivando una funcin dada por la integral de
f recuperamos f ? Es tanto como decir: podemos expresar una primitiva de f mediante integrales de
f ? La respuesta es armativa, como vamos a comprobar.
Convenio. Si a > b y f es integrable en [b, a], escribimos
_
b
a
f =
_
a
b
f .
Si a = b, escribimos
_
b
a
f = 0.
Notemos que, con este convenio, la regla de Barrow vale tambin para integrales
_
b
a
f con a b.
Adems, la relacin entre las integrales de f y de | f | es en general

_
b
a
f

_
b
a
| f |

142 Captulo 6. La integral de Riemann


(si a < b el trmino de la derecha es
_
b
a
| f |, como hasta ahora). En cuanto a la monotona, notemos
que si 0 f g son funciones integrables podemos asegurar que

_
b
a
f

_
b
a
g

,
ya que si a > b esta desigualdad es
_
a
b
f
_
a
b
g. Por ltimo, si las integrales tienen sentido entonces
_
c
a
f +
_
b
c
f =
_
b
a
f
cualquiera que sea el orden entre a, b y c.
Teorema 6.3.4 (teorema fundamental del clculo integral (segundo)). Sea f una funcin integrable
en [a, b]. Denamos F : [a, b] R mediante
F(x) =
_
x
a
f .
Entonces:
a) F es continua en [a, b];
b) si f es continua en algn x
0
[a, b], entonces F es derivable en x
0
y
F

(x
0
) = f (x
0
).
Demostracin. a) La funcin f es integrable, as que est acotada; sea K > 0 tal que | f (x)| K para
todo x [a, b]. Veamos que para cada x, y [a, b], |F(x) F(y)| K|x y|.
Si x = y, no hay nada que probar. Si no, podemos suponer que x > y, por ejemplo. Entonces,
|F(x) F(y)| =

_
x
a
f (t)dt
_
y
a
f (t)dt

_
x
y
f (t)dt

_
x
y
| f (t)| dt K|x y|,
como queramos probar. Ahora, dado > 0, tenemos: para cada x, y [a, b] con |x y| < /K, se
cumple que |F(x) F(y)| < . Es decir, la funcin F es continua en [a, b] (de hecho hemos probado
que es uniformemente continua).
b) Supongamos que f es continua en algn x
0
[a, b]. Se trata de probar que
lm
h0
F(x
0
+h) F(x
0
)
h
= f (x
0
).
Tanto si h > 0 como si h < 0,
F(x
0
+h) F(x
0
) =
_
x
0
+h
a
f (t)dt
_
x
0
a
f (t)dt =
_
x
0
+h
x
0
f (t)dt,
luego
F(x
0
+h) F(x
0
)
h
f (x
0
) =
1
h
_
x
0
+h
x
0
f (t)dt
1
h
_
x
0
+h
x
0
f (x
0
)dt =
1
h
_
x
0
+h
x
0
[ f (t) f (x
0
)] dt.
Entonces,

F(x
0
+h) F(x
0
)
h
f (x
0
)

=
1
|h|

_
x
0
+h
x
0
[ f (t) f (x
0
)] dt

.
6.3. Teoremas fundamentales del clculo integral 143
Sea > 0. Como f es continua en x
0
, existe algn > 0 tal que | f (t) f (x
0
)| < , si |t x
0
| < .
Sea ahora |h| < . Si h > 0, entonces

F(x
0
+h) F(x
0
)
h
f (x
0
)

=
1
h

_
x
0
+h
x
0
[ f (t) f (x
0
)] dt

1
h
_
x
0
+h
x
0
dt = ;
y si h < 0,

F(x
0
+h) F(x
0
)
h
f (x
0
)

=
1
h

_
x
0
x
0
+h
[ f (t) f (x
0
)] dt

1
h
_
x
0
x
0
+h
dt = .
En resumen,

F(x
0
+h) F(x
0
)
h
f (x
0
)

,
si |h| < . Hemos probado que, en efecto,
lm
h0
F(x
0
+h) F(x
0
)
h
= f (x
0
).
Realmente, se cumple un resultado ms general:
Teorema 6.3.5. Sea f una funcin denida en un intervalo no trivial I cualquiera, que sea integrable
en cualquier intervalo cerrado y acotado contenido en I. Fijado un punto a I, denamos F : I R
mediante
F(x) =
_
x
a
f .
Entonces:
a) F est bien denida y es continua en todo I;
b) en cada punto x
0
I donde f sea continua, F es derivable y
F

(x
0
) = f (x
0
).
Demostracin. Para puntos a la derecha de a, basta aplicar el teorema 6.3.4 a la funcin
F(x) =
_
x
a
f , x [a, b],
para algn b I, b > a. Y para los puntos a la izquierda de a, basta considerar la funcin
G(x) =
_
x
b
f , x [b, a],
para algn b I, b < a y tener en cuenta que F(x) = G(x) G(a).
Corolario 6.3.6. Toda funcin f continua en un intervalo no trivial I cualquiera admite una primitiva
en dicho intervalo.
Demostracin. Basta observar que, por ser continua, f es integrable en cada intervalo cerrado y aco-
tado contenido en I, y si jamos un punto a I y consideramos la funcin F : I R dada por
F(x) =
_
x
a
f ,
por el teorema 6.3.5 resulta que F

= f en I.
144 Captulo 6. La integral de Riemann
Aplicacin. Podemos construir la funcin logartmica como la primitiva de la funcin 1/x que se
anula para x = 1 (ver Apndice).
Corolario 6.3.7. Sea f una funcin denida en un intervalo no trivial I cualquiera, integrable en
cualquier intervalo cerrado y acotado contenido en I y sea : J I derivable en x
0
J. Dado a I,
sea G: J R la funcin dada por
G(x) =
_
(x)
a
f .
Si f es continua en (x
0
), entonces G es derivable en x
0
, con
G

(x
0
) =

(x
0
) f
_
(x
0
)
_
.
Demostracin. Si denimos F en J como F(x) =
_
x
a
f , x J, entonces G = F , y por la regla de
la cadena (teorema 5.1.5) y el teorema fundamental del clculo integral (teorema 6.3.4), resulta que
G

(x
0
) =

(x
0
)F

_
(x
0
)
_
=

(x
0
) f
_
(x
0
)
_
.
Ejemplo. Sea F : [0, +) R dada por F(x) =
_
2x
x
e
t
2
dt. Nos proponemos hallar sus extremos
relativos y absolutos y sus puntos de inexin.
No podemos expresar una primitiva de e
t
2
como combinacin de funciones elementales, y en-
tonces no podemos aplicar la regla de Barrow (teorema 6.3.1) para calcular la integral y obtener otra
expresin de F. Pero s que podemos obtener una expresin manejable de la derivada de F, gracias
al teorema fundamental del clculo integral (teorema 6.3.4) y al corolario 6.3.7, que podemos aplicar
porque e
t
2
es continua y 2x es derivable.
Como F(x) =
_
2x
0
e
t
2
dt
_
x
0
e
t
2
dt, resulta que para cualquier x 0,
F

(x) = 2e
4x
2
e
x
2
= e
x
2
(2e
3x
2
1) = e
x
2
(e
log23x
2
1).
Vemos que F

tiene el mismo signo que log2 3x


2
, luego es positiva en [0,
_
(log2)/3) y negativa
en (
_
(log2)/3, +). Por tanto F es creciente en [0,
_
(log2)/3] y decreciente en [
_
(log2)/3, +),
y alcanza su mximo absoluto en
_
(log2)/3. Su mnimo absoluto lo tiene en 0, ya que F(0) = 0 y,
para cualquier x > 0, F(x) es positiva por ser la integral de una funcin positiva en el intervalo no
trivial [x, 2x].
De la expresin de F

obtenemos que
F

(x) = 16xe
4x
2
(
1
8
e
3x
2
1) = 16xe
4x
2
(e
3x
2
3log2
1),
de donde su signo es el de x
2
log2, y deducimos que F es cncava en [0,

log2] y convexa en
[

log2, +). Tenemos un nico punto de inexin en

log2.
Es fcil ver, adems, que el lmite de F en +es 0. Basta acotar el valor de F usando la monotona
de la integral: como e
t
2
es decreciente en [0, +), para todo t en el intervalo [x, 2x] se cumple que
e
t
2
e
x
2
, y entonces
F(x) =
_
2x
x
e
t
2
dt
_
2x
x
e
x
2
dt = xe
x
2
.
Por la regla de LHospital 5.3.8 vemos que lm
x+
x
e
x
2
= 0, luego tambin lm
x+
F(x) = 0.
6.3. Teoremas fundamentales del clculo integral 145
Teorema 6.3.8 (cambio de variable). Sea u una funcin derivable en un intervalo abierto J tal que
u

es continua y sea I un intervalo abierto tal que u(J) I. Si f es continua en I, entonces f u es


continua en J y
_
b
a
f (u(x))u

(x)dx =
_
u(b)
u(a)
f (t)dt (6.3)
para cualesquiera a, b J.
Demostracin. Sea F una primitiva de f en I. Entonces (F u)

= ( f u)u

, y como f y ( f u)u

son
integrables en intervalos cerrados y acotados (porque son continuas), por la regla de Barrow resulta
que
_
u(b)
u(a)
f = F(u(b)) F(u(a)) = (F u)(b) (F u)(a) =
_
b
a
( f u)u

.
Ejemplo. Calculemos el valor de
_

3

3
_
4x
2
dx.
Ponemos
_

3

3
_
4x
2
dx =
_

3

3
2
_
1(x/2)
2
dx =
_

3

3
4
_
1(x/2)
2
1
2
dx
(hacemos el cambio de variable t = x/2 segn la frmula (6.3), de izquierda a derecha)
=
_

3/2

3/2
4
_
1t
2
dt
(ahora hacemos el cambio de variable t = seny segn la frmula (6.3), de derecha a izquierda)
=
_
/3
/3
4
_
1sen
2
ycosydy =
_
/3
/3
4| cosy| cosydy =
_
/3
/3
4cos
2
ydy
=
_
/3
/3
2(1+cos2y)dy = (2y +sen2y)

y=/3
y=/3
=
4
3
+

3.
Ejemplo (integrales de funciones pares e impares). Si f es par e integrable en [a, a], entonces
_
a
a
f = 2
_
a
0
f .
Esto se puede demostrar a partir de la denicin de integral o mediante la condicin de integrabilidad
de Riemann (teorema 6.1.8). El signicado geomtrico es claro, dado que la grca de f es simtrica
respecto de x = 0.
En el caso particular de que f sea continua, esta propiedad se puede demostrar de manera ms
sencilla con un cambio de variable, ya que
_
a
a
f =
_
0
a
f +
_
a
0
f y
_
0
a
f (x)dx
t=x
=
_
0
a
f (t)dt =
_
a
0
f (t)dt =
_
a
0
f (t)dt.
Anlogamente, si f es impar entonces
_
a
a
f = 0.
146 Captulo 6. La integral de Riemann
6.4. Apndice: construccin de las funciones logartmica y exponencial
Ya hemos usado las propiedades de la funcin logartmica en ejemplos y ejercicios. Ahora dispo-
nemos de las herramientas necesarias para poder construirla, probando con todo rigor su existencia y
sus propiedades bsicas.
Recordemos que las potencias de exponente racional se denen en R
+
= (0, +) de la siguiente
manera: x
n
= x x x (n veces) si n N, y x
1/n
es la funcin inversa. Dado m otro nmero natural,
x
m/n
= (x
1/n
)
m
, y por ltimo x
0
= 1 y x
a
= 1/x
a
.
Resulta que la derivada de la funcin dada por x
a
es ax
a1
, de manera que una primitiva de x
a
en R
+
es
1
a+1
x
a+1
, pero esto solo vale si a =1. Como x
1
= 1/x es continua en R
+
, podemos usar
el teorema fundamental del clculo integral (teorema 6.3.4) para denir una primitiva en este caso
(a = 1), la dada por
_
x
c
(1/t)dt, cualquiera que sea c > 0. Elegimos c = 1, y la funcin que resulta
cumple todos los requisitos que buscamos para el logaritmo neperiano.
Proposicin 6.4.1. La funcin L : (0, +) R dada por
L(x) =
_
x
1
1
t
dt
est bien denida, es estrictamente creciente (luego inyectiva) y suprayectiva. Es asimismo derivable
en todos los puntos de su dominio y para cada x (0, +)
L

(x) =
1
x
;
en particular, es cncava en su dominio.
1
x
y =
1
x
L(x) es el rea de la gura
Demostracin. La funcin f : (0, +) R dada por f (t) =
1
t
es continua, luego L est bien denida,
es derivable en cada x (0, +) y su derivada es la funcin L

(x) = f (x) =
1
x
.
Puesto que L

= f es estrictamente positiva, L es estrictamente creciente. Como es continua (por-


que es derivable), su imagen L
_
(0, +)
_
es un intervalo, y para ver que este intervalo es todo Rbastar
probar que la funcin L no est acotada superior ni inferiormente.
Ahora bien: dados a > 0 y n N, el cambio de variable t = u
n
permite escribir
L(a
n
) =
_
a
n
1
1
t
dt =
_
a
1
nu
n1
u
n
du = n
_
a
1
1
u
du = nL(a).
Tomando a > 1, como L(a) > L(1) = 0, se deduce que L no est acotada superiormente; tomando
0 < a < 1, como L(a) < L(1) = 0, se deduce que L no est acotada inferiormente.
6.4. Apndice: construccin de las funciones logartmica y exponencial 147
Con esta informacin es suciente para comprobar que su grca tiene la forma que ya conocemos
(compltese el estudio de la funcin de la manera habitual). En cuanto a la propiedad esencial del
logaritmo de transformar productos en sumas, tenemos:
Proposicin 6.4.2. Para cualesquiera x, y (0, +), la funcin L cumple L(xy) = L(x) +L(y).
Demostracin. Utilizando el cambio de variable t = u/x,
L(xy) L(x) =
_
xy
1
1
t
dt
_
x
1
1
t
dt =
_
xy
x
1
t
dt =
_
y
1
x
u
du
x
=
_
y
1
du
u
= L(y).
Observacin. Tambin puede darse otra demostracin usando solo el valor de la derivada: jado
arbitrariamente y > 0, sea f
y
la funcin dada por f
y
(x) = L(xy). Entonces
f

y
(x) = y L

(xy) = y
1
xy
=
1
x
= L

(x)
para todo x, luego f
y
(x) = L(x) +C, para cierta constante C, en todo x > 0. Si tomamos x = 1 vemos
que C = L(y).
Observacin. La sucesin
_
1+
1
n
_
n
es convergente, y denotando su lmite por e, resulta L(e) = 1. En
efecto:
L
__
1+
1
n
_
n
_
= nL
_
1+
1
n
_
=
L
_
1+
1
n
_
L(1)
1/n
L

(1) =
1
1
= 1;
la funcin inversa de L es continua, porque L es estrictamente creciente y continua, as que la sucesin
_
1+
1
n
_
n
tiene lmite y
_
1+
1
n
_
n
= L
1
L
__
1+
1
n
_
n
_
L
1
(1).
Es fcil, igualmente, obtener las equivalencias conocidas y el desarrollo de Taylor-Maclaurin para
L(1+x). Lo dejamos como ejercicio para el lector.
Por ltimo, la funcin inversa L
1
: R (0, +), tiene todas las propiedades admitidas para la
funcin e
x
, de modo que tenemos aqu una manera de introducir rigurosamente la funcin exponencial.
Denicin 6.4.3. Se llama funcin exponencial a la funcin exp : R R denida por exp(x) =
L
1
(x).
As pues, exp(x) = y si y solo si L(y) = x; en particular, exp(0) = 1 y exp(1) = e. Suele escribirse
e
x
en lugar de exp(x).
Proposicin 6.4.4. a) La funcin exponencial es derivable (indenidamente) y su derivada es ella
misma: para cada x R, exp

(x) = exp(x).
b) e
0
= 1.
c) Para cada x R,
1
e
x
= e
x
y, en particular, e
x
= 0.
d) Dados x, y R, e
x+y
= e
x
e
y
.
e) Dados n N y x R, e
nx
es el producto de n factores iguales a e
x
: e
nx
= e
x
n
e
x
.
148 Captulo 6. La integral de Riemann
f) Para cada x R, e
x
> 0.
g) La funcin exponencial es estrictamente creciente y convexa. En particular, es inyectiva.
h) Se tiene
lm
x+
e
x
= +, lm
x
e
x
= 0.
En consecuencia, el conjunto imagen de la funcin exponencial es (0, +).
Demostracin. a) Como L es derivable e inyectiva en el intervalo (0, +), su inversa exp es deri-
vable, segn el teorema 5.1.7 de derivacin de la funcin inversa. Adems,
exp

(x) =
1
L

(exp(x))
=
1
1/exp(x)
= exp(x), x R.
Es decir, la derivada de la funcin exp es ella misma, luego resulta indenidamente derivable
(igual a todas sus derivadas sucesivas).
b) Obvio.
c) Sea f : x R f (x) = e
x
e
x
R. Derivando de acuerdo con a),
f

(x) = e
x
e
x
e
x
e
x
= 0,
luego f toma constantemente el valor f (0) = 1.
d) Fijado y, sea f : x R f (x) =
e
x+y
e
x
R. Teniendo en cuenta a),
f

(x) =
e
x+y
e
x
e
x+y
e
x
(e
x
)
2
= 0,
luego f toma constantemente el valor f (0) = e
y
.
e) Se prueba por induccin sobre n utilizando d).
f) e
x
=
_
e
x/2
_
2
0 y e
x
= 0.
g) La derivada primera y la derivada segunda de la funcin exponencial (que son iguales a la
funcin exponencial) son estrictamente positivas.
h) Puesto que la funcin exponencial es estrictamente creciente,
e = e
1
> e
0
= 1,
luego lm
n
e
n
= +. De nuevo por la monotona de la funcin exponencial, esto basta para probar
que
lm
x+
e
x
= +.
Finalmente,
lm
x
e
x
= lm
y+
e
y
= lm
y+
1
e
y
= 0.
Del teorema 4.2.10 de Darboux (o de los valores intermedios) se sigue que el conjunto imagen
de la funcin exponencial es todo el intervalo (0, +).
En esta demostracin se observa que todas las propiedades bsicas de la funcin exponencial se
deducen realmente de a) y b), que en este sentido pueden ser consideradas sus propiedades fundamen-
tales.
6.5. Apndice: clculo de reas, longitudes y volmenes 149
6.5. Apndice: clculo de reas, longitudes y volmenes
Aunque no vamos a denir con rigor qu es una curva plana, a menudo viene dada como la grca
de una funcin f : I R, donde I es un intervalo y se pide que f sea continua, o continua a trozos,
o derivable. . . Esta forma de representar una curva plana se llama explcita. Por ejemplo, la grca de
la funcin y = x
2
es una parbola. Tambin pueden venir denidas en forma paramtrica, es decir,
como puntos de la forma (x(t), y(t)), donde x : I R, y : I R son dos funciones e I es un intervalo.
Por ejemplo, la circunferencia con centro en el origen de coordenadas y radio 1 se puede expresar en
forma paramtrica como
x = cost, y = sent,
t [0, 2]
Otra manera de describir una curva plana es en coordenadas polares: si representamos por el radio
y por un argumento de un punto del plano, los puntos que cumplen = 1 son la circunferencia con
centro en el origen de coordenadas y radio 1. La ecuacin = es la de una espiral. En general, una
curva en coordenadas polares es una relacin = ().
Una curva en forma explcita (y = f (x)) se puede expresar siempre en forma paramtrica: x = t,
y = f (t). Una curva en forma polar ( = ()) tambin se puede expresar siempre en forma para-
mtrica: x = ()cos, y = ()sen. En cambio, no toda curva en forma paramtrica se puede
expresar en forma explcita ni en forma polar. Y no toda curva en forma explcita se puede poner en
forma polar ni viceversa.
A continuacin recogemos, sin demostracin, diversas frmulas que permiten calcular la longitud
de una curva plana y el rea de una supercie o el volumen de un cuerpo asociados a curvas planas.
En cada caso se supone que las funciones que aparecen son continuas a trozos, o derivables a trozos,
segn haga falta para que las integrales estn bien denidas.
rea de una gura plana
a
b
y = f (x)
El rea de la gura es
_
b
a
f (x)dx,
si f (x) 0 para todo x [a, b]
a
b
y = f (x)
El rea de la gura es
_
b
a
| f (x)| dx
150 Captulo 6. La integral de Riemann
a
b
y = f (x)
y = g(x)
El rea de la gura es
_
b
a
| f (x) g(x)| dx
(x(t
0
), y(t
0
)) = (x(t
1
), y(t
1
))
El rea de la gura es

_
t
1
t
0
y(t)x

(t)dt

,
si la curva es cerrada

= ()
El rea de la gura es
1
2
_

()
2
d
Longitud de una curva plana
a
b
y = f (x)
La longitud de la curva es
_
b
a
_
1+ f

(x)
2
dx
(x(t
1
), y(t
1
))
(x(t
0
), y(t
0
))
La longitud de la curva es
_
t
1
t
0
_
x

(t)
2
+y

(t)
2
dt
6.5. Apndice: clculo de reas, longitudes y volmenes 151
= ()

El rea de la gura es
_

_
()
2
+

()
2
d
Volumen de un cuerpo de revolucin
a
b
y = f (x)
El volumen del cuerpo generado al girar la gura
alrededor del eje x es
_
b
a
f (x)
2
dx
a
b
y = f (x)
El volumen del cuerpo generado al girar la gura
alrededor del eje x es
_
b
a
2x| f (x)| dx, si a, b 0
(x(t
1
), y(t
1
))
(x(t
0
), y(t
0
))
El volumen del cuerpo generado al girar la gura
alrededor del eje x es

_
t
1
t
0
y(t)
2
x

(t)dt

,
si y(t) 0 para todo t [t
0
, t
1
]

= ()
El volumen del cuerpo generado al girar la gura
alrededor del eje x es
_

2
3
()
3
sen d,
si 0
Volumen de un cuerpo de secciones conocidas
152 Captulo 6. La integral de Riemann
x
rea S(x)
El volumen de la gura es
_
b
a
S(x)dx, donde S(x) es
el rea de la seccin perpendicular al eje en x
rea de una supercie de revolucin
a
b
y = f (x)
El rea de la supercie generada al girar la curva
alrededor del eje x es
_
b
a
f (x)
2
dx
(x(t
1
), y(t
1
))
(x(t
0
), y(t
0
))
El rea de la supercie generada al girar la curva
alrededor del eje x es

_
t
1
t
0
y(t)
2
x

(t)dt

,
si y(t) 0 para todo t [t
0
, t
1
]

= ()
El rea de la supercie generada al girar la curva alrededor
del eje x es
_

2
3
()
3
sen d, si 0
6.6. Apndice: clculo de primitivas 153
6.6. Apndice: clculo de primitivas
6.6.1. Mtodos bsicos de integracin
Integracin por partes: si f y g son dos funciones derivables,
_
f (x)g

(x)dx = f (x)g(x)
_
f

(x)g(x)dx.
Cambio de variable: Si
_
f (t)dt = F(t), esto es, F

(t) = f (t), y es una funcin derivable, enton-


ces
_
f ((x))

(x)dx = F((x)). Abreviadamente,


_
f ((x))

(x)dx =
_
f (t)dt = F(t) = F((x)).
En el primer paso se hace el cambio de variable t = (x), dt =

(x)dx; en el ltimo paso se


deshace el cambio t = (x).
6.6.2. Integrales elementales
a)
_
(x +a)
r
dx =
(x +a)
r+1
r +1
+C, si r =1
b)
_
dx
x +a
= log|x +a| +C
c)
_
e
x
dx = e
x
+C
d)
_
cosxdx = senx +C
e)
_
senxdx =cosx +C
f)
_
coshxdx = senhx +C
g)
_
senhxdx = coshx +C
h)
_
dx
cos
2
x
=
_
(1+tg
2
x)dx = tgx +C
i)
_
dx
sen
2
x
=ctgx +C
j)
_
dx
(x +a)
2
+b
2
=
1
b
arctg
x +a
b
+C =
1
b
arcctg
x +a
b
+D, si b = 0
k)
_
2(x +a)
(x +a)
2
+b
dx = log|(x +a)
2
+b| +C
l)
_
2(x +a)
[(x +a)
2
+b]
n
dx =
1/(1n)
[(x +a)
2
+b]
n1
+C, si n = 1
154 Captulo 6. La integral de Riemann
m)
_
dx
_
(x +a)
2
+b
= log

x +a+
_
(x +a)
2
+b

+C
n)
_
dx
_
b
2
(x +a)
2
= arcsen
x +a
b
+C =arccos
x +a
b
+D, si b > 0
)
_
dx
x
2
+1
= arctgx +C =arcctgx +D (es un caso particular de j))
o)
_
dx

x
2
+1
= argsenhx +C = log(x +
_
x
2
+1) +C (es un caso particular de m))
p)
_
dx

x
2
1
= argcoshx +C = log

x +
_
x
2
1

+C (es un caso particular de m))


q)
_
dx

1x
2
= arcsenx +C =arccosx +D (es un caso particular de n))
6.6.3. Integracin de algunos tipos de funciones
Funciones integrables por partes:
_
f (x)g(x)dx, donde f (x) es un polinomio y g(x) es una de
las funciones siguientes: e
ax
, senax, cosax, arcsenax, arctgax, logx, (x +a)
n
. . . ; o bien f (x) es una
funcin seno o coseno y g(x) es una funcin exponencial. Se puede intentar el mtodo de integracin
por partes.
Funciones racionales (cocientes de polinomios):
a) I
n
=
_
dx
(1+x
2
)
n
, donde n N. Se resuelve de forma recurrente: I
1
= arctgx +C; si n 2,
I
n
=
1
2n2

x
(1+x
2
)
n1
+
2n3
2n2
I
n1
b)
_
dx
(x
2
+ax +b)
n
, donde a
2
4b < 0 y n N. Se reduce al caso anterior haciendo cuadrados y
el cambio de variable y =
1
_
b
a
2
4
x +
a
2
:
_
dx
(x
2
+ax +b)
n
= (b
a
2
4
)
1
2
n
_
dy
(1+y
2
)
n
c)
_
Mx +N
(x
2
+ax +b)
n
dx, donde a
2
4b < 0 y n N. Se reduce a una integral inmediata y otra del
tipo anterior:
_
Mx +N
(x
2
+ax +b)
n
dx =
M
2
_
2x +a
(x
2
+ax +b)
n
dx +(N
aM
2
)
_
dx
(x
2
+ax +b)
n
d)
_
P(x)
Q(x)
dx, donde P y Q son polinomios cualesquiera. Se reduce a integrales inmediatas y de
los tipos anteriores, descomponiendo
P(x)
Q(x)
en fracciones simples: una suma de un polinomio y
una o varias funciones racionales de las formas
Mx +N
(x
2
+ax +b)
n
,
A
(x +c)
m
.
6.6. Apndice: clculo de primitivas 155
Funciones trigonomtricas:
a)
_
R(senx)cosxdx, donde R es una funcin racional. Se reduce a la integral de una funcin
racional con el cambio t = senx.
b)
_
R(cosx)senxdx, donde R es una funcin racional. Se reduce a la integral de una funcin
racional con el cambio t = cosx.
c)
_
R(tgx)dx, donde R es una funcin racional. Se reduce a la integral de una funcin racional
con el cambio t = tgx.
d)
_
R(senx, cosx)dx, donde R es una funcin racional. Se reduce a la integral de una funcin
racional con el cambio t = tg
x
2
, dx =
2dt
1+t
2
, cosx =
1t
2
1+t
2
, senx =
2t
1+t
2
.
e) Los productos de funciones trigonomtricas se transforman en sumas, mediante las frmulas
siguientes:
2senasenb = cos(ab) cos(a+b)
2cosacosb = cos(ab) +cos(a+b)
2senacosb = sen(ab) +sen(a+b)
En particular: cos
2
a =
1+cos2a
2
; sen
2
a =
1cos2a
2
.
Algunas funciones irracionales:
a)
_
R(x, x
m/n
, . . . , x
r/s
)dx, donde R es una funcin racional. Se reduce a la integral de una funcin
racional mediante el cambio x =t
k
, donde k es un comn mltiplo de los denominadores n, . . . , s.
b)
_
R
_
x,
_
ax +b
cx +d
_
1/n
_
dx, donde R es una funcin racional. Se reduce a la integral de una
funcin racional con el cambio
ax +b
cx +d
=t
n
.
c)
_
dx

ax
2
+bx +c
. Si a = 0 es inmediata. Y si a = 0 tambin, ya que
_
dx

ax
2
+bx +c
=
_
dx
_
a(x +
b
2a
)
2
+c
b
2
4a
.
d)
_
P(x)

ax
2
+bx +c
dx, donde P es un polinomio. Se hallan una constante K y un polinomio Q de
grado menor que P, tales que
_
P(x)

ax
2
+bx +c
dx = Q(x)
_
ax
2
+bx +c +K
_
dx

ax
2
+bx +c
.
e)
_
dx
(x u)
m

ax
2
+bx +c
. Se hace el cambio x u =
1
t
y se reduce a una de las anteriores.
156 Captulo 6. La integral de Riemann
f)
_
R(x,
_
a
2
(x +b)
2
)dx, donde R es una funcin racional. Se reduce a la integral de una
funcin de tipo trigonomtrico mediante uno de los dos cambios x +b = acost, x +b = asent.
g)
_
R(x,
_
(x +b)
2
a
2
)dx, donde R es una funcin racional. Se reduce a la integral de una
funcin de tipo trigonomtrico mediante uno de los dos cambios x +b =
a
cost
, x +b =
a
sent
.
h)
_
R(x,
_
a
2
+(x +b)
2
)dx, donde R es una funcin racional. Se reduce a la integral de una
funcin de tipo trigonomtrico mediante uno de los dos cambios x +b = atgt, x +b =
a
tgt
.
i)
_
R(x,
_
ax
2
+bx +c)dx, donde R es una funcin racional. O bien se expresa como uno de los
tres tipos anteriores, o bien se reduce a la integral de una funcin racional mediante un cambio
de variable de Euler:

ax
2
+bx +c =t x

a, si a > 0;

ax
2
+bx +c =tx

c, si c > 0;

ax
2
+bx +c =t(x u), si au
2
+bu+c = 0.
j)
_
x
r
(a +bx
s
)
p
dx, donde r, s y p son nmeros racionales. Solo se integran en los siguientes
casos:
Si p N, se desarrolla (a+bx
s
)
p
y es inmediata.
Si p es un entero negativo, se hace el cambio x = t
k
, donde k es un denominador comn
de las fracciones r y s.
Si
r +1
s
Z, se hace el cambio a+bx
s
=t
k
, donde k es el denominador de la fraccin p.
Si
r +1
s
+ p Z, se hace el cambio a +bx
s
= x
s
t
k
, donde k es el denominador de la
fraccin p.
6.7. Ejercicios
Ejercicio 6.1. Calcular las primitivas de las siguientes funciones:
1)
(1+

x)
3
x
1/3
2)
(arcsenx)
2

1x
2
3)
1

x x
2
4) 4cos
3
x 3cosxsenx 5)
sen
3
x

cosx
6)
1
a
2
e
x
+b
2
e
x
7) x
5

1x
3
8)
1
x(x
7
+1)
9)
1
senx +cosx
10) arctgx 11) cosxlog(1+cosx) 12) log
2
x
13)
cos2x
e
x
14)
xarcsenx

1x
2
15) xtg
2
x
6.7. Ejercicios 157
16)
xe
x
(1+x)
2
17)
x
2
3x +3
x
2
3x +2
18)
1
(x
2
4x +3)(x
2
+4x +5)
19)
x
x
4
+(a+b)x
2
+ab
20)
3x +5
(x
2
+2x +2)
2
21)
1
x
4
+x
2
+1
22)
1
x
4
+1
23)
1
x

x
2
1
24)

x x
2
x
4
25)
(1+

x)
2
2+

x
26)
1+x
1+

x
27)
1
x

2x +1
28)
1
x(

1+x 2)
29)
3x
2/3
7
x 7x
1/3
+6
30)
3
x +3(x +4)
2/3
31)
x +

x +1
x

x +1
32)

x +1+2
(x +1)
2

x +1
33)
1
x +1
_
3+x
x 1
34) sec
3
x 35)
1
(a+bcosx)senx
36)
1
2+3tgx
37)
x
2

2x x
2
38)
x
2
3x +7

2x
2
+4x +5
39)
x
2

3x
2
x +1
Ejercicio 6.2. Calcular los lmites siguientes mediante integrales denidas:
a) lm
n
1
n
_
cos
x
n
+cos
2x
n
+ +cos
nx
n
_
b) lm
n
_
n
n
2
+1
2
+
n
n
2
+2
2
+ +
n
n
2
+n
2
_
c) lm
n
_
1

n
4
+1
+
2

n
4
+2
4
+ +
n

n
4
+n
4
_
d) lm
n
1
k
+2
k
+ +n
k
n
k+1
, (k 0)
Ejercicio 6.3. Sea f continua en [0, a]. Comprobar que
_
a
0
f (x)dx =
_
a
0
f (ax)dx
y calcular, para n = 1 y n = 3,
_

0
xsen
n
x
1+cos
2
x
dx.
Ejercicio 6.4. Calcular las integrales denidas siguientes:
a)
_

3

3
_
4x
2
dx b)
_
4
2

x
2
4
x
4
dx c)
_
/2
0
senx
3+sen
2
x
dx
d)
_
1
0
_
2x x
2
dx e)
_
1
0
log(1+x)
(1+x)
2
dx f)
_
/2
/2
_
cosx cos
3
xdx
158 Captulo 6. La integral de Riemann
Ejercicio 6.5. Probar que las siguientes funciones son derivables y hallar sus derivadas:
a) F(x) =
_
x
3
a
sen
3
t dt
b) F(x) =
_
b
a
f (x +t)dt, con f continua
c) F(x) =
_
x
0
x f (t)dt, con f continua
d) F(x) =
_
g(x)
f (x)
h(t)dt, con h continua y f y g derivables
Ejercicio 6.6. Demostrar que si f es continua,
_
x
0
f (u)(x u)du =
_
x
0
_
_
u
0
f (t)dt
_
du.
Ejercicio 6.7. Hallar el siguiente lmite: lm
x0
+
_
x
x
2
e
t
1
sent
2
dt
logx
.
Ejercicio 6.8. Demostrar que
_
/2
0
sen
n
xdx =
n1
n
_
/2
0
sen
n2
xdx, para cada n 2. Probar que
para cada n 1 se tiene:
a)
_
/2
0
sen
2n+1
xdx =
2 4 6. . . 2n
3 5 7. . . (2n+1)
b)
_
/2
0
sen
2n
xdx =

2

1 3 5. . . (2n1)
2 4 6. . . 2n
Ejercicio 6.9. Hallar el rea de la gura limitada por la parbola y =x
2
2x +3, su tangente en el
punto (2, 5) y el eje y.
Ejercicio 6.10. Calcular el rea de la gura limitada por la curva y
2
= x(x 1)
2
.
Ejercicio 6.11. La corona circular centrada en el origen y de radio interior

2 y radio exterior

6 se
corta con la parbola de ecuacin x = y
2
. Hallar el rea de una de las dos supercies que se forman.
Ejercicio 6.12. Hallar el valor del parmetro para el que la curva y = cosx divide en dos partes
de igual rea la regin limitada por el eje x, la curva y = senx y la recta x = /2.
Ejercicio 6.13. Hallar la longitud del arco que la recta x = 4/3 corta en la curva y
2
= x
3
.
Ejercicio 6.14. Calcular la longitud del arco de la curva y = logcosx entre los puntos de abscisas
x = 0, x = /4.
Ejercicio 6.15. Hallar la longitud del arco de la curva x =
1
4
y
2

1
2
logy entre los puntos y =1 e y =2.
Ejercicio 6.16. Hallar la longitud de la astroide x
2/3
+y
2/3
= a
2/3
, donde a > 0.
Ejercicio 6.17. Hallar el volumen del slido obtenido al girar la curva a
2
y
2
= ax
3
x
4
alrededor del
eje x (a > 0).
6.7. Ejercicios 159
Ejercicio 6.18. Calcular el volumen del slido engendrado al girar alrededor del eje x la gura limi-
tada por y = acosh
x
a
y las rectas x = c, x =c (a, c > 0).
Ejercicio 6.19. La gura limitada por la sinusoide y = senx (0 x /2), el eje de ordenadas y la
recta y = 1 gira alrededor del eje y. Calcular el volumen del slido de revolucin as engendrado.
Ejercicio 6.20. Hallar el rea del elipsoide formado al girar alrededor del eje x la elipse de ecuacin
x
2
a
2
+
y
2
b
2
= 1 (a > b > 0).
Ejercicio 6.21. Hallar el rea de la supercie generada al girar alrededor del eje y la porcin de la
curva y = x
2
/2 cortada por la recta y = 3/2.
Ejercicio 6.22. Hallar el rea de la supercie generada al girar alrededor del eje x la porcin de la
curva y
2
= 4+x cortada por la recta x = 2.