In short

The three main techniques for evaluating definite integrals are substitution (change the variable and the limits together), integration by parts (the product rule in reverse, with boundary terms), and special substitutions (trigonometric or algebraic changes that collapse hard integrands into standard forms). Each technique has a definite-integral version with its own rules for handling the limits.

Consider this integral:

\int_0^{\pi/2} \sin^5 x \cos x \, dx

If you try to expand \sin^5 x and integrate term by term, you are in for a long afternoon. But notice: \cos x is the derivative of \sin x. That single observation turns the entire integral into something you can do in your head.

Set u = \sin x. Then du = \cos x \, dx — and the integrand is just u^5 \, du. The antiderivative is u^6/6. Plug in the limits (converting them too: when x = 0, u = 0; when x = \pi/2, u = 1) and you get 1/6 - 0 = 1/6.

The whole problem, from start to answer, takes four lines. The trick was recognising a substitution and knowing how to carry the limits along with it.

That is what this article is about: three systematic techniques — substitution, integration by parts, and special substitutions — that convert difficult definite integrals into tractable ones. You already know the indefinite versions of these techniques. The definite-integral versions add one critical rule: when you change the variable, you must change the limits too.

Substitution in definite integrals

The idea

Substitution in an indefinite integral says: if the integrand looks like f(g(x)) \cdot g'(x), set u = g(x) and write du = g'(x) \, dx. The integral becomes \int f(u) \, du, which is simpler.

For a definite integral, the same logic applies — but you also need to convert the limits of integration. If the original integral runs from x = a to x = b, and you set u = g(x), then the new limits are u = g(a) to u = g(b).

Substitution rule for definite integrals

If g is a differentiable function on [a, b] and f is continuous on the range of g, then

\int_a^b f(g(x)) \, g'(x) \, dx = \int_{g(a)}^{g(b)} f(u) \, du

where u = g(x).

The key point: once you switch to u, you never go back to x. You evaluate the antiderivative at u = g(b) and u = g(a), and you are done. There is no need to undo the substitution.

Why the limits must change

The original integral computes a specific number — the signed area under a curve from x = a to x = b. When you change the variable to u, you are looking at a different curve (the transformed one), and the interval over which you integrate must correspond to the same region. If x runs from 0 to \pi/2, and u = \sin x, then u runs from \sin 0 = 0 to \sin(\pi/2) = 1. Keeping the old limits would compute the area over the wrong interval.

A subtlety: limits can flip

Sometimes g(a) > g(b), so the new lower limit is larger than the new upper limit. That is fine — it just means the integral picks up a sign change, which is correct.

For example, in \int_0^\pi \cos x \cdot (-\sin x) \, dx, if you set u = \cos x, then u(0) = 1 and u(\pi) = -1, so you integrate from 1 to -1. You can either leave it as \int_1^{-1} u \, du and evaluate (getting the correct sign automatically), or flip the limits and add a minus sign: -\int_{-1}^{1} u \, du.

Integration by parts in definite integrals

The product rule, run backward

Integration by parts comes from the product rule. If u(x) and v(x) are differentiable functions, then

\frac{d}{dx}[u(x) v(x)] = u'(x) v(x) + u(x) v'(x)

Integrate both sides from a to b:

\int_a^b \frac{d}{dx}[u \, v] \, dx = \int_a^b u' v \, dx + \int_a^b u \, v' \, dx

The left side, by the fundamental theorem, is just [u \, v]_a^b = u(b)v(b) - u(a)v(a). Rearranging:

Integration by parts (definite form)

\int_a^b u \, v' \, dx = \bigl[u \, v\bigr]_a^b - \int_a^b u' \, v \, dx

Choose u and v' so that \int u' \, v \, dx is simpler than what you started with.

The definite form differs from the indefinite one in exactly one way: there is a boundary term [uv]_a^b that you must evaluate. In an indefinite integral, this boundary term does not appear — it is absorbed into the constant of integration.

