Integration using partial fractions: VCE Specialist Mathematics Units 3 & 4

Loav · VCE Specialist Mathematics · Units 3 & 4

S34-I03 · Recommended sequence: Unit 4

1. Decompose the algebra before integrating

A rational function is a quotient of polynomials. Its numerator and denominator may conceal a sum of simpler fractions whose antiderivatives are already known. Partial fractions reverse the familiar process of combining fractions over a common denominator. The aim is not a new integration formula for every quotient: it is an algebraic identity that turns one difficult-looking integral into several standard ones.

Start by recording the original domain and factorising the denominator over the real numbers as far as useful. A factor that cancels still leaves an excluded value in the original function. If the numerator’s degree is at least the denominator’s degree, divide first. Partial fractions are then applied to the proper remainder, whose numerator has smaller degree than its denominator.

For example, x²/(x² + 1) = 1 − 1/(x² + 1). The integral immediately becomes x − arctan x + C. Attempting only constant numerators over the original denominator would miss the polynomial part. Polynomial division is not optional algebraic decoration; it exposes the portion of the function that does not decay like a proper fraction.

2. The factor structure chooses the template

A distinct linear factor x − a needs a constant numerator A. A repeated factor (x − a)² needs both A/(x − a) and B/(x − a)². An irreducible real quadratic such as x² + 4 needs a linear numerator Bx + C. These templates give enough flexibility to reproduce the original numerator after multiplication by the denominator.

Distinct: A/(x − a) + B/(x − b).
Repeated: A/(x − a) + B/(x − a)².
Simple quadratic: (Bx + C)/(x² + px + q).

For a repeated factor of order three, include all three powers of that factor. Leaving out an intermediate power can make the coefficient equations inconsistent even though a valid decomposition exists. For an irreducible quadratic, a constant numerator alone is too restrictive unless the solved coefficient of x happens to be zero. Choose the complete template before solving.

Multiply the proposed identity by the common denominator, then compare coefficients of equal powers of x. Convenient substitutions at roots of linear factors often find some coefficients quickly. These substitutions are made in the polynomial identity after denominators have been cleared; they do not claim the original rational function is defined at a pole. Use coefficient comparison or additional safe x-values for the remaining unknowns.

Finally recombine the fractions. This check is separate from integrating them. A correct antiderivative of an incorrect decomposition is still wrong. Checking the algebra first also makes it easier to locate errors: a coefficient problem belongs to the decomposition, while a missing logarithmic factor belongs to the integration.

Worked example 1: Distinct linear factors

Find ∫(5x + 1)/[(x − 1)(x + 2)] dx. Set the integrand equal to A/(x − 1) + B/(x + 2). Clearing the denominator gives 5x + 1 = A(x + 2) + B(x − 1). At x = 1, 6 = 3A, so A = 2. At x = −2, −9 = −3B, so B = 3.

The identity is therefore 2/(x − 1) + 3/(x + 2). Integrating gives 2ln|x − 1| + 3ln|x + 2| + C on any interval avoiding −2 and 1. Recombining the derivative gives [2(x + 2) + 3(x − 1)]/[(x − 1)(x + 2)], whose numerator is exactly 5x + 1.

3. Integrate each fraction according to its power

Only a first power of a linear factor produces a logarithm. A term A/(x − a)² is A(x − a)⁻² and integrates to −A/(x − a). Treating every partial fraction as logarithmic is a common error. If the factor is ax + b, include the reverse chain-rule factor 1/a in either the logarithmic or power result.

A quadratic numerator can be split into a multiple of the denominator’s derivative and a constant remainder. The derivative part gives a logarithm. Complete the square in the remaining denominator to expose an arctangent form. For instance, 4x + 7 = 2(2x + 2) + 3 matches the derivative of x² + 2x + 5, while that denominator equals (x + 1)² + 4.

The quadratic is positive everywhere in that example, so its logarithm needs no absolute-value bars. By contrast, linear factors change sign across their roots, and their logarithms need absolute values unless the interval already establishes a positive argument. The final answer inherits every original restriction, including any removable holes retained from earlier cancellation.

Worked example 2: Division and a repeated factor

Find ∫(x³ + 2x² + 1)/(x − 1)² dx. Polynomial division gives x + 4 plus remainder (7x − 3)/(x − 1)². Write the remainder as A/(x − 1) + B/(x − 1)². Clearing denominators gives 7x − 3 = A(x − 1) + B, hence A = 7 and B = 4.

