1

Clculo de primitivas
Clculo de primitivas
1.1. Cambio de variable e inte-
gracin por partes
1.2. Funciones racionales
1.3. Funciones racionales en seno
y coseno
1.4. Funciones racionales de e
x
1.5. Funciones racionales en
senh y cosh
1.6. Algunos tipos de funciones
irracionales
Contenidos
Saber aplicar las tcnicas para
el clculo de integrales raciona-
les.
Saber aplicar las tcnicas para
el clculo de integrales raciona-
les trigonomtricas.
Saber aplicar las tcnicas para
el clculo de integrales trascen-
dentes sencillas.
Conocer y saber aplicar las tc-
nicas para el clculo de algunas
integrales irracionales frecuen-
tes..
Saber usar Maxima para calcu-
lar integrales.
Competencias
1
2 Clculo de primitivas
Este captulo est dedicado a describir tcnicas para el clculo de primitivas.
Dada una funcin f se llama primitiva de f a cualquier funcin g derivable con la
propiedad de que g

= f. No siempre existe una tal funcin (vase el captulo 6).

Pero en este captulo adoptaremos una losofa ms operacional que analtica y la
existencia de primitivas estar siempre asegurada para las funciones que conside-
raremos aqu.
Una primera obviedad es que si g es una primitiva de f tambin lo es g + C
siendo C una constante arbitraria. De hecho esa bajo ciertas condiciones, (vase
el captulo 5), todas las primitivas de f son de dicha forma.
La segunda obviedad es que el clculo de primitivas est directamente relacio-
nado con el clculo de derivadas, siendo necesario conocer las reglas que regulan
el clculo de derivadas para poder obtener reglas para el clculo de antiderivadas.
Recordamos por ello aqu, de forma sinttica las reglas ms usadas.
(1) (af)

= af

(siendo a una constante);

(2) (f + g)

= f

+ g

(derivada de la suma);
(3) (fg)

= f

g + fg

(derivada del producto);

(4)

f
g

=
f

g fg

g
2
(derivada del cociente);
(5) (f g)

(x) = f

(g(x))g

(x) (derivada de la composicin de funciones);

(6) Derivadas de las funciones elementales:
Funcin Derivada Funcin Derivada Funcin Derivada
C 0 sen x cos x arcsen x
1

1 x
2
x
n
nx
n1
cos x sen x arc cos x
1

1 x
2
e
x
e
x
tg x
1
cos
2
x
arctg x
1
1 + x
2
log x
1
x
cotg x
1
sen
2
x
La funcin log x representar siempre a la funcin logaritmo neperiano (a
menudo, representada por ln x).
Las reglas de derivacin anteriores dan lugar a algunas pautas para el clculo
de las llamadas primitivas inmediatas, as llamadas porque se obtienen de forma
2
3
inmediata aplicando en sentido inverso (antiderivacin) las reglas anteriores. El
siguiente cuadro recoge algunas de ellas:
Funcin Antiderivada Funcin Antiderivada
(f(x))
n
f

(x) (n = 1)
f(x)
n+1
n + 1
f

(x)
cos
2
f(x)
tg f(x)
f

(x)
f(x)
log |f(x)|
f

(x)
sen
2
f(x)
cotg f(x)
e
f(x)
f

(x) e
f(x)
f

(x)

1 f(x)
2
arcsen f(x)
(sen f(x))f

(x) cos f(x)

f

(x)

1 f(x)
2
arc cos f(x)
(cos f(x))f

(x) sen f(x)

f

(x)
1 + f(x)
2
arctg(f(x))
El smbolo | | denota el valor absoluto; aunque f(x) tome valores negativos, la
derivada de log |f(x)| se expresa mediante la frmula habitual:
f

(x)
f(x)
.
En el cuadro anterior nicamente hemos incluido, en cada caso, una de las
innitas antiderivadas de la funcin en cuestin, o dicho de otra manera, a cada
una de ellas hay que sumarle la constante de integracin. Adems la antiderivacin
es una operacin lineal en el sentido de que la antiderivada de la suma de dos
funciones es la suma de las antiderivadas de tales funciones y la antiderivada del
producto por una constante de una funcin se obtiene multiplicando por dicha
constante la antiderivada de la funcin.
Es tradicional utilizar el smbolo

f
para denotar el conjunto de las antiderivadas de f. Ese smbolo se emplea tambin
para el concepto de integral, (vase el captulo 6), y a veces ello es causa de
confusin entre los novicios. Advertimos al lector que antiderivacin e integracin
son conceptualmente diferentes, aunque lamentablemente para su enseanza
compartan un mismo smbolo para representarlos. El hecho de utilizar un mismo
smbolo se sustenta en que existe una estrecha relacin entre ambos conceptos dada
por el teorema fundamental del clculo (teorema 6.3.1). A lo largo de este captulo
el signicado de la simbologa

f se limita a la antiderivacin.
Conviene sealar que el clculo de la antiderivada de una funcin es un pro-
blema mucho ms difcil que el clculo de la derivada. La derivada de cualquier
frmula, resultado de operaciones bsicas (sumas, productos, cocientes, races...)
3
4 Clculo de primitivas
23/01/01
Figura 1.1: Isaac Newton (16431727)
sobre funciones elementales, es calculable de manera explcita (utilizando las reglas
de derivacin) mediante una frmula de naturaleza anloga. Por el contrario ni-
camente ciertos tipos de frmulas con funciones elementales admiten antiderivada
expresable mediante una frmula de naturaleza anloga. Por ejemplo, funciones re-
lativamente sencillas como (sen x)/x o e
x
2
no tienen una antiderivada expresable
en trminos de funciones elementales. O hablando informalmente, si escribimos una
frmula un poco complicada al azar podremos calcular su derivada sin problemas,
pero la posibilidad de encontrar una frmula para su antiderivada es escasa.
Sir Isaac Newton, considerado uno de los dos cofundadores del clculo inni-
tesimal moderno (el segundo es Gottfried Wilhelm von Leibniz), a propsito
del problema de la integracin de una ecuacin diferencial cualquiera, que
incluye la cuestin del clculo de la antiderivada de una funcin arbitraria, escriba en
1666:
Si esto pudiera ser hecho cualquier cosa podra ser resuelta.
Isaac Newton naci en Woolsthorpe, una aldea de Lincolnshire (Inglaterra), el 4 de
enero de 1643 y muri el 31 de marzo de 1727 en Londres.
Este captulo est dedicado a describir tcnicas que permiten calcular antide-
rivadas de ciertos tipos de funciones. Pero despus de lo sealado, es claro que la
estrategia para el clculo de primitivas debe contemplar dos etapas: en la primera
se trata de identicar el tipo (o tipos) a que pertenece la funcin y en la segunda
aplicar, de acuerdo con las tipologas, las tcnicas de antiderivacin que correspon-
dan, seleccionando, cuando existan varios, el ms cmodo de los procedimientos.
En la primera seccin se describen las tcnicas generales para el clculo de pri-
mitivas. En las siguientes secciones describiremos tcnicas especcas para calcular
las antiderivadas de ciertos tipos particulares de funciones. Por razones de breve-
dad y para concentrarnos en las tcnicas operatorias, frecuentemente pasaremos
por alto cuestiones como el dominio de la funcin o la existencia de primitiva. El
lector debera percatarse de este hecho y, eventualmente, jar el sentido de los sm-
bolos

. Queremos con ello decir, por poner un ejemplo, que mientras que escribir

1
1+x
2
dx tiene perfecto sentido para cualquier valor de x, la situacin es diferen-
te si escribimos

1

1x
2
dx, ya que la funcin f(x) =
1

