Foundations to FrontierPart V: Calculus IIBezhig

Module 22: Partial fractions and a mixed integration strategy

8 exercises, each with a complete solution. 1 figure.

On this page
  1. A. Prerequisites and observable goals
  2. B. The central idea: decompose complexity into integrable pieces
  3. C. The algebraic template
  4. D. Why a linear numerator is needed over a quadratic
  5. E. A strategy hierarchy, not an infallible flowchart
  6. F. Worked examples
  7. G. Independent practice
  8. H. Complete solutions: Module 22
  9. I. Retention and readiness

A. Prerequisites and observable goals#

Before

Factoring, polynomial division, rational identities, logarithms, and previous integration methods.

After

Decompose rational functions including repeated and irreducible factors; select methods for an unlabeled integral; and preserve domain intervals in a primitive.

B. The central idea: decompose complexity into integrable pieces#

A rational function is a quotient of polynomials. Its denominator’s factorization suggests pieces with simpler antiderivatives. Partial fractions is an algebraic identity valid where the original denominator is nonzero; integration comes afterward. It is not legal to split a denominator additively, such as turning 1/(x+2)1/(x+2) into 1/x+1/21/x+1/2.

One fraction, two simple pieces. The black curve is 3/((x−1)(x+2))3/\bigl((x-1)(x+2)\bigr). Wherever the denominator is not zero it equals the sum of 1/(x−1)1/(x-1) (blue) and −1/(x+2)-1/(x+2) (orange), and each piece has an antiderivative you already know. Near each dashed line one piece dominates.

C. The algebraic template#

First perform polynomial division if the numerator degree is at least the denominator degree. For a proper rational remainder, include one constant numerator for every power of a linear factor and a general linear numerator for every power of an irreducible real quadratic:

A1x−a+A2(x−a)2+⋯ ;Bx+Cx2+px+q.\frac{A_1}{x-a}+\frac{A_2}{(x-a)^2}+\cdots; \qquad \frac{Bx+C}{x^2+px+q}.

The quadratic is irreducible over the reals when p2−4q<0p^2-4q<0. Repeated quadratic factors require a linear numerator for each power as well. Some coefficients may turn out zero, but they cannot be omitted before solving unless justified by symmetry or another valid argument.

Multiply by the common denominator, obtaining a polynomial identity. Match coefficients or use convenient inputs to determine constants. Substitution at an excluded input is allowed in the resulting polynomial identity; it does not make the original rational function defined there. Basic primitives include ln⁡∣x−a∣\ln|x-a|, powers (x−a)−k(x-a)^{-k}, and inverse tangents after completing a square. [O2PF]

D. Why a linear numerator is needed over a quadratic#

For ∫(Bx+C)/(x2+px+q) dx\int(Bx+C)/(x^2+px+q)\dd x, part of the numerator can match the denominator’s derivative 2x+p2x+p, yielding a logarithm. The remaining constant over a completed square yields an arctangent. A constant-only template could miss the logarithmic portion. This is algebraic flexibility, not a notation convention without consequences.

For example,

3x+5(x+1)(x+2)=2x+1+1x+2.\frac{3x+5}{(x+1)(x+2)}=\frac2{x+1}+\frac1{x+2}.

Multiplying out gives 2(x+2)+(x+1)=3x+52(x+2)+(x+1)=3x+5, verifying the identity on the original domain. Integrating yields 2ln⁡∣x+1∣+ln⁡∣x+2∣+C2\ln|x+1|+\ln|x+2|+C on any interval avoiding −1,−2-1,-2.

E. A strategy hierarchy, not an infallible flowchart#

Simplify algebra first. Look for a direct derivative pattern, then a short substitution. Products whose polynomial or logarithmic part simplifies under differentiation may invite parts. Trig products suggest identities; quadratic radicals may suggest trig substitution. Proper rational functions suggest partial fractions. After any transformation, reassess rather than committing blindly to the first choice.

Some elementary functions have no elementary antiderivative. That does not mean their definite integrals do not exist. Numerical approximation, a defined special function, or a series may be appropriate. A computer algebra output should be checked by differentiation, with intervals and branches still examined by you.

F. Worked examples#

