6

Integracin

En las secciones 2.6 y 3.3 nos hemos ocupado del problema de determinar
la posicin conocida la velocidad, o de determinar sta ltima sabida la
aceleracin. Tambin se podra pensar, en el marco de un proceso de llenado
(o vaciado) de un recipiente, en la determinacin del volumen en funcin
del tiempo cuando se tiene como dato el caudal. Todos estos son problemas
que llevan a la ecuacin diferencial
dy
= f (x) ,
dx

x I.

(1)

En la seccin 3.3 vimos que esta ecuacin, si tene alguna solucin, admite
una familia infinita de ellas, todas difiriendo en una constante, y ninguna
otra. Esto es, nos ocupamos del problema de unicidad. Pero en cuanto a
saber de antemano si hay solucin, o desarrollar tcnicas para encontrarla,
nada. Apenas encontramos soluciones "a ojo" en casos evidentes. El problema de existencia de solucin de (1), esto es la bsqueda de antiderivadas,
es el objeto de este captulo.
Una funcin y = F (x) es una solucin de (1) si F 0 = f en I. Una tal
funcin es llamada una primitiva de f en I. Por supuesto que el primer
mtodo para buscar primitivas es la evidencia: Cada clculo de derivada,
mirado de derecha a izquiera, da una primitiva. sen es una primitiva
de cos y exp lo es de s misma. Las reglas de derivacin (linealidad,
derivadas de productos y cocientes y regla de la cadena), se convierten en
reglas para calcular primitivas. Hasta hace pocos aos la habilidad en estos
clculos se consideraba un mrito, pero esa habilidad fue ya aprendida por
los softwares matemticos, que pueden hacer nuestro trabajo con rapidez
y exactitud (Clculo Simblico). Sin embargo, los fundamentos deben ser

180

Captulo 6 - Integracin

aprendidos porque se utilizan en muchas deducciones tericas. La primera

seccin trata de este problema.
No debe creerse que toda funcin tiene una primitiva. En la seccin 3.5
nota 3 se dijo que la derivada de una funcin derivable en todo un intervalo
I no puede tener discontinuidades de salto. Luego ninguna funcin con
una discontinuidad de salto podr tener una primitiva en todo un intervalo.
Otras veces, con funciones continuas que s las tienen, resulta que esas primitivas no estn en la biblioteca de funciones que nosotros manejamos. Es
decir, no se obtienen a partir de operaciones simples con las funciones elementales. Por ejemplo, si le pido al clculo simblico que tiene incorporado
el editor
2 de texto con que estoy escribiendo estas notas una primitiva de
exp x , me responde as:
Z

1
exp x2 dx =
erf (x) .
2

erf no es una funcin

Justamente se define como cierta particular
conocida.

primitiva de exp x2 . La existencia de primitivas para cualquier funcin

continua ser el objeto de la tercera seccin. La prueba es constructiva y
slo daremos una idea de cmo se hace. El mtodo, que en este caso es
numrico y no simblico, pasa por saber calcular el rea de ciertas regiones
planas. Ese ser el tema de la segunda seccin.

6.1

Integral indefinida

Una funcin F cuya derivada es f en cierto intervalo es llamada una

primitiva o una integral
R indefinida de f en ese intervalo. La tradicin
estableci
el
smbolo
para la operacin
de buscar primitivas. Se escribe
R
R
f (sin mencin de la variable) o
f (x) dx (mencionando la variable).
Este smbolo denota la operacin de buscar una primitiva de la funcin f.
As, por ejemplo,
Z
cos = sen ,
Z
1 3
x .
x2 dx =
3
Pero tambin
Z

cos = sen + 1 y

x2 dx =

1 3
x + 32.
3

6.1 Integral indefinida

181

Como se ve, siR el signo = se entiende de la manera habitual, si se

piensa que cos es una funcin (ya que se presenta igualada a sen
que s lo es), puesto que dos cosas iguales a una tercera son iguales entre s,
concluiremos que
R sen R= sen + 1. Debemos entonces tener la precaucin de
entender que f y f (x) dx son operaciones y que
Z

f (x) dx = F (x) en I significa que F 0 (x) = x, x I.

(2)

La expresin f (x) dx cubierta por el signo integral se llama integrando.

El elemento dx que se lee diferencial equis, que aparece "multiplicando"
en el integrando, no tiene significado en s mismo. La integracin es una
operacin inversa de la derivacin y el smbolo dx multiplicando en la
integracin tiene un papel y una historia similares a los del dx dividiendo
en la diferenciacin que se aclarar ms adelante. Advirtase que la mencin
de la variable x es perfectamente
intil cuando la funcin tienen nombre,
R
como se ve en el ejemplo cos = sen . Y si bien
R es necesaria cuando
la funcin no tiene nombre, como en el ejemplo x2 dx = 13 x3 , se trata
de una "variable muda", que puede
por cualquier otra sin
R 2 ser reemplazada
variar el sentido. La expresin
u du = 13 u3 tiene exactamente el mismo
significado. Nuestro conocimiento de que las primitivas de una funcin
f forman una familia de funciones en la que dos miembros difieren en
una constante se suele recoger escribiendo, cuando F es una primitiva
cualquiera,
Z
f (x) dx = F (x) + C.
Ntese que la insistencia en referir el concepto de primitiva a un intervalo
no es caprichosa. El teorema de unicidad en la seccin 3.3. tiene validez en
un intervalo. Si aceptamos otro tipo de dominios, dos primitivas podran
no diferir en una constante. En algunos libros se puede encontrar que
Z

1
dx = ln |x| .
x

(3)

En efecto, ambas funciones tienen su dominio en = (, 0) (0, +) y,

d
ln |x| = x1 . Pero no es un intervalo y no aceptaremos
en ese conjunto, dx
aqu la frmula (3).
A partir de las derivadas que conocemos podemos construir una primera
tabla de integrales inmediatas. Luego veremos tcnicas para calcular otras

