Sección 4.

2 La integral definida 229

y SOLUCIÓN Aquí no hay fórmula de geometría elemental que nos ayude. La figura
10 10 sugiere que la integral es -A1 + A2, en donde A1 y A2 son las áreas de las regiones
y = 2x2 – 8 por abajo y por encima del eje x, respectivamente.
8
Sea P una partición regular de [-1, 3] en n subintervalos, cada uno de longitud
¢x = 4>n, En cada subintervalo [xi1, xi], elíjase xi, como el punto frontera del lado dere-
6

4 cho, de modo que xi = xi. Entonces,

A2
2

xi = - 1 + i ¢x = - 1 + ia b
4
x
–2
1 2 3 n
–4 A1 y
4 2
f1xi2 = 2x2i - 8 = 2 c - 1 + i a b d - 8
–6

n
16i 32i2
– (2x
2 – 8) dx = – 1 + A2 = – 40
3
= -6 - + 2
n n
Figura 10
En consecuencia,
n n
≈ Sentido común a f1xi2 ¢xi = a f1xi2 ¢x
i=1 i=1
Dada la gráfica de una función, n
= a c -6 - i + 2 i2 d
16 32 4
siempre podemos hacer una estima-
ción para el valor de una integral i=1 n n n
definida utilizando el hecho de que 24 n 64 n 128 n 2
= - 1 - i + i
n ia n2 ia n3 ia
es el área con signo
=1 =1 =1
Aarriba - Aabajo
64 n1n + 12 128 n1n + 1212n + 12
1n2 - 2
24
Por lo tanto, en el ejemplo 4 podría- = - + 3
n n 2 n 6
mos estimar el valor de la integral
haciendo de cuenta que la parte por
= - 24 - 32 a 1 + b + a2 + + 2b
1 128 3 1
arriba del eje x es un triángulo y la
n 6 n n
parte por abajo del eje x es un rec-
tángulo. Nuestra estimación es Concluimos que
2 1121102 - 132162 = - 13
1
3 n
12x2 - 82 dx = lím a f1xi2 ¢xi
L-1 7P7 : 0 i=1

= lím c -24 - 32 a1 + b + a2 + + 2b d
1 128 3 1
n: q n 6 n n
128 40
= - 24 - 32 + = -
3 3
No es de sorprender que la respuesta sea negativa, ya que la región por debajo del eje
x parece ser mayor que aquella que está por encima del eje x (véase la figura 10). Nuestra
respuesta es cercana a la estimación dada en la nota al margen SENTIDO COMÚN; esto
nos reafirma que nuestra respuesta probablemente sea correcta. ■

Propiedad aditiva para intervalos Nuestra definición de integral definida fue

motivada por el problema de áreas para regiones curvas. Considérense las dos regiones
curvas R1 y R2 de la figura 11 y sea R = R1 ´ R2. Es claro que
y
A1R2 = A1R1 ´ R22 = A1R12 + A1R22
y = f (x)

lo cual sugiere que

R2
R1 c b c
f1x2 dx = f1x2 dx + f1x2 dx
a b c x
La La Lb
Rápidamente señalamos que esto no constituye una demostración de este hecho acer-
Figura 11 ca de integrales, ya que, antes que nada, nuestro análisis de área en la sección 4.1 fue un
230 Capítulo 4 La integral definida

poco informal y, segundo, nuestro diagrama supone que f es positiva, lo cual no necesa-
riamente es cierto. Sin embargo, las integrales definidas satisfacen esta propiedad aditi-
va para intervalos y no importa cómo estén acomodados los tres puntos a, b y c.
Dejamos la demostración rigurosa para trabajos más avanzados.

Teorema B Propiedad aditiva para intervalos

Si f es integrable en un intervalo que contenga a los puntos a, b y c, entonces
c b c
f1x2 dx = f1x2 dx + f1x2 dx
La La Lb
no importa el orden de a, b y c.