Choosing u and v'

The classic guideline is LIATE: when the integrand is a product of two types of function, let u be whichever type appears first in the list:

Logarithmic — Inverse trigonometric — Algebraic — Trigonometric — Exponential

This is a heuristic, not a law. It works because functions earlier in the list tend to simplify when differentiated (logarithms become algebraic, algebraic expressions drop in degree), while functions later in the list do not get worse when integrated.

Repeated by-parts and reduction formulas

Some integrals require applying by-parts more than once. A common pattern is \int_0^{\pi/2} \sin^n x \, dx, where applying by-parts once reduces the power from n to n - 2:

\int_0^{\pi/2} \sin^n x \, dx = \frac{n-1}{n} \int_0^{\pi/2} \sin^{n-2} x \, dx

This is a reduction formula — it expresses the integral with index n in terms of the integral with a smaller index. Applying it repeatedly, you reduce all the way down to \int_0^{\pi/2} \sin^0 x \, dx = \pi/2 (when n is even) or \int_0^{\pi/2} \sin^1 x \, dx = 1 (when n is odd). The result is the Wallis formula:

\int_0^{\pi/2} \sin^n x \, dx = \begin{cases} \dfrac{(n-1)!!}{n!!} \cdot \dfrac{\pi}{2} & \text{if } n \text{ is even} \\[8pt] \dfrac{(n-1)!!}{n!!} & \text{if } n \text{ is odd} \end{cases}

where n!! = n(n-2)(n-4)\cdots is the double factorial.

Deriving the reduction formula

Start with I_n = \int_0^{\pi/2} \sin^n x \, dx. Write \sin^n x = \sin^{n-1} x \cdot \sin x. Set u = \sin^{n-1} x and v' = \sin x, so u' = (n-1)\sin^{n-2} x \cos x and v = -\cos x. By parts:

I_n = \bigl[-\sin^{n-1} x \cos x\bigr]_0^{\pi/2} + (n-1)\int_0^{\pi/2} \sin^{n-2} x \cos^2 x \, dx

The boundary term vanishes: at x = \pi/2, \cos(\pi/2) = 0; at x = 0, \sin^{n-1}(0) = 0. Replace \cos^2 x with 1 - \sin^2 x:

I_n = (n-1)\int_0^{\pi/2} \sin^{n-2} x \, dx - (n-1)\int_0^{\pi/2} \sin^n x \, dx = (n-1) I_{n-2} - (n-1) I_n

Bring (n-1)I_n to the left: I_n + (n-1)I_n = (n-1)I_{n-2}, so nI_n = (n-1)I_{n-2}, giving I_n = \frac{n-1}{n} I_{n-2}.

Typical substitutions

Some integrands do not obviously factor as f(g(x)) \cdot g'(x), but a well-chosen substitution transforms them into standard forms. Here are the three families of substitution that appear most often.

Trigonometric substitutions

When the integrand contains \sqrt{a^2 - x^2}, \sqrt{a^2 + x^2}, or \sqrt{x^2 - a^2}, a trigonometric substitution eliminates the square root.

Expression Substitution Why it works
\sqrt{a^2 - x^2} x = a\sin\theta a^2 - a^2\sin^2\theta = a^2\cos^2\theta, root becomes a\cos\theta
\sqrt{a^2 + x^2} x = a\tan\theta a^2 + a^2\tan^2\theta = a^2\sec^2\theta, root becomes a\sec\theta
\sqrt{x^2 - a^2} x = a\sec\theta a^2\sec^2\theta - a^2 = a^2\tan^2\theta, root becomes a\tan\theta

When applying these to definite integrals, convert the limits to values of \theta. For instance, if x runs from 0 to a and you set x = a\sin\theta, then \theta runs from 0 to \pi/2.

The Weierstrass substitution

