Integration Using Reduction Formulas: Steps, Examples

#Calculus
TL;DR
A reduction formula rewrites an integral with power n as the same integral with a smaller power. This guide to integration using reduction formulas derives six standard formulas, proves Wallis' formula and works verified examples.
BT
Bhanzu TeamLast updated on October 9, 202619 min read

What Is A Reduction Formula In Integration?

A reduction formula in integration is a rule that expresses an integral containing a whole-number parameter nn, usually a power, in terms of the same kind of integral with a smaller parameter, such as n−1n - 1 or n−2n - 2. Integration using reduction formulas applies that rule repeatedly until the integral reaches a case you can integrate directly. It is one of the methods of integration, built on top of integration by parts.

Write the family of integrals as InI_n. A typical reduction formula has the shape

In=Bn(x)+cn,In−kI_n = B_n(x) + c_n,I_{n-k}

  • InI_n is the integral with parameter nn, for example In=∫sin⁡nx,dxI_n = \int \sin^n x,dx.

  • Bn(x)B_n(x) is the boundary term, an ordinary function that comes out of integration by parts.

  • cnc_n is a number that depends on nn, such as n−1n\frac{n-1}{n}.

  • kk is the step size: 11 for xnexx^n e^x and (ln⁡x)n(\ln x)^n, and 22 for powers of trig functions.

The formula is valid only for the values of nn where it was derived (often n≥2n \geq 2), and the chain stops at a base case such as I0I_0 or I1I_1. A reduction formula is a recurrence relation for integrals. The answer to I8I_8 is found by climbing down to I0I_0 and then substituting back up.

How Do You Derive A Reduction Formula?

Most reduction formulas come from one recipe based on integration by parts, ∫u,dv=uv−∫v,du\int u,dv = uv - \int v,du:

  1. Split off one easy factor. Write the power as a lower power times a factor you can integrate, such as sin⁡nx=sin⁡n−1x⋅sin⁡x\sin^n x = \sin^{n-1} x \cdot \sin x.

  2. Integrate by parts. Let uu be the lower power and dvdv the easy factor. Differentiating uu lowers the power by one.

  3. Use an identity to bring back the original integral. For trig powers, cos⁡2x=1−sin⁡2x\cos^2 x = 1 - \sin^2 x or tan⁡2x=sec⁡2x−1\tan^2 x = \sec^2 x - 1 turns the new integral into a mix of InI_n and In−2I_{n-2}.

  4. Solve for InI_n. The original integral appears on both sides. Collect it on the left and divide.

Step 3 is where the method earns its name. The integral you started with comes back, and instead of going round in circles you treat it as an unknown and solve for it, exactly as you would solve I=5−2II = 5 - 2I for II. The identities used here are the Pythagorean trigonometric identities.

What Is The Reduction Formula For Powers Of Sine?

For every integer n≥2n \geq 2:

∫sin⁡nx,dx=−1nsin⁡n−1xcos⁡x+n−1n∫sin⁡n−2x,dx\int \sin^n x,dx = -\frac{1}{n}\sin^{n-1} x \cos x + \frac{n-1}{n}\int \sin^{n-2} x,dx

This answers a question that turns up on Q and A sites almost verbatim: "Give reduction formula for ∫sin⁡nx,dx\int \sin^n x,dx." Here is the derivation, following the recipe.

Split sin⁡nx=sin⁡n−1x⋅sin⁡x\sin^n x = \sin^{n-1} x \cdot \sin x and integrate by parts with

u=sin⁡n−1x,du=(n−1)sin⁡n−2xcos⁡x,dxu = \sin^{n-1} x, \qquad du = (n-1)\sin^{n-2} x \cos x,dx

dv=sin⁡x,dx,v=−cos⁡xdv = \sin x,dx, \qquad v = -\cos x

Then

In=−sin⁡n−1xcos⁡x+(n−1)∫sin⁡n−2xcos⁡2x,dxI_n = -\sin^{n-1} x \cos x + (n-1)\int \sin^{n-2} x \cos^2 x,dx

Replace cos⁡2x\cos^2 x with 1−sin⁡2x1 - \sin^2 x:

In=−sin⁡n−1xcos⁡x+(n−1)∫sin⁡n−2x,dx−(n−1)∫sin⁡nx,dxI_n = -\sin^{n-1} x \cos x + (n-1)\int \sin^{n-2} x,dx - (n-1)\int \sin^{n} x,dx

In=−sin⁡n−1xcos⁡x+(n−1)In−2−(n−1)InI_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2} - (n-1)I_n

Move (n−1)In(n-1)I_n to the left, so the left side becomes nInn I_n, and divide by nn:

In=−1nsin⁡n−1xcos⁡x+n−1nIn−2I_n = -\frac{1}{n}\sin^{n-1} x \cos x + \frac{n-1}{n}I_{n-2}

The base cases are I0=∫1,dx=x+CI_0 = \int 1,dx = x + C and I1=∫sin⁡x,dx=−cos⁡x+CI_1 = \int \sin x,dx = -\cos x + C. Even powers end at I0I_0 and odd powers end at I1I_1. Actually, you can stop the chain earlier if you already know a lower integral, such as I2=−12sin⁡xcos⁡x+x2+CI_2 = -\frac{1}{2}\sin x\cos x + \frac{x}{2} + C.

