Deriving The Tangent-Power Reduction Formula

Why Reduce a Tangent Power?

A high power of tangent can be difficult to integrate directly. A useful strategy is to express the power in terms of an integral with a lower exponent. Repeating that reduction eventually reaches simple base cases. The purpose here is to derive the recurrence carefully, identify exactly when it applies, and check what it gives in a few low-degree cases.

The key identity is $\tan^2 x=\sec^2 x-1$. It separates a tangent power into a term involving $\sec^2 x$, whose antiderivative is $\tan x$, and a lower tangent power. Integration by parts justifies the reduction of the term involving $\sec^2 x$.

Definition: For a nonnegative integer $n$, write $I_n$ for an antiderivative of $\tan^n x$ on an interval where $\tan x$ is defined. Thus $I_n'(x)=\tan^n x$ on that interval. Antiderivatives that differ by a constant represent the same indefinite integral.

Tangent is undefined where $\cos x=0$, so all the formulas below are understood on an interval that does not contain such a point. In particular, the recurrence relates antiderivatives on each such interval; it does not assert that one formula passes continuously across a pole of tangent.

Base Cases

The reduction lowers the exponent by two, so its natural base cases are the powers zero and one. For power zero, $\tan^0 x=1$ wherever tangent is defined. For power one, the logarithm must retain an absolute value because $\cos x$ can be negative on some intervals.

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

To check the second base case, differentiate $-\ln|\cos x|$. On an interval where $\cos x\ne 0$, the derivative of $\ln|\cos x|$ is $-\tan x$; therefore the derivative of its negative is $\tan x$. The absolute value is essential for a real-valued logarithm on intervals where $\cos x<0$.

Deriving the Reduction

Let $n\ge 2$ be an integer. Factor off two powers of tangent and use the identity $\tan^2 x=\sec^2 x-1$. This gives an integral involving $\tan^{n-2}x\sec^2x$ and a second integral with exponent $n-2$. The first integral is the one we will handle by integration by parts.

I_n =\int \tan^{n-2}x\,\tan^2x\,dx =\int \tan^{n-2}x\,\sec^2x\,dx-I_{n-2}.

For $n\ge 3$, denote the first integral on the right by $J$, and integrate by parts with $u=\tan^{n-2}x$ and $dv=\sec^2x\,dx$. Then $v=\tan x$ and $du=(n-2)\tan^{n-3}x\sec^2x\,dx$. The product $u v$ is $\tan^{n-1}x$, while the remaining integral is a multiple of $J$ itself.

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

Solving this equation for $J$, we add $(n-2)J$ to both sides and divide by $n-1$, which is nonzero for $n\ge 3$. Thus $J=\tan^{n-1}x/(n-1)$, up to an additive constant. Substituting this expression into the split integral gives the reduction formula.

Theorem: For every integer $n\ge 2$, on any interval where $\cos x\ne 0$, $$ I_n=\frac{\tan^{n-1}x}{n-1}-I_{n-2}+C. $$ For $n\ge 3$, the formula follows by the integration-by-parts calculation above. For $n=2$, the same formula follows directly from $\tan^2x=\sec^2x-1$, since $\int\sec^2x\,dx=\tan x$. The constant $C$ accounts for the fact that each indefinite integral is determined only up to an additive constant.

The separate check for $n=2$ matters. The integration-by-parts choice above differentiates $\tan^{n-2}x$; when $n=2$, that factor is the constant $1$, so the formula for its derivative written using $\tan^{n-3}x$ is not appropriate at zeros of tangent. Directly, however, the identity gives $I_2=\int\sec^2x\,dx-\int1\,dx=\tan x-x+C$, exactly as the recurrence states.

Why the Recurrence Works

The derivation has two linked parts. The identity $\tan^2x=\sec^2x-1$ lowers the exponent in one term from $n$ to $n-2$. Integration by parts then turns the other term into a multiple of itself plus the explicit expression $\tan^{n-1}x$. Rearranging isolates that integral, so the result contains just one lower-power integral.

There is also a quick derivative check for the algebra. On an interval where tangent is defined, the chain rule gives $(\tan^{n-1}x)'=(n-1)\tan^{n-2}x\sec^2x$. Hence an antiderivative of $\tan^{n-2}x\sec^2x$ is $\tan^{n-1}x/(n-1)$. This confirms the expression obtained by integration by parts; the integration-by-parts derivation explains how the term fits into the reduction of $I_n$.

Split off two powers.
Write $\tan^n x=\tan^{n-2}x(\sec^2x-1)$.

Identify the lower-power integral.
The term with $-1$ is $-I_{n-2}$.

Evaluate the secant-squared term.
Integration by parts gives $\int\tan^{n-2}x\sec^2x\,dx=\tan^{n-1}x/(n-1)+C$.

Combine the terms.
The resulting formula reduces the exponent by two and requires the base cases $I_0$ and $I_1$.

Worked Examples

Worked Example: The Power $n=2$

Use the reduction formula with $n=2$. Here $n-1=1$ and $I_{n-2}=I_0=x+C$, so

