Scientia et Technica Ao XII, No 31, Agosto de 2006 UTP.

ISSN 0122-1701 259

DESCOMPOSICIN EN FRACCIONES PARCIALES

RESUMEN ALEJANDRO MARTNEZ A.
En este artculo se estudia el mtodo de Heaviside para descomponer una Licenciado en Educacin con
fraccin propia f ( x) = p( x) / q( x) , es decir, p y q son polinomios, y Especialidad en Matemticas.
grado( p( x)) < grado(q ( x)) . Este tipo de descomposicin se utiliza en el Profesor Auxiliar
Universidad Tecnolgica de Pereira.
clculo de integrales de funciones racionales y para encontrar algunas amartinez@utp.edu.co
transformadas inversas de Laplace y se basa en un teorema del lgebra
avanzada, el cual establece que cada funcin racional, sin importar que tan
complicada sea, puede rescribirse como una suma de fracciones ms simples,
5x 3 2 3
por ejemplo 2 = + .
x 2x 3 x + 1 x 3
PALABRAS CLAVES: Fraccin propia., fracciones parciales.
ABSTRACT
This paper studies the Heaviside method for decomposing an own fraction
f ( x) = p( x) / q( x) . That is to say, p and q are polynomials and
deg ree( p( x)) < deg ree(q( x)) . This type of decomposition is used to
calculate integrals of rational functions and to find some inverse Laplace
transforms and its based in a theorem of advanced algebra, which it
establishes that each rational function, no matter what complicated it was,
can rewrites as a sum of fractions most simples, by example
5x 3 2 3
= + .
x 2x 3
2 x + 1 x 3

KEYWORDS: Own fraction, partial fractions.

1. INTRODUCCIN. CASO 1. x = a es una raz real simple de q(x) , es

La descomposicin en fracciones parciales de una decir, q( x) = ( x a )t a ( x) , con t a (a) 0 . Entonces
fraccin propia es un procedimiento utilizado muy existe una funcin wa 1 tal que
frecuentemente cuando se va hallar una antiderivada de
A
una funcin racional o cuando se quiere encontrar la f ( x) = + wa ( x ) , (1)
transformada inversa de Laplace. En la mayora de los xa
textos de Clculo no se hace un tratamiento detallado de y A se calcula de la siguiente manera:
este tema. En [3] se hacen algunas observaciones sobre el Paso 1. Se multiplica en ambos lados de (1) por x a
mtodo de Heaviside, pero no se profundiza. Este tema se para obtener
encuentra desarrollado en [1] y [2] de una manera ms
formal, de donde se ha tomado y se ha ampliado. En este p ( x)
= A + ( x a ) wa ( x) .
artculo se asume que los polinomios p(x) y q(x) tienen t a ( x)
coeficientes reales.
Paso 2. Se asigna a x el valor de a, de donde
2. CONTENIDO.
p(a)
Empezamos el desarrollo considerando los posibles caso A= .
t a (a )
que se presentan en la factorizacin de q(x) .
Este procedimiento se repite para cada raz simple de
2.1. Mtodo algebraico
q(x).
Este es el mtodo ms comnmente utilizado. A
x +1
continuacin se analizan los casos posibles. Ejemplo 1. Calcule
x 3
+ x 2 6x
dx .

1
Los ndices en las funciones ta y wa se usan para indicar que
dichas funciones dependen de la raz a.
Fecha de Recepcin: 31 Enero de 2006
Fecha de Aceptacin: 04 Mayo de 2006
260 Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP

Solucin. Hay que encontrar la descomposicin en Paso 4. Se efectan los clculos en el lado derecho para
x +1 obtener un polinomio
fracciones parciales de f ( x) = 3 . Es decir,
x + x 2 6x Paso 5. Se igualan los coeficientes de las potencias
hay que hallar constantes A, B y C tales que correspondientes de x y se resuelven las ecuaciones
A B C resultantes para los coeficientes Am1 , , A2 , A1 .
f ( x) = + + .
x x2 x+3 CASO 3. Si x = a = + i es una raz compleja
Como p ( x) = x + 1 y q( x) = x + x 6 x . Al factorizar
3 2 simple. En este caso tambin lo es x = a = i ,
q(x) se tiene q( x) = x( x 2)( x + 3) . Luego, puesto que q(x) tiene coeficientes reales. Es decir,
q ( x) = [( x ) 2 + 2 ] t a ( x) . Entonces
p(0) 0 +1 1
A= = = , A( x ) + B
t 0 (0) (0 + 3)(0 2) 6 f ( x) = + wa ( x) , (3)
(x ) 2 + 2
p(3) 2 +1 3
B= = = ,
t 2 (2) 2(2 + 3) 10 en donde A y B se calculan de la siguiente manera