Geometrically, the boundary term −1nsin⁡n−1xcos⁡x-\frac{1}{n}\sin^{n-1} x \cos x is zero at x=0x = 0 and at x=π2x = \frac{\pi}{2}. That single fact turns the formula into Wallis' formula further down. For odd powers there is a faster substitution route, u=cos⁡xu = \cos x, covered with the other integration of trigonometric functions techniques. The reduction formula is the method that works for every power, odd or even.

What Is The Reduction Formula For Powers Of Cosine?

For every integer n≥2n \geq 2:

∫cos⁡nx,dx=1ncos⁡n−1xsin⁡x+n−1n∫cos⁡n−2x,dx\int \cos^n x,dx = \frac{1}{n}\cos^{n-1} x \sin x + \frac{n-1}{n}\int \cos^{n-2} x,dx

The derivation mirrors the sine case. Split cos⁡nx=cos⁡n−1x⋅cos⁡x\cos^n x = \cos^{n-1} x \cdot \cos x, take u=cos⁡n−1xu = \cos^{n-1} x and dv=cos⁡x,dxdv = \cos x,dx, so v=sin⁡xv = \sin x and du=−(n−1)cos⁡n−2xsin⁡x,dxdu = -(n-1)\cos^{n-2} x \sin x,dx. Integration by parts gives cos⁡n−1xsin⁡x+(n−1)∫cos⁡n−2xsin⁡2x,dx\cos^{n-1} x \sin x + (n-1)\int \cos^{n-2} x \sin^2 x,dx, and sin⁡2x=1−cos⁡2x\sin^2 x = 1 - \cos^2 x brings back InI_n.

Only one sign differs from the sine formula, the sign of the boundary term. The derivative of sin⁡x\sin x is cos⁡x\cos x with no minus sign, so vv carries no minus sign either.

What Is The Reduction Formula For Polynomial Times Exponential Integrals?

For every integer n≥1n \geq 1 and constant a≠0a \neq 0:

∫xneax,dx=1axneax−na∫xn−1eax,dx\int x^n e^{ax},dx = \frac{1}{a}x^n e^{ax} - \frac{n}{a}\int x^{n-1} e^{ax},dx

Here there is no identity step. Take u=xnu = x^n, so du=nxn−1,dxdu = n x^{n-1},dx, and dv=eax,dxdv = e^{ax},dx, so v=1aeaxv = \frac{1}{a}e^{ax}. One round of integration by parts drops the power by exactly one, and the step size is 11. The base case is ∫eax,dx=1aeax+C\int e^{ax},dx = \frac{1}{a}e^{ax} + C, from the rules for the integration of exponential functions.

With a=1a = 1 the formula is In=xnex−nIn−1I_n = x^n e^x - n I_{n-1}. Each step multiplies by a falling whole number, so ∫x3ex,dx\int x^3 e^x,dx picks up the coefficients 11, 33, 3⋅2=63 \cdot 2 = 6 and 3⋅2⋅1=63 \cdot 2 \cdot 1 = 6 with alternating signs. Example 3 below shows it.

What Is The Reduction Formula For Powers Of Tangent?

For every integer n≥2n \geq 2:

∫tan⁡nx,dx=tan⁡n−1xn−1−∫tan⁡n−2x,dx\int \tan^n x,dx = \frac{\tan^{n-1} x}{n-1} - \int \tan^{n-2} x,dx

This one needs no integration by parts. Split off tan⁡2x\tan^2 x and use tan⁡2x=sec⁡2x−1\tan^2 x = \sec^2 x - 1:

∫tan⁡nx,dx=∫tan⁡n−2x,(sec⁡2x−1),dx\int \tan^n x,dx = \int \tan^{n-2} x,(\sec^2 x - 1),dx

=∫tan⁡n−2xsec⁡2x,dx−∫tan⁡n−2x,dx= \int \tan^{n-2} x \sec^2 x,dx - \int \tan^{n-2} x,dx

The first integral is a straight substitution: with w=tan⁡xw = \tan x, dw=sec⁡2x,dxdw = \sec^2 x,dx, it becomes ∫wn−2,dw=wn−1n−1\int w^{n-2},dw = \frac{w^{n-1}}{n-1}. The base cases are ∫1,dx=x+C\int 1,dx = x + C and ∫tan⁡x,dx=ln⁡∣sec⁡x∣+C\int \tan x,dx = \ln\lvert\sec x\rvert + C.

Notice two things that differ from the sine formula: there is no fraction in front of the remaining integral, and it is subtracted. That minus sign is where Example 2 goes wrong.

What Is The Reduction Formula For Powers Of Secant?

For every integer n≥2n \geq 2:

∫sec⁡nx,dx=sec⁡n−2xtan⁡xn−1+n−2n−1∫sec⁡n−2x,dx\int \sec^n x,dx = \frac{\sec^{n-2} x \tan x}{n-1} + \frac{n-2}{n-1}\int \sec^{n-2} x,dx

Split sec⁡nx=sec⁡n−2x⋅sec⁡2x\sec^n x = \sec^{n-2} x \cdot \sec^2 x. Take u=sec⁡n−2xu = \sec^{n-2} x, so du=(n−2)sec⁡n−2xtan⁡x,dxdu = (n-2)\sec^{n-2} x \tan x,dx, and dv=sec⁡2x,dxdv = \sec^2 x,dx, so v=tan⁡xv = \tan x. By parts:

