There are two apparently different definitions of a logarithm that appear in the secondary mathematics curriculum:

- From Algebra II and Precalculus: If and , then is the inverse function of .
- From Calculus: for , we define .

In the previous posts of this series, we established the connection between these two apparently different ways of defining a logarithm.

In this post, I describe some natural consequences of Definition 2 as it relates to calculus involving logarithmic and exponential functions. None of the results that follow are new to the senior math majors taking my capstone course. However, they almost unanimously tell me that they never learned why these rules worked when they were taking the calculus sequence several semesters ago… instead, they were given these rules to just memorize without worrying about where they came from. (I don’t doubt that some of them were taught the logical development that’s shown below, but perhaps they forgot about it since they were never held responsible for this logical development on homework or exams when they were freshmen or sophomores.)

A pedagogical note: because none of these theorems should be a surprise to students, I’ll write the left-hand sides and the equal sign on the board and then leave the right-hand side blank. After my students tell me what the punch line of the theorem should be, then I’ll write the complete statement of the theorem on the board before proceeding to the proof. If my students can’t remember the punch-line (which has happened for Theorem 2 below), I’ll just start the proof until we reach the conclusion and then fill in the blank right-hand side of the theorem’s statement later.

**Proof**. This is a consequence of the Fundamental Theorem of Calculus. Loosely stated, the derivative of an integral is the original function.

**Theorem 2**.

**Proof**. This is a consequence of the change-of-base formula:

Since is just a constant, we conclude

**Theorem 3**.

**Proof**. This proof uses a standard trick. Suppose that

so that

We need to compute the derivative . To this end, let’s apply implicit differentiation to this last equation:

**Technical Note**: The above proof assumes that the derivative exists in the first place, and so, technically, implicit differentiation is inappropriate (even if it does produce the correct answer). However, the existence proof is quite difficult, requiring an advanced version of the Mean Value Theorem. So, for pedagogical reasons, I have absolutely no qualms about showing the above proof to students in a class that does not require second-semester real analysis as a prerequisite.

**Pedagogical Note**: After presenting this proof to my students, students are usually emotionally stunned. They usually tell me that they never saw how the derivative of an inverse function could be computed back when they were in the calculus sequence… it was just another formula that they had to memorize. So (time permitting), to let this idea sink in a little further, I’ll go off on a tangent (pun intended)…

…to find the derivative of an inverse trigonometric function:

I’ll then invite students to figure out the derivatives of and on their own after class.

**Theorem 4**.

**Proof**. Let in Theorem 3. Alternatively, repeat the above argument for the inverse functions and .

## 2 Comments