1x
2
slo est denida si
4
1.1 Cambio de variable e integracin por partes 5
1 < x < 1.
Las referencias al artefacto informtico Maxima jalonan el texto con el pro-
psito de que el estudiante llegue a transfomarlo en un instrumento ms en su
aprendizaje del Anlisis Matemtico. En este captulo son sus potencialidades pa-
ra el clculo simblico, derivacin y antiderivacin, las ms ampliamente utilizadas;
pero tambin las limitaciones del artefacto con relacin a la segunda de ellas coayu-
dar a que el estudiante lo ubique adecuadamente y motivar la exploracin de
otras potencialidades que, mediante la interaccin con el estudiante, facilitarn el
camino para esa transformacin del artefacto en instrumento.
1.1. Cambio de variable e integracin por partes
Una variante de la notacin

f es

f(x) dx. La segunda forma de denotar la
antiderivada tiene ventajas de naturaleza nemotcnica sobre la primera: facilita los
cambios de variable en el clculo de primitivas. La frmula del cambio de variable
corresponde, en trminos de antiderivacin, a la regla de derivacin de funciones
compuestas, recordada al iniciar este captulo. Puede ser formulada del siguiente
modo:

f(x) dx =

f((t))

(t) dt, donde t =

1
(x)
supuesto que x = (t), siendo una funcin derivable que establece una corres-
pondencia uno a uno entre x y t. El signicado de la frmula anterior es pues que
para calcular la antiderivada

f(x) dx podemos calcular, si nos conviene, la antide-
rivada

f((t))

(t) dt y, a continuacin, sustituir t por su expresin en trminos

de x, que viene dada por t =
1
(x). La frmula anterior resulta nemotcnicamente
sencilla con el siguiente convenio:
si hacemos x = (t) entonces x

(t) y si escribimos x

= dx/dt,
sustituyendo y operando formalmente se tendra dx =

(t) dt.
Ejemplo 1.1.1 Para ilustrar el cambio de variable consideremos la siguiente pri-
mitiva

1 x
2
dx.
Obviamente

1 x
2
slo tiene sentido para 1 x 1 y podemos hacer el
cambio de variable determinado por la frmula x = sen t, que es una funcin
derivable y que establece una correspondencia uno a uno entre x [1, 1] y
5
6 Clculo de primitivas
t [/2, /2], siendo dx = cos t dt, con lo que

1 x
2
dx =

1 sen
2
t cos t dt =
=

cos
2
t dt =

1 + cos 2t
2
=
=
t
2
+
sen 2t
4
+ C =
t + sen t cos t
2
+ C =
[deshaciendo el cambio] =
arcsen x + x

1 x
2
2
+ C
Maxima puede ayudarnos a comprobar que el resultado obtenido es realmente
una antiderivada. Y, en efecto,
diff( (asin(x)+ x*sqrt(1-x^2))/2, x );
proporciona (traduciendo el resultado al simbolismo usual)

1 x
2

x
2

1x
2
+
1

1x
2
2
y haciendo la simplicacin racional de esta expresin mediante la sentencia
fullratsimp(%); (% es la forma de referirse a la ltima salida)
proporciona nalmente

1 x
2
.
Por otra parte Maxima puede obtener de forma directa la primitiva buscada mediante
integrate( sqrt(1-x^2),x );
La frmula del cambio de variable, como ya hemos dicho, es nicamente una
reformulacin en trminos de antiderivadas de la regla de derivacin para funciones
compuestas. Otras reformulaciones de las reglas de derivacin son las siguientes:

af(x) dx = a

f(x) dx, siendo a constante

(f(x) + g(x)) dx =

f(x) dx +

g(x) dx

u(x)v

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

(x)v(x) dx.
Las dos primeras expresan que

acta linealmente, mientras que la ltima, conoci-
da con el nombre de integracin por partes, es la reformulacin, para antiderivadas,
de la regla de derivacin para un producto de funciones.
Ejemplos 1.1.2 Ilustraremos el mtodo de integracin por partes calculando dos
primitivas.
(1)

xlog xdx
6
1.1 Cambio de variable e integracin por partes 7
Haciendo u(x) = log x y v

(x) = x se tiene u

(x) = 1/x y v(x) = x

2
/2, de
donde

xlog xdx = (x
2
/2) log x

(x
2
/2)(1/x) dx = (x
2
/2) log x (x
2
/4) + C.
El comando de Maxima
integrate( x*log(x),x );
proporciona algo que en el simbolismo habitual se expresa en la forma
x
2
log x
2

x
2
4
.
(2)

xe
arc cos x

1 x
2
dx
Mediante el cambio de variable t = arc cos x, (cos t = x y dt =
1

1 x
2
dx)
se obtiene

xe
arc cos x

1 x
2
dx =

e
t
cos t dt.
Esta ltima primitiva puede ser calculada mediante integracin por partes
en dos etapas.

e
t
cos t dt = e
t
cos t +

e
t
sen t dt = e
t
cos t + e
t
cos t

e
t
cos t dt
y en consecuencia

e
t
cos t dt =
1
2
e
t
(cos t + sen t).
As pues

xe
arc cos x

1 x
2
dx =
1
2
e
arc cos x
(x +

1 x
2
) + C
7
8 Clculo de primitivas
Sin embargo el excelente comportamiento que hasta el momento nos ha pro-
porcionado Maxima no debera llevarnos a conclusiones precipitadas sobre la
prdida de tiempo y energas o la futilidad que los razonamientos tericos
representan frente al poder del artefacto informtico. Concretamente, cuando con
integrate( (x*%e^(acos(x)))/sqrt(1-x*x),x );
tratamos de obtener una primitiva para el segundo de los ejemplos anteriores el resul-
tado que se obtiene corresponde a

xe
arc cos x

1 x
2
dx.
Descorazonador! Dirase que Maxima no hace nada salvo el dar como respuesta la
propia pregunta reescrita. En realidad la situacin no es tan dramtica y Maxima sabe
ms sobre el resultado de lo que a primera vista puede parecer. Por ejemplo, es capaz
de calcular la segunda derivada de la funcin resultante mediante
DIFF(%,x,2);
obteniendo
e
arc cos x

1 x
2

xe
arc cos x
1 x
2
+
x
2
e
arc cos x
(1 x
2
)
3
2
.
Pero, paos calientes aparte, en esta confrontacin con el humano, Maxima resulta
perdedor.
A pesar de este fracaso hay que sealar que el humano puede todava tratar de sacarle
partido a Maxima. Podemos decirle que realice en la primitiva el cambio de variable
que realizaramos nosotros
CHANGEVAR( integrate( (x*%e^(acos(x)))/sqrt(1-x*x),x ), t-acos(x),t,x );
obteniendo

e
t
cos t sin t

1 cos t

cos t + 1
dt = [o sea]

e
t
cos t dt
Y ahora con
integrate(- e^t * cos(t),t);
le pedimos que calcule esa primitiva, con el resultado siguiente

e
log e
t
sin t + log e e
log e
t
cos t
log
2
e + 1
= [o sea]
e
t
sin t + e
t
cos t
2
que coincide con el obtenido de forma manual.
1.2. Funciones racionales
Un polinomio es una funcin obtenida sumando distintas potencias enteras,
afectadas de coecientes, es decir, una funcin de la forma:
P(x) = M
n
x
n
+ M
n1
x
n1
+ + M
0
siendo los coecientes M
i
, 0 i n, nmeros reales o complejos. El valor de n,
la mayor de las potencias que aparece en el polinomio, se denomina el grado del
polinomio. Tambin podemos representar un polinomio genrico, como el anterior
8
1.2 Funciones racionales 9
P(x), en forma ms breve, utilizando el smbolo

, denominado suma o sumatorio:
P(x) = M
n
x
n
+ M
n1
x
n1
+ + M
0
=
n

k=0
M
k
x
k
El denominado ndice del sumatorio (es decir, k) puede ser sustituido por cualquier
otra letra, a excepcin en este caso, de las letras M y x que intervienen en la ex-
presin de las cantidades sumadas. El signicado del sumatorio es claro: sumamos
diversos trminos que dependen del ndice k, para valores de dicho ndice que, en
la expresin anterior, varan entre los valores 0 y n.
Los polinomios son funciones que siempre admiten primitivas que se calculan
de forma sencilla utilizando la linealidad y las primitivas de x
n
para n un nmero
entero positivo. As, para el polinomio anterior:

P(x) dx =

k=0
M
k
x
k
dx =
n

k=0
M
k
x
k+1
k + 1
Con el nombre de funciones racionales nos referimos a funciones que son co-
ciente de dos polinomios, es decir, de la forma:
R(x) =
P(x)
Q(x)
donde P y Q son polinomios. Para que la funcin R est bien denida requeriremos,
en un primer momento, que el polinomio Q no tenga ceros en un cierto intervalo
[a, b], donde estudiaremos dicha funcin.
Un nmero , real o complejo, se dice que es raz de un polinomio P(x), o que
es un cero del mismo, si P() = 0. Es sencillo comprobar que es raz de P(x) si
y slo si el polinomio (x ) divide al polinomio P(x), es decir, si y slo si existe
un polinomio Q(x) tal que P(x) = Q(x)(x ).
El teorema fundamental del lgebra (que se demostrar en el captulo 8) esta-
blece que cualquier polinomio P(x) = M
n
x
n
+ M
n1
x
n1
+ + M
0
, de grado n,
tiene exactamente n races, reales o complejas, digamos z
1
, z
2
, . . . z
n
. Esto permite
una factorizacin del polinomio P en la forma siguiente:
M
n
x
n
+ M
n1
x
n1
+ + M
0
= M
n
(x z
1
)(x z
2
) . . . (x z
n
).
Si algunas de las races coinciden (por ejemplo, si z
1
= z
2
) entonces el valor comn
se denomina raz mltiple (doble, triple, etc. segn el nmero de veces que se repite
en la descomposicin anterior).
Si los coecientes M
j
del polinomio son reales, que es el caso del que nos
ocuparemos aqu, con cada raz compleja z
k
existe la compleja conjugada
1
, z
k
,
1
El lector que no conozca los nmeros complejos no debe inquietarse por estas referencias a
dichos nmeros; en el captulo 2 se introducirn con detalle y, en este momento, no son esenciales
para entender los mtodos de clculo de primitivas
9
10 Clculo de primitivas
y el producto (x z
k
)(x z
k
) produce un factor del tipo (ax
2
+ bx + c). Como
consecuencia el polinomio M
n
x+M
n1
x
n1
+ +M
0
puede descomponerse como
un producto de factores elementales del tipo (x d)

y (ax
2
+ bx + c)

donde el
polinomio (ax
2
+ bx + c) no tiene races reales.
Para una funcin racional R(x) =
P(x)
Q(x)
, si descomponemos como antes cada
uno de los polinomios P(x) y Q(x), podemos eliminar aquellos factores del tipo
(x d)

y (ax
2
+ bx + c)

que sean comunes al numerador y al denominador,

consiguiendo que cada uno de dichos factores slo aparezca en una de esas dos
posiciones. As nos damos cuenta de que, una vez simplicada en dicha forma la
fraccin
P(x)
Q(x)
, la misma funcin racional R(x) se puede escribir como cociente de
dos polinomios
p(x)
q(x)
tales que p(x) y q(x) no tienen ninguna raz comn. Adems,
una vez simplicada, nos damos cuenta de que R(x) est denida para cualquier
valor de x con la nica excepcin de los valores que son raz del denominador q(x).
Para describir la tcnica del clculo de primitivas de las funciones racionales
distinguiremos dos casos segn que haya o no races mltiples. Pero comenzamos
haciendo notar que no es restrictivo suponer que el grado del polinomio del nume-
rador es menor que el grado del polinomio del denominador, ya que en otro caso,
puede hacerse una divisin entera escribindolo en la forma
P(x)
Q(x)
= C(x) +
R(x)
Q(x)
,
siendo C(x) el cociente y R(x) el resto de la divisin entera (que siempre tiene
grado menor que el divisor).
1.2.1. Caso de races simples
Se trata de calcular la primitiva de una funcin racional
P(x)
Q(x)
con grado de P
menor estrictamente que grado de Q y donde Q(x) slo tiene races simples, en
otras palabras
Q(x) = M
n
(x z
1
)(x z
2
)(x z
n
)
donde todas las z
i
son diferentes. Si alguna de las z
i
no es real tambin aparece
su compleja conjugada por lo que, agrupando convenientemente, se obtiene una
factorizacin polinmica del siguiente tipo
Q(x) = M
n
(xx
1
) . . . (xx
k
)(a
1
x
2
+b
1
x+c
1
)(a
2
x
2
+b
2
x+c
2
) . . . (a
j
x
2
+b
j
x+c
j
),
en donde los factores de primer grado corresponden a las races reales simples,
mientras que los factores de segundo grado corresponden a los productos determi-
nados por las races complejas (tambin simples) agrupando cada una de ellas con
su compleja conjugada.
Una vez realizada esta factorizacin polinmica pueden encontrarse constan-
tes A
1
, A
2
, . . . A
k
, B
1
, B
2
, . . . B
j
, C
1
, C
2
, . . . C
j
unvocamente determinadas de forma
que se verica para todo x la identidad
P(x)
Q(x)
=
A
1
x x
1
+ +
A
k
x x
k
+
B
1
x + C
1
a
1
x
2
+ b
1
x + c
1
+ +
B
j
x + C
j
a
j
x
2
+ b
j
x + c
j
(1.1)
10
1.2 Funciones racionales 11
Aunque es posible dar una demostracin abstracta de este hecho
2
, en la prctica
lo utilizaremos en casos concretos, y se comprobar, de forma particular, la validez
del enunciado general. Y como el clculo de primitivas es una operacin lineal, la
primitiva de
P(x)
Q(x)
se obtendr sumando las primitivas de las fracciones que aparecen
en el segundo miembro de la identidad.
Ahora bien todas esas primitivas responden a dos modelos dados, respectiva-
mente, por

A
1
x x
1
dx y

B
1
x + C
1
a
1
x
2
+ b
1
x + c
1
dx.
De estas dos primitivas, la primera es realmente trivial ya que es

A
1
x x
1
dx = A
1
log |x x
1
| + D
siendo D una constante arbitraria.
La segunda tambin es sencilla, pero requiere trabajar un poco ms.
Dividiendo por a
1
puede considerarse que se trata de calcular

Bx + C
x
2
+ px + q
dx.
A partir de esta ltima seguimos una serie de pasos, sencillos y sistemticos
que se exponen a continuacin.

Bx + C
x
2
+ px + q
dx =

Bx + C
(x + p/2)
2
+ (q p
2
/4)
dx [paso 1]
=

B(x + p/2) + C Bp/2

(x + p/2)
2
+ (q p
2
/4)
dx [paso 2]
=
B
2

2(x + p/2)
(x + p/2)
2
+ (q p
2
/4)
dx+
+

C Bp/2
(x + p/2)
2
+ (q p
2
/4)
dx [paso 3]
=
B
2
log

(x + p/2)
2
+ (q p
2
/4)

+
+

C Bp/2
(x + p/2)
2
+ (q p
2
/4)
dx [paso 4]
=
B
2
log

(x + p/2)
2
+ (q p
2
/4)

+
+ (C Bp/2)
1

q p
2
/2
arctg
x + p/2

