Una discusion acerca del metodo de substitucion

para funciones trigonometricas

Juan Carlos Ponce Campuzano,
Antonio Rivera Figueroa
CINVESTAV-IPN
jcponce@cinvestav.mx, arivera@cinvestav.mx
1. Introduccion
El metodo de substitucion es una herramienta importante para el calculo de primitivas
de funciones y es com un encontrarlo en los libros de Calculo. Sin embargo, en algunos
casos, no se considera el dominio de las funciones para determinar primitivas, lo cual
nos lleva a encontrar resultados como
_
1
5 + 3 cos x
=
1
2
arctan
_
1
2
tan
x
2
_
+ C
_
1
5 + 3 sen x
=
1
2
arctan
_
5
4
tan
x
2
+
3
4
_
+ C.
Pero estos resultados no se pueden usar, por ejemplo, para evaluar la integral en el
intervalo [0, 2], debido a que nos encontramos con resultados paradojicos. Esto es
_
2
0
1
5 + 3 cos x
dx =
1
2
arctan
_
1
2
tan
x
2
_

2
0
=
1
2
arctan
_
1
2
tan
2
2
_

1
2
arctan
_
1
2
tan
0
2
_
= 0
1
y
_
2
0
1
5 + 3 sen x
=
1
2
arctan
_
5
4
tan
x
2
+
3
4
_

2
0
=
1
2
arctan
_
5
4
tan
2
2
+
3
4
_

1
2
arctan
_
5
4
tan
0
2
+
3
4
_
= 0
ya que tan = tan 0 = 0.
Se pueden encontrar ejemplos de estas situaciones en: [1], [3], [5], [6] y [8]. Se necesita
poner especial atencion en el dominio de las funciones, cuando tratamos de calcular
integrales denidas por medio de primitivas. En general, es necesario poner atencion en
el dominio de las funciones; para una discusion al respecto ver [7].
2. El metodo de substitucion
El metodo de substitucion es una consecuencia de la regla de la cadena. Recordemos
primero que una funcion diferenciable F : I R R es una funcion primitiva de
f : I R R, si F

(x) = f(x) para cada x I.

Teorema 1 Sea f : I R R una funcion continua. Sea : J R R una funcion
diferenciable. Supongamos que f, y

son integrables y tambien que (J) I.

Entonces para cada a J y b J, tenemos
_
b
a
f ((x))

(x)dx =
_
(b)
(a)
f(x)dx.
Prueba: Sea F : I R una primitiva de f en I. La funcion H = F es derivable
en J y
H

(x) = F

((x))

(x) = f ((x))

(x)
2
para x J. Por lo tanto, H es una primitiva de (f )

en J, de donde
_
b
a
f ((x))

(x)dx = H(b) H(a)

= F ((b)) F ((a))
=
_
(b)
(a)
f(y)dy.
por el teorema fundamental del calculo. As que
_
b
a
f ((x))

(x)dx =
_
(b)
(a)
f(y)dy.
Este metodo es muy socorrido en los cursos de Calculo y se le dedica bastantes sesiones.
Desafortunadamente, en muchos casos no siempre se pone atencion en el dominio de las
funciones y se aplica el metodo a modo de algoritmo, sin una reexion previa. Tal es el
caso cuando se determinan primitivas de funciones trigonometricas. Esta discusion, con
respecto a las funciones racionales trigonometricas, la tratamos en la siguiente seccion.
3. Integrales de la forma
_
b
a
f (sen x, cos x) dx
Una funcion f es racional si hay dos polinomios p y q, de R
2
en R, tal que
f(x, y) =
p(x, y)
q(x, y)
para (x, y) D. Donde D es el dominio de f y es igual al conjunto
_
(x, y) R
2
: q(x, y) = 0
_
Mostraremos como integrar funciones de la forma x f (sen x, cos x) donde f es una
funcion racional.
3
Pero antes de proceder, recordemos algunas identidades trigonometricas. Para x R,
tenemos
sen x = 2 sen
x
2
cos
x
2
cos x = cos
2
x
2
sen
2
x
2
Si x R and cos
x
2
= 0, entonces tenemos
sen x =
2 sen
x
2
cos
x
2
1
(cos
x
2
)
2
=
2 tan
x
2
1 + tan
2 x
2
(1)
y
cos x =
1
_
sen
x
2
cos
x
2
_
2
1
(cos
x
2
)
2
=
1 tan
2 x
2
1 + tan
2 x
2
(2)
Recordemos tambien que cos x = 0 si y solo si x =
(2k+1)
2
para k Z; por lo tanto
cos
x
2
= 0 si y solo si x = (2k + 1) para k Z.
Se sigue de (1) que si x R and k Z, entonces
sen(2k + 2 arctan x) = sen(2 arctan x)
=
2 tan(arctan x)
1 + (tan(arctan x))
2
=
2x
1 + x
2
y de (2) que
cos(2k + 2 arctan x) = cos(2 arctan x)
=
1 (tan(arctan x))
2
1 + (tan(arctan x))
2
=
1 x
2
1 + x
2
4
Por lo tanto, tenemos
sen(2k + 2 arctan x) =
2x
1 + x
2
(3)
cos(2k + 2 arctan x) =
1 x
2
1 + x
2
(4)
Ahora, sea f una funcion racional y sea D su dominio. Sea [a, b] R un intervalo tal
que si x [a, b] se tiene que (sen x, cos x) D. Entonces x f(sen x, cos x) esta bien
denida y es una funcion continua en el intervalo [a, b]; por tanto podemos considerar
la integral
_
b
a
f (sen x, cos x) dx. (5)
La evaluacion de integrales de la forma (5) se pueden reducir a la evaluacion de integrales
de funciones racionales.
Dividiremos la discusion en tres casos.
Caso I: Supongamos [a, b] ((2k 1), (2k + 1))) para alg un k Z.
Sean = tan
a
2
y = tan
b
2
. Sea : [a, b] R denida por
(x) = 2k + 2 arctan x
para x R. Entonces () = a y () = b.
Notece que
arctan
_
tan
_
x
2
__
=
x
2
k
para x (2k , 2k + ).
Usando el metodo de substitucion, se sigue que si hacemos F(x) = f(sen x, cos x) para
x [a, b], entonces
_
b
a
F(x)dx =
_
()
()
F(x)dx =
_