In=sec⁡n−2xtan⁡x−(n−2)∫sec⁡n−2xtan⁡2x,dxI_n = \sec^{n-2} x \tan x - (n-2)\int \sec^{n-2} x \tan^2 x,dx

Replace tan⁡2x\tan^2 x with sec⁡2x−1\sec^2 x - 1:

In=sec⁡n−2xtan⁡x−(n−2)In+(n−2)In−2I_n = \sec^{n-2} x \tan x - (n-2)I_n + (n-2)I_{n-2}

(n−1)In=sec⁡n−2xtan⁡x+(n−2)In−2(n-1)I_n = \sec^{n-2} x \tan x + (n-2)I_{n-2}

Divide by n−1n - 1. The base cases are ∫sec⁡2x,dx=tan⁡x+C\int \sec^2 x,dx = \tan x + C and ∫sec⁡x,dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x,dx = \ln\lvert\sec x + \tan x\rvert + C. The famous ∫sec⁡3x,dx\int \sec^3 x,dx in Example 4 is one step above that second base case.

What Is The Reduction Formula For Powers Of The Natural Logarithm?

For every integer n≥1n \geq 1 and x>0x > 0:

∫(ln⁡x)n,dx=x(ln⁡x)n−n∫(ln⁡x)n−1,dx\int (\ln x)^n,dx = x(\ln x)^n - n\int (\ln x)^{n-1},dx

Take u=(ln⁡x)nu = (\ln x)^n, so du=n(ln⁡x)n−1x,dxdu = \frac{n(\ln x)^{n-1}}{x},dx, and dv=dxdv = dx, so v=xv = x. The xx from vv cancels the 1x\frac{1}{x} from dudu:

∫(ln⁡x)n,dx=x(ln⁡x)n−∫x⋅n(ln⁡x)n−1x,dx\int (\ln x)^n,dx = x(\ln x)^n - \int x \cdot \frac{n(\ln x)^{n-1}}{x},dx

=x(ln⁡x)n−n∫(ln⁡x)n−1,dx= x(\ln x)^n - n\int (\ln x)^{n-1},dx

The base case is ∫1,dx=x+C\int 1,dx = x + C, so even ∫ln⁡x,dx=xln⁡x−x+C\int \ln x,dx = x\ln x - x + C is just the n=1n = 1 step. The condition x>0x > 0 comes from the natural logarithm itself. A wider version handles xm(ln⁡x)nx^m(\ln x)^n and appears in the FAQ.

How Does Wallis' Formula Evaluate Powers Of Sine From 0 To Pi Over 2?

Wallis' formula evaluates the definite integral of sin⁡nx\sin^n x from 00 to π2\frac{\pi}{2} as a product of simple fractions:

Wn=∫0π/2sin⁡nx,dx=n−1n,Wn−2,W0=π2,W1=1W_n = \int_{0}^{\pi/2} \sin^n x,dx = \frac{n-1}{n},W_{n-2}, \qquad W_0 = \frac{\pi}{2}, \quad W_1 = 1

A Chegg-style exercise asks students to "use the reduction formula to show that" exactly this relation holds. Apply the sine reduction formula as a definite integral on [0,π2]\left[0, \frac{\pi}{2}\right]. The boundary term −1nsin⁡n−1xcos⁡x-\frac{1}{n}\sin^{n-1} x \cos x is 00 at x=π2x = \frac{\pi}{2} (because cos⁡π2=0\cos \frac{\pi}{2} = 0) and 00 at x=0x = 0 (because sin⁡0=0\sin 0 = 0 and n−1≥1n - 1 \geq 1). Only the multiplier survives.

Unrolling the recurrence gives two closed forms:

W2m=1⋅3⋅5⋯(2m−1)2⋅4⋅6⋯(2m)⋅π2W_{2m} = \frac{1 \cdot 3 \cdot 5 \cdots (2m-1)}{2 \cdot 4 \cdot 6 \cdots (2m)} \cdot \frac{\pi}{2}

W2m+1=2⋅4⋅6⋯(2m)3⋅5⋅7⋯(2m+1)W_{2m+1} = \frac{2 \cdot 4 \cdot 6 \cdots (2m)}{3 \cdot 5 \cdot 7 \cdots (2m+1)}

nn

0

1

2

3

4

5

6

7

8

WnW_n

π2\frac{\pi}{2}

11

π4\frac{\pi}{4}

23\frac{2}{3}

3π16\frac{3\pi}{16}

815\frac{8}{15}

5π32\frac{5\pi}{32}

1635\frac{16}{35}

35π256\frac{35\pi}{256}

Even powers carry a π\pi; odd powers are rational. The same table works for cos⁡nx\cos^n x, because the substitution x→π2−xx \to \frac{\pi}{2} - x swaps sine and cosine without changing the interval, one of the properties of definite integrals.