p(3) 3 + 1 2 Paso1. Se multiplica en ambos lados de (3) por

C= = = , ( x ) 2 + 2 para obtener
t 3 (3) 3(3 2) 15
p( x)
Luego = A( x ) + B + [( x ) 2 + 2 ] wa ( x)
t a ( x)
1 3 2
f ( x) = + .
6 x 10( x 2) 15( x + 3) Paso 2. Se asigna a x el valor de , de donde

Por lo tanto, p( )
B= 2 wa ( ) .
t a ( )
f ( x)dx = 6 ln x + 10 ln x 2 15 ln x + 3 + C
1 3 2
Paso 3. Se asigna otro valor de x y se despeja A.
CASO 2. Si x = a es una raz real de multiplicidad
CASO 4. Si x = a = + i es una raz compleja doble.
m > 1 de q(x), es decir, q ( x) = ( x a ) m t a ( x) . Entonces
En este caso tambin lo es x = a = i . Es decir,

f ( x) =
Am
+
Am 1
+ +
A2 q( x) = [( x ) 2 + 2 ] t a ( x) . Entonces
m 1
( x a) m
( x a) ( x a) 2
A( x ) + B C(x ) + D
(2) f ( x) = + + wa ( x) , (4)
A
+ 1 , [( x ) + ]
2 2 2
(x ) 2 + 2
xa
en donde A, B, C y D se calculan de la siguiente manera
en donde Am, Am1, , A1 se calculan de la siguiente
manera Paso 1. Se multiplica a ambos lados de (4) por
[( x ) 2 + 2 ] 2 para obtener
Paso 1. Se multiplica a ambos lados de (2) por ( x a ) m ,
para obtener p( x)
= A( x ) + B
t a ( x)
p( x)
= Am + Am1 ( x a ) + + A1 ( x a ) m 1 + + [( x ) 2 + 2 ] [C ( x ) + ]
t a ( x)
+ ( x a ) m wa ( x ) + [( x ) 2 + 2 ] 2 wa ( x)

Paso 2. Se asigna a x el valor de a, de donde
p(a)
Am =
t a (a)
Paso 3. Se multiplica en ambos lados de (3) por
( x a) m t a ( x) , para obtener
p( x) = [ Am + Am 1 ( x a ) + + A1 ( x a) m 1 +
+ ( x a ) m wa ( x)] t a ( x ).
Paso 2. Despejar p(x) en la expresin anterior, efectuar
los productos en el lado derecho para formar un
polinomio, igualar coeficientes y luego resolver el
sistema resultante en A, B , C y D. Una forma alternativa
es asignar valores adecuados a x para formar un sistema
en A, B, C y D y luego resolver el sistema resultante.
2.2 Mtodo de Heaviside
El mtodo de Heaviside es similar al mtodo algebraico.
Los casos se enuncian como teoremas.
Scientia et Technica Ao XII, No 31, Agosto de 2006. U.T.P 261

