Chapter 6: Techniques of Integration
Section 6.4: The Algebra of Partial Fractions
Example 6.4.5
Obtain the partial-fraction decomposition of 5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21⁢x+49.
Solution
Mathematical Solution
The denominator, x5+11⁢x4+21⁢x3−59⁢x2−21 x+49, factors to x+1⁢x2+5⁢x−72, so the decomposition begins with the identity
5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21 x+49 =ax+1+b1 x+c1x2+5 x−7+b2 x+c2x2+5 x−72
There are many methods for determining the constants a, bk,ck,k=1,2. The method adopted here is one that is amenable to an eventual Maple implementation of the underlying strategy. Multiply through by the factored denominator, obtaining
5⁢x4+37⁢x3+15⁢x2−150 x+109
=a x2+5⁢x−72+ b1 x+c1 x+1 x2+5 x−7+b2 x+c2 x+1
=a+b1⁢x4+10⁢a+6⁢b1+c1⁢x3+11⁢a−2⁢b1+b2+6⁢c1⁢x2+−70⁢a−7⁢b1+b2−2⁢c1+c2⁢x+49⁢a−7⁢c1+c2
For this to be an identity in x, the coefficients of like powers of x on each side of the equal sign must match. Hence, the five equations
a+b1
=5
10⁢a+6⁢b1+c1
=37
11⁢a−2⁢b1+b2+6⁢c1
=15
−70⁢a−7⁢b1+b2−2⁢c1+c2
=−150
49⁢a−7⁢c1+c2
=109
must hold. The solution of these equations is a=2,b1=3,b2=5,c1=−1,c2=4, and the partial-fraction decomposition of the given rational function is
5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21 x+49=2x+1+3⁢x−1x2+5⁢x−7+5⁢x+4x2+5⁢x−72
Maple Solution
Solution by Context Panel
Control-drag the rational function.
Context Panel: Conversions≻Partial Fractions≻x
5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21 x+49 → 2x+1+3⁢x−1x2+5⁢x−7+5⁢x+4x2+5⁢x−72
When working interactively, this solution via the Context Panel is probably the most efficient. Of course, there is the command-based conversion to partial fractions, as illustrated in Table 6.4.5(a).
Assign the name f to the given rational function.
f≔5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21 x+49:
Apply the convert command, with the option parfrac, and the independent variable x.
convertf,parfrac,x
2x+1+3⁢x−1x2+5⁢x−7+5⁢x+4x2+5⁢x−72
Table 6.4.5(a) Use of the convert command to obtain a partial-fraction decomposition
The stepwise partial-fractions task template in Table 6.4.5(b) provides an interactive stepwise solution.
Solution by Task Template
Tools≻Tasks≻Browse: Algebra≻Partial Fractions≻Stepwise
Stepwise Partial Fraction Decomposition
Write rational function here
fx=
↓
↓
Write the partial-fraction decomposition template in this box
≡ *
To determine the constants, multiply both sides of the identity (*) by the denominator of the fraction on the left.
=
fx==
Table 6.4.5(b) Task template for a stepwise interactive partial-fraction decomposition
Table 6.4.5(c) contains an interactive solution from first principles. A similar calculation in the form of a recorded demo can be found here.
Interactive solution from first principles
Control-drag the given rational function.
Context Panel: Assign to a Name≻f
5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21 x+49→assign to a namef
Enter the decomposition template.
Context Panel: Assign to a Name≻g
ax+1+x⁢b1+c1x2+5⁢x−7+x⁢b2+c2x2+5⁢x−72→assign to a nameg
Write f−g and press the Enter key.
Context Panel: Simplify≻Simplify
Context Panel: Numerator
Context Panel: Collect≻x
Context Panel: Coefficients≻x
Context Panel: Solve≻Solve
Context Panel: Assign to a Name≻S
f−g
5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21⁢x+49−ax+1−x⁢b1+c1x2+5⁢x−7−x⁢b2+c2x2+5⁢x−72
= simplify
−a⁢x4+x4⁢b1+10⁢a⁢x3−5⁢x4+6⁢x3⁢b1+x3⁢c1+11⁢a⁢x2−37⁢x3−2⁢x2⁢b1+x2⁢b2+6⁢x2⁢c1−70⁢a⁢x−15⁢x2−7⁢x⁢b1+x⁢b2−2⁢x⁢c1+x⁢c2+49⁢a+150⁢x−7⁢c1+c2−109x+1⁢x2+5⁢x−72
→numerator
−a⁢x4−x4⁢b1−10⁢a⁢x3+5⁢x4−6⁢x3⁢b1−x3⁢c1−11⁢a⁢x2+37⁢x3+2⁢x2⁢b1−x2⁢b2−6⁢x2⁢c1+70⁢a⁢x+15⁢x2+7⁢x⁢b1−x⁢b2+2⁢x⁢c1−x⁢c2−49⁢a−150⁢x+7⁢c1−c2+109
= collect w.r.t. x
−a−b1+5⁢x4+−10⁢a−6⁢b1−c1+37⁢x3+−11⁢a+2⁢b1−b2−6⁢c1+15⁢x2+70⁢a+7⁢b1−b2+2⁢c1−c2−150⁢x−49⁢a+7⁢c1−c2+109
→coefficients in x
−49⁢a+7⁢c1−c2+109,−11⁢a+2⁢b1−b2−6⁢c1+15,−a−b1+5,−10⁢a−6⁢b1−c1+37,70⁢a+7⁢b1−b2+2⁢c1−c2−150
→solve
a=2,b1=3,b2=5,c1=−1,c2=4
→assign to a name
S
Expression palette: Evaluation template Evaluate the template g with the parameters in S
gx=a|f(x)S = 2x+1+3⁢x−1x2+5⁢x−7+5⁢x+4x2+5⁢x−72
Table 6.4.5(c) Interactive solution from first principles
Table 6.4.5(d) contains a coded solution from first principles.
Coded solution from first principles
Write the basic identity for the partial-fraction decomposition.
q1≔f=g
5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21⁢x+49=ax+1+x⁢b1+c1x2+5⁢x−7+x⁢b2+c2x2+5⁢x−72
Multiply through by the denominator of the rational function.
q2≔simplifyq1⋅denomf
5⁢x4+37⁢x3+15⁢x2−150⁢x+109=a⁢x4+x4⁢b1+10⁢a⁢x3+6⁢x3⁢b1+x3⁢c1+11⁢a⁢x2−2⁢x2⁢b1+x2⁢b2+6⁢x2⁢c1−70⁢a⁢x−7⁢x⁢b1+x⁢b2−2⁢x⁢c1+x⁢c2+49⁢a−7⁢c1+c2
Form the equation determined by identifying the coefficients of powers of x0.
q3≔mapcoeff,q2,x,0
109=49⁢a−7⁢c1+c2
Form the equation determined by identifying the coefficients of powers of x1.
q4≔mapcoeff,q2,x,1
−150=−70⁢a−7⁢b1+b2−2⁢c1+c2
Form the equation determined by identifying the coefficients of powers of x2.
q5≔mapcoeff,q2,x,2
15=11⁢a−2⁢b1+b2+6⁢c1
Form the equation determined by identifying the coefficients of powers of x3.
q6≔mapcoeff,q2,x,3
37=10⁢a+6⁢b1+c1
Form the equation determined by identifying the coefficients of powers of x4.
q7≔mapcoeff,q2,x,4
5=a+b1
Solve the four equations in a,bk,ck,k=1,2.
q8≔solveq3,q4,q5,q6,q7
Evaluate the basic partial-fractions identity with the values of the coefficients determined by the solve command.
evalq1,q8
5⁢x4+37⁢x3+15⁢x2−150⁢x+109x5+11⁢x4+21⁢x3−59⁢x2−21⁢x+49=2x+1+3⁢x−1x2+5⁢x−7+5⁢x+4x2+5⁢x−72
Table 6.4.5(d) Coded solution from first principles
Essentially, the partial-fraction decomposition seeks to determine the parameters a,bk,ck,k=1,2, that make equation q1 (in Table 6.4.5(d)) an identity in x. This can be done immediately with the following modification of Maple's solve command.
solveidentityq1,x,a,b1,c1,b2,c2
<< Previous Example Section 6.4 Next Section >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
Download Help Document