8.

6 Tablas de integrales y sistemas de álgebra por computadora (SAC) 593

8.6 Tablas de integrales y sistemas de álgebra por computadora (SAC)

Como hemos estudiado, las técnicas básicas de integración son la sustitución y la integra-
ción por partes. Aplicamos estas técnicas para transformar integrales no conocidas en inte-
grales cuyas formas reconocemos o podemos encontrar en una tabla. Pero, ¿de dónde vienen
las integrales que conforman las tablas? Vienen de la aplicación de sustituciones e integra-
ción por partes, de la diferenciación de funciones importantes que aparecen en la práctica
o en aplicaciones. El resultado se coloca en una tabla (como hicimos al crear la tabla 8.1).
Cuando una integral coincide con una integral de la tabla o puede transformarse en una de
tales integrales con alguna combinación de álgebra, trigonometría, sustitución o algún otro
cálculo apropiado, el resultado puede utilizarse para resolver el problema de integración
que se tenga.
Los sistemas de álgebra por computadora (SAC), conocidos también con el nombre
genérico de software matemático, también pueden usarse para evaluar una integral, si es
que tal sistema está disponible. Sin embargo, es conveniente tener en cuenta que existen
muchas funciones relativamente sencillas, como sen(x2) o 1> ln x, en las que incluso los
sistemas de cómputo más poderosos son incapaces de encontrar fórmulas explícitas para
la antiderivada, ya que no existen tales fórmulas.
En esta sección analizaremos cómo utilizar tablas y sistemas de álgebra por compu-
tadora para evaluar integrales.

Tablas de integrales
Al final de este libro, después del índice, se ofrece una tabla de integrales. (Tablas más
extensas aparecen en antologías como CRC Mathematical Tables, que contienen miles de
integrales). Las fórmulas de integración se establecen en términos de constantes a, b, c, m,
n, etcétera. Por lo regular estas constantes toman cualquier valor real y no necesitan ser
enteros. Las restricciones ocasionales en sus valores se indican en las fórmulas. Por ejem-
plo, la fórmula 5 requiere que n Z –1, y la fórmula 11 que n Z 2.
En las fórmulas se supone que las constantes no toman valores que impliquen la di-
visión entre cero ni la extracción de raíces pares de números negativos. Por ejemplo, la
fórmula 8 supone que a Z 0, y las fórmulas 13(a) y (b) no pueden utilizarse, a menos que b
sea positiva.
En los ejemplos 1 a 5 de esta sección, las integrales pueden evaluarse por medio de
manipulación algebraica, sustitución o integración por partes. A continuación se ilustra
cómo determinar las integrales utilizando la tabla de integrales.

EJEMPLO 1 Determinar

xs2x + 5d-1 dx.

L
Solución Utilizamos la fórmula 8 (no la 7, la cual requiere que n Z –1):

x b
xsax + bd-1 dx = a - 2 ln ƒ ax + b ƒ + C.
L a
Con a = 2 y b = 5, tenemos

x 5
xs2x + 5d-1 dx = - ln ƒ 2x + 5 ƒ + C .
L 2 4

EJEMPLO 2 Determinar
dx
.
L x22x + 4
594 Capítulo 8: Técnicas de integración

Solución Utilizamos la fórmula 13(b):

ln ` ` + C,
dx 1 2ax + b - 1b
= si b 7 0.
L x2ax + b 1b 2ax + b + 1b

Con a = 2 y b = 4, tenemos

ln ` ` + C
dx 1 22x + 4 - 24
=
L x22x + 4 24 22x + 4 + 24

ln ` ` + C.
1 22x + 4 - 2
=
2 22x + 4 + 2

La fórmula 13(a), que requiere b 6 0, no es adecuada para el ejemplo 2. Sin embargo, sí lo

es para el ejemplo siguiente.

EJEMPLO 3 Determinar
dx
.
L x22x - 4

Solución Utilizamos la fórmula 13(a):

dx 2 ax - b
= tan-1 + C.
L x2ax - b 1b A b

Con a = 2 y b = 4, tenemos
dx 2 2x - 4 x - 2
= tan-1 + C = tan-1 + C.
L x22x - 4 24 A 4 A 2

EJEMPLO 4 Determinar

dx
.
L x 2 22x - 4

Solución Iniciamos con la fórmula 15:

dx 2ax + b a dx
= - - + C.
L x 2ax + b
2 bx 2b L x2ax + b

Con a = 2 y b = –4, tenemos

