92

III Descomposicin en Fracciones Parciales

El cociente de dos polinomios se llama funcin racional. La derivacin de una

funcin racional produce otra funcin racional que puede obtenerse por la regla de
derivacin para el cociente de dos funciones. Por otro lado la integracin de
funciones racionales puede conducir a funciones que no son racionales, como por
ejemplo

dx dx
x
= ln x + C , 1+ x 2
= arctan x + C

1 1
En estos dos casos las funciones racionales son f ( x) = , g ( x) = .
x 1 + x2

p( x)
Una funcin racional es de la forma , donde p ( x ), q ( x ) son dos
q( x)
polinomios. Si el grado del numerador es menor que el grado del denominador,
p( x)
entonces se dice funcin racional propia, en caso contrario, se dice
q ( x)
funcin racional impropia.
1 1
Las funciones f ( x) = , g ( x) = , son funciones racionales propias, en
x 1 + x2
ambos casos el grado del numerador es cero, y el denominador tiene grado 1 y
grado 2, respectivamente.

Analicemos ambos casos:

p( x)
I. Si es impropia, el grado del numerador es mayor o igual que el grado
q ( x)
del denominador, en este caso el cociente puede expresarse como la suma de un
polinomio y una fraccin racional propia. En efecto, basta dividir p (x ) por q(x)
para obtener
p ( x) r ( x)
= f ( x) +
q ( x) g ( x)

Ejemplos
Resuelva las integrales siguientes:
dx
1. xa ,
Usando la sustitucin u = x a , dx = du

92
 93
dx du
xa = u
= ln u + C = ln( x a ) + C

dx
luego x a = ln( x a) + C
x2
2. . x + 1 dx
el grado del numerador es mayor que el grado del denominador, se realiza la
divisin y
x2 1 dx x2
x +1 dx =
x 1 +
x +1
dx = ( x 1) dx + x + 1 2 x + ln( x + 1) + C
=

dx
3. ax,
dx dx
a x = x a = ln( x a) + C
dx
luego a x = ln( x a) + C
dx
4. a 2
+ x2
Haciendo el cambio de variable x = au , dx = adu
dx adu 1 du 1
a 2
+x 2
= 2
a +a u2 2
=
a 1+ u 2
= arctgu + C
a
x
pero , u= .
a
dx 1 x
Luego a 2
+x 2
= arctg + C
a a

p( x)
II. Si corresponde a una fraccin propia, se factoriza completamente el
q( x)
denominador q (x ) segn el teorema siguiente.

93
 94
Teorema
Si q(x) es un polinomio de grado n , n 1 , con coeficientes reales,
entonces la factorizacin de q(x) en IR es de la forma
q( x) = a ( x r1 ) n1 ( x r2 ) n2 ......( x rk ) nk ( x 2 + p1 x + q2 ) m1 .......( x 2 + ps x + qs ) m s (*)
donde n = n2 + n2 + ...nk + m2 + m2 + ....... + ms .y los trinomios de grado 2, son
irreducibles en IR.

En (*), los factores ( x rk ) nk son lineales , los nmeros rk son las races reales de
q(x) y los exponentes nk es la multiplicidad de dicha raz, si nk = 1 se trata de raz
simple. Los factores irreducibles (x 2
+ pjx + qj )mj
con p 2j 4q j < 0 , tienen
multiplicidad m j , si m j = 1 son factores simples.
Una vez factorizado completamente el denominador se expresa la funcin racional
p ( x)
en suma de fracciones parciales o fracciones simples , segn lo siguiente
q ( x)

Teorema
p( x)
Si es una fraccin racional propia y q(x) tiene una factorizacin
q ( x)
p( x)
como (*), entonces la descomposicin de en fracciones simples contiene
q ( x)

A1 j A2 j An j j
a) n j , fracciones de la forma , ,...... , por
x rj ( x rj ) 2
( x rj )
nj

cada factor lineal de q(x) de la forma ( x rj ) j .

n

b) mj fracciones de la forma
B1 j x + C1 j B2 j x + C2 j Bm j j x + Cm j j
, ,........, , por cada factor irreducible
x2 + p j x + q j (x 2
+ pjx + qj )
2
(x 2
+ pjx + qj ) mj

(
de la forma x 2 + p j x + q j )
mj
.