p( x) q ( x) = ( x a ) m t a ( x) . Entonces
Teorema 1. Suponga que f ( x) = y que x = a es
q ( x)
A1 A2 Am
una raz real simple de q(x) , es decir, f ( x) = + + + + wa ( x) ,
x a ( x a) 2 ( x a) m
q( x) = ( x a )t a ( x) , con t a (a) 0 .Entonces existe una
constante A tal que en donde
A
f ( x) = + wa ( x ) , p (a )
xa Am = lim ha ( x) = ha (a ) =
xa t a (a) ,
p (a ) p(a)
en donde A = o bien A = .
t a (a) q' (a)
1 dk p ( x)
Am k = lim
Demostracin.
s a k! dx k t ( x)
a
Sea ha ( x) = ( x a) f ( x) . De acuerdo con la teora de para k = 1,2, , m 1 .
fracciones parciales, existe una constante A tal que
o bien
p( x) p( x) A
f ( x) = = = + wa ( x) . (1) 1 p( x) ra ( x) t a ( x)
q ( x) ( x a )t a ( x) x a Am k = lim
t a (a) x a ( x a) k
Al multiplicar por ( x a) a ambos lados de (1) se tiene
para k = 1,2, , m 1 , donde
( x a ) p ( x)
ha ( x ) = ( x a) f ( x) =
q ( x)
ra ( x) = Am + Am 1 ( x a ) + Am k +1 ( x a ) k 1 .
p( x)
= = A + ( x a ) wa ( x)
t a ( x) Demostracin.
Al tomar lmites se tiene p( x)
A = lim ha ( x) = lim ( x a ) f ( x) Sea ha ( x) = ( x a ) m f ( x) = . Existen constantes
xa xa t a ( x)
p( x) p(a) . A1 , A2 , , Am tales que
= lim =
x a t a ( x) t a (a)
p( x) p( x)
f ( x) = =
Al aplicar la regla de LHpital se tiene q ( x) ( x a ) m t a ( x)
A = lim ha ( x) = lim( x a ) f ( x) A1 A2
xa xa = + + + (2)
x a ( x a) 2
( x a) p( x) [( x a) p ( x)] '
= lim( = lim Am 1 Am
xa
xa q( x) q' ( x) + m 1
+ + wa ( x)
p ( x) + ( x a ) p ' ( x) p (a) ( x a) ( x a) m
= lim = .
xa q' ( x) q' (a )
Al multiplicar por ( x a ) m en ambos lados de (2) se
p( x) tiene
Corolario 1. Supongamos que f ( x) = y
q ( x) ha ( x ) = ( x a) m f ( x) = Am + ( x a) Am 1 +
q( x) = ( x a1 )( x a 2 ) ( x a n ) con ai a j para
+ ( x a ) 2 Am 2 + + ( x a) m 1 A1 +
i j . Entonces
+ ( x a ) m wa ( x)
A1 A2 An
f ( x) = + + + ,
x a1 x a 2 x an Despejando Am , haciendo
en donde s a ( x) = Am 1 + Am 2 ( x a ) + + A1 ( x a ) m 1 +
Ai = lim ( x a i ) f ( x) para i = 1,2, , n. + ( x a ) m 1 w a ( x)
x ai

p( x) y tomando el lmite se obtiene

Teorema 2. Suponga que f ( x) = y que x = a es
q ( x)
una raz real de multiplicidad m > 1 de q(x), es decir,
262 Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP

Am = lim[ha ( x) ( x a) s a ( x)] d2
xa 2 Am 2 = lim (ha ( x)) = ha ' ' (a) .
p( x) p(a) xa dx 2
= lim ha ( x) = lim = .
xa x a t a ( x) t a (a ) De donde
Una vez hallado Am , procedemos a encontrar Am k 1 1 d2 p( x)
Am 2 = ha ' ' (a ) = lim 2
para k = 1, 2 , , m 2, m 1. 2 x a dx t ( x)
2 a
Al derivar ha (x) con respecto a x se tiene
Tambin
d
[ha ( x)] = Am1 + 2( x a) Am 2 + +
dx 1 p( x) Am t a ( x ) Am 1 ( x a )t a ( x)
+ (m 1)( x a ) m 2 A1 + ( x a) m w ' ( x ) + Am 2 = lim .
t a (a ) x a ( x a) 2

+ m( x a ) m 1 w( x ) = Am 1 + ( x a)ra ( x) El ltimo lmite se puede evaluar mediante la regla de
0
Al despejar Am1 y tomar el lmite se tiene LHpital porque es de la forma . Este procedimiento
0
(ha ( x)) = lim d p( x)
d se generaliza para llegar a la siguiente expresin
Am1 = lim
x a dx x a dx t ( x )
1 dk p( x)

Am k = lim
x a k! dx k t ( x) , para k = 1,2, , m 1.
Por otro lado, al multiplicar a ambos lados de (2) por a
( x a) m 1 y despejar se obtiene
p( x)
Corolario. Si f ( x) = y q ( x) = ( x a ) m , entonces
q ( x)
Am
( x a) m 1 f ( x) = + Am 1 + ( x a ) Am 2 + +
x 1 A1 A2 Am
f ( x) = + + + ,
+ ( x a ) m 2 A1 + ( x a) m 1 wa ( x) x a ( x a) 2 ( x a) m
Am en donde
Am 1 = ( x a ) m 1 f ( x)
xa Am = P (a ) , Am 1 = P ' (a ) ,
[
( x a) Am 2 + (x a) m 3 A1 + (x a) m 2 wa (x) ]
1 1
( x a) m 1 p ( x ) Am p ( x) A Am 2 = P ' ' (a ) , Am k = p ( k ) (a ) ,
= = m 2 k!
( x a ) m t a ( x) x a ( x a)t a ( x) x a
p( x) Am t a ( x) para k = 1,2, , m 1.
= .
( x a )t a ( x) x 3 2x + 2
Ejemplo 2. Descomponga f ( x) = en
( x + 1) 4
Al tomar el lmite se tiene fracciones parciales
1 p( x) Am t a ( x) Solucin.
Am 1 = lim .
t a (a) x a xa p( x) = x 3 2 x + 2, p ' ( x) = 3x 2 2, p ' ' ( x ) = 6 x,
p ' ' ' ( x) = 6 . Luego
El ltimo lmite se puede evaluar mediante la regla de
0 x 3 2x + 2 A1 A2 A3 A4
LHpital porque es de la forma . Recurdese que = + + +
0 x + 1 ( x + 1)
( x + 1) 4 2
( x + 1) 3
( x + 1) 4
p(a)
Am = . Es decir,
t a (a) A4 = P (1) = 3, A3 = P ' (1) = 1, A2 = 1
2
P ' ' (1) = 3,
A1 = 1
6
P ' ' ' (1) = 1.
p ' (a ) Am t a ' (a)
lim ( p' ( x) Am t a ( x) ) =
1
Am 1 = . Luego
t a (a) x a t a (a) 1 3 1 3
f ( x) = + + .
Derivando nuevamente, despejando y tomando lmites se x + 1 ( x + 1) 2 ( x + 1) 3 ( x + 1) 4
tiene
Scientia et Technica Ao XII, No 31, Agosto de 2006. U.T.P 263

2s 3 9 s 2 + 15s 9 en donde
Ejemplo 3. Hallar L1 , donde L
-1

( s 2)( s 1) 3 p(a)
B = Re(ha (a ) ) = Re
denota la transformada inversa de Laplace. t (a)
2 s 3 9s 2 + 15s 9 y
Solucin. Aqu F ( s ) =
( s 2)( s 1) 3
p(a)
Im(ha (a) ) =
1 1
A= Im ,
A B C D t (a)
F (s) = + + + (I)
s 2 s 1 ( s 1) 2 ( s 1) 3
donde ha ( x) = [( x ) 2 + 2 ] f ( x)
Entonces
p( x)
Teorema 4. Suponga que f ( x) = y que
2 s 3 9s 2 + 15s 9 q ( x)
A = lim ( s 2) F ( s ) = lim =1
s 2 s 1 ( s 1) 3 x = a = + i es una raz compleja doble. En este
2s 9 s + 15s 9
3 2
caso tambin lo es x = a = i , es decir,
D = lim( s 1) 3 F ( s ) = lim =1.
s 1 s 1 ( s 2) q( x) = [( x ) 2 + 2 ] 2 t a ( x) . Entonces
Para el clculo de B y C se evala F(s) en dos valores A1 ( x ) + B1 A2 ( x ) + B 2
f ( x) = + + wa ( x) ,
distintos de s que no sean 1 ni 2 para obtener un sistema
2 2 en B y C, aprovechando que ya se conocen A y D.
(x ) +
2 2
[( x ) 2
+2 ]2

en donde
1 B C 1 p(a)
F (0) = + + +
2 1 1 1 B 2 = Re(ha (a) ) = Re

t a (a)
9 1
= B + C 1 p(a)
Im(ha (a ) ) =
1 1
2 2 A2 = Im ,
de donde t a (a)
BC = 3 (1)
Im(ha ' (a ) )
1
1 B C 1 B1 =
F (1) = + + + 2
3 2 4 8 y
35 1 B C 1

24
= + ,
3 2 4 8 A1 =
1
[A2 Re(ha ' (a) )] ,
2 2
de donde donde ha ( x) = [( x ) 2 + 2 ] 2 f ( x)
2B C = 4 (2) Ejemplo 5. Encuentre la descomposicin en fracciones
Resolviendo el sistema formado por (1) y (2) se obtiene 2 x 2 3x + 4
B = 1 y C = 2.
parciales de f ( x) = 2
( x + 4) ( x 1) 2 + 1 [ ]
Luego Solucin.
1 1 2 1
F (s) = + + .
s 2 s 1 ( s 1) 2 ( s 1) 3 2 x 2 3x + 4 Ax + B C ( x 1) + D

Por lo tanto,
f ( x) =
[
( x + 4) ( x 1) + 1
2 2
] =
x +4
2
+
( x 1) 2 + 1
.

Luego
L 1
{F (s)} = e 2t t 1
+ e + te + t 2 e t .
t
2 x 2 3x + 4
2 h 2 i ( x ) = ( x 2 + 4) f ( x ) = ,y
( x 1) 2 + 1
p( x)
Teorema 3. Suponga que y que f ( x) =
q ( x) ( x 2 + a )[C ( x 1) + D]
h2i ( x) = Ax + B +
x = a = + i es una raz compleja simple. En este ( x 1) 2 + 1
caso tambin lo es x = a = i , puesto que asumimos
Entonces
que q(x) tiene coeficientes reales. Es decir,
q( x) = [( x ) 2 + 2 ] t ( x) . Entonces
A( x ) + B
f ( x) = + wa ( x) ,
(x ) 2 + 2
264 Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP

2(2i ) 2 3(2i ) + 4 [3] Zill, Dennis, G. y Cullen, Michael R. Ecuaciones

h2i (2i ) = Diferenciales con problemas de valores en la
(2i 1) + 1 2
frontera, Quinta Edicin, Thomson, 2002.
4 6i 4 6i 2 + 3i
= = =
4 4i + 1 + 1 2 4i 1 + 2i
(2 + 3i )(1 2i ) 8 1
= = i
(1 + 2i )(1 2i ) 5 5

h2i ( x) = A(2i ) + B

De ah, A = 101 y B = 8
5
.

[ ] 2 x 3x + 4
2
h1+ i ( x ) = ( x 1) 2 + 4 f ( x) =
x +4 2

=
[( x 1) + 1][Ax + B ] C ( x 1) + D
2
+ .
x2 + 4 x2 + 4
Entonces

2(1 + i ) 2 3(1 + i ) + 4
h1+i (1 + i ) = = Ci + D
(1 + i ) 2 + 4

2(2i ) 3(1 + i ) + 4 1 + i 1+ i
= =
2i + 4 2 + 4i 2(1 + 2i )
(1 + i )(1 2i ) 3 i
= = = D + iC.
2(5) 10

De ah, C = 101 y D = 103 . Por lo tanto,

1 x 16 1 ( x 1) 3
f ( x) = .
10 x 2 + 4 10 ( x 1) 2 + 1

3. CONCLUSIONES Y RECOMENDACIONES

El mtodo de Heaviside resulta ser un mtodo prctico

para calcular los coeficientes en la descomposicin en
fracciones parciales de una fraccin propia en el caso de
races reales distintas o cuando el polinomio del
denominador es una funcin de la forma q ( x) = ( x a ) m .

La aplicacin directa de los teoremas en algunos casos

puede ser tediosa y a veces es mejor evaluar la funcin en
valores adecuados de las variables para obtener un
sistema de ecuaciones lineales en las constantes que se
deben determinar.

4. BIBLIOGRAFA
[1] Finney, Thomas, Clculo una variable, Pearson
Educacin, 9 Edicin.
[2] Kreyzig, Erwin. Matemticas Avanzadas para
Ingeniera, Vol. 1.