Integrating f'(x)/f(x) and Related Forms
When a fraction's numerator is the derivative of its denominator, or a constant multiple of it, the integral is a logarithm. This single pattern integrates , , and , and it supplies the logarithm terms in partial fraction integrals. The syllabus asks you to "recognise an integrand of the form , and integrate such functions". This note also covers the two related recognition patterns, and , which are the chain rule in reverse.
Where the logarithm comes from
Differentiate with the chain rule. The outer function is , whose derivative is , and the inside differentiates to :
Read backwards, that is an integral. As with , the modulus makes the result valid where is negative.
More generally, for any constant :
So the test is: differentiate the denominator and compare with the numerator. If they match up to a constant factor, the answer is that constant times .
- Differentiate the denominator.
- Compare with the numerator. Write the numerator as (derivative of the denominator), finding .
- Write .
- Check by differentiating.
| Integrand | Derivative of denominator | Integral | |
|---|---|---|---|
The modulus can be dropped when the expression is always positive, as with , and . Keeping it is never wrong.
The constant can only fix a constant mismatch. does not fit the pattern, because the missing factor is , which depends on . That integrand is an inverse tangent (see Standard integrals).
The integrals of tan x and cot x
The syllabus singles out . Write it as a quotient and look at the denominator:
Because , this is also . Similarly the numerator of is exactly the derivative of the denominator.
With a linear inside: .
Splitting the numerator
Often the numerator is the derivative of the denominator plus something else. Split the fraction into a part that fits the pattern and a part that does not, and deal with each separately.
The first part is , a logarithm. The second is an inverse tangent with :
This exact split is what you need when a partial fraction has a quadratic denominator ; see Integrating with partial fractions.
An improper fraction, where the numerator's degree is at least the denominator's, should be divided first: , which integrates to .
Related patterns: the chain rule in reverse
The same idea, "spot the inside and its derivative", works for two more shapes. These are not separate syllabus statements, but recognising them saves time; anything they do can also be done with a substitution.
Each is the chain rule read backwards: and . As before, a constant factor mismatch is fine; an -dependent one is not.
- .
- , since is the derivative of .
- .
- .
Odd powers of sine and cosine
Odd powers can be put into the power pattern with . Keep one factor aside as the derivative:
Even powers need the double angle identities instead (see Integrating using trigonometric identities).
Worked examples
Find (a) (b) .
Solution
(a) , and the numerator is , so :
No modulus is needed since .
(b) , and , so :
Find the exact value of .
Solution
Moduli are not needed since on .
Show that .
Solution
, so :
, so the value is .
Find the exact value of .
Solution
Split: .
The first part is ; the second is .
The shaded area under from to is : a logarithm and an inverse tangent from one fraction.
Show that .
Solution
Differentiate the denominator: .
So the numerator is times the derivative of the denominator, and :
(a) Find the exact value of .
(b) Find the exact value of .
Solution
(a) Write the integrand as . The numerator is the derivative of the denominator :
(since and ).
(b) This is the power pattern: is the derivative of , multiplying :
The two integrands look alike, but in (a) is the whole denominator and in (b) it is a power. Always identify the pattern before integrating.
(a) Show that .
(b) Hence find the exact value of .
Solution
(a) .
(b) is the power pattern with , , so it integrates to . And .
- Using the pattern when the mismatch depends on . is not ; that would need a numerator . It is .
- Getting upside down. For the derivative of the denominator is , twice the numerator, so , not .
- The sign of . It is , equivalently . Writing is wrong.
- Treating of a sum as a sum of logs. . Only products and quotients split.
- Forgetting the lower limit gives a non-zero log. In Example 4, at is not zero.
- Confusing with . One gives , the other .
- Questions rarely say "use the pattern". They give an integrand and expect you to notice. Always differentiate the denominator first; it takes a moment and often reveals the answer.
- "Show that" answers need the log laws written out, for example .
- When an answer can be given as or , either is accepted. Use whichever makes the limits easier.
- Moduli: include them in indefinite integrals unless the argument is clearly positive. In definite integrals, check the sign of the denominator on the interval; the pattern only applies if the denominator is not zero anywhere between the limits.
- A question that asks for is testing both the logarithm and the inverse tangent. Split the numerator explicitly.
- : differentiate the denominator and compare with the numerator.
- Only a constant factor can be adjusted, never a factor involving .
- and .
- Split into a logarithm part and an inverse tangent part.
- Related patterns: and .
- Odd powers of and : keep one factor, convert the rest with .
- Check every answer by differentiating.
Practice
- Find .
- Find .
- Find the exact value of .
- Find the exact value of .
- Find the exact value of .
- Find the exact value of .
- Find the exact value of .
- Find the exact value of .
- Find the exact value of , and explain why the integrand could not be integrated this way over .
- (a) Show that . (b) Hence show that .
Answers
-
The numerator is exactly the derivative of : .
-
, and : .
-
.
-
.
-
is the derivative of : .
-
Power pattern with , : . Between the limits: .
-
, so the integral is .
-
Split: . Integral: (or ).
-
The derivative of is , the numerator. So the integral is . Over the denominator is zero at , so the integrand is undefined there and the integral does not exist as an ordinary definite integral.
-
(a) Multiply out: , so the right-hand side equals . (b) , which is the numerator. So . At : . At : . The value is .