dx 22x - 4 2 dx
= - + # + C.
L x 22x - 4
2 -4x 2 4 L x22x - 4

Después utilizamos la fórmula 13(a) para evaluar la integral del lado derecho (ejemplo 3),
para obtener
dx 22x - 4 1 x - 2
= + tan-1 + C.
L x 22x - 4
2 4x 4 A 2

EJEMPLO 5 Determinar

x sen-1 x dx.
L
 8.6 Tablas de integrales y sistemas de álgebra por computadora (SAC) 595

Solución Utilizamos la fórmula 99:

xn+1 a x n + 1 dx
x n sen-1 ax dx = sen-1 ax - , n Z - 1.
L n + 1 n + 1 L 21 - a 2x 2

Con n = 1 y a = 1, tenemos

x2 1 x 2 dx
x sen-1 x dx = sen-1 x - .
L 2 2 L 21 - x 2

La integral del lado derecho se encuentra en la tabla como la fórmula 33:

sen-1 a a b - x2a 2 - x 2 + C .
x2 a2 x 1
dx =
L 2a 2 - x 2 2 2

Con a = 1,

x 2 dx 1 1
= sen-1 x - x21 - x 2 + C .
L 21 - x 2 2 2

El resultado combinado es

sen-1 x - a sen-1 x - x21 - x 2 + C b

x2 1 1 1
x sen-1 x dx =
L 2 2 2 2

= a - bsen-1 x + x21 - x 2 + C¿ .
x2 1 1
2 4 4

Fórmulas de reducción
El tiempo que se requiere para integración por partes repetida en ocasiones se puede redu-
cir aplicando fórmulas como
1
tann x dx = tann - 1 x - tann - 2 x dx (1)
L n - 1 L

sln xdn dx = xsln xdn - n sln xdn - 1 dx (2)

L L

senn - 1 x cosm + 1 x n - 1
senn x cosm x dx = - + senn - 2 x cosm x dx sn Z - md .
L m + n m + nL
(3)

Fórmulas como éstas se denominan fórmulas de reducción, ya que reemplazan una inte-
gral con alguna potencia de una función, por una integral de la misma forma pero con la
potencia de menor grado. Al aplicar tal fórmula de repetidamente, se puede expresar la in-
tegral original en términos de una potencia suficientemente baja, que puede evaluarse de
manera directa.

EJEMPLO 6 Uso de una fórmula de reducción

Determinar

tan5 x dx.
L
596 Capítulo 8: Técnicas de integración

Solución Aplicamos la ecuación (1) con n = 5 para obtener

1 4
tan5 x dx = tan x - tan3 x dx.
L 4 L
Después aplicamos de nuevo la ecuación (1), con n = 3, para evaluar la integral que queda:

1 2 1
tan3 x dx = tan x - tan x dx = tan2 x + ln ƒ cos x ƒ + C.
L 2 L 2

El resultado combinado es

1 4 1
tan5 x dx = tan x - tan2 x - ln ƒ cos x ƒ + C¿ .
L 4 2

Como sugiere su forma, las fórmulas de reducción se deducen por medio de integración
por partes.

EJEMPLO 7 Deducción de una fórmula de reducción

Demostrar que, para cualquier entero positivo n,

sln xdn dx = xsln xdn - n sln xdn - 1 dx.

L L
Solución Utilizamos la fórmula de integración por partes

u dy = uy - y du
L L
con
dx
u = sln xdn, du = nsln xdn - 1 x , dy = dx, y = x,

para obtener

sln xdn dx = xsln xdn - n sln xdn - 1 dx.

L L
A veces pueden utilizarse dos fórmulas de reducción en el mismo problema.

EJEMPLO 8 Determinar

sen2 x cos3 x dx.

L
Solución 1 Aplicamos la ecuación (3) con n = 2 y m = 3 para obtener
sen x cos4 x 1
sen2 x cos3 x dx = - + sen0 x cos3 x dx
L 2 + 3 2 + 3L
sen x cos4 x 1
= - + cos3 x dx.
5 5L
Podemos evaluar la integral que queda con la fórmula 61 (otra fórmula de reducción):

cosn - 1 ax sen ax n - 1
cosn ax dx = na + n cosn - 2 ax dx .
L L
 8.6 Tablas de integrales y sistemas de álgebra por computadora (SAC) 597

Con n = 3 y a = 1, tenemos

cos2 x sen x 2
cos3 x dx = + cos x dx
L 3 3L