F((x))

(x)dx
5
De (3) y (4), obtenemos
F((x)) = f(sen (x), cos (x)) = f
_
2x
1 + x
2
,
1 x
2
1 + x
2
_
para x [, ] =
_
tan
a
2
, tan
b
2

. Como

(x) =
2
1 + x
2
para x R, podemos deducir que en este caso
_
b
a
f(sen x, cos x) =
_
tan
b
2
tan
a
2
f
_
2x
1 + x
2
,
1 x
2
1 + x
2
_
2
1 + x
2
dx (6)
Observese que como f es una funcion racional, la funcion
x f
_
2x
1 + x
2
,
1 x
2
1 + x
2
_
2
1 + x
2
de [, ] en R es una funcion racional en x.
Ejemplo 1. Sea g : (0, ) R una funcion denida por la formula
g(x) =
1
sen x
.
Determinar una primitiva de g en (0, ).
Denamos
G(x) =
_
x

2
1
sen t
dt para x (0, ).
G es una primitiva de g en (0, ); solo falta determinar G de manera explcita. Para
hacer esto, denamos D = {(x, y) : y = 0}, f(x, y) =
1
y
for (x, y) D y I = (0, ).
Entonces
G(x) =
_
x

2
f(sen t, cos t)dt.
6
Usando el metodo antes descrito tenemos
G(x) =
_
tan
x
2

2
1 + t
2
2t
2
1 + t
2
dt
=
_
tan
x
2

2
1
t
dt
= log t|
tan
x
2

2
= log
_
tan
x
2
_
log
_
tan

2
2
_
.
Como tan

4
= 1 y log 1 = 0, se sigue que
G(x) = log
_
tan
x
2
_
para x (0, ).
Caso II: Supongamos ahora que [a, b] [(2k1), (2k+1)] para alg un k Z. Notece
que si a = (2k 1), entonces no existe R tal que a = (); similarmente no existe
R tal que b = (). Sin embargo, podemos reducir el Caso II al Caso I por un
proceso de lmite. Ilustremos esto con un ejemplo.
Ejemplo 2. Evaluar
_

0
sen x
sen x + 2
dx.
Notemos que la funcion g : [0, ] R dada por
g(x) =
sen x
sen x + 2
es continua; por tanto, esta funcion tiene primitiva G : [0, ] R. Mas a un, como G
es continua en [0, ] tenemos
_

0
sen x
sen x + 2
dx = G() G(0)
= lm
x
G(x) G(0)
= lm
x
_
x
0
sen t
sen t + 2
dt
7
Usando(6), obtenemos, para x (0, )
_
x
0
sen t
sen t + 2
dt =
_
tan
x
2
0
4t
(t
2
+ 1)(t + 1)
2
dt
=
_
tan
x
2
0
_
2
t
2
+ 1

2
t
2
+ t + 1
_
dt
= 2 arctan t|
tan
x
2
0

4

3
3
arctan
_

3
3
(2t + 1)
_

tan
x
2
0
= 2 arctan
_
tan
x
2
_