Por ejemplo,
2 1 2
x2 dx = x2 dx + x2 dx
L0 L0 L1
lo cual, de buena gana, la mayoría de las personas cree. Pero también es cierto que
2 3 2
x2 dx = x2 dx + x2 dx
L0 L0 L3
lo cual parece sorprendente. Si usted desconfía del teorema, podría evaluar realmente
cada una de las integrales anteriores para ver que se cumple la igualdad.

Velocidad y posición Casi al final de la sección 4.1 explicamos cómo el área de-
bajo de la curva de la velocidad es igual a la distancia recorrida, siempre que la función
velocidad v(t) sea positiva. En general, la posición (que podría ser positiva o negativa)
es igual a la integral definida de la función velocidad (que podría ser positiva o negati-
va). Para ser más específicos, si v(t) es la velocidad de un objeto en el instante t, donde
t Ú 0, y si el objeto está en la posición 0 en el instante 0, entonces la posición del objeto
a
en el instante a es 10 v1t2 dt.

■ EJEMPLO 5 Un objeto en el origen en el instante t = 0 tiene velocidad, medida

en metros por segundo,

t>20, si 0 … t … 40
v1t2 = c 2, si 40 6 t … 60
v t/20, 0  t  40
2, 40  t  60
5 - t>20 si t 7 60
2 v(t) =
5 –t/20, t 60
1 Haga un bosquejo de la curva velocidad. Exprese la posición del objeto en t = 140 co-
mo una integral definida y evalúela mediante fórmulas de la geometría plana.
20 40 60 80 100 120 140 160 180
t
SOLUCIÓN La figura 12 muestra la curva solución. La posición en el instante 140 es
–1 140
igual a la integral definida 10 v1t2 dt, que puede evaluarse por medio de las formu-
–2 las para el área de un triángulo y de un rectángulo; asimismo, con el uso de la propie-
dad aditiva para intervalos (teorema B):
Figura 12 140 40 60 140
a5 - b dt
t t
v1t2 dt = dt + 2 dt +
L0 L0 20 L40 L60 20
= 40 + 40 + 40 - 40 = 80 ■

Revisión de conceptos
n
1. Una suma de la forma a f1x i2 ¢x i se denomina _____.
3. Geométricamente, la integral definida corresponde a un área
b
i=1
con signo. En términos de Aarriba y Aabajo, f1x2 dx = = _______.
La
2. El límite de la suma anterior para f definida en [a, b] se llama
4
una ______ y se simboliza por medio de ______.
4. Por lo tanto, el valor de x dx es _______.
L-1
 Sección 4.3 El Primer Teorema Fundamental del Cálculo 235

Teorema A Primer Teorema Fundamental del Cálculo.

Sea f continua en el intervalo cerrado [a, b] y sea x un punto (variable) en (a, b). En-
tonces,
x
d
f1t2 dt = f1x2
dx La

Bosquejo de la demostración Por ahora presentamos un bosquejo de la de-

mostración, el cual muestra las características importantes de la demostración, pero
una demostración completa debe esperar hasta después que hayamos establecido otros
x
resultados. Para x en [a, b], definimos F1x2 = f1t2 dt. Entonces para x en (a, b)
La
x
d
f1t2 dt = F¿1x2
dx La
F1x + h2 - F1x2
= lím
h:0 h
x+h x
c f1t2 dt d
1
= lím f1t2 dt -
h:0 h La La
x+h
1
= lím f1t2 dt
h:0 h Lx
y
La última línea se deduce de la propiedad aditiva para intervalos (teorema 4.2B).
h Ahora, cuando h es pequeña, f no cambia mucho en el intervalo [x, x + h]. En este in-
y = f (t) tervalo, f es aproximadamente igual a f (x), el valor de f se evalúa en el extremo
izquierdo del intervalo (véase la figura 4). El área bajo la curva y = f(t) de x a x + h
f (x) es aproximadamente igual al área del rectángulo con ancho h y altura f(x), esto es,
x+h
f1t2 dt L hf1x2. Por lo tanto,
Lx
a x x+h t
x
Figura 4 d 1
f1t2 dt L lím [hf1x2] = f1x2 ■
dx La h : 0 h