For integrals involving rational functions of \sin x and \cos x, the substitution t = \tan(x/2) converts everything into a rational function of t. The key identities:

\sin x = \frac{2t}{1 + t^2}, \quad \cos x = \frac{1 - t^2}{1 + t^2}, \quad dx = \frac{2}{1 + t^2} \, dt

This is a universal substitution — it always works for rational trigonometric integrands — but it can make the algebra heavy. Use it as a last resort when symmetry-based tricks do not apply.

The substitution x = a + b - t

For definite integrals over [a, b], the substitution x = a + b - t replaces x with its "mirror image" across the midpoint of the interval. This transforms \int_a^b f(x)\, dx into \int_a^b f(a + b - t)\, dt. When f(x) + f(a + b - x) simplifies (for example, equals a constant), adding the original integral to the transformed one gives twice the answer, and you can solve immediately.

This is not a new technique — it is the substitution version of the King property of definite integrals. But recognising when to apply it is a skill in itself.

Worked examples

Example 1: Substitution — evaluate $\int_0^2 x \sqrt{4 - x^2}\, dx$

Step 1. Identify the substitution. The integrand contains \sqrt{4 - x^2}, which suggests x = 2\sin\theta. But there is also a factor of x out front. Try the simpler substitution u = 4 - x^2 first.

Why: the factor x\,dx is (up to a constant) exactly du when u = 4 - x^2, since du = -2x\,dx. This avoids trigonometry entirely.

Step 2. Set u = 4 - x^2, so du = -2x \, dx, which means x \, dx = -du/2. Convert limits: when x = 0, u = 4; when x = 2, u = 0.

\int_0^2 x\sqrt{4 - x^2}\,dx = \int_4^0 \sqrt{u} \cdot \left(-\frac{du}{2}\right) = \frac{1}{2}\int_0^4 \sqrt{u}\, du

Why: the negative sign from du flips the limits from [4, 0] to [0, 4], absorbing the minus sign.

Step 3. Evaluate the integral.

\frac{1}{2}\int_0^4 u^{1/2}\, du = \frac{1}{2} \cdot \left[\frac{u^{3/2}}{3/2}\right]_0^4 = \frac{1}{2} \cdot \frac{2}{3}\bigl[u^{3/2}\bigr]_0^4 = \frac{1}{3}\bigl[4^{3/2} - 0\bigr]

Why: the antiderivative of u^{1/2} is \frac{u^{3/2}}{3/2} = \frac{2}{3}u^{3/2}.

Step 4. Compute 4^{3/2} = (\sqrt{4})^3 = 2^3 = 8.

\frac{1}{3} \cdot 8 = \frac{8}{3}

Why: 4^{3/2} means raise 4 to the power 3/2 — take the square root first (= 2), then cube (= 8).

Result: \displaystyle\int_0^2 x\sqrt{4 - x^2}\,dx = \frac{8}{3}.

The curve $y = x\sqrt{4 - x^2}$ from $x = 0$ to $x = 2$. The shaded area under this curve is exactly $8/3$. The curve rises to a peak near $x = \sqrt{2} \approx 1.41$ and then returns to zero at $x = 2$, tracing out a smooth hump.

The graph confirms the answer makes sense: the curve encloses a region whose area should be a bit more than the area of a triangle with base 2 and height 2, which would be 2. And 8/3 \approx 2.67 is indeed slightly more.

Example 2: Integration by parts — evaluate $\int_0^1 x \, e^x \, dx$

Step 1. Choose u and v'. The integrand is a product of an algebraic function (x) and an exponential (e^x). By LIATE, u = x (algebraic comes before exponential).

u = x, \quad v' = e^x \quad \Longrightarrow \quad u' = 1, \quad v = e^x

Why: differentiating x gives 1, which simplifies. Integrating e^x gives e^x, which stays the same. The resulting integral \int 1 \cdot e^x\,dx will be trivial.

Step 2. Apply the by-parts formula.