The table also hides a famous result. On [0,π2]\left[0, \frac{\pi}{2}\right], 0≤sin⁡x≤10 \leq \sin x \leq 1, so higher powers are smaller: W2m+1≤W2m≤W2m−1W_{2m+1} \leq W_{2m} \leq W_{2m-1}. Squeezing the ratio W2mW2m+1\frac{W_{2m}}{W_{2m+1}} between 11 and 2m+12m\frac{2m+1}{2m} forces it to 11, which rearranges into the Wallis product:

π2=21⋅23⋅43⋅45⋅65⋅67⋯\frac{\pi}{2} = \frac{2}{1} \cdot \frac{2}{3} \cdot \frac{4}{3} \cdot \frac{4}{5} \cdot \frac{6}{5} \cdot \frac{6}{7} \cdots

Which Reduction Formulas Should You Know?

The six derived above cover most course work. Reference lists add several more, all built with the same recipe. Every row below was checked by differentiating the right-hand side.

Integral

Reduction formula

Valid for

∫sin⁡nx,dx\int \sin^n x,dx

−1nsin⁡n−1xcos⁡x+n−1n∫sin⁡n−2x,dx-\frac{1}{n}\sin^{n-1} x\cos x + \frac{n-1}{n}\int \sin^{n-2} x,dx

n≥2n \geq 2

∫cos⁡nx,dx\int \cos^n x,dx

1ncos⁡n−1xsin⁡x+n−1n∫cos⁡n−2x,dx\frac{1}{n}\cos^{n-1} x\sin x + \frac{n-1}{n}\int \cos^{n-2} x,dx

n≥2n \geq 2

∫tan⁡nx,dx\int \tan^n x,dx

tan⁡n−1xn−1−∫tan⁡n−2x,dx\frac{\tan^{n-1} x}{n-1} - \int \tan^{n-2} x,dx

n≥2n \geq 2

∫sec⁡nx,dx\int \sec^n x,dx

sec⁡n−2xtan⁡xn−1+n−2n−1∫sec⁡n−2x,dx\frac{\sec^{n-2} x\tan x}{n-1} + \frac{n-2}{n-1}\int \sec^{n-2} x,dx

n≥2n \geq 2

∫xneax,dx\int x^n e^{ax},dx

1axneax−na∫xn−1eax,dx\frac{1}{a}x^n e^{ax} - \frac{n}{a}\int x^{n-1} e^{ax},dx

n≥1n \geq 1, a≠0a \neq 0

∫(ln⁡x)n,dx\int (\ln x)^n,dx

x(ln⁡x)n−n∫(ln⁡x)n−1,dxx(\ln x)^n - n\int (\ln x)^{n-1},dx

n≥1n \geq 1, x>0x > 0

∫xncos⁡x,dx\int x^n \cos x,dx

xnsin⁡x−n∫xn−1sin⁡x,dxx^n \sin x - n\int x^{n-1}\sin x,dx

n≥1n \geq 1

∫xnsin⁡x,dx\int x^n \sin x,dx

−xncos⁡x+n∫xn−1cos⁡x,dx-x^n \cos x + n\int x^{n-1}\cos x,dx

n≥1n \geq 1

∫sinh⁡nx,dx\int \sinh^n x,dx

1nsinh⁡n−1xcosh⁡x−n−1n∫sinh⁡n−2x,dx\frac{1}{n}\sinh^{n-1} x\cosh x - \frac{n-1}{n}\int \sinh^{n-2} x,dx

n≥2n \geq 2

∫cosh⁡nx,dx\int \cosh^n x,dx

1ncosh⁡n−1xsinh⁡x+n−1n∫cosh⁡n−2x,dx\frac{1}{n}\cosh^{n-1} x\sinh x + \frac{n-1}{n}\int \cosh^{n-2} x,dx

n≥2n \geq 2

∫dx(x2+a2)n\int \frac{dx}{(x^2+a^2)^n}

x2(n−1)a2(x2+a2)n−1+2n−32(n−1)a2∫dx(x2+a2)n−1\frac{x}{2(n-1)a^2(x^2+a^2)^{n-1}} + \frac{2n-3}{2(n-1)a^2}\int \frac{dx}{(x^2+a^2)^{n-1}}

n≥2n \geq 2, a≠0a \neq 0

∫xnarctan⁡x,dx\int x^n \arctan x,dx

xn+1n+1arctan⁡x−1n+1∫xn+11+x2,dx\frac{x^{n+1}}{n+1}\arctan x - \frac{1}{n+1}\int \frac{x^{n+1}}{1+x^2},dx

n≥0n \geq 0

The last row is worth checking yourself. Some printed lists show 1+x2\sqrt{1+x^2} in that denominator. Differentiating shows it must be 1+x21 + x^2, because the derivative of arctan⁡x\arctan x is 11+x2\frac{1}{1+x^2}. The habit of differentiating a formula before trusting it catches errors like this one.

Examples Of Integration Using Reduction Formulas

Example 1

Find ∫sin⁡4x,dx\int \sin^4 x,dx.

This is a real Quora question: "What is the integration of sin⁡4x,dx\sin^4 x,dx by reduction formula?" Use the sine formula with n=4n = 4, then n=2n = 2:

I4=−14sin⁡3xcos⁡x+34I2I_4 = -\frac{1}{4}\sin^3 x\cos x + \frac{3}{4}I_2

I2=−12sin⁡xcos⁡x+12I0,I0=xI_2 = -\frac{1}{2}\sin x\cos x + \frac{1}{2}I_0, \qquad I_0 = x

