AoPSWiki

Art of Problem Solving's Intermediate Number Theory Seminar course starts on October 21. Learn advanced topics in number theory, including those needed for success on the AIME. Click here to enroll today!

Personal tools

Log in

Search

Toolbox

Rolle's Theorem

From AoPSWiki

Rolle's theorem is an important theorem among the class of results regarding the value of the derivative on an interval.

Statement

Let $f:[a,b]\rightarrow\mathbb{R}$

Let $f$ be continous on $[a,b]$ and differentiable on $(a,b)$

Let $f(a)=f(b)$

Then $\exists$ $c\in (a,b)$ such that $f'(c)=0$

Proof

The result is trivial for the case $f([a,b])=\{f(a)\}$ . Hence, let us assume that $f$ is a non-constant function.

Let $M=\sup\{f([a,b])\}$ and $m=\inf\{f([a,b])\}$ Without loss of generality, we can assume that $M\neq f(a)$

By the Maximum-minimum theorem, $\exists c\in (a,b)$ such that $f(c)=M$

Assume if possible $f'(c)>0$

Let $\epsilon=\frac{f'(c)}{2}$

Hence, $\exists \delta>0$ such that $x\in V_{\delta}(c)\implies |\frac{f(x)-f(c)}{x-c}-f'(c)|<\epsilon$

i.e. $\forall x\in V_{\delta}(c)$ , $\frac{f(x)-f(c)}{x-c}>0$

Thus we have that $f(x)>f(c)$ if $x\in (c,c+\delta)$ , contradicting the assumption that $f(c)$ is a maximum.

Similarly we can show that $f'(c)<0$ leads to contradiction.

Therefore, $f'(c)=0$

QED

See Also

Retrieved from "http://www.artofproblemsolving.com/Wiki/index.php/Rolle%27s_Theorem"

Category: Calculus

Want to learn how to tackle those tough AMC/AIME/Olympiad algebra problems? Check out Art of Problem Solving's NEW Intermediate Algebra by Richard Rusczyk and Mathew Crawford. Over 1600 problems!

© Copyright 2008 AoPS Incorporated. All Rights Reserved. • Foundation • Privacy • Contact Us