cos2 x sen x 2
= + sen x + C .
3 3
El resultado combinado es

+ a
sen x cos4 x 1 cos2 x sen x 2
sen2 x cos3 x dx = - + sen x + Cb
L 5 5 3 3

sen x cos4 x cos2 x sen x 2

= - + + sen x + C¿ .
5 15 15
Solución 2 La ecuación (3) corresponde a la fórmula 68 de la tabla, pero hay otra fórmu-
la que podríamos utilizar, la fórmula 69. Con a = 1, la fórmula 69 da

senn + 1 x cosm - 1 x m - 1
senn x cosm x dx = + senn x cosm - 2 x dx.
L m + n m + nL

En nuestro caso, n = 2 y m = 3, de modo que

sen3 x cos2 x 2
sen2 x cos3 x dx = + sen2 x cos x dx
L 5 5L

+ a b + C
sen3 x cos2 x 2 sen3 x
=
5 5 3

sen3 x cos2 x 2
= + sen3 x + C.
5 15
Como podemos ver, es más rápido al utilizar la fórmula 69, pero a menudo no podemos
saber de antemano cómo resultarán las cosas. No destine demasiado tiempo a buscar la
“mejor” fórmula. Sólo encuentre una que funcione y proceda.
También observe que las fórmulas 68 (solución 1) y 60 (solución 2) llevan a respuestas
que se ven diferentes. Esto es frecuente con integrales trigonométricas y no debe causar
consternación. Los resultados son equivalentes y podemos utilizar el que más nos guste.

Integrales no elementales
El desarrollo de computadoras y calculadoras que encuentran antiderivadas por medio de
manipulación simbólica, ha llevado a un interés renovado por la determinación de qué
antiderivadas pueden expresarse como una combinación finita de funciones elementales
(las funciones que hemos estudiado) y cuáles no. Las integrales de funciones que no tie-
nen antiderivadas elementales se denominan integrales no elementales. Para su evalua-
ción se requieren series infinitas (capítulo 11), o métodos numéricos. Ejemplo de estas
últimas es la función error (conocida como erf, y cuyo propósito es medir la probabilidad
de errores aleatorios)
x
2 2
erf sxd = e -t dt
2p L0
e integrales como

sen x 2 dx y 21 + x 4 dx
L L
598 Capítulo 8: Técnicas de integración

que surgen en ingeniería y física. Éstas y varias otras, como

ex x 1 sen x
x dx, e se d dx, dx, ln sln xd dx, x dx,
L L L x
ln L L

21 - k 2 sen2 x dx, 0 6 k 6 1,
L
parecen tan sencillas que nos sentimos tentados a averiguar cómo se calculan. Sin embargo,
se puede demostrar que no hay forma de expresar estas integrales como combinaciones fi-
nitas de funciones elementales. Lo mismo se aplica a integrales que puedan transformarse
en las anteriores por sustitución. De acuerdo con el Teorema Fundamental del Cálculo,
parte 1, todos los integrandos de arriba tienen antiderivadas, ya que son continuos. Sin
embargo ninguna de sus antiderivadas es elemental.
Ninguna de las integrales que se le pedirá evaluar en este capítulo entra en esta cate-
goría, pero es posible que encuentre integrales no elementales en otros contextos.

Integración con un software matemático

Una de las capacidades más importantes de los sistemas de software matemático es la inte-
gración simbólica. Esto se realiza con un comando para integrar, específico para cada
sistema particular (por ejemplo, int en Maple, Integrate en Mathematica).

EJEMPLO 9 Uso de un software matemático con una función declarada

Suponga que quiere evaluar la integral indefinida de la función
ƒsxd = x 2 2a 2 + x 2 .
Por medio de Maple, primero se define o declara la función:
7 ƒ:= x ¿2 * sqrt sa ¿2 + x ¿2d;
Después se utiliza el comando para integrar sobre f, identificando la variable de inte-
gración:
7 intsƒ, xd;
Maple da la siguiente solución:
1 1 1
xsa2 + x2 d3>2 - a2x2a2 + x2 - a4 ln sx + 2a2 + x2 d.
4 8 8
Para averiguar si la respuesta puede simplificarse, introduzca
7 simplifys%d;
Maple da:

a x2a 2 + x 2 + x 3 2a 2 + x 2 - a 4 ln A x + 2a 2 + x 2 B .
1 2 1 1
8 4 8
Si queremos la integral definida para 0 … x … p>2, podemos utilizar el formato

7 intsƒ, x = 0..Pi>2d;