I2=−12sin⁡xcos⁡x+12xI_2 = -\frac{1}{2}\sin x\cos x + \frac{1}{2}x

Substitute back:

I4=−14sin⁡3xcos⁡x+34(−12sin⁡xcos⁡x+12x)+CI_4 = -\frac{1}{4}\sin^3 x\cos x + \frac{3}{4}\left(-\frac{1}{2}\sin x\cos x + \frac{1}{2}x\right) + C

=−14sin⁡3xcos⁡x−38sin⁡xcos⁡x+38x+C= -\frac{1}{4}\sin^3 x\cos x - \frac{3}{8}\sin x\cos x + \frac{3}{8}x + C

Final answer: −14sin⁡3xcos⁡x−38sin⁡xcos⁡x+38x+C-\frac{1}{4}\sin^3 x\cos x - \frac{3}{8}\sin x\cos x + \frac{3}{8}x + C

Example 2

Find ∫tan⁡4x,dx\int \tan^4 x,dx.

A natural first attempt reuses the shape of the sine formula and adds the lower integral:

I4=tan⁡3x3+I2,I2=tan⁡x+I0=tan⁡x+xI_4 = \frac{\tan^3 x}{3} + I_2, \qquad I_2 = \tan x + I_0 = \tan x + x

Attempt: tan⁡3x3+tan⁡x+x\text{Attempt: } \frac{\tan^3 x}{3} + \tan x + x

Check it by differentiating. The derivative is tan⁡2xsec⁡2x+sec⁡2x+1\tan^2 x\sec^2 x + \sec^2 x + 1, and simplifying gives tan⁡4x+2sec⁡2x\tan^4 x + 2\sec^2 x. That is not tan⁡4x\tan^4 x, so the attempt is wrong. The extra 2sec⁡2x2\sec^2 x comes from adding the lower integral where the formula subtracts it.

The correct formula is In=tan⁡n−1xn−1−In−2I_n = \frac{\tan^{n-1} x}{n-1} - I_{n-2}:

I4=tan⁡3x3−I2I_4 = \frac{\tan^3 x}{3} - I_2

I2=tan⁡x−I0=tan⁡x−xI_2 = \tan x - I_0 = \tan x - x

I4=tan⁡3x3−(tan⁡x−x)+CI_4 = \frac{\tan^3 x}{3} - (\tan x - x) + C

=tan⁡3x3−tan⁡x+x+C= \frac{\tan^3 x}{3} - \tan x + x + C

Check: differentiating gives tan⁡2xsec⁡2x−sec⁡2x+1=tan⁡2x(tan⁡2x+1)−tan⁡2x=tan⁡4x\tan^2 x\sec^2 x - \sec^2 x + 1 = \tan^2 x(\tan^2 x + 1) - \tan^2 x = \tan^4 x.

Final answer: tan⁡3x3−tan⁡x+x+C\frac{\tan^3 x}{3} - \tan x + x + C

Example 3

Find ∫x3ex,dx\int x^3 e^x,dx.

Use In=xnex−nIn−1I_n = x^n e^x - n I_{n-1} three times, with I0=exI_0 = e^x:

I3=x3ex−3I2I_3 = x^3 e^x - 3I_2

I2=x2ex−2I1I_2 = x^2 e^x - 2I_1

I1=xex−I0=xex−exI_1 = x e^x - I_0 = x e^x - e^x

I2=x2ex−2xex+2exI_2 = x^2 e^x - 2x e^x + 2e^x

I3=x3ex−3x2ex+6xex−6ex+CI_3 = x^3 e^x - 3x^2 e^x + 6x e^x - 6e^x + C

Final answer: ex(x3−3x2+6x−6)+Ce^x\left(x^3 - 3x^2 + 6x - 6\right) + C

Example 4

Find ∫sec⁡3x,dx\int \sec^3 x,dx.

Use the secant formula with n=3n = 3:

I3=sec⁡xtan⁡x2+12∫sec⁡x,dxI_3 = \frac{\sec x\tan x}{2} + \frac{1}{2}\int \sec x,dx

=12sec⁡xtan⁡x+12ln⁡∣sec⁡x+tan⁡x∣+C= \frac{1}{2}\sec x\tan x + \frac{1}{2}\ln\lvert\sec x + \tan x\rvert + C

This integral appears in arc-length problems, such as the length of a parabola, so it is worth knowing by heart.

Final answer: 12sec⁡xtan⁡x+12ln⁡∣sec⁡x+tan⁡x∣+C\frac{1}{2}\sec x\tan x + \frac{1}{2}\ln\lvert\sec x + \tan x\rvert + C

Example 5

Find ∫(ln⁡x)3,dx\int (\ln x)^3,dx for x>0x > 0.

Use In=x(ln⁡x)n−nIn−1I_n = x(\ln x)^n - n I_{n-1} with I0=xI_0 = x:

I3=x(ln⁡x)3−3I2I_3 = x(\ln x)^3 - 3I_2

I2=x(ln⁡x)2−2I1I_2 = x(\ln x)^2 - 2I_1

I1=xln⁡x−I0=xln⁡x−xI_1 = x\ln x - I_0 = x\ln x - x