The integrand is x + 4 + 7/(x − 1) + 4/(x − 1)². Therefore the answer is x²/2 + 4x + 7ln|x − 1| − 4/(x − 1) + C, on an interval excluding 1. Notice that the final term has a minus sign and no logarithm. Differentiating it gives the positive repeated-factor term 4/(x − 1)².

Worked example 3: A linear factor and a quadratic

Find ∫(5x² + 3x + 13)/[(x + 1)(x² + 4)] dx. Use A/(x + 1) + (Bx + C)/(x² + 4). The polynomial identity is 5x² + 3x + 13 = A(x² + 4) + (Bx + C)(x + 1). Comparing coefficients gives A + B = 5, B + C = 3 and 4A + C = 13.

Solving gives A = 3, B = 2 and C = 1. Thus the integral separates into 3∫dx/(x + 1), ∫2x dx/(x² + 4), and ∫dx/(x² + 4). These produce 3ln|x + 1| + ln(x² + 4) + (1/2)arctan(x/2) + C. The only real pole is −1, since x² + 4 is always positive.

Intervals separated by polesThe excluded values minus two and one split the domain into three intervals. The closed interval from minus one to zero stays within the central branch.Poles separate the real domain−21x < −2−2 < x < 1x > 1−10A safe interval: [−1, 0] stays inside one continuous branch.
Poles split the domain. A definite integral must be checked against the original denominator before endpoint substitution.

4. Definite integrals need a domain check first

Once an antiderivative has been found, definite evaluation is usually straightforward, provided the original integrand is continuous throughout the closed interval. Check every denominator zero against the whole interval, not just the two endpoints. A graph can help locate suspicious behaviour, but exact factorisation is better evidence when available.

For example, substituting −1 and 1 into ln|x| would give zero, yet that does not evaluate an ordinary integral of 1/x across zero. The integrand is undefined inside the interval, and a single application of the fundamental theorem is invalid. Recognising this obstruction is sufficient here; do not invent a cancellation rule across a pole.

When both bounds lie safely on one branch, logarithms can often be combined into exact ratios. Keep them separate until their signs and arguments are clear. Numerical approximations should be made only at the end. A CAS may display a different logarithmic combination; differentiation and a domain-aware simplification are the reliable equivalence tests.

In a rate model, poles also warn about the range of the model. A denominator becoming zero at a future time usually means the formula cannot simply be continued through that time. Integrating an algebraic expression is not permission to extend its physical meaning. State the time window used and interpret the accumulated quantity in the rate’s units multiplied by time.

5. An efficient examination and technology workflow

Use a predictable sequence: exclusions, division if needed, denominator factorisation, complete template, coefficient solution, recombination, integration, then any bounds or initial condition. This produces a readable argument and creates checkpoints before mistakes spread. A question that says “show that” needs the polynomial identity or equivalent reasoning, not just a calculator’s final decomposition.

When technology is permitted, use its partial-fraction command to check coefficients, then differentiate your own antiderivative. If the derivative simplifies to zero after subtracting the original integrand, still retain the original domain. Algebra software may cancel factors and hide holes. Plotting on either side of each excluded value can reveal their behaviour, but a finite plot cannot prove continuity.

To think beyond the routine, ask whether a parameter creates a repeated factor or cancels a pole. Such a change can alter both the correct decomposition template and the allowed intervals. Analyse the special parameter value separately rather than substituting into a formula derived by division by that parameter. This is a useful small investigation in algebra and calculus, without needing any advanced convergence theory.

6. Notice when a parameter changes the template

Consider the family 1/[x(x − a)]. If a ≠ 0, the factors are distinct and the identity is −1/(ax) + 1/[a(x − a)]. Clearing denominators gives −(x − a)/a + x/a = 1, so the coefficients are justified. Integration then gives (1/a)[ln|x − a| − ln|x|] + C on any interval avoiding 0 and a.

If a = 0, that formula cannot be used because its coefficients divide by a. The original integrand instead becomes 1/x², whose antiderivative is −1/x + C. The two linear factors have merged into a repeated factor, changing the appropriate template. This is a simple example of why special parameter values need separate reasoning.