Ejemplos
dx
5. x 2
a2
,

1
La funcin integrando es f ( x) =
x a2
2

94
 95
1 1
Se factoriza el denominador =
x a
2 2
( x a )( x + a )
Los factores lineales son simples y se buscan dos fracciones cuyo resultado sea
se
1 1 A B
= = +
x a
2 2
( x a )( x + a ) x a x + a
para calcular los valores de A , B se hace los siguiente
1 A B
= + , / ( x a)
( x a)( x + a ) x a x + a
para calcular A se amplifica por el denominador de A , haciendo x = a
1 B( x a)
= A+ , si x=a
x+a b( x + a )
1
=A
2a
anlogamente para calcular el valor de B
1 A B
= + , / ( x + a)
( x a)( x + a ) x a x + a
1 A( x + a )
= +B , si x = a
xa xa
1
=B
2a
1 1 A B 1 1
entonces f ( x) = = = + =
x a 2 2
( x a )( x + a ) x a x + a 2a ( x a) 2a ( x + a )
reemplazando en la integral
dx 1 1 1 dx 1 dx 1 1
x a
2 2
= dx =
2 a ( x a ) 2a ( x + a )
=
2a x a 2a x + a 2 a
ln( x a )
2a
ln( x + a ) + C

luego
dx 1 xa
x 2
a 2
= ln
a x+a
+C

dx
6. (ax b) n
, n > 0 , n 1

95
 96
En este caso el denominador est factorizado tiene un factor lineal de multiplicidad
n >1
Usando la sustitucin u = ax b , du = adx
dx 1 du 1 n 1 u n +1 1
(ax b) n a u n a
= = u du =
a n +1
+C =
a (1 n)(ax b) n 1
+C

dx 1
luego (ax b) n
=
a(n 1)(ax b) n 1
+C

x4 + 2 x 6 3x 2 6
7. x3 + x2 2 x
dx = ( x 1) dx + x3 + x 2 2 x dx
se factoriza el denominador
x 3 + x 2 2 x = x( x 2 + x 2) = x( x + 2)( x 1)
hay tres factores lineales simples
x2 2 x2 2 A B C
= = + +
x + x 2 x x( x + 2)( x 1) x x + 2 x 1
3 2

clculo de A
x2 2 A B C
= + + /x
x( x + 2)( x 1) x x + 2 x 1

x2 2 Bx Cx
= A+ +
( x + 2)( x 1) x + 2 x 1
si x=0 A =1
clculo de B
x2 2 A B C
= + + / ( x + 2)
x( x + 2)( x 1) x x + 2 x 1

x2 2 A( x + 2) C ( x + 2)
= +B+
x( x 1) x x 1
1
Si x = 2 B =
3
Clculo C
x2 2 A B C
= + + / ( x 1)
x( x + 2)( x 1) x x + 2 x 1

96
 97
x2 2 A( x 1) B( x 1)
= + +C
x ( x + 2) x x+2
1
si x =1 C =
3
entonces
x2 2 A B C 1 1 1
= + + = +
x + x 2 x x x + 2 x 1 x 3( x + 2) 3( x 1)
3 2

x4 + 2 x 6 3x 2 6
x3 + x2 2 x
dx = ( x 1) dx + x3 + x 2 2 x dx
1 1 1 x2
= ( x 1)dx + 3 + dx = x + 3 ln x + ln( x + 2) ln( x 1) + C
x 3( x + 2) 3( x 1) 2

x4 + 2x 6 x2 x3 ( x + 2)
luego x3 + x2 2 x dx =
2
x + ln
x 1
+ C

dx dx
8. x 2
+ px + q
o ax 2
+ bx + c

si el trinomio simple x 2 + px + q o ax 2 + bx + c es irreducible en IR, ntese que el

grado del numerador es cero, se completa cuadrado de binomio.

b 2 1 b 4ac b 2
2 2
b
ax + bx + c = a ( x + bx) + c = a x +
2 2
+c = x + +
2a 4a a 2a 4
como es irreducible entonces a > 0 4ac b 2 > 0
4ac b 2
sea m = 2

4
b
usando el cambio de variable u = x + , du = dx , se tiene la integral del tipo
2a
du
u 2
+ m2
correspondiente al ejemplo 4.

