lesson

Unit 2 - Integration Methods as Structural Rewriting · AP

Partial Fractions and Algebraic Decomposition

Decompose a proper rational function into simpler fractions and verify the algebra before integrating.

Overview

Central question: Why split a rational expression before integrating? You will turn one complicated rational function into a sum of simple fractions, solve for the unknown coefficients by an identity, and verify the decomposition before taking any antiderivatives. The method is algebra first, calculus second.

Consider

∫3x+5(x−1)(x+2) dx.\int\frac{3x+5}{(x-1)(x+2)}\,dx.

The denominator factors into two distinct linear factors, while the numerator has lower degree than the denominator. That makes the fraction proper and identifies the decomposition template. Before computing, predict the two simple denominators that must appear in the final sum.

Build the template from the factors

For distinct linear factors (x−1)(x+2)(x-1)(x+2), write

3x+5(x−1)(x+2)=Ax−1+Bx+2.\frac{3x+5}{(x-1)(x+2)} =\frac{A}{x-1}+\frac{B}{x+2}.

The symbols AA and BB are constants, not functions of xx. Multiplying every term by the common denominator produces an identity:

3x+5=A(x+2)+B(x−1).3x+5=A(x+2)+B(x-1).

This equation must be true for every xx except the original excluded values. Convenient choices make one term vanish. At x=1x=1, 8=3A8=3A, so A=83A=\frac83. At x=−2x=-2, −1=−3B-1=-3B, so B=13B=\frac13.

L5-V01 - Factorization to components. Place it beside the template. It is a static decomposition diagram showing the factored denominator branching into Ax−1\frac{A}{x-1}x−1A​ and Bx+2\frac{B}{x+2}x+2B​, followed by a line labeled “clear denominators to make an identity.” Alt text: “Two distinct linear denominator factors require two constant-numerator partial fractions.”Two distinct linear denominator factors require two constant-numerator partial fractions.
L5-V01 - Factorization to components. Place it beside the template. It is a static decomposition diagram showing the factored denominator branching into Ax−1\frac{A}{x-1}x−1A​ and Bx+2\frac{B}{x+2}x+2B​, followed by a line labeled “clear denominators to make an identity.” Alt text: “Two distinct linear denominator factors require two constant-numerator partial fractions.”

The integral is now a sum of logarithmic forms:

∫3x+5(x−1)(x+2) dx=83ln⁡∣x−1∣+13ln⁡∣x+2∣+C.\int\frac{3x+5}{(x-1)(x+2)}\,dx =\frac83\ln|x-1|+\frac13\ln|x+2|+C.

Absolute values matter because an antiderivative is valid on any interval that avoids the excluded values x=1x=1 and x=−2x=-2. The original rational function is not defined at those points, so one expression cannot describe a differentiable antiderivative across them.

Verify the algebra before the calculus

Substitute the solved coefficients back into the right side:

83x−1+13x+2=8(x+2)+(x−1)3(x−1)(x+2)=3x+5(x−1)(x+2).\frac{\frac83}{x-1}+\frac{\frac13}{x+2} =\frac{8(x+2)+(x-1)}{3(x-1)(x+2)} =\frac{3x+5}{(x-1)(x+2)}.

This check is short and catches the most common error: solving the coefficient equations incorrectly and then integrating a wrong decomposition flawlessly. Differentiating the final logarithmic answer supplies a second, independent check.

L5-V02 - Identity check. Place it after the verification. It is a static before-and-after algebra strip that combines the two solved fractions over the common denominator and recovers 3x+53x+53x+5The two partial fractions recombine to the original rational function, verifying the coefficients before integration.
L5-V02 - Identity check. Place it after the verification. It is a static before-and-after algebra strip that combines the two solved fractions over the common denominator and recovers 3x+53x+53x+5

Conditions before decomposition

If the numerator degree is at least the denominator degree, perform polynomial division first. For example, x2+1x−1\frac{x^2+1}{x-1} is not a proper rational function, so the template above is not the first move. Division gives x+1+2x−1x+1+\frac2{x-1}, which is immediately integrable.