A graph supplies a complementary interpretation: for nonzero a there are two potential pole locations, whereas at a = 0 they coincide. The correct algebra must reflect this changed geometry. In a linked question, establish the parameter condition before presenting a general expression, and retain the original variable exclusions in every case.

When checking a computer-generated result, inspect any denominators involving parameters as carefully as denominators involving x. A symbolic output can be valid only under a hidden nonzero assumption. Recombining the fractions with the parameter left symbolic tests the general identity, while substituting the exceptional value into the original expression tells you how to handle the separate case.

An initial condition is applied after the integrated pieces have been combined with one constant. Even if the decomposition contains several terms, their separate constants add to a single arbitrary constant on the chosen interval. A supplied point selects that constant only on the interval containing the point. It does not connect independent branches across poles.

Coefficient comparison is a polynomial statement, so every power must agree, including powers missing from the original numerator. A missing term has coefficient zero. Write those zero coefficients explicitly when a system becomes confusing. A convenient root substitution may identify one coefficient immediately, but it does not remove the need to determine all the others.

When the original numerator and denominator share a factor, decide whether cancellation is useful before division or decomposition. Either route can work, but carry a note of the cancelled zero throughout the solution. The simplified expression may have a perfectly finite antiderivative at that point while the original rate or graph still excludes it. This difference matters if a later part asks for a domain, graph feature or definite integral across the hole.

Recombination is particularly effective because it checks all coefficients at once. A few numerical sample points are helpful for debugging, but they cannot replace the polynomial identity needed to establish the decomposition generally.

Practise, then check

For each integral, state any excluded real values. Show enough algebra to verify the decomposition.

  1. Find ∫(3x + 5)/[(x + 1)(x + 2)] dx.
  2. Find ∫1/(x² − 9) dx.
  3. Find ∫(2x + 1)/(x − 2)² dx.
  4. Find ∫x²/(x² + 1) dx, explaining why division helps.
  5. Find ∫(4x + 7)/(x² + 2x + 5) dx.
  6. Evaluate ∫01 (x + 4)/(x² + 3x + 2) dx exactly.
  7. A proposed solution evaluates ∫−11 1/x² dx as [−1/x]−11 = −2. Identify the invalid step and explain a simple sign warning.
Reasoned answers
  1. The identity is 2/(x + 1) + 1/(x + 2), since 2(x + 2) + (x + 1) = 3x + 5. Integrating gives 2ln|x + 1| + ln|x + 2| + C, excluding −1 and −2.
  2. Factor x² − 9 = (x − 3)(x + 3). The coefficients are 1/6 and −1/6, so the answer is (1/6)ln|x − 3| − (1/6)ln|x + 3| + C, on an interval avoiding ±3.
  3. Since 2x + 1 = 2(x − 2) + 5, integrate 2/(x − 2) + 5/(x − 2)². The result is 2ln|x − 2| − 5/(x − 2) + C, excluding 2.
  4. Division gives 1 − 1/(x² + 1), hence x − arctan x + C for all real x. The polynomial part is needed because the numerator and denominator have equal degree.
  5. Write the numerator as 2(2x + 2) + 3 and the denominator as (x + 1)² + 4. The answer is 2ln(x² + 2x + 5) + (3/2)arctan((x + 1)/2) + C. The denominator has no real zeros.
  6. The fraction is 3/(x + 1) − 2/(x + 2). Both denominators are positive on [0, 1]. Evaluation gives 3ln 2 − 2ln 3 + 2ln 2 = 5ln 2 − 2ln 3 = ln(32/9), approximately 1.269.
  7. The integrand is undefined at 0, inside the interval, so the ordinary fundamental-theorem evaluation cannot be used across it. Also 1/x² is positive wherever defined; a negative accumulation is an immediate warning. The endpoint subtraction is not a valid answer to the stated ordinary integral.

Curriculum and sources

VCE Specialist Mathematics Units 3 and 4, Areas of Study 2;4 as applicable, with Outcomes 1–3. Scope follows the VCAA Mathematics Study Design 2023–2027 and the current Specialist Mathematics FAQ. Curriculum checked 15 October 2026. Teaching reference: Cambridge Senior Mathematics VCE Specialist Mathematics 3&4, second edition (2023), sections 9G (pp407–414). All teaching prose, examples, practice questions and diagrams are original. Independent teaching material; not a VCAA publication. The VCAA planning support provides additional teaching guidance.