Por supuesto, el error en este argumento es que h nunca es cero, así que no pode-
mos asegurar que f no cambia en el intervalo [x, x + h]. Daremos una demostración for-
mal al final de esta sección.

Propiedades de comparación La consideración de las áreas de las regiones R1

y R2, en la figura 5, sugiere otra propiedad de las integrales definidas.

Teorema B Propiedad de Comparación

Si f y g son integrables en [a, b] y si f(x) … g(x) para toda x en [a, b], entonces
b b
f1x2 dx … g1x2 dx
y La La

y= x En lenguaje informal, pero descriptivo, decimos que la integral definida preserva

R2
y= desigualdades.
R1

x Demostración Sea P: a = x0 6 x1 6 x2 6 ··· 6 xn = b una partición arbitraria de [a, b]

a b
y para cada i sea xi cualquier punto muestra en el i-ésimo subintervalo [xi-1, xi]. De ma-
Figura 5 nera sucesiva podemos concluir que
236 Capítulo 4 La integral definida

f1xi2 … g1xi2
f1xi2 ¢xi … g1xi2 ¢xi
n n

a f1xi2 ¢xi … a g1xi2 ¢xi

i=1 i=1
n n
lím f1xi2 ¢xi … lím a g1xi2 ¢xi
7P7 : 0 a
i=1 7P7 : 0 i=1

b b
f1x2 dx … g1x2 dx ■
La La

Teorema C Propiedad de Acotamiento

Si f es integrable en [a, b] y m … f(x) … M para toda x en [a, b], entonces
b
m1b - a2 … f1x2 dx … M1b - a2
La

y
Demostración La gráfica en la figura 6 nos ayuda a entender el teorema. Observe
que m(b - a) es el área del pequeño rectángulo inferior, M(b - a) es el área del rectángulo
M b
mayor y f1x2 dx es el área debajo de la curva.
y = f (x)
La
Para demostrar la desigualdad del lado derecho, sea g(x) = M para toda x en [a, b].
m Entonces, por el teorema B,
b b
f1x2 dx … g1x2 dx
La La
a b x
b
Sin embargo, g1x2 dx es igual al área del rectángulo con ancho b - a y altura M.
Figura 6 La
Así,
b
g1x2 dx = M1b - a2
La
La desigualdad del lado izquierdo se maneja de manera análoga. ■

La integral definida es un operador lineal Anteriormente aprendimos que

b
D x, 1 Á dx, y © son operadores lineales. Puede agregar Á dx a la lista.
La

Teorema D Linealidad de la integral definida

Suponga que f y g son integrables en [a, b] y que k es una constante. Entonces kf y
f + g son integrables y:
b b
(i) kf1x2 dx = k f1x2 dx;
La La
b b b
(ii) [f1x2 + g1x2] dx = f1x2 dx + g1x2 dx; y
La La La
b b b
(iii) [f1x2 - g1x2] dx = f1x2 dx - g1x2 dx.
La La La

Demostración Las demostraciones de (i) y (ii) dependen de la linealidad de © y

las propiedades de límites. Demostramos (ii).
 Sección 4.3 El Primer Teorema Fundamental del Cálculo 237

b n
[f1x2 + g1x2] dx = lím a [f1xi2 + g1xi2]¢xi
La 7P7 : 0 i=1

n n
= lím c a f1xi2 ¢xi + a g1xi2 ¢xi d
7P7 : 0 i=1 i=1

n n
= lím a f1xi2 ¢xi + lím a g1xi2 ¢xi
7P7 : 0 i=1 7P7 : 0 i=1

b b
= f1x2 dx + g1x2 dx
La La

La parte (iii) se deduce de (i) y (ii) si se escribe f(x) - g(x) como f(x) + (-1)g(x).
■

