Skip to main content
Contents
Embed
Dark Mode Prev Up Next
\(\require{physics}\require{upgreek}\everymath{\displaystyle}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\inv}{^{-1}}
\newcommand{\DS}{\displaystyle}
\newcommand{\eps}{\varepsilon}
\newcommand{\tsub}[1]{_{\mathrm{#1}}}
\newcommand{\ee}{\mathrm{e}}
\newcommand{\ii}{\mathrm{i}}
\newcommand{\limit}[1]{\lim\limits_{#1}}
\newcommand{\resid}[1]{\underset{#1}{\Res}}
\DeclareMathOperator{\sinc}{sinc}
\DeclareMathOperator{\sgn}{sgn}
\newcommand{\pii}{\pi}
\DeclareMathOperator{\Prob}{P}
\DeclareMathOperator{\EV}{E}
\DeclareMathOperator{\Var}{Var}
\newcommand{\bv}[1]{\boldsymbol{#1}}
\newcommand{\uv}[1]{\hat{\bv{#1}}}
\newcommand{\cl}[1]{\mathcal{#1}}
\newcommand{\bb}[1]{\mathbb{#1}}
\DeclareMathOperator{\Cis}{cis}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\IM}{Im}
\newcommand{\xd}{\mathbf{d}}
\newcommand{\seq}[3]{{#1}_{#2},\cdots,{#1}_{#3}}
\newcommand{\psup}[1]{^{(#1)}}
\newcommand{\hypext}{{}^*}
\DeclareMathOperator{\st}{st}
\newcommand{\set}[1]{\left\{#1\right\}}
\DeclareMathOperator{\Sin}{Sin}
\DeclareMathOperator{\Cos}{Cos}
\DeclareMathOperator{\Tan}{Tan}
\DeclareMathOperator{\Sec}{Sec}
\DeclareMathOperator{\Csc}{Csc}
\DeclareMathOperator{\Cot}{Cot}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Arg}{Arg}
\DeclareMathOperator{\Ln}{Ln}
\DeclareMathOperator{\Grad}{grad}
\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\Curl}{curl}
\newcommand{\rd}{\textstyle\mathop{}\!\mathrm{d}^{\!\!\!-}\hspace{-0.0555 em}}
\newcommand{\rpd}{\textstyle\mathop{}\!\partial^{\hspace{-0.5 em}-}\hspace{-0.1666 em}}
\newcommand{\rdv}[2]{\frac{\rd{#1}}{\rd{#2}}}
\newcommand{\rpdv}[2]{\frac{\rpd{#1}}{\rpd{#2}}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 23.2 More on the Mean Value Theorem
Objectives
Use Rolle’s theorem to prove the Mean Value Theorem.
Use Cauchy’s Mean Value Theorem to compare rates of change of two functions.
Derive and justify L’Hôpital’s rule.
Rolle’s theorem Let \(f:[a,b]\to\bb R\) be continuous on \([a,b]\) and differentiable on \((a,b)\text{.}\) If \(f(a)=f(b)\text{,}\) then there exists \(c\in(a,b)\) where \(f'(c)=0\text{.}\) (This can be used to prove the MVT.)
If a function has zero derivative on an interval, it must be constant.
If two functions have the same derivative on an interval, they must differ by a constant.
A function is monotone increasing if and only if its derivative is nonnegative on an interval.
Cauchy’s mean value theorem: If \(f\) and \(g\) are continuous on \([a,b]\) and differentiable on \((a,b)\text{,}\) then there is a number \(c\in (a,b)\) such that
\begin{equation*}
[f(b)-f(a)]\cdot g'(c)=[g(b)-g(a)]\cdot f'(c)\text{.}
\end{equation*}
Another way to visualize it is to have a parametric curve \((f(t),g(t))\) for \(a\le t\le b\) and point out that there exists \(c\in(a,b)\) such that
\begin{equation*}
\frac{f(b)-f(a)}{g(b)-g(a)}=\dfrac{f'(c)}{g'(c)}
\end{equation*}
(assuming that the denominators aren’t zero).
Cauchy’s MVT can be used to prove L’Hôpital’s rule.