Why the Route Matters
A rational integrand can look difficult simply because its numerator has a much higher degree than its denominator. Before integrating such an expression, the first task is usually to separate off the polynomial part. There are several reliable ways to do this, but they are not equally convenient in every situation.
Polynomial long division works for any nonzero polynomial denominator. Synthetic division is faster when the divisor is linear. Coefficient matching can be efficient when the degrees are small enough that a short identity produces a manageable system of equations. Choosing deliberately avoids unnecessary arithmetic and makes mistakes easier to detect.
The division step matters for integration because the quotient is a polynomial, while the remaining fraction has a numerator of lower degree than its denominator. The latter is the proper rational part. Once the division is done, the terms can be integrated using the methods appropriate to their factors. The central choice here is how to produce the quotient and remainder reliably.
Three Routes to the Division Identity
Long division is the general method. At each step, divide the leading term of the current remainder by the leading term of the divisor, place that term in the quotient, and subtract the corresponding multiple of the divisor. Continue until the remainder has lower degree than the divisor.
Synthetic division is a compact form of polynomial division by \(x-c\). It uses the number \(c\), and the coefficients of the dividend, to calculate the quotient coefficients and the constant remainder. It is especially efficient when the denominator itself is linear. It does not directly divide by a quadratic or by a general polynomial of higher degree.
Coefficient matching starts by proposing the degrees of \(Q\) and \(R\), then equates coefficients in \(N=DQ+R\). It is often convenient when only a few unknown coefficients occur. For larger systems, the bookkeeping can become less efficient than long division.
| Route | Best suited to | Watch for |
|---|---|---|
| Long division | Any nonzero polynomial divisor | Keep each subtraction aligned by degree. |
| Synthetic division | A divisor \(x-c\) | The number used must match the divisor’s root. |
| Coefficient matching | A low-degree quotient or a short coefficient system | Include every power of \(x\), even when its coefficient is zero. |
Why the Methods Work
Each route is a way to establish the same identity, \(N=DQ+R\), with the degree of \(R\) smaller than that of \(D\). In long division, the leading term is removed at every step. If the current polynomial has degree at least \(\deg D\), its leading term can be cancelled by subtracting a suitable multiple of \(D\). This lowers the degree of the current polynomial. Since degrees are nonnegative integers, the process must stop; when it stops, the remaining polynomial has degree less than \(\deg D\).
The quotient and remainder are also unique. If \(N=DQ_1+R_1=DQ_2+R_2\), with both remainders of degree less than \(\deg D\), then \(D(Q_1-Q_2)=R_2-R_1\). If \(Q_1-Q_2\) were nonzero, the left side would have degree at least \(\deg D\), while the right side would have degree less than \(\deg D\). That is impossible. Therefore \(Q_1=Q_2\), and then \(R_1=R_2\). Coefficient matching finds this same unique identity by solving its coefficient equations.
Worked Examples: Selecting and Checking a Route
Worked Example: Long Division by a Quadratic
Divide \(x^4+x^3+2x^2+3x+2\) by \(x^2+1\), then integrate the resulting rational function on an interval where the denominator is nonzero.
The numerator has degree \(4\) and the denominator degree \(2\), so the quotient has degree \(2\). Divide leading terms: \(x^4/x^2=x^2\). Subtract \(x^2(x^2+1)=x^4+x^2\) from the numerator:
Next, \(x^3/x^2=x\). Subtract \(x(x^2+1)=x^3+x\):
Now \(x^2/x^2=1\). Subtract \(1(x^2+1)=x^2+1\), leaving \(2x+1\). Its degree is \(1\), less than the divisor’s degree \(2\), so the division is complete:
Therefore, wherever \(x^2+1\ne0\),
Integrate term by term. Write \(2x+1=2x+1\), so the fractional part separates into a logarithmic derivative term and a reciprocal-quadratic term:
Check the division identity by expanding: \((x^2+1)(x^2+x+1)+(2x+1)=x^4+x^3+2x^2+3x+2\). Check the antiderivative by differentiating:
Worked Example: Synthetic Division by a Linear Denominator
Divide \(x^4+x^3-2x^2+3x+4\) by \(x-2\). Because the divisor is \(x-c\) with \(c=2\), synthetic division is a direct choice. Use the coefficients \(1,1,-2,3,4\): bring down \(1\); multiply by \(2\) to get \(2\), and add to \(1\) to get \(3\); multiply \(3\) by \(2\) to get \(6\), and add to \(-2\) to get \(4\); multiply \(4\) by \(2\) to get \(8\), and add to \(3\) to get \(11\); multiply \(11\) by \(2\) to get \(22\), and add to \(4\) to get \(26\). The quotient coefficients are \(1,3,4,11\), and the remainder is \(26\):
Thus
For \(x\ne2\), the rational function is \(x^3+3x^2+4x+11+\frac{26}{x-2}\). On any interval that does not contain \(2\), an antiderivative is
To check the identity, expand the product: \((x-2)(x^3+3x^2+4x+11)=x^4+x^3-2x^2+3x-22\). Adding \(26\) gives the stated numerator. Differentiating the proposed antiderivative gives \(x^3+3x^2+4x+11+\frac{26}{x-2}\), which recombines to the original fraction.
Worked Example: Coefficient Matching with a Quadratic Divisor
Divide \(x^4+2x^3+2x^2+2x+2\) by \(x^2-1\), then integrate the quotient and the proper rational remainder. Since the quotient has degree \(2\), write \(Q(x)=ax^2+bx+c\). The remainder must have degree less than \(2\), so write \(R(x)=dx+e\). The identity to match is
Expand the right-hand side: \((x^2-1)(ax^2+bx+c)+(dx+e)=ax^4+bx^3+(c-a)x^2+(d-b)x+(e-c)\). Equating coefficients with the left-hand side gives \(a=1\), \(b=2\), \(c-a=2\), \(d-b=2\), and \(e-c=2\). Hence \(c=3\), \(d=4\), and \(e=5\). Therefore
For \(x\ne -1,1\), divide and decompose the remainder:
For the last equality, matching numerators gives \(A(x+1)+B(x-1)=4x+5\), so \(A+B=4\) and \(A-B=5\). Adding the equations gives \(2A=9\), hence \(A=9/2\); then \(B=4-9/2=-1/2\). An antiderivative on any interval avoiding \(-1\) and \(1\) is
Check the division identity by multiplying: \((x^2-1)(x^2+2x+3)=x^4+2x^3+2x^2-2x-3\). Adding \(4x+5\) gives \(x^4+2x^3+2x^2+2x+2\). Check the partial fractions by combining their numerators: \(\frac92(x+1)-\frac12(x-1)=4x+5\). Finally, differentiating the antiderivative returns \(x^2+2x+3+\frac{9/2}{x-1}-\frac{1/2}{x+1}\), which is the original rational function.
A Practical Selection Process
For a high-degree numerator, first compare the numerator and denominator degrees. If the numerator degree is lower, polynomial division is not needed. If the numerator degree is at least the denominator degree, choose a route that makes \(N=DQ+R\) straightforward to establish.
If the denominator is a single linear factor \(x-c\), synthetic division is usually the quickest route.
Choose it for quadratic or higher-degree denominators, especially when coefficient matching would create many unknowns.
Use the degree rule to write only the possible powers in \(Q\) and \(R\), then equate coefficients.
Multiply \(D\) by the proposed \(Q\), add \(R\), and check that every coefficient of \(N\) is recovered.
The rational function is defined only where its denominator is nonzero. If the resulting expression contains logarithms, retain absolute values where required.
Coefficient matching is not a different kind of division; it is an algebraic way to determine the quotient and remainder. Its advantage is that it can reveal a compact pattern. Its disadvantage is that a missed power or a sign error can corrupt several equations at once. Long division is often easier to audit when the divisor is more complicated.
A Common Pitfall: Using Synthetic Division on the Wrong Divisor
Synthetic division by \(c\) divides by \(x-c\), not by an arbitrary polynomial that happens to have a related coefficient pattern. For example, applying synthetic division with \(c=1\) to \(x^2+1\) gives quotient \(x+1\) and remainder \(2\). The identity it establishes is
This is division by \(x-1\), not division of a numerator by \(x^2+1\). The correction is to use long division or coefficient matching for a quadratic divisor. More generally, before setting up synthetic division, write the divisor explicitly as \(x-c\) and identify \(c\). This small check prevents a fast calculation from solving the wrong problem.
Why Verification Is Part of the Method
A quotient and remainder are useful only if they reconstruct the original numerator. The most dependable check is the defining identity \(N=DQ+R\), not a visual impression that the degrees look right. Degree checks catch some errors, but they cannot detect every incorrect coefficient or sign.
After the identity has been checked, differentiating the proposed antiderivative checks the integration as well. These are distinct checks: a correct integral of an incorrectly divided expression is still the wrong answer, and a correct division does not prevent an integration error. For a rational integrand, also note where the denominator vanishes; an antiderivative formula applies separately on intervals that do not cross those excluded points.
Check Your Understanding
Use the degree rule and the division identity to decide how you would proceed in each case.
- If the numerator has degree \(6\) and the denominator degree \(2\), what is the degree of the quotient, and what is the largest possible degree of a nonzero remainder?
- Which method is most directly suited to dividing by \(x+3\), and what value of \(c\) does it use?
- Why is synthetic division with \(c=1\) not a method for dividing by \(x^2+1\)?
- For coefficient matching with a cubic denominator and a numerator of degree \(5\), what degrees should be allowed for the quotient and remainder?
- What identity should you check before integrating a quotient-and-remainder decomposition?