1 x3
9. x3 + x dx
1 x3 1 x
Es una fraccin impropia = 1 + 3
x +x
3
x +x

97
 98
1 x 1 x
Se descompone en fracciones simples =
x + x x ( x 2 + 1)
3

El factor simple x 2 + 1 del denominador es irreducible en IR, le corresponde una

fraccin de grado 1
1 x 1 x A Bx + C
= = + 2
x + x x( x + 1) x
3 2
x +1
clculo de A
1 x A Bx + C
= + 2 /x
x( x + 1) x
2
x +1
1 x x( Bx + C )
= A+
x +1
2
x2 + 1
si x = 0 A = 1
Clculo de B, C
1 x A Bx + C
= + 2 / ( x 2 + 1)
x( x + 1) x
2
x +1

1 x A( x 2 + 1)
= + Bx + C
x x
si x = 1 2 = 2 B + C B=C
si x =1 0 = 2+ B+C 2 B = 2 B = C = 1
1 x 1 x 1 x 1
= = + 2
x + x x( x + 1) x x + 1
3 2

1 x3 1 x 1 x 1
x3 + x dx = dx + x3 + x dx = dx + x x 2 + 1 x 2 + 1 dx =
= x + ln x ln (x 2 + 1) arctgx + C
dx 1 2 x dx 1
= dx + 2 dx 2
x 2 x +1 x +1 2
1 x3 x
luego x3 + xdx = x arctgx + ln x 2 + 1 + C

dx
10.
(x 4 x + 4)(x 2 4 x + 5)
2

( )( ) (
factorizando el denominador x 2 4 x + 4 x 2 4 x + 5 = ( x 2) 2 x 2 4 x + 5 )
98
 99
El factor x 2 4 x + 5 es irreducible en IR, le corresponde una fraccin con
numerador de grado 1.
El factor ( x 2) est repetido, es decir 2 es una raz doble del polinomio
denominador, le corresponden dos fracciones con numerador de grado cero y los
denominadores es el binomio ( x 2) de grado 1 y 2 respectivamente. La
descomposicin en fracciones simples es
1 1 A B Cx + D
= = + + 2
( 2 2
)( )
x 4 x + 4 x 4 x + 5 ( x 2) x 4 x + 5
2 2
( )
x 2 ( x 2) 2
x 4x + 5
clculo de B
1 A B Cx + D
= + + 2 / ( x 2) 2
2 2
(
( x 2) x 4 x + 5 )
x 2 ( x 2) 2
x 4x + 5
1 (Cx + D)( x 2)
= A( x 2) + B +
(x 4 x + 5)
2
x2 4x + 5
1
si x=2 = B B =1
1
1 A 1 Cx + D Ax 2 A + x 2 4 x + 5 + (Cx + D)( x 2) 2
= + + = =
( )
x 2 4 x + 5 ( x 2) 2 x 2 ( x 2) 2 x 2 4 x + 5 ( x 2) 2 ( x 2 4 x + 5)
x + x( A 4) + 5 2 A + (Cx + D)( x 2 4 x + 4)
2
= =
( x 2) 2 ( x 2 4 x + 5)

x 2 + x( A 4) + 5 2 A + Cx 3 4Cx 2 + 4Cx + Dx 2 4 Dx + 4 D
= =
( x 2) 2 ( x 2 4 x + 5)

x3C + x 2 (1 4C + D) + x( A 4 + 4C 4 D) + 5 2 A + 4 D
= =
( x 2) 2 ( x 2 4 x + 5)
dado que
1 x 3C + x 2 (4C + D + 1) + x( A 4 + 4C 4 D) + 5 2 A + 4 D
=
( x 2) 2 ( x 2 4 x + 5) ( x 2) 2 ( x 2 4 x + 5)
entonces
C=0 C=0
4C + D + 1 = 0 D = 1

A + 4C 4 D 4 = 0 A=0
2 A + 4D + 5 = 1 1=1

99
 100
1 1 1 1
= = 2
( 2 2
)( 2 2
) (
x 4 x + 4 x 4 x + 5 ( x 2) x 4 x + 5 ( x 2) 2
)
x 4x + 5
dx dx dx 1 dx
(x 2
4 x + 4)( x 4 x + 5)
2
=
( x 2) 2
2 =
x 4x + 5 x 2

( x 2) 2 + 1
=

1
= arctg ( x 2) + C
x2
dx 1
luego (x 2
=
4 x + 4)( x 4 x + 5) x 2
2
arctg ( x 2) + C

x2 + x 2
11. x 4 + 5 x 2 + 4dx
x2 + x 2 x2 + x 2
x 4 + 5x 2 + 4 dx = ( x 2 + 4)( x 2 + 1)
el denominador est formado por dos factores simples irreducibles
x2 + x 2 Ax + B Cx + D Ax 3 + Ax + Bx 2 + B + Cx 3 + 4Cx + Dx 2 + 4 D
= + 2 =
( x 2 + 4)( x 2 + 1) x2 + 4 x +1 ( x 2 + 4)( x 2 + 1)
reduciendo e igualando los polinomios numerador se tiene
x 2 + x 2 = x3 ( A + C ) + x 2 ( B + D) + x( A + 4C ) + B + 4 D
debe cumplirse que
1
A=
A+C = 0 C = A 3
1
B+ D =1 B = 1 D C=
3
A + 4C = 1 A 4A = 1 D=
3
B 4 D = 2 1 D 4 D = 2 5
2
B=
5
x 2 x 3
+ +
x2 + x 2 x2 + x 2 3 5 dx + 3 5 dx
x 4 + 5x2 + 4 dx = ( x 2 + 4)( x 2 + 1) x 2 + 4
= x2 + 1
ntese que el numerador tiene grado 1 y se ajusta el numerador a la derivada del
denominador

100
 101
x 2 x 3
+ +
3 5 dx + 3 5 dx = 1 xdx + 3 dx 1 xdx 3 dx
3 x + 4 5 x + 4 3 x + 1 5 x2 + 1

= + 2 + =
x +4
2
x +1
2 2 2

1 2 xdx 3 dx 1 2 xdx 3 dx
6 x + 4 5 x + 4 6 x + 1 5 x2 + 1

= 2
+ 2 + 2 + =

1 3 x 1 3
= ln( x 2 + 4) + arctg + ln( x 2 + 1) + arctgx + C
6 10 2 6 5

x2 + x 2 1 x2 + 1 3 x 3
luego x 4 + 5x 2 + 4 dx = ln 2 + arctg + arctgx + C
6 x + 4 10 2 5

Ejercicios resueltos 5

x +1
4
1. Calcule
2
x+6
dx

x +1
La funcin f ( x) = se debe definir por tramos, el valor 1 pertenece al intervalo en
x+6
cambio 6 no.
x +1 x +1
, 0
x +1 x + 6 x+6
f ( x) = = es decir
x + 6 x + 1 , x + 1 < 0
x+6 x+6

x +1
, 2 x < 1
x +1 x + 6
f ( x) = =
x + 6 x + 1 , 1 x 4
x+6
5
por otra parte f ( x) = 1 por lo tanto
x+6
1 1 1
x +1
4 4 4 4
5 5 dx dx

2
x+6
dx = 1
2 x + 6
dx + 1
1 x + 6
dx = dx + 5
2 2
x + 1
+ dx 5
1 1
x + 6
=

1 1 5 5
= x 2 + 5 ln( x + 6) 2 + x 1 5ln( x + 6) 1 = 1 + 5 ln + 5 5 ln 2 = 4 + 5 ln
4 4

4 8

101
 102
2x + 7
2. ( x 1)( x + 2)( x 3) dx
2x + 7 A B C
= + +
( x 1)( x + 2)( x 3) x 1 x + 2 x 3

Clculo de A, amplificando por ( x 1) y luego evaluando en x = 1

2x + 7 B( x 1) C ( x 1)
= A+ +
( x + 2)( x 3) x+2 x3
9
=A 3
3(2) A=
2

Clculo de B, amplificando por ( x + 2) y luego evaluando en 2

2x + 7 A( x + 2) C ( x + 2)
= +B+
( x 1)( x 3) x 1 x3
3
=B 1
35 B=
5

Clculo de C, amplificando por ( x 3) y luego evaluando en 3

2x + 7 A( x 3) B( x 3)
= + +C
( x 1)( x + 2) x 1 x+2

13 13
=C C=
25 10

