Loav · VCE Specialist Mathematics · Units 3 & 4
S34-I04 · Recommended sequence: Unit 4
1. Reverse the product rule
The product rule says (uv)′ = u′v + uv′. Integrating and rearranging isolates one product integral in terms of another: ∫u dv = uv − ∫v du. Integration by parts is therefore an exact rearrangement of a derivative identity. It does not say that the integral of a product is the product of two integrals.
∫ab u dv = [uv]ab − ∫ab v du.
Choosing u determines what you differentiate; choosing dv determines what you integrate to find v. The new integral should be simpler, or should return to a previous integral in a useful algebraic cycle. Always write u, du, dv and v explicitly at first. This small record prevents the common mistake of differentiating both factors or forgetting which expression supplies v.
For an indefinite calculation, choose any convenient antiderivative v without adding a separate constant at every intermediate line. Put one arbitrary C in the final family. Different choices of a constant in v cancel within the parts identity, but displaying them repeatedly obscures the calculation. For a definite integral there is no final C; the boundary product and the remaining definite integral use the same bounds.
2. Choose the part that becomes simpler
A polynomial usually becomes simpler when differentiated, while an exponential or sine/cosine remains easy to integrate. This makes u = polynomial a useful starting choice for products such as x²e²ˣ or x sin x. Differentiating the polynomial repeatedly eventually reaches a constant and then zero. The method ends after finitely many steps.
A logarithm becomes a rational function when differentiated. To integrate ln x, regard it as ln x × 1 and take u = ln x, dv = dx. Then du = dx/x and v = x, giving x ln x − ∫1 dx = x ln x − x + C for x > 0. The hidden factor 1 is legitimate and often unlocks an apparently single-function integral.
A mnemonic can suggest a choice but cannot prove it will help. Test the remaining integral before doing long algebra. If ∫xeˣ dx is assigned u = eˣ and dv = x dx, the new integral contains x²eˣ, increasing the polynomial degree. The identity remains true, but it moves in an unhelpful direction. Good method choice is about reducing the work, not satisfying a slogan.
Check whether substitution is simpler first. In ∫x ex² dx, the derivative of x² is already present up to a constant, so substitution is direct. By contrast, ∫x eˣ dx has no matching inner derivative that removes the product; parts is natural. Reading the structure before choosing a technique is a central integration skill.
Worked example 1: Two rounds of parts
Find ∫x²e²ˣ dx. Choose u = x² and dv = e²ˣ dx, so du = 2x dx and v = e²ˣ/2. The first round gives x²e²ˣ/2 − ∫xe²ˣ dx. The polynomial degree has fallen from two to one, exactly the intended simplification.
For the remaining integral choose u = x and dv = e²ˣ dx. Then ∫xe²ˣ dx = xe²ˣ/2 − e²ˣ/4. Substituting the whole result with brackets gives e²ˣ(x²/2 − x/2 + 1/4) + C. The outer minus changes the sign of both terms in the subtracted expression. Differentiating the final product leaves precisely x²e²ˣ after the lower-degree terms cancel.
3. Definite parts includes a boundary term
When the question asks for a definite integral, working with the definite identity keeps the argument organised. Calculate [uv]ab carefully and then subtract the remaining integral over [a, b]. Do not evaluate just the new integral: the boundary product carries essential information. Bracket the entire lower-bound value before subtraction.
For example, ∫1e ln x dx = [x ln x]1e − ∫1e 1 dx = e − (e − 1) = 1. This offers a useful check on the indefinite formula above. Since ln x lies between zero and one on this interval, a positive area of one is plausible.
In applications, parts may convert an accumulated product into a boundary contribution minus another accumulation. This is an algebraic advantage, not a reason to omit interpretation. If the integrand is a rate in units per second, the final integral still has units, regardless of how many parts steps were used. Exact constants should remain exact until the requested rounding stage.
Worked example 2: A cyclic integral becomes an equation
Find I = ∫eˣcos(2x) dx. Take u = cos(2x), dv = eˣ dx. Then I = eˣcos(2x) + 2J, where J = ∫eˣsin(2x) dx. Applying parts to J with u = sin(2x), dv = eˣ dx gives J = eˣsin(2x) − 2I.
Substitute this relation into the first: I = eˣcos(2x) + 2eˣsin(2x) − 4I. Hence 5I = eˣ[cos(2x) + 2sin(2x)], and I = eˣ[cos(2x) + 2sin(2x)]/5 + C. The return of I is useful: it creates a linear equation rather than an endless loop. The final derivative is eˣcos(2x), since the sine terms cancel.
These intermediate equalities can be understood using chosen antiderivatives; any integration constants combine into the final C. In a definite version, use the same bounds for I and J and retain each boundary expression. Then the algebra is an exact equation between numbers, with no arbitrary constants involved.
4. Build a reduction relation, rather than memorising one
A reduction relation connects an indexed integral to one with a smaller index. It is useful when repeating a method produces a predictable pattern. Define the family precisely, including its bounds and allowed integer values. Then derive the relation, state the base values and use it until a known base is reached. This connects integration with the recursive and proof ideas used elsewhere in Specialist Mathematics.
Let Iₙ = ∫0π/2 sinⁿx dx for integers n ≥ 0. For n ≥ 2, split sinⁿx into sinⁿ⁻¹x × sin x. Choose u = sinⁿ⁻¹x and dv = sin x dx. Then du = (n − 1)sinⁿ⁻²x cos x dx and v = −cos x. Both boundary products vanish: sin 0 = 0 and cos(π/2) = 0.
= (n − 1)(Iₙ₋₂ − Iₙ), so Iₙ = [(n − 1)/n]Iₙ₋₂, n ≥ 2.
The substitution cos²x = 1 − sin²x exposes the earlier integral Iₙ again. Rearranging gives the reduction. The base values are I₀ = π/2 and I₁ = 1. Even indices descend to I₀, odd indices to I₁. The condition n ≥ 2 is part of the argument, because the derivation and the boundary reasoning were written for those powers.
Worked example 3: Use and check a reduction
Evaluate ∫0π/2 sin⁶x dx using the relation just derived. Starting from I₀ = π/2 gives I₂ = (1/2)(π/2) = π/4, I₄ = (3/4)(π/4) = 3π/16, and I₆ = (5/6)(3π/16) = 5π/32.
The answer is approximately 0.491. Since 0 ≤ sin x ≤ 1 on the interval, sin⁶x ≤ sin⁴x ≤ sin²x. Therefore I₆ ≤ I₄ ≤ I₂, consistent with the exact values. This is a structural check independent of the arithmetic. If a reduction step produced a larger positive integral here, either the coefficient or its direction would need review.
5. Verification and common traps
The minus sign in uv − ∫v du is the most frequent source of trouble. Write the remaining integral in brackets if it is later replaced by several terms. Keep reverse chain-rule coefficients visible when v contains sin(ax), cos(ax) or eᵃˣ. A missing coefficient early in repeated parts contaminates every subsequent term.
For a symbolic answer, differentiate the whole expression and simplify before comparing with the integrand. For a recurrence, check one or two small admissible indices by a separate identity or direct integration. Numerical quadrature can verify a definite value to high precision, but it does not establish the recurrence for every index. The derivation supplies that general reasoning.
A short algorithm can implement reduction by starting with the correct parity base, increasing the index by two and multiplying by the corresponding factor. Preserve an exact rational multiplier if an exact answer is required. The stopping condition must be a known base or the target index, rather than an arbitrary number of iterations. Explain what the stored value represents at each stage.
6. Explain why a repeated method terminates
Repeated parts with a polynomial works because each differentiation lowers its non-negative integer degree. Starting from degree n, after n differentiations the polynomial becomes constant; one more derivative is zero. This supplies a mathematical stopping reason. It is stronger than observing that two steps happened to work in a particular example.
A cyclic integral has a different stopping reason. Neither exponential nor circular derivatives become zero, but a later step returns to the original integral multiplied by a known constant. Move that term to the other side and solve the resulting algebraic equation. The decision to stop comes from recognising a repeated object, not from waiting for the integrand to vanish.
A reduction relation combines these ideas with indexing. Its statement must identify which index decreases, how far it decreases and which base values are needed. A relation lowering n by two needs both an even and an odd starting case if both parities are requested. A correct relation with a missing base case does not yet evaluate the family.
In written solutions, distinguish deriving a relation from applying it. The derivation needs the parts choices, boundary reasoning and rearrangement. Application needs the appropriate index values and arithmetic. Technology can check either stage, but showing only a numerical value leaves the underlying pattern unexplained.
Read the purpose of each question carefully. If an earlier part asks for a derivative, its product-rule expansion may already contain the integral needed later. Rearranging that established relationship can be more direct than introducing new parts notation. The underlying mathematics is the same reversal of the product rule, but the earlier result supplies useful structure.
If a question asks you to derive a reduction relation, quoting a memorised formula does not explain why it applies to the stated bounds. Boundary terms that vanish for one interval may survive on another. Evaluate them from the actual definition, and do not transfer a relation between definite integrals to an indefinite family without accounting for its extra terms and constants.
For a numerical check, choose an approach that can fail differently from your main method. Differentiate a symbolic result, estimate a positive integral between simple bounds, or compare a few small-index values with direct quadrature. Re-entering the same algebra into a calculator merely repeats the original assumptions and may reproduce the same mistake.
Practise, then check
State your parts choices. For a reduction relation, give its index restriction and starting value.
- Find ∫ln x dx for x > 0.
- Evaluate ∫1e x ln x dx.
- Find ∫x sin(3x) dx.
- Find ∫x²cos x dx.
- Find ∫e²ˣsin x dx by a cyclic calculation or by verifying a justified candidate.
- Use the sine-power reduction to find I₅ and explain why it is smaller than I₃.
- Let Jₙ = ∫01 xⁿeˣ dx. Derive a relation for integer n ≥ 1, state J₀ and evaluate J₃.
Reasoned answers
- Take u = ln x and dv = dx, giving du = dx/x and v = x. Thus the integral is x ln x − x + C on x > 0. Differentiating cancels the extra +1 and −1.
- Use u = ln x and dv = x dx. The antiderivative is x²ln x/2 − x²/4. At e it is e²/4, and at 1 it is −1/4. Subtraction gives (e² + 1)/4.
- Choose u = x and v = −cos(3x)/3. The result is −x cos(3x)/3 + sin(3x)/9 + C. The second term comes from integrating the remaining cosine with another factor 1/3.
- Two rounds give x²sin x − 2∫x sin x dx = x²sin x + 2x cos x − 2sin x + C. The product-rule derivative cancels every term except x²cos x.
- The answer is e²ˣ(2sin x − cos x)/5 + C. Differentiating produces e²ˣ[4sin x − 2cos x + 2cos x + sin x]/5 = e²ˣsin x, verifying the coefficient and sign.
- I₃ = (2/3)I₁ = 2/3 and I₅ = (4/5)I₃ = 8/15. Since the multiplier 4/5 is between zero and one, I₅ < I₃; pointwise sin⁵x ≤ sin³x provides the same conclusion.
- Take u = xⁿ and dv = eˣ dx. For n ≥ 1, the boundary term is e, so Jₙ = e − nJₙ₋₁. Since J₀ = e − 1, we obtain J₁ = 1, J₂ = e − 2 and J₃ = 6 − 2e, approximately 0.563. Each value is positive, as its integrand is positive inside (0, 1).
Curriculum and sources
VCE Specialist Mathematics Units 3 and 4, Areas of Study 4;1 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 9H–9I (pp415–423); official planning integration example. 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.