I_2=\frac{\tan x}{1}-I_0 =\tan x-x+C.

Differentiate the proposed antiderivative. Since $(\tan x)'=\sec^2x$,

\frac{d}{dx}(\tan x-x) =\sec^2x-1 =\tan^2x.

The derivative is the original integrand, so the result is correct wherever $\cos x\ne0$.

Worked Example: The Power $n=3$

For $n=3$, the recurrence uses $I_1$. Substitute the base case $I_1=-\ln|\cos x|+C$:

\begin{aligned} I_3 &=\frac{\tan^2x}{2}-I_1\\ &=\frac{\tan^2x}{2}+\ln|\cos x|+C. \end{aligned}

Check by differentiation. The derivative of the first term is $\tan x\sec^2x$; the derivative of $\ln|\cos x|$ is $-\tan x$. Therefore

\frac{d}{dx}\left(\frac{\tan^2x}{2}+\ln|\cos x|\right) =\tan x\sec^2x-\tan x =\tan x(\sec^2x-1) =\tan^3x.

This check also confirms the sign of the logarithmic term.

Worked Example: One Reduction for the Power $n=5$

This example illustrates how the recurrence uses the base case of matching parity: reducing the exponent by two takes $5$ to $3$. From the preceding calculation, $I_3=\tan^2x/2+\ln|\cos x|+C$. Thus

\begin{aligned} I_5 &=\frac{\tan^4x}{4}-I_3\\ &=\frac{\tan^4x}{4}-\frac{\tan^2x}{2}-\ln|\cos x|+C. \end{aligned}

Differentiate each term:

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

The final equality uses $\sec^2x-1=\tan^2x$. The derivative agrees with the integrand, as required.

Common Pitfall: Losing the Minus Sign

A frequent error is to expand $\tan^2x$ as $\sec^2x+1$ instead of $\sec^2x-1$. That incorrect identity produces the wrong sign on $I_{n-2}$. For example, the mistaken calculation for $n=2$ would give

I_2\ \text{(incorrect)} =\int(\sec^2x+1)\,dx =\tan x+x+C.

Differentiating exposes the error: $(\tan x+x)'=\sec^2x+1=\tan^2x+2$, not $\tan^2x$. The correct identity yields $\tan^2x=\sec^2x-1$, and therefore

I_2=\int(\sec^2x-1)\,dx=\tan x-x+C, \qquad (\tan x-x)'=\tan^2x.

Another point to keep in view is that the denominator $n-1$ requires $n\ne1$. The recurrence is stated for $n\ge2$; $I_1$ is a base case, not an input to the formula. Likewise, the recurrence is for integer powers on intervals where tangent is defined, not a formula that removes tangent's poles.

When the Reduction Is Useful

The recurrence provides a systematic structure for tangent powers: an even exponent is reduced through even exponents until it reaches $I_0$, while an odd exponent is reduced through odd exponents until it reaches $I_1$. This parity distinction explains why both base cases are needed. It also makes the recurrence useful as a check: each step should lower the exponent by exactly two, with the explicit term $\tan^{n-1}x/(n-1)$ and a minus sign before the lower-power integral.

The recurrence is not itself a replacement for checking conditions. Before using it, confirm that the exponent is an integer at least two, the interval avoids points where $\cos x=0$, and the base case reached has the correct parity. These checks keep the algebra and the domain of the antiderivative aligned.

Check Your Understanding

Use the derivation and examples above to answer the following questions.

State the tangent-power reduction formula and the condition on $n$.
Why are $I_0$ and $I_1$ the two required base cases?
In the integration-by-parts step, what choices are made for $u$ and $dv$, and what is $J$?
Differentiate $\tan x-x$ to verify the base reduction for $I_2$.
Why must the recurrence be applied on intervals that avoid $\cos x=0$?

Deriving The Tangent-Power Reduction Formula

What You'll Learn

Why Reduce a Tangent Power?

Base Cases

Deriving the Reduction

Why the Recurrence Works

Worked Examples

Worked Example: The Power \(n=2\)

Worked Example: The Power \(n=3\)

Worked Example: One Reduction for the Power \(n=5\)

Common Pitfall: Losing the Minus Sign

When the Reduction Is Useful

Check Your Understanding

Test yourself: Calculus II final exam practice

Want all 1,114 practice problems?

Get the Calc Pass App

Vol. 1: 1,114 Questions

Vol. 2: Solutions Manual

Deriving The Tangent-Power Reduction Formula

What You'll Learn

Why Reduce a Tangent Power?

Base Cases

Deriving the Reduction

Why the Recurrence Works

Worked Examples

Worked Example: The Power \(n=2\)

Worked Example: The Power \(n=3\)

Worked Example: One Reduction for the Power \(n=5\)

Common Pitfall: Losing the Minus Sign

When the Reduction Is Useful

Check Your Understanding

Test yourself: Calculus II final exam practice

Want all 1,114 practice problems?

Get the Calc Pass App

Vol. 1: 1,114 Questions

Vol. 2: Solutions Manual

Previous

Next