I2=x(ln⁡x)2−2xln⁡x+2xI_2 = x(\ln x)^2 - 2x\ln x + 2x

I3=x(ln⁡x)3−3x(ln⁡x)2+6xln⁡x−6x+CI_3 = x(\ln x)^3 - 3x(\ln x)^2 + 6x\ln x - 6x + C

The coefficients 1,3,6,61, 3, 6, 6 are the same ones as in Example 3. Both formulas multiply by a falling whole number at each step.

Final answer: x(ln⁡x)3−3x(ln⁡x)2+6xln⁡x−6x+Cx(\ln x)^3 - 3x(\ln x)^2 + 6x\ln x - 6x + C

Example 6

Evaluate ∫0π/2sin⁡6x,dx\int_{0}^{\pi/2} \sin^6 x,dx and ∫0π/2cos⁡7x,dx\int_{0}^{\pi/2} \cos^7 x,dx.

Even power, so the chain ends at W0=π2W_0 = \frac{\pi}{2}:

W6=56⋅34⋅12⋅π2W_6 = \frac{5}{6} \cdot \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2}

=1548⋅π2=5π32= \frac{15}{48} \cdot \frac{\pi}{2} = \frac{5\pi}{32}

Odd power, so the chain ends at W1=1W_1 = 1, and cosine uses the same values as sine on this interval:

∫0π/2cos⁡7x,dx=67⋅45⋅23⋅1\int_{0}^{\pi/2} \cos^7 x,dx = \frac{6}{7} \cdot \frac{4}{5} \cdot \frac{2}{3} \cdot 1

=48105=1635= \frac{48}{105} = \frac{16}{35}

Final answer: 5π32≈0.4909\frac{5\pi}{32} \approx 0.4909 and 1635≈0.4571\frac{16}{35} \approx 0.4571

Why Do Reduction Formulas Exist?

Reduction formulas exist because repeating integration by parts by hand does not scale, and one general rule does. Integrating x10exx^{10} e^x directly means ten rounds of integration by parts, each with its own chance of a dropped sign. The reduction formula In=xnex−nIn−1I_n = x^n e^x - n I_{n-1} does all ten rounds at once, as a pattern.

  • Exact values that built mathematics. John Wallis worked with these integrals in his Arithmetica infinitorum of 1656 and reached his infinite product for π\pi, the same product derived above. The Wallis biography at MacTutor quotes it as 12π=2⋅2⋅4⋅4⋯1⋅3⋅3⋅5⋯\frac{1}{2}\pi = \frac{2 \cdot 2 \cdot 4 \cdot 4 \cdots}{1 \cdot 3 \cdot 3 \cdot 5 \cdots}.

  • Tables and software. Large integral tables list recurrences instead of thousands of separate answers, and computer algebra systems use the same recursions internally.

  • Proof by induction. Because a reduction formula links InI_n to In−1I_{n-1} or In−2I_{n-2}, results about every nn (such as the Wallis closed forms) follow by induction.

Where Are Reduction Formulas Used?

Reduction formulas turn up wherever powers of a function have to be integrated exactly.

  • Electrical engineering. The average of sin⁡2x\sin^2 x over a quarter cycle is W2π/2=π/4π/2=12\frac{W_2}{\pi/2} = \frac{\pi/4}{\pi/2} = \frac{1}{2}. That one-half is why the effective (RMS) value of an alternating current is its peak divided by 2\sqrt{2}.

  • Probability and statistics. Integrals of the form ∫01xm(1−x)n,dx\int_{0}^{1} x^m (1-x)^n,dx appear throughout the Beta distribution. A reduction formula evaluates them exactly; for instance, ∫01x2(1−x)3,dx=160\int_{0}^{1} x^2(1-x)^3,dx = \frac{1}{60}.

  • The Gamma function. The improper integral ∫0∞xne−x,dx\int_{0}^{\infty} x^n e^{-x},dx obeys the reduction In=nIn−1I_n = n I_{n-1} (the boundary term vanishes at both ends), so InI_n equals nn factorial. The NIST Digital Library of Mathematical Functions lists this recurrence as a basic property of the Gamma function.

  • Fourier series and physics. Products of powers of sine and cosine are integrated term by term when signals are broken into frequencies, and Wallis integrals reappear in the volume of a ball in higher dimensions.

Why Do Students Get Reduction Formulas Wrong?

Most errors with reduction formulas are bookkeeping errors, not calculus errors. The formula is right; the steps around it slip. These four account for most lost marks.

Mistake 1: Stepping Down By The Wrong Amount

Where it slips in: Trig powers, where the formula links InI_n to In−2I_{n-2}.

Don't do this: Write I5I_5 in terms of I4I_4, or keep stepping an odd power down until you reach I0I_0.

The correct way: Trig formulas drop by 22, so even powers end at I0I_0 and odd powers end at I1I_1. Write the whole chain of indices first, for example 5→3→15 \to 3 \to 1, before substituting anything.

Mistake 2: Losing The Multipliers When Substituting Back

Where it slips in: The back-substitution in Examples 1, 3 and 5.

Don't do this: Replace I2I_2 inside I4=−14sin⁡3xcos⁡x+34I2I_4 = -\frac{1}{4}\sin^3 x\cos x + \frac{3}{4}I_2 but forget to multiply every term of I2I_2 by 34\frac{3}{4}.