Entonces
2x + 7 3dx dx 13dx
( x 1)( x + 2)( x 3) dx = 2( x 1) + 5 ln( x + 2) + 10 ln( x 3)
3dx dx 13dx 3 1 13
2( x 1) + 5 ln( x + 2) + 10 ln( x 3) = 2 ln( x 1) + 5 ln( x + 2) + 10 ln( x 3) + C
2x + 7 1 ( x + 2) 2 ( x 3)13
( x 1)( x + 2)( x 3) dx = ln
10 ( x 1)15
+ C

4 x 4 + 4 x3 2 x 2 10 x + 6
10
3. 1 x5 + 7 x 4 + 16 x3 + 10 x 2 dx

102
 103
se factoriza el denominador completamente en IR

x 5 + 7 x 4 + 16 x 3 + 10 x 2 = x 2 ( x 3 + 7 x 2 + 16 x + 10)
el polinomio de grado tres tiene a 1 como raz , por divisin sinttica

1 7 16 10 [ 1
1 6 10
1 6 10 0
la factorizacin es

(
x 5 + 7 x 4 + 16 x3 + 10 x 2 = x 2 ( x + 1) x 2 + 6 x + 10 )
la fraccin dada se descompone en 4 fracciones parciales

4 x 4 + 4 x3 2 x 2 10 x + 6 A B C Dx + E
= + 2+ + 2
2
(
x ( x + 1) x + 6 x + 10
2
)x x x + 1 x + 6 x + 10

Se calculan los coeficientes A , B , C , D, E

Clculo de B

amplificando por x 2 y evaluando en x = 0

4 0 4 + 4 03 2 02 10 0 + 6 C 02 ( D 0 + E ) 0 3
= + + + 2 B=
(0 + 1)(0 + 6 0 + 10)
A 0 B
2
x + 1 x + 6 x + 10 5

Clculo de C
amplificando por x + 1 y evaluando en x = 1

4 4 2 + 10 + 6 A(1 + 1) B(1 + 1) (1D + E )(1 + 1) 14

= + +C + C=
(
1 1 6 + 10
2 2
) 1 1 2 6 x + 10 5
Clculo de A, D , E
La suma de las fracciones parciales proporciona la siguiente igualdad

4 x 4 + 4 x 3 2 x 2 10 x + 6 A B C Dx + E (1) + (2) + (3) + (4)

= + 2+ + 2 = 2
(
x ( x + 1) x + 6 x + 10
2 2
) x x x + 1 x + 6 x + 10 x ( x + 1) x 2 + 6 x + 10 ( )
donde (1) , (2), (3) y (4) son

(1) ( ) (
Ax ( x + 1) x 2 + 6 x + 10 = A x 4 + 7 x 3 + 16 x 2 + 10 x )
(2) (
B( x + 1) x 2 + 6 x + 10 = ) 3 3
5
(
x + 7 x 2 + 16 x + 10 )
(3) (
Cx 2 x 2 + 6 x + 10 = ) 14 4
5
(
x + 6 x 3 + 10 x 2 )

103
 104
(4) (Dx + E )x 2 ( x + 1) = Dx 4 + x3 ( D + E ) + Ex 2
considerando los numeradores de la igualdad entre la funcin racional y la suma, adems
reemplazando los valores de B, C se tiene lo siguiente

14 3 84 21 140 48 30
x 4 A + + D + x3 7 A + + + D + E + x 2 16 A + + + E + x10 A + + =
5 5 5 5 5 5 5
= 4 x 4 + 4 x 3 2 x 2 10 x + 6

y se obtiene el sistema de 3 ecuaciones lineales en A, D , E

48
10 A + = 10 1 48 98 49 49
5 A= 10 = = A=
161 10 5 5 25 25
16 A + E + = 2 161 49 71 71
5 E = 2 16 = E=
87 5 25 25 25
7A + D + E + =4 14 49 79
5 79
D = 4 + = D=
14 5 25 25 25
A+ D+ =4
5

por lo tanto

4 x 4 + 4 x3 2 x 2 10 x + 6 49 79 x 71
10 10
3 14
1 x5 + 7 x 4 + 16 x3 + 10 x 2 dx = 1 25 x + 5 x 2 + 5( x + 1) + x 2 + 6 x + 10 dx =
71
10 10 10 10 2x + 6 6 2
49 dx 3 dx 14 dx 79 79 dx =
= + 2+
25 1 x 5 1 x 5 1 x + 1 50 1
+
x 2 + 6 x + 10
10

( )
10
49 31 14 79 10 636 dx
= ln x 1 + ln( x + 1) 1 + ln x 2 + 6 x + 10 =
10 10

25 5 x1 5 50 1 50 1 ( x + 3) 2 + 1
49 3 1 14 79 318
= ln10 1 + (ln 11 ln 2) + (ln170 ln17) arctg ( x + 3) 1 =
10

25 5 10 5 50 25
14 11 49
= ln ln 10 +
27 79
+ ln 10
318
(arctg13 arctg 4) =
4 2 25 50 50 25
27 14 11 19
= + ln ln 10
318
(arctg13 arctg 4)
50 4 2 50 25
luego
4 x 4 + 4 x 3 2 x 2 10 x + 6
10
27 14 11 19
1 x5 + 7 x 4 + 16 x3 + 10 x 2 dx = 50 + 4 ln 2 50 ln10 25 (arctg13 arctg 4)
318

104
 105

dx
4. 12 + 5 tg x
Aparentemente el integrando no es una funcin racional, pero al aplicar una sustitucin
trigonomtrica se obtiene una funcin racional.

x 2dt 2t 1 t2 2t
Sea t = tg , dx = , sen x = , cos x = tg x =
2 1+ t2 1+ t2 1+ t2 1 t2

2dt 2dt
dx 1+ t 2
1+ t2 1 t2 t2 1
12 + 5 tg x
=
10t
= 12 12t 2 + 10t (1 + t 2 )(6 6t 2 + 5t ) (1 + t 2 )(6t 2 5t 6) dt =
= dt =
12 +
1 t2 1 t2

t2 1 A B Ct + D
= + + 2
(t + 1)(2t 3)(3t + 2) 2t 3 3t + 2 t + 1
2

t2 1 A(3t + 2)(t 2 + 1) + B(2t 3)(t 2 + 1) + (Ct + D)(6t 2 5t 6)

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

t 2 1 = A(3t + 2)(t 2 + 1) + B (2t 3)(t 2 + 1) + (Ct + D)(6t 2 5t 6)

2 4 4 4 5 5 5 5
para t= ; 1 = B 3 1 = B B=
3 9 3 9 9 3 9 3

3 9 9 9 5 13 13 10
para t= ; 1 = A + 2 + 1 = A A=
2 4 2 4 4 2 4 169

t 2 1 = A3t 3 + 3tA + 2 At 2 + 2 A + 2 Bt 3 + 2 Bt 3Bt 2 3B + 6Ct 3 5Ct 2 6Ct + 6 Dt 2 5Dt 6 D

t 2 1 = t 3 (3 A + 2 B + 6C ) + t 2 (2 A 3B 5C + 6 D) + t (3 A + 2 B 6C 5 D) + 2 A 3B 6 D

3 A + 2 B + 6C = 0
2 A 3B 5C + 6 D = 1
3 A + 2 B 6C 5D = 0
2 A 3B 6 D = 1
12C + 5 D = 0
restando ecuacin 1 con 3.y restando 2 con 3
5C 12 D = 2

10 12 12 10 24
144C + 25C = 10 C = y D= C D= =
169 5 5 169 169
105
 106

t2 1 10 5 10t + 24
= +
(t + 1)(2t 3)(3t + 2) 169(2t 3) 5(3t + 2) 169(t 2 + 1)
2

dx t2 1 10 5 dt 1 10t 24
12 + 5 tg x (1 + t 2 )(6t 2 5t 6) dt = 169(2t 3) dt 3 3t + 2 169 t 2 + 1 dt =
=

5 5 5 2tdt 24 dt
169
ln(3t 3) ln(3t + 2)
9 +
169 t + 1 169 t + 1
2 2
=

5 5 5 24
= ln(2t 3) ln(3t + 2) ln(t 2 + 1) + arctg t + C
169 9 169 169

x
pero t = tg
2

dx 5 x 5 x 5 x 12x
12+ 5tg x = 169ln2tg 2 3 9 ln3tg 2 + 2 169ln tg 2 +1 + 169+ C
2

106