What's the most effective way to introduce/motivate the anti-derivative of $\sec x$?

Question

When teaching calculus, I often present the indefinite integral $$ \int \sec x \, dx = \ln | \sec x + \tan x | + C. $$

I am looking for ways to motivate this anti-derivative rather than just tell the students the answer and show them how to verify it.

Here's the best I have come up with:

We are trying to find a function whose derivative is $\sec x$, so let's think of all the functions we know whose derivative involves $\sec x$. Well, $\frac{d}{dx} \sec x = \sec x \tan x$ and $\frac{d}{dx} \tan x = \sec^2 x$. If we play around a bit, we might stumble upon noticing that $\frac{d}{dx} (\sec x + \tan x) = \sec x (\sec x + \tan x)$ and if we are clever enough, we might realize how that can help us, since if $$ \sec x = \frac{\frac{d}{dx} (\sec x + \tan x)}{\sec x + \tan x},$$ then since we know that $\frac{d}{dx} \ln |f(x)| = \frac{f'(x)}{f(x)}$, we can realize that $$ \sec x = \frac{d}{dx} \ln |\sec x + \tan x|.$$

Is there a simpler way to motivate the result? Is there a better explanation or reason for taking the linear combination $\sec x + \tan x$ than just trying simple combinations in the hope that something good will happen?

Answer 1

To expand on Gerald Edgar's comments above:

Assume that you have already covered partial fractions.

Develop a general strategy for integrals of powers of trig functions: If a power is odd, you can use pythagorean identity and a substitution. If both powers are even, use half angle reduction formulas.

For instance

$$ \begin{align*} \int\sin^{2k+1}\cos^m(x) dx &= \int (1-\cos^2(x))^k \cos^m(x) \sin(x) dx\\ &=\int -(1-u^2)^k u^m du \end{align*} $$

Where we made the substitution $u = \cos(x)$.

Start with some positive integer examples. Here, you just get a polynomial, so you can integrate by expanding and integrating termwise. Then observe the same strategy works for all integers, you just get rational functions of $u$ if an exponent is negative, which might have to be handled using partial fraction decomposition.

An example of this general strategy is integrating secant!

$$ \begin{align*} \int \sec(x) dx &= \int \cos(x)^{-1} dx \textrm{ This is an odd power of cosine}\\ &= \int \cos(x)^{-2}\cos(x) dx\\ &=\int (1-\sin^2(x))^{-1}\cos(x) dx\\ &=\int \frac{1}{1-u^2} du\\ &=\frac{1}{2}\int \frac{1}{1-u}+\frac{1}{1+u} du\\ &=\frac{1}{2}\left( \ln(1+u) - \ln(1-u)\right)+C\\ &=\frac{1}{2}\ln(\frac{1+\sin(x)}{1-\sin(x)})+C\\ &=\frac{1}{2}\ln(\frac{(1+\sin(x))^2}{\cos^2(x)})+C\\ &=\ln\left| \frac{1+\sin(x)}{\cos(x)} \right|+C\\ &=\ln\left| \sec(x) +\tan(x)\right|+C \end{align*} $$

So now the integral of secant fits into a more general story: it is an example of the general strategy we have for integrating any function of the form $\sin^n(x)\cos^m(x)$

Answer 2

In my opinion, a good story to tell about techniques of integration in general goes something like this:

We know that some functions (like $x^2$) have elementary antiderivatives, and some (like $e^{x^2}$) do not. This raises an obvious question: which functions do have elementary antiderivatives? We cannot answer the question in general in this course, but something we can do is tackle some large families of functions. For instance, we can anti differentiate all polynomials. Can we find elementary antiderivatives for all rational functions?

First learn partial fraction decomposition to reduce rational functions into simpler terms. Those involving linear functions in the denominator can be solved instantly using variable substitution. Those involving quadratic functions in the denominator require a new technique, trig sub.

Conclude that all rational functions can be integrated via this algorithm.

This also means that, if we can make a clever change of variables to yield a rational function, we can be assured of our ability to integrate it.

For any rational function of sine and cosine, using the tangent half angle substitution yields a rational function, and so we can integrate all of these functions as well. One can ominously foreshadow connections with algebraic geometry here, to lend the subject a suitable air of excitement and mystery.

The integral of secant is a corollary of this kind of work, and an illustration of the power of the method. We would have never been able to guess such a bizarre form for the antiderivative, but this grand structure yields the intuition needed to derive the result.

Answer 3

I. The history of the integral of the secant and the loxodrome is an excellent approach to this difficult, and historically difficult & important, integral. See Rickey and Tuchinsky, An Application of Geography to Mathematics: History of the Integral of the Secant, Mathematics Magazine Vol. 53, No. 3 (May, 1980), pp. 162-166, http://www.jstor.org/stable/2690106.

One lesson for students is that when a difficult problem is solved, the method of solution can be shared with others, making things easier for future generations, including them.

II. Once I accidentally stumbled upon the following. I was looking for an example of an integral to differentiate (with respect to the upper limit). I wanted something not too complicated but one that a Calculus I student couldn't antidifferentiate. And then I wanted to put a function in the upper limit and apply the chain rule. I thought it would be nice if it simplified, too. So I hit upon $$\int_0^x {1 \over 1-t^2} \; dt \quad \hbox{and} \quad \int_0^{\sin x} {1 \over 1 - t^2} \; dt \,.$$ And of course the last one simplifies to $\sec x$ (and is rather similar to Michael Joyce's comment and one of Steven Gubkin's answers). This occurs shortly before we get to substitution and therefore before the students know the antiderivative of $\sec x$. So I could point to the integral, and say, "Hey, this is an antiderivative of secant? Do we know a function that is antiderivative of secant? That's interesting. I wonder what that integral is. I guess we'll have to wait and see." It is motivating in that it piques their curiosity. Even if we don't get to partial fractions in Calc. I or prepare them for the Calc. I method, it gets the students to want to know the answer. It's more effective if most of your students haven't already had AP calculus.

III. Interestingly, according to Rickey and Tuchinsky, Isaac Barrow came up with essentially the same method as Joyce/Gubkin and was the first use of partial fractions in integration: $$\int {dx \over \cos x} = \int {\cos x \; dx \over \cos^2 x} = \cdots = {1\over 2} \int {\cos x \over 1 - \sin x} + {\cos x \over 1 + \sin x} \; dx = \text{etc.}$$

IV. A geometric approach. Let $s = \sec\theta$, $t = \tan\theta$:

Then from the differential triangle and the similar $1$-$s$-$t$ triangle, we have $$ {s \; d\theta \over 1} = {dt \over s} = {ds \over t} \,. $$ Okay, maybe it is easier to deduce the proportion from the derivative rules, given the current conditions in math. ed. Nevertheless, the symmetry of the last two terms of the proportion suggests combining them. Hence we get $$ {s \; d\theta \over 1} = {dt + ds \over s + t} = {d(s+t) \over s+t} = d(\ln |u|)\,, $$ where $u = \sec\theta + \tan\theta$. Integrating gives the result.