Maple (versión 5.1) dará como resultado la expresión

1 1 2 1
ps4a 2 + p2 ds3>2d - a p24a 2 + p2 + a 4 ln s2d
64 32 8

a ln A p + 24a 2 + p2 B +
1 4 1 4
- a ln sa 2 d.
8 16
 8.6 Tablas de integrales y sistemas de álgebra por computadora (SAC) 599

También se puede hallar la integral definida para un valor particular de la constante a:

7 a:= 1;

7 intsƒ, x = 0..1d;
Maple da esta respuesta numérica

22 + ln A 22 - 1 B .
3 1
8 8

EJEMPLO 10 Uso de un software matemático sin definir la función

Utilice un software matemático para determinar

sen2 x cos3 x dx.

L
Solución En Maple introducimos
7 int sssin ¿2dsxd * scos ¿3dsxd, xd;
(recuerde escribir sin en lugar de sen, ya que este tipo de software admite los comandos en
inglés; asimismo, recuerde que las respuestas se dan también en dicho idioma)
y obtenemos
1 1 2
- sinsxd cossxd4 + cossxd2 sinsxd + sinsxd.
5 15 15

EJEMPLO 11 El software matemático podría no dar una solución en forma cerrada

Utilice un software matemático para determinar

scos-1 axd2 dx.

L
Solución Con Maple, introduzca
7 intssarccossa * xdd¿2, xd;
y Maple responde con la expresión

arccossaxd2 dx,
L
con lo que indica que no tiene una solución en forma cerrada. En el capítulo 11 veremos
cómo el desarrollo en serie puede ayudar a evaluar integrales como ésta.

En los distintos paquetes de software matemático, la forma en que se procesan las in-
tegraciones varía. En los ejemplos 9 a 11 utilizamos Maple 5.1. Mathematica habría dado
resultados un poco diferentes:
1. En el ejemplo 9, dada

In [1]:= Integrate [x ¿2 * Sqrt [a ¿2 + x ¿2], x]

Mathematica da

Out [1]= 2a 2 + x 2 a b - a 4 Log C x + 2a 2 + x 2 D

a2 x x3 1
+
8 4 8
sin tener que simplificar un resultado intermedio. La respuesta es parecida a la fórmu-
la 22 en las tablas de integrales.
600 Capítulo 8: Técnicas de integración

2. La respuesta de Mathematica para la integral

In [2]:= Integrate [Sin [x]¿2 * Cos [x]¿3, x]

del ejemplo 10 es

Sin [x] 1 1
Out [2]= - Sin [3 x] - Sin [5 x]
8 48 80
que difiere de la respuesta de Maple y de las respuestas que se dieron al ejemplo 8.
3. En el caso de la integración

In [3]:= Integrate [ArcCos [a * x]¿2, x]

del ejemplo 11, Mathematica da el siguiente resultado, siempre y cuando a Z 0:

221 - a 2 x 2 ArcCos [a x]
Out [3]= - 2x - a + x ArcCos [a x]2

Aunque los paquetes de software matemático son muy poderosos y nos pueden ayudar a
resolver problemas difíciles, cada uno de ellos tiene sus propias limitaciones. Incluso existen
situaciones en donde un software matemático puede hacer más complicado un problema
(en el sentido de producir una respuesta extremadamente difícil de utilizar o interpretar).
Además, observe que ni Maple ni Mathematica dan como respuesta una constante arbitra-
ria +C. Por otro lado, con un poco de reflexión matemática de su parte, puede reducir el
problema a otro que sea más fácil de resolver. En el ejercicio 111 se presenta un ejemplo
de lo anterior.

EJERCICIOS 8.6

Uso de tablas de integrales

Utilice la tabla de integrales de la parte final del libro para evaluar las r2 ds
17. dr 18.
integrales de los ejercicios 1 a 38. L 24 - r 2 L 2s 2 - 2

dx dx du du
1. 2. 19. 20.
L x 2x - 3 L x2x + 4 L 5 + 4 sen 2u L 4 + 5 sen 2u

x dx x dx 21. e 2t cos 3t dt 22. e -3t sen 4t dt

3.
L 2x - 2
4.
L s2x + 3d3>2 L L

23. x cos-1 x dx 24. x tan-1 x dx

5. x 22x - 3 dx 6. xs7x + 5d3>2 dx L L
L L
29 - 4x dx ds du
25. 26.
7.
L x2
dx 8.
L x 2 24x - 9 L s9 - s 2 d2 L s2 - u2 d2