If a denominator does not factor over the reals, its numerator in the decomposition must be linear rather than constant. Repeated factors require a term for every power. Those cases are not exceptions to memorize; they are consequences of giving the decomposition enough adjustable coefficients to reproduce every possible numerator.

L5-V03 - Template conditions. Place it beside this discussion. It is a static decision table with rows for “distinct linear,” “repeated linear,” and “irreducible quadratic” factors, showing the numerator form required for eachThe factor type determines whether the partial-fraction numerator is a constant or a linear expression and whether repeated powers receive separate terms.
L5-V03 - Template conditions. Place it beside this discussion. It is a static decision table with rows for “distinct linear,” “repeated linear,” and “irreducible quadratic” factors, showing the numerator form required for each

Solve coefficients by comparing structure

Plugging in roots of denominator factors is efficient, but it is not the only legitimate coefficient method. Expand the identity

3x+5=A(x+2)+B(x−1)3x+5=A(x+2)+B(x-1)

to obtain

3x+5=(A+B)x+(2A−B).3x+5=(A+B)x+(2A-B).

Matching coefficients of equal powers of xx gives the linear system A+B=3A+B=3 and 2A−B=52A-B=5. Solving produces A=83A=\frac83 and B=13B=\frac13, the same values found by input substitution. This method remains available when no convenient input value isolates a coefficient, such as a decomposition involving an irreducible quadratic factor.

Coefficient comparison has a conceptual advantage: it explains why partial fractions are an identity problem. The left and right sides are polynomials that agree for every allowed input. Corresponding coefficients must agree. Test values are a shortcut for solving that identity, not a separate rule that works by magic.

Domain and logarithms

The factors (x−1)(x-1) and (x+2)(x+2) divide the real line into three intervals. On each interval, the original rational function is continuous and has an antiderivative. The absolute values in ln⁡∣x−1∣\ln|x-1| and ln⁡∣x+2∣\ln|x+2| allow one formula to differentiate correctly on each such interval, but they do not make the original function defined at x=1x=1 or x=−2x=-2.

When reporting a definite integral of a rational function, first check that the interval does not cross a denominator zero. If it does, the integral is improper and must be defined with limits; the logarithmic antiderivative alone does not authorize direct endpoint substitution across a vertical asymptote. This condition check connects algebraic decomposition to the limit reasoning developed later in the course.

A transfer setup

Set up, but do not solve, the decomposition of

x+4(x−2)(x2+1).\frac{x+4}{(x-2)(x^2+1)}.

The correct template is

Ax−2+Bx+Cx2+1.\frac{A}{x-2}+\frac{Bx+C}{x^2+1}.

The numerator Bx+CBx+C is linear because x2+1x^2+1 is an irreducible quadratic over the reals. A constant numerator would not give enough freedom to reproduce a general linear numerator after denominators are cleared. The next lesson develops this template logic for repeated factors and irreducible quadratics in full.

Stop and check

An incorrect decomposition is A(x−1)(x+2)+B(x−1)(x+2)\frac{A}{(x-1)(x+2)}+\frac{B}{(x-1)(x+2)}. It leaves the same difficult denominator in both terms and cannot represent two independently adjustable simple fractions. The misconception is seeing partial fractions as adding labels rather than splitting factor structure. The correction is to give each denominator factor its own fraction.

Retrieval check

Set up the decomposition for 5x−1(x+3)(x−4)\frac{5x-1}{(x+3)(x-4)}. Write the two unknown fractions, clear denominators, and select two input values that isolate the coefficients. Explain why x=−3x=-3 and x=4x=4 are useful choices.

The next lesson expands the template logic to repeated and irreducible factors, where omitting a necessary term makes the coefficient identity impossible to satisfy.

Knowledge Map

Where this lesson fits

Prerequisites

Unit 2 - Integration Techniques and VerificationTrigonometric Substitution

Next lessons

Unit 2 - Integration Techniques and VerificationTechnique Synthesis and Verification