The correct way: Put brackets around each substituted integral, then expand. Each lower term carries the product of all the multipliers above it, which is why 38=34⋅12\frac{3}{8} = \frac{3}{4} \cdot \frac{1}{2} sits on the xx term in Example 1.

The rusher loses marks here. The derivation goes smoothly, and then the final line drops a fraction. Students who write the chain of multipliers in a margin before expanding stop making this mistake almost at once, because the products are visible before the algebra starts.

Mistake 3: Using The Formula Below Its Valid Range

Where it slips in: Applying the tangent or secant formula with n=1n = 1.

Don't do this: Put n=1n = 1 into tan⁡n−1xn−1\frac{\tan^{n-1} x}{n-1}, which divides by zero.

The correct way: Treat n=0n = 0 and n=1n = 1 as base cases and integrate them directly: ∫tan⁡x,dx=ln⁡∣sec⁡x∣+C\int \tan x,dx = \ln\lvert\sec x\rvert + C and ∫sec⁡x,dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x,dx = \ln\lvert\sec x + \tan x\rvert + C.

The memorizer is most exposed here. They can recite the formula but not where it came from, so they cannot tell when it stops applying. (This was the point that took me longest to see: the n−1n - 1 in the denominator is not decoration; it comes from dividing both sides in the derivation, and dividing by zero is exactly what n=1n = 1 would ask.)

Mistake 4: Trusting A Recurrence Blindly On A Calculator

Where it slips in: Computing definite values such as In=∫01xnex−1,dxI_n = \int_{0}^{1} x^n e^{x-1},dx with the exact recurrence In=1−nIn−1I_n = 1 - n I_{n-1}, starting from I0=1−e−1I_0 = 1 - e^{-1}.

Don't do this: Run the recurrence forward in rounded decimals all the way to n=20n = 20. In standard double precision, I10I_{10} still comes out as 0.08390.0839, but I20I_{20} comes out as about −30.19-30.19, which is impossible because the integrand is never negative.

The correct way: The true value is I20≈0.0455I_{20} \approx 0.0455. Each step multiplies the rounding error in I0I_0 by nn, so the error grows like nn factorial. Use the recurrence exactly (with fractions and ee), or run it backwards from a large nn, where the error shrinks instead of growing.

The real-world version of Mistake 4 cost lives. On 25 February 1991, a Patriot missile battery at Dhahran, Saudi Arabia, failed to intercept an incoming missile, and 28 American soldiers were killed. The US General Accounting Office report, Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, traced the failure to a tiny truncation in the system clock that grew with every hour of operation. After about 100 hours it amounted to roughly a third of a second, which was enough to point the radar at the wrong part of the sky.

A small error repeated many times is not small, whether it sits in a missile clock or in a recurrence run forward on a calculator.

Practice Problems On Integration Using Reduction Formulas

Work each one before reading the answer. Every answer was checked by differentiation or by direct evaluation.

  1. Find ∫cos⁡4x,dx\int \cos^4 x,dx. Answer to Question 1: 14cos⁡3xsin⁡x+38cos⁡xsin⁡x+38x+C\frac{1}{4}\cos^3 x\sin x + \frac{3}{8}\cos x\sin x + \frac{3}{8}x + C

  2. Find ∫x2e3x,dx\int x^2 e^{3x},dx. Answer to Question 2: e3x(x23−2x9+227)+Ce^{3x}\left(\frac{x^2}{3} - \frac{2x}{9} + \frac{2}{27}\right) + C

  3. Find ∫tan⁡5x,dx\int \tan^5 x,dx. Answer to Question 3: tan⁡4x4−tan⁡2x2+ln⁡∣sec⁡x∣+C\frac{\tan^4 x}{4} - \frac{\tan^2 x}{2} + \ln\lvert\sec x\rvert + C

  4. Evaluate ∫0π/2sin⁡5x,dx\int_{0}^{\pi/2} \sin^5 x,dx. Answer to Question 4: 45⋅23⋅1=815\frac{4}{5} \cdot \frac{2}{3} \cdot 1 = \frac{8}{15}

  5. Evaluate ∫0π/2cos⁡8x,dx\int_{0}^{\pi/2} \cos^8 x,dx. Answer to Question 5: 78⋅56⋅34⋅12⋅π2=35π256\frac{7}{8} \cdot \frac{5}{6} \cdot \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2} = \frac{35\pi}{256}

  6. Evaluate ∫1e(ln⁡x)2,dx\int_{1}^{e} (\ln x)^2,dx. Answer to Question 6: [x(ln⁡x)2−2xln⁡x+2x]1e=e−2\big[x(\ln x)^2 - 2x\ln x + 2x\big]_{1}^{e} = e - 2

What To Remember About Reduction Formulas

  • Integration using reduction formulas expresses InI_n in terms of In−1I_{n-1} or In−2I_{n-2} and walks down to a base case.

  • Almost every reduction formula comes from one recipe: split, integrate by parts, use an identity, solve for InI_n.

  • Trig powers step down by 22, while xnexx^n e^x and (ln⁡x)n(\ln x)^n step down by 11.

  • On [0,π2]\left[0, \frac{\pi}{2}\right] the boundary term vanishes, giving Wallis' formula Wn=n−1nWn−2W_n = \frac{n-1}{n}W_{n-2}.

  • The costly mistakes are a wrong sign in the tangent formula, dropped multipliers when substituting back, and using a formula below its valid nn.