2x - x 2 24x + 9 29x - 4
9. x 24x - x 2 dx 10. dx 27. dx 28. dx
L L
x L x2 L x2

dx dx 23t - 4 23t + 9
11. 12. 29. dt 30. dt
L x 27 + x 2 L x27 - x 2 L t L t

24 - x 2 2x 2 - 4 tan-1 x
13. dx 14. dx 31. x 2 tan-1 x dx 32. dx
L
x
L
x L L x
2

15. 225 - p 2 dp 16. q 2 225 - q 2 dq 33. sen 3x cos 2x dx 34. sen 2x cos 3x dx
L L L L
 8.6 Tablas de integrales y sistemas de álgebra por computadora (SAC) 601

t t t
35. 8 sen 4t sen dt 36. sen sen dt 69. csc5 x dx 70. sec5 x dx
L 2 L 3 6 L L
u u u 71. 16x 3sln xd2 dx 72. sln xd3 dx
37.
L
cos
3
cos du
4
38.
L
cos
2
cos 7u du L L

Potencias de x multiplicadas por exponenciales

Sustitución y tablas de integrales Evalúe las integrales en los ejercicios 73 a 80, utilizando las fórmulas
En los ejercicios 39 a 52, utilice una sustitución para cambiar la inte- 103 a 106 de la tabla. Estas integrales también se pueden evaluar por
gral por una que pueda encontrar en la tabla. Después evalúe la in- medio de la integración tabular (sección 8.2).
tegral.
73. xe 3x dx 74. xe -2x dx
x3 + x + 1 x 2 + 6x L L
39. dx 40. dx
L sx + 1d L sx + 3d
2 2 2 2
75. x 3e x>2 dx 76. x 2e px dx
cos 1x-1 L L
41. sen-1 1x dx 42. dx
L L 1x 77. x 2 2 x dx 78. x 2 2-x dx
L L
1x 22 - x
43. dx 44. dx
L 21 - x L 1x 79. xp x dx 80. x222x dx
L L
45. cot t21 - sen2 t dt, 0 6 t 6 p>2 Sustitución con fórmulas de reducción
L
dy Evalúe las integrales de los ejercicios 81 a 86; primero haga una sus-
dt
46. 47. titución (quizá trigonométrica) y después aplique una fórmula de re-
L tan t24 - sen2 t L y23 + sln yd2 ducción.
cos u du 3 dr
48. 49. csc3 2u
L 25 + sen2 u L 29r 2 - 1 81. e t sec3 se t - 1d dt 82. du
L L 2u
3 dy 1 23>2 dy
50. 51. cos-1 1x dx 22x 2 + 1 dx
L 21 + 9y 2
L 83.
L0
84.
L0 s1 - y 2 d5>2
2 2 3>2 1>23
sr - 1d dt
52. tan-1 1y dy 85. dr 86.
L
r
L1 L0 st2 + 1d7>2
Funciones hiperbólicas
Uso de fórmulas de reducción Utilice la tabla de integrales para evaluar las integrales en los ejerci-
Utilice las fórmulas de reducción para evaluar las integrales en los cios 87 a 92.
ejercicios 53 a 72.
1 cosh4 1x
87. senh5 3x dx 88. dx
53. sen5 2x dx 54. sen5
u
du L8 L 1x
L L 2
89. x 2 cosh 3x dx 90. x senh 5x dx
4 5 L L
55. 8 cos 2pt dt 56. 3 cos 3y dy
L L
91. sech7 x tanh x dx 92. csch3 2x coth 2x dx
L L
57. sen2 2u cos3 2u du 58. 9 sen3 u cos3>2 u du
L L Teoría y ejemplos
59. 2
2 sen t sec t dt 4
60. 2
csc y cos y dy 5 Los ejercicios 93 a 100 hacen referencia a la tabla de integrales del fi-
L L nal del texto.

tan4 a b dx
x
61. 4 tan3 2x dx 62. 93. Deduzca la fórmula 9 por medio de la sustitución u = ax + b para
L L 2 evaluar
x
63. 8 cot4 t dt 64. 4 cot3 2t dt dx .
L L L sax + bd
2

1 x 94. Deduzca la fórmula 17, por medio de una sustitución trigonomé-

65. 2 sec3 px dx 66. csc3 dx
L L2 2 trica, para evaluar
u dx
67. 3 sec4 3x dx 68. csc4 du .
L L L sa + x d
3 2 2 2