182

Captulo 6 - Integracin

integrales ms complicadas a partir de ellas (ver ejercicios 1. a 10.).

R

R
R

xc dx =

xc+1
c+1

+ K,

para c 6= 1

x1 dx = ln x + K

en (0, +) ,

x1 dx = ln (x) + K

en (, 0) .

sen x dx = cos x + C
cos x dx = sen x + C
dx
1x2
dx
1+x2

= arcsen x + C, en (1, 1)

= arctan x + C

ex dx = ex + C

Ejercicios:
Calcular las siguientes integrales indefinidas. En los casos que
corresponda explicitar el intervalo de validez de la respuesta
dada.
R 1
R
nZ
2. x n dx,
n Z, n 6= 0
1. xn dx,
3.

5.
7.
9.

sen xdx

4.

1
dx
cos2 x

6.

1
dx
1x2

8.

ex dx

10.

cos xdx

(1 + tan2 x)dx
1 dx
1x2

dx
x

11. Mostrar un ejemplo de una funcin con dos primitivas que no

difieren en una constante (Obviamente en una regin que
no es un intervalo)
Cada propiedad de la derivacin se convierte en una propiedad de su
operacin inversa: la integracin indefinida. Ellas sern de gran utilidad en

6.1 Integral indefinida

183

el clculo de primitivas.

Linealidad
R
R
Usando la linealidad de la derivada, si
f = F y
g = G en un
0
0
0
intervalo,
y , son constantes, (F + G) = F + G = f + g. Esto
R
es, f + g = F + G. Este resultado se recuerda escribindolo as:
Z

f + g =

f +

g.

(4)

Esta igualdad es una igualdad entre procedimientos: Para encontrar una

primitiva de f + g, hay que encontrar una primitiva de f , multiplicarla
por y sumarle una primitiva de g multiplicada por .

Ejemplo 1.
Z

5x3 + 3 x

1
cos2 x

dx = 5

x3 dx + 3

xdx

dx
=
cos2 x

1
2 3
5 x4 + 3 x 2 tan x + C
4
3

Ejercicios:
Hallar las siguientes integrales indefinidas:

12.
14.
16.

R 2
3x 2x + 1 dx
R

(a cos nx + bsen nx) dx

dx
xa

13.
15.

(an xn + ... + a1 x + a0 ) dx
tan2 xdx

17. Reescribir la frmula (4) en su versin con mencin de la variable independiente.

Sustitucin
A partir de la regla de la cadena:

184

Captulo 6 - Integracin

d
F (g(x)) = F 0 (g (x)) g 0 (x) ,
dx
se deduce, simplemente por aplicacin de (2), que
Z
F 0 (g (x)) g 0 (x) dx = F (g(x)).

(5)

Pero es difcil ver en un integrando concreto que se lo puede interpretar

como en (5) Por ejemplo, si deseamos calcular
Z
2x + 1
dx
2
x +x+3
Haciendo F (u) = ln u, g (x) = x2 + x 3, resulta F 0 (u) = u1 y g 0 (x) =
2x + 1. De modo que
Z
Z

2x + 1
dx = F 0 (g (x)) g 0 (x) dx = F (g(x)) = ln x2 + x + 3 + C,
2
x +x+3

por (5). Demasiadas cosas para manejar con un solo golpe de vista.

Lo que se hace es dividir el problema en dos. Si se advierte la presencia

de una g y su derivada, el problema se reduce a encontrar la primitiva de
la funcin "exterior". Esto es: para calcular
Z
f (g (x)) g 0 (x) dx,
(6)
si F es una primitiva de f , esto es si
Z
f (u) du = F (u) + C,
Entonces

f (g (x)) g 0 (x) dx = F (g (x)) + C.

(7)

(8)

La prueba es la misma,
d
F (g (x)) = F 0 (g (x)) g 0 (x) = f (g (x)) g 0 (x) .
dx

(9)

Slo que ahora uno no tiene que ver de antemano que f es una derivada.
Hace la sustitucin u = g (x) , reemplaza g 0 (x) dx por du, y se pone
tranquilo a calcular la integral (7) dejando de lado la (6), ms complicada.
Una vez resuelta (7) y encontrada la primitiva F , se vuelve a restituir a u
el valor g (x) y se lee la solucin definitiva en (8). La prueba (9) Justifica

6.1 Integral indefinida

185

el reemplazo formal de g 0 (x) dx por du hecho bajo el signo integral como

si se tratase de una igualdad. Es conveniente notar que
g 0 (x) dx =

du
dx = du,
dx

como si los smbolos dx en numerador y denominador se simplificasen. En

la prctica se acta de esa manera.

Ejemplo 2. Calculemos la integral

Z
2x + 1

I=
dx.
x2 + x + 1
Haciendo la sustitucin u = x2 + x + 1, resulta du
dx = 2x + 1. Luego
du = (2x + 1) dx. Entonces,
Z
p

1
du = 2 u = 2 x2 + x + 1 + C.
I=
u
La validez del resultado es en toda la recta, ya que x2 + x + 1 > 0 x.
Ejercicios
Calcular las siguientes integrales
R 3 x4
R x2
19.
x e dx
18.
xe dx
20.

22.
24.
26.
28.
30.
32.

x2 1 + x3 dx
1
dx,
x(log x)n

nZ

21.

23.

x
x+1 dx

25.

sen 2 x cos x dx

27.

arctan x
dx
1+x2

29.

cos 2x dx

31.

dx
a2 x2

log x
x dx

e4x dx
sen x cos x dx
sen x
dx
1+cos2 x

sen 2x dx
dx
x2 +a2

186

Captulo 6 - Integracin

Integracin por partes

Otra regla de derivacin que provee un mtodo de integracin es la regla
de derivacin de un producto. De
d
d
d
(f (x) g (x)) =
f (x) g (x) + f (x)
g (x)
dx
dx
dx
resulta
d
d
d
g (x) =
(f (x) g (x)) g (x)
f (x)
dx
dx
dx
R d
Integrando miembro a miembro y usando la linealidad ( dx
h (x) dx = h (x)
por definicin),
f (x)

Z
d
d
g (x) dx = f (x) g (x) g (x)
f (x) dx,(10a)
f (x)
dx
dx
Z
Z
o bien,
f (x) g 0 (x) dx = f (x) g (x) g (x) f 0 (x) dx.
(10b)
Z

El uso de variables dependientes y sustituciones formales tambin simplifica

las frmulas en este caso. Poniendo
f (x) = u,

g (x) = v,

= f 0 (x) ,

dv
= g 0 (x) , o sea
dx
du
f 0 (x) dx =
dx
dx

(11)

resulta
du
dx

g 0 (x) dx =

dv
dx,
dx

Si volvemos a simplificar dx, (10) toma la forma

Z

udv = uv

vdu.

(12)

Nuevamente, debe entenderse que las expresiones u, v, du y dv fueron

definidas por (11) y por
du = f 0 (x) dx,

dv = g 0 (x) dx

(13)

para su uso dentro del signo integral. Con esta definicin, (12) se convierte
en (10) y su uso queda validado.

6.1 Integral indefinida

Ejemplo 3:
I=
Interpretando

ln x = u
dx = dv

187

ln xdx

se deduce que

du = x1 dx
.
v=x

Luego, la aplicacin de (12) da

Z
Z
Z
1
I = udv = uv vdu = x ln x x dx = x ln x x + C.
x
Se puede comprobar el resultado obtenido derivando:
d
1
(x ln x x) = ln x + x 1 = ln x.
dx
x
Ejercicios
Hallar las integrales siguientes.
R
33.
arcsen x dx
35.

37.
39.
41.

Funciones racionales

34.

e2x sen 3x dx

36.

x2 ex dx

38.

x cos x dx

40.

x2 ln x dx

arctan x dx
(lnx)2 dx
x sen x dx
x2 sen x dx

Recordemos que una funcin racional es aquella que se escribe como

cociente de dos polinomios. La integracin de funciones racionales es esencialmente un problema algebraico. Si se conocen todas las races del denominador, la funcin racional se puede descomponer en fracciones parciales,
y stas se integran con mtodos muy simples. No nos parece interesante
insistir sobre este mtodo, cuyo desarrollo el lector podr encontrar en [1].
Para aplicarlo, es necesario primero hallar la factorizacin del denominador,
que implica calcular sus races. El clculo de las races de un polinomio ha

188

Captulo 6 - Integracin

sido un tema de alta preferencia de los matemticos. Es interesante tener

una somera idea de su historia. Por ejemplo una nota muy accesible se encuentra en [8] , 18 19. Mostraremos aqu algunas ideas bsicas y algunos
ejemplos sencillos.
Ante todo, siempre se trabaja con "fracciones propias", esto es el grado
del numerador estrictamente menor que el grado del denominador. Porque
dada una funcin racional cualquiera f (x) = P (x) Q (x), se hace la
divisin entera (ver ejemplo 8 en seccin 3.1) P = QS + R con gr (R) <
gr (Q) Ahora
R
P
=S+ ,
Q
Q
donde el polinomio S
paradigmticos.
1.

es fcil de integrar. Veamos entonces los casos

dx
=
(x a)n

I=

2.

(x a)n+1 si n 6= 1
.
ln (x a) si n = 1
1
n+1

dx
= arctan x + C
+1

x2

(ejemplo 5 en la seccin 4.2). Para potencias mayores se consiguen las

integrales por mtodos recursivos que bajan el grado en una unidad.
Por ejemplo, calculemos
3.
J=

(x2

dx
.
+ 1)2

El truco consiste en volver a calcular I del caso 2, pero ahora por

partes para que aparezca J. Si ponemos
(

dx
du = (x2x
u = x21+1
2 +1)2
=
dx = dv
v=x
Luego,
x
+2
I= 2
x +1

x2
dx.
(x2 + 1)2

Escribiendo x2 = x2 + 1 1,
Z
Z
Z
1
x2
1
dx

dx
=
dx = I J.
2
2
x +1
(x2 + 1)
(x2 + 1)2

(14)

6.1 Integral indefinida

189

Sustituyendo en (14),
I=

x2

x
+ 2 (I J) .
+1

Luego, ya que I = arctan x,

x
1
x
1
+
I
=
+
arctan
x
+ C.
J=
2 x2 + 1
2 x2 + 1
4. Aqu entramos en la descomposicin en fracciones parciales.
Z
1
I=
dx
(x 2) (x 3)
Buscamos constantes A, B tales que
B
1
A
+
=
x2 x3
(x 2) (x 3)
Efectuando la suma del miembro izquierdo
(A + B) x (3A 2B)
Ax 3A + Bx 2B
=
(x 2) (x 3)
(x 2) (x 3)
e igualando al miembro derecho, como la igualdad de polinomios se
da coeficiente a coeficiente, deber ser

A+B =0
.
3A + 2B = 1
Resuelto el sistema lineal surge que A = 1, B = 1. Luego
Z
Z
dx
x3
dx
+
= ln (x 3) ln (x 2) = ln
+ C.
I =
x2
x3
x2
5. Un ltimo ejemplo:
I=

x+1
dx.
(x 1)2 (x 2)

Ahora buscamos constantes A, B, C tales que

x+1
(x 1)2 (x 2)

=
=
=

B
A
C
+
+
2
x 1 (x 1)
x2

A (x 1) (x 2) + B (x 2) + C (x 1)2
(x 1)2 (x 2)
(A + C) x2 + (3A + B 2C) x + (2A 2B + C)
.
(x 1)2 (x 2)

190

Captulo 6 - Integracin

El sistema de ecuaciones lineales es ahora de dimensin 3:

=0
A+C
3A + B 2C = 1 .

2A 2B + C
=1

La solucin es A = 3, B = 2, C = 3. Por lo tanto,

Z
Z
Z
dx
dx
dx
2
=
I = 3
2 +3
x1
x
2
(x 1)
1
3 ln (x 1) + 2
+ 3 ln (x 2) + C.
x1
Ejercicios
Calcular las siguientes integrales indefinidas.
R
R
dx
2x3
42. (x3)(x+2)
43.. (x1)(x+7)
dx
44..

Una aplicacin

dx
x2 3x+2

45..

x+2
dx
x2 +x

Si en un intervalo, por ejemplo en un entorno del origen, dos funciones

suficientemente regulares satisfacen la relacin
Z
f = F,
y se conoce el polinomio de Taylor T de grado n en 0 de f , valen las
siguientes igualdades en un intervalo que contiene al 0 :
F (k) (x) = f (k1) (x) ,
T (k) (0) = f (k) (0) ,
Si ahora consideramos el polinomio
Z
P = T,

k = 1, 2, ..., n + 1
k = 0, 1, ..., n.

P (0) = F (0) ,

valdrn las igualdades

P (k) (x) = T (k1) (x) ,

k = 1, 2, ...

6.2 Integral definida

191

En particular,
(k)
P (0) = T (k1) (0) = f (k1) (0) = F (k) (0) , k = 1, 2, ..., n + 1
,
P (0) = f (0)
de donde surge que P es el polinomio de Taylor de grado n + 1 de F en
el origen.
Ejemplo 4. Para f (x) = 1/ (1 + x), hemos calculado su polinomio de
Taylor de grado n (ejercicio 28. del captulo 5).
Tn (x) = 1 x + x2 + (1)n xn .
R dx
Tenemos, por un lado, 1+x
= ln (1 + x) y, por el otro, P (x) =
R
n+1
x2
x3
Tn (x) dx = x 2 + 3 + (1)n xn+1 + C. Con la condicin
P (0) = F (0) = 0, resulta C = 0. Por lo dicho,
x

xn+1
x2 x3
+
+ (1)n
2
3
n+1

es el polinomio de Taylor de ln (1 + x) en el origen. Haciendo y =

1 + x, se obtiene por otro camino el desarrollo de ln en 1 :
ln y = (y 1)

6.2

(y 1)n+1
(y 1)2
+ + (1)n
+ Rn+1 .
2
n+1

Integral definida

Area
El clculo de reas de figuras planas es un problema antiguo y complejo.
Cuando la figura tiene lados rectos (polgonos), hay mucho dicho desde la
Geometra Elemental. Araujo, Keilhauer, Pietrocola y Vavilov [11] tienen un
interesante libro sobre ese tema. Cuando las caras son curvas, sin embargo,
la figura debe ser aproximada por polgonos y el rea obtenida a travs de
un proceso de lmite, y eso ya requiere mtodos modernos. El clculo del
rea de un sector circular en el captulo 1 constituye un ejemplo en este
sentido. En la antigedad, Arqumedes1 calcul que el rea del crculo era
22
7 del cuadrado del radio.
1

Arqumedes de Siracusa (287 - 212 A.C.), matemtico, fsico y filsofo griego.

192

Captulo 6 - Integracin

Un buen comienzo para el estudio de reas de figuras planas ms irregulares es considerar la regin entre dos cotas laterales desde el eje de absisas
hasta el grfico de una funcin acotada no negativa.

figura 6.1
La teora de integracin de Riemann permite asociar a regiones de este
tipo un nmero real no negativo, como lmite de las reas de figuras inscriptas formadas por la unin de rectngulos, construidos a partir de subdivisiones cada vez ms finas del intervalo entre las cotas laterales.
y

figura 6.2.a

figura 6.2.b

Sin embargo, para que el procedimiento de Riemann tenga xito, la funcin

que define la tapa superior de la regin debe poseer algunas propiedades de
regularidad. El desarrollo de la teora de integracin de Rieman escapa a
los objetivos de este libro. Una buena presentacin se puede encontrar en
L. Bers [7] . Las condiciones de regularidad necesarias y suficientes para que
una funcin sea integrable (esto es, que el rea que determina sea calculable)
son ms sofisticadas y se pueden ver en W. Rudin [9] . Pero las funciones
acotadas con un nmero finito de discontinuidades son integrables. Para
nuestros fines, nos basaremos en el concepto intuitivo de rea de una regin
y aceptaremos que:

6.2 Integral definida

193

Si a, b son nmeros reales, a b, y f es una funcin no negativa

acotada en el intervalo [a, b], la integral de Riemann
Z

o bien

f (x) dx.

(15)

mide el rea de la regin del plano comprendida entre las rectas x = a

, x = b y y = 0, y la curva y = f (x) .
Las funciones integrables, para las que est definida la integral (15)
incluyen a las funciones que son continuas salvo en un nmero finito
de puntos.
Si f, g son funciones integrables y , son nmeros, la funcin
f + g es integrable.
Por supuesto aceptaremos tambin las propiedades del rea de figuras
planas conocidas desde la geometra elemental:
El rea es no negativa.
Si una figura es la unin disjunta de otras dos, su rea es la suma de
las reas de aquellas.
Si una figura se expande o contrae en una de sus dimensiones conservando fija la otra, el rea se expande o contrae en la misma proporcin.
El rea de un rectngulo es base por altura.
La reescritura de estos hechos geomtricos en la notacin establecida por
(15) constituye el conjunto de propiedades que servir como axiomtica para
la integracin de funciones no negativas. La comparacin de las siguientes
proposiciones con las apuntadas arriba y con las figuras 6.3 convencer al
lector de su razonabilidad.
1.

2.

f 0

(f + g) =

f+

194

Captulo 6 - Integracin

f +g
g

f
b

figura 6.3.a
3. Si a c b,

b x
figura 6.3.b

f=

f+

4. Si 0,

f =

5. Para c R, c 0,

c = c (b a)

Ejemplos
1.

Ra
a

f representa el rea de un segmento vertical y debe ser 0. Se lo

puede deducir de la propiedad 3.
Z a
Z a
Z a
Z a
aaa
f=
f+
f =2
f.
a

Entonces

Ra
a

f = 0.

6.2 Integral definida

195

2. Si 0 f g en [a, b], tambin resulta g f 0 en [a, b] y

Rb
podemos calcular a (g f ). Pero por la propiedad 2., puesto que
Rb
Rb
Rb
g = (g f )+f , resulta que a g = a (g f )+ a f . En consecuencia,
Z

(g f ) =

Area orientada

El concepto de rea que acabamos de introducir se aplica a figuras planas

con una determinada posicin: Tienen su base en un intervalo sobre el eje
horizontal y se elevan verticalmente hasta el grfico de una funcin en el
semiplano superior. Si pensamos el concepto dinmicamente, estamos midiendo un rea que recorremos, o barremos, desde el eje horizontal hacia el
grfico de la funcin, hacia arriba, en el sentido positivo de las ordenadas.
Si permitimos que la funcin tome valores negativos, para ir hacia su grfico desde el eje de absisas, barreremos un rea hacia abajo, en el sentido
negativo del eje y, obteniendo entonces una medida negativa. Definiremos la integral de funciones que toman valores negativos ajustados a esta
idea de rea orientada.y usando lo que ya sabemos acerca de integracin de
funciones no negativas.
La manera ms prctica de definir la integral de funciones cualesquiera
(que admiten valores negativos) es descomponerlas primero como diferencia
de funciones no negativas (Ver figura 6.5):
f = f + f ,
lo cual se logra definiendo
f + (x) = max {f (x) , 0} ,

f (x) = max {f (x) , 0} .

Esto es:
f + (x)

f (x) si f (x) 0
0
si f (x) 0

f (x)

f (x) si f (x) 0
0
si f (x) 0

196

Captulo 6 - Integracin

figura 6.5.a.

y = f (x)

fig. 6.5.b

y = f + (x)

fig. 6.5.c

y = f (x)

Hecha esta descomposicin, la definicin de integral de la funcin f

entre los lmites a y b ser
Z

f=

f .

(16)

Observaciones:

La frmula (16) define la integral de una funcin cualquiera porque

las integrales del segundo miembro ya estaban definidas de antes: son
integrales de funciones no negativas.
R
R
f = f+
Si f 0, entonces f + = f y f = 0, de modo que
coincidiendo con la definicin de integral de funcin no negativa ya
existente.
Rb
La definicin (16) formaliza la idea geomtrica de considerar a a f
como la suma de las reas entre el eje de absisas y el grfico de f ,
contando positivas aquellas que estn en el semiplano superior y nega-

6.2 Integral definida

197

tivas a las del semiplano inferior. Insistimos en la idea de rea orientada: como siempre avanzamos desde el eje de absisas hacia el grfico,
cuando el grfico est en el semiplano superior el avance es hacia
arriba y el rea positiva. Cuando el grfico est abajo, barremos el
rea avanzando hacia abajo y el resultado es negativo.
Si la funcin f admite2 otra descomposicin como diferencia de dos
funciones no negativas, digamos f = f1 f2 , tambin vale la igualdad
similar a (16)
Z b
Z b
Z b
f=
f1
f2 .
(17)
a

f+

= f1 f2 , sigue que f + + f2 = f +
En efecto, de f =
f1 . Ahora, tratndose de funciones no negativas, es de aplicacin la
propiedad 2. de la integral de funciones no negativas deducindose
que
Z b
Z b
Z b
Z b
f+ +
f2 =
f +
f1 .
a

Entonces,

f1

f2 =

f,

donde la ltima igualdad es la definicin (16).

Propiedades de la integral definida

Las propiedades 1. - 5. de la integral de funciones no negativas, se
mantienen, con las modificaciones necesarias, para funciones generales.
1. Linealidad: Si f y g son funciones integrables en el intervalo [a, b],
tambin lo es f + g y se tiene que
Z b
Z b
Z b
(f + g) =
f+
g.
(18)
a

De igual manera, si c es una constante, cf es integrable y

Z b
Z b
cf = c
f
a

(19)

Si f = f1 f2 es una descomposicin, tambin lo es f = (f1 + C) (f2 + C) para

cualquier constante positiva C.

198

Captulo 6 - Integracin

2. Monotona: Si f (x) g (x) para todo x [a, b] entonces

Z

g.

(20)

3. Aditividad de dominio: Si f es integrable en [a, b] y a c b,

entonces
Z b
Z c
Z b
f=
f+
f
(21)
a

4.

dx = b a

(22)

Demostracin:

1. (f + + g + ) (f + g ) = (f + f ) + (g + g ) = f + g. Entonces
tenemos una descomposicin como la prevista en la ltima observacin
despus de la definicin de integral y la frmula (17) asegura que
Z

(f + g) =

f +g

f + g .

Pero en cada trmino del segundo miembro la integral se distribuye

por la propiedad 2. de integrales de funciones no negativas. Entonces
Z

f +

f+

lo que implica que

Ntese que, puesto que

negativas,
Z

g
f
g =
a
a
a
a
Z b
Z b Z b
Z b Z b
Z b
+

+
=
f
f
g
g
f+
g
=

(f + g) =

Rb
a

(f ) =

[f + (f )] =

0 = 0 por propiedad 5. de integrales no

(f ) =

0=0

(23)

6.2 Integral definida

199

Con respecto a la segunda parte, si c 0, entonces (cf )+ = cf + y

(cf ) = cf . Luego,
Z

cf

(cf )
(cf ) =
cf
a
a
a
Z b
Z b
Z b
+

= c
f
f
f.
=c
a

cf =

por la propiedad 4. de integrales no negativas. Si en cambio c < 0,

usando el resultado ya probado para c (que es positivo) y (23) se
prueba la afirmacin.
2. Se aplica 1. de integrales no negativas a g f y se contina usando
la linealidad ya demostrada.
3. Se aplica 3. de no negativas a f + y f y se restan los resultados.
4. sigue de 5. de no negativas.

Todas las propiedades de la integral definida se deducen de stas.

Ejemplo 3.
Z b Z b

f
|f |

(24)

La demostracin es simple. (24) es equivalente a

Rb
Rb
f

a
a |f | , que sigue de |f | f |f | por (20).

Rb
a

|f |

Ejercicios:
46. Probar que
|f | M en [a, b]

Z b

f M (b a)

200

Captulo 6 - Integracin

47. a. Ver que si f es una funcin continua en [a, b], el rea (no
el rea orientada) encerrada entre el grfico de f y el
Rb
eje x es a |f |

b. Si f g en [a, b], el rea encerrada entre los grficos de

ambas funciones
dentro de las cotas laterales x = a y
Rb
x = b es a (g f )

c. El rea encerrada entre los grficos de las funciones f y

Rg b dentro de las cotas laterales x = a y x = b es
a |f g|

48. As como un rea barrida de arriba hacia abajo se computa

negativa, el mismo criterio se debe tomar con un rea barrida
Ra
de derecha a izquierda. Si a < b, definimos entonces b f =
Rb
a f . Sea ahora f una funcin integrable en [a, b] . Probar que si x, y, z son tres puntos en cualquier orden en el
intervalo [a, b], entonces
a.
b.

Rz

x f
Rz
x f

Ry

x
Ry
x

f+
f=

Rz
y

f.

f.

Rz

Veamos ahora cmo obtener (tericamente) una primitiva de cualquier

funcin continua en un intervalo.

Teorema 1. (Teorema Fundamental del Clculo). Sea f una

funcin continua en el intervalo [a, b] y definamos

F (x) =

f (t) dt,

axb

Entonces F es diferenciable en (a, b) con F 0 (x) = f (x).

Demostracin:
Se trata de calcular
lim

h0

F (x + h) F (x)
.
h

De acuerdo con la definicin de F y el ejercicio 48.b, F (x + h)

6.2 Integral definida

F (x) =

R x+h
x

201

f (t) dt, que es el rea sombreada en la figura 6.7

x+h

La figura sombreada se compone de un rectngulo de base h y

altura f (x) , ms una figura cuya rea es del orden de h (h),
con (h) |f (x + h) f (x)| 0 para h 0. Luego,
hf (x) h (h)
F (x + h) F (x)
=
+
= f (x) + (h) f (x)
h
h
h
para h 0

En las notas al final del captulo se encontrar una demostracin ms

detallada.
Obsrvese que el TFC es teorema de existencia de la escuacin diferencial
dy
= f (x)
dx
para f continua. El teorema de unicidad deca que F 0 = G0 en (a, b)
F G = constante. Juntando ambos resultados,
Teorema 2: Si f es continua y acotada en el intervalo (a, b)
y x0 (a, b), existe una nica solucin del problema

dy
dx

= f (x)
,
y|x=x0 = y0

dada por la funcin

y = y0 +

x0

f (t) dt.

202

Captulo 6 - Integracin

El teorema 1, basado sobre la nocin de rea provista por la integral

definida, representa una herramienta para calcular primitivas (o sea integrales indefinidas). Sin embargo, en tanto no tengamos un mtodo (Clculo
Numrico) para evaluar integrales definidas, no podremos con l calcular
primitivas ni an en los casos fciles en que el Clculo Simblico tiene xito. Veremos ahora cmo, cuando el Clculo Simblico provee una primitiva,
sta sirve en cambio para evaluar la integral definida.
El carcter de "primitiva" est definido para intervalos abiertos. RSe
extiende a intervalos cerrados del siguiente modo: Diremos que FR = f
en [a, b] si existe un intervalo abierto (c, d) [a, b] tal que F = f en
(c, d) .
Teorema 3. (Regla de Barrow)
Si f es continua en [a, b] yR F es cualquier primitiva de f
en ese interval, o sea si F = f en [a, b] , entonces
Z

f (x) dx = F (b) F (a) .

Rx
Demostracin: Poniendo G (x) = a f (t) dt, el TFC asegura
que G es una primitiva de f . Entonces, por el teorema de
unicidad, existe una constante C tal que G (x) F (x) =
C, x [a, b]. Evaluando en x = a, como G (a) = 0, resulta
C = F (a) . Entonces G (x) = F (x) F (a) x [a, b] . En
particular,
G (b) =

f (x) dx = F (b) F (a) .

Para el clculo de integrales definidas, se puede usar primero las tcnicas de integrales indefinidas (sustitucin, integracin por partes) y al final
usar la regla de Barrow. Pero tambin existen versiones de sustitucin e
integracin por partes para integrales definidas:

Sustitucin: Sea g una funcin con derivada continua en el intervalo

[a, b] (g es de clase C 1 en [a, b]). Sea f una funcin continua en la imagen
de g. Entonces
Z

f [g (x)] g 0 (x) dx =

g(b)

g(a)

f (u) du

6.2 Integral definida

203

Es decir, vale la sustitucin u = g (x) y el correspondiente diferencial

du = g 0 (x) dx = du
dx dx con la precaucin de integrar entre los valores de
la variable de integracin u. Cuando x recorre valores entre a y b,
u = g (x) recorrer valores entre g (a) y g (b) .
Ejemplo:
Z

sen x cos xdx =

u du =

1 3 1
1
u du = u =
3 0
3

con la sustitucin u = sen x, du = cos xdx.

Integracin por partes:

Z

udv =

uv|ba

vdu

Ejemplo:
Z

lnxdx =

xlnx|21

1
x dx = 2ln2 1
x

Va las sustituciones
u = lnx du =

1
dx
x

dv = dx v = x
Ejercicios:
Calcular las siguientes integrales
49.
51.

R2
1

x5 dx

sen xdx

Calcular las siguientes integrales

R
53. (sen x + cos x) dx
55.

R2

x
1 e dx

50.
52.

R1

1 x

R
0

1
3

dx

cos xdx

54.
56.

R1

5
1 2x dx

R3

2
1 4x dx

204

Captulo 6 - Integracin

57. Hallar el rea entre las curvas y = x y y = x3.

58. Hallar el rea entre la curva y = (x 1) (x 2) (x 3) y el
eje x.
Calcular las siguientes integrales
R
59. 0 sen 5 x cos xdx
61.

R 2
0

60.

xsen 2x2 dx

R
0

cos4 xdx

Calcular las siguientes integrales (usar el ejercicios 134. 136. del captulo 1)
62.
63.
64
65.
66.
67.
68.

R 2
0

R 2
0

R 2
0

kZ

cos kxdx,

kZ

cos nx cos mxdx,

R 2
0

R 2
0

R 2
0

R 2
0

sen kxdx,

n, m Z, n, m 0

sen n xsen mxdx,

n, m Z, n, m 0

sen n x cos mxdx,

n, m Z, n, m 0

sen 2 nxdx,

n Z, n 0

cos2 nxdx,

n Z, n 0
2

69. Hallar el rea bajo la curva xex entre 0 y un nmero

B > 0. Tiende esta rea hacia un lmite conforme B tiende
hacia ?
Calcular las siguientes integrales
R2
R2
71. 1 x ln xdx
70. 1 x3 ln xdx
72.

R1

1 xe

x dx

6.2 Integral definida

205

Comentarios sobre el origen de la notacin

Dada la relacin funcional y = f (x) , de llamar x = h, al incremento sufrido por la variable independiente y y = f (x + x) f (x),
al incremento de la variable dependiente, surgi, al considerar el lmite del
cociente incremental
y
= f 0 (x) ,
lim
x0 x
el nombre

dy
dx

para ese lmite.

Una forma de calcular el rea bajo el grfico de una funcin continua f

entre las cotas a y b, consiste en dividir el intervalo [a, b] por medio de
una particin. Se eligen n 1 puntos intermedios y se divide el intervalo
en n sub-intervalos:
a = x0 < x1 < ... < xn = b
La particin queda identificada por los puntos de subdivisin:
P = {x0 , x1 , ..., xn } .
Una medida de su finura o precisin est dada por la "norma" de la particin:
kP k = max (xi xi1 ). En cada intervalo [xi1 , xi ] se elige un punto
cualquiera i y se consideran las llamadas sumas de Riemann
n
X
i=i

f ( i ) (xi xi1 )

(25)

Una representacin grfica ayuda a comprender el objeto de estas sumas

y

xi 1

i
figura 6.8

xi

206

Captulo 6 - Integracin

Si se llama xi = xi xi1 , la suma de Riemann (25) se puede reescribir

n
X

f ( i ) xi

i=i

O bien, abreviadamente,

f (x) x.

Pues bien, se prueba que

Z

f (x) dx = lim

kP k0

f (x) x.

Hecho que explica la notacin y la existencia de la partcula dx en la

integral.

6.3

Algunas aplicaciones

Clculo de reas. Ejemplo. rea de un crculo de radio r. Se obtiene la

mitad del rea con
Z rr
Z rp
x 2
2
2
r x dx = r
1
dx
I =
r
r
r
x
= sen t dx = r cos tdt
r
Z arcsen (1)
Z arcsen (1)
1 + cos 2t
2
2
2
I = r
dt
cos tdt = r
2
arcsen (1)
arcsen (1)
)
(

1 2
2
= r
t + sen 2t
= + 0 = r2
2
4
2
2

Trabajo. Para una fuerza constante F que se desplaza a lo largo de un

segmento [a, b], el trabajo realizado por la fuerza se define como el
producto F (b a) . si la fuerza es variable y ponemos el segmento
en un sistema de coordenadas, digamos que el valor de la fuerza en
el punto x es F (x) (la componente de la fuerza en la direccin

ab). Hecha una particin P en [a, b] con puntos intermedios i ,

una aproximacin del trabajo en todo el intervalo la da la suma de los
trabajos en cada intervalito con fuerza constante F ( i ) :
X
T =
F ( i ) xi

6.3 Algunas aplicaciones

207

Es razonable entonces definir el trabajo de la fuerza en el intervalo

por
Z b
T =
F (x) dx
a

Longitud de arco. Dada una curva descripta como grfico de una funcin
f , entre dos extremos (a, f (a)) y (b, f (b)), tomada una particin
P del intervalo [a, b], la longitud de la poligonal que une los puntos
(xi , f (xi )) es una buena aproximacin de la longitud de la curva.

y i
xi

xi 1

xi
figura 6.9

Para estimar la longitud de cada segmento de la poligonal, segn el

teorema de Pitgoras, sirve el nmero
p
x2 + y 2 =

1+

y2
x
x2

que da una longitud total

X

1+

y
x

x.

Cuando la norma de la particin tiende a cero, esta suma se convierte

en
s
2
Z b
dy
L=
1+
dx
dx
a

208

Captulo 6 - Integracin

Ejemplo. Longitud de la semicircunderencia de radio r con centro

en el origen.
p
y = f (x) = r2 x2 entre r y r
2
2
dy
x
dy
x2
dy
=
,
= 2
,
1
+
2
2
2
dx
dx
r

x
dx
r x
r2
1
= 2
=
2
2
r x
1+ x
r

1
1
q
q
dx
=
rdu =

2
r
1
1 + xr
1 + (u)2

= r arcsenu|11 = r
= r.
+
2
2

L =

Ejercicios:

73. Hallar la longitud del grfico de y = r2 x2 para r cos

x r. Comparar con los resultados del captulo 1.
74. Un resorte tiene 45cm de largo y se necesita una fuerza de
5kgr para mantenerlo comprimido a una longitud de 40cm.
Si la fuerza est dada como f (x) = kx, donde k es una
constante y x es el decrecimiento en la longitud, cul es
la constante k?. Cunto trabajo se realiza al comprimir el
resorte de 40cm a 30cm?
75. Una partcula atrae a otra con una fuerza inversamente proporcional al cuadrado de la distancia que las separa. Sea C
la constante de proporcionalidad. Si ponemos el origen de
coordenadas en la primer partcula, cunto trabajo trabajo
se realiza al mover la segunda partcula a lo largo de una
recta, alejndola de la primera desde una distancia r1 hasta
una distancia r > r1 ?

6.4

Complementos

Notas:
Demostracin del TFC.

6.4 Complementos

1
F (x + h) F (x)
=
h
h

209

x+h

f (t) dt, (ejercicio 48.b)

mientras que
1
f (x) =
h

x+h

f (x) dt

por (19) y (22). Luego, para h > 0,

Z x+h

Z x+h

F (x + h) F (x)
=
=

f
(x)
f
(t)
dt

f
(x)
dt

h
x
x
Z x+h

Z x+h

1
[f
(t)

f
(x)]
dt
|f (x) f (t)| dt

h x
x
h
=
max |f (x) f (t)| .
max |f (x) f (t)|
h
t[x,x+h]
t[x,x+h]
Para finalizar la prueba de que F 0 (x) = f (x) se deber
demostrar que la ltima expresin tiende hacia 0 para h 0.
Ahora bien, como f es continua, la funcin de t |f (x) f (t)|
alcanza su mximo relativo al intervalo [x, x + h] en un punto
= (h) de ese intervalo. Adems,
x (h) x + h lim (h) = x.
h0

Por lo tanto, haciendo uso nuevamente de la continuidad de f ,

lim

max |f (x) f (t)| =

h0 t[x,x+h]

lim |f (x) f ( (h))|

h0

= |f (x) f (x)| = 0
El clculo con h < 0 es lo mismo perturbado por algunos signos

Otra definicin del logaritmo.

Conocida la teora de integracin, se puede tomar otro camino para la
definicin de logaritmo y exponencial. El mtodo que usamos en el captulo
4 para definir el logaritmo nos di por resultado una funcin en (0, +),
nula en el 1 y con derivada x1 . La construimos a partir de la exponencial,
cuya existencia y propiedades se aceptaron sin demostracin. Si en cambio
no suponemos la existencia de una funcin exponencial y usamos el teorema

210

Captulo 6 - Integracin

de existencia y unicidad de solucin de PVI (teorema 2), podemos deducir

la existencia de una funcin, que llamaremos ln, definida para x > 0 por
Z x
dt
,
ln x =
1 t
solucion de

dy
dx

= x1
.
y|x=1 = 0

Es ahora fcil ver que ln (xy) = ln x + ln y. En efecto, Considerando y

como una constante,
y
1
d
[ln (xy) (ln x + ln y)] =
=0
dx
xy x
ln (xy) (ln x + ln y) = C,
siendo C = C (y) una constante, en principio diferente para cada valor
prefijado de y. Pero poniendo x = 1 sigue que C (y) = 0 culquiera sea
y.
La funcin ln es estrictamente creciente en (0, +) y, por lo tanto,
tiene una inversa que puede ser llamada exp . Es un ejercicio ver que exp
tiene todas las propiedades que debe tener. El nmero e se define como
exp (1) .
De igual manera se puede llegar a una prolija presentacin de las funciones trigonomtricas, a partir de sus inversas, definiendo
Z x
dt

,
1 < x < 1.
arcsen x =
1 t2
0
Vale la pena mirar el libro de Lipman Bers [7]

Mtodo de los trapecios

Dada una funcin continua f en un intervalo [a, b], el mtodo de los
Rb
trapecios permite calcular valores aproximados de a f (x) dx. El mtodo
es el siguiente. Para cada nmero natural n, se divide el intervalo [a, b] en
n subintervalos por medio de los puntos
a, a + h, a + 2h, ..., a + nh = b;

con h =

ba
.
n

A continuacin se suman las reas de los trapecios determinados por esos

6.4 Complementos

211

puntos y el grfico de f :
f (a + h) + f (a + 2h)
f (a) + f (a + h)
h+
h+
2
2
f (a + (n 1) h) + f (b)
+
h
2
h
[f (a) + 2f (a + h) + 2f (a + 2h) + + 2f (a + (n 1) h + f (b))]
=
2

Sn =

b
figura 6.10

212

Captulo 6 - Integracin

Referencias
[1] Serge Lang, Clculo, Addison Wesley Iberoamericana (1990).
[2] Michael Sullivan, Preclculo - 4ta. Edicin - Prentice Hall (1996).
[3] Michael Spivak, Calculus, 2a Edicin, Revert S.A. (1992).
[4] G. Thomas y R. Finney, Clculo con Geometra Analtica vol I,
Addison - Wesley Iberoamericana (1977).
[5] A. Aragn, J. Pinasco, C. Schifini y A. Varela, Introduccin a la
Matemtica, U.N.G.S. (2006).
[6] R. Courant y F. John, Introduccin al Clculo y al Anlisis Matemtico,
Limusa (1974).
[7] L. Bers, Calculus, Holt, Rinehart and Winston; 2d ed edition (1976)
[8] J. Rey Pastor, P. Pi Calleja y C. A. Trejo, Anlisis Matemtico I,
Kapelusz (1952).
[9] W. Rudin, Principios de Anlisis Matemtico, Mc. Graw Hill (1966).
[10] Creighton Buck, Clculo Superior, Mc. Graw Hill (1969).
[11] J. Araujo, G. Keilhauer, N. Pietrocola y V. Vavilov, Area y Volumen
en la Geometra Elemental, Red Olmpica (2000).