Skip to main content
ExamExplained
NSW · Maths Extension 2
Maths Extension 2 study scene
§-Syllabus dot point
NSWMaths Extension 2Syllabus dot point

How does integration by parts reverse the product rule, and how do we choose the parts to evaluate products such as xexx e^x or xlnxx \ln x?

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
  1. What this dot point is asking
  2. The formula and why it works
  3. Choosing the parts: LIATE
  4. A first example
  5. Repeated application
  6. The boomerang (recovery) case
  7. Integrating a lone logarithm or inverse trig
  8. Definite integrals by parts
  9. Reduction formulae
  10. How exam questions ask about integration by parts

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 nn, 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 ddx(uv)=udvdx+vdudx\dfrac{d}{dx}(uv) = u\dfrac{dv}{dx} + v\dfrac{du}{dx}. Integrate both sides with respect to xx. The left side integrates to uvuv (integration undoes the derivative), and the right side splits into two integrals:

uv=udvdxdx+vdudxdx.uv = \int u\,\frac{dv}{dx}\,dx + \int v\,\frac{du}{dx}\,dx.

Rearranging to isolate the integral we want gives integration by parts:

udvdxdx=uvvdudxdx.\int u\,\frac{dv}{dx}\,dx = uv - \int v\,\frac{du}{dx}\,dx.

The method does not evaluate an integral directly; it trades one integral for another. That trade is only worth making if the new integral vdudxdx\int v\,\frac{du}{dx}\,dx is genuinely easier than the one you started with. Everything therefore hinges on the split: uu should become simpler when differentiated, and dvdx\dfrac{dv}{dx} 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 uu is LIATE:

  • Logarithmic (lnx\ln x)
  • Inverse trigonometric (arcsinx\arcsin x, arctanx\arctan x)
  • Algebraic (xnx^n)
  • Trigonometric (sinx\sin x, cosx\cos x)
  • Exponential (exe^x)

Whatever appears earlier in this list is usually the better choice for uu, and whatever is later becomes dvdx\dfrac{dv}{dx}. 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 uu. Exponentials are at the bottom because they integrate as easily as they differentiate, so they make a painless dvdx\dfrac{dv}{dx}. For example, in xlnxdx\int x\ln x\,dx the logarithm ranks above the algebraic term, so u=lnxu = \ln x and dvdx=x\dfrac{dv}{dx} = x. In xexdx\int x e^x\,dx the algebraic term ranks above the exponential, so u=xu = x and dvdx=ex\dfrac{dv}{dx} = e^x.

A first example

Evaluate xexdx\int x e^x\,dx. By LIATE the algebraic factor outranks the exponential, so let u=xu = x and dvdx=ex\dfrac{dv}{dx} = e^x. Then dudx=1\dfrac{du}{dx} = 1 and v=exv = e^x. Applying the formula:

xexdx=xexex1dx=xexex+C=(x1)ex+C.\int x e^x\,dx = x e^x - \int e^x \cdot 1\,dx = x e^x - e^x + C = (x - 1)e^x + C.

The differentiation step has collapsed the xx to a constant 11, 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 x2exdx\int x^2 e^x\,dx, first take u=x2u = x^2, dvdx=ex\dfrac{dv}{dx} = e^x:

x2exdx=x2ex2xexdx.\int x^2 e^x\,dx = x^2 e^x - 2\int x e^x\,dx.

The remaining integral xexdx\int x e^x\,dx is the one we just did, so substitute that result: x2ex2(x1)ex+C=(x22x+2)ex+Cx^2 e^x - 2(x - 1)e^x + C = (x^2 - 2x + 2)e^x + C. Each application lowers the power of xx by one, so an integral with xnx^n against an exponential or a sine or cosine needs nn applications until the power vanishes. Keep uu as the algebraic factor every single time; switching roles midway sends you in a circle.

The boomerang (recovery) case