3
3
arctan
_

3
3
_
2 tan
x
2
+ 1
_
_
+

3
9
Como lm
x
arctan
_
tan
x
2
_
=

2
, tenemos que
_

0
sen x
sen x + 2
dx = lm
x
_
x
0
sen t
sen t + 2
dt
=
_
1
4

3
9
_
Caso III: Supongase que [a, b] es un intervalo al cual el Caso II no aplica. En este caso
existen k Z, p Z, k < p tales que
a [(2k 1), (2k + 1)) and b ((2p 1), (2p + 1)].
En este caso, la integral se puede escribir como una suma de integrales sobre los inter-
valos
[a, (2k + 1)], [(2k + 1), (2k + 3)], . . . , [(2p 1), b].
Cada caso se puede tratar como en el Caso II.
Ejemplo 3. Evaluar
_
2
0
1
5 + 3 cos x
dx.
8
Tenemos
_
2
0
1
5 + 3 cos x
dx =
_

0
1
5 + 3 cos x
dx +
_
2

1
5 + 3 cos x
dx
Por (6), obtenemos
F
1
(x) =
1
2
arctan
_
1
2
tan
x
2
_
para x (0, ) y
F
2
(x) =
1
2
arctan
_
1
2
tan
x
2
_
para x (, 2). Por lo tanto
_
2
0
1
5 + 3 cos x
dx =
_

0
1
5 + 3 cos x
dx +
_
2

1
5 + 3 cos x
dx
= lm
x
(F
1
(x) F
1
(0)) + lm
x
(F
2
(2) F
2
(x))
=
_

4
0
_
+
_
0 +

4
_
=

2
.
ya que lm
x
F
1
(x) =

4
para x (0, ) y lm
x
F
2
(x) =

4
para x (, 2).
Sin embargo, es posible encontrar explcitamente primitivas para cierto tipo de funciones
trigonometricas. Sean a, b R tales que a
2
> b
2
, entonces tenemos
_
1
a + b cos x
dx =
1

a
2
b
2
_
x 2 arctan
_
2b sen x
2b cos x +
_
a b +

a + b
_
2
__
(7)
_
1
a + b sen x
dx =
1

a
2
b
2
_
x + 2 arctan
_
2b cos x
2b sen x +
_
a b +

a + b
_
2
__
(8)
Tambien tenemos los siguientes ejemplos
_
1
a + b cos
2
x
dx =
1

a + b
_
x arctan
_
b sen 2x
b cos 2x +
_
a + b +

a
_
2
__
(9)
_
1
a + b sen
2
x
dx =
1

a + b
_
x arctan
_
b sen 2x
b cos 2x
_
a + b +

a
_
2
__
(10)
para a, b R tales que a > 0 y a + b > 0.
9
Notemos que los integrandos, en (7), (8), (9) y (10), son funciones racionales de la forma
f(sen x, cos x) tal que f es continua y esta bien denida para cada x R; es decir, el
dominio de f es R. Estas primitivas estan denidas para cada x R y se pueden usar
para evaluar la integral en cualquier intervalo I R. Cabe resaltar que los resultados
anteriores se pueden encontrar usando identidades trigonometricas adecuadas.
Sin embargo, a un queda una pregunta abierta: Existe alg un metodo general para de-
terminar primitivas de funciones racionales f(sen x, cos x) tal que f es continua y su
dominio sea R?
Referencias
[1] Abramowitz, M. & Stegun, I. A. (1965). Handbook of Mathematical Functions with
Formulas, Graphs, and Mathematical Tables. New York: Dover Publications.
[2] Apostol, T. M. (1967). Calculus, Volume 1, One-Variable Calculus with an Intro-
duction to Linear Algebra, 2nd Edition. Waltham, MA: Blaisdell.
[3] Banach, S. (1991). Calculo diferencial e integral. (4ta. Reimpresion). Mexico: Edi-
torial Limusa.
[4] Keisler, H. J. (2000). Elementary Calculus: An innitesimal Approach. Creative
Commons Attribution-NonCommercial-ShareAlike License. USA.
[5] Kline, M. (1977). Calculus : an intuitive and physical approach. New York : Wiley,
[6] Kuratowski, K. (1962). Introduction to Calculus. Addison-Wesley Publishing Com-
pany, Inc. Massachusetts.
[7] Rivera, A. (2006). Sobre dependencia lineal y wronskianos. Miscelanea Matematica,
42 pp. 51-62.
[8] Spivak, M. (1994). Calculus, (Third Edition), Publish or Perish, Inc., Houston,
[9] Stein, S. K. (1992) Calculus and Analytic Geometry. (Fifth Ed.) USA: McGraw-Hill.
10