Example 37:
Find
Let .
Dividing by ,
Let
Putting : , so .
Comparing coefficients of : , so .
Comparing constant terms: , so .
In the third integral, put . Then .
.
Want the reason behind every step, the basics and the checks?
The numerator has degree 4 and the denominator degree 3, so the fraction is improper: first divide, to get a polynomial plus a proper fraction. The proper fraction has a linear factor and a quadratic factor that cannot be factorised, so it splits as (Table 7.2, form 5). Each piece is then a standard integral: a polynomial, a logarithm, another logarithm, and an inverse tangent.
- Given
- The rational function , defined for every real (since always).
- To find
- Its indefinite integral.
- Plan
- (1) Long division. (2) Partial fractions of the remainder. (3) Integrate term by term. (4) Check by differentiating.
Basics you need
is proper if . If not, divide: with a polynomial and proper. Basics: splitting fractions
; (substitute ); . Basics: logarithms and 1/x
Solution
Divide: the fraction is improper
Expand the denominator: . Divide by it:
- ; subtract , leaving .
- ; subtract , leaving .
So the quotient is and the remainder is 1. Indeed , so
Partial fractions only work for proper fractions. Dividing first separates out the polynomial part , which is easy to integrate, and leaves a proper fraction with numerator 1. The quick check confirms the division.Dividend = divisor × quotient + remainder: .Set up the partial fractions
The factor cannot be factorised over the reals (its discriminant is ). So, by Table 7.2 (form 5),
Multiplying both sides by :
Over a quadratic factor that cannot be split, the numerator must be allowed to be linear, , not just a constant: a constant alone would not give enough freedom to match every proper fraction.Find , ,
The identity holds for every , so the coefficients on both sides match:
From the second, ; from the first, ; so and the third gives . Hence
A quicker check for : put in to get . Substituting into (2):
Two polynomials are equal for every only if their coefficients agree term by term. Three unknowns need three equations, one from each power , , . We split into two fractions because they integrate differently: one to a logarithm, the other to an inverse tangent.Check (3) at : left side ; right side .Put it all together
Substituting (3) into (1):
Now every term is one we know how to integrate. (The textbook prints the denominator here and in its final line as ; that is a misprint for , the denominator used everywhere else in the solution.)Integrate term by term
- (power rule).
- (standard formula (xii), with in place of ).
- : put , , so it equals ; no modulus is needed since .
- (standard formula (x)).
Collecting, with the signs from (3):
Integration is linear (Property V, Section 7.2.1), so each term is integrated separately and the constants of integration are gathered into one . The answer is valid on each of the intervals and .Check: of our answer
Differentiate term by term:
Combine the two fractions over :
So the derivative is , which by (1) is .
The derivative of is on both sides of 1, and that of is by the chain rule. Getting back exactly the integrand confirms the division, the partial fractions and the integration all at once.
for . This is the textbook's answer.
At : the integrand is , and a numerical derivative of the answer at 2 gives . At : integrand , numerical derivative . At : integrand , numerical derivative .
- Skipping the division. Partial fractions applied to the improper fraction directly cannot work: no choice of , , makes the degrees match.
- Using instead of . Over an irreducible quadratic the numerator must be linear.
- Integrating as , or as a logarithm. The on top is what makes the logarithm.
- Forgetting the : , one half from (3) and one from .
- For a rational integrand: first compare degrees and divide if needed, then factorise the denominator, then use the matching form from Table 7.2.
- Over : the part integrates to a logarithm, the part to an inverse tangent.
- The cover-up shortcut (put ) gives the coefficient over a linear factor immediately.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Improper fraction = polynomial + proper fraction | Step 1 | Section 7.5 (Lesson: partial fractions) |
| Form | Step 2 | Table 7.2, form 5 |
| Equal polynomials have equal coefficients | Step 3 | Algebra |
| ; | Step 5 | Section 7.2, standard formulae (xii) and (x) |
| Substitution | Step 5 | Section 7.3.1 |
| Linearity of the integral | Step 5 | Section 7.2.1, Property V |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →