Integration By Partial Fractions

Every rational function has an elementary antiderivative. The method of partial fractions shows how to find it: factor the denominator, split the fraction into simple pieces, and integrate each piece with a logarithm, a power, or an arctangent.

Factor in the denominator Terms to include in the decomposition
Unrepeated linear ( x + a ) A x + a
Repeated linear ( x + a ) k A 1 x + a + A 2 ( x + a ) 2 + + A k ( x + a ) k
Unrepeated irreducible quadratic ( x 2 + p x + q ) A x + B x 2 + p x + q
Repeated irreducible quadratic ( x 2 + p x + q ) l A 1 x + B 1 x 2 + p x + q + + A l x + B l ( x 2 + p x + q ) l
Standard integral Result
d u u a ln < / t d >< / t r >< t r >< t d > \displaystyle\int\frac{du}{(u-a)^{n}} , n\ge2 < / t d >< t d > \dfrac{(u-a)^{1-n}}{1-n}+C < / t d >< / t r >< t r >< t d > \displaystyle\int\frac{du}{u^{2}+k^{2}} < / t d >< t d > \dfrac{1}{k}\arctan\dfrac{u}{k}+C < / t d >< / t r >< t r >< t d > \displaystyle\int\frac{du}{a^{2}-u^{2}} , u^{2}<a^{2} < / t d >< t d > \dfrac{1}{2a}\ln\left
d u u 2 a 2 , u 2 > a 2 \dfrac{1}{2a}\ln\left</td> </tr> </tbody></table> <p>In this section, we will learn how to integrate any rational function. Recall that a rational function is the ratio of two polynomials P(x)=b_{m}x^{m}+b_{m-1}x^{m-1}+\cdots+b_{0} a n d Q(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots+a_{0} . We want to evaluate integrals of the form</p> ___MATH_BLOCK_0___<p><span id="sec-proper-fractions"></span></p> <h2>A Prerequisite: Proper Fractions</h2> <p>We focus first on the case where the degree of the numerator is strictly less than the degree of the denominator ( m<n ) . S u c h r a t i o n a l f u n c t i o n s a r e c a l l e d < s t r o n g > p r o p e r < / s t r o n g > . I f t h e f r a c t i o n i s < s t r o n g > i m p r o p e r < / s t r o n g > , m e a n i n g m\geq n , we divide the numerator by the denominator to obtain a quotient and a remainder, and write the result in the form</p> ___MATH_BLOCK_1___<p>This is exactly the same idea as writing \frac{7}{3}=2+\frac{1}{3} for ordinary fractions. The polynomial part integrates term by term, so only the proper part needs the machinery below.</p> <p><span id="sec-idea-behind-method"></span></p> <h2>The Idea Behind the Method</h2> <p>The key to evaluating integrals of proper fractions is to decompose them as sums of simpler fractions that we can integrate directly. We will show that any proper rational function can be written as a sum of <strong>partial fractions</strong> of the following types:</p> ___MATH_BLOCK_2___<p>where the quadratic denominators are <strong>irreducible</strong>, meaning they have no real roots, which requires their discriminants to satisfy p^{2}-4q<0 a n d r^{2}-4s<0 .</p> <p>For example, we have</p> ___MATH_BLOCK_3___<p>and the integral of this complicated-looking rational function is then straightforward:</p> ___MATH_BLOCK_4___<p><span id="sec-factoring-denominator"></span></p> <h2>Factoring the Denominator</h2> <p>The first step in expressing a rational function as a sum of partial fractions is to factor the denominator Q(x) as a product of linear terms and irreducible quadratics. Some of these factors may be repeated. For example, if</p> ___MATH_BLOCK_5___<p>then its complete factorization is</p> ___MATH_BLOCK_6___<p>In practice, factoring the denominator is often the hardest step. Some factors are obvious by inspection, but in general we rely on the <strong>Factor Theorem</strong>:</p> <div class="thm" id="thm-factor-theorem" data-title="Factor Theorem"><p>If the polynomial P(x)=0$ has a root $x=r$, then $(x-r)$ is a factor of $P(x) . < / p >< / d i v >< p > T o u s e i t , s e t t h e d e n o m i n a t o r e q u a l t o z e r o , s o l v e f o r i t s r o o t s , a n d b u i l d t h e c o r r e s p o n d i n g f a c t o r s . T h e < s t r o n g > F u n d a m e n t a l T h e o r e m o f A l g e b r a < / s t r o n g > g u a r a n t e e s t h a t e v e r y p o l y n o m i a l o f d e g r e e \geq1$ has at least one root (possibly complex). Once a root $r$ is found, divide the denominator by $(x-r)$ to obtain a polynomial of degree one less, then find a root of that quotient. Repeating this process $n$ times (where $n$ is the degree of $Q(x)$) shows that any polynomial has exactly $n roots, counted with multiplicity. Thus</p> ___MATH_BLOCK_7___<p>When a root is complex, say \alpha+i\beta$ with $\beta\neq0$, and the coefficients of $Q(x)$ are all real, the conjugate $\alpha-i\beta$ is also a root of $Q(x) . < / p >< d e t a i l s >< s u m m a r y > P r o o f t h a t c o m p l e x r o o t s c o m e i n c o n j u g a t e p a i r s < / s u m m a r y >< p > B e f o r e w e p r o v e t h i s , r e c a l l s o m e f a c t s a b o u t t h e c o n j u g a t e o f a c o m p l e x n u m b e r . I f z=\alpha+i\beta , its conjugate is</p> ___MATH_BLOCK_8___<p>The conjugate of a sum is the sum of the conjugates, and the conjugate of a product is the product of the conjugates:</p> ___MATH_BLOCK_9___<p>Also, the conjugate of any real number a i s \bar{a}=a . < / p >< p > N o w s u p p o s e r$ is a root of $Q(x)=a_n x^n+a_{n-1}x^{n-1}+\cdots+a_0$, so that $Q(r)=0 :</p> ___MATH_BLOCK_10___<p>Taking the conjugate of both sides and applying the properties above, using \overline{a_i}=a_i for each real coefficient:</p> ___MATH_BLOCK_11___<p>This shows that Q(\bar{r})=0 , s o \bar{r}$ is also a root of $Q(x) . < / p >< / d e t a i l s >< p > S o w h e n e v e r \alpha+i\beta$ (with $\beta\neq0 ) is a root, the product</p> ___MATH_BLOCK_12___<p>is a factor of Q(x)$. Expanding and using $i^{2}=-1 :</p> ___MATH_BLOCK_13___<p>Because \beta\neq0 , t h i s q u a d r a t i c h a s a n e g a t i v e d i s c r i m i n a n t a n d i s t h e r e f o r e i r r e d u c i b l e o v e r t h e r e a l n u m b e r s . T h i s i s w h y t h e l i s t o f p o s s i b l e p a r t i a l f r a c t i o n t y p e s c o n t a i n s q u a d r a t i c s a s w e l l a s l i n e a r t e r m s : r e a l f a c t o r i z a t i o n s c a n n o t a l w a y s b e p u s h e d f u r t h e r . < / p >< p >< s p a n i d = " s e c s e t t i n g u p d e c o m p o s i t i o n " >< / s p a n >< / p >< h 2 > S e t t i n g U p t h e D e c o m p o s i t i o n < / h 2 >< p > A f t e r t h e d e n o m i n a t o r i s f u l l y f a c t o r e d , w e w r i t e t h e r a t i o n a l f u n c t i o n a s a s u m o f s i m p l e r f r a c t i o n s w h o s e f o r m i s d i c t a t e d b y t h e t y p e o f e a c h f a c t o r . < / p >< d i v c l a s s = " h i g h l i g h t " >< p >< s t r o n g > 1. F o r e a c h u n r e p e a t e d l i n e a r f a c t o r (x+a) </strong>, include a single term</p> ___MATH_BLOCK_14___<p>with A a c o n s t a n t t o b e d e t e r m i n e d . < / p >< p >< s t r o n g > 2. F o r e a c h r e p e a t e d l i n e a r f a c t o r (x+a)^{k} </strong>, include the full chain</p> ___MATH_BLOCK_15___<p>with constants A_1, A_2, \ldots, A_k t o b e d e t e r m i n e d . < / p >< p >< s t r o n g > 3. F o r e a c h u n r e p e a t e d i r r e d u c i b l e q u a d r a t i c f a c t o r (x^{2}+px+q) < / s t r o n g > ( w i t h p^{2}-4q<0 ), include a single term with a linear numerator:</p> ___MATH_BLOCK_16___<p>with constants A a n d B t o b e d e t e r m i n e d . < / p >< p >< s t r o n g > 4. F o r e a c h r e p e a t e d i r r e d u c i b l e q u a d r a t i c f a c t o r (x^{2}+px+q)^{l} < / s t r o n g > ( w i t h p^{2}-4q<0 ), include the chain</p> ___MATH_BLOCK_17___<p>with constants A_1, B_1, \ldots, A_l, B_l to be determined.</p> </div><p>For example, to decompose</p> ___MATH_BLOCK_18___<p>we seek constants A , B , C , D , a n d E such that</p> ___MATH_BLOCK_19___<p>Two natural questions arise:</p> <ol> <li>Why is such a decomposition guaranteed to exist?</li> <li>How do we determine the coefficients?</li> </ol> <p>The theorems at the end of this section answer the first question. The next subsection addresses the second.</p> <p><span id="sec-finding-constants"></span></p> <h2>Finding the Constants</h2> <p>There are two standard methods for determining the unknown coefficients.</p> <p><strong>Method 1: Equating Coefficients.</strong> We illustrate with an example. Since x^{2}-1=(x-1)(x+1) , we write</p> ___MATH_BLOCK_20___<p>Combining the right-hand side over the common denominator gives</p> ___MATH_BLOCK_21___<p>Since the denominators are equal, the numerators must agree for all x :</p> ___MATH_BLOCK_22___<p>Matching coefficients of like powers of x :</p> ___MATH_BLOCK_23___<p>Adding these equations gives 2B=1 , s o B=\tfrac{1}{2}$. Substituting back yields $A=\tfrac{1}{2} . Therefore</p> ___MATH_BLOCK_24___<p>This method always works regardless of the factor types present.</p> <p><strong>Method 2: Substitution of Roots.</strong> We illustrate with the same example. Multiplying both sides of</p> ___MATH_BLOCK_25___<p>by (x-1)(x+1) gives the polynomial identity</p> ___MATH_BLOCK_26___<p>Setting x=1 :</p> ___MATH_BLOCK_27___<p>Setting x=-1 :</p> ___MATH_BLOCK_28___<div class="highlight"><p><strong>A note on what "substituting a root" really means.</strong> The values x=1 a n d x=-1$ are not in the domain of the original rational function $\dfrac{x}{(x-1)(x+1)} , so substituting them there would be meaningless. What we actually do is different. After multiplying through by the denominator, we arrive at the polynomial identity</p> ___MATH_BLOCK_29___<p>which holds for every real number x$, including $x=1 a n d x=-1$, because both sides are now polynomials with no denominators. So when we "set $x=1$," we are not substituting into the original fraction; we are evaluating a polynomial equation at a permissible point. Equivalently, one can think of this as taking the limit $x\to1$ of the polynomial identity, but since a polynomial is continuous everywhere, the limit equals the value, and we simply substitute. This is why the method is legitimate, and why writing "set $x=1 " i s a s a f e s h o r t h a n d . < / p >< / d i v >< p > T h i s m e t h o d i s f a s t e r a n d a v o i d s s o l v i n g a l i n e a r s y s t e m . I t w o r k s c l e a n l y w h e n a l l r o o t s o f t h e d e n o m i n a t o r a r e r e a l a n d d i s t i n c t : s u b s t i t u t i n g e a c h r o o t i n t o t h e c l e a r e d p o l y n o m i a l i d e n t i t y m a k e s a l l t e r m s e x c e p t o n e v a n i s h , d e l i v e r i n g e a c h c o n s t a n t d i r e c t l y . W h e n t h e r e a r e r e p e a t e d f a c t o r s o r i r r e d u c i b l e q u a d r a t i c f a c t o r s , s u b s t i t u t i o n a l o n e d o e s n o t p r o d u c e a l l c o n s t a n t s , a n d w e f i n i s h b y e q u a t i n g a f e w c o e f f i c i e n t s o r s u b s t i t u t i n g a d d i t i o n a l c o n v e n i e n t v a l u e s o f x . < / p >< p >< s p a n i d = " s e c w o r k e d e x a m p l e s " >< / s p a n >< / p >< h 2 > W o r k e d E x a m p l e s < / h 2 >< d i v c l a s s = " e x a m p l e " >< p > E v a l u a t e \displaystyle\int \frac{x^3}{x^2 - 3x + 2}\, dx.

Solution

The numerator's degree exceeds the denominator's, so we divide first. Performing polynomial long division ofx^{3} b y x^{2}-3x+2$ gives quotient $x+3$ and remainder $7x-6 :</p> <pre> x + 3 _________________________ x² - 3x + 2 ) x³ + 0x² + 0x + 0 x³ - 3x² + 2x ------------------ 3x² - 2x 3x² - 9x + 6 ------------------ 7x - 6 </pre> <p>so</p> ___MATH_BLOCK_30___<p>The integral becomes</p> ___MATH_BLOCK_31___<p>Now focus on the remaining proper fraction. The denominator factors as x^{2}-3x+2=(x-1)(x-2)$, since $1 a n d 2 are roots. Both factors are unrepeated linear, so</p> ___MATH_BLOCK_32___<p>Clearing denominators gives the identity</p> ___MATH_BLOCK_33___<p><strong>Equating coefficients.</strong> Matching coefficients of x and the constant terms gives</p> ___MATH_BLOCK_34___<p>and solving simultaneously yields A=-1 , B=8 . < / p >< p >< s t r o n g > S u b s t i t u t i o n o f r o o t s ( f a s t e r ) . < / s t r o n g > T h e i d e n t i t y h o l d s f o r a l l x$, so we evaluate at the roots $x=1 a n d x=2 . < / p >< p > F o r x=1 :</p> ___MATH_BLOCK_35___<p>For x=2 :</p> ___MATH_BLOCK_36___<p>Either way, the integral is now routine:</p> ___MATH_BLOCK_37___</details></div><div class="example"><p>Evaluate \displaystyle\int \frac{dx}{a^2 - x^2} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > S i n c e a^{2}-x^{2}=(a-x)(a+x) , both factors are unrepeated linear. We write</p> ___MATH_BLOCK_38___<p>The numerators must agree:</p> ___MATH_BLOCK_39___<p>Substituting x=a a n d x=-a in turn gives</p> ___MATH_BLOCK_40___<p>Therefore</p> ___MATH_BLOCK_41___</details></div><p>This result arises often enough in applications that we record it as a standard formula.</p> <div class="highlight"><p><strong>Formula 1.</strong></p> ___MATH_BLOCK_42___</div><p>The same reasoning applied to u^{2}-a^{2}=(u-a)(u+a) yields the companion result.</p> <div class="highlight"><p><strong>Formula 2.</strong></p> ___MATH_BLOCK_43___</div><div class="example"><p>Evaluate \displaystyle\int \frac{x + 4}{x^2(x^2 + 2x + 2)}\, dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > T h e d e n o m i n a t o r h a s a r e p e a t e d l i n e a r f a c t o r x^{2}$ and the quadratic $x^{2}+2x+2$, whose discriminant $4-8=-4 is negative, confirming it is irreducible. Following the rules for each factor type, the decomposition takes the form</p> ___MATH_BLOCK_44___<p>Clearing denominators gives the identity</p> ___MATH_BLOCK_45___<p>Because the roots include a repeated factor and a complex pair, substitution alone will not deliver every constant, so we combine both techniques.</p> <p>Setting x=0 in (a):</p> ___MATH_BLOCK_46___<p>To find the remaining coefficients, we substitute two additional values of x a n d a l s o e q u a t e t h e l e a d i n g c o e f f i c i e n t . < / p >< p > S e t t i n g x=1 in (a):</p> ___MATH_BLOCK_47___<p>Setting x=-1 in (a):</p> ___MATH_BLOCK_48___<p>Equating coefficients of x^{3} on both sides of (a) (the left side contributes nothing, so the right side must sum to zero):</p> ___MATH_BLOCK_49___<p>Solving (b), (c), and (d) with B=2 gives</p> ___MATH_BLOCK_50___<p>Substituting back, we split the quadratic term by noting x^{2}+2x+2=(x+1)^{2}+1$ and rewriting the numerator as $\tfrac{3}{2}x+1=\tfrac{3}{4}(2x+2)-\tfrac{1}{2} :</p> ___MATH_BLOCK_51___</details></div><div class="example"><p>Evaluate \displaystyle\int \frac{2x^3 + 3x^2 + 5x + 3}{(x^2 + 1)^2}\, dx .</p> <details><summary>Solution</summary><p>The denominator is a repeated irreducible quadratic, so the decomposition uses linear numerators over each power:</p> ___MATH_BLOCK_52___<p>Expanding the numerator on the right and matching coefficients of like powers of x :</p> ___MATH_BLOCK_53___<p>which gives</p> ___MATH_BLOCK_54___<p>Therefore</p> ___MATH_BLOCK_55___<p>where C$ is the constant of integration. For $\displaystyle\int \frac{3x}{(x^2+1)^2}\,dx$, we use the substitution $u=x^{2}+1 , s o du=2x\,dx , and the integral becomes</p> ___MATH_BLOCK_56___</details></div><p><span id="sec-general-quadratic-term"></span></p> <h2>Handling the General Quadratic Term</h2> <p>In the last example, the coefficient D turned out to be zero, which simplified the computation. In general, we may face an integral of the form</p> ___MATH_BLOCK_57___<p>We handle it by splitting the numerator into two parts: a multiple of the derivative of ax^{2}+bx+c$ (which is $2ax+b ) plus a constant. Specifically, we write</p> ___MATH_BLOCK_58___<p>The integral then separates into</p> ___MATH_BLOCK_59___<p>The first integral is handled by the power rule (or logarithm when n=1 ), since the numerator is exactly the derivative of the base. The second requires more work. We now show how to evaluate</p> ___MATH_BLOCK_60___<p><strong>Step 1: Complete the square.</strong> Write</p> ___MATH_BLOCK_61___<p>Since b^{2}-4ac<0$, the quantity $\dfrac{4ac-b^{2}}{4a^{2}} is strictly positive. Set</p> ___MATH_BLOCK_62___<p>so that du=dx and the integral becomes</p> ___MATH_BLOCK_63___<p><strong>Step 2: Trigonometric substitution.</strong> Set u=k\tan\theta , s o du=k\sec^{2}\theta\,d\theta a n d u^{2}+k^{2}=k^{2}\sec^{2}\theta . Then</p> ___MATH_BLOCK_64___<p>For n=1 this reduces to</p> ___MATH_BLOCK_65___<p>which is the familiar arctangent formula. For n\geq2$, the integral of $\cos^{2n-2}\theta i s e v a l u a t e d b y t h e e v e n p o w e r m e t h o d o f S e c t i o n 6.1 . < / p >< d i v c l a s s = " e x a m p l e " >< p > E v a l u a t e \displaystyle\int \frac{dx}{(x^2+1)^2} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > H e r e a=1 , b=0 , c=1 , k=1$, and the square is already complete. We set $x=\tan\theta , s o dx=\sec^{2}\theta\,d\theta a n d x^{2}+1=\sec^{2}\theta :</p> ___MATH_BLOCK_66___<p>Using the identity \cos^{2}\theta=\tfrac{1}{2}(1+\cos2\theta) :</p> ___MATH_BLOCK_67___<p>Now convert back to x$. Since $x=\tan\theta$, we have $\theta=\arctan x$, and from the right triangle with opposite side $x$ and adjacent side $1$, hypotenuse $\sqrt{x^{2}+1} :</p> ___MATH_BLOCK_68___<p>Therefore</p> ___MATH_BLOCK_69___</details></div><p><span id="sec-theoretical-foundations"></span></p> <h2>Theoretical Foundations (Optional)</h2> <p>For students who want to understand the rigorous foundations of this method, we present the proofs of our factorization and decomposition theorems here. The proofs of the following two lemmas are adapted from William F. Osgood, <em>Advanced Calculus</em> (1925).</p> <p><span id="sec-linear-factor-lemma"></span></p> <h3>The Linear Factor Lemma</h3> <div class="lemma" id="lemma-linear-factor" data-title="Linear Factor Lemma"><p>Let P(x)/Q(x)$ be a proper rational function in lowest terms. Suppose $(x-a)$ appears exactly $m$ times in $Q(x)$, so that $Q(x)=(x-a)^{m}S(x)$ where $S(a)\neq0 . Then</p> ___MATH_BLOCK_70___<p>where A=P(a)/S(a)\neq0 , a n d t h e r e m a i n i n g t e r m i s a p r o p e r r a t i o n a l f u n c t i o n . < / p >< d e t a i l s >< s u m m a r y > P r o o f < / s u m m a r y >< p > L e t A$ be any constant and subtract $A/(x-a)^{m}$ from $P(x)/Q(x) :</p> ___MATH_BLOCK_71___<p>For a factor of (x-a)$ to cancel, $x=a must be a root of the new numerator:</p> ___MATH_BLOCK_72___<p>Because S(a)\neq0$, this division is valid. Write $A_m=P(a)/S(a)$. Since the original fraction is in lowest terms, $P(a)\neq0$ (otherwise $(x-a)$ would be a common factor of $P a n d Q$), which ensures $A_m\neq0$. After canceling the factor of $(x-a) , we obtain</p> ___MATH_BLOCK_73___<p>where K_1(x)=[P(x)-A_m S(x)]/(x-a) i s a p o l y n o m i a l . T h i s r e m a i n i n g f r a c t i o n i s p r o p e r . < / p >< / d e t a i l s >< / d i v >< p >< s t r o n g > R e m a r k ( i t e r a t i n g t h e L e m m a ) . < / s t r o n g > T h e L e m m a c a n b e a p p l i e d a g a i n t o t h e r e m a i n i n g f r a c t i o n K_1(x)/[(x-a)^{m-1}S(x)]$, which has exactly the same form with $m$ replaced by $m-1$. Setting $x=a$ shows $K_1(a)/S(a)$ is well-defined and nonzero; call it $A_{m-1}$. Subtracting $A_{m-1}/(x-a)^{m-1}$ and canceling $(x-a) from the numerator gives</p> ___MATH_BLOCK_74___<p>where K_2(x)=[K_1(x)-A_{m-1}S(x)]/(x-a)$ is again a polynomial and the fraction is again proper. Repeating the Lemma $m$ times in total, one step per power of $(x-a)$, extracts each constant $A_m,A_{m-1},\ldots,A_1$ in succession and exhausts the factor $(x-a)^{m} c o m p l e t e l y . < / p >< p >< s p a n i d = " s e c q u a d r a t i c f a c t o r l e m m a " >< / s p a n >< / p >< h 3 > T h e Q u a d r a t i c F a c t o r L e m m a < / h 3 >< d i v c l a s s = " l e m m a " i d = " l e m m a q u a d r a t i c f a c t o r " d a t a t i t l e = " Q u a d r a t i c F a c t o r L e m m a " >< p > L e t P(x)/Q(x)$ be a proper rational function in lowest terms. Suppose $x^{2}+px+q$ (where $p^{2}-4q<0$) appears exactly $m$ times in $Q(x)$, so that $Q(x)=(x^{2}+px+q)^{m}S(x)$ where $S(x)$ is not divisible by $x^{2}+px+q . Then</p> ___MATH_BLOCK_75___<p>where A a n d B are not both zero, and the remaining term is proper.</p> <details><summary>Proof</summary><p>We subtract the proposed term and find a common denominator:</p> ___MATH_BLOCK_76___<p>For a factor of (x^{2}+px+q)$ to cancel from the numerator, $P(x)-(Ax+B)S(x)$ must be divisible by $(x^{2}+px+q)$. To find $A a n d B$ that make this happen, we divide $P(x) a n d S(x)$ by the quadratic and record the remainders (each remainder has degree at most $1$, since the divisor has degree $2 ):</p> ___MATH_BLOCK_77______MATH_BLOCK_78___<p>Substituting these expressions into P(x)-(Ax+B)S(x) :</p> ___MATH_BLOCK_79___<p>Collecting terms that are multiples of (x^{2}+px+q) versus those that are not:</p> ___MATH_BLOCK_80___<p>For the above expression to be divisible by x^{2}+px+q , it is necessary and sufficient that</p> ___MATH_BLOCK_81___<p>be divisible by x^{2}+px+q$. Expanding $(Ax+B)(\lambda x+\mu) and rearranging:</p> ___MATH_BLOCK_82___<p>Now let us divide this polynomial by x^{2}+px+q$ and require the remainder to vanish. Performing the division: the leading term $-A\lambda x^{2}$ is absorbed by $-A\lambda$ times $x^{2}+px+q , leaving</p> ___MATH_BLOCK_83___<p>Expanding (-A\lambda)(x^{2}+px+q)=-A\lambda x^{2}-pA\lambda x-qA\lambda and subtracting:</p> ___MATH_BLOCK_84___<p>This linear expression is the remainder. For (x^{2}+px+q) to divide our polynomial, both its coefficients must be zero:</p> ___MATH_BLOCK_85___<p>and if we write it in matrix form:</p> ___MATH_BLOCK_86___<p>We have two linear equations to determine A a n d B$. Since $L a n d M$ cannot both be zero, the equations are non-homogeneous. We claim that $A a n d B are uniquely determined, because the determinant of the matrix of coefficients is not zero; that is,</p> ___MATH_BLOCK_87___<p>is not zero. To show that this expression is not zero, first recall that \lambda a n d \mu$ are not both zero: if they were, $S(x)$ would be divisible by $x^{2}+px+q , c o n t r a d i c t i n g o u r a s s u m p t i o n . < / p >< p > I f \lambda\neq0$, factor out $\lambda^{2} :</p> ___MATH_BLOCK_88___<p>The expression in brackets is x^{2}+px+q$ evaluated at $x=-\mu/\lambda$. Since $x^{2}+px+q$ is irreducible (its discriminant $p^{2}-4q i s n e g a t i v e ) , i t h a s n o r e a l r o o t s , s o t h e b r a c k e t i s n o n z e r o . T h u s t h e d e t e r m i n a n t i s n o n z e r o . < / p >< p > I f \lambda=0$, then $\mu\neq0$, and the determinant reduces to $\mu^{2}>0 , w h i c h i s a l s o n o n z e r o . < / p >< p > I n b o t h c a s e s t h e d e t e r m i n a n t i s n o n z e r o , s o t h e s y s t e m h a s a u n i q u e s o l u t i o n f o r A a n d B . < / p >< p >< s t r o n g > W h y A a n d B a r e n o t b o t h z e r o . < / s t r o n g > S u p p o s e f o r c o n t r a d i c t i o n t h a t A=0 a n d B=0$. Equations (i) and (ii) then reduce to $L=0 a n d M=0 . B u t L a n d M$ are the coefficients of the remainder when $P(x)$ is divided by $x^{2}+px+q$. A zero remainder means $P(x)$ is exactly divisible by $x^{2}+px+q$. That makes $x^{2}+px+q$ a common factor of $P(x) a n d Q(x)$, contradicting the assumption that $P(x)/Q(x)$ is in lowest terms. So $A a n d B c a n n o t b o t h b e z e r o . < / p >< / d e t a i l s >< / d i v >< p >< s p a n i d = " s e c e x e r c i s e s " >< / s p a n >< / p >< h 2 > E x e r c i s e s < / h 2 >< p > A l l t h e t e c h n i q u e s o f t h i s c h a p t e r a r e a v a i l a b l e h e r e : s u b s t i t u t i o n , i n v e r s e s u b s t i t u t i o n , t h e t r i g o n o m e t r i c i n t e g r a l s o f S e c t i o n 6.1 , i n t e g r a t i o n b y p a r t s , t r i g o n o m e t r i c a n d h y p e r b o l i c s u b s t i t u t i o n , a n d p a r t i a l f r a c t i o n s . < / p >< d i v c l a s s = " x c a " >< p > E x p r e s s \dfrac{-3x^{2}-2x+3}{x^{3}+x^{2}} i n p a r t i a l f r a c t i o n s a n d t h e n i n t e g r a t e . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > F i r s t , w e f a c t o r t h e d e n o m i n a t o r : x^{3}+x^{2}=x^{2}(x+1)$. The factor $x$ is repeated twice. This means we need terms for both $x a n d x^{2} :</p> ___MATH_BLOCK_89___<p>Multiply through by x^{2}(x+1) :</p> ___MATH_BLOCK_90___<p><strong>Choose x=0 :</strong></p> ___MATH_BLOCK_91___<p><strong>Choose x=-1 :</strong></p> ___MATH_BLOCK_92___<p><strong>Compare the coefficients of x^{2} :< / s t r o n g > T h e c o e f f i c i e n t o f x^{2}$ on the left side is $-3$. On the right side, the $x^{2}$ terms come from $Ax^{2} a n d Cx^{2} . This gives</p> ___MATH_BLOCK_93___<p>Since we already know C=2 :</p> ___MATH_BLOCK_94___<p>The decomposition is</p> ___MATH_BLOCK_95___<p>Now we can easily integrate the right-hand side. So</p> ___MATH_BLOCK_96___</details></div><div class="xca"><p>Express \dfrac{x+3}{(x-1)^{2}(x+2)} i n p a r t i a l f r a c t i o n s , t h e n i n t e g r a t e . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > T h e f a c t o r (x-1) is repeated twice:</p> ___MATH_BLOCK_97___<p>Multiply through by the denominator:</p> ___MATH_BLOCK_98___<p><strong>Choose x=1 :</strong></p> ___MATH_BLOCK_99___<p><strong>Choose x=-2 :</strong></p> ___MATH_BLOCK_100___<p><strong>Choose x=0 < / s t r o n g > ( w i t h B=4/3 a n d C=1/9 ):</p> ___MATH_BLOCK_101______MATH_BLOCK_102______MATH_BLOCK_103___<p>Our decomposition is</p> ___MATH_BLOCK_104___<p>Now we integrate:</p> ___MATH_BLOCK_105___</details></div><div class="xca"><p>Express \dfrac{x^{2}+1}{x(x-1)^{2}} in partial fractions.</p> <details><summary>Solution</summary><p>We write the form of the decomposition:</p> ___MATH_BLOCK_106___<p>Multiply through:</p> ___MATH_BLOCK_107___<p><strong>Choose x=0 :</strong></p> ___MATH_BLOCK_108___<p><strong>Choose x=1 :</strong></p> ___MATH_BLOCK_109___<p><strong>Compare the coefficients of x^{2} :< / s t r o n g > T h e l e f t s i d e h a s 1x^{2}$. The right side has $Ax^{2}+Bx^{2} :</p> ___MATH_BLOCK_110___<p>Since A=1 , we find</p> ___MATH_BLOCK_111___<p>Therefore, the 1/(x-1) term has a coefficient of zero:</p> ___MATH_BLOCK_112___</details></div><div class="xca"><p>Express \dfrac{3x-1}{(x+2)^{3}} i n p a r t i a l f r a c t i o n s . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > T h e l i n e a r f a c t o r (x+2) is repeated three times:</p> ___MATH_BLOCK_113___<p>Multiply through:</p> ___MATH_BLOCK_114___<p><strong>Choose x=-2 :</strong></p> ___MATH_BLOCK_115___<p><strong>Compare the coefficients of x^{2} :< / s t r o n g > T h e l e f t s i d e h a s n o x^{2}$ term, so its coefficient is $0$. The right side has $Ax^{2} :</p> ___MATH_BLOCK_116___<p><strong>Compare the coefficients of x :< / s t r o n g > T h e l e f t s i d e h a s 3x$. The right side has $2Ax+Bx$, but we already know $A=0 :</p> ___MATH_BLOCK_117___<p>Our decomposition is</p> ___MATH_BLOCK_118___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{2x+1}{(x^{2}+2x+5)^{2}}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > F i r s t , w e c o m p l e t e t h e s q u a r e : x^{2}+2x+5=(x+1)^{2}+4$. We substitute $t=x+1 , s o dx=dt . The numerator becomes</p> ___MATH_BLOCK_119___<p>and the integral splits into two pieces:</p> ___MATH_BLOCK_120___<p><strong>First piece.</strong> Set u=t^{2}+4 , s o du=2t\,dt :</p> ___MATH_BLOCK_121___<p><strong>Second piece.</strong> We need \displaystyle I=\int\frac{dt}{(t^{2}+4)^{2}}$. We substitute $t=2\tan\theta , s o dt=2\sec^{2}\theta\,d\theta . Then</p> ___MATH_BLOCK_122___<p>and therefore (t^{2}+4)^{2}=16\sec^{4}\theta . The integral becomes</p> ___MATH_BLOCK_123___<p>We use the identity \cos^{2}\theta=\dfrac{1+\cos2\theta}{2} :</p> ___MATH_BLOCK_124___<p>We use the double-angle identity \sin2\theta=2\sin\theta\cos\theta :</p> ___MATH_BLOCK_125___<p>Now we return to t$. Since $t=2\tan\theta$, we have $\tan\theta=t/2 , s o \theta=\arctan(t/2)$. We read $\sin\theta a n d \cos\theta$ from a right triangle with opposite side $t$, adjacent side $2$, and hypotenuse $\sqrt{t^{2}+4} :</p> ___MATH_BLOCK_126___<p>Therefore</p> ___MATH_BLOCK_127___<p>Substituting back:</p> ___MATH_BLOCK_128___<p><strong>Combining both pieces</strong> and substituting t=x+1 :</p> ___MATH_BLOCK_129___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{dx}{x^{2}-4} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > A p p l y F o r m u l a 2 w i t h a=2$, or decompose directly. Writing $\dfrac{1}{(x-2)(x+2)}=\dfrac{A}{x-2}+\dfrac{B}{x+2}$ gives $1=A(x+2)+B(x-2)$. Setting $x=2$ gives $A=\frac{1}{4}$, and setting $x=-2$ gives $B=-\frac{1}{4} . Therefore</p> ___MATH_BLOCK_130___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{dx}{x^{2}-5x+6} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > F a c t o r : x^{2}-5x+6=(x-2)(x-3)$. Then $1=A(x-3)+B(x-2)$. Setting $x=3$ gives $B=1$; setting $x=2$ gives $A=-1 . Therefore</p> ___MATH_BLOCK_131___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{5x-2}{x^{2}-4}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > W r i t e \dfrac{5x-2}{(x-2)(x+2)}=\dfrac{A}{x-2}+\dfrac{B}{x+2} , s o 5x-2=A(x+2)+B(x-2) . < / p >< p > S e t t i n g x=2 : 8=4A , s o A=2$. Setting $x=-2 : -12=-4B , s o B=3 . Therefore</p> ___MATH_BLOCK_132___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{x+1}{x^{2}-x-6}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > F a c t o r t h e d e n o m i n a t o r : x^{2}-x-6=(x-3)(x+2)$. Then $x+1=A(x+2)+B(x-3) . < / p >< p > S e t t i n g x=3 : 4=5A , s o A=\frac{4}{5}$. Setting $x=-2 : -1=-5B , s o B=\frac{1}{5} . Therefore</p> ___MATH_BLOCK_133___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{dx}{x(x+1)} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > H e r e 1=A(x+1)+Bx$. Setting $x=0$ gives $A=1$; setting $x=-1$ gives $B=-1 . Therefore</p> ___MATH_BLOCK_134___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{dx}{x^{2}(x+1)} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > T h e f a c t o r x is repeated, so</p> ___MATH_BLOCK_135______MATH_BLOCK_136___<p>Setting x=0$ gives $B=1$. Setting $x=-1$ gives $C=1$. Comparing coefficients of $x^{2} : 0=A+C , s o A=-1 . Therefore</p> ___MATH_BLOCK_137___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{dx}{x^{3}-x} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > F a c t o r : x^{3}-x=x(x-1)(x+1) , three distinct linear factors. Then</p> ___MATH_BLOCK_138___<p>Setting x=0 : -A=1 , s o A=-1$. Setting $x=1 : 2B=1 , s o B=\frac{1}{2}$. Setting $x=-1 : 2C=1 , s o C=\frac{1}{2} . Therefore</p> ___MATH_BLOCK_139___<p>Equivalently, \dfrac{1}{2}\ln\left|\dfrac{x^{2}-1}{x^{2}}\right|+C . < / p >< / d e t a i l s >< / d i v >< d i v c l a s s = " x c a " >< p > E v a l u a t e \displaystyle\int\frac{x^{2}+2}{(x+1)^{3}}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > R a t h e r t h a n s e t t i n g u p t h r e e u n k n o w n s , s u b s t i t u t e u=x+1 , s o x=u-1 a n d x^{2}+2=(u-1)^{2}+2=u^{2}-2u+3 . Then</p> ___MATH_BLOCK_140___<p>This shift is worth remembering: when the denominator is a single repeated linear factor, the substitution u=x+a p r o d u c e s t h e d e c o m p o s i t i o n i m m e d i a t e l y . < / p >< / d e t a i l s >< / d i v >< d i v c l a s s = " x c a " >< p > E v a l u a t e \displaystyle\int\frac{x^{2}+x+1}{x(x^{2}+1)}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > T h e f a c t o r x^{2}+1 is an irreducible quadratic, so</p> ___MATH_BLOCK_141______MATH_BLOCK_142___<p>Setting x=0$ gives $A=1$. Comparing coefficients of $x^{2} : 1=A+B , s o B=0$. Comparing coefficients of $x : 1=C . Therefore</p> ___MATH_BLOCK_143___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{2x^{2}-x+4}{x^{3}+4x}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > F a c t o r : x^{3}+4x=x(x^{2}+4) , a n d x^{2}+4 is irreducible. So</p> ___MATH_BLOCK_144______MATH_BLOCK_145___<p>Setting x=0 : 4A=4 , s o A=1$. Comparing $x^{2}$ coefficients: $2=A+B , s o B=1$. Comparing $x$ coefficients: $-1=C . Therefore</p> ___MATH_BLOCK_146___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{dx}{(x+1)(x^{2}+1)} .</p> <details><summary>Solution</summary><p>Write</p> ___MATH_BLOCK_147______MATH_BLOCK_148___<p>Setting x=-1 : 2A=1 , s o A=\frac{1}{2}$. Comparing $x^{2}$ coefficients: $0=A+B , s o B=-\frac{1}{2}$. Comparing constants: $1=A+C , s o C=\frac{1}{2} . Therefore</p> ___MATH_BLOCK_149___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{x^{4}}{x^{2}-1}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > T h e f r a c t i o n i s i m p r o p e r , s o d i v i d e f i r s t . S i n c e (x^{2}+1)(x^{2}-1)=x^{4}-1$, we have $x^{4}=(x^{2}+1)(x^{2}-1)+1 , and therefore</p> ___MATH_BLOCK_150___<p>Using Formula 2 with a=1 for the last term,</p> ___MATH_BLOCK_151___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{x^{3}+x+2}{x^{2}+2}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > I m p r o p e r a g a i n . D i v i d e : x^{3}+x+2=x(x^{2}+2)+(-x+2) , so</p> ___MATH_BLOCK_152___<p>Therefore</p> ___MATH_BLOCK_153___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{dx}{x(x^{2}+1)^{2}} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > T h e q u a d r a t i c x^{2}+1 is irreducible and repeated, so the decomposition needs both powers:</p> ___MATH_BLOCK_154______MATH_BLOCK_155___<p>Setting x=0$ gives $A=1 . Expanding the right side,</p> ___MATH_BLOCK_156___<p>Comparing coefficients: x^{4} : A+B=0 , s o B=-1 . x^{3} : C=0 . x^{2} : 2A+B+D=0 , s o D=-1 . x : C+E=0 , s o E=0 . Therefore</p> ___MATH_BLOCK_157___<p>where both of the last two integrals were evaluated with the substitution u=x^{2}+1 . < / p >< / d e t a i l s >< / d i v >< d i v c l a s s = " x c a " >< p > E v a l u a t e \displaystyle\int\frac{dx}{x^{4}-1} . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > F a c t o r : x^{4}-1=(x-1)(x+1)(x^{2}+1)$, where $x^{2}+1 is irreducible. So</p> ___MATH_BLOCK_158______MATH_BLOCK_159___<p>Setting x=1 : 4A=1 , s o A=\frac{1}{4}$. Setting $x=-1 : -4B=1 , s o B=-\frac{1}{4}$. Comparing $x^{3}$ coefficients: $A+B+C=0 , s o C=0$. Comparing constants: $A-B-D=1 , s o \frac{1}{4}+\frac{1}{4}-D=1 a n d D=-\frac{1}{2} . Therefore</p> ___MATH_BLOCK_160___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{e^{x}}{e^{2x}-1}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > A s u b s t i t u t i o n t u r n s t h i s i n t o a r a t i o n a l i n t e g r a l . L e t u=e^{x} , s o du=e^{x}\,dx a n d e^{2x}=u^{2} :</p> ___MATH_BLOCK_161___<p>By Formula 2 with a=1 ,</p> ___MATH_BLOCK_162___<p>so</p> ___MATH_BLOCK_163___</details></div><div class="xca"><p>Evaluate \displaystyle\int\frac{\cos x}{\sin^{2}x+\sin x-2}\,dx . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > L e t u=\sin x , s o du=\cos x\,dx :</p> ___MATH_BLOCK_164___<p>Now 1=A(u-1)+B(u+2)$. Setting $u=1 : 3B=1 , s o B=\frac{1}{3}$. Setting $u=-2 : -3A=1 , s o A=-\frac{1}{3} . Therefore</p> ___MATH_BLOCK_165___<p>and so</p> ___MATH_BLOCK_166___</details></div><div class="xca"><p>The logistic growth model leads to the integral \displaystyle\int\frac{dP}{P(K-P)}$, where $K>0$ is the carrying capacity and $0<P<K . E v a l u a t e i t . < / p >< d e t a i l s >< s u m m a r y > S o l u t i o n < / s u m m a r y >< p > D e c o m p o s e : \dfrac{1}{P(K-P)}=\dfrac{A}{P}+\dfrac{B}{K-P} , s o 1=A(K-P)+BP . < / p >< p > S e t t i n g P=0 : AK=1 , s o A=\frac{1}{K}$. Setting $P=K : BK=1 , s o B=\frac{1}{K} . Therefore</p> ___MATH_BLOCK_167___<p>The absolute values are unnecessary here because 0 a n d K-P$ positive. Solving this relation for $P is what produces the familiar S-shaped logistic curve.</p> </details></div><div class="xca"><p>Verify the decomposition used at the beginning of this section:</p> ___MATH_BLOCK_168___<details><summary>Solution</summary><p>First factor the denominator. Clearly x is a factor:</p> ___MATH_BLOCK_169___<p>Testing x=-1$ in the cubic gives $-1+5-17+13=0 , s o (x+1) is a factor by the Factor Theorem. Dividing,</p> ___MATH_BLOCK_170___<p>The quadratic x^{2}+4x+13$ has discriminant $16-52=-36<0 , so it is irreducible. The decomposition therefore has the form</p> ___MATH_BLOCK_171______MATH_BLOCK_172___<p>Setting x=0 : 26=13A , s o A=2$. Setting $x=-1 : -3+11-44+26=-10$ on the left, and on the right $B(-1)(1-4+13)=-10B , s o B=1$. Comparing coefficients of $x^{3} : 3=A+B+C=2+1+C , s o C=0$. Comparing constants we have already used $x=0$; instead compare coefficients of $x^{2}$: on the right, $A(4+1)+B(4)+D=5A+4B+D$, which must equal $11$, giving $10+4+D=11 a n d D=-3 .</p> <p>Hence the decomposition is</p> ___MATH_BLOCK_173___<p>as claimed. Completing the square, x^{2}+4x+13=(x+2)^{2}+9$, gives the integral quoted earlier:

2 ln | x | + ln | x + 1 | arctan x + 2 3 + C .