Divide before decomposing. Since x2/(x+1)=x−1+1/(x+1)x^2/(x+1)=x-1+1/(x+1), its primitive is x2/2−x+ln⁡∣x+1∣+Cx^2/2-x+\ln|x+1|+C. A long partial-fraction system was unnecessary.

A repeated factor. To decompose (2x+1)/(x(x+1)2)(2x+1)/(x(x+1)^2), write A/x+B/(x+1)+C/(x+1)2A/x+B/(x+1)+C/(x+1)^2. Multiplying gives 2x+1=A(x+1)2+Bx(x+1)+Cx2x+1=A(x+1)^2+Bx(x+1)+Cx. Comparing constant, quadratic, and linear coefficients gives A=1A=1, B=−1B=-1, C=1C=1. Therefore the integral is

ln⁡∣x∣−ln⁡∣x+1∣−1x+1+C0.\ln|x|-\ln|x+1|-\frac1{x+1}+C_0.

The coefficient CC and arbitrary integration constant C0C_0 have different jobs.

G. Independent practice#

F foundation C standard course work T transfer S optional stretch L runnable lab or project. Attempt the complete set before opening its solutions.

M22.01FSolution

Evaluate ∫(3x+1)/[(x−1)(x+1)] dx\int (3x+1)/[(x-1)(x+1)]\dd x.

M22.02CSolution

Evaluate ∫ dx/[x(x+1)]\int\dd x/[x(x+1)].

M22.03CSolution

Evaluate ∫(x2+1)/(x−1) dx\int (x^2+1)/(x-1)\dd x.

M22.04TSolution

Evaluate ∫ dx/[x(x−1)2]\int\dd x/[x(x-1)^2].

M22.05TSolution

Evaluate ∫(2x+3)/(x2+4x+8) dx\int(2x+3)/(x^2+4x+8)\dd x.

M22.06TSolution

Evaluate ∫ dx/[x(x2+1)]\int\dd x/[x(x^2+1)] on a domain interval, using an appropriate irreducible-quadratic numerator.

M22.07CSolution

Without a method label, evaluate ∫01x/(1+x2) dx\int_0^1x/(1+x^2)\dd x and ∫01x/(1+x) dx\int_0^1x/(1+x)\dd x. Explain why your approaches differ.

M22.08SSolution

A student decomposes 1/(x2−1)1/(x^2-1) as 1/[2(x−1)]−1/[2(x+1)]1/[2(x-1)]-1/[2(x+1)] and uses one endpoint evaluation to assign a finite value to ∫02 dx/(x2−1)\int_0^2\dd x/(x^2-1). Identify the valid step and the invalid step; investigate each side of the singularity.

Optional small hints

For M22.04, include terms for both (x−1)−1(x-1)^{-1} and (x−1)−2(x-1)^{-2}. For M22.05, write the numerator as the derivative of the denominator plus a constant. For M22.08, the FTC cannot be applied across x=1x=1 as though the integrand were continuous.

H. Complete solutions: Module 22#

Compare the first step where your work differs. A corrected answer is not yet an independent success.

M22.01Show solution

Determine constants by a polynomial identity

Write A/(x−1)+B/(x+1)A/(x-1)+B/(x+1). Multiplication gives 3x+1=(A+B)x+(A−B)3x+1=(A+B)x+(A-B), so A+B=3A+B=3, A−B=1A-B=1. Thus A=2,B=1A=2,B=1, giving 2ln⁡∣x−1∣+ln⁡∣x+1∣+C\boxed{2\ln|x-1|+\ln|x+1|+C} on each interval avoiding ±1\pm1. Recombining the derivatives recovers the original rational function.

Back to M22.01
M22.02Show solution

A difference of logarithmic derivatives

The identity 1/[x(x+1)]=1/x−1/(x+1)1/[x(x+1)]=1/x-1/(x+1) follows by combining the right side. Integrating gives ln⁡∣x∣−ln⁡∣x+1∣+C\boxed{\ln|x|-\ln|x+1|+C}, valid separately on intervals avoiding 0,−10,-1. The logarithms can be combined as ln⁡∣x/(x+1)∣\ln|x/(x+1)|, but the original domain exclusions remain.

Back to M22.02
M22.03Show solution

Division handles the polynomial part