Demostración del Primer Teorema Fundamental del Cálculo. Con

estos resultados a la mano, ahora estamos preparados para demostrar el Primer Teore-
ma Fundamental del Cálculo.

Demostración En el bosquejo de la demostración que se presentó antes, defini-

x
mos F1x2 = f1t2 dt, y establecimos el hecho de que
La

x+h
F1x + h2 - F1x2 = f1t2 dt
Lx
y Suponga por el momento que h 7 0 y sean m y M los valores mínimo y máximo,
M
respectivamente, de f en el intervalo [x, x + h] (véase la figura 7). Por el teorema C,
y = f(t)
m x+h
mh … f1t2 dt … Mh
Lx
f(x)
o

x x+h t mh … F1x + h2 - F1x2 … Mh

Figura 7 Al dividir entre h, obtenemos

F1x + h2 - F1x2
m … … M
h
Ahora m y M en realidad dependen de h. Además, ya que f es continua, tanto m como
M deben aproximarse a f (x) cuando h : 0. Así, por el Teorema del Emparedado,

F1x + h2 - F1x2
lím = f1x2
h:0 h
El caso en donde h 6 0 se maneja de manera análoga. ■

Una consecuencia teórica de este teorema es que toda función continua f tiene
una antiderivada F dada por la función de acumulación

x
F1x2 = f1t2 dt
La
No obstante, este hecho no es útil para obtener una fórmula sencilla para cualquier
antiderivada particular. La sección 7.6 proporciona varios ejemplos de funciones
importantes que están definidas como funciones de acumulación. En el capítulo 6
definiremos la función logaritmo natural como una función de acumulación.
256 Capítulo 4 La integral definida

impar satisface f(-x) = -f(x). La gráfica de la primera es simétrica respecto al eje x; la

gráfica de la segunda es simétrica respecto al origen. A continuación, está un útil teore-
ma de integración para tales funciones.

Teorema B Teorema de simetría

Si f es una función par, entonces
a a
f1x2 dx = 2 f1x2 dx
L-a L0

Si f es una función impar, entonces

a
f1x2 dx = 0
L-a

Demostración para funciones pares La interpretación geométrica de este

teorema se muestra en las figuras 6 y 7. Para justificar analíticamente los resultados,
primero escribimos
a 0 a
f1x2 dx = f1x2 dx + f1x2 dx
L-a L-a L0

–a + +
– a
–
–a a

Función par Función impar

Área de la izquierda = área de la derecha El área de la izquierda neutraliza el área de la derecha

Figura 6 Figura 7

En la primera de las integrales de la derecha hacemos la sustitución u = -x, du = -dx. Si

f es par, f(u) = f(-x) = f (x) y

0 0 0 a a
f1x2 dx = - f1 - x21 - dx2 = - f1u2 du = f1u2 du = f1x2 dx
L-a L-a La L0 L0

Por lo tanto,

a a a a
f1x2 dx = f1x2 dx + f1x2 dx = 2 f1x2 dx
L-a L0 L0 L0

La demostración para funciones impares se deja como un ejercicio (problema 60). ■

■ EJEMPLO 5 cos a b dx.

x
Evalúe
Asegúrese de observar las hipótesis L-p 4
del teorema de simetría. El integran-
do debe ser par o impar y el interva- SOLUCIÓN Puesto que cos(-x>4) = cos(x>4), f (x) = cos(x>4) es una función par.
lo de integración debe ser simétrico Así que
con respecto al origen. Éstas son
p p p
cos a b dx = 2 cos a b dx = 8 cos a b # dx
condiciones restrictivas, pero es sor- x x x 1
prendente cómo se cumplen en las
L-p 4 L0 4 L0 4 4
aplicaciones. Cuando se cumplen,

cos u du = C 8 sen u D 0
pueden simplificar en gran medida p>4
p>4
las integraciones. = 8 = 4 22 ■
L0