For integrals such as excosxdx\int e^x \cos x\,dx neither factor ever simplifies, since differentiating exe^x gives exe^x and differentiating cosx\cos x 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 uu 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 lnxdx\int \ln x \, dx, write the integrand as 1lnx1 \cdot \ln x, take u=lnxu = \ln x and dvdx=1\dfrac{dv}{dx} = 1, so v=xv = x. Then

lnxdx=xlnxx1xdx=xlnxx+C.\int \ln x \, dx = x\ln x - \int x \cdot \frac{1}{x}\,dx = x\ln x - x + C.

The same trick handles arctanxdx\int \arctan x \, dx and arcsinxdx\int \arcsin x \, dx: the "second function" is an invisible 11, 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:

abudvdxdx=[uv]ababvdudxdx.\int_a^b u\,\frac{dv}{dx}\,dx = \Big[uv\Big]_a^b - \int_a^b v\,\frac{du}{dx}\,dx.

Evaluate the boundary term [uv]ab\big[uv\big]_a^b 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 00 or π2\tfrac{\pi}{2} (so that xx, sinθ\sin\theta or cosθ\cos\theta is zero there). Keeping the limits attached to every term throughout avoids the classic error of evaluating only the final integral and forgetting the [uv]ab\big[uv\big]_a^b piece.

Reduction formulae

Repeated integration by parts on an integral that depends on an integer nn produces a reduction (or recurrence) formula, expressing InI_n in terms of In1I_{n-1} or In2I_{n-2}, as in the Jn=n1nJn2J_n = \frac{n-1}{n} J_{n-2} 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 J0=π2J_0 = \tfrac{\pi}{2} or J1=1J_1 = 1, which the later parts of the question usually ask you to use.

How exam questions ask about integration by parts

  • "Find \int \ldots" with an obvious product (xexx e^x, xcosxx\cos x, xlnxx\ln x). One or two passes of parts; choose uu by LIATE, show dudx\dfrac{du}{dx} and vv, and finish with +C+C.
  • "Which expression equals \int \ldots 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 excosxdx\int e^{x}\cos x\,dx"-type integrals. The boomerang: integrate by parts twice with a consistent choice of uu, recover the original integral, then collect and divide.
  • "Show that In=I_n = \ldots" (a reduction formula). Split off one factor, integrate by parts, vanish the boundary term, apply a Pythagorean identity to recover InI_n, and rearrange. The marks are for the structure as much as the answer.
  • "Hence evaluate I4I_4 (or similar)." Use the reduction formula you just proved, applying it repeatedly down to the base case I0I_0 or I1I_1.
  • "Find lnxdx\int \ln x\,dx / arctanxdx\int \arctan x\,dx" (a lone function). Write the integrand as 1f(x)1 \cdot f(x), take u=f(x)u = f(x) and dvdx=1\dfrac{dv}{dx} = 1.

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 xexdx\displaystyle\int x e^x \, dx.
Show worked answer →

Use integration by parts, udvdxdx=uvvdudxdx\int u\,\frac{dv}{dx}\,dx = uv - \int v\,\frac{du}{dx}\,dx.

Choose u=xu = x (so dudx=1\frac{du}{dx} = 1) and dvdx=ex\frac{dv}{dx} = e^x (so v=exv = e^x).

xexdx=xex(1)(ex)dx=xexex+C\int x e^x \, dx = x e^x - \int (1)(e^x) \, dx = x e^x - e^x + C.

So xexdx=xexex+C\int x e^x \, dx = x e^x - e^x + C, which can be written (x1)ex+C(x - 1) e^x + C.

Mark notes: 1 mark for setting up integration by parts with a sensible choice of uu and dvdx\frac{dv}{dx}, 1 mark for the correct primitive xexex+Cx e^x - e^x + C.

