# 6.4: The Derivative - An Afterthought

- Page ID
- 7954

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

Skills to Develop

- Explain the derivative

No, the derivative isn’t really an afterthought. Along with the integral it is, in fact, one of the most powerful and useful mathematical objects ever devised and we’ve been working very hard to provide a solid, rigorous foundation for it. In that sense it is a primary focus of our investigations.

On the other hand, now that we have built up all of the machinery we need to deﬁne and explore the concept of the derivative it will appear rather pedestrian alongside ideas like the convergence of power series, Fourier series, and the bizarre properties of \(\mathbb{Q}\) and \(\mathbb{R}\).

You spent an entire semester learning about the properties of the derivative and how to use them to explore the properties of functions so we will not repeat that eﬀort here. Instead we will deﬁne it formally in terms of the ideas and techniques we’ve developed thus far.

The Derivative

Given a function \(f(x)\) deﬁned on an interval \((a,b)\) we deﬁne

\[f'(x) = \lim_{h \to 0}\frac{f(x+h)-f(x)}{h}\]

There are a few fairly obvious facts about this deﬁnition which are nevertheless worth noticing explicitly:

- The derivative is deﬁned at a point. If it is deﬁned at every point in an interval \((a,b)\) then we say that the derivative exists at every point on the interval.
- Since it is deﬁned at a point it is at least theoretically possible for a function to be diﬀerentiable at a single point in its entire domain.
- Since it is deﬁned as a limit and not all limits exist, functions are not necessarily diﬀerentiable.
- Since it is deﬁned as a limit, Corollary 6.3.1 applies. That is, \(f'(x)\) exists if and only if \(∀\) sequences (\(h_n\)), \(h_n \neq 0\), if lim n→∞ hn = 0 then \[f'(x) = \lim_{n \to \infty }\frac{f(x+h_n)-f(x)}{h_n}\] Since \(\lim_{n \to \infty }h_n = 0\) this could also be written as \[f'(x) = \lim_{h_n \to 0}\frac{f(x+h_n)-f(x)}{h_n}\]

theorem \(\PageIndex{1}\): Differentiability Implies Continuity

If \(f\) is diﬀerentiable at a point \(c\) then \(f\) is continuous at \(c\) as well.

Exercise \(\PageIndex{1}\)

Prove Theorem \(\PageIndex{1}\).

As we mentioned, the derivative is an extraordinarily useful mathematical tool but it is not our intention to learn to use it here. Our purpose here is to deﬁne it rigorously (done) and to show that our formal deﬁnition does in fact recover the useful properties you came to know and love in your calculus course.

The ﬁrst such property is known as Fermat’s Theorem.

theorem \(\PageIndex{2}\): Fermat’s Theorem

Suppose \(f\) is diﬀerentiable in some interval \((a,b)\) containing \(c\). If \(f(c) ≥ f(x)\) for every \(x\) in \((a,b)\), then \(f'(c) = 0\).

**Proof:**

Since \(f'(c)\) exists we know that if \(\left ( h_n \right )_{n=1}^{\infty }\) converges to zero then the sequence \(a_n = \frac{f(c+h_n)-f(c)}{h_n}\) converges to \(f'(c)\). The proof consists of showing that \(f'(c) ≤ 0\) and that \(f'(c) ≥ 0\) from which we conclude that \(f'(c) = 0\). We will only show the ﬁrst part. The second is left as an exercise.

**Claim: **\(f'(c) ≤ 0\).

Let \(n_0\) be suﬃciently large that \(\frac{1}{n_0} < b -c\) and take \((h_n) = \left ( \frac{1}{n} \right )_{n=n_0}^{\infty }\). Then \(f\left ( c + \frac{1}{n} \right ) - f(c) \leq 0\) and \(\frac{1}{n} > 0\), so that

\[\frac{f(c+h_n)-f(c)}{h_n} \leq 0, \forall_n = n_0, n_0+1, \cdots\]

Therefore

\[f'(c) = \lim_{h_n \to 0}\frac{f(c+h_n)-f(c)}{h_n} \leq 0\]

Exercise \(\PageIndex{2}\)

Show that \(f'(c) ≥ 0\) and conclude that \(f'(c) = 0\).

Exercise \(\PageIndex{3}\)

Show that if \(f(c) ≤ f(x)\) for all \(x\) in some interval \((a,b)\) then \(f'(c) = 0\) too.

Many of the most important properties of the derivative follow from what is called the Mean Value Theorem (MVT) which we now state.

Theorem \(\PageIndex{3}\): The Mean Value Theorem

Suppose \(f'\) exists for every \(x ∈ (a,b)\) and \(f\) is continuous on \([a,b]\). Then there is a real number \(c ∈ (a,b)\) such that

\[f'(c) = \frac{f(b)-f(a)}{b-a}\]

However, it would be diﬃcult to prove the MVT right now. So we will ﬁrst state and prove Rolle’s Theorem, which can be seen as a special case of the MVT. The proof of the MVT will then follow easily.

Michel Rolle ﬁrst stated the following theorem in 1691. Given this date and the nature of the theorem it would be reasonable to suppose that Rolle was one of the early developers of calculus but this is not so. In fact, Rolle was disdainful of both Newton and Leibniz’s versions of calculus, once deriding them as a collection of “*ingenious fallacies.*” It is a bit ironic that his theorem is so fundamental to the modern development of the calculus he ridiculed.

theorem \(\PageIndex{4}\): Rolle’s Theorem

Suppose \(f'\) exists for every \(x ∈ (a,b)\), \(f\) is continuous on \([a,b]\), and

\[f(a) = f(b)\]

Then there is a real number \(c ∈ (a,b)\) such that

\[f'(c) = 0\]

**Proof:**

Since \(f\) is continuous on \([a,b]\) we see, by the Extreme Value Theorem, that \(f\) has both a maximum and a minimum on \([a,b]\). Denote the maximum by \(M\) and the minimum by \(m\). There are several cases:

**Case 1:**

\(f(a) = f(b) = M = m\). In this case \(f(x)\) is constant (why?). Therefore \(f'(x) = 0\) for every \(x ∈ (a,b)\).

**Case 2:**

\(f(a) = f(b) = M \neq m\). In this case there is a real number \(c ∈ (a,b)\) such that \(f(c)\) is a local minimum. By Fermat’s Theorem, \(f'(c) = 0\).

**Case 3:**

\(f(a) = f(b) = m \neq M\). In this case there is a real number \(c ∈ (a,b)\) such that \(f(c)\) is a local maximum. By Fermat’s Theorem, \(f'(c) = 0\).

**Case 4:**

\(f(a) = f(b)\) is neither a maximum nor a minimum. In this case there is a real number \(c_1 ∈ (a,b)\) such that \(f(c_1)\) is a local maximum, and a real number \(c_2 ∈ (a,b)\) such that \(f(c_2)\) is a local minimum. By Fermat’s Theorem, \(f'(c_1) = f'(c_2) = 0\).

With Rolle’s Theorem in hand we can prove the MVT which is really a corollary to Rolle’s Theorem or, more precisely, it is a generalization of Rolle’s Theorem. To prove it we only need to ﬁnd the right function to apply Rolle’s Theorem to. The following ﬁgure \(\PageIndex{1}\) shows a function, \(f(x)\), cut by a secant line, \(L(x)\), from \((a,f(a))\) to \((b,f(b))\).

**Figure \(\PageIndex{1}\):** Applying Rolle’s Theorem.

The vertical diﬀerence from \(f(x)\) to the secant line, indicated by \(φ(x)\) in the ﬁgure should do the trick. You take it from there.

Exercise \(\PageIndex{4}\)

Prove the Mean Value Theorem.

The Mean Value Theorem is extraordinarily useful. Almost all of the properties of the derivative that you used in calculus follow more or less easily from it. For example the following is true.

corollary \(\PageIndex{1}\)

If \(f'(x) > 0\) for every \(x\) in the interval \((a,b)\) then for every \(c,d ∈ (a,b)\) where \(d > c\) we have

\[f(d) > f(c)\]

That is, \(f\) is increasing on \((a,b)\).

**Proof:**

Suppose \(c\) and \(d\) are as described in the corollary. Then by the Mean Value Theorem there is some number, say \(α ∈ (c,d) ⊆ (a,b)\) such that

\[f'(\alpha ) = \frac{f(d)-f(c)}{d-c}\]

Since \(f'(α) > 0\) and \(d - c > 0\) we have \(f(d) - f(c) > 0\), or \(f(d) > f(c)\).

Exercise \(\PageIndex{5}\)

Show that if \(f'(x) < 0\) for every \(x\) in the interval \((a,b)\) then \(f\) is decreasing on \((a,b)\).

Corollary \(\PageIndex{2}\)

Suppose \(f\) is diﬀerentiable on some interval \((a,b)\), \(f'\) is continuous on \((a,b)\), and that \(f'(c) > 0\) for some \(c ∈ (a,b)\). Then there is an interval, \(I ⊂ (a,b)\), containing \(c\) such that for every \(x,y\) in \(I\) where \(x ≥ y, f(x) ≥ f(y)\).

Exercise \(\PageIndex{6}\)

Prove Corollary \(\PageIndex{2}\).

Exercise \(\PageIndex{7}\)

Show that if \(f\) is diﬀerentiable on some interval \((a,b)\) and that \(f'(c) < 0\) for some \(c ∈ (a,b)\) then there is an interval, \(I ⊂ (a,b)\), containing \(c\) such that for every \(x,y\) in \(I\) where \(x ≤ y, f(x) ≤ f(y)\).

## Contributor

Eugene Boman (Pennsylvania State University) and Robert Rogers (SUNY Fredonia)