Integración de funciones racionales de seno y coseno.

Eleazar José García. eleagarcia95@hotmail.com

1. Deducción de fórmulas para realizar las sustituciones.

2. Teorema.
3. Ejercicios resueltos.
4. Ejercicios propuestos.
5. Respuestas de ejercicios propuestos.

Deducción de fórmulas para realizar las sustituciones.

Si el integrando es una función racional de sen u y cos u, se puede reducir a una función
racional de z mediante la sustitución z = tg 12 u.
Con la finalidad de obtener la fórmula para y cos u en términos de z se utilizan las
sen u

identidades siguientes: sen u = 2 sen 2 u cos 2 u y cos u = 2 cos 2 12 u − 1.

1 1

Entonces se tiene,

sen u = 2 sen 12 u cos 12 u cos u = 2 cos 2 12 u − 1

sen 12 u cos 2 12 u 2
= 2 = −1
cos 12 u sec 2 12 u
1 2
= 2 tg 12 u = −1
sec2 12 u 1 + tg 12 u

2 tg 12 u 2
= −1
= 1 + z2
1 + tag 2 12 u
1 − z2
2z =
= 1 + z2
1 + z2

Como z = tg 12 u , entonces, dz = 12 sec 12 u du =

2 1
2 (1+ tg 12 u ) du = 1
2 ( 1 + z ) du, por lo tanto,
2

2dz
du = .
1 + z2
Los resultados anteriores se establecen como el siguiente teorema.

Teorema.
Si z = tg 12 u, entonces, se verifican las siguientes igualdades, las cuales pueden ser usadas
para la integración de funciones racionales de seno y coseno:

2z 1 − z2 2dx
sen u = , cos u = y dx = .
1+ z 2
1+ z 2
1 + z2
Ejercicios resueltos.

∫
dx
1) Evalúe
1 + sen x − cos x

Solución.
2z 1 − z2 2dx
Haciendo el cambio sen u = , cos u = , dx = , entonces,
1+ z 2
1+ z 2
1 + z2
2 dz

∫ ∫ ∫ ∫
dx 1 + z2 dz dz
= = =
1 + sen x − cos x 2z 1 − z2 z + z
2
z ( z + 1)
1+ −
1 + z2 1 + z2

1
Descompongamos en fracciones simples :
z ( z + 1)

1 A B  1   A B 
= + ⇒ z ( z + 1)   = z ( z + 1)  + 
z ( z + 1) z z + 1  z ( z + 1)   z z + 1

⇒ 1 = A ( z + 1) + Bz ⇒ 1 = ( A + B) z + A

 A+ B = 0
⇒  ⇒ A= 1 y B= −1
 A= 1

Luego,

∫ ∫ ∫ ∫
dz 1 1  dz dz
=  −  dz = −
z ( z + 1)  z z + 1 z z+ 1

= ( ln z + C1 ) − ( ln z + 1 + C2 ) + C = ln z − ln z + 1 + C1 − C2

z tg 1 x
= ln + C1 − C2 = ln 1 2 + C, C = C1 − C2
z+ 1 tg 2 x + 1

Por lo tanto :

∫
dx tg 1 x
= ln 1 2 + C ◊
1 + sen x − cos x tg 2 x + 1
 2) Calcule
∫ sec x dx

Solución.

∫ ∫
dx 1 1 + z2 2 dx
Puesto que, sec x dx = , y sec x = = , dx = , entonces:
cos x cos x 1 − z 2
1 + z2

∫ ∫ ∫ ∫
 1 + z 2   2 dz  2 dz 2 dz
sec x dx =  2    = =
 1− z   1+ z
2
 1 − z2 ( 1 − z) ( 1 + z)

2 dz
Descomponer : en fracciones simples :
( 1 − z) ( 1 + z)

2 A B
= + ⇒
( 1 − z) ( 1 + z) 1− z 1+ z

2  A B 
( 1 − z) ( 1 + z) = ( 1 − z) ( 1 + z)  +  ⇒ 2 = A( 1 + z) + B ( 1 − z )
( 1 − z) ( 1 + z)  1− z 1+ z 

 A− B = 0
 A+ B = 2
⇒ 2 = ( A − B) z + ( A + B) ⇒ 
 2A = 2 ⇒ A= 1 y B= 1


Luego,

∫ ∫
2 dz  1 1 
=  +  dz
( 1 − z) ( 1 + z)  1+ z 1− z 

