# 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}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

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

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

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

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

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

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- 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 define 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 effort here. Instead we will define it formally in terms of the ideas and techniques we’ve developed thus far.

Given a function \(f(x)\) defined on an interval \((a,b)\) we define

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

There are a few fairly obvious facts about this definition which are nevertheless worth noticing explicitly:

- The derivative is defined at a point. If it is defined at every point in an interval \((a,b)\) then we say that the derivative exists at every point on the interval.
- Since it is defined at a point it is at least theoretically possible for a function to be differentiable at a single point in its entire domain.
- Since it is defined as a limit and not all limits exist, functions are not necessarily differentiable.
- Since it is defined 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}\]

If \(f\) is differentiable at a point \(c\) then \(f\) is continuous at \(c\) as well.

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 define it rigorously (done) and to show that our formal definition does in fact recover the useful properties you came to know and love in your calculus course.

The first such property is known as Fermat’s Theorem.

Suppose \(f\) is differentiable 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 first part. The second is left as an exercise.

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

Let \(n_0\) be sufficiently 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\]

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

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.

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 difficult to prove the MVT right now. So we will first 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 first 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.

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 find the right function to apply Rolle’s Theorem to. The following figure \(\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 difference from \(f(x)\) to the secant line, indicated by \(φ(x)\) in the figure should do the trick. You take it from there.

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.

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)\).

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

Suppose \(f\) is differentiable 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)\).

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

Show that if \(f\) is differentiable 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)\).