A Practical Next Step

Work through Practice Problems 1 to 6. If Problem 3 trips you up, return to Example 2 and check the minus sign in the tangent formula; if Problem 5 does, reread the Wallis section and write out the chain of multipliers first. Want a teacher to check your next set? Book a free demo class with a Bhanzu trainer.

Read More

Was this article helpful?

Your feedback helps us write better content

Frequently Asked Questions

Is there any easy way to memorise the formulas for integration using reduction formulas?
Yes: memorise the recipe, not the formulas. Split off one factor, integrate by parts, use an identity, solve for InI_n. For sine and cosine, remember only the multiplier n−1n\frac{n-1}{n} and that the boundary term has a minus sign for sine. Everything else rebuilds in under a minute.
How do you find ∫sin⁡4(4x),dx\int \sin^4(4x),dx by integration using reduction formulas?
Substitute u=4xu = 4x, so dx=du4dx = \frac{du}{4}, and the integral becomes 14∫sin⁡4u,du\frac{1}{4}\int \sin^4 u,du. Use Example 1 for ∫sin⁡4u,du\int \sin^4 u,du and replace uu with 4x4x: 3x8−116sin⁡3(4x)cos⁡(4x)−332sin⁡(4x)cos⁡(4x)+C\frac{3x}{8} - \frac{1}{16}\sin^3(4x)\cos(4x) - \frac{3}{32}\sin(4x)\cos(4x) + C The first step is a substitution, and the rest is the ordinary sine formula.
What is the reduction formula for ∫(acos⁡x+bsin⁡x)n,dx\int (a\cos x + b\sin x)^n,dx?
In=1n(asin⁡x−bcos⁡x)(acos⁡x+bsin⁡x)n−1+(n−1)(a2+b2)nIn−2I_n = \frac{1}{n}(a\sin x - b\cos x)(a\cos x + b\sin x)^{n-1} + \frac{(n-1)(a^2 + b^2)}{n}I_{n-2} It works because acos⁡x+bsin⁡xa\cos x + b\sin x is a single cosine wave of amplitude a2+b2\sqrt{a^2 + b^2}, and the factor a2+b2a^2 + b^2 plays the role that 11 plays in cos⁡2x+sin⁡2x=1\cos^2 x + \sin^2 x = 1.
What is the reduction formula for ∫sin⁡mxcos⁡nx,dx\int \sin^m x\cos^n x,dx?
For m+n≠0m + n \neq 0 and n≥2n \geq 2: ∫sin⁡mxcos⁡nx,dx=sin⁡m+1xcos⁡n−1xm+n+n−1m+n∫sin⁡mxcos⁡n−2x,dx\int \sin^m x\cos^n x,dx = \frac{\sin^{m+1} x\cos^{n-1} x}{m+n} + \frac{n-1}{m+n}\int \sin^m x\cos^{n-2} x,dx It lowers the cosine power by 22 each time and leaves the sine power alone.
What is the reduction formula for ∫01xm(1−x)n,dx\int_{0}^{1} x^m(1-x)^n,dx?
Integrating by parts with u=(1−x)nu = (1-x)^n gives, for n≥1n \geq 1, ∫01xm(1−x)n,dx=nm+1∫01xm+1(1−x)n−1,dx\int_{0}^{1} x^m(1-x)^n,dx = \frac{n}{m+1}\int_{0}^{1} x^{m+1}(1-x)^{n-1},dx The boundary term vanishes at both ends. Repeating it until the (1−x)(1-x) power is 00 gives exact values, such as 160\frac{1}{60} for m=2m = 2, n=3n = 3.
What is the reduction formula for ∫xm(ln⁡x)n,dx\int x^m(\ln x)^n,dx?
For m≠−1m \neq -1, n≥1n \geq 1 and x>0x > 0: ∫xm(ln⁡x)n,dx=xm+1(ln⁡x)nm+1−nm+1∫xm(ln⁡x)n−1,dx\int x^m(\ln x)^n,dx = \frac{x^{m+1}(\ln x)^n}{m+1} - \frac{n}{m+1}\int x^m(\ln x)^{n-1},dx. For example, ∫x3(ln⁡x)2,dx=x4(ln⁡x)24−x4ln⁡x8+x432+C\int x^3(\ln x)^2,dx = \frac{x^4(\ln x)^2}{4} - \frac{x^4\ln x}{8} + \frac{x^4}{32} + C.
✍️ Written By
BT
Bhanzu Team
Content Creator and Editor
Bhanzu’s editorial team, known as Team Bhanzu, is made up of experienced educators, curriculum experts, content strategists, and fact-checkers dedicated to making math simple and engaging for learners worldwide. Every article and resource is carefully researched, thoughtfully structured, and rigorously reviewed to ensure accuracy, clarity, and real-world relevance. We understand that building strong math foundations can raise questions for students and parents alike. That’s why Team Bhanzu focuses on delivering practical insights, concept-driven explanations, and trustworthy guidance-empowering learners to develop confidence, speed, and a lifelong love for mathematics.
Related Articles
Book a FREE Demo ClassBook Now →