∫ ∫
dz dz
= + = ( ln 1 + z + C1 ) + ( ln 1 − z + C2 )
1+ z 1− z

= ln 1 + z + ln 1 − z + C1 + C2 = ln ( 1 + z ) ( 1 − z ) + C1 + C2 = ln 1 − z 2 + C

= ln 1 − tg 2 12 x + C
Por ende :

∫ sec x dx = ln 1 − tg 2 12 x + C ◊
 ∫
dx
3) Evalúe
4 sen x − 3 cos x

Solución.
2z 1 − z2 2dx
Haciendo el cambio sen u =
1+ z 2
, cos u =
1 + z2
, dx =
1 + z2
, entonces:

2 dz

∫ ∫ ∫ ∫
dx 1 + z2 2 dz 2 dz
= = =
4 sen x − 3 cos x  2z   1 − z2  3z − 8z − 3
2
( 3 z + 1) ( z − 3 )
4  − 3 2 
 1 + z2   1+ z 

∫ ∫ ∫
dz dz d ( 3 z + 1)
= 1
5
z− 3
− 3
5
3z + 1
= 1
5 ( ln z − 3 + C1 ) − 1
5
3z + 1

= 1
5 ln z − 3 − 1
5 ( ln 3 z + 1 + C2 ) + 51 C1 = 1
5 ln z − 3 − 51 ln 3 z + 1 + 15 C1 − 51 C2

z− 3 tg ( 2x ) − 3
= 1
ln + 51 C1 − 15 C2 = 1
ln + C, C= 1
C1 − 15 C2
5
3z + 1 5
3 tg ( x
2 ) +1 5

Por consiguiente :
tg ( )−3
∫
x
dx
= 1
ln 2
+ C ◊
4 sen x − 3 cos x 5
3 tg ( 2x ) + 1

Ejercicios propuestos.
Resuelva :

∫ ∫ ∫ ∫ ∫
dx dx sen x cos x
1) 2) 3) dx 4) sen x dx 5) csc x dx
2 + sen x 1 + sen x + cos x 1 − cos x

∫ ∫ ∫ ∫ ∫
dx cotg x sen x dy cos x
6) 7) dx 8) dx 9) 10) dx
sen x + tg x 3 + 2 sen x 1 + sen 2 x 5 + 4 sec y 1 + cos x

∫ ∫ ∫ ∫ ∫
dx dx sen x dx dx dx
11) 12) 13) 14) 15)
1 − 2sen x 5 + 3sen x 1 + sen 2 x 2 − cos x 1 + sen x − cos x
 Respuestas de ejerciciospropuestos.
æ2 tg ( 2x ) + 1÷
ö
1) 3 arctg ççç
2 ÷
÷+ C 2) ln (1 + tg ( 2x ) ) + C 3) cos x + ln 1 - cos x + C
çè 3 ø ÷

4) 2sen ( x) - 2 x cos ( x) + C 5) ln tg ( 2x ) + C 6) - 1
4 sec 2 ( 2x ) + 12 ln tg ( 2x ) + C

sen x 2
tg 2 12 x + 3 - 2 2
7) ln1
3 +C 8) 4 ln +C
3 + 2sen x tg 2 12 x + 3 + 2 2
3cos ( 2y ) - sen ( 2y ) tg ( 2x ) - 2 - 3
9) 1
5 y+ 4
15 ln +C 10) x - tg ( ) + C 11)
x
2 2
3
ln +C
3cos ( 2y ) + sen ( 2y ) tg ( 2x ) - 2 + 3
æ5 tg ( 2x ) + 3 ö÷ tg 2 ( 2x ) + 3 - 2 2
12) arctg ççç
1 ÷
÷+ C 13) 2
ln + C 14) 2
( )
arctg 3tg ( 2x ) + C
2
çè 4 ø÷ 4
tg 2
( ) + 3+ 2 2
x
2
3

tg ( 2x )
15) ln +C
tg ( 2x ) + 1

Bibliografía

[1] Rabuffetti Hebe T. Introducción al Análisis Matemático, décima edición.

[2] Apostol Tom M. Calculus, segunda edición.

[3] Larson-Hostetler. Cálculo con Geometría Analítica, tercera edición.

Autor:
Eleazar José García
eleagarcia95@hotmail.com
Profesión: Licenciado en Matemática
Profesor de Matemática de 4º y 5º Año dependiente del Ministerio del Poder Popular para la Educación
Profesor (contratado) de Cálculo 1 y 2 de la UNELLEZ-Núcleo San Carlos