Polynomial division yields (x2+1)/(x−1)=x+1+2/(x−1)(x^2+1)/(x-1)=x+1+2/(x-1). Thus the primitive is x2/2+x+2ln⁡∣x−1∣+C\boxed{x^2/2+x+2\ln|x-1|+C}. Multiplying (x+1)(x−1)+2=x2+1(x+1)(x-1)+2=x^2+1 checks the division before integration.

Back to M22.03
M22.04Show solution

Do not omit the lower repeated power

Set 1/[x(x−1)2]=A/x+B/(x−1)+D/(x−1)21/[x(x-1)^2]=A/x+B/(x-1)+D/(x-1)^2. Multiplying gives 1=A(x−1)2+Bx(x−1)+Dx1=A(x-1)^2+Bx(x-1)+Dx. At x=0x=0, A=1A=1; at x=1x=1, D=1D=1; the quadratic coefficient gives B=−1B=-1. Hence

ln⁡∣x∣−ln⁡∣x−1∣−1x−1+C.\boxed{\ln|x|-\ln|x-1|-\frac1{x-1}+C}.

The last primitive has a minus sign because ∫(x−1)−2 dx=−(x−1)−1\int(x-1)^{-2}\dd x=-(x-1)^{-1}.

Back to M22.04
M22.05Show solution

Separate a logarithm from an inverse tangent

The denominator derivative is 2x+42x+4, so 2x+3=(2x+4)−12x+3=(2x+4)-1. Completing the square gives x2+4x+8=(x+2)2+4x^2+4x+8=(x+2)^2+4. Therefore

ln⁡(x2+4x+8)−12arctan⁡ ⁣(x+22)+C.\boxed{\ln(x^2+4x+8)-\frac12\arctan\!\left(\frac{x+2}{2}\right)+C}.

The denominator is always positive. The arctangent derivative contributes 1/[(x+2)2+4]1/[(x+2)^2+4] before its minus sign, checking the constant factor.

Back to M22.05
M22.06Show solution

An irreducible quadratic needs a linear numerator

Use A/x+(Bx+D)/(x2+1)A/x+(Bx+D)/(x^2+1). Multiplication gives 1=A(x2+1)+(Bx+D)x1=A(x^2+1)+(Bx+D)x, so A=1,B=−1,D=0A=1,B=-1,D=0. Integrate 1/x−x/(x2+1)1/x-x/(x^2+1):

ln⁡∣x∣−12ln⁡(x2+1)+C,x≠0.\boxed{\ln|x|-\tfrac12\ln(x^2+1)+C},\qquad x\ne0.

A constant-only numerator over x2+1x^2+1 could not represent the necessary −x-x term.

Back to M22.06
M22.07Show solution

Select the structure rather than the visual template

For the first, u=1+x2u=1+x^2 gives 12∫12 du/u=12ln⁡2\tfrac12\int_1^2\dd u/u=\boxed{\tfrac12\ln2}. For the second, divide: x/(1+x)=1−1/(1+x)x/(1+x)=1-1/(1+x). Its integral is [x−ln⁡(1+x)]01=1−ln⁡2[x-\ln(1+x)]_0^1=\boxed{1-\ln2}. In the first, the numerator matches the denominator derivative; in the second, polynomial division is the shorter transformation.

Back to M22.07
M22.08Show solution

A correct primitive does not authorize crossing a pole

The decomposition is correct for x≠±1x\ne\pm1, with primitive F(x)=12ln⁡∣x−1∣−12ln⁡∣x+1∣F(x)=\tfrac12\ln|x-1|-\tfrac12\ln|x+1|. But F(b)→−∞F(b)\to-\infty as b→1−b\to1^-, so ∫01\int_0^1 diverges to −∞-\infty. On the other side, F(2)−F(a)→+∞F(2)-F(a)\to+\infty as a→1+a\to1^+. The ordinary improper integral is therefore divergent; its definition requires each piece to converge independently. Canceling the two infinities is not permitted. A symmetrically coordinated principal value is a different object, not the integral requested.

Back to M22.08

I. Retention and readiness#

Return to M01.03, M20.07, and M17.04. Explain why a valid antiderivative on each side of a pole does not make a definite integral across the pole finite. Advance when you can choose among at least three integration methods on a mixed set and justify your choice before computing.