How does integration by parts reverse the product rule, and how do we choose the parts to evaluate products such as or ?
Apply integration by parts to evaluate integrals of products, including repeated application and the recovery of the original integral
A focused answer to the HSC Maths Extension 2 dot point on integration by parts. The formula, choosing the parts with LIATE, repeated application, the boomerang case where the original integral reappears, definite integrals and reduction formulae, with verified worked examples.
Reviewed by: AI editorial process; not yet individually human-reviewed
Have a quick question? Jump to the Q&A page
Jump to a section
What this dot point is asking
NESA wants you to integrate products of functions using integration by parts, the reverse of the product rule. You must choose the parts sensibly, apply the method more than once where the algebraic factor is a higher power, and handle the case where the original integral reappears so that it can be recovered algebraically. The same machinery, applied to an integral that depends on an integer , produces a reduction formula, which is one of the most reliably examined Extension 2 question types.
The formula and why it works
The product rule says . Integrate both sides with respect to . The left side integrates to (integration undoes the derivative), and the right side splits into two integrals:
Rearranging to isolate the integral we want gives integration by parts:
The method does not evaluate an integral directly; it trades one integral for another. That trade is only worth making if the new integral is genuinely easier than the one you started with. Everything therefore hinges on the split: should become simpler when differentiated, and should be a factor you can actually integrate. A bad split leaves you with a harder integral, which is the signal to swap your choices and start again.
Choosing the parts: LIATE
A reliable order of preference for choosing is LIATE:
- Logarithmic ()
- Inverse trigonometric (, )
- Algebraic ()
- Trigonometric (, )
- Exponential ()
Whatever appears earlier in this list is usually the better choice for , and whatever is later becomes . The list is not a law of nature, it is a heuristic ranked by how the function behaves under differentiation. Logarithms and inverse trig functions are at the top because they are awkward to integrate but differentiate to simple algebraic expressions, so you always want them as . Exponentials are at the bottom because they integrate as easily as they differentiate, so they make a painless . For example, in the logarithm ranks above the algebraic term, so and . In the algebraic term ranks above the exponential, so and .
A first example
Evaluate . By LIATE the algebraic factor outranks the exponential, so let and . Then and . Applying the formula:
The differentiation step has collapsed the to a constant , leaving a standard integral. That is exactly the simplification a good split is designed to produce.
Repeated application
When the algebraic factor is a higher power, one pass is not enough, so apply the method repeatedly. For , first take , :
The remaining integral is the one we just did, so substitute that result: . Each application lowers the power of by one, so an integral with against an exponential or a sine or cosine needs applications until the power vanishes. Keep as the algebraic factor every single time; switching roles midway sends you in a circle.
The boomerang (recovery) case
For integrals such as neither factor ever simplifies, since differentiating gives and differentiating cycles through trig functions. Two applications of integration by parts return a multiple of the original integral. You then solve for it algebraically. This is the boomerang: the integral comes back to you, letting you collect like terms and divide. The one rule that makes it work is consistency, you must take to be the same type of function (say the trig factor, or the exponential) in both applications. If you swap roles on the second pass, the two steps cancel and you return to where you started with nothing gained.
Integrating a lone logarithm or inverse trig
Some integrands look like a single function with nothing obvious to split, yet integration by parts still applies. To find , write the integrand as , take and , so . Then
The same trick handles and : the "second function" is an invisible , and the leftover integral is finished by a quick substitution or a standard form. This is exactly why logarithmic and inverse-trigonometric functions sit at the top of LIATE, since they have no elementary antiderivative of their own but differentiate to something simple.
Definite integrals by parts
For a definite integral the formula carries the limits on every term:
Evaluate the boundary term at both limits, then deal with the remaining definite integral. Watch for boundary terms that vanish, which is a common and deliberate simplification when a limit is or (so that , or is zero there). Keeping the limits attached to every term throughout avoids the classic error of evaluating only the final integral and forgetting the piece.
Reduction formulae
Repeated integration by parts on an integral that depends on an integer produces a reduction (or recurrence) formula, expressing in terms of or , as in the result above. These are a favourite Extension 2 question type because they reward a clean, structured argument. The method is always the same shape: split off one factor, integrate by parts, show the boundary term vanishes (or simplify it), and use a Pythagorean identity to bring the original integral back so you can collect terms. Once the recurrence is established you apply it repeatedly down to a known base case such as or , which the later parts of the question usually ask you to use.
How exam questions ask about integration by parts
- "Find " with an obvious product (, , ). One or two passes of parts; choose by LIATE, show and , and finish with .
- "Which expression equals after one application?" A multiple-choice probe of a single step. Differentiate the algebraic factor, integrate the exponential or trig factor, keep the minus sign, and do not touch the surviving integral.
- "Find "-type integrals. The boomerang: integrate by parts twice with a consistent choice of , recover the original integral, then collect and divide.
- "Show that " (a reduction formula). Split off one factor, integrate by parts, vanish the boundary term, apply a Pythagorean identity to recover , and rearrange. The marks are for the structure as much as the answer.
- "Hence evaluate (or similar)." Use the reduction formula you just proved, applying it repeatedly down to the base case or .
- "Find / " (a lone function). Write the integrand as , take and .
Exam-style practice questions
Practice questions written in the style of NESA exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.
HSC 20242 marksFind .Show worked answer →
Use integration by parts, .
Choose (so ) and (so ).
.
So , which can be written .
Mark notes: 1 mark for setting up integration by parts with a sensible choice of and , 1 mark for the correct primitive .
HSC 20211 marksWhich expression is equal to after one application of integration by parts? A. . B. . C. . D. .Show worked answer →
Apply one step of integration by parts to .
Take (so ) and (so ).
.
This matches option A. The other options either differentiate instead of integrate (giving the wrong leading term) or leave inside the remaining integral.
The answer is A.
HSC 20233 marksLet , where is an integer. Show that for all integers .Show worked answer →
Split off one factor of and integrate by parts: write .
Take (so ) and (so ).
.
The boundary term is at both limits (since and for ). So .
Replace :
.
The original integral has reappeared. Collect terms: , giving .
Mark notes: 1 mark for integration by parts with the boundary term shown to vanish, 1 mark for using to recover , 1 mark for collecting terms to reach the reduction formula.