HSC 20211 marksWhich expression is equal to x5e7xdx\displaystyle\int x^5 e^{7x} \, dx after one application of integration by parts? A. 17x5e7x57x4e7xdx\frac{1}{7} x^5 e^{7x} - \frac{5}{7}\int x^4 e^{7x}\, dx. B. 17x5e7x57x5e7xdx\frac{1}{7} x^5 e^{7x} - \frac{5}{7}\int x^5 e^{7x}\, dx. C. 57x4e7x57x4e7xdx\frac{5}{7} x^4 e^{7x} - \frac{5}{7}\int x^4 e^{7x}\, dx. D. 57x4e7x57x5e7xdx\frac{5}{7} x^4 e^{7x} - \frac{5}{7}\int x^5 e^{7x}\, dx.
Show worked answer →

Apply one step of integration by parts to x5e7xdx\int x^5 e^{7x} \, dx.

Take u=x5u = x^5 (so dudx=5x4\frac{du}{dx} = 5x^4) and dvdx=e7x\frac{dv}{dx} = e^{7x} (so v=17e7xv = \frac{1}{7} e^{7x}).

udvdxdx=uvvdudxdx=x517e7x5x417e7xdx=17x5e7x57x4e7xdx\int u\,\frac{dv}{dx}\,dx = uv - \int v\,\frac{du}{dx}\,dx = x^5 \cdot \frac{1}{7} e^{7x} - \int 5x^4 \cdot \frac{1}{7} e^{7x} \, dx = \frac{1}{7} x^5 e^{7x} - \frac{5}{7}\int x^4 e^{7x} \, dx.

This matches option A. The other options either differentiate instead of integrate e7xe^{7x} (giving the wrong leading term) or leave x5x^5 inside the remaining integral.

The answer is A.

HSC 20233 marksLet Jn=0π/2sinnθdθJ_n = \displaystyle\int_0^{\pi/2} \sin^n\theta \, d\theta, where n0n \ge 0 is an integer. Show that Jn=n1nJn2J_n = \frac{n - 1}{n} J_{n-2} for all integers n2n \ge 2.
Show worked answer →

Split off one factor of sinθ\sin\theta and integrate by parts: write sinnθ=sinθsinn1θ\sin^n\theta = \sin\theta \cdot \sin^{n-1}\theta.

Take u=sinn1θu = \sin^{n-1}\theta (so dudθ=(n1)sinn2θcosθ\frac{du}{d\theta} = (n - 1)\sin^{n-2}\theta\cos\theta) and dvdθ=sinθ\frac{dv}{d\theta} = \sin\theta (so v=cosθv = -\cos\theta).

Jn=[cosθsinn1θ]0π/2+(n1)0π/2cos2θsinn2θdθJ_n = \left[-\cos\theta\,\sin^{n-1}\theta\right]_0^{\pi/2} + (n - 1)\int_0^{\pi/2} \cos^2\theta\,\sin^{n-2}\theta \, d\theta.

The boundary term is 00 at both limits (since cosπ2=0\cos\frac{\pi}{2} = 0 and sin0=0\sin 0 = 0 for n2n \ge 2). So Jn=(n1)0π/2cos2θsinn2θdθJ_n = (n - 1)\int_0^{\pi/2} \cos^2\theta\,\sin^{n-2}\theta \, d\theta.

Replace cos2θ=1sin2θ\cos^2\theta = 1 - \sin^2\theta:

Jn=(n1)Jn2(n1)JnJ_n = (n - 1) J_{n-2} - (n - 1) J_n.

The original integral has reappeared. Collect JnJ_n terms: nJn=(n1)Jn2n J_n = (n - 1) J_{n-2}, giving Jn=n1nJn2J_n = \frac{n - 1}{n} J_{n-2}.

Mark notes: 1 mark for integration by parts with the boundary term shown to vanish, 1 mark for using cos2θ=1sin2θ\cos^2\theta = 1 - \sin^2\theta to recover JnJ_n, 1 mark for collecting terms to reach the reduction formula.

ExamExplained