Secant-Power Reduction Recurrences

Why Reduce a Secant Power?

An integral such as \(\int \sec^6 x\,dx\) can be difficult to evaluate directly. A reduction recurrence replaces an integral with a high exponent by an expression involving a lower exponent. For secant powers, the exponent drops by two at each step, so repeated use eventually reaches one of two simple base cases.

The recurrence is useful because it gives a systematic route from a general positive integer exponent to explicit antiderivatives. Its derivation also shows why integration by parts and the identity \(\tan^2 x=\sec^2 x-1\) work together particularly well here.

Definition: For a nonnegative integer \(n\), write \(I_n\) for an antiderivative of \(\sec^n x\) on an interval where \(\cos x\ne 0\). Thus \(I_n'(x)=\sec^n x\). Antiderivatives differing by a constant are regarded as equivalent when applying the recurrence.

The Secant-Power Recurrence

For an integer \(n\ge 2\), the reduction formula is

I_n = \frac{\sec^{n-2}x\,\tan x}{n-1} + \frac{n-2}{n-1}I_{n-2}.

In integral notation, this says that an antiderivative of \(\sec^n x\) can be written as the displayed boundary term plus \(\frac{n-2}{n-1}\) times an antiderivative of \(\sec^{n-2}x\). Any constant of integration is included in the final answer.

The condition \(n\ge 2\) matters. The formula is obtained by dividing by \(n-1\), and the reduction is designed for integer exponents that can be lowered by two. When \(n=2\), the coefficient of \(I_0\) is zero, so the formula gives the antiderivative directly.

Deriving the Formula

On an interval where \(\cos x\ne 0\), we can use \(\frac{d}{dx}\tan x=\sec^2 x\). Split off a factor of \(\sec^2 x\) and apply integration by parts, taking \(u=\sec^{n-2}x\) and \(dv=\sec^2 x\,dx\). Then \(v=\tan x\), and the chain rule gives \(du=(n-2)\sec^{n-2}x\tan x\,dx\). Therefore,

\begin{aligned} I_n &=\int \sec^{n-2}x\,\sec^2 x\,dx\\ &=\sec^{n-2}x\tan x -(n-2)\int \sec^{n-2}x\tan^2 x\,dx. \end{aligned}

Now use \(\tan^2 x=\sec^2 x-1\). The integral on the right becomes a difference of two secant-power integrals:

\begin{aligned} \int \sec^{n-2}x\tan^2 x\,dx &=\int \sec^{n-2}x(\sec^2 x-1)\,dx\\ &=I_n-I_{n-2}. \end{aligned}

Substitute this expression into the integration-by-parts equation, then collect the terms involving \(I_n\):

\begin{aligned} I_n &=\sec^{n-2}x\tan x-(n-2)(I_n-I_{n-2})\\ I_n+(n-2)I_n &=\sec^{n-2}x\tan x+(n-2)I_{n-2}\\ (n-1)I_n &=\sec^{n-2}x\tan x+(n-2)I_{n-2}. \end{aligned}

Since \(n\ge2\), \(n-1\ne0\). Dividing by \(n-1\) proves the recurrence. This derivation explains the reduction: integration by parts produces another integral at the original exponent, but the tangent identity expresses it as a difference that allows the original integral to be isolated.

Base Cases and Termination

Repeatedly applying the recurrence lowers the exponent by two. If the original exponent is even, the reductions end at \(n=2\), and then at exponent zero as needed. If it is odd, they end at \(n=3\), followed by exponent one. The two base antiderivatives are

I_0=\int 1\,dx=x, \qquad I_1=\int \sec x\,dx=\ln|\sec x+\tan x|.

For the second identity, differentiating the logarithm gives \(\sec x\) wherever \(\cos x\ne0\). The quantity \(\sec x+\tan x\) does not vanish on this domain: \((\sec x+\tan x)(\sec x-\tan x)=1\). Thus the logarithm is defined with the absolute value. For exponent two, the recurrence itself gives \(I_2=\tan x\), since its \(I_0\) coefficient is zero.

Conditions: The recurrence applies to integer exponents \(n\ge2\) on any interval on which \(\cos x\ne0\). The base cases are \(I_0=x\) and \(I_1=\ln|\sec x+\tan x|\); constants of integration may be added to the resulting antiderivative.

Worked Reductions

Worked Example: Integrating \(\sec^4 x\)

Apply the recurrence with \(n=4\). The exponent drops to two:

\begin{aligned} I_4 &=\frac{\sec^2 x\tan x}{3}+\frac{2}{3}I_2\\ &=\frac{1}{3}\sec^2 x\tan x+\frac{2}{3}\tan x+C. \end{aligned}

To check the result, differentiate its nonconstant terms. Using \(\frac{d}{dx}\sec x=\sec x\tan x\) and \(\tan^2 x=\sec^2 x-1\),

\begin{aligned} \frac{d}{dx}\left(\frac{1}{3}\sec^2 x\tan x+\frac{2}{3}\tan x\right) &=\frac{1}{3}\left(2\sec^2 x\tan^2 x+\sec^4 x\right) +\frac{2}{3}\sec^2 x\\ &=\frac{1}{3}\left(2\sec^2 x(\sec^2 x-1)+\sec^4 x+2\sec^2 x\right)\\ &=\frac{1}{3}(3\sec^4 x)\\ &=\sec^4 x. \end{aligned}

The derivative matches the integrand, so the antiderivative is verified.

Worked Example: Integrating \(\sec^5 x\)

For an odd exponent, reduce until the exponent is one. First apply the recurrence at \(n=5\), then at \(n=3\):

\begin{aligned} I_5 &=\frac{\sec^3 x\tan x}{4}+\frac{3}{4}I_3,\\ I_3 &=\frac{\sec x\tan x}{2}+\frac{1}{2}I_1,\\ I_1 &=\ln|\sec x+\tan x|. \end{aligned}

Substituting the last two lines into the first gives

I_5 = \frac{1}{4}\sec^3 x\tan x +\frac{3}{8}\sec x\tan x +\frac{3}{8}\ln|\sec x+\tan x| +C.

For a check, differentiate each term and combine the results:

\begin{aligned} \frac{d}{dx}\left(\frac{1}{4}\sec^3 x\tan x\right) &=\frac{1}{4}\left(3\sec^3 x\tan^2 x+\sec^5 x\right) =\sec^5 x-\frac{3}{4}\sec^3 x,\\ \frac{d}{dx}\left(\frac{3}{8}\sec x\tan x\right) &=\frac{3}{8}\left(\sec x\tan^2 x+\sec^3 x\right) =\frac{3}{4}\sec^3 x-\frac{3}{8}\sec x,\\ \frac{d}{dx}\left(\frac{3}{8}\ln|\sec x+\tan x|\right) &=\frac{3}{8}\sec x. \end{aligned}

Adding these derivatives cancels the \(\sec^3 x\) and \(\sec x\) terms, leaving \(\sec^5 x\), as required.

Worked Example: Integrating \(\sec^6 x\)

Apply the recurrence once to reduce the exponent from six to four, then use the result for \(I_4\):

\begin{aligned} I_6 &=\frac{\sec^4 x\tan x}{5}+\frac{4}{5}I_4\\ &=\frac{1}{5}\sec^4 x\tan x +\frac{4}{15}\sec^2 x\tan x +\frac{8}{15}\tan x+C. \end{aligned}

Differentiate the three nonconstant terms:

\begin{aligned} \frac{d}{dx}\left(\frac{1}{5}\sec^4 x\tan x\right) &=\frac{1}{5}\left(4\sec^4 x\tan^2 x+\sec^6 x\right) =\sec^6 x-\frac{4}{5}\sec^4 x,\\ \frac{d}{dx}\left(\frac{4}{15}\sec^2 x\tan x\right) &=\frac{4}{15}\left(2\sec^2 x\tan^2 x+\sec^4 x\right) =\frac{4}{5}\sec^4 x-\frac{8}{15}\sec^2 x,\\ \frac{d}{dx}\left(\frac{8}{15}\tan x\right) &=\frac{8}{15}\sec^2 x. \end{aligned}

The \(\sec^4 x\) and \(\sec^2 x\) terms cancel when these are added, leaving \(\sec^6 x\). This confirms the result.

A Common Sign Error

A frequent mistake is to use \(\tan^2 x=1-\sec^2 x\), reversing the terms in the identity. That sign error changes the recurrence. For example, it could lead to the incorrect expression \(I_4=\frac{1}{3}\sec^2 x\tan x-\frac{2}{3}\tan x\). Differentiating shows that it is not an antiderivative of \(\sec^4 x\):

\begin{aligned} \frac{d}{dx}\left(\frac{1}{3}\sec^2 x\tan x-\frac{2}{3}\tan x\right) &=\frac{1}{3}\left(2\sec^2 x\tan^2 x+\sec^4 x\right) -\frac{2}{3}\sec^2 x\\ &=\sec^4 x-\frac{4}{3}\sec^2 x. \end{aligned}

The correction is to keep the identity in its correct form, \(\tan^2 x=\sec^2 x-1\). Then \(\int\sec^{n-2}x\tan^2 x\,dx=I_n-I_{n-2}\), which leads to a positive coefficient \(\frac{n-2}{n-1}\) on the lower-power integral.

Using the Recurrence Efficiently

Before applying the formula, check that the exponent is an integer at least two and that the interval does not cross a point where \(\cos x=0\). Then lower the exponent by two until reaching the appropriate base case. Keep the recurrence's coefficients attached to each lower-power integral, and include one constant of integration in the final answer.

This method matters because it turns a family of integrals into a predictable sequence of simpler problems. The parity of the exponent tells you which base case will finish the calculation: an even power reaches \(I_0\), while an odd power reaches \(I_1\). Differentiation provides a direct check that the assembled terms reproduce the original secant power.

Check Your Understanding

Answer each question using the recurrence and its conditions.

State the secant-power reduction formula and the range of integer exponents for which it applies.
Which base case is reached when reducing \(\sec^7 x\), and which when reducing \(\sec^8 x\)?
Use one recurrence step to express \(I_7\) in terms of \(\sec^5 x\tan x\) and \(I_5\).
Which identity for \(\tan^2 x\) is used in the derivation, and how does it produce \(I_n-I_{n-2}\)?
Why must the interval of integration avoid points where \(\cos x=0\)?

Secant-Power Reduction Recurrences

What You'll Learn

Why Reduce a Secant Power?

The Secant-Power Recurrence

Deriving the Formula

Base Cases and Termination