\int_0^1 x \, e^x \, dx = \bigl[x \, e^x\bigr]_0^1 - \int_0^1 1 \cdot e^x \, dx

Why: this is the formula [uv]_a^b - \int_a^b u'v\,dx applied directly.

Step 3. Evaluate the boundary term.

\bigl[x \, e^x\bigr]_0^1 = 1 \cdot e^1 - 0 \cdot e^0 = e - 0 = e

Why: plug in the upper limit x = 1 and subtract the value at x = 0.

Step 4. Evaluate the remaining integral.

\int_0^1 e^x \, dx = \bigl[e^x\bigr]_0^1 = e - 1

Why: the antiderivative of e^x is e^x. At x = 1 it equals e; at x = 0 it equals 1.

Step 5. Combine.

\int_0^1 x \, e^x \, dx = e - (e - 1) = 1

Result: \displaystyle\int_0^1 x \, e^x \, dx = 1.

The solid curve is $y = xe^x$, the integrand. The dashed curve is $y = e^x$ for comparison. The area under $y = xe^x$ from $0$ to $1$ equals exactly $1$ — a strikingly clean answer for a function involving $e$.

The answer 1 is unexpectedly neat. The area under xe^x from 0 to 1 — a region bounded by a curve that rises to e \approx 2.718 — is exactly one square unit. The boundary term e and the remaining integral e - 1 conspire to cancel all the e's, leaving a rational number.

Common confusions

Going deeper

If you are comfortable with substitution and by-parts in definite integrals, you can stop here. What follows is a closer look at reduction formulas, a proof that the Weierstrass substitution is universal, and some less obvious substitution strategies.

Why the Weierstrass substitution always works

Any rational function of \sin x and \cos x — that is, any expression built from \sin x, \cos x, and the four arithmetic operations — can be written as a ratio of two polynomials in \sin x and \cos x. The identities

\sin x = \frac{2\tan(x/2)}{1 + \tan^2(x/2)}, \quad \cos x = \frac{1 - \tan^2(x/2)}{1 + \tan^2(x/2)}

follow from the double-angle formulas \sin x = 2\sin(x/2)\cos(x/2) and \cos x = \cos^2(x/2) - \sin^2(x/2), after dividing numerator and denominator by \cos^2(x/2). With t = \tan(x/2), both \sin x and \cos x become rational functions of t, and dx = \frac{2}{1+t^2}\,dt is also rational in t. So the entire integrand becomes a rational function of t, which you can always decompose by partial fractions.

This is a powerful existence result: it guarantees that every integral of a rational trigonometric function can be reduced to partial fractions, even if the algebra is unpleasant.

Reduction formulas for other powers

The reduction formula I_n = \frac{n-1}{n} I_{n-2} derived above for \int_0^{\pi/2} \sin^n x \, dx has analogues for other families:

Each of these can be iterated to reduce the index all the way to a base case, producing a closed-form answer.

Recognising hidden substitutions

Many competition-level definite integrals are designed so that a single substitution collapses the problem, but the substitution is not obvious. A useful habit: when the integrand involves f(x) and f(a + b - x) (or f(a - x) when one limit is 0), adding the integral to its transformed version often simplifies. This is a technique, not a formula — the art is in spotting the symmetry.

For example, \int_0^{\pi/2} \frac{\sin x}{\sin x + \cos x}\,dx. Set x = \pi/2 - t, so \sin x = \cos t and \cos x = \sin t. The integral becomes \int_0^{\pi/2} \frac{\cos t}{\cos t + \sin t}\,dt. Add the two versions:

2I = \int_0^{\pi/2} \frac{\sin x + \cos x}{\sin x + \cos x}\,dx = \int_0^{\pi/2} 1 \, dx = \frac{\pi}{2}

So I = \pi/4. A problem that looks intractable becomes trivial once you notice the symmetry.

Where this leads next