q p
2
/2
+ D
2
Vase, por ejemplo, la seccin 7.2.2 de Ramis, E. ; Deschamps, C. y Odoux, J. Algebre,
Masson et Cie, 1974.
11
12 Clculo de primitivas
En el primer paso realizamos el procedimiento conocido como el de completar
cuadrados, es decir: manipulamos el polinomio x
2
+px+q para conseguir escribirlo
como suma de dos cuadrados. Para ello comenzamos escribiendo px = 2
p
2
x, y,
ahora, la suma x
2
+ 2
p
2
x es del tipo obtenido al elevar un binomio al cuadrado.
As, (x+
p
2
)
2
= x
2
+px+
p
2
4
y puesto que el trmino
p
2
4
no aparece en el polinomio
inicial, conseguimos la expresin deseada sumando y restando dicho trmino.
Acabamos de armar que mediante la idea de completar cuadrados, consegui-
mos escribir el polinomio cuadrtico x
2
+px+q como suma de dos cuadrados.
Es esto cierto? Qu estamos suponiendo, implcitamente, sobre dicho poli-
nomio? En particular, concluya que el trmino q
p
2
4
es positivo.
El segundo paso es muy sencillo: puesto que en el denominador aparece el bi-
nomio (x + p/2) y en el numerador slo el trmino Bx, sumamos y restamos la
cantidad B
p
2
.
El tercer paso es tambin muy sencillo: separamos en dos sumandos (utilizando la
linealidad de la antiderivacin) y completamos, en el primero de los sumandos, la
parte que contiene a x en el numerador, para conseguir ajustar las constantes de
forma que tengamos en el numerador la derivada del denominador.
El paso 4 es nicamente el clculo del primer sumando, que proporciona un loga-
ritmo (todo lo anterior era para obtener precisamente esto).
Finalmente el clculo de la antiderivada en el segundo sumando procede de forma
sencilla para obtener una funcin arc tg; lo repetimos a continuacin con expresio-
nes ms sencillas para las constantes: para c > 0 tenemos

A
(x + b)
2
+ c
dx =

A
(x + b)
2
+ (

c)
2
dx =
A

c
1

x+b

2
+ 1
dx =
=
A

c
arc tg

x + b

+ D
Ejemplo 1.2.1 Clculo de la primitiva

x
4
+ 4x
3
x
4
+ 3x
3
x 3
dx.
En primer lugar, puesto que el grado del polinomio del numerador es igual al
del polinomio del denominador, efectuamos la divisin y obtenemos, como es fcil
comprobar, que el cociente es 1 y que el resto (que debe tener grado estrictamente
menor que el del divisor) es x
3
+ x + 3. As pues se tiene
x
4
+ 4x
3
= 1 (x
4
+ 3x
3
x 3) + x
3
+ x + 3
12
1.2 Funciones racionales 13
y en consecuencia

x
4
+ 4x
3
x
4
+ 3x
3
x 3
dx =

(x
4
+ 3x
3
x 3) + x
3
+ x + 3
x
4
+ 3x
3
x 3
dx =

1 +
x
3
+ x + 3
x
4
+ 3x
3
x 3

dx =
x +

x
3
+ x + 3
x
4
+ 3x
3
x 3
dx.
Para calcular

x
3
+x+3
x
4
+3x
3
x3
dx necesitamos factorizar el denominador. Para ello ne-
cesitamos hallar las races del polinomio. Pero, aunque un polinomio de grado n
tiene n races reales o complejas, simples o mltiples, no hay un procedimiento
general para calcularlas, slo en algunos casos sencillos es posible calcularlas. Uno
de tales casos (el ms habitual) se presenta cuando los coecientes son nmeros
enteros y existe una raz entera: en tal caso dicha raz es divisor entero del trmino
de grado cero del polinomio. En concreto, en el caso que nos ocupa, si hay alguna
raz entera del polinomio x
4
+ 3x
3
x 3 debe ser un divisor de 3 por tanto ha
de se ser 1 o 3. Es fcil comprobar que el polinomio se anula para x = 1, as
que el polinomio x
4
+ 3x
3
x 3 es divisible por x 1. Realizando la divisin,
ya sea de forma directa o utilizando la tcnica de Runi, se obtiene como cociente
x
3
+ 4x
2
+ 4x + 3. As pues
x
4
+ 3x
3
x 3 = (x 1)(x
3
+ 4x
2
+ 4x + 3)
El polinomio x
3
+ 4x
2
+ 4x + 3 est en las mismas condiciones que el anterior y
utilizando la misma tcnica repetidas veces se obtiene
x
4
+ 3x
3
x 3 = (x 1)(x + 3)(x
2
+ x + 1).
Finalmente llegamos al polinomio de segundo grado x
2
+x +1 para el cual dispo-
nemos de un procedimiento general para el clculo de sus races, pero en nuestro
caso dicho polinomio no tiene races reales y por tanto no es factorizable como
producto de otros. La factorizacin ha nalizado!
Ahora utilizamos un mtodo de coecientes indeterminados para hacer la des-
composicin en fracciones simples. Concretamente, escribimos:
x
3
+ x + 3
x
4
+ 3x
3
x 3
=
A
x 1
+
B
x + 3
+
Mx + N
x
2
+ x + 1
Maxima puede calcular esta descomposicin con el comando
partfrac( (x^3+x+3)/(x^4+3*x^3-x-3), x ); que proporciona

8 x + 19
21 (x
2
+ x + 1)
+
27
28 (x + 3)
+
5
12 (x 1)
Tras efectuar reducir a comn denominador en el segundo miembro y agrupar
13
14 Clculo de primitivas
segn las potencias de x se llega a:
x
3
(A+ B + M) + x
2
(4A+ 2M + N) + x(4A+ 2N 3M) + (3AB 3N)
x
4
+ 3x
3
x
2
x 3
es decir a que
x
3
+x+3 x
3
(A+B+M)+x
2
(4A+2M+N)+x(4A+2N3M)+(3AB3N)
para todo x, lo que conduce al siguiente sistema de ecuaciones:
A+ B + M = 1
4A+ 2M + N = 0
4A+ 2N 3M = 1
3AB 3N = 3
cuyas soluciones son: A = 5/12, B = 27/28, M = 8/21, N = 19/21. As pues

x
3
+ x + 3
x
4
+ 3x
3
x 3
=

5/12
x 1
+

27/28
x + 3

1
21

8x + 19
x
2
+ x + 1
Las primitivas de

1
x1
y

1
x+3
son inmediatas. La tercera, como ocurre en general,
corresponde a la suma de un logaritmo y un arco tangente, veamos cmo.

8x + 19
x
2
+ x + 1
dx = 4

2x + 19/4
x
2
+ x + 1
dx = 4

2x + 1 + 19/4 1
x
2
+ x + 1
dx
= 4

2x + 1
x
2
+ x + 1
dx + 15

1
x
2
+ x + 1
dx
= 4 log(x
2
+ x + 1) + 15

1
x
2
+ x + 1
dx
Ahora

1
x
2
+ x + 1
dx =

1
(x + 1/2)
2
+ 3/4
dx =
4
3

x+1/2

3/4

2
+ 1
dx
=
2

2/

2x+1

2
+ 1
dx =
2

3
arctg
2x + 1

3
+ C
Tambin podemos calcular la antiderivada buscada de forma directa con el
comando
integrate( (x^4+4*x^3)/(x^4+3*x^3-x-3), x ); obteniendo

4 log

x
2
+ x + 1

21

10 arctg

2 x+1

3
+
27 log (x + 3)
28
+
5 log (x 1)
12
+ x
14
1.2 Funciones racionales 15
Ejemplo 1.2.2 Clculo de la primitiva

1
x
4
+ x
2
+ 2
dx.
Evidentemente el denominador es estrictamente positivo para todos los nmeros
reales. En consecuencia todas sus races son nmeros complejos (no reales), pero
siendo los coecientes del polinomio nmeros reales, las cuatro races han de ser
sendas parejas de complejos conjugados. Por otra parte es claro que si z es una
raz tambin lo es z, en resumen una vez que encontremos una raz z las otras
tres son z, z y z. Para determinar las races podemos considerar
0 = x
4
+ x
2
+ 2 = (x
2
)
2
+ x
2
+ 2 = t
2
+ t + 2
con lo que
t = x
2
=
1 +

1 8
2
=
1 +

7i
2
.
As que una de las races es

1 +

7i
2
= a + bi para ciertos reales a, b.
Podemos determinar a y b a travs del sistema de dos ecuaciones con incgnitas a
y b obtenido elevando al cuadrado e identicando las partes real e imaginaria de
ambos miembros de la ecuacin anterior, es decir,

1
2
= a
2
b
2
,

7
2
= 2ab
que una vez resuelto da como una de sus soluciones (slo necesitamos una) la
pareja
a =

2 1
2
, b =

2 + 1
2
.
La factorizacin del polinomio es
x
4
+ x
2
+ 2 =

x (a + bi)

x (a bi)

x + (a + bi)

x + (a bi)

(x a)
2
+ b
2

(x + a)
2
+ b
2

x
2
2ax + a
2
+ b
2

x
2
+ 2ax + a
2
+ b
2

(1.2)
siendo a y b los valores anteriormente calculados. Una vez factorizado el denomi-
nador se aplica el procedimiento de coecientes indeterminados antes descrito y se
consigue nalmente calcular la primitiva buscada.
15
16 Clculo de primitivas
Aunque conceptualmente simples, los clculos anteriores resultan tediosos.
Desgraciadamente la versin de Maxima disponible cuando se escribieron estas
notas ante la orden
integrate( 1/(x^4 + x^2 + 2),x );
nicamente proporciona

1
x
4
+ x
2
+ 2
dx.
Pero utilizando otros recursos de Maxima podemos simplicarnos las tareas tediosas.
rectform(solve(x^4 + x^2 + 2,x)); (calcula las races en forma binomia)
x =

2 + 1 i
2
+

2 1
2
, [... y las otras tres races]
y ahora, conocidos a y b, podemos factorizar el denominador como indica la identi-
dad 1.2 y con un oportuno comando integrate sobre la misma (que no escribimos por
brevedad) obtener nalmente la primitiva buscada:
4 arctg

8x4

21
4

21

2 1

3
2
+
8x 4

2 1

2 4

x
2
+

4 8

2 1x +

2 1

2
4

2 + 9
Para acabar esta seccin sealemos que si alguna (o algunas) de las races reales,
x = x
1
, hubiera sido doble, triple,... la tcnica de descomposicin en fracciones
simples requiere incluir nuevos elementos del mismo tipo que los de las races
simples, pero con denominadores
(x x
1
)
2
, (x x
1
)
3
, . . .
No detallamos ms este procedimiento porque en la seccin siguiente describimos
un mtodo general vlido para races mltiples, tanto reales como complejas.
1.2.2. Caso de races mltiples:
mtodo de HermiteOstrogradsky
La tcnica que describimos en este apartado se conoce con el nombre de mtodo
de HermiteOstrogradsky y permite reducir el caso de las races mltiples al de
las races simples. Aunque el mtodo se aplica para cualquier tipo de races (reales
o complejas) para el caso de las races reales mltiples no es imprescindible ya
que, en esa situacin, es posible utilizar la tcnica descrita en el apartado anterior,
aunque sta no sirve para el caso de las races complejas mltiples.
Sea
P(x)
Q(x)
una funcin racional con el grado de P menor que el grado de Q. Para
utilizar el mtodo necesitamos considerar los polinomios: D
1
(x) que es el mximo
comn divisor entre Q(x) y su derivada Q

(x) y D
2
(x) =
Q(x)
D
1
(x)
.
El clculo de D
1
(x) y D
2
(x) es sencillo si suponemos que ya hemos factorizado
Q(x). As, suponiendo Q(x) = M
n
(x z
1
)

1
(x z
2
)

2
. . . (x z
k
)

k
entonces:
D
1
(x) = M
n
(x z
1
)
(
1
1)
(x z
2
)
(
2
1)
. . . (x z
k
)
(
k
1)
16
1.2 Funciones racionales 17
D
2
(x) = (x z
1
)(x z
2
) . . . (x z
k
).
Con esas notaciones es posible encontrar polinomios A(x) y B(x) tales que el grado
de A es menor que el grado de D
1
, el grado de B es menor que el grado de D
2
, y
que cumplen:
P(x)
Q(x)
=

A(x)
D
1
(x)

+
B(x)
D
2
(x)
(1.3)
donde la tilde en (A/D
1
)

denota la derivada. Los polinomios A y B pueden deter-

minarse utilizando para ello polinomios con coecientes genricos que se calculan
de forma concreta en cada caso a travs de la ecuacin (1.3). Aunque es posible
dar una demostracin de este hecho, en la prctica lo utilizaremos en casos concre-
tos, donde de forma efectivamente se comprobar la validez del enunciado antes
formulado.
Como consecuencia de la ecuacin (1.3), calculando en ambos miembros la
antiderivada, obtenemos:

P(x)
Q(x)
dx =
A(x)
D
1
(x)
+

B(x)
D
2
(x)
dx
Obsrvese que como D
2
slo tiene races simples, la primitiva

B(x)
D
2
(x)
dx es de las
del tipo considerado en el apartado anterior.
Ejemplo 1.2.3

1
(x
2
+ 1)
3
dx
En este caso el polinomio del denominador ya est factorizado, pues no existen
races reales de x
2
+ 1 = 0. As que, en esta ocasin,
D
1
(x) = (x
2
+ 1)
2
, D
2
(x) = (x
2
+ 1)
y por tanto

1
(x
2
+ 1)
3
dx =
Ax
3
+ Bx
2
+ Cx + D
(x
2
+ 1)
2
+

Ex + F
(x
2
+ 1)
dx.
Para calcular los coecientes desconocidos hemos de derivar obteniendo:
1
(x
2
+ 1)
3
=

Ax
3
+ Bx
2
+ Cx + D
(x
2
+ 1)
2

+
Ex + F
(x
2
+ 1)
[y efectuando clculos]
=
(3Ax
2
+ 2Bx + C)(x
2
+ 1) 4x(Ax
3
+ Bx
2
+ Cx + D)
(x
2
+ 1)
3
+
(Ex + F)(x
2
+ 1)
2
(x
2
+ 1)
3
Lo que, a travs de,
1 = Ex
5
+ (F A)x
4
+ (2E 2B)x
3
+ (3A 3C + 2F)x
2
+ (2B 4D + E)x + C + F
17
18 Clculo de primitivas
conduce a un sistema lineal compatible de 6 ecuaciones con 6 incgnitas.
E = 0
F A = 0
2E 2B = 0
3A3C + 2F = 0
2B 4D + E = 0
C + F = 1
cuya solucin es: A = 3/8 = F, B = D = E = 0, C = 5/8.
El clculo de

x + 4/3
x
2
+ 1
dx
se efecta en la forma indicada en el ejemplo anterior.
La primitiva que el comando integrate de Maxima proporciona es la siguiente
3 arctg x
8
+
3 x
3
+ 5 x
8 x
4
+ 16 x
2
+ 8
.
Pero conviene tambin saber que Maxima puede prestar servicios de apoyo puntuales
en un procedimiento manual de clculo de primitivas. As, por ejemplo, sistemas de
ecuaciones lineales como el que aparece anteriormente puede ser resuelto mediante
solve([E=0,F-A=0,2*E-2*B=0,3*A-3*C+2*F=0,2*B-4*D+E=0,C+F=1],[A,B,C,D,E,F])
Una vez estudiado el clculo de primitivas de funciones racionales, en lo que
sigue estudiamos otro tipo de funciones tratando de reducirlas, mediante cambios
de variable adecuados, a primitivas de funciones racionales.
Mikhail Vasilevich Ostrogradski, naci el 24 de septiembre de 1801 en Pas-
hennaya (actualmente en Ucrania) y falleci el primero de enero de 1862,
en la misma poblacin. Perteneci a la Academia Rusa de Ciencias, en su
seccin de matemtica aplicada. Trabaj en numerosas disciplinas dentro de las mate-
mticas puras y aplicadas: ecuaciones en derivadas parciales, anlisis complejo, lgebra,
teora del calor, de la elasticidad, hidrodinmica, etc.
Charles Hermite naci en Dieuze (en la Lorena, Francia) el 24 de diciembre de 1822
y muri en Pars el 14 de enero de 1901. Sin duda su resultado ms conocido es la
trascendencia del nmero e (este nmero se dene rigurosamente en el captulo 2;
un nmero es trascendente si no es raz de ningn polinomio de coecientes enteros).
Realiz importantes trabajos en lgebra, teora de nmeros y anlisis matemtico; son
conocidas referencias a este importante matemtico las nociones de: polinomios de Her-
mite, ecuacin diferencial de Hermite, frmula de interpolacin de Hermite y matrices
(operadores) hermitianas.
Henri Poincar, uno de los ms grandes matemticos de toda la historia y alumno de
Hermite escribi:
Llamar a Hermite un lgico! nada me parece ms contrario a la verdad.
Los mtodos parecan siempre nacer en su mente en alguna misteriosa
forma.
18
1.3 Funciones racionales en seno y coseno 19
Figura 1.2: Ostrogradski (izquierda) y Hermite
sen
2
x + cos
2
x = 1 sen(x + y) = sen xcos y + cos xsen y
sen(x +

2
) = cos x cos(x + y) = cos xcos y sen xsen y
cos(x +

2
) = sen x sen 2x = 2 sen xcos x
tg x =
sen x
cos x
cos 2x = cos
2
x sen
2
x
cotg x =
cos x
sen x
sen
2
x =
1 cos 2x
2
1 + tg
2
x =
1
cos
2
x
cos
2
x =
1 + cos 2x
2
Cuadro 1.1: Relaciones trigonomtricas bsicas
1.3. Funciones racionales en seno y coseno
El calculo de primitivas de funciones trigonomtricas exige el conocimiento de
las relaciones trigonomtricas que se suele aprender en la enseanza media. A modo
de recordatorio resumiremos en el cuadro 1.1 las relaciones trigonomtricas ms
utilizadas.
Un polinomio en las variables x e y es una expresin de la forma:
P(x, y) =
n

j=1
m

k=1
a
jk
x
j
y
k
No es algo muy diferente de un polinomio ordinario P(x) en una variable; la nica
diferencia es que ahora cada sumando puede contener una potencia de x y otra de
y.
Llamaremos funcin racional en dos variables a una funcin R(x, y) que es
cociente de dos polinomios, cada uno de ellos en las variables x e y.
Una funcin racional en seno y coseno es una expresin de la forma
R(sen x, cos x)
siendo R(x, y) una funcin racional en dos variables.
19
20 Clculo de primitivas
El clculo de la antiderivada de este tipo de funciones R(sen x, cos x) se reduce
al de las consideradas en la seccin 1.2 mediante el cambio general de variable dado
por
t = tg(x/2).
En efecto, se tienen las frmulas
sen x =2 sen

x
2

cos

x
2

= 2 tg

x
2

cos
2

x
2

=
2t
1 + t
2
cos x =cos
2

x
2

sen
2

x
2

= cos
2

x
2

1 tg
2

x
2

=
1 t
2
1 + t
2
x =2 arctg t
dx =
2
1 + t
2
dt,
lo que permite escribir

R(sen x, cos x) dx como la antiderivada de una funcin
racional

R
1
(t) dt. En efecto:

R(sen x, cos x) dx =

2t
1 + t
2
,
1 t
2
1 + t
2

2
1 + t
2
dt =

R
1
(t) dt
puesto que la expresin en la segunda antiderivada es una funcin racional de t.
Por qu?
Ejemplo 1.3.1 Calcule

1
sen x
dx.
Hacemos el cambio de variable t = tg(x/2) lo que nos da:

1
sen x
dx =

1
2t
1+t
2
2
1 + t
2
dt
=

1
t
dt = log |t| + C = log | tg(x/2)| + C
Calcule la primitiva anterior haciendo uso de Maxima y compare el resulta-
do que la herramienta informtica proporciona con el que aparece escrito en
la frmula anterior. Coinciden los resultados? Explique razonadamente su
respuesta.
En algunos casos particulares pueden hacerse otros cambios ms especcos
que, frecuentemente, dan lugar a primitivas ms sencillas de calcular.
Si R es una funcin par en seno y coseno, es decir,
R(sen x, cos x) = R(sen x, cos x),
lo que signica que cambiando simultneamente sen x por sen x y cos x
por cos x se obtiene la misma funcin, entonces puede comprobarse que el
cambio
t = tg x
20
1.3 Funciones racionales en seno y coseno 21
permite reducir tambin la primitiva a una del tipo considerado en la sec-
cin 1.2. Se tiene la siguiente frmula
t
2
= tg
2
x =
sen
2
x
cos
2
x
=
sen
2
x
1 sen
2
x
que permite expresar sen x en funcin de t. Procediendo de forma similar con
la funcin coseno se obtienen, nalmente, las siguientes frmulas:
sen x =
t

1 + t
2
, cos x =
1

1 + t
2
, dx =
dt
1 + t
2
.
Ejemplo 1.3.2 Calcule

1
sen xcos x + cos
2
x
dx
En primer lugar observamos que la funcin de la que queremos calcular la
antiderivada es par en seno y coseno; en efecto:
R(sen x, cos x) =
1
sen xcos x + cos
2
x
=
=
1
(sen x)(cos x) + (cos x)
2
= R(sen x, cos x)
Entonces el cambio de variable t = tg x es adecuado y ms sencillo que
t = tg(x/2); as:

1
sen xcos x + cos
2
x
dx =

1
tg x + 1
dx
cos
2
x
=

dt
1 + t
= log |1 + t| + C = log |1 + tg x| + C
Si R es una funcin impar en seno es decir,
R(sen x, cos x) = R(sen x, cos x),
entonces el cambio t = cos x permite reducir la primitiva a una del tipo
considerado en la seccin 1.2 como es fcil comprobar.
Ejemplo 1.3.3

sen
3
x
1 + cos
2
x
dx =

sen
2
x
1 + cos
2
x
sen xdx =

1 cos
2
x
1 + cos
2
x
sen xdx
=

1 t
2
1 + t
2
dt =

1 +
2
1 + t
2
dt = t + 2 arctg t + C
= cos x + 2 arctg(cos x) + C.
El lector debera comparar el cambio de variable empleado en este caso en
que la funcin es impar en seno con el que se ha indicado con carcter general
21
22 Clculo de primitivas
Si R es una funcin impar en coseno, es decir,
R(sen x, cos x) = R(sen x, cos x),
entonces el cambio t = sen x permite reducir la primitiva a una del tipo
considerado en la seccin 1.2 como es fcil comprobar.
Ejemplo 1.3.4

1
cos x
dx =

1
cos
2
x
cos xdx =

1
1 sen
2
x
cos xdx
=

1
1 t
2
dt =
1
2

1
1 + t
+
1
1 t
=
1
2
log

1 + t
1 t

+ C
= log

1 + sin x
1 sin x

+ C
Estos cambios son preferibles al cambio general porque suelen conducir a unos
clculos ms sencillos que el cambio general.
Lo anterior no agota los casos particulares. La utilizacin adecuada de los
recursos trigonomtricos puede proporcionar tcnicas especiales para determinados
casos concretos. Por ejemplo, las primitivas del tipo

sen
2n
xdx o

cos
2n
xdx
se pueden calcular de forma sencilla utilizando reiteradamente los frmulas trigo-
nomtricas para el ngulo doble (cuadro 1.1). Tal puede hacerse para el clculo de

sen
4
xdx, que aunque puede ser considerada como funcin par en seno y coseno,
susceptible, por tanto, de aplicarle el cambio t = tg x, resulta ms sencillo utilizar
las frmulas trigonomtricas del ngulo doble:
sen
2
A =
1 cos 2A
2
, cos
2
A =
1 + cos 2A
2
.
Ejemplo 1.3.5

sen
4
xdx =

(sen
2
x)
2
dx =

1 cos 2x
2

2
dx [desarrollando el cuadrado]
=
1
4

(1 2 cos 2x + cos
2
2x) dx =
1
4

(1 2 cos 2x +
1 + cos 4x
2
) dx
=
3
8
x
1
4
sen 2x +
1
32
sen 4x + C
22
1.4 Funciones racionales de e
x
23
senh x :=
e
x
e
x
2
cosh x :=
e
x
+ e
x
2
cosh
2
x senh
2
x = 1
(senh x)

= cosh x (cosh x)

= senh x
(tanh x)

= (1 tanh
2
x) =
1
cosh
2
x
senh 2x = 2 senh xcosh x cosh 2x = cosh
2
x + senh
2
x
cosh
2
x =
cosh(2x) + 1
2
senh
2
x =
cosh(2x) 1
2
Cuadro 1.2: Frmulas bsicas de trigonometra hiperblica
1.4. Funciones racionales de e
x
El clculo de la antiderivada de las funciones de este tipo, es decir de funciones
de la forma R(e
x
), siendo R(z) una funcin racional, se reducen a las consideradas
en la seccin 1.2 mediante el cambio t = e
x
, como es inmediato comprobar.
Ejemplo 1.4.1

e
x
e
2x
+ 1
dx =

dt
t
2
+ 1
= arctg e
x
+ C
1.5. Funciones racionales en senh y cosh
La antiderivacin de esta funciones (R(senh x, cosh x), siendo R(x, y) racional
de dos variables) se realiza de forma similar a las primitivas de funciones racionales
en senos y cosenos (ordinarios) y tambin, en ocasiones, sustituyendo senh y cosh
por sus valores, con lo que se transforman en racionales de e
x
. Las frmulas fun-
damentales aparecen en el cuadro 1.2 y pueden ser deducidas fcilmente a partir
de la denicin.
Ejemplo 1.5.1 Funcin impar en senh. Utililzando el cambio t = cosh x obtene-
mos:

1
senh
3
x
dx =

senh x
senh
4
x
dx =

senh x
(cosh
2
x 1)
2
dx =

dt
(t
2
1)
2
dt.
Tambin puede hacerse mediante una racional en e
x
puesto que

1
senh
3
x
dx =

2
3
t
3
(e
2x
1)
3
dx =

8t
3
(t
2
1)
3
dt
t
=

8t
2
(t
2
1)
3
dt
con el cambio de variable t = e
x
.
23
24 Clculo de primitivas
1.6. Algunos tipos de funciones irracionales
A diferencia de lo que ocurre con las funciones racionales no existe un proce-
dimiento general para el clculo de primitivas de funciones irracionales. Incluimos
aqu alguna situacin particular en la que mediante cambios adecuados es posible
transformarlas en primitivas de las consideradas en la seccin 1.2.
1.6.1. (I
1
)

x,

ax + b
cx + d

r
1
,

ax +b
cx +d

r
2
, . . . ,

ax + b
cx +d

r
k

dx
En este caso R es una funcin racional de k + 1 variables y r
1
, r
2
. . . , r
k
son
nmeros racionales. El cambio de variable
t
n
=
ax + b
cx + d
siendo n el mnimo comn mltiplo de los denominadores de r
1
, r
2
. . . , r
k
permite
reducirlas a las consideradas en la seccin 1.2, como es fcil comprobar.
Ejemplo 1.6.1

x
3

x + 1 +

x + 1
dx
El objetivo es eliminar las races cuadradas y cbicas. Puesto que tenemos el
binomio x + 1 elevado a los exponentes
1
2
y
1
3
, tomamos n = 6, ya que 6 es el
mnimo comn mltiplo de 2 y 3. Entonces hacemos
x + 1 = t
6
, que conduce a x = t
6
1, dx = 6t
5
dt,
con lo que la primitiva anterior se transforma en

t
6
1
t
2
+ t
3
6t
5
dt = 6

t
9
t
3
t + 1
dt = 6

(t
8
t
7
+ t
6
t
5
+ t
4
t
3
) dt
= 6

t
9
/9 t
8
/8 + t
7
/7 t
6
/6 + t
5
/5 t
4
/4

+ C.
Y tras deshacer el cambio de variable se obtiene que la primitiva buscada es
6

(
6

x + 1)
9
9

(
6

x + 1)
8
8
+
(
6

x + 1)
7
7

(x + 1)
6
+
(
6

x + 1)
5
5

(
6

x + 1)
4
4

+C
24
1.6 Algunos tipos de funciones irracionales 25
Maxima puede calcular de forma directa la primitiva anterior mediante
integrate(x/( (x+1)^(1/2) + (x+1)^(1/3)), x);
El resultado proporcionado es
280 (x + 1)
3
2
315 (x + 1)
4
3
+ 360 (x + 1)
7
6
420 (x + 1) + 504 (x + 1)
5
6
630 (x + 1)
2
3
420
Para ver que ese resultado se corresponde con el que hemos obtenido nosotros pode-
mos indicar a Maxima que desarrolle la fraccin inmediatamente anterior mediante el
comando
expand(%);
obteniendo entonces la siguiente expresin
2 (x + 1)
3
2
3

3 (x + 1)
4
3
4
+
6 (x + 1)
7
6
7
+
6 (x + 1)
5
6
5

3 (x + 1)
2
3
2
x 1
1.6.2. (I
2
)

x
m
(a + bx
n
)
p
dx
Donde m, n, p son nmeros racionales se conocen con el nombre de primitivas
binomias y pueden resolverse slo en ciertos casos particulares, que pasamos a
describir, mediante su reduccin al modelo considerado en el apartado (I
1
).
p Z
En este caso se trata de un ejemplo concreto de las primitivas irracionales
consideradas en el apartado (I
1
).
p / Z
Entonces haremos el cambio de variable dado por t = x
n
que lo reduce a una
primitiva del tipo

t
q
(a + bt)
p
dt.
Hay dos casos en los que esta primitiva puede transformarse al modelo con-
siderado en el apartado (I
1
) y son los siguientes:
q Z
Es obvio que se trata de una primitiva del tipo considerado en el apar-
tado (I
1
).
q + p Z
Si tal ocurre entonces

t
q
(a + bt)
p
dt =

t
q+p

a + bt
t

p
dt
y de nuevo se trata de una primitiva del tipo considerado en el apartado
(I
1
).
25
26 Clculo de primitivas
Ejemplo 1.6.2

x
5
3

1 + x
3
dx =

x
5
(1 + x
3
)
1/3
dx
De acuerdo con lo indicado, hacemos el cambio t = x
3
, y en consecuencia
x = t
1/3
, dx = (1/3)t
2/3
dt que tras sustituir conduce a
1
3

t dt
3

1 + t
=
1
3

(u
3
1)3u
2
du
u
=
u
5
5

u
2
2
+ C
=
(1 + x
3
)
5/3
5

(1 + x
3
)
2/3
2
+ C.
Ejemplo 1.6.3

x
3
3

1 + x
3
dx =

x
3
(1 + x
3
)
1/3
dx
De acuerdo con lo indicado, hacemos t = x
3
, y sustituyendo llegamos a
(q = 1/3 p = 1/3)
1
3

t(1 + t)
1/3
dt
t
2/3
=
1
3

t
1/3
(1 + t)
1/3
dt
=
1
3

t
1 + t

1/3
dt

t
1 + t
= u
3
t =
u
3
1 u
3

=
1
3

u
3u
2
(1 u
3
) + u
3
3u
2
(1 u
3
)
2
du =

u
3
(1 u
3
)
2
du
que es ya una funcin racional.
1.6.3. (I
3
)

R(x,

ax
2
+bx + c) dx
Aqu R representa a una funcin racional de dos variables y suponemos, obvia-
mente, que

ax
2
+ bx + c tiene sentido. Este tipo de primitivas se conoce con el
nombre de irracionales cuadrticas.
Por calcular las primitivas de este tipo de funciones basta observar que mediante
un adecuado cambio de variable afn (del tipo t = x + ) la primitiva propuesta
da origen a una de las siguientes:

t
2
1,

t
2
+ 1 o

1 t
2
, dependiendo de
los valores de a, b y c. Se trata ahora de calcular las primitivas de cada una de
ellas.
26
1.6 Algunos tipos de funciones irracionales 27

1 t
2
.
Puede calcularse de forma sencilla mediante el cambio de variable
z = sen t.
Ejemplo 1.6.4

x x
2
dx
Tenemos la siguiente identidad
x x
2
=
1
4
(x
1
2
)
2
=
1
4

x
1
2
1
2

=
1
4
(1 (2x 1)
2
)
con lo que

x x
2
dx =
1
2

1 (2x 1)
2
dx [t = 2x 1]
=
1
4

1 t
2
dt [sen u = t]
=
1
4

1 sen
2
ucos u du =
1
4

cos
2
u du
=
1
8

(1 + cos 2u) du =
1
8
u +
1
16
sen 2u + C
=
1
8
(u + sen u cos u) + C
=
1
8

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

1 (2x 1)
2

+ C

t
2
1.
Esta primitiva y la que sigue despus pueden calcularse utilizando las fun-
ciones seno, coseno, tangente y cotangente hiperblicos, que ya han sido
denidas en el cuadro 1.2, en el que se incluyen tambin ecuaciones que esta-
blecen relaciones entre ellas. A la vista de dichas ecuaciones resulta evidente
que la primitiva propuesta, haciendo el cambio de variable
t = cosh z
se reduce a

senh
2
z dz =

cosh 2z 1
2
dz
cuya primitiva se calcula de forma sencilla.
27
28 Clculo de primitivas
Ejemplo 1.6.5

x
2
2xdx =

(x 1)
2
1 dx [x 1 = t]
=

t
2
1 dt [t = cosh u]
=

senh
2
u du =
1
2

(cosh(2u) 1) du
=
1
4
senh(2u)
1
2
u + C
=
1
2

(x 1)
2
1(x 1) argcosh(x 1)

+ C

t
2
+ 1
Utilizando las mismas ideas que antes, es claro que
t = senh z
reduce la primitiva a

cosh
2
z dz =

cosh 2z + 1
2
dz
cuya primitiva, como antes, se calcula de forma sencilla.
Ejemplo 1.6.6

4x
2
+ 1 dx =

(2x)
2
+ 1 dx [2x = t]
=
1
2

t
2
+ 1 dt [t = senh u]
=
1
2

senh
2
u + 1 cosh u du =
1
2

cosh
2
u du
=
1
2

e
u
+ e
u
2

2
du =
1
8

e
2u
+ 2 + e
2u
du
=
1
16
(e
2u
+ 4u e
2u
) + C =
1
4
u +
1
8
senh 2u + C
=
1
4
argsenh(2x) +
1
2
x

1 + (2x)
2
+ C
La cuestin, tanto en ste como en el caso anterior, es expresar z, senh z y
cosh z como funciones de t, es decir deshacer el cambio de variable, lo que
requiere que los cambios de variable respectivos sean funciones biyectivas
(uno a uno). En el caso de t = senh z as es, ya que la funcin es una bi-
yeccin estrictamente creciente (pues su derivada cosh x cumple cosh x > 0)
28
1.6 Algunos tipos de funciones irracionales 29
e impar de R en R y se tendra z := argsenh t, llamada la funcin argu-
mento seno hiperblico. En el caso de t = cosh z la funcin es par y es una
biyeccin estrictamente creciente de (0, +) en s mismo (procdase como
antes) cuya funcin inversa recibe el nombre argumento coseno hiperblico
z := argcosh t
3
.
3
Para probar la biyectividad hemos utilizado resultados que sern probados en el captulo 5;
pero seguramente el lector ha tenido ya noticia de ellos en la enseanza media. En cualquier caso,
puede quedar tranquilo porque no se produce ningn crculo vicioso lgico de estos resultados
con los que aparecen en el captulo 5 o en cualquier otro lugar de este libro.
29
30 Clculo de primitivas
1.6.4. Propuestos
1.1) Calclense las siguientes primitivas elementales, en los intervalos donde las
correspondientes funciones estn bien denidas:

x
5

x
3
7

x
2
dx

3 5
x
+ 6 7
x
2
x+1
dx

1 + cos
2
x
1 + cos 2x
dx

cos
2
xdx

e
sen
2
x
sen 2xdx

2 x
3
4 + 4 x
8
dx

1
xlog
2
x
dx

x
3
5

x
4
+ 2
dx

(arctg x)
3
1 + x
2
dx

sen 3xcos 3xdx

(log x)
3
x
dx

arcsen x
1 x
2
dx

tg
2
xdx

sen

x + 1

x + 1
dx

x
3
x
8
+ 5
dx
1.2) Calcule las siguientes primitivas:

(x
2
+ 3x)2
x
dx

e
2x
sen xdx

log xdx

x
n
log xdx

x
cos
2
x
dx

log
3
x
x
2
dx

(arctg x)
2
xdx

xarctg x

1 + x
2
dx

xe
arcsen x

1 x
2
dx

(
3

x +

x)(log x)
2
dx

log x
x

2
dx
1.3) Obtnganse las siguientes frmulas de recurrencia, siendo n un nmero entero
positivo.

1
(1 + x
2
)
n
dx

sen
n
xdx =
1
n
sen
n1
xcos x +
n 1
n

sen
n2
xdx

cos
n
xdx =
1
n
cos
n1
xsen x +
n 1
n

cos
n2
xdx

sen
n+1
x
cos
m+1
x
dx =
1
m
sen
n
x
cos
m
x

n
m

sen
n1
x
cos
m1
x
dx
30
1.6 Algunos tipos de funciones irracionales 31
1.4) Obtenga la siguiente frmula de recurrencia

tg
n
xdx =
tg
n1
x
n 1

tg
n2
xdx
1.5) Calclense las primitivas de las siguientes funciones racionales:

x
4
+ x
2
+ 2x + 1
x
4
(x + 1)
2
dx

x
7
+ x
3
x
4
1
dx

3x
2
+ 2x + 4
(x + 1)(x
2
+ 1)
dx

2x
4
x
3
+ 2
x
2
(x
2
+ 1)
2
dx

x
3
x
2
+ 2x
x
4
+ x
2
+ 1
dx

2x
2
+ x + 1
(x 1)
3
dx

1
x(x
3
+ 1)
dx

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

1
(x
2
+ 1)
3
dx

1
(x
2
1)
2
dx

1
(x
2
+ 2)
2
dx

1
(x 1)
2
(x
2
+ 3)
dx

4x
2
(x
2
+ 3)
2
dx

x
2
1
x
4
+ x
2
+ 1

2x
2
+ 1
(x 1)
6
1.6) Calclense las siguientes primitivas:

dx

x +
3

dx
(1 + x)

x 1

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

x
3
2
1 + x
dx

x
3

x
2
+ 1
dx

1 + x + x
2
dx

dx

1 + x + x
2

(1 + x
2
)

3
2
dx

x
2
+ x + 4
dx

dx
(1 + 2x)
3

1 + x + x
2

x
3
3

1 +

x
3
dx

x
2
dx

(1 2x
2
)
5

x
3

2 x
2
dx

x
2
+ 1
x
dx

dx
(x + 1)
5

x
2
+ 2x
31
32 Clculo de primitivas
1.7) Calclense las siguientes primitivas

sen 2xcos 3xdx

sen
4
xcos
3
xdx

dx
cos x

cot
4
xdx

sen
2
xcos
4
xdx

dx
1 + sen
2
x

dx
2 sen x cos x + 5

dx
sen
2
xcos x

dx
cos
3
x

cos
5
x
sen
3
x
dx
1.8) Calclense las siguientes primitivas:

dx
a
2
e
x
+ b
2
e
x
dx

e
x
e
2x
e
x
+ 1
dx

1 + senh x
1 + cosh x
dx

senh
2
xdx
Siempre que sea posible, utilice Maxima para comparar los resultados obte-
nidos manualmente